runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3481459-1307577848/watcher-3481459-1307577848 -o /tmp/evaluation-result-3481459-1307577848/solver-3481459-1307577848 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481459-1307577848.opb -seed 744328838 -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.13 2.10 1.67 2/701 3680
/proc/meminfo: memFree=20719036/32950928 swapFree=34366004/67111528
[pid=3680] ppid=3678 vsize=15520 CPUtime=0 cores=1,3,5,7
/proc/3680/stat : 3680 (python) R 3678 3680 2236 0 -1 4202496 823 0 0 0 0 0 0 0 19 0 1 0 869383635 15892480 708 33554432000 4194304 5683644 140734446866960 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3680/statm: 3880 710 334 364 0 367 0
[startup+0.077943 s]
/proc/loadavg: 2.13 2.10 1.67 2/701 3680
/proc/meminfo: memFree=20719036/32950928 swapFree=34366004/67111528
[pid=3680] ppid=3678 vsize=45680 CPUtime=0.05 cores=1,3,5,7
/proc/3680/stat : 3680 (python) R 3678 3680 2236 0 -1 4202496 1887 0 0 0 3 2 0 0 17 0 1 0 869383635 46776320 1661 33554432000 4194304 5683644 140734446866960 18446744073709551615 235594864640 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/3680/statm: 11421 1670 470 364 0 1170 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 45680
[startup+0.100942 s]
/proc/loadavg: 2.13 2.10 1.67 2/701 3680
/proc/meminfo: memFree=20719036/32950928 swapFree=34366004/67111528
[pid=3680] ppid=3678 vsize=85616 CPUtime=0.07 cores=1,3,5,7
/proc/3680/stat : 3680 (python) R 3678 3680 2236 0 -1 4202496 2663 0 0 0 4 3 0 0 17 0 1 0 869383635 87670784 2381 33554432000 4194304 5683644 140734446866960 18446744073709551615 235594864640 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3680/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85616
[startup+0.30092 s]
/proc/loadavg: 2.13 2.10 1.67 2/701 3680
/proc/meminfo: memFree=20719036/32950928 swapFree=34366004/67111528
[pid=3680] ppid=3678 vsize=123736 CPUtime=0.18 cores=1,3,5,7
/proc/3680/stat : 3680 (python) S 3678 3680 2236 0 -1 4202496 5355 931 1 0 10 8 0 0 16 0 1 0 869383635 126705664 3743 33554432000 4194304 5683644 140734446866960 18446744073709551615 235594862597 0 2147483391 16781312 2 18446744071699215550 0 0 17 5 0 0 0
/proc/3680/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123736
[startup+0.700778 s]
/proc/loadavg: 2.13 2.10 1.67 2/701 3680
/proc/meminfo: memFree=20719036/32950928 swapFree=34366004/67111528
[pid=3680] ppid=3678 vsize=261388 CPUtime=0.4 cores=1,3,5,7
/proc/3680/stat : 3680 (python) D 3678 3680 2236 0 -1 4202496 8252 931 1 0 24 16 0 0 15 0 1 0 869383635 267661312 6350 33554432000 4194304 5683644 140734446866960 18446744073709551615 235594872375 0 0 16781312 2 18446744071562154983 0 0 17 5 0 0 0
/proc/3680/statm: 65347 6350 1677 364 0 5063 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 261388
[startup+1.87857 s]
/proc/loadavg: 2.13 2.10 1.67 2/701 3680
/proc/meminfo: memFree=20719036/32950928 swapFree=34366004/67111528
[pid=3680] ppid=3678 vsize=298412 CPUtime=1.7 cores=1,3,5,7
/proc/3680/stat : 3680 (python) R 3678 3680 2236 0 -1 4202496 18304 1555 1 0 104 32 26 8 16 0 1 0 869383635 305573888 10951 33554432000 4194304 5683644 140734446866960 18446744073709551615 4662659 0 0 16781312 33554434 0 0 0 17 5 0 0 18
/proc/3680/statm: 74603 10951 1816 364 0 9496 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 298412
[startup+3.10036 s]
/proc/loadavg: 2.28 2.14 1.68 3/705 3689
/proc/meminfo: memFree=20548404/32950928 swapFree=34366004/67111528
[pid=3680] ppid=3678 vsize=309936 CPUtime=2.31 cores=1,3,5,7
/proc/3680/stat : 3680 (python) S 3678 3680 2236 0 -1 4202496 19277 1555 1 0 164 33 26 8 19 0 2 0 869383635 317374464 11324 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 18
/proc/3680/statm: 77484 11324 1871 364 0 12371 0
[pid=3687] ppid=3680 vsize=299692 CPUtime=0 cores=1,3,5,7
/proc/3687/stat : 3687 (python) S 3680 3680 2236 0 -1 4202560 693 0 0 0 0 0 0 0 16 0 1 0 869383884 306884608 9767 33554432000 4194304 5683644 140734446866960 18446744073709551615 235594886671 0 0 16781312 33554946 4605431347748503812 0 0 17 5 0 0 0
/proc/3687/statm: 74923 9767 318 364 0 9810 0
[pid=3689] ppid=3687 vsize=139936 CPUtime=0.6 cores=1,3,5,7
/proc/3689/stat : 3689 (scip-2.0.1.linu) R 3687 3689 3689 0 -1 4202496 32524 0 0 0 57 3 0 0 21 0 1 0 869383884 143294464 31839 33554432000 4194304 13684479 140736086180352 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3689/statm: 34984 31839 586 2317 0 32662 0
[pid=3680/tid=3688] ppid=3678 vsize=309936 CPUtime=0.34 cores=1,3,5,7
/proc/3680/task/3688/stat : 3688 (python) S 3678 3680 2236 0 -1 4202560 26 1555 0 0 0 0 26 8 19 0 2 0 869383884 317374464 11324 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 749564
[startup+6.30086 s]
/proc/loadavg: 2.28 2.14 1.68 3/705 3689
/proc/meminfo: memFree=20361288/32950928 swapFree=34366004/67111528
[pid=3680] ppid=3678 vsize=309936 CPUtime=2.31 cores=1,3,5,7
/proc/3680/stat : 3680 (python) S 3678 3680 2236 0 -1 4202496 19277 1555 1 0 164 33 26 8 19 0 2 0 869383635 317374464 11324 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 18
/proc/3680/statm: 77484 11324 1871 364 0 12371 0
[pid=3687] ppid=3680 vsize=299692 CPUtime=0 cores=1,3,5,7
/proc/3687/stat : 3687 (python) S 3680 3680 2236 0 -1 4202560 711 0 0 0 0 0 0 0 15 0 1 0 869383884 306884608 9767 33554432000 4194304 5683644 140734446866960 18446744073709551615 235594886671 0 0 16781312 33554946 4605431347748503812 0 0 17 5 0 0 0
/proc/3687/statm: 74923 9767 318 364 0 9810 0
[pid=3689] ppid=3687 vsize=345148 CPUtime=3.78 cores=1,3,5,7
/proc/3689/stat : 3689 (scip-2.0.1.linu) R 3687 3689 3689 0 -1 4202496 87322 0 0 0 352 26 0 0 25 0 1 0 869383884 353431552 83013 33554432000 4194304 13684479 140736086180352 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3689/statm: 86287 83013 763 2317 0 83965 0
[pid=3680/tid=3688] ppid=3678 vsize=309936 CPUtime=0.34 cores=1,3,5,7
/proc/3680/task/3688/stat : 3688 (python) S 3678 3680 2236 0 -1 4202560 26 1555 0 0 0 0 26 8 19 0 2 0 869383884 317374464 11324 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 954776
[startup+12.7007 s]
/proc/loadavg: 2.16 2.11 1.68 2/692 3715
/proc/meminfo: memFree=20354184/32950928 swapFree=34366004/67111528
[pid=3680] ppid=3678 vsize=309936 CPUtime=2.31 cores=1,3,5,7
/proc/3680/stat : 3680 (python) S 3678 3680 2236 0 -1 4202496 19277 1555 1 0 164 33 26 8 19 0 2 0 869383635 317374464 11324 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 18
/proc/3680/statm: 77484 11324 1871 364 0 12371 0
[pid=3687] ppid=3680 vsize=299692 CPUtime=0.03 cores=1,3,5,7
/proc/3687/stat : 3687 (python) S 3680 3680 2236 0 -1 4202560 858 0 0 0 1 2 0 0 15 0 1 0 869383884 306884608 9791 33554432000 4194304 5683644 140734446866960 18446744073709551615 235594886671 0 0 16781312 33554946 4072312660912242688 0 0 17 7 0 0 0
/proc/3687/statm: 74923 9791 342 364 0 9810 0
[pid=3689] ppid=3687 vsize=492468 CPUtime=10.18 cores=1,3,5,7
/proc/3689/stat : 3689 (scip-2.0.1.linu) R 3687 3689 3689 0 -1 4202496 123160 0 0 0 982 36 0 0 20 0 1 0 869383884 504287232 118851 33554432000 4194304 13684479 140736086180352 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3689/statm: 123117 118851 773 2317 0 120795 0
[pid=3680/tid=3688] ppid=3678 vsize=309936 CPUtime=0.34 cores=1,3,5,7
/proc/3680/task/3688/stat : 3688 (python) S 3678 3680 2236 0 -1 4202560 26 1555 0 0 0 0 26 8 19 0 2 0 869383884 317374464 11324 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 1102096
[startup+25.5005 s]
/proc/loadavg: 2.36 2.16 1.70 3/697 3752
/proc/meminfo: memFree=20116276/32950928 swapFree=34366004/67111528
[pid=3680] ppid=3678 vsize=309936 CPUtime=2.31 cores=1,3,5,7
/proc/3680/stat : 3680 (python) S 3678 3680 2236 0 -1 4202496 19277 1555 1 0 164 33 26 8 19 0 2 0 869383635 317374464 11324 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 18
/proc/3680/statm: 77484 11324 1871 364 0 12371 0
[pid=3687] ppid=3680 vsize=299692 CPUtime=0.09 cores=1,3,5,7
/proc/3687/stat : 3687 (python) S 3680 3680 2236 0 -1 4202560 864 0 0 0 4 5 0 0 15 0 1 0 869383884 306884608 9791 33554432000 4194304 5683644 140734446866960 18446744073709551615 235594886671 0 0 16781312 33554946 5623753486446373617 0 0 17 7 0 0 0
/proc/3687/statm: 74923 9791 342 364 0 9810 0
[pid=3689] ppid=3687 vsize=361820 CPUtime=22.99 cores=1,3,5,7
/proc/3689/stat : 3689 (scip-2.0.1.linu) R 3687 3689 3689 0 -1 4202496 123422 0 0 0 2250 49 0 0 25 0 1 0 869383884 370503680 87194 33554432000 4194304 13684479 140736086180352 18446744073709551615 7416145 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3689/statm: 90455 87194 793 2317 0 88133 0
[pid=3680/tid=3688] ppid=3678 vsize=309936 CPUtime=0.34 cores=1,3,5,7
/proc/3680/task/3688/stat : 3688 (python) S 3678 3680 2236 0 -1 4202560 26 1555 0 0 0 0 26 8 19 0 2 0 869383884 317374464 11324 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 971448
[startup+51.101 s]
/proc/loadavg: 2.24 2.15 1.70 3/701 3756
/proc/meminfo: memFree=20079488/32950928 swapFree=34366004/67111528
[pid=3680] ppid=3678 vsize=320192 CPUtime=2.34 cores=1,3,5,7
/proc/3680/stat : 3680 (python) S 3678 3680 2236 0 -1 4202496 20135 1555 1 0 167 33 26 8 20 0 3 0 869383635 327876608 11331 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 18
/proc/3680/statm: 80048 11331 1874 364 0 14932 0
[pid=3687] ppid=3680 vsize=375472 CPUtime=0.2 cores=1,3,5,7
/proc/3687/stat : 3687 (python) S 3680 3680 2236 0 -1 4202560 1075 0 0 0 9 11 0 0 16 0 2 0 869383884 384483328 9860 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3687/statm: 93868 9860 405 364 0 28755 0
[pid=3689] ppid=3687 vsize=361820 CPUtime=46.54 cores=1,3,5,7
/proc/3689/stat : 3689 (scip-2.0.1.linu) T 3687 3689 3689 0 -1 4202496 123427 0 0 0 4593 61 0 0 25 0 1 0 869383884 370503680 87199 33554432000 4194304 13684479 140736086180352 18446744073709551615 4865666 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/3689/statm: 90455 87199 798 2317 0 88133 0
[pid=3687/tid=3753] ppid=3680 vsize=375472 CPUtime=0 cores=1,3,5,7
/proc/3687/task/3753/stat : 3753 (python) S 3680 3680 2236 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869388540 384483328 9860 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554946 18446604455693955328 0 0 -1 3 0 0 0
[pid=3754] ppid=3680 vsize=309948 CPUtime=0 cores=1,3,5,7
/proc/3754/stat : 3754 (python) S 3680 3680 2236 0 -1 4202560 763 0 0 0 0 0 0 0 15 0 1 0 869388543 317386752 9772 33554432000 4194304 5683644 140734446866960 18446744073709551615 235594886726 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/3754/statm: 77487 9772 319 364 0 12371 0
[pid=3756] ppid=3754 vsize=29348 CPUtime=2.01 cores=1,3,5,7
/proc/3756/stat : 3756 (wbo1.4a) R 3754 3756 3756 0 -1 4202496 12065 0 0 0 200 1 0 0 25 0 1 0 869388543 30052352 6689 33554432000 134512640 135751879 4291229600 18446744073709551615 134606459 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/3756/statm: 7337 6689 146 303 0 7032 0
[pid=3680/tid=3688] ppid=3678 vsize=320192 CPUtime=0.34 cores=1,3,5,7
/proc/3680/task/3688/stat : 3688 (python) S 3678 3680 2236 0 -1 4202560 26 1555 0 0 0 0 26 8 19 0 3 0 869383884 327876608 11331 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 7 0 0 0
[pid=3680/tid=3755] ppid=3678 vsize=320192 CPUtime=0.34 cores=1,3,5,7
/proc/3680/task/3755/stat : 3755 (python) S 3678 3680 2236 0 -1 4202560 28 1555 0 0 0 0 26 8 20 0 3 0 869388543 327876608 11331 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1396780
[startup+102.302 s]
/proc/loadavg: 2.30 2.17 1.74 3/727 3784
/proc/meminfo: memFree=19515412/32950928 swapFree=34366004/67111528
[pid=3680] ppid=3678 vsize=330448 CPUtime=2.36 cores=1,3,5,7
/proc/3680/stat : 3680 (python) S 3678 3680 2236 0 -1 4202496 21055 1555 1 0 169 33 26 8 20 0 4 0 869383635 338378752 11337 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 18
/proc/3680/statm: 82612 11337 1876 364 0 17493 0
[pid=3687] ppid=3680 vsize=375472 CPUtime=0.2 cores=1,3,5,7
/proc/3687/stat : 3687 (python) S 3680 3680 2236 0 -1 4202560 1075 0 0 0 9 11 0 0 16 0 2 0 869383884 384483328 9860 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3687/statm: 93868 9860 405 364 0 28755 0
[pid=3689] ppid=3687 vsize=361820 CPUtime=46.54 cores=1,3,5,7
/proc/3689/stat : 3689 (scip-2.0.1.linu) T 3687 3689 3689 0 -1 4202496 123427 0 0 0 4593 61 0 0 25 0 1 0 869383884 370503680 87199 33554432000 4194304 13684479 140736086180352 18446744073709551615 4865666 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/3689/statm: 90455 87199 798 2317 0 88133 0
[pid=3687/tid=3753] ppid=3680 vsize=375472 CPUtime=0 cores=1,3,5,7
/proc/3687/task/3753/stat : 3753 (python) S 3680 3680 2236 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869388540 384483328 9860 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554946 18446604455693955328 0 0 -1 3 0 0 0
[pid=3754] ppid=3680 vsize=309948 CPUtime=0.22 cores=1,3,5,7
/proc/3754/stat : 3754 (python) S 3680 3680 2236 0 -1 4202560 1127 0 0 0 12 10 0 0 17 0 2 0 869388543 317386752 9844 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3754/statm: 77487 9844 390 364 0 12371 0
[pid=3756] ppid=3754 vsize=48956 CPUtime=50.75 cores=1,3,5,7
/proc/3756/stat : 3756 (wbo1.4a) T 3754 3756 3756 0 -1 4202496 17374 0 0 0 5061 14 0 0 25 0 1 0 869388543 50130944 11606 33554432000 134512640 135751879 4291229600 18446744073709551615 134518831 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/3756/statm: 12239 11606 146 303 0 11934 0
[pid=3754/tid=3763] ppid=3680 vsize=309948 CPUtime=0 cores=1,3,5,7
/proc/3754/task/3763/stat : 3763 (python) S 3680 3680 2236 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 869393619 317386752 9844 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554946 18446604456525187008 0 0 -1 7 0 0 0
[pid=3764] ppid=3680 vsize=320204 CPUtime=0 cores=1,3,5,7
/proc/3764/stat : 3764 (python) S 3680 3680 2236 0 -1 4202560 762 0 0 0 0 0 0 0 15 0 1 0 869393622 327888896 9776 33554432000 4194304 5683644 140734446866960 18446744073709551615 235594886726 0 0 16781312 33554946 1539303286610329600 0 0 17 3 0 0 0
/proc/3764/statm: 80051 9776 319 364 0 14932 0
[pid=3766] ppid=3764 vsize=8544524 CPUtime=4.1 cores=1,3,5,7
/proc/3766/stat : 3766 (java) S 3764 3766 3766 0 -1 4202496 92202 0 1 0 399 11 0 0 17 0 19 0 869393622 8749592576 88966 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/3766/statm: 2136131 88966 2244 9 0 2126872 0
[pid=3766/tid=3767] ppid=3764 vsize=8544524 CPUtime=2.25 cores=1,3,5,7
/proc/3766/task/3767/stat : 3767 (java) R 3764 3766 3766 0 -1 4202560 62160 0 1 0 217 8 0 0 19 0 19 0 869393623 8749592576 88966 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 46912505619757 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=3766/tid=3768] ppid=3764 vsize=8544524 CPUtime=0.05 cores=1,3,5,7
/proc/3766/task/3768/stat : 3768 (java) S 3764 3766 3766 0 -1 4202560 3646 0 0 0 5 0 0 0 16 0 19 0 869393623 8749592576 88966 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606682521 0 4 0 16800975 18446604455693956224 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=3680/tid=3765] ppid=3678 vsize=350960 CPUtime=0.34 cores=1,3,5,7
/proc/3680/task/3765/stat : 3765 (python) S 3678 3680 2236 0 -1 4202560 26 1555 0 0 0 0 26 8 20 0 6 0 869393622 359383040 11349 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 1 0 0 0
[pid=3680/tid=3792] ppid=3678 vsize=350960 CPUtime=0.34 cores=1,3,5,7
/proc/3680/task/3792/stat : 3792 (python) S 3678 3680 2236 0 -1 4202560 31 1555 0 0 0 0 26 8 20 0 6 0 869398374 359383040 11349 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 1 0 0 0
[pid=3680/tid=3824] ppid=3678 vsize=350960 CPUtime=0.34 cores=1,3,5,7
/proc/3680/task/3824/stat : 3824 (python) S 3678 3680 2236 0 -1 4202560 31 1555 0 0 0 0 26 8 20 0 6 0 869407529 359383040 11349 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 285.76
Current children cumulated vsize (KiB) 11364468
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+336.402 s]
/proc/loadavg: 2.18 2.14 1.81 5/788 3851
/proc/meminfo: memFree=13638480/32950928 swapFree=34366004/67111528
[pid=3680] ppid=3678 vsize=361216 CPUtime=2.47 cores=1,3,5,7
/proc/3680/stat : 3680 (python) S 3678 3680 2236 0 -1 4202496 23959 1555 1 0 179 34 26 8 20 0 7 0 869383635 369885184 11355 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 18
/proc/3680/statm: 90304 11355 1882 364 0 25176 0
[pid=3687] ppid=3680 vsize=375472 CPUtime=0.43 cores=1,3,5,7
/proc/3687/stat : 3687 (python) S 3680 3680 2236 0 -1 4202560 1086 0 0 0 20 23 0 0 16 0 2 0 869383884 384483328 9869 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3687/statm: 93868 9869 406 364 0 28755 0
[pid=3689] ppid=3687 vsize=364360 CPUtime=95.79 cores=1,3,5,7
/proc/3689/stat : 3689 (scip-2.0.1.linu) T 3687 3689 3689 0 -1 4202496 123782 0 0 0 9499 80 0 0 25 0 1 0 869383884 373104640 87554 33554432000 4194304 13684479 140736086180352 18446744073709551615 7268169 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/3689/statm: 91090 87554 799 2317 0 88768 0
[pid=3687/tid=3753] ppid=3680 vsize=375472 CPUtime=0 cores=1,3,5,7
/proc/3687/task/3753/stat : 3753 (python) S 3680 3680 2236 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 869388540 384483328 9869 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554946 18446604455693955328 0 0 -1 3 0 0 0
[pid=3754] ppid=3680 vsize=309948 CPUtime=0.22 cores=1,3,5,7
/proc/3754/stat : 3754 (python) S 3680 3680 2236 0 -1 4202560 1127 0 0 0 12 10 0 0 17 0 2 0 869388543 317386752 9844 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3754/statm: 77487 9844 390 364 0 12371 0
[pid=3756] ppid=3754 vsize=48956 CPUtime=50.75 cores=1,3,5,7
/proc/3756/stat : 3756 (wbo1.4a) T 3754 3756 3756 0 -1 4202496 17374 0 0 0 5061 14 0 0 25 0 1 0 869388543 50130944 11606 33554432000 134512640 135751879 4291229600 18446744073709551615 134518831 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/3756/statm: 12239 11606 146 303 0 11934 0
[pid=3754/tid=3763] ppid=3680 vsize=309948 CPUtime=0 cores=1,3,5,7
/proc/3754/task/3763/stat : 3763 (python) S 3680 3680 2236 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 869393619 317386752 9844 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554946 18446604456525187008 0 0 -1 7 0 0 0
[pid=3764] ppid=3680 vsize=320204 CPUtime=0.2 cores=1,3,5,7
/proc/3764/stat : 3764 (python) S 3680 3680 2236 0 -1 4202560 1109 0 0 0 10 10 0 0 17 0 2 0 869393622 327888896 9848 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3764/statm: 80051 9848 390 364 0 14932 0
[pid=3766] ppid=3764 vsize=8544524 CPUtime=50.02 cores=1,3,5,7
/proc/3766/stat : 3766 (java) T 3764 3766 3766 0 -1 4202496 709692 0 1 0 4929 73 0 0 15 0 19 0 869393622 8749592576 702357 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/3766/statm: 2136131 702357 2249 9 0 2126872 0
[pid=3766/tid=3767] ppid=3764 vsize=8544524 CPUtime=47.07 cores=1,3,5,7
/proc/3766/task/3767/stat : 3767 (java) T 3764 3766 3766 0 -1 4202560 634284 0 1 0 4641 66 0 0 25 0 19 0 869393623 8749592576 702357 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 46912505873305 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 8
[pid=3766/tid=3768] ppid=3764 vsize=8544524 CPUtime=0.08 cores=1,3,5,7
/proc/3766/task/3768/stat : 3768 (java) T 3764 3766 3766 0 -1 4202560 5366 0 0 0 8 0 0 0 15 0 19 0 869393623 8749592576 702357 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3766/tid=3769] ppid=3764 vsize=8544524 CPUtime=0.09 cores=1,3,5,7
/proc/3766/task/3769/stat : 3769 (java) T 3764 3766 3766 0 -1 4202560 5833 0 0 0 9 0 0 0 15 0 19 0 869393623 8749592576 702357 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3766/tid=3770] ppid=3764 vsize=8544524 CPUtime=0.15 cores=1,3,5,7
/proc/3766/task/3770/stat : 3770 (java) T 3764 3766 3766 0 -1 4202560 11064 0 0 0 14 1 0 0 15 0 19 0 869393623 8749592576 702357 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3766/tid=3771] ppid=3764 vsize=8544524 CPUtime=0.06 cores=1,3,5,7
/proc/3766/task/3771/stat : 3771 (java) T 3764 3766 3766 0 -1 4202560 4604 0 0 0 6 0 0 0 15 0 19 0 869393623 8749592576 702357 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3766/tid=3772] ppid=3764 vsize=8544524 CPUtime=0.12 cores=1,3,5,7
/proc/3766/task/3772/stat : 3772 (java) T 3764 3766 3766 0 -1 4202560 9155 0 0 0 12 0 0 0 15 0 19 0 869393623 8749592576 702357 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3766/tid=3773] ppid=3764 vsize=8544524 CPUtime=0.09 cores=1,3,5,7
/proc/3766/task/3773/stat : 3773 (java) T 3764 3766 3766 0 -1 4202560 6771 0 0 0 9 0 0 0 15 0 19 0 869393623 8749592576 702357 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3766/tid=3774] ppid=3764 vsize=8544524 CPUtime=0.15 cores=1,3,5,7
/proc/3766/task/3774/stat : 3774 (java) T 3764 3766 3766 0 -1 4202560 10020 0 0 0 15 0 0 0 15 0 19 0 869393623 8749592576 702357 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3766/tid=3775] ppid=3764 vsize=8544524 CPUtime=0.14 cores=1,3,5,7
/proc/3766/task/3775/stat : 3775 (java) T 3764 3766 3766 0 -1 4202560 10303 0 0 0 13 1 0 0 15 0 19 0 869393623 8749592576 702357 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3766/tid=3776] ppid=3764 vsize=8544524 CPUtime=0 cores=1,3,5,7
/proc/3766/task/3776/stat : 3776 (java) T 3764 3766 3766 0 -1 4202560 1270 0 0 0 0 0 0 0 15 0 19 0 869393624 8749592576 702357 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606683136 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3766/tid=3777] ppid=3764 vsize=8544524 CPUtime=0 cores=1,3,5,7
/proc/3766/task/3777/stat : 3777 (java) T 3764 3766 3766 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869393625 8749592576 702357 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3766/tid=3778] ppid=3764 vsize=8544524 CPUtime=0 cores=1,3,5,7
/proc/3766/task/3778/stat : 3778 (java) T 3764 3766 3766 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869393625 8749592576 702357 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3766/tid=3779] ppid=3764 vsize=8544524 CPUtime=0 cores=1,3,5,7
/proc/3766/task/3779/stat : 3779 (java) T 3764 3766 3766 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869393627 8749592576 702357 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606690225 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3766/tid=3780] ppid=3764 vsize=8544524 CPUtime=0.96 cores=1,3,5,7
/proc/3766/task/3780/stat : 3780 (java) T 3764 3766 3766 0 -1 4202560 3912 0 0 0 96 0 0 0 15 0 19 0 869393627 8749592576 702357 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3766/tid=3781] ppid=3764 vsize=8544524 CPUtime=0.98 cores=1,3,5,7
/proc/3766/task/3781/stat : 3781 (java) T 3764 3766 3766 0 -1 4202560 5719 0 0 0 98 0 0 0 15 0 19 0 869393627 8749592576 702357 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3766/tid=3782] ppid=3764 vsize=8544524 CPUtime=0 cores=1,3,5,7
/proc/3766/task/3782/stat : 3782 (java) T 3764 3766 3766 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869393627 8749592576 702357 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3766/tid=3783] ppid=3764 vsize=8544524 CPUtime=0 cores=1,3,5,7
/proc/3766/task/3783/stat : 3783 (java) T 3764 3766 3766 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869393627 8749592576 702357 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3766/tid=3784] ppid=3764 vsize=8544524 CPUtime=0 cores=1,3,5,7
/proc/3766/task/3784/stat : 3784 (java) T 3764 3766 3766 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869393704 8749592576 702357 33554432000 1073741824 1073778376 140736186905216 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3764/tid=3790] ppid=3680 vsize=320204 CPUtime=0 cores=1,3,5,7
/proc/3764/task/3790/stat : 3790 (python) S 3680 3680 2236 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869398371 327888896 9848 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554946 18446604463185387840 0 0 -1 7 0 0 0
[pid=3791] ppid=3680 vsize=330460 CPUtime=0.38 cores=1,3,5,7
/proc/3791/stat : 3791 (python) S 3680 3680 2236 0 -1 4202560 1173 0 0 0 18 20 0 0 16 0 2 0 869398374 338391040 9852 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3791/statm: 82615 9852 390 364 0 17493 0
[pid=3793] ppid=3791 vsize=26912 CPUtime=91.51 cores=1,3,5,7
/proc/3793/stat : 3793 (clasp-1.3.7-x86) T 3791 3793 3793 0 -1 4202496 7353 0 0 0 9151 0 0 0 25 0 1 0 869398374 27557888 6479 33554432000 134512640 136139019 4288481232 18446744073709551615 134608320 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/3793/statm: 6728 6479 187 398 0 6328 0
[pid=3791/tid=3822] ppid=3680 vsize=330460 CPUtime=0 cores=1,3,5,7
/proc/3791/task/3822/stat : 3822 (python) S 3680 3680 2236 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 2 0 869407526 338391040 9852 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554946 18446604465333236992 0 0 -1 5 0 0 0
[pid=3823] ppid=3680 vsize=340716 CPUtime=0.21 cores=1,3,5,7
/proc/3823/stat : 3823 (python) S 3680 3680 2236 0 -1 4202560 1194 0 0 0 8 13 0 0 16 0 2 0 869407529 348893184 9862 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3823/statm: 85179 9862 396 364 0 20054 0
[pid=3825] ppid=3823 vsize=354496 CPUtime=47.16 cores=1,3,5,7
/proc/3825/stat : 3825 (scip-2.0.1.linu) T 3823 3825 3825 0 -1 4202496 143057 0 0 0 4667 49 0 0 25 0 1 0 869407530 363003904 85183 33554432000 4194304 15243407 140733948490144 18446744073709551615 8046599 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/3825/statm: 88624 85183 917 2698 0 85919 0
[pid=3823/tid=3827] ppid=3680 vsize=340716 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3827/stat : 3827 (python) S 3680 3680 2236 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869412247 348893184 9862 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554946 18446604454814556480 0 0 -1 3 0 0 0
[pid=3831] ppid=3680 vsize=350972 CPUtime=0 cores=1,3,5,7
/proc/3831/stat : 3831 (python) S 3680 3680 2236 0 -1 4202560 807 0 0 0 0 0 0 0 15 0 1 0 869417176 359395328 9788 33554432000 4194304 5683644 140734446866960 18446744073709551615 235594886726 0 0 16781312 33554946 4294934789 0 0 17 1 0 0 0
/proc/3831/statm: 87743 9788 319 364 0 22615 0
[pid=3833] ppid=3831 vsize=8549568 CPUtime=2.25 cores=1,3,5,7
/proc/3833/stat : 3833 (java) S 3831 3833 3833 0 -1 4202496 41040 0 1 0 218 7 0 0 20 0 19 0 869417176 8754757632 36083 33554432000 1073741824 1073778376 140736178643200 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3833/statm: 2137392 36083 2228 9 0 2128133 0
[pid=3833/tid=3834] ppid=3831 vsize=8549568 CPUtime=1.01 cores=1,3,5,7
/proc/3833/task/3834/stat : 3834 (java) R 3831 3833 3833 0 -1 4202560 28205 0 1 0 96 5 0 0 25 0 19 0 869417177 8754757632 36082 33554432000 1073741824 1073778376 140736178643200 18446744073709551615 46912505620593 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3833/tid=3835] ppid=3831 vsize=8549568 CPUtime=0 cores=1,3,5,7
/proc/3833/task/3835/stat : 3835 (java) S 3831 3833 3833 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 869417178 8754757632 36082 33554432000 1073741824 1073778376 140736178643200 18446744073709551615 235606682521 0 4 0 16800975 18446604455662558208 0 0 -1 5 0 0 0
[pid=3833/tid=3836] ppid=3831 vsize=8549568 CPUtime=0 cores=1,3,5,7
/proc/3833/task/3836/stat : 3836 (java) S 3831 3833 3833 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869417178 8754757632 36082 33554432000 1073741824 1073778376 140736178643200 18446744073709551615 235606682521 0 4 0 16800975 18446604455662558208 0 0 -1 5 0 0 0
[pid=3833/tid=3837] ppid=3831 vsize=8549568 CPUtime=0 cores=1,3,5,7
/proc/3833/task/3837/stat : 3837 (java) S 3831 3833 3833 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869417178 8754757632 36082 33554432000 1073741824 1073778376 140736178643200 18446744073709551615 235606682521 0 4 0 16800975 18446604455662558208 0 0 -1 5 0 0 0
[pid=3833/tid=3838] ppid=3831 vsize=8549568 CPUtime=0 cores=1,3,5,7
/proc/3833/task/3838/stat : 3838 (java) S 3831 3833 3833 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869417178 8754757632 36083 33554432000 1073741824 1073778376 140736178643200 18446744073709551615 235606682521 0 4 0 16800975 18446604455662558208 0 0 -1 3 0 0 0
[pid=3833/tid=3839] ppid=3831 vsize=8549568 CPUtime=0 cores=1,3,5,7
/proc/3833/task/3839/stat : 3839 (java) S 3831 3833 3833 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869417178 8754757632 36085 33554432000 1073741824 1073778376 140736178643200 18446744073709551615 235606682521 0 4 0 16800975 18446604455662558208 0 0 -1 3 0 0 0
[pid=3833/tid=3840] ppid=3831 vsize=8549568 CPUtime=0 cores=1,3,5,7
/proc/3833/task/3840/stat : 3840 (java) S 3831 3833 3833 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869417178 8754757632 36087 33554432000 1073741824 1073778376 140736178643200 18446744073709551615 235606682521 0 4 0 16800975 18446604455662558208 0 0 -1 3 0 0 0
[pid=3833/tid=3841] ppid=3831 vsize=8549568 CPUtime=0 cores=1,3,5,7
/proc/3833/task/3841/stat : 3841 (java) S 3831 3833 3833 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869417178 8754757632 36089 33554432000 1073741824 1073778376 140736178643200 18446744073709551615 235606682521 0 4 0 16800975 18446604455662558208 0 0 -1 3 0 0 0
[pid=3833/tid=3842] ppid=3831 vsize=8549568 CPUtime=0 cores=1,3,5,7
/proc/3833/task/3842/stat : 3842 (java) S 3831 3833 3833 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869417178 8754757632 36091 33554432000 1073741824 1073778376 140736178643200 18446744073709551615 235606682521 0 4 0 16800975 18446604455662558208 0 0 -1 3 0 0 0
[pid=3833/tid=3843] ppid=3831 vsize=8549568 CPUtime=0 cores=1,3,5,7
/proc/3833/task/3843/stat : 3843 (java) S 3831 3833 3833 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 869417179 8754757632 36093 33554432000 1073741824 1073778376 140736178643200 18446744073709551615 235606683136 0 0 0 16800975 18446604455662558208 0 0 -1 5 0 0 0
[pid=3833/tid=3844] ppid=3831 vsize=8549568 CPUtime=0 cores=1,3,5,7
/proc/3833/task/3844/stat : 3844 (java) S 3831 3833 3833 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869417179 8754757632 36095 33554432000 1073741824 1073778376 140736178643200 18446744073709551615 235606682521 0 4 0 16800975 18446604455662558208 0 0 -1 5 0 0 0
[pid=3833/tid=3845] ppid=3831 vsize=8549568 CPUtime=0 cores=1,3,5,7
/proc/3833/task/3845/stat : 3845 (java) S 3831 3833 3833 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869417179 8754757632 36098 33554432000 1073741824 1073778376 140736178643200 18446744073709551615 235606682521 0 4 0 16800975 18446604455662558208 0 0 -1 5 0 0 0
[pid=3833/tid=3846] ppid=3831 vsize=8549568 CPUtime=0 cores=1,3,5,7
/proc/3833/task/3846/stat : 3846 (java) S 3831 3833 3833 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869417181 8754757632 36098 33554432000 1073741824 1073778376 140736178643200 18446744073709551615 235606690225 0 4 0 16800975 18446604455662558208 0 0 -1 5 0 0 0
[pid=3833/tid=3847] ppid=3831 vsize=8549568 CPUtime=0.61 cores=1,3,5,7
/proc/3833/task/3847/stat : 3847 (java) R 3831 3833 3833 0 -1 4202560 5386 0 0 0 61 0 0 0 25 0 19 0 869417181 8754757632 36100 33554432000 1073741824 1073778376 140736178643200 18446744073709551615 235606682521 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3833/tid=3848] ppid=3831 vsize=8549568 CPUtime=0.62 cores=1,3,5,7
/proc/3833/task/3848/stat : 3848 (java) R 3831 3833 3833 0 -1 4202560 6134 0 0 0 62 0 0 0 25 0 19 0 869417181 8754757632 36100 33554432000 1073741824 1073778376 140736178643200 18446744073709551615 235594563339 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3833/tid=3849] ppid=3831 vsize=8549568 CPUtime=0 cores=1,3,5,7
/proc/3833/task/3849/stat : 3849 (java) S 3831 3833 3833 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869417181 8754757632 36100 33554432000 1073741824 1073778376 140736178643200 18446744073709551615 235606682521 0 4 0 16800975 18446604455662558208 0 0 -1 5 0 0 0
[pid=3833/tid=3850] ppid=3831 vsize=8549568 CPUtime=0 cores=1,3,5,7
/proc/3833/task/3850/stat : 3850 (java) S 3831 3833 3833 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869417181 8754757632 35921 33554432000 1073741824 1073778376 140736178643200 18446744073709551615 235606683136 0 4 0 16800975 18446604455662558208 0 0 -1 3 0 0 0
[pid=3833/tid=3851] ppid=3831 vsize=8549568 CPUtime=0 cores=1,3,5,7
/proc/3833/task/3851/stat : 3851 (java) S 3831 3833 3833 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869417250 8754757632 35921 33554432000 1073741824 1073778376 140736178643200 18446744073709551615 235606683136 0 4 0 16800975 18446604455662558208 0 0 -1 7 0 0 0
[pid=3680/tid=3688] ppid=3678 vsize=361216 CPUtime=0.34 cores=1,3,5,7
/proc/3680/task/3688/stat : 3688 (python) S 3678 3680 2236 0 -1 4202560 32 1555 0 0 0 0 26 8 18 0 7 0 869383884 369885184 11355 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 7 0 0 0
[pid=3680/tid=3755] ppid=3678 vsize=361216 CPUtime=0.34 cores=1,3,5,7
/proc/3680/task/3755/stat : 3755 (python) S 3678 3680 2236 0 -1 4202560 28 1555 0 0 0 0 26 8 20 0 7 0 869388543 369885184 11355 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 3 0 0 0
[pid=3680/tid=3765] ppid=3678 vsize=361216 CPUtime=0.34 cores=1,3,5,7
/proc/3680/task/3765/stat : 3765 (python) S 3678 3680 2236 0 -1 4202560 26 1555 0 0 0 0 26 8 20 0 7 0 869393622 369885184 11355 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 1 0 0 0
[pid=3680/tid=3792] ppid=3678 vsize=361216 CPUtime=0.34 cores=1,3,5,7
/proc/3680/task/3792/stat : 3792 (python) S 3678 3680 2236 0 -1 4202560 31 1555 0 0 0 0 26 8 20 0 7 0 869398374 369885184 11355 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 1 0 0 0
[pid=3680/tid=3824] ppid=3678 vsize=361216 CPUtime=0.34 cores=1,3,5,7
/proc/3680/task/3824/stat : 3824 (python) S 3678 3680 2236 0 -1 4202560 31 1555 0 0 0 0 26 8 20 0 7 0 869407529 369885184 11355 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 1 0 0 0
[pid=3680/tid=3832] ppid=3678 vsize=361216 CPUtime=0.34 cores=1,3,5,7
/proc/3680/task/3832/stat : 3832 (python) S 3678 3680 2236 0 -1 4202560 25 1555 0 0 0 0 26 8 20 0 7 0 869417176 369885184 11355 33554432000 4194304 5683644 140734446866960 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 341.39
Current children cumulated vsize (KiB) 20277804
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3680 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=60686
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=427934
# CPU time returned by wait4() is 2.48862
# while last known CPU time is 341.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 336.491
CPU time (s): 341.39
CPU user time (s): 337.98
CPU system time (s): 3.41
CPU usage (%): 101.456
Max. virtual memory (cumulated for all children) (KiB): 20277804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.06069
system time used= 0.427934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25517
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= 18201
involuntary context switches= 27
runsolver used 2.34364 second user time and 5.2352 second system time
The end