runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201109011757/gj-user-solver-1.0/0207e19a-9b1c-11df-af69-00163e46d37a.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//0207e19a-9b1c-11df-af69-00163e46d37a.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/0207e19a-9b1c-11df-af69-00163e46d37a.cudf.dudf-real.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.96 0.87 0.48 4/37 22927 /proc/meminfo: memFree=873052/1048576 swapFree=0/0 [pid=22926] ppid=22925 vsize=2568 CPUtime=0 /proc/22926/stat : 22926 (gj-user-solver-) S 22925 22926 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71656608 2629632 269 1283457024 134512640 135304128 4288303904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22926/statm: 642 269 229 194 0 29 0 [pid=22927] ppid=22926 vsize=11044 CPUtime=0 /proc/22927/stat : 22927 (java) R 22926 22926 22717 34817 22717 4202496 670 0 0 0 0 0 0 0 25 0 1 0 71656608 11309056 405 1283457024 134512640 134550932 4294602880 18446744073709551615 4159858402 0 0 0 0 0 0 0 17 0 0 0 0 /proc/22927/statm: 2761 405 178 10 0 1103 0 [startup+0.205409 s] /proc/loadavg: 0.96 0.87 0.48 4/37 22927 /proc/meminfo: memFree=873052/1048576 swapFree=0/0 [pid=22926] ppid=22925 vsize=2568 CPUtime=0 /proc/22926/stat : 22926 (gj-user-solver-) S 22925 22926 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71656608 2629632 269 1283457024 134512640 135304128 4288303904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22926/statm: 642 269 229 194 0 29 0 [pid=22927] ppid=22926 vsize=409924 CPUtime=0.2 /proc/22927/stat : 22927 (java) S 22926 22926 22717 34817 22717 4202496 4073 0 1 0 20 0 0 0 25 0 9 0 71656608 419762176 3499 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22927/statm: 102481 3499 1918 10 0 96629 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412492 [startup+0.305449 s] /proc/loadavg: 0.96 0.87 0.48 4/37 22927 /proc/meminfo: memFree=873052/1048576 swapFree=0/0 [pid=22926] ppid=22925 vsize=2568 CPUtime=0 /proc/22926/stat : 22926 (gj-user-solver-) S 22925 22926 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71656608 2629632 269 1283457024 134512640 135304128 4288303904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22926/statm: 642 269 229 194 0 29 0 [pid=22927] ppid=22926 vsize=410340 CPUtime=0.3 /proc/22927/stat : 22927 (java) S 22926 22926 22717 34817 22717 4202496 4412 0 1 0 28 2 0 0 25 0 9 0 71656608 420188160 3838 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22927/statm: 102585 3838 1945 10 0 96733 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412908 [startup+0.405473 s] /proc/loadavg: 0.96 0.87 0.48 4/37 22927 /proc/meminfo: memFree=873052/1048576 swapFree=0/0 [pid=22926] ppid=22925 vsize=2568 CPUtime=0 /proc/22926/stat : 22926 (gj-user-solver-) S 22925 22926 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71656608 2629632 269 1283457024 134512640 135304128 4288303904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22926/statm: 642 269 229 194 0 29 0 [pid=22927] ppid=22926 vsize=410480 CPUtime=0.4 /proc/22927/stat : 22927 (java) S 22926 22926 22717 34817 22717 4202496 6189 0 1 0 38 2 0 0 25 0 9 0 71656608 420331520 5614 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22927/statm: 102620 5614 1957 10 0 96768 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 413048 [startup+0.705573 s] /proc/loadavg: 0.96 0.87 0.48 4/37 22927 /proc/meminfo: memFree=873052/1048576 swapFree=0/0 [pid=22926] ppid=22925 vsize=2568 CPUtime=0 /proc/22926/stat : 22926 (gj-user-solver-) S 22925 22926 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71656608 2629632 269 1283457024 134512640 135304128 4288303904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22926/statm: 642 269 229 194 0 29 0 [pid=22927] ppid=22926 vsize=410620 CPUtime=0.7 /proc/22927/stat : 22927 (java) S 22926 22926 22717 34817 22717 4202496 12110 0 1 0 68 2 0 0 25 0 9 0 71656608 420474880 11349 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22927/statm: 102655 11349 2900 10 0 96803 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413188 [startup+1.5058 s] /proc/loadavg: 0.96 0.87 0.48 2/46 22936 /proc/meminfo: memFree=814132/1048576 swapFree=0/0 [pid=22926] ppid=22925 vsize=2568 CPUtime=0 /proc/22926/stat : 22926 (gj-user-solver-) S 22925 22926 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71656608 2629632 269 1283457024 134512640 135304128 4288303904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22926/statm: 642 269 229 194 0 29 0 [pid=22927] ppid=22926 vsize=410752 CPUtime=1.5 /proc/22927/stat : 22927 (java) S 22926 22926 22717 34817 22717 4202496 25816 0 1 0 140 10 0 0 25 0 9 0 71656608 420610048 25055 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22927/statm: 102688 25055 2901 10 0 96836 0 [pid=22927/tid=22929] ppid=22926 vsize=410752 CPUtime=0.85 /proc/22927/task/22929/stat : 22929 (java) R 22926 22926 22717 34817 22717 4202560 6840 0 1 0 81 4 0 0 25 0 9 0 71656609 420610048 25055 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22927/tid=22930] ppid=22926 vsize=410752 CPUtime=0.61 /proc/22927/task/22930/stat : 22930 (java) R 22926 22926 22717 34817 22717 4202560 17588 0 0 0 56 5 0 0 18 0 9 0 71656609 420610048 25055 1283457024 134512640 134550932 4294602880 18446744073709551615 4150736824 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=22927/tid=22931] ppid=22926 vsize=410752 CPUtime=0 /proc/22927/task/22931/stat : 22931 (java) S 22926 22926 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 71656609 420610048 25055 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22932] ppid=22926 vsize=410752 CPUtime=0 /proc/22927/task/22932/stat : 22932 (java) S 22926 22926 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 71656609 420610048 25055 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22933] ppid=22926 vsize=410752 CPUtime=0 /proc/22927/task/22933/stat : 22933 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71656611 420610048 25055 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22934] ppid=22926 vsize=410752 CPUtime=0.03 /proc/22927/task/22934/stat : 22934 (java) S 22926 22926 22717 34817 22717 4202560 446 0 0 0 3 0 0 0 17 0 9 0 71656611 420610048 25055 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22935] ppid=22926 vsize=410752 CPUtime=0 /proc/22927/task/22935/stat : 22935 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71656611 420610048 25055 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22936] ppid=22926 vsize=410752 CPUtime=0 /proc/22927/task/22936/stat : 22936 (java) S 22926 22926 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 71656611 420610048 25055 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413320 [startup+3.1061 s] /proc/loadavg: 0.96 0.87 0.48 2/46 22936 /proc/meminfo: memFree=739236/1048576 swapFree=0/0 [pid=22926] ppid=22925 vsize=2568 CPUtime=0 /proc/22926/stat : 22926 (gj-user-solver-) S 22925 22926 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71656608 2629632 269 1283457024 134512640 135304128 4288303904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22926/statm: 642 269 229 194 0 29 0 [pid=22927] ppid=22926 vsize=410884 CPUtime=3.1 /proc/22927/stat : 22927 (java) S 22926 22926 22717 34817 22717 4202496 47566 0 1 0 297 13 0 0 25 0 9 0 71656608 420745216 46799 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22927/statm: 102721 46799 2902 10 0 96869 0 [pid=22927/tid=22929] ppid=22926 vsize=410884 CPUtime=1.5 /proc/22927/task/22929/stat : 22929 (java) R 22926 22926 22717 34817 22717 4202560 12669 0 1 0 144 6 0 0 25 0 9 0 71656609 420745216 46799 1283457024 134512640 134550932 4294602880 18446744073709551615 4115115290 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22927/tid=22930] ppid=22926 vsize=410884 CPUtime=1.55 /proc/22927/task/22930/stat : 22930 (java) S 22926 22926 22717 34817 22717 4202560 33488 0 0 0 149 6 0 0 16 0 9 0 71656609 420745216 46799 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22931] ppid=22926 vsize=410884 CPUtime=0 /proc/22927/task/22931/stat : 22931 (java) S 22926 22926 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 71656609 420745216 46799 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22932] ppid=22926 vsize=410884 CPUtime=0 /proc/22927/task/22932/stat : 22932 (java) S 22926 22926 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 71656609 420745216 46799 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22933] ppid=22926 vsize=410884 CPUtime=0 /proc/22927/task/22933/stat : 22933 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71656611 420745216 46799 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22934] ppid=22926 vsize=410884 CPUtime=0.04 /proc/22927/task/22934/stat : 22934 (java) S 22926 22926 22717 34817 22717 4202560 467 0 0 0 4 0 0 0 15 0 9 0 71656611 420745216 46799 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22935] ppid=22926 vsize=410884 CPUtime=0 /proc/22927/task/22935/stat : 22935 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71656611 420745216 46799 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22936] ppid=22926 vsize=410884 CPUtime=0 /proc/22927/task/22936/stat : 22936 (java) S 22926 22926 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 71656611 420745216 46799 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413452 [startup+6.30675 s] /proc/loadavg: 1.05 0.89 0.49 2/47 22937 /proc/meminfo: memFree=635564/1048576 swapFree=0/0 [pid=22926] ppid=22925 vsize=2568 CPUtime=0 /proc/22926/stat : 22926 (gj-user-solver-) S 22925 22926 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71656608 2629632 269 1283457024 134512640 135304128 4288303904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22926/statm: 642 269 229 194 0 29 0 [pid=22927] ppid=22926 vsize=411220 CPUtime=6.3 /proc/22927/stat : 22927 (java) S 22926 22926 22717 34817 22717 4202496 63159 0 1 0 614 16 0 0 25 0 10 0 71656608 421089280 62313 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22927/statm: 102805 62313 2927 10 0 96950 0 [pid=22927/tid=22929] ppid=22926 vsize=411220 CPUtime=4.27 /proc/22927/task/22929/stat : 22929 (java) R 22926 22926 22717 34817 22717 4202560 14552 0 1 0 421 6 0 0 25 0 10 0 71656609 421089280 62313 1283457024 134512640 134550932 4294602880 18446744073709551615 4115336209 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22927/tid=22930] ppid=22926 vsize=411220 CPUtime=1.9 /proc/22927/task/22930/stat : 22930 (java) S 22926 22926 22717 34817 22717 4202560 47139 0 0 0 181 9 0 0 16 0 10 0 71656609 421089280 62313 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22931] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22931/stat : 22931 (java) S 22926 22926 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71656609 421089280 62313 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22932] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22932/stat : 22932 (java) S 22926 22926 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71656609 421089280 62313 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22933] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22933/stat : 22933 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71656611 421089280 62313 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22934] ppid=22926 vsize=411220 CPUtime=0.11 /proc/22927/task/22934/stat : 22934 (java) S 22926 22926 22717 34817 22717 4202560 521 0 0 0 11 0 0 0 15 0 10 0 71656611 421089280 62313 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22935] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22935/stat : 22935 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71656611 421089280 62313 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22936] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22936/stat : 22936 (java) S 22926 22926 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 71656611 421089280 62313 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22937] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22937/stat : 22937 (java) S 22926 22926 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71656995 421089280 62313 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 413788 [startup+12.7085 s] /proc/loadavg: 1.04 0.89 0.49 2/47 22937 /proc/meminfo: memFree=621056/1048576 swapFree=0/0 [pid=22926] ppid=22925 vsize=2568 CPUtime=0 /proc/22926/stat : 22926 (gj-user-solver-) S 22925 22926 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71656608 2629632 269 1283457024 134512640 135304128 4288303904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22926/statm: 642 269 229 194 0 29 0 [pid=22927] ppid=22926 vsize=411220 CPUtime=12.68 /proc/22927/stat : 22927 (java) S 22926 22926 22717 34817 22717 4202496 66758 0 1 0 1251 17 0 0 25 0 10 0 71656608 421089280 65912 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22927/statm: 102805 65912 2927 10 0 96950 0 [pid=22927/tid=22929] ppid=22926 vsize=411220 CPUtime=10.52 /proc/22927/task/22929/stat : 22929 (java) R 22926 22926 22717 34817 22717 4202560 14555 0 1 0 1046 6 0 0 25 0 10 0 71656609 421089280 65912 1283457024 134512640 134550932 4294602880 18446744073709551615 4115450501 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22927/tid=22930] ppid=22926 vsize=411220 CPUtime=2 /proc/22927/task/22930/stat : 22930 (java) S 22926 22926 22717 34817 22717 4202560 50710 0 0 0 190 10 0 0 16 0 10 0 71656609 421089280 65912 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22931] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22931/stat : 22931 (java) S 22926 22926 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71656609 421089280 65912 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22932] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22932/stat : 22932 (java) S 22926 22926 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71656609 421089280 65912 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22933] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22933/stat : 22933 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71656611 421089280 65912 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22934] ppid=22926 vsize=411220 CPUtime=0.14 /proc/22927/task/22934/stat : 22934 (java) S 22926 22926 22717 34817 22717 4202560 546 0 0 0 14 0 0 0 15 0 10 0 71656611 421089280 65912 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22935] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22935/stat : 22935 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71656611 421089280 65912 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22936] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22936/stat : 22936 (java) S 22926 22926 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 71656611 421089280 65912 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22937] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22937/stat : 22937 (java) S 22926 22926 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71656995 421089280 65912 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 413788 [startup+25.5124 s] /proc/loadavg: 1.03 0.89 0.50 3/47 22937 /proc/meminfo: memFree=620932/1048576 swapFree=0/0 [pid=22926] ppid=22925 vsize=2568 CPUtime=0 /proc/22926/stat : 22926 (gj-user-solver-) S 22925 22926 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71656608 2629632 269 1283457024 134512640 135304128 4288303904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22926/statm: 642 269 229 194 0 29 0 [pid=22927] ppid=22926 vsize=411220 CPUtime=25.48 /proc/22927/stat : 22927 (java) S 22926 22926 22717 34817 22717 4202496 66777 0 1 0 2531 17 0 0 25 0 10 0 71656608 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22927/statm: 102805 65922 2921 10 0 96950 0 [pid=22927/tid=22929] ppid=22926 vsize=411220 CPUtime=22.75 /proc/22927/task/22929/stat : 22929 (java) R 22926 22926 22717 34817 22717 4202560 14556 0 1 0 2269 6 0 0 25 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4115352945 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22927/tid=22930] ppid=22926 vsize=411220 CPUtime=2.57 /proc/22927/task/22930/stat : 22930 (java) S 22926 22926 22717 34817 22717 4202560 50722 0 0 0 247 10 0 0 15 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22931] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22931/stat : 22931 (java) S 22926 22926 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22932] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22932/stat : 22932 (java) S 22926 22926 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22933] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22933/stat : 22933 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22934] ppid=22926 vsize=411220 CPUtime=0.14 /proc/22927/task/22934/stat : 22934 (java) S 22926 22926 22717 34817 22717 4202560 552 0 0 0 14 0 0 0 15 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22935] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22935/stat : 22935 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22936] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22936/stat : 22936 (java) S 22926 22926 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22937] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22937/stat : 22937 (java) S 22926 22926 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71656995 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 413788 Solver just ended. Dumping a history of the last processes samples [startup+25.7125 s] /proc/loadavg: 1.03 0.89 0.50 3/47 22937 /proc/meminfo: memFree=620932/1048576 swapFree=0/0 [pid=22926] ppid=22925 vsize=2568 CPUtime=0 /proc/22926/stat : 22926 (gj-user-solver-) S 22925 22926 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71656608 2629632 269 1283457024 134512640 135304128 4288303904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22926/statm: 642 269 229 194 0 29 0 [pid=22927] ppid=22926 vsize=411220 CPUtime=25.68 /proc/22927/stat : 22927 (java) S 22926 22926 22717 34817 22717 4202496 66777 0 1 0 2551 17 0 0 25 0 10 0 71656608 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22927/statm: 102805 65922 2921 10 0 96950 0 [pid=22927/tid=22929] ppid=22926 vsize=411220 CPUtime=22.95 /proc/22927/task/22929/stat : 22929 (java) R 22926 22926 22717 34817 22717 4202560 14556 0 1 0 2289 6 0 0 25 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4115338675 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22927/tid=22930] ppid=22926 vsize=411220 CPUtime=2.57 /proc/22927/task/22930/stat : 22930 (java) S 22926 22926 22717 34817 22717 4202560 50722 0 0 0 247 10 0 0 15 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22931] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22931/stat : 22931 (java) S 22926 22926 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22932] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22932/stat : 22932 (java) S 22926 22926 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22933] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22933/stat : 22933 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22934] ppid=22926 vsize=411220 CPUtime=0.14 /proc/22927/task/22934/stat : 22934 (java) S 22926 22926 22717 34817 22717 4202560 552 0 0 0 14 0 0 0 15 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22935] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22935/stat : 22935 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22936] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22936/stat : 22936 (java) R 22926 22926 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22927/tid=22937] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22937/stat : 22937 (java) S 22926 22926 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71656995 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.68 Current children cumulated vsize (KiB) 413788 [startup+27.3031 s] /proc/loadavg: 1.03 0.89 0.50 2/49 22939 /proc/meminfo: memFree=620784/1048576 swapFree=0/0 [pid=22926] ppid=22925 vsize=2568 CPUtime=0 /proc/22926/stat : 22926 (gj-user-solver-) S 22925 22926 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71656608 2629632 269 1283457024 134512640 135304128 4288303904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22926/statm: 642 269 229 194 0 29 0 [pid=22927] ppid=22926 vsize=411220 CPUtime=27.27 /proc/22927/stat : 22927 (java) S 22926 22926 22717 34817 22717 4202496 66777 0 1 0 2710 17 0 0 25 0 10 0 71656608 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22927/statm: 102805 65922 2921 10 0 96950 0 [pid=22927/tid=22929] ppid=22926 vsize=411220 CPUtime=24.54 /proc/22927/task/22929/stat : 22929 (java) R 22926 22926 22717 34817 22717 4202560 14556 0 1 0 2448 6 0 0 25 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4115352868 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22927/tid=22930] ppid=22926 vsize=411220 CPUtime=2.57 /proc/22927/task/22930/stat : 22930 (java) S 22926 22926 22717 34817 22717 4202560 50722 0 0 0 247 10 0 0 15 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22931] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22931/stat : 22931 (java) S 22926 22926 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22932] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22932/stat : 22932 (java) S 22926 22926 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22933] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22933/stat : 22933 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22934] ppid=22926 vsize=411220 CPUtime=0.14 /proc/22927/task/22934/stat : 22934 (java) S 22926 22926 22717 34817 22717 4202560 552 0 0 0 14 0 0 0 15 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22935] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22935/stat : 22935 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22936] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22936/stat : 22936 (java) S 22926 22926 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22937] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22937/stat : 22937 (java) S 22926 22926 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71656995 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 27.27 Current children cumulated vsize (KiB) 413788 [startup+28.1034 s] /proc/loadavg: 1.03 0.89 0.50 2/49 22939 /proc/meminfo: memFree=620784/1048576 swapFree=0/0 [pid=22926] ppid=22925 vsize=2568 CPUtime=0 /proc/22926/stat : 22926 (gj-user-solver-) S 22925 22926 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71656608 2629632 269 1283457024 134512640 135304128 4288303904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22926/statm: 642 269 229 194 0 29 0 [pid=22927] ppid=22926 vsize=411220 CPUtime=28.07 /proc/22927/stat : 22927 (java) S 22926 22926 22717 34817 22717 4202496 66777 0 1 0 2790 17 0 0 25 0 10 0 71656608 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22927/statm: 102805 65922 2921 10 0 96950 0 [pid=22927/tid=22929] ppid=22926 vsize=411220 CPUtime=25.34 /proc/22927/task/22929/stat : 22929 (java) R 22926 22926 22717 34817 22717 4202560 14556 0 1 0 2528 6 0 0 25 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4115450501 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22927/tid=22930] ppid=22926 vsize=411220 CPUtime=2.57 /proc/22927/task/22930/stat : 22930 (java) S 22926 22926 22717 34817 22717 4202560 50722 0 0 0 247 10 0 0 15 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22931] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22931/stat : 22931 (java) S 22926 22926 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22932] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22932/stat : 22932 (java) S 22926 22926 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22933] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22933/stat : 22933 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22934] ppid=22926 vsize=411220 CPUtime=0.14 /proc/22927/task/22934/stat : 22934 (java) S 22926 22926 22717 34817 22717 4202560 552 0 0 0 14 0 0 0 15 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22935] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22935/stat : 22935 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22936] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22936/stat : 22936 (java) S 22926 22926 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22937] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22937/stat : 22937 (java) S 22926 22926 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71656995 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 28.07 Current children cumulated vsize (KiB) 413788 [startup+28.5036 s] /proc/loadavg: 1.03 0.89 0.50 2/49 22939 /proc/meminfo: memFree=620784/1048576 swapFree=0/0 [pid=22926] ppid=22925 vsize=2568 CPUtime=0 /proc/22926/stat : 22926 (gj-user-solver-) S 22925 22926 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71656608 2629632 269 1283457024 134512640 135304128 4288303904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22926/statm: 642 269 229 194 0 29 0 [pid=22927] ppid=22926 vsize=411220 CPUtime=28.47 /proc/22927/stat : 22927 (java) S 22926 22926 22717 34817 22717 4202496 66777 0 1 0 2830 17 0 0 25 0 10 0 71656608 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22927/statm: 102805 65922 2921 10 0 96950 0 [pid=22927/tid=22929] ppid=22926 vsize=411220 CPUtime=25.74 /proc/22927/task/22929/stat : 22929 (java) R 22926 22926 22717 34817 22717 4202560 14556 0 1 0 2568 6 0 0 25 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4115352574 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22927/tid=22930] ppid=22926 vsize=411220 CPUtime=2.57 /proc/22927/task/22930/stat : 22930 (java) S 22926 22926 22717 34817 22717 4202560 50722 0 0 0 247 10 0 0 15 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22931] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22931/stat : 22931 (java) S 22926 22926 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22932] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22932/stat : 22932 (java) S 22926 22926 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22933] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22933/stat : 22933 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22934] ppid=22926 vsize=411220 CPUtime=0.14 /proc/22927/task/22934/stat : 22934 (java) S 22926 22926 22717 34817 22717 4202560 552 0 0 0 14 0 0 0 15 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22935] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22935/stat : 22935 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22936] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22936/stat : 22936 (java) S 22926 22926 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22937] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22937/stat : 22937 (java) S 22926 22926 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71656995 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 28.47 Current children cumulated vsize (KiB) 413788 [startup+28.9037 s] /proc/loadavg: 1.03 0.89 0.50 2/49 22939 /proc/meminfo: memFree=620784/1048576 swapFree=0/0 [pid=22926] ppid=22925 vsize=2568 CPUtime=0 /proc/22926/stat : 22926 (gj-user-solver-) S 22925 22926 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71656608 2629632 269 1283457024 134512640 135304128 4288303904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22926/statm: 642 269 229 194 0 29 0 [pid=22927] ppid=22926 vsize=411220 CPUtime=28.87 /proc/22927/stat : 22927 (java) S 22926 22926 22717 34817 22717 4202496 66777 0 1 0 2870 17 0 0 25 0 10 0 71656608 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22927/statm: 102805 65922 2921 10 0 96950 0 [pid=22927/tid=22929] ppid=22926 vsize=411220 CPUtime=26.14 /proc/22927/task/22929/stat : 22929 (java) R 22926 22926 22717 34817 22717 4202560 14556 0 1 0 2608 6 0 0 25 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4115377957 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22927/tid=22930] ppid=22926 vsize=411220 CPUtime=2.57 /proc/22927/task/22930/stat : 22930 (java) S 22926 22926 22717 34817 22717 4202560 50722 0 0 0 247 10 0 0 16 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22931] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22931/stat : 22931 (java) S 22926 22926 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22932] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22932/stat : 22932 (java) S 22926 22926 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71656609 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22933] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22933/stat : 22933 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22934] ppid=22926 vsize=411220 CPUtime=0.14 /proc/22927/task/22934/stat : 22934 (java) S 22926 22926 22717 34817 22717 4202560 552 0 0 0 14 0 0 0 15 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22935] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22935/stat : 22935 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22936] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22936/stat : 22936 (java) S 22926 22926 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 71656611 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22937] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22937/stat : 22937 (java) S 22926 22926 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71656995 421089280 65922 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 28.87 Current children cumulated vsize (KiB) 413788 [startup+29.0072 s] /proc/loadavg: 1.03 0.89 0.50 2/49 22939 /proc/meminfo: memFree=620784/1048576 swapFree=0/0 [pid=22926] ppid=22925 vsize=2568 CPUtime=0 /proc/22926/stat : 22926 (gj-user-solver-) S 22925 22926 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 71656608 2629632 269 1283457024 134512640 135304128 4288303904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22926/statm: 642 269 229 194 0 29 0 [pid=22927] ppid=22926 vsize=411220 CPUtime=28.97 /proc/22927/stat : 22927 (java) S 22926 22926 22717 34817 22717 4202496 66778 0 1 0 2880 17 0 0 25 0 9 0 71656608 421089280 65923 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22927/statm: 102805 65923 2922 10 0 96950 0 [pid=22927/tid=22929] ppid=22926 vsize=411220 CPUtime=26.24 /proc/22927/task/22929/stat : 22929 (java) S 22926 22926 22717 34817 22717 4202560 14556 0 1 0 2618 6 0 0 25 0 9 0 71656609 421089280 65923 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22930] ppid=22926 vsize=411220 CPUtime=2.57 /proc/22927/task/22930/stat : 22930 (java) S 22926 22926 22717 34817 22717 4202560 50722 0 0 0 247 10 0 0 16 0 9 0 71656609 421089280 65923 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22931] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22931/stat : 22931 (java) S 22926 22926 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 71656609 421089280 65923 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22932] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22932/stat : 22932 (java) S 22926 22926 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71656609 421089280 65923 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22933] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22933/stat : 22933 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71656611 421089280 65923 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22934] ppid=22926 vsize=411220 CPUtime=0.14 /proc/22927/task/22934/stat : 22934 (java) S 22926 22926 22717 34817 22717 4202560 552 0 0 0 14 0 0 0 15 0 9 0 71656611 421089280 65923 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22935] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22935/stat : 22935 (java) S 22926 22926 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71656611 421089280 65923 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=22927/tid=22936] ppid=22926 vsize=411220 CPUtime=0 /proc/22927/task/22936/stat : 22936 (java) R 22926 22926 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 71656611 421089280 65923 1283457024 134512640 134550932 4294602880 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 28.97 Current children cumulated vsize (KiB) 413788 Child status: 0 Real time (s): 29.0272 CPU time (s): 28.9978 CPU user time (s): 28.8058 CPU system time (s): 0.192012 CPU usage (%): 99.8988 Max. virtual memory (cumulated for all children) (KiB): 413788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 28.8058 system time used= 0.192012 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67166 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1361 involuntary context switches= 1799 runsolver used 0 second user time and 0 second system time The end