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-3742525-1338725043/watcher-3742525-1338725043 -o /tmp/evaluation-result-3742525-1338725043/solver-3742525-1338725043 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3742525-1338725043.opb -seed 717660253 -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.06 2.04 2.04 2/183 3078
/proc/meminfo: memFree=26421008/32873648 swapFree=7120/7120
[pid=3078] ppid=3076 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/3078/stat : 3078 (python) D 3076 3078 27000 0 -1 4202496 763 0 0 0 0 0 0 0 20 0 1 0 338631720 15749120 636 33554432000 4194304 5683644 140735209017664 140735208962392 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3078/statm: 3845 636 334 364 0 287 0
[startup+0.007138 s]
/proc/loadavg: 2.06 2.04 2.04 2/183 3078
/proc/meminfo: memFree=26421008/32873648 swapFree=7120/7120
[pid=3078] ppid=3076 vsize=15580 CPUtime=0 cores=1,3,5,7
/proc/3078/stat : 3078 (python) R 3076 3078 27000 0 -1 4202496 841 0 0 0 0 0 0 0 20 0 1 0 338631720 15953920 708 33554432000 4194304 5683644 140735209017664 140735208948664 219513963808 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3078/statm: 3895 710 346 364 0 337 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15580
[startup+0.100278 s]
/proc/loadavg: 2.06 2.04 2.04 2/183 3078
/proc/meminfo: memFree=26421008/32873648 swapFree=7120/7120
[pid=3078] ppid=3076 vsize=94456 CPUtime=0.06 cores=1,3,5,7
/proc/3078/stat : 3078 (python) R 3076 3078 27000 0 -1 4202496 3445 1011 1 0 5 1 0 0 20 0 1 0 338631720 96722944 2547 33554432000 4194304 5683644 140735209017664 140735208970136 5172023 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3078/statm: 23614 2547 820 364 0 1620 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94456
[startup+0.300228 s]
/proc/loadavg: 2.06 2.04 2.04 2/183 3078
/proc/meminfo: memFree=26421008/32873648 swapFree=7120/7120
[pid=3078] ppid=3076 vsize=178620 CPUtime=0.22 cores=1,3,5,7
/proc/3078/stat : 3078 (python) R 3076 3078 27000 0 -1 4202496 6893 1011 1 0 17 5 0 0 20 0 1 0 338631720 182906880 4640 33554432000 4194304 5683644 140735209017664 140735208908152 219513963408 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3078/statm: 44655 4640 1271 364 0 3561 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 178620
[startup+0.700196 s]
/proc/loadavg: 2.06 2.04 2.04 2/183 3078
/proc/meminfo: memFree=26421008/32873648 swapFree=7120/7120
[pid=3078] ppid=3076 vsize=288632 CPUtime=0.59 cores=1,3,5,7
/proc/3078/stat : 3078 (python) R 3076 3078 27000 0 -1 4202496 13032 1011 1 0 50 9 0 0 20 0 1 0 338631720 295559168 8910 33554432000 4194304 5683644 140735209017664 140735209010616 219521509157 0 0 16781312 33554434 0 0 0 17 1 0 0 0 0 0
/proc/3078/statm: 72158 8910 1846 364 0 7387 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 288632
[startup+1.50025 s]
/proc/loadavg: 2.06 2.04 2.04 3/184 3083
/proc/meminfo: memFree=26391420/32873648 swapFree=7120/7120
[pid=3078] ppid=3076 vsize=364840 CPUtime=0.94 cores=1,3,5,7
/proc/3078/stat : 3078 (python) S 3076 3078 27000 0 -1 4202496 13422 1011 1 0 85 9 0 0 20 0 2 0 338631720 373596160 9073 33554432000 4194304 5683644 140735209017664 140735209012496 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3078/statm: 91210 9073 1902 364 0 26433 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 364840
[startup+3.10037 s]
/proc/loadavg: 2.06 2.04 2.04 3/187 3086
/proc/meminfo: memFree=26265288/32873648 swapFree=7120/7120
[pid=3078] ppid=3076 vsize=364840 CPUtime=0.94 cores=1,3,5,7
/proc/3078/stat : 3078 (python) S 3076 3078 27000 0 -1 4202496 13422 1011 1 0 85 9 0 0 20 0 2 0 338631720 373596160 9073 33554432000 4194304 5683644 140735209017664 140735209012496 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3078/statm: 91210 9073 1902 364 0 26433 0
[pid=3084] ppid=3078 vsize=289060 CPUtime=0 cores=1,3,5,7
/proc/3084/stat : 3084 (python) S 3078 3078 27000 0 -1 4202560 768 0 0 0 0 0 0 0 20 0 1 0 338631825 295997440 7505 33554432000 4194304 5683644 140735209017664 140735209008752 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3084/statm: 72265 7505 340 364 0 7488 0
[pid=3086] ppid=3084 vsize=173184 CPUtime=2.04 cores=1,3,5,7
/proc/3086/stat : 3086 (scip-2.0.1.linu) R 3084 3086 3086 0 -1 4202496 40020 0 0 0 193 11 0 0 20 0 1 0 338631825 177340416 39307 33554432000 4194304 15243407 140733729211888 140733729207272 4880915 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3086/statm: 43296 39307 682 2698 0 40591 0
[pid=3078/tid=3085] ppid=3076 vsize=364840 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (python) S 3076 3078 27000 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 2 0 338631825 373596160 9073 33554432000 4194304 5683644 140735209017664 140499898536496 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 827084
[startup+6.30034 s]
/proc/loadavg: 2.06 2.04 2.04 3/187 3086
/proc/meminfo: memFree=26178208/32873648 swapFree=7120/7120
[pid=3078] ppid=3076 vsize=364840 CPUtime=0.94 cores=1,3,5,7
/proc/3078/stat : 3078 (python) S 3076 3078 27000 0 -1 4202496 13422 1011 1 0 85 9 0 0 20 0 2 0 338631720 373596160 9073 33554432000 4194304 5683644 140735209017664 140735209012496 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3078/statm: 91210 9073 1902 364 0 26433 0
[pid=3084] ppid=3078 vsize=289060 CPUtime=0 cores=1,3,5,7
/proc/3084/stat : 3084 (python) S 3078 3078 27000 0 -1 4202560 894 0 0 0 0 0 0 0 20 0 1 0 338631825 295997440 7528 33554432000 4194304 5683644 140735209017664 140735209008752 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3084/statm: 72265 7528 363 364 0 7488 0
[pid=3086] ppid=3084 vsize=242224 CPUtime=5.24 cores=1,3,5,7
/proc/3086/stat : 3086 (scip-2.0.1.linu) R 3084 3086 3086 0 -1 4202496 55684 0 0 0 510 14 0 0 20 0 1 0 338631825 248037376 54971 33554432000 4194304 15243407 140733729211888 140733729207272 4880937 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3086/statm: 60556 54971 682 2698 0 57851 0
[pid=3078/tid=3085] ppid=3076 vsize=364840 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (python) S 3076 3078 27000 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 2 0 338631825 373596160 9073 33554432000 4194304 5683644 140735209017664 140499898536496 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 896124
[startup+12.7004 s]
/proc/loadavg: 2.05 2.04 2.04 3/187 3086
/proc/meminfo: memFree=26127704/32873648 swapFree=7120/7120
[pid=3078] ppid=3076 vsize=364840 CPUtime=0.94 cores=1,3,5,7
/proc/3078/stat : 3078 (python) S 3076 3078 27000 0 -1 4202496 13422 1011 1 0 85 9 0 0 20 0 2 0 338631720 373596160 9073 33554432000 4194304 5683644 140735209017664 140735209012496 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3078/statm: 91210 9073 1902 364 0 26433 0
[pid=3084] ppid=3078 vsize=289060 CPUtime=0.01 cores=1,3,5,7
/proc/3084/stat : 3084 (python) S 3078 3078 27000 0 -1 4202560 903 0 0 0 0 1 0 0 20 0 1 0 338631825 295997440 7528 33554432000 4194304 5683644 140735209017664 140735209008752 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3084/statm: 72265 7528 363 364 0 7488 0
[pid=3086] ppid=3084 vsize=283336 CPUtime=11.63 cores=1,3,5,7
/proc/3086/stat : 3086 (scip-2.0.1.linu) R 3084 3086 3086 0 -1 4202496 66094 0 0 0 1148 15 0 0 20 0 1 0 338631825 290136064 65381 33554432000 4194304 15243407 140733729211888 140733729208200 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3086/statm: 70834 65381 682 2698 0 68129 0
[pid=3078/tid=3085] ppid=3076 vsize=364840 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (python) S 3076 3078 27000 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 2 0 338631825 373596160 9073 33554432000 4194304 5683644 140735209017664 140499898536496 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 937236
[startup+25.5004 s]
/proc/loadavg: 2.04 2.04 2.04 3/187 3086
/proc/meminfo: memFree=25995112/32873648 swapFree=7120/7120
[pid=3078] ppid=3076 vsize=364840 CPUtime=0.94 cores=1,3,5,7
/proc/3078/stat : 3078 (python) S 3076 3078 27000 0 -1 4202496 13422 1011 1 0 85 9 0 0 20 0 2 0 338631720 373596160 9073 33554432000 4194304 5683644 140735209017664 140735209012496 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3078/statm: 91210 9073 1902 364 0 26433 0
[pid=3084] ppid=3078 vsize=289060 CPUtime=0.03 cores=1,3,5,7
/proc/3084/stat : 3084 (python) S 3078 3078 27000 0 -1 4202560 1012 0 0 0 2 1 0 0 20 0 1 0 338631825 295997440 7533 33554432000 4194304 5683644 140735209017664 140735209008752 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3084/statm: 72265 7533 368 364 0 7488 0
[pid=3086] ppid=3084 vsize=427604 CPUtime=24.43 cores=1,3,5,7
/proc/3086/stat : 3086 (scip-2.0.1.linu) R 3084 3086 3086 0 -1 4202496 101774 0 0 0 2415 28 0 0 20 0 1 0 338631825 437866496 101061 33554432000 4194304 15243407 140733729211888 140733729208808 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3086/statm: 106901 101061 686 2698 0 104196 0
[pid=3078/tid=3085] ppid=3076 vsize=364840 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (python) S 3076 3078 27000 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 2 0 338631825 373596160 9073 33554432000 4194304 5683644 140735209017664 140499898536496 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 1081504
[startup+51.107 s]
/proc/loadavg: 2.02 2.03 2.04 3/195 3094
/proc/meminfo: memFree=25564856/32873648 swapFree=7120/7120
[pid=3078] ppid=3076 vsize=440632 CPUtime=0.97 cores=1,3,5,7
/proc/3078/stat : 3078 (python) S 3076 3078 27000 0 -1 4202496 14324 1011 1 0 87 10 0 0 20 0 3 0 338631720 451207168 9082 33554432000 4194304 5683644 140735209017664 140735209012496 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3078/statm: 110158 9082 1905 364 0 45378 0
[pid=3084] ppid=3078 vsize=364840 CPUtime=0.07 cores=1,3,5,7
/proc/3084/stat : 3084 (python) S 3078 3078 27000 0 -1 4202560 1165 0 0 0 4 3 0 0 20 0 2 0 338631825 373596160 7568 33554432000 4194304 5683644 140735209017664 140735209009312 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3084/statm: 91210 7568 396 364 0 26433 0
[pid=3086] ppid=3084 vsize=581508 CPUtime=49.66 cores=1,3,5,7
/proc/3086/stat : 3086 (scip-2.0.1.linu) T 3084 3086 3086 0 -1 4202496 140347 0 0 0 4920 46 0 0 20 0 1 0 338631825 595464192 139634 33554432000 4194304 15243407 140733729211888 140733729208200 5110634 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/3086/statm: 145377 139634 686 2698 0 142672 0
[pid=3084/tid=3091] ppid=3078 vsize=364840 CPUtime=0 cores=1,3,5,7
/proc/3084/task/3091/stat : 3091 (python) S 3078 3078 27000 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 2 0 338636793 373596160 7568 33554432000 4194304 5683644 140735209017664 140499898536496 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3092] ppid=3078 vsize=364852 CPUtime=0 cores=1,3,5,7
/proc/3092/stat : 3092 (python) S 3078 3078 27000 0 -1 4202560 752 0 0 0 0 0 0 0 20 0 1 0 338636796 373608448 7503 33554432000 4194304 5683644 140735209017664 140735209008752 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 5 0 0 0 0 0
/proc/3092/statm: 91213 7503 332 364 0 26433 0
[pid=3094] ppid=3092 vsize=6852 CPUtime=0.33 cores=1,3,5,7
/proc/3094/stat : 3094 (clasp-1.3.7-x86) R 3092 3094 3094 0 -1 4202496 1973 0 0 0 33 0 0 0 20 0 1 0 338636796 7016448 1457 33554432000 134512640 136139019 4291503472 4291502384 134640733 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/3094/statm: 1713 1457 182 398 0 1313 0
[pid=3078/tid=3085] ppid=3076 vsize=440632 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (python) S 3076 3078 27000 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 3 0 338631825 451207168 9082 33554432000 4194304 5683644 140735209017664 140499898536496 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3078/tid=3093] ppid=3076 vsize=440632 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3093/stat : 3093 (python) S 3076 3078 27000 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 3 0 338636796 451207168 9082 33554432000 4194304 5683644 140735209017664 140499888046640 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 1758684
[startup+102.301 s]
/proc/loadavg: 2.01 2.03 2.03 3/200 3099
/proc/meminfo: memFree=25023960/32873648 swapFree=7120/7120
[pid=3078] ppid=3076 vsize=516424 CPUtime=1 cores=1,3,5,7
/proc/3078/stat : 3078 (python) S 3076 3078 27000 0 -1 4202496 15221 1011 1 0 90 10 0 0 20 0 4 0 338631720 528818176 9090 33554432000 4194304 5683644 140735209017664 140735209012496 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3078/statm: 129106 9090 1907 364 0 64323 0
[pid=3084] ppid=3078 vsize=364840 CPUtime=0.07 cores=1,3,5,7
/proc/3084/stat : 3084 (python) S 3078 3078 27000 0 -1 4202560 1165 0 0 0 4 3 0 0 20 0 2 0 338631825 373596160 7568 33554432000 4194304 5683644 140735209017664 140735209009312 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3084/statm: 91210 7568 396 364 0 26433 0
[pid=3086] ppid=3084 vsize=581508 CPUtime=49.66 cores=1,3,5,7
/proc/3086/stat : 3086 (scip-2.0.1.linu) T 3084 3086 3086 0 -1 4202496 140347 0 0 0 4920 46 0 0 20 0 1 0 338631825 595464192 139634 33554432000 4194304 15243407 140733729211888 140733729208200 5110634 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/3086/statm: 145377 139634 686 2698 0 142672 0
[pid=3084/tid=3091] ppid=3078 vsize=364840 CPUtime=0 cores=1,3,5,7
/proc/3084/task/3091/stat : 3091 (python) S 3078 3078 27000 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 2 0 338636793 373596160 7568 33554432000 4194304 5683644 140735209017664 140499898536496 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3092] ppid=3078 vsize=364852 CPUtime=0.07 cores=1,3,5,7
/proc/3092/stat : 3092 (python) S 3078 3078 27000 0 -1 4202560 1089 0 0 0 4 3 0 0 20 0 2 0 338636796 373608448 7555 33554432000 4194304 5683644 140735209017664 140735209009312 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3092/statm: 91213 7555 383 364 0 26433 0
[pid=3094] ppid=3092 vsize=20300 CPUtime=47.11 cores=1,3,5,7
/proc/3094/stat : 3094 (clasp-1.3.7-x86) T 3092 3094 3094 0 -1 4202496 5343 0 0 0 4710 1 0 0 20 0 1 0 338636796 20787200 4827 33554432000 134512640 136139019 4291503472 4291502336 134608372 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/3094/statm: 5075 4827 182 398 0 4675 0
[pid=3092/tid=3096] ppid=3078 vsize=364852 CPUtime=0 cores=1,3,5,7
/proc/3092/task/3096/stat : 3096 (python) S 3078 3078 27000 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 2 0 338641508 373608448 7555 33554432000 4194304 5683644 140735209017664 140499898536496 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097] ppid=3078 vsize=440644 CPUtime=0 cores=1,3,5,7
/proc/3097/stat : 3097 (python) S 3078 3078 27000 0 -1 4202560 922 0 0 0 0 0 0 0 20 0 1 0 338641511 451219456 7535 33554432000 4194304 5683644 140735209017664 140735209008752 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3097/statm: 110161 7535 358 364 0 45378 0
[pid=3099] ppid=3097 vsize=225588 CPUtime=4.37 cores=1,3,5,7
/proc/3099/stat : 3099 (scip-2.0.1.linu) R 3097 3099 3099 0 -1 4202496 52323 0 0 0 426 11 0 0 20 0 1 0 338641511 231002112 51600 33554432000 4194304 13684479 140733614437664 140733614433048 4880937 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3099/statm: 56397 51600 635 2317 0 54075 0
[pid=3078/tid=3085] ppid=3076 vsize=516424 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (python) S 3076 3078 27000 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 4 0 338631825 528818176 9090 33554432000 4194304 5683644 140735209017664 140499898536496 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3078/tid=3093] ppid=3076 vsize=516424 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3093/stat : 3093 (python) S 3076 3078 27000 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 4 0 338636796 528818176 9090 33554432000 4194304 5683644 140735209017664 140499888046640 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[pid=3217/tid=3231] ppid=3215 vsize=9624972 CPUtime=0.47 cores=1,3,5,7
/proc/3217/task/3231/stat : 3231 (java) S 3215 3217 3217 0 -1 4202560 2984 0 0 0 47 0 0 0 20 0 19 0 338659618 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139828821698872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3217/tid=3232] ppid=3215 vsize=9624972 CPUtime=0.46 cores=1,3,5,7
/proc/3217/task/3232/stat : 3232 (java) S 3215 3217 3217 0 -1 4202560 3762 0 0 0 46 0 0 0 20 0 19 0 338659618 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139828820646328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3217/tid=3233] ppid=3215 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3233/stat : 3233 (java) S 3215 3217 3217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338659618 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139828819593464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3217/tid=3234] ppid=3215 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3234/stat : 3234 (java) S 3215 3217 3217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338659618 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139828818541128 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3217/tid=3235] ppid=3215 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3235/stat : 3235 (java) S 3215 3217 3217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338659671 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139828817487400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3078/tid=3085] ppid=3076 vsize=668008 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (python) S 3076 3078 27000 0 -1 4202560 31 1011 0 0 0 0 0 0 20 0 6 0 338631825 684040192 9614 33554432000 4194304 5683644 140735209017664 140499898536496 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3078/tid=3093] ppid=3076 vsize=668008 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3093/stat : 3093 (python) S 3076 3078 27000 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 6 0 338636796 684040192 9614 33554432000 4194304 5683644 140735209017664 140499888046640 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3078/tid=3098] ppid=3076 vsize=668008 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3098/stat : 3098 (python) S 3076 3078 27000 0 -1 4202560 22 1011 0 0 0 0 0 0 20 0 6 0 338641511 684040192 9614 33554432000 4194304 5683644 140735209017664 140499877556784 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3078/tid=3124] ppid=3076 vsize=668008 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3124/stat : 3124 (python) S 3076 3078 27000 0 -1 4202560 22 1011 0 0 0 0 0 0 20 0 6 0 338650727 684040192 9614 33554432000 4194304 5683644 140735209017664 140499867066928 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3078/tid=3216] ppid=3076 vsize=668008 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3216/stat : 3216 (python) S 3076 3078 27000 0 -1 4202560 19 1011 0 0 0 0 0 0 20 0 6 0 338659612 684040192 9614 33554432000 4194304 5683644 140735209017664 140499654533680 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 283.32
Current children cumulated vsize (KiB) 23639232
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+279.801 s]
/proc/loadavg: 1.96 2.00 2.01 3/235 3235
/proc/meminfo: memFree=24137888/32873648 swapFree=7120/7120
[pid=3078] ppid=3076 vsize=668008 CPUtime=1.09 cores=1,3,5,7
/proc/3078/stat : 3078 (python) S 3076 3078 27000 0 -1 4202496 17159 1011 1 0 99 10 0 0 20 0 6 0 338631720 684040192 9614 33554432000 4194304 5683644 140735209017664 140735209012496 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3078/statm: 167002 9614 1911 364 0 102213 0
[pid=3084] ppid=3078 vsize=364840 CPUtime=0.15 cores=1,3,5,7
/proc/3084/stat : 3084 (python) S 3078 3078 27000 0 -1 4202560 1200 0 0 0 9 6 0 0 20 0 2 0 338631825 373596160 7569 33554432000 4194304 5683644 140735209017664 140735209009312 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3084/statm: 91210 7569 397 364 0 26433 0
[pid=3086] ppid=3084 vsize=832736 CPUtime=92.81 cores=1,3,5,7
/proc/3086/stat : 3086 (scip-2.0.1.linu) T 3084 3086 3086 0 -1 4202496 203430 0 0 0 9209 72 0 0 20 0 1 0 338631825 852721664 202717 33554432000 4194304 15243407 140733729211888 140733729208184 4511282 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/3086/statm: 208184 202717 686 2698 0 205479 0
[pid=3084/tid=3091] ppid=3078 vsize=364840 CPUtime=0 cores=1,3,5,7
/proc/3084/task/3091/stat : 3091 (python) S 3078 3078 27000 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 2 0 338636793 373596160 7569 33554432000 4194304 5683644 140735209017664 140499898536496 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3092] ppid=3078 vsize=364852 CPUtime=0.14 cores=1,3,5,7
/proc/3092/stat : 3092 (python) S 3078 3078 27000 0 -1 4202560 1152 0 0 0 8 6 0 0 20 0 2 0 338636796 373608448 7555 33554432000 4194304 5683644 140735209017664 140735209009312 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3092/statm: 91213 7555 383 364 0 26433 0
[pid=3094] ppid=3092 vsize=29280 CPUtime=92.21 cores=1,3,5,7
/proc/3094/stat : 3094 (clasp-1.3.7-x86) T 3092 3094 3094 0 -1 4202496 7608 0 0 0 9220 1 0 0 20 0 1 0 338636796 29982720 7071 33554432000 134512640 136139019 4291503472 4291502444 134608160 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/3094/statm: 7320 7071 182 398 0 6920 0
[pid=3092/tid=3096] ppid=3078 vsize=364852 CPUtime=0 cores=1,3,5,7
/proc/3092/task/3096/stat : 3096 (python) S 3078 3078 27000 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 2 0 338641508 373608448 7555 33554432000 4194304 5683644 140735209017664 140499898536496 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097] ppid=3078 vsize=440644 CPUtime=0.08 cores=1,3,5,7
/proc/3097/stat : 3097 (python) S 3078 3078 27000 0 -1 4202560 1125 0 0 0 5 3 0 0 20 0 2 0 338641511 451219456 7561 33554432000 4194304 5683644 140735209017664 140735209009312 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3097/statm: 110161 7561 383 364 0 45378 0
[pid=3099] ppid=3097 vsize=580264 CPUtime=48.94 cores=1,3,5,7
/proc/3099/stat : 3099 (scip-2.0.1.linu) T 3097 3099 3099 0 -1 4202496 140389 0 0 0 4849 45 0 0 20 0 1 0 338641511 594190336 139666 33554432000 4194304 13684479 140733614437664 140733614433976 4865584 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/3099/statm: 145066 139666 639 2317 0 142744 0
[pid=3097/tid=3121] ppid=3078 vsize=440644 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3121/stat : 3121 (python) S 3078 3078 27000 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 2 0 338646406 451219456 7561 33554432000 4194304 5683644 140735209017664 140499888046640 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3123] ppid=3078 vsize=516436 CPUtime=0.07 cores=1,3,5,7
/proc/3123/stat : 3123 (python) S 3078 3078 27000 0 -1 4202560 1132 0 0 0 4 3 0 0 20 0 2 0 338650727 528830464 7567 33554432000 4194304 5683644 140735209017664 140735209009312 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3123/statm: 129109 7567 383 364 0 64323 0
[pid=3125] ppid=3123 vsize=9624972 CPUtime=46.01 cores=1,3,5,7
/proc/3125/stat : 3125 (java) T 3123 3125 3125 0 -1 4202496 17382 0 1 0 4571 30 0 0 20 0 19 0 338650728 9855971328 280168 33554432000 1073741824 1073778376 140733981762896 140733981754032 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3125/statm: 2406243 280168 2269 9 0 2396937 0
[pid=3125/tid=3126] ppid=3123 vsize=9624972 CPUtime=43.34 cores=1,3,5,7
/proc/3125/task/3126/stat : 3126 (java) T 3123 3125 3125 0 -1 4202560 2987 0 1 0 4319 15 0 0 20 0 19 0 338650728 9855971328 280168 33554432000 1073741824 1073778376 140733981762896 139865144581312 139865017336692 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3127] ppid=3123 vsize=9624972 CPUtime=0.11 cores=1,3,5,7
/proc/3125/task/3127/stat : 3127 (java) T 3123 3125 3125 0 -1 4202560 38 0 0 0 10 1 0 0 20 0 19 0 338650729 9855971328 280168 33554432000 1073741824 1073778376 140733981762896 139864988699048 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3128] ppid=3123 vsize=9624972 CPUtime=0.11 cores=1,3,5,7
/proc/3125/task/3128/stat : 3128 (java) T 3123 3125 3125 0 -1 4202560 45 0 0 0 11 0 0 0 20 0 19 0 338650729 9855971328 280168 33554432000 1073741824 1073778376 140733981762896 139864987646504 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3129] ppid=3123 vsize=9624972 CPUtime=0.09 cores=1,3,5,7
/proc/3125/task/3129/stat : 3129 (java) T 3123 3125 3125 0 -1 4202560 30 0 0 0 8 1 0 0 20 0 19 0 338650729 9855971328 280168 33554432000 1073741824 1073778376 140733981762896 139864986593448 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3130] ppid=3123 vsize=9624972 CPUtime=0.13 cores=1,3,5,7
/proc/3125/task/3130/stat : 3130 (java) T 3123 3125 3125 0 -1 4202560 182 0 0 0 10 3 0 0 20 0 19 0 338650729 9855971328 280168 33554432000 1073741824 1073778376 140733981762896 139864985540904 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3131] ppid=3123 vsize=9624972 CPUtime=0.12 cores=1,3,5,7
/proc/3125/task/3131/stat : 3131 (java) T 3123 3125 3125 0 -1 4202560 167 0 0 0 10 2 0 0 20 0 19 0 338650729 9855971328 280168 33554432000 1073741824 1073778376 140733981762896 139864984488872 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3132] ppid=3123 vsize=9624972 CPUtime=0.09 cores=1,3,5,7
/proc/3125/task/3132/stat : 3132 (java) T 3123 3125 3125 0 -1 4202560 27 0 0 0 9 0 0 0 20 0 19 0 338650729 9855971328 280168 33554432000 1073741824 1073778376 140733981762896 139864983436328 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3133] ppid=3123 vsize=9624972 CPUtime=0.11 cores=1,3,5,7
/proc/3125/task/3133/stat : 3133 (java) T 3123 3125 3125 0 -1 4202560 167 0 0 0 9 2 0 0 20 0 19 0 338650729 9855971328 280168 33554432000 1073741824 1073778376 140733981762896 139864982383272 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3134] ppid=3123 vsize=9624972 CPUtime=0.15 cores=1,3,5,7
/proc/3125/task/3134/stat : 3134 (java) T 3123 3125 3125 0 -1 4202560 160 0 0 0 13 2 0 0 20 0 19 0 338650729 9855971328 280168 33554432000 1073741824 1073778376 140733981762896 139864981330728 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3135] ppid=3123 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3135/stat : 3135 (java) T 3123 3125 3125 0 -1 4202560 742 0 0 0 0 0 0 0 20 0 19 0 338650730 9855971328 280168 33554432000 1073741824 1073778376 140733981762896 139864968919400 219517335465 0 0 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3136] ppid=3123 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3136/stat : 3136 (java) T 3123 3125 3125 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338650730 9855971328 280168 33554432000 1073741824 1073778376 140733981762896 139864967865720 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3137] ppid=3123 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3137/stat : 3137 (java) T 3123 3125 3125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338650730 9855971328 280168 33554432000 1073741824 1073778376 140733981762896 139864966812552 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3138] ppid=3123 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3138/stat : 3138 (java) T 3123 3125 3125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338650732 9855971328 280168 33554432000 1073741824 1073778376 140733981762896 139864965761296 219517343520 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3139] ppid=3123 vsize=9624972 CPUtime=0.94 cores=1,3,5,7
/proc/3125/task/3139/stat : 3139 (java) T 3123 3125 3125 0 -1 4202560 6907 0 0 0 92 2 0 0 20 0 19 0 338650732 9855971328 280168 33554432000 1073741824 1073778376 140733981762896 139864964709176 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3140] ppid=3123 vsize=9624972 CPUtime=0.67 cores=1,3,5,7
/proc/3125/task/3140/stat : 3140 (java) T 3123 3125 3125 0 -1 4202560 4513 0 0 0 65 2 0 0 20 0 19 0 338650732 9855971328 280168 33554432000 1073741824 1073778376 140733981762896 139864963656632 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3141] ppid=3123 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3141/stat : 3141 (java) T 3123 3125 3125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338650732 9855971328 280168 33554432000 1073741824 1073778376 140733981762896 139864962603768 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3142] ppid=3123 vsize=9624972 CPUtime=0.01 cores=1,3,5,7
/proc/3125/task/3142/stat : 3142 (java) T 3123 3125 3125 0 -1 4202560 5 0 0 0 0 1 0 0 20 0 19 0 338650732 9855971328 280168 33554432000 1073741824 1073778376 140733981762896 139864961551432 219517335465 0 4 0 16800975 18446744071579387992 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3143] ppid=3123 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3143/stat : 3143 (java) T 3123 3125 3125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338650786 9855971328 280168 33554432000 1073741824 1073778376 140733981762896 139864960468008 219517335465 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=3123/tid=3214] ppid=3078 vsize=516436 CPUtime=0 cores=1,3,5,7
/proc/3123/task/3214/stat : 3214 (python) S 3078 3078 27000 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 338655095 528830464 7567 33554432000 4194304 5683644 140735209017664 140499877556784 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3215] ppid=3078 vsize=592228 CPUtime=0 cores=1,3,5,7
/proc/3215/stat : 3215 (python) S 3078 3078 27000 0 -1 4202560 859 0 0 0 0 0 0 0 20 0 1 0 338659612 606441472 7524 33554432000 4194304 5683644 140735209017664 140735209008752 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3215/statm: 148057 7524 335 364 0 83268 0
[pid=3217] ppid=3215 vsize=9624972 CPUtime=1.82 cores=1,3,5,7
/proc/3217/stat : 3217 (java) S 3215 3217 3217 0 -1 4202496 10645 0 1 0 179 3 0 0 20 0 19 0 338659613 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 140734320259504 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3217/statm: 2406243 31914 2251 9 0 2396937 0
[pid=3217/tid=3218] ppid=3215 vsize=9624972 CPUtime=0.86 cores=1,3,5,7
/proc/3217/task/3218/stat : 3218 (java) R 3215 3217 3217 0 -1 4202560 2476 0 1 0 84 2 0 0 20 0 19 0 338659613 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139829472416248 139829321679336 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3217/tid=3219] ppid=3215 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3219/stat : 3219 (java) S 3215 3217 3217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338659614 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139829444877224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3217/tid=3220] ppid=3215 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3220/stat : 3220 (java) S 3215 3217 3217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338659614 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139829443824680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3217/tid=3221] ppid=3215 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3221/stat : 3221 (java) S 3215 3217 3217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338659614 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139829442771624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3217/tid=3222] ppid=3215 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (java) S 3215 3217 3217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338659614 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139829441719080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3217/tid=3223] ppid=3215 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3223/stat : 3223 (java) S 3215 3217 3217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338659614 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139829440666024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3217/tid=3224] ppid=3215 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (java) S 3215 3217 3217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338659614 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139829439613480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3217/tid=3225] ppid=3215 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (java) S 3215 3217 3217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338659614 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139829309909160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3217/tid=3226] ppid=3215 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3226/stat : 3226 (java) S 3215 3217 3217 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338659614 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139829308856616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3217/tid=3227] ppid=3215 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3227/stat : 3227 (java) S 3215 3217 3217 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338659615 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139828825910120 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3217/tid=3228] ppid=3215 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3228/stat : 3228 (java) S 3215 3217 3217 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338659615 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139828824856440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3217/tid=3229] ppid=3215 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3229/stat : 3229 (java) S 3215 3217 3217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338659615 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139828823803272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3217/tid=3230] ppid=3215 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3230/stat : 3230 (java) S 3215 3217 3217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338659618 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139828822752016 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3217/tid=3231] ppid=3215 vsize=9624972 CPUtime=0.47 cores=1,3,5,7
/proc/3217/task/3231/stat : 3231 (java) S 3215 3217 3217 0 -1 4202560 2984 0 0 0 47 0 0 0 20 0 19 0 338659618 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139828821698872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3217/tid=3232] ppid=3215 vsize=9624972 CPUtime=0.46 cores=1,3,5,7
/proc/3217/task/3232/stat : 3232 (java) S 3215 3217 3217 0 -1 4202560 3762 0 0 0 46 0 0 0 20 0 19 0 338659618 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139828820646328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3217/tid=3233] ppid=3215 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3233/stat : 3233 (java) S 3215 3217 3217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338659618 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139828819593464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3217/tid=3234] ppid=3215 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3234/stat : 3234 (java) S 3215 3217 3217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338659618 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139828818541128 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3217/tid=3235] ppid=3215 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3235/stat : 3235 (java) S 3215 3217 3217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338659671 9855971328 31914 33554432000 1073741824 1073778376 140734320268368 139828817487400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3078/tid=3085] ppid=3076 vsize=668008 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (python) S 3076 3078 27000 0 -1 4202560 31 1011 0 0 0 0 0 0 20 0 6 0 338631825 684040192 9614 33554432000 4194304 5683644 140735209017664 140499898536496 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3078/tid=3093] ppid=3076 vsize=668008 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3093/stat : 3093 (python) S 3076 3078 27000 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 6 0 338636796 684040192 9614 33554432000 4194304 5683644 140735209017664 140499888046640 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3078/tid=3098] ppid=3076 vsize=668008 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3098/stat : 3098 (python) S 3076 3078 27000 0 -1 4202560 22 1011 0 0 0 0 0 0 20 0 6 0 338641511 684040192 9614 33554432000 4194304 5683644 140735209017664 140499877556784 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3078/tid=3124] ppid=3076 vsize=668008 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3124/stat : 3124 (python) S 3076 3078 27000 0 -1 4202560 22 1011 0 0 0 0 0 0 20 0 6 0 338650727 684040192 9614 33554432000 4194304 5683644 140735209017664 140499867066928 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3078/tid=3216] ppid=3076 vsize=668008 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3216/stat : 3216 (python) S 3076 3078 27000 0 -1 4202560 19 1011 0 0 0 0 0 0 20 0 6 0 338659612 684040192 9614 33554432000 4194304 5683644 140735209017664 140499654533680 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 283.32
Current children cumulated vsize (KiB) 23639232
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3078 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=996848
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=111982
# CPU time returned by wait4() is 1.10883
# while last known CPU time is 283.32
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 279.855
CPU time (s): 283.32
CPU user time (s): 281.53
CPU system time (s): 1.79
CPU usage (%): 101.238
Max. virtual memory (cumulated for all children) (KiB): 23639232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.996848
system time used= 0.111982
maximum resident set size= 38456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18170
page faults= 1
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1023
involuntary context switches= 22
runsolver used 1.09283 second user time and 2.29565 second system time
The end