runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741137-1338721317/watcher-3741137-1338721317 -o /tmp/evaluation-result-3741137-1338721317/solver-3741137-1338721317 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3741137-1338721317.opb -seed 1787780772 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.21 3.06 2.83 3/193 5827
/proc/meminfo: memFree=15543972/32873844 swapFree=6608/6608
[pid=5827] ppid=5825 vsize=8340 CPUtime=0 cores=1,3,5,7
/proc/5827/stat : 5827 (python) D 5825 5827 3621 0 -1 4202496 102 0 1 0 0 0 0 0 20 0 1 0 338256650 8540160 54 33554432000 4194304 5683644 140734684204832 140734684201640 213410479760 0 0 4096 0 18446744071579943789 0 0 17 1 0 0 0 0 0
/proc/5827/statm: 2085 54 42 364 0 45 0
[startup+0.0545171 s]
/proc/loadavg: 2.21 3.06 2.83 3/193 5827
/proc/meminfo: memFree=15543972/32873844 swapFree=6608/6608
[pid=5827] ppid=5825 vsize=15972 CPUtime=0 cores=1,3,5,7
/proc/5827/stat : 5827 (python) R 5825 5827 3621 0 -1 4202496 935 0 2 0 0 0 0 0 20 0 1 0 338256650 16355328 788 33554432000 4194304 5683644 140734684204832 140734684122104 4540219 0 0 16781312 2 0 0 0 17 1 0 0 2 0 0
/proc/5827/statm: 3993 789 356 364 0 435 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15972
[startup+0.100311 s]
/proc/loadavg: 2.21 3.06 2.83 3/193 5827
/proc/meminfo: memFree=15543972/32873844 swapFree=6608/6608
[pid=5827] ppid=5825 vsize=16764 CPUtime=0.02 cores=1,3,5,7
/proc/5827/stat : 5827 (python) R 5825 5827 3621 0 -1 4202496 1275 0 2 0 1 1 0 0 20 0 1 0 338256650 17166336 1060 33554432000 4194304 5683644 140734684204832 140734684190248 213419640096 0 0 16781312 2 0 0 0 17 1 0 0 2 0 0
/proc/5827/statm: 4183 1059 426 364 0 625 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16764
[startup+0.30025 s]
/proc/loadavg: 2.21 3.06 2.83 3/193 5827
/proc/meminfo: memFree=15543972/32873844 swapFree=6608/6608
[pid=5827] ppid=5825 vsize=94456 CPUtime=0.09 cores=1,3,5,7
/proc/5827/stat : 5827 (python) R 5825 5827 3621 0 -1 4202496 3444 1009 5 1 6 3 0 0 20 0 1 0 338256650 96722944 2547 33554432000 4194304 5683644 140734684204832 140734684157304 5170896 0 0 16781312 2 0 0 0 17 1 0 0 3 0 0
/proc/5827/statm: 23614 2547 820 364 0 1620 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 94456
[startup+0.700243 s]
/proc/loadavg: 2.21 3.06 2.83 3/193 5827
/proc/meminfo: memFree=15543972/32873844 swapFree=6608/6608
[pid=5827] ppid=5825 vsize=122216 CPUtime=0.23 cores=1,3,5,7
/proc/5827/stat : 5827 (python) R 5825 5827 3621 0 -1 4202496 5953 1009 5 1 15 8 0 0 20 0 1 0 338256650 125149184 3839 33554432000 4194304 5683644 140734684204832 140734684151560 213419639696 0 0 16781312 2 0 0 0 17 1 0 0 3 0 0
/proc/5827/statm: 30554 3839 1015 364 0 2797 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 122216
[startup+1.50025 s]
/proc/loadavg: 2.21 3.06 2.83 2/194 5832
/proc/meminfo: memFree=15525860/32873844 swapFree=6608/6608
[pid=5827] ppid=5825 vsize=262856 CPUtime=0.45 cores=1,3,5,7
/proc/5827/stat : 5827 (python) D 5825 5827 3621 0 -1 4202496 9401 1009 7 1 29 16 0 0 20 0 1 0 338256650 269164544 6648 33554432000 4194304 5683644 140734684204832 140734684140824 213419644775 0 0 16781312 2 18446744071580543392 0 0 17 1 0 0 3 0 0
/proc/5827/statm: 65714 6648 1717 364 0 5247 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 262856
[startup+3.10023 s]
/proc/loadavg: 2.21 3.06 2.83 3/194 5832
/proc/meminfo: memFree=15487044/32873844 swapFree=6608/6608
[pid=5827] ppid=5825 vsize=323244 CPUtime=1.83 cores=1,3,5,7
/proc/5827/stat : 5827 (python) R 5825 5827 3621 0 -1 4202496 24005 1009 7 1 164 19 0 0 20 0 1 0 338256650 331001856 17563 33554432000 4194304 5683644 140734684204832 140734684197448 213419268652 0 0 16781312 33554434 0 0 0 17 1 0 0 50 0 0
/proc/5827/statm: 80811 17563 1846 364 0 16040 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 323244
heavy processes:
[startup+6.30046 s]
/proc/loadavg: 2.19 3.04 2.83 3/196 5835
/proc/meminfo: memFree=15456708/32873844 swapFree=6608/6608
[pid=5827] ppid=5825 vsize=402700 CPUtime=3.51 cores=1,3,5,7
/proc/5827/stat : 5827 (python) S 5825 5827 3621 0 -1 4202496 25204 1009 7 1 331 20 0 0 20 0 2 0 338256650 412364800 18538 33554432000 4194304 5683644 140734684204832 140734684199664 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 50 0 0
/proc/5827/statm: 100675 18538 1902 364 0 35898 0
[pid=5833] ppid=5827 vsize=326920 CPUtime=0 cores=1,3,5,7
/proc/5833/stat : 5833 (python) S 5827 5827 3621 0 -1 4202560 752 0 0 0 0 0 0 0 20 0 1 0 338257128 334766080 16970 33554432000 4194304 5683644 140734684204832 140734684195920 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 5 0 0 0 0 0
/proc/5833/statm: 81730 16970 340 364 0 16953 0
[pid=5835] ppid=5833 vsize=20372 CPUtime=1.51 cores=1,3,5,7
/proc/5835/stat : 5835 (wbo1.4b-fixed) R 5833 5835 5835 0 -1 4202496 6560 0 0 0 143 8 0 0 20 0 1 0 338257128 20860928 4479 33554432000 134512640 135752315 4291761248 4291759324 135270849 0 0 16781312 3 0 0 0 17 1 0 0 0 0 0
/proc/5835/statm: 5093 4479 146 303 0 4788 0
[pid=5827/tid=5834] ppid=5825 vsize=402700 CPUtime=0 cores=1,3,5,7
/proc/5827/task/5834/stat : 5834 (python) S 5825 5827 3621 0 -1 4202560 27 1009 0 1 0 0 0 0 20 0 2 0 338257128 412364800 18538 33554432000 4194304 5683644 140734684204832 140528792883760 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.02
Current children cumulated vsize (KiB) 749992
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 2.18 3.03 2.82 3/197 5836
/proc/meminfo: memFree=15443572/32873844 swapFree=6608/6608
[pid=5827] ppid=5825 vsize=402700 CPUtime=3.51 cores=1,3,5,7
/proc/5827/stat : 5827 (python) S 5825 5827 3621 0 -1 4202496 25204 1009 7 1 331 20 0 0 20 0 2 0 338256650 412364800 18538 33554432000 4194304 5683644 140734684204832 140734684199664 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 50 0 0
/proc/5827/statm: 100675 18538 1902 364 0 35898 0
[pid=5833] ppid=5827 vsize=326920 CPUtime=0 cores=1,3,5,7
/proc/5833/stat : 5833 (python) S 5827 5827 3621 0 -1 4202560 876 0 0 0 0 0 0 0 20 0 1 0 338257128 334766080 16993 33554432000 4194304 5683644 140734684204832 140734684195920 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/5833/statm: 81730 16993 363 364 0 16953 0
[pid=5835] ppid=5833 vsize=28360 CPUtime=7.9 cores=1,3,5,7
/proc/5835/stat : 5835 (wbo1.4b-fixed) R 5833 5835 5835 0 -1 4202496 8542 0 0 0 765 25 0 0 20 0 1 0 338257128 29040640 6461 33554432000 134512640 135752315 4291761248 4291759324 135270849 0 0 16781312 3 0 0 0 17 1 0 0 0 0 0
/proc/5835/statm: 7090 6461 146 303 0 6785 0
[pid=5827/tid=5834] ppid=5825 vsize=402700 CPUtime=0 cores=1,3,5,7
/proc/5827/task/5834/stat : 5834 (python) S 5825 5827 3621 0 -1 4202560 27 1009 0 1 0 0 0 0 20 0 2 0 338257128 412364800 18538 33554432000 4194304 5683644 140734684204832 140528792883760 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 11.41
Current children cumulated vsize (KiB) 757980
[startup+25.5004 s]
/proc/loadavg: 2.14 2.98 2.81 3/196 5836
/proc/meminfo: memFree=15417704/32873844 swapFree=6608/6608
[pid=5827] ppid=5825 vsize=402700 CPUtime=3.51 cores=1,3,5,7
/proc/5827/stat : 5827 (python) S 5825 5827 3621 0 -1 4202496 25204 1009 7 1 331 20 0 0 20 0 2 0 338256650 412364800 18538 33554432000 4194304 5683644 140734684204832 140734684199664 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 50 0 0
/proc/5827/statm: 100675 18538 1902 364 0 35898 0
[pid=5833] ppid=5827 vsize=326920 CPUtime=0.02 cores=1,3,5,7
/proc/5833/stat : 5833 (python) S 5827 5827 3621 0 -1 4202560 888 0 0 0 1 1 0 0 20 0 1 0 338257128 334766080 16993 33554432000 4194304 5683644 140734684204832 140734684195920 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/5833/statm: 81730 16993 363 364 0 16953 0
[pid=5835] ppid=5833 vsize=41456 CPUtime=20.71 cores=1,3,5,7
/proc/5835/stat : 5835 (wbo1.4b-fixed) R 5833 5835 5835 0 -1 4202496 11787 0 0 0 2031 40 0 0 20 0 1 0 338257128 42450944 9706 33554432000 134512640 135752315 4291761248 4291759324 135270849 0 0 16781312 3 0 0 0 17 1 0 0 0 0 0
/proc/5835/statm: 10364 9706 146 303 0 10059 0
[pid=5827/tid=5834] ppid=5825 vsize=402700 CPUtime=0 cores=1,3,5,7
/proc/5827/task/5834/stat : 5834 (python) S 5825 5827 3621 0 -1 4202560 27 1009 0 1 0 0 0 0 20 0 2 0 338257128 412364800 18538 33554432000 4194304 5683644 140734684204832 140528792883760 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 24.24
Current children cumulated vsize (KiB) 771076
[startup+51.1004 s]
/proc/loadavg: 2.15 2.91 2.79 3/197 5837
/proc/meminfo: memFree=15379688/32873844 swapFree=6608/6608
[pid=5827] ppid=5825 vsize=402700 CPUtime=3.51 cores=1,3,5,7
/proc/5827/stat : 5827 (python) S 5825 5827 3621 0 -1 4202496 25204 1009 7 1 331 20 0 0 20 0 2 0 338256650 412364800 18538 33554432000 4194304 5683644 140734684204832 140734684199664 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 50 0 0
/proc/5827/statm: 100675 18538 1902 364 0 35898 0
[pid=5833] ppid=5827 vsize=326920 CPUtime=0.07 cores=1,3,5,7
/proc/5833/stat : 5833 (python) S 5827 5827 3621 0 -1 4202560 999 0 0 0 3 4 0 0 20 0 1 0 338257128 334766080 16998 33554432000 4194304 5683644 140734684204832 140734684195920 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/5833/statm: 81730 16998 368 364 0 16953 0
[pid=5835] ppid=5833 vsize=53500 CPUtime=46.29 cores=1,3,5,7
/proc/5835/stat : 5835 (wbo1.4b-fixed) R 5833 5835 5835 0 -1 4202496 14741 0 0 0 4579 50 0 0 20 0 1 0 338257128 54784000 12660 33554432000 134512640 135752315 4291761248 4291759324 135270849 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/5835/statm: 13375 12660 146 303 0 13070 0
[pid=5827/tid=5834] ppid=5825 vsize=402700 CPUtime=0 cores=1,3,5,7
/proc/5827/task/5834/stat : 5834 (python) S 5825 5827 3621 0 -1 4202560 27 1009 0 1 0 0 0 0 20 0 2 0 338257128 412364800 18538 33554432000 4194304 5683644 140734684204832 140528792883760 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 49.87
Current children cumulated vsize (KiB) 783120
[startup+102.3 s]
/proc/loadavg: 2.13 2.78 2.75 3/201 5841
/proc/meminfo: memFree=14694700/32873844 swapFree=6608/6608
[pid=5827] ppid=5825 vsize=478496 CPUtime=3.71 cores=1,3,5,7
/proc/5827/stat : 5827 (python) R 5825 5827 3621 0 -1 4202496 26767 1009 7 1 350 21 0 0 20 0 3 0 338256650 489979904 18548 33554432000 4194304 5683644 140734684204832 140734684199152 4882875 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 50 0 0
/proc/5827/statm: 119624 18548 1905 364 0 54844 0
[pid=5833] ppid=5827 vsize=402700 CPUtime=0.08 cores=1,3,5,7
/proc/5833/stat : 5833 (python) S 5827 5827 3621 0 -1 4202560 1128 0 0 0 4 4 0 0 20 0 2 0 338257128 412364800 17033 33554432000 4194304 5683644 140734684204832 140734684196480 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5833/statm: 100675 17033 396 364 0 35898 0
[pid=5835] ppid=5833 vsize=54492 CPUtime=49.95 cores=1,3,5,7
/proc/5835/stat : 5835 (wbo1.4b-fixed) T 5833 5835 5835 0 -1 4202496 14985 0 0 0 4944 51 0 0 20 0 1 0 338257128 55799808 12904 33554432000 134512640 135752315 4291761248 4291759248 134611380 0 0 16781312 3 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/5835/statm: 13623 12904 146 303 0 13318 0
[pid=5833/tid=5838] ppid=5827 vsize=402700 CPUtime=0 cores=1,3,5,7
/proc/5833/task/5838/stat : 5838 (python) S 5827 5827 3621 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338262126 412364800 17033 33554432000 4194304 5683644 140734684204832 140528792883760 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5839] ppid=5827 vsize=402712 CPUtime=0.08 cores=1,3,5,7
/proc/5839/stat : 5839 (python) S 5827 5827 3621 0 -1 4202560 1057 0 0 0 4 4 0 0 20 0 2 0 338262128 412377088 17020 33554432000 4194304 5683644 140734684204832 140734684196480 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5839/statm: 100678 17020 383 364 0 35898 0
[pid=5841] ppid=5839 vsize=651588 CPUtime=47.31 cores=1,3,5,7
/proc/5841/stat : 5841 (pbct-0.1.2-linu) T 5839 5841 5841 0 -1 4202496 156796 0 0 0 4673 58 0 0 20 0 1 0 338262129 667226112 156532 33554432000 134512640 136422188 4288120064 4288117312 134974186 0 0 16781312 16387 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/5841/statm: 162897 156532 215 467 0 162428 0
[pid=5827/tid=5834] ppid=5825 vsize=478496 CPUtime=0 cores=1,3,5,7
/proc/5827/task/5834/stat : 5834 (python) S 5825 5827 3621 0 -1 4202560 27 1009 0 1 0 0 0 0 20 0 3 0 338257128 489979904 18548 33554432000 4194304 5683644 140734684204832 140528792883760 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5827/tid=5840] ppid=5825 vsize=478496 CPUtime=0 cores=1,3,5,7
/proc/5827/task/5840/stat : 5840 (python) S 5825 5827 3621 0 -1 4202560 22 1009 0 1 0 0 0 0 20 0 3 0 338262129 489979904 18548 33554432000 4194304 5683644 140734684204832 140528782393904 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 101.13
Current children cumulated vsize (KiB) 1989988
[startup+162.301 s]
/proc/loadavg: 2.04 2.64 2.70 3/209 5849
/proc/meminfo: memFree=12405700/32873844 swapFree=6608/6608
[pid=5827] ppid=5825 vsize=630076 CPUtime=13.01 cores=1,3,5,7
/proc/5827/stat : 5827 (python) S 5825 5827 3621 0 -1 4202496 27982 1009 7 1 1277 24 0 0 20 0 5 0 338256650 645197824 18563 33554432000 4194304 5683644 140734684204832 140734684199664 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 50 0 0
/proc/5827/statm: 157519 18563 1909 364 0 92733 0
[pid=5833] ppid=5827 vsize=402700 CPUtime=0.08 cores=1,3,5,7
/proc/5833/stat : 5833 (python) S 5827 5827 3621 0 -1 4202560 1128 0 0 0 4 4 0 0 20 0 2 0 338257128 412364800 17033 33554432000 4194304 5683644 140734684204832 140734684196480 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5833/statm: 100675 17033 396 364 0 35898 0
[pid=5835] ppid=5833 vsize=54492 CPUtime=49.95 cores=1,3,5,7
/proc/5835/stat : 5835 (wbo1.4b-fixed) T 5833 5835 5835 0 -1 4202496 14985 0 0 0 4944 51 0 0 20 0 1 0 338257128 55799808 12904 33554432000 134512640 135752315 4291761248 4291759248 134611380 0 0 16781312 3 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/5835/statm: 13623 12904 146 303 0 13318 0
[pid=5833/tid=5838] ppid=5827 vsize=402700 CPUtime=0 cores=1,3,5,7
/proc/5833/task/5838/stat : 5838 (python) S 5827 5827 3621 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338262126 412364800 17033 33554432000 4194304 5683644 140734684204832 140528792883760 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5839] ppid=5827 vsize=402712 CPUtime=0.08 cores=1,3,5,7
/proc/5839/stat : 5839 (python) S 5827 5827 3621 0 -1 4202560 1057 0 0 0 4 4 0 0 20 0 2 0 338262128 412377088 17020 33554432000 4194304 5683644 140734684204832 140734684196480 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5839/statm: 100678 17020 383 364 0 35898 0
[pid=5841] ppid=5839 vsize=651588 CPUtime=47.31 cores=1,3,5,7
/proc/5841/stat : 5841 (pbct-0.1.2-linu) T 5839 5841 5841 0 -1 4202496 156796 0 0 0 4673 58 0 0 20 0 1 0 338262129 667226112 156532 33554432000 134512640 136422188 4288120064 4288117312 134974186 0 0 16781312 16387 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/5841/statm: 162897 156532 215 467 0 162428 0
[pid=5839/tid=5842] ppid=5827 vsize=402712 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/5910/stat : 5910 (java) S 5908 5910 5910 0 -1 4202496 8627 0 1 0 94 4 0 0 20 0 18 0 338286761 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140734507296464 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5910/statm: 2389602 25613 2229 9 0 2380296 0
[pid=5910/tid=5911] ppid=5908 vsize=9558408 CPUtime=0.46 cores=1,3,5,7
/proc/5910/task/5911/stat : 5911 (java) R 5908 5910 5910 0 -1 4202560 2450 0 1 0 43 3 0 0 20 0 18 0 338286762 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654722023944 140654558988327 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5910/tid=5912] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5912/stat : 5912 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286763 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654683519272 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5910/tid=5913] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5913/stat : 5913 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286763 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654682466472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5910/tid=5914] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5914/stat : 5914 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286763 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654681414184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5910/tid=5915] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5915/stat : 5915 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286763 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654680361384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5910/tid=5916] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5916/stat : 5916 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286763 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654679309096 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5910/tid=5917] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5917/stat : 5917 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286763 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654678256296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5910/tid=5918] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5918/stat : 5918 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286763 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654677204008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5910/tid=5919] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5919/stat : 5919 (java) S 5908 5910 5910 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338286763 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654558571432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5910/tid=5920] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5920/stat : 5920 (java) S 5908 5910 5910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 338286764 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654546159848 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5910/tid=5921] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5921/stat : 5921 (java) S 5908 5910 5910 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 338286765 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654545105912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5910/tid=5922] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5922/stat : 5922 (java) S 5908 5910 5910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338286765 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654544053512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5910/tid=5923] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5923/stat : 5923 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286767 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654543002000 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5910/tid=5924] ppid=5908 vsize=9558408 CPUtime=0.24 cores=1,3,5,7
/proc/5910/task/5924/stat : 5924 (java) R 5908 5910 5910 0 -1 4202560 2214 0 0 0 24 0 0 0 20 0 18 0 338286767 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140653803573632 140654724612842 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5910/tid=5925] ppid=5908 vsize=9558408 CPUtime=0.24 cores=1,3,5,7
/proc/5910/task/5925/stat : 5925 (java) R 5908 5910 5910 0 -1 4202560 2545 0 0 0 24 0 0 0 20 0 18 0 338286767 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140653802531080 140654727871205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5910/tid=5926] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5926/stat : 5926 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286767 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140653801491576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5910/tid=5927] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5927/stat : 5927 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286767 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140653800438984 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5827/tid=5834] ppid=5825 vsize=781660 CPUtime=0 cores=1,3,5,7
/proc/5827/task/5834/stat : 5834 (python) S 5825 5827 3621 0 -1 4202560 27 1009 0 1 0 0 0 0 20 0 7 0 338257128 800419840 18579 33554432000 4194304 5683644 140734684204832 140528792883760 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5827/tid=5840] ppid=5825 vsize=781660 CPUtime=0 cores=1,3,5,7
/proc/5827/task/5840/stat : 5840 (python) S 5825 5827 3621 0 -1 4202560 22 1009 0 1 0 0 0 0 20 0 7 0 338262129 800419840 18579 33554432000 4194304 5683644 140734684204832 140528782393904 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5827/tid=5844] ppid=5825 vsize=781660 CPUtime=0 cores=1,3,5,7
/proc/5827/task/5844/stat : 5844 (python) S 5825 5827 3621 0 -1 4202560 22 1009 0 1 0 0 0 0 20 0 7 0 338267806 800419840 18579 33554432000 4194304 5683644 140734684204832 140528771904048 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5827/tid=5848] ppid=5825 vsize=781660 CPUtime=0 cores=1,3,5,7
/proc/5827/task/5848/stat : 5848 (python) S 5825 5827 3621 0 -1 4202560 24 1009 0 1 0 0 0 0 20 0 7 0 338272597 800419840 18579 33554432000 4194304 5683644 140734684204832 140528749511216 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5827/tid=5855] ppid=5825 vsize=781660 CPUtime=0 cores=1,3,5,7
/proc/5827/task/5855/stat : 5855 (python) S 5825 5827 3621 0 -1 4202560 21 1009 0 1 0 0 0 0 20 0 7 0 338277314 800419840 18579 33554432000 4194304 5683644 140734684204832 140528739021360 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5827/tid=5909] ppid=5825 vsize=781660 CPUtime=0 cores=1,3,5,7
/proc/5827/task/5909/stat : 5909 (python) S 5825 5827 3621 0 -1 4202560 21 1009 0 1 0 0 0 0 20 0 7 0 338286760 800419840 18579 33554432000 4194304 5683644 140734684204832 140528728531504 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 301.18
Current children cumulated vsize (KiB) 16524228
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+301.601 s]
/proc/loadavg: 2.02 2.41 2.60 5/224 5927
/proc/meminfo: memFree=20935276/32873844 swapFree=6608/6608
[pid=5827] ppid=5825 vsize=781660 CPUtime=13.09 cores=1,3,5,7
/proc/5827/stat : 5827 (python) S 5825 5827 3621 0 -1 4202496 29850 1009 7 1 1284 25 0 0 20 0 7 0 338256650 800419840 18579 33554432000 4194304 5683644 140734684204832 140734684199664 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 50 0 0
/proc/5827/statm: 195415 18579 1913 364 0 130623 0
[pid=5833] ppid=5827 vsize=402700 CPUtime=0.08 cores=1,3,5,7
/proc/5833/stat : 5833 (python) S 5827 5827 3621 0 -1 4202560 1128 0 0 0 4 4 0 0 20 0 2 0 338257128 412364800 17033 33554432000 4194304 5683644 140734684204832 140734684196480 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5833/statm: 100675 17033 396 364 0 35898 0
[pid=5835] ppid=5833 vsize=54492 CPUtime=49.95 cores=1,3,5,7
/proc/5835/stat : 5835 (wbo1.4b-fixed) T 5833 5835 5835 0 -1 4202496 14985 0 0 0 4944 51 0 0 20 0 1 0 338257128 55799808 12904 33554432000 134512640 135752315 4291761248 4291759248 134611380 0 0 16781312 3 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/5835/statm: 13623 12904 146 303 0 13318 0
[pid=5833/tid=5838] ppid=5827 vsize=402700 CPUtime=0 cores=1,3,5,7
/proc/5833/task/5838/stat : 5838 (python) S 5827 5827 3621 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338262126 412364800 17033 33554432000 4194304 5683644 140734684204832 140528792883760 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5839] ppid=5827 vsize=402712 CPUtime=0.08 cores=1,3,5,7
/proc/5839/stat : 5839 (python) S 5827 5827 3621 0 -1 4202560 1057 0 0 0 4 4 0 0 20 0 2 0 338262128 412377088 17020 33554432000 4194304 5683644 140734684204832 140734684196480 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5839/statm: 100678 17020 383 364 0 35898 0
[pid=5841] ppid=5839 vsize=651588 CPUtime=47.31 cores=1,3,5,7
/proc/5841/stat : 5841 (pbct-0.1.2-linu) T 5839 5841 5841 0 -1 4202496 156796 0 0 0 4673 58 0 0 20 0 1 0 338262129 667226112 156532 33554432000 134512640 136422188 4288120064 4288117312 134974186 0 0 16781312 16387 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/5841/statm: 162897 156532 215 467 0 162428 0
[pid=5839/tid=5842] ppid=5827 vsize=402712 CPUtime=0 cores=1,3,5,7
/proc/5839/task/5842/stat : 5842 (python) S 5827 5827 3621 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338266862 412377088 17020 33554432000 4194304 5683644 140734684204832 140528792883760 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5843] ppid=5827 vsize=478504 CPUtime=0.09 cores=1,3,5,7
/proc/5843/stat : 5843 (python) S 5827 5827 3621 0 -1 4202560 1090 0 0 0 6 3 0 0 20 0 2 0 338267806 489988096 17026 33554432000 4194304 5683644 140734684204832 140734684196480 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5843/statm: 119626 17026 383 364 0 54843 0
[pid=5845] ppid=5843 vsize=2211952 CPUtime=47.86 cores=1,3,5,7
/proc/5845/stat : 5845 (minion) T 5843 5845 5845 0 -1 4202496 542929 0 0 0 4707 79 0 0 20 0 1 0 338267807 2265038848 545603 33554432000 134512640 165565024 4287401232 4287398480 142764899 0 0 16781312 8396802 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/5845/statm: 552988 545603 358 7582 0 545403 0
[pid=5843/tid=5846] ppid=5827 vsize=478504 CPUtime=0 cores=1,3,5,7
/proc/5843/task/5846/stat : 5846 (python) S 5827 5827 3621 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338272595 489988096 17026 33554432000 4194304 5683644 140734684204832 140528782393904 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5847] ppid=5827 vsize=554296 CPUtime=0.16 cores=1,3,5,7
/proc/5847/stat : 5847 (python) S 5827 5827 3621 0 -1 4202560 1145 0 0 0 10 6 0 0 20 0 2 0 338272597 567599104 17032 33554432000 4194304 5683644 140734684204832 140734684196480 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5847/statm: 138574 17032 383 364 0 73788 0
[pid=5849] ppid=5847 vsize=40100 CPUtime=92.24 cores=1,3,5,7
/proc/5849/stat : 5849 (clasp-1.3.7-x86) T 5847 5849 5849 0 -1 4202496 10664 0 0 0 9222 2 0 0 20 0 1 0 338272598 41062400 9613 33554432000 134512640 136139019 4288935056 4288933920 134608547 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/5849/statm: 10025 9613 183 398 0 9625 0
[pid=5847/tid=5853] ppid=5827 vsize=554296 CPUtime=0 cores=1,3,5,7
/proc/5847/task/5853/stat : 5853 (python) S 5827 5827 3621 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 338277311 567599104 17032 33554432000 4194304 5683644 140734684204832 140528771904048 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5854] ppid=5827 vsize=630088 CPUtime=0.08 cores=1,3,5,7
/proc/5854/stat : 5854 (python) S 5827 5827 3621 0 -1 4202560 1114 0 0 0 4 4 0 0 20 0 2 0 338277314 645210112 17038 33554432000 4194304 5683644 140734684204832 140734684196480 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5854/statm: 157522 17038 383 364 0 92733 0
[pid=5856] ppid=5854 vsize=51848 CPUtime=49.26 cores=1,3,5,7
/proc/5856/stat : 5856 (wbo1.4a) T 5854 5856 5856 0 -1 4202496 14339 0 0 0 4876 50 0 0 20 0 1 0 338277314 53092352 12246 33554432000 134512640 135751879 4292330336 4292328512 134616543 0 0 16781312 3 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/5856/statm: 12962 12246 143 303 0 12657 0
[pid=5854/tid=5903] ppid=5827 vsize=630088 CPUtime=0 cores=1,3,5,7
/proc/5854/task/5903/stat : 5903 (python) S 5827 5827 3621 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338282242 645210112 17038 33554432000 4194304 5683644 140734684204832 140528749511216 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5908] ppid=5827 vsize=705880 CPUtime=0 cores=1,3,5,7
/proc/5908/stat : 5908 (python) S 5827 5827 3621 0 -1 4202560 821 0 0 0 0 0 0 0 20 0 1 0 338286760 722821120 16995 33554432000 4194304 5683644 140734684204832 140734684195920 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/5908/statm: 176470 16995 335 364 0 111678 0
[pid=5910] ppid=5908 vsize=9558408 CPUtime=0.98 cores=1,3,5,7
/proc/5910/stat : 5910 (java) S 5908 5910 5910 0 -1 4202496 8627 0 1 0 94 4 0 0 20 0 18 0 338286761 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140734507296464 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5910/statm: 2389602 25613 2229 9 0 2380296 0
[pid=5910/tid=5911] ppid=5908 vsize=9558408 CPUtime=0.46 cores=1,3,5,7
/proc/5910/task/5911/stat : 5911 (java) R 5908 5910 5910 0 -1 4202560 2450 0 1 0 43 3 0 0 20 0 18 0 338286762 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654722023944 140654558988327 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5910/tid=5912] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5912/stat : 5912 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286763 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654683519272 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5910/tid=5913] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5913/stat : 5913 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286763 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654682466472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5910/tid=5914] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5914/stat : 5914 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286763 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654681414184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5910/tid=5915] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5915/stat : 5915 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286763 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654680361384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5910/tid=5916] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5916/stat : 5916 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286763 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654679309096 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5910/tid=5917] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5917/stat : 5917 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286763 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654678256296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5910/tid=5918] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5918/stat : 5918 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286763 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654677204008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5910/tid=5919] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5919/stat : 5919 (java) S 5908 5910 5910 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338286763 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654558571432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5910/tid=5920] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5920/stat : 5920 (java) S 5908 5910 5910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 338286764 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654546159848 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5910/tid=5921] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5921/stat : 5921 (java) S 5908 5910 5910 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 338286765 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654545105912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5910/tid=5922] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5922/stat : 5922 (java) S 5908 5910 5910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338286765 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654544053512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5910/tid=5923] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5923/stat : 5923 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286767 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140654543002000 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5910/tid=5924] ppid=5908 vsize=9558408 CPUtime=0.24 cores=1,3,5,7
/proc/5910/task/5924/stat : 5924 (java) R 5908 5910 5910 0 -1 4202560 2214 0 0 0 24 0 0 0 20 0 18 0 338286767 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140653803573632 140654724612842 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5910/tid=5925] ppid=5908 vsize=9558408 CPUtime=0.24 cores=1,3,5,7
/proc/5910/task/5925/stat : 5925 (java) R 5908 5910 5910 0 -1 4202560 2545 0 0 0 24 0 0 0 20 0 18 0 338286767 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140653802531080 140654727871205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5910/tid=5926] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5926/stat : 5926 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286767 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140653801491576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5910/tid=5927] ppid=5908 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5910/task/5927/stat : 5927 (java) S 5908 5910 5910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338286767 9787809792 25613 33554432000 1073741824 1073778376 140734507305328 140653800438984 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5827/tid=5834] ppid=5825 vsize=781660 CPUtime=0 cores=1,3,5,7
/proc/5827/task/5834/stat : 5834 (python) S 5825 5827 3621 0 -1 4202560 27 1009 0 1 0 0 0 0 20 0 7 0 338257128 800419840 18579 33554432000 4194304 5683644 140734684204832 140528792883760 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5827/tid=5840] ppid=5825 vsize=781660 CPUtime=0 cores=1,3,5,7
/proc/5827/task/5840/stat : 5840 (python) S 5825 5827 3621 0 -1 4202560 22 1009 0 1 0 0 0 0 20 0 7 0 338262129 800419840 18579 33554432000 4194304 5683644 140734684204832 140528782393904 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5827/tid=5844] ppid=5825 vsize=781660 CPUtime=0 cores=1,3,5,7
/proc/5827/task/5844/stat : 5844 (python) S 5825 5827 3621 0 -1 4202560 22 1009 0 1 0 0 0 0 20 0 7 0 338267806 800419840 18579 33554432000 4194304 5683644 140734684204832 140528771904048 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5827/tid=5848] ppid=5825 vsize=781660 CPUtime=0 cores=1,3,5,7
/proc/5827/task/5848/stat : 5848 (python) S 5825 5827 3621 0 -1 4202560 24 1009 0 1 0 0 0 0 20 0 7 0 338272597 800419840 18579 33554432000 4194304 5683644 140734684204832 140528749511216 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5827/tid=5855] ppid=5825 vsize=781660 CPUtime=0 cores=1,3,5,7
/proc/5827/task/5855/stat : 5855 (python) S 5825 5827 3621 0 -1 4202560 21 1009 0 1 0 0 0 0 20 0 7 0 338277314 800419840 18579 33554432000 4194304 5683644 140734684204832 140528739021360 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5827/tid=5909] ppid=5825 vsize=781660 CPUtime=0 cores=1,3,5,7
/proc/5827/task/5909/stat : 5909 (python) S 5825 5827 3621 0 -1 4202560 21 1009 0 1 0 0 0 0 20 0 7 0 338286760 800419840 18579 33554432000 4194304 5683644 140734684204832 140528728531504 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 301.18
Current children cumulated vsize (KiB) 16524228
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5827 and gives
# childrusage.ru_utime.tv_sec=12
# childrusage.ru_utime.tv_usec=844047
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=253961
# CPU time returned by wait4() is 13.098
# while last known CPU time is 301.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 301.663
CPU time (s): 301.18
CPU user time (s): 298.28
CPU system time (s): 2.9
CPU usage (%): 99.84
Max. virtual memory (cumulated for all children) (KiB): 16524228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.844
system time used= 0.253961
maximum resident set size= 80596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30859
page faults= 8
swaps= 0
block input operations= 2600
block output operations= 19912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2076
involuntary context switches= 30
runsolver used 0.92086 second user time and 2.53661 second system time
The end