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-3742473-1338724914/watcher-3742473-1338724914 -o /tmp/evaluation-result-3742473-1338724914/solver-3742473-1338724914 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3742473-1338724914.opb -seed 375834651 -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: 1.92 2.01 2.15 3/188 7153
/proc/meminfo: memFree=26112956/32873844 swapFree=6608/6608
[pid=7153] ppid=7151 vsize=15308 CPUtime=0 cores=1,3,5,7
/proc/7153/stat : 7153 (python) R 7151 7153 3621 0 -1 4202496 663 0 0 0 0 0 0 0 20 0 1 0 338615989 15675392 550 33554432000 4194304 5683644 140736026311616 140736026297528 213419680695 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/7153/statm: 3819 559 324 364 0 261 0
[startup+0.049622 s]
/proc/loadavg: 1.92 2.01 2.15 3/188 7153
/proc/meminfo: memFree=26112956/32873844 swapFree=6608/6608
[pid=7153] ppid=7151 vsize=16432 CPUtime=0 cores=1,3,5,7
/proc/7153/stat : 7153 (python) R 7151 7153 3621 0 -1 4202496 1113 0 0 0 0 0 0 0 20 0 1 0 338615989 16826368 932 33554432000 4194304 5683644 140736026311616 140736026293768 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/7153/statm: 4108 933 392 364 0 550 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16432
[startup+0.100214 s]
/proc/loadavg: 1.92 2.01 2.15 3/188 7153
/proc/meminfo: memFree=26112956/32873844 swapFree=6608/6608
[pid=7153] ppid=7151 vsize=19080 CPUtime=0.03 cores=1,3,5,7
/proc/7153/stat : 7153 (python) R 7151 7153 3621 0 -1 4202496 1396 0 0 0 2 1 0 0 20 0 1 0 338615989 19537920 1150 33554432000 4194304 5683644 140736026311616 140736026242120 5293448 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/7153/statm: 4770 1150 430 364 0 694 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19080
[startup+0.300246 s]
/proc/loadavg: 1.92 2.01 2.15 3/188 7153
/proc/meminfo: memFree=26112956/32873844 swapFree=6608/6608
[pid=7153] ppid=7151 vsize=96912 CPUtime=0.11 cores=1,3,5,7
/proc/7153/stat : 7153 (python) D 7151 7153 3621 0 -1 4202496 3961 1009 1 0 8 3 0 0 20 0 1 0 338615989 99237888 2652 33554432000 4194304 5683644 140736026311616 140736026185704 213410475303 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/7153/statm: 24228 2652 823 364 0 1719 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 96912
[startup+0.700177 s]
/proc/loadavg: 1.92 2.01 2.15 3/188 7153
/proc/meminfo: memFree=26112956/32873844 swapFree=6608/6608
[pid=7153] ppid=7151 vsize=138344 CPUtime=0.23 cores=1,3,5,7
/proc/7153/stat : 7153 (python) D 7151 7153 3621 0 -1 4202496 6247 1009 1 0 15 8 0 0 20 0 1 0 338615989 141664256 4083 33554432000 4194304 5683644 140736026311616 140736026211608 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/7153/statm: 34586 4083 1098 364 0 2952 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 138344
[startup+1.50019 s]
/proc/loadavg: 1.92 2.01 2.15 3/189 7158
/proc/meminfo: memFree=26089100/32873844 swapFree=6608/6608
[pid=7153] ppid=7151 vsize=290352 CPUtime=0.69 cores=1,3,5,7
/proc/7153/stat : 7153 (python) R 7151 7153 3621 0 -1 4202496 13727 1009 1 0 56 13 0 0 20 0 1 0 338615989 297320448 9338 33554432000 4194304 5683644 140736026311616 140736026305112 213419260420 0 0 16781312 33554434 0 0 0 17 1 0 0 0 0 0
/proc/7153/statm: 72588 9338 1846 364 0 7817 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 290352
[startup+3.1004 s]
/proc/loadavg: 1.92 2.01 2.15 3/192 7161
/proc/meminfo: memFree=26040104/32873844 swapFree=6608/6608
[pid=7153] ppid=7151 vsize=366652 CPUtime=1.14 cores=1,3,5,7
/proc/7153/stat : 7153 (python) S 7151 7153 3621 0 -1 4202496 14142 1009 1 0 101 13 0 0 20 0 2 0 338615989 375451648 9526 33554432000 4194304 5683644 140736026311616 140736026306448 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7153/statm: 91663 9526 1902 364 0 26886 0
[pid=7159] ppid=7153 vsize=290872 CPUtime=0 cores=1,3,5,7
/proc/7159/stat : 7159 (python) S 7153 7153 3621 0 -1 4202560 766 0 0 0 0 0 0 0 20 0 1 0 338616186 297852928 7958 33554432000 4194304 5683644 140736026311616 140736026302704 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 5 0 0 0 0 0
/proc/7159/statm: 72718 7958 340 364 0 7941 0
[pid=7161] ppid=7159 vsize=151644 CPUtime=1.12 cores=1,3,5,7
/proc/7161/stat : 7161 (scip-2.0.1.linu) R 7159 7161 7161 0 -1 4202496 36170 0 0 0 101 11 0 0 20 0 1 0 338616186 155283456 34696 33554432000 4194304 13684479 140734615029184 140734615024568 11827963 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/7161/statm: 37911 34703 635 2317 0 35589 0
[pid=7153/tid=7160] ppid=7151 vsize=366652 CPUtime=0 cores=1,3,5,7
/proc/7153/task/7160/stat : 7160 (python) S 7151 7153 3621 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 2 0 338616186 375451648 9526 33554432000 4194304 5683644 140736026311616 140722523824688 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 809168
heavy processes:
[startup+6.3005 s]
/proc/loadavg: 1.93 2.01 2.15 3/193 7162
/proc/meminfo: memFree=25868544/32873844 swapFree=6608/6608
[pid=7153] ppid=7151 vsize=366652 CPUtime=1.14 cores=1,3,5,7
/proc/7153/stat : 7153 (python) S 7151 7153 3621 0 -1 4202496 14142 1009 1 0 101 13 0 0 20 0 2 0 338615989 375451648 9526 33554432000 4194304 5683644 140736026311616 140736026306448 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7153/statm: 91663 9526 1902 364 0 26886 0
[pid=7159] ppid=7153 vsize=290872 CPUtime=0 cores=1,3,5,7
/proc/7159/stat : 7159 (python) S 7153 7153 3621 0 -1 4202560 895 0 0 0 0 0 0 0 20 0 1 0 338616186 297852928 7981 33554432000 4194304 5683644 140736026311616 140736026302704 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/7159/statm: 72718 7981 363 364 0 7941 0
[pid=7161] ppid=7159 vsize=221776 CPUtime=4.32 cores=1,3,5,7
/proc/7161/stat : 7161 (scip-2.0.1.linu) R 7159 7161 7161 0 -1 4202496 52631 0 0 0 418 14 0 0 20 0 1 0 338616186 227098624 51157 33554432000 4194304 13684479 140734615029184 140734615024568 4880923 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/7161/statm: 55444 51157 635 2317 0 53122 0
[pid=7153/tid=7160] ppid=7151 vsize=366652 CPUtime=0 cores=1,3,5,7
/proc/7153/task/7160/stat : 7160 (python) S 7151 7153 3621 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 2 0 338616186 375451648 9526 33554432000 4194304 5683644 140736026311616 140722523824688 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 879300
[startup+12.7005 s]
/proc/loadavg: 1.93 2.01 2.14 3/192 7162
/proc/meminfo: memFree=25776888/32873844 swapFree=6608/6608
[pid=7153] ppid=7151 vsize=366652 CPUtime=1.14 cores=1,3,5,7
/proc/7153/stat : 7153 (python) S 7151 7153 3621 0 -1 4202496 14142 1009 1 0 101 13 0 0 20 0 2 0 338615989 375451648 9526 33554432000 4194304 5683644 140736026311616 140736026306448 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7153/statm: 91663 9526 1902 364 0 26886 0
[pid=7159] ppid=7153 vsize=290872 CPUtime=0.01 cores=1,3,5,7
/proc/7159/stat : 7159 (python) S 7153 7153 3621 0 -1 4202560 900 0 0 0 1 0 0 0 20 0 1 0 338616186 297852928 7981 33554432000 4194304 5683644 140736026311616 140736026302704 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/7159/statm: 72718 7981 363 364 0 7941 0
[pid=7161] ppid=7159 vsize=267852 CPUtime=10.72 cores=1,3,5,7
/proc/7161/stat : 7161 (scip-2.0.1.linu) R 7159 7161 7161 0 -1 4202496 63778 0 0 0 1056 16 0 0 20 0 1 0 338616186 274280448 62304 33554432000 4194304 13684479 140734615029184 140734615024568 4880943 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/7161/statm: 66963 62304 635 2317 0 64641 0
[pid=7153/tid=7160] ppid=7151 vsize=366652 CPUtime=0 cores=1,3,5,7
/proc/7153/task/7160/stat : 7160 (python) S 7151 7153 3621 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 2 0 338616186 375451648 9526 33554432000 4194304 5683644 140736026311616 140722523824688 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 11.87
Current children cumulated vsize (KiB) 925376
[startup+25.5004 s]
/proc/loadavg: 1.95 2.01 2.14 3/192 7162
/proc/meminfo: memFree=25613720/32873844 swapFree=6608/6608
[pid=7153] ppid=7151 vsize=366652 CPUtime=1.14 cores=1,3,5,7
/proc/7153/stat : 7153 (python) S 7151 7153 3621 0 -1 4202496 14142 1009 1 0 101 13 0 0 20 0 2 0 338615989 375451648 9526 33554432000 4194304 5683644 140736026311616 140736026306448 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7153/statm: 91663 9526 1902 364 0 26886 0
[pid=7159] ppid=7153 vsize=290872 CPUtime=0.04 cores=1,3,5,7
/proc/7159/stat : 7159 (python) S 7153 7153 3621 0 -1 4202560 1003 0 0 0 2 2 0 0 20 0 1 0 338616186 297852928 7986 33554432000 4194304 5683644 140736026311616 140736026302704 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/7159/statm: 72718 7986 368 364 0 7941 0
[pid=7161] ppid=7159 vsize=364344 CPUtime=23.51 cores=1,3,5,7
/proc/7161/stat : 7161 (scip-2.0.1.linu) R 7159 7161 7161 0 -1 4202496 87107 0 0 0 2331 20 0 0 20 0 1 0 338616186 373088256 85633 33554432000 4194304 13684479 140734615029184 140734615024568 4865612 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/7161/statm: 91086 85633 635 2317 0 88764 0
[pid=7153/tid=7160] ppid=7151 vsize=366652 CPUtime=0 cores=1,3,5,7
/proc/7153/task/7160/stat : 7160 (python) S 7151 7153 3621 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 2 0 338616186 375451648 9526 33554432000 4194304 5683644 140736026311616 140722523824688 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 24.69
Current children cumulated vsize (KiB) 1021868
[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 2.14 3/213 7183
/proc/meminfo: memFree=25090312/32873844 swapFree=6608/6608
[pid=7153] ppid=7151 vsize=442444 CPUtime=1.17 cores=1,3,5,7
/proc/7153/stat : 7153 (python) S 7151 7153 3621 0 -1 4202496 15055 1009 1 0 104 13 0 0 20 0 3 0 338615989 453062656 9535 33554432000 4194304 5683644 140736026311616 140736026306448 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7153/statm: 110611 9535 1905 364 0 45831 0
[pid=7159] ppid=7153 vsize=366652 CPUtime=0.08 cores=1,3,5,7
/proc/7159/stat : 7159 (python) S 7153 7153 3621 0 -1 4202560 1160 0 0 0 4 4 0 0 20 0 2 0 338616186 375451648 8021 33554432000 4194304 5683644 140736026311616 140736026303264 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7159/statm: 91663 8021 396 364 0 26886 0
[pid=7161] ppid=7159 vsize=564796 CPUtime=48.81 cores=1,3,5,7
/proc/7161/stat : 7161 (scip-2.0.1.linu) T 7159 7161 7161 0 -1 4202496 136874 0 0 0 4840 41 0 0 20 0 1 0 338616186 578351104 135400 33554432000 4194304 13684479 140734615029184 140734615025496 4511329 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/7161/statm: 141199 135400 639 2317 0 138877 0
[pid=7153/tid=7160] ppid=7151 vsize=442444 CPUtime=0 cores=1,3,5,7
/proc/7153/task/7160/stat : 7160 (python) S 7151 7153 3621 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 3 0 338616186 453062656 9535 33554432000 4194304 5683644 140736026311616 140722523824688 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.06
Current children cumulated vsize (KiB) 1373892
[startup+102.308 s]
/proc/loadavg: 1.93 1.99 2.12 3/222 7192
/proc/meminfo: memFree=22952164/32873844 swapFree=6608/6608
[pid=7153] ppid=7151 vsize=518236 CPUtime=1.19 cores=1,3,5,7
/proc/7153/stat : 7153 (python) S 7151 7153 3621 0 -1 4202496 15966 1009 1 0 106 13 0 0 20 0 4 0 338615989 530673664 9543 33554432000 4194304 5683644 140736026311616 140736026306448 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7153/statm: 129559 9543 1907 364 0 64776 0
[pid=7159] ppid=7153 vsize=366652 CPUtime=0.08 cores=1,3,5,7
/proc/7159/stat : 7159 (python) S 7153 7153 3621 0 -1 4202560 1160 0 0 0 4 4 0 0 20 0 2 0 338616186 375451648 8021 33554432000 4194304 5683644 140736026311616 140736026303264 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7159/statm: 91663 8021 396 364 0 26886 0
[pid=7161] ppid=7159 vsize=564796 CPUtime=48.81 cores=1,3,5,7
/proc/7161/stat : 7161 (scip-2.0.1.linu) T 7159 7161 7161 0 -1 4202496 136874 0 0 0 4840 41 0 0 20 0 1 0 338616186 578351104 135400 33554432000 4194304 13684479 140734615029184 140734615025496 4511329 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/7161/statm: 141199 135400 639 2317 0 138877 0
[pid=7159/tid=7184] ppid=7153 vsize=366652 CPUtime=0 cores=1,3,5,7
/proc/7159/task/7184/stat : 7184 (python) S 7153 7153 3621 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 338621068 375451648 8021 33554432000 4194304 5683644 140736026311616 140722523824688 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7185] ppid=7153 vsize=366664 CPUtime=0.07 cores=1,3,5,7
/proc/7185/stat : 7185 (python) S 7153 7153 3621 0 -1 4202560 1088 0 0 0 4 3 0 0 20 0 2 0 338621071 375463936 8008 33554432000 4194304 5683644 140736026311616 140736026303264 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7185/statm: 91666 8008 383 364 0 26886 0
[pid=7187] ppid=7185 vsize=13116 CPUtime=47.11 cores=1,3,5,7
/proc/7187/stat : 7187 (clasp-1.3.7-x86) T 7185 7187 7187 0 -1 4202496 3576 0 0 0 4711 0 0 0 20 0 1 0 338621071 13430784 2999 33554432000 134512640 136139019 4293140544 4293139408 134608426 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/7187/statm: 3279 2999 182 398 0 2879 0
[pid=7185/tid=7189] ppid=7153 vsize=366664 CPUtime=0 cores=1,3,5,7
/proc/7185/task/7189/stat : 7189 (python) S 7153 7153 3621 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 2 0 338625784 375463936 8008 33554432000 4194304 5683644 140736026311616 140722523824688 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7190] ppid=7153 vsize=442456 CPUtime=0 cores=1,3,5,7
/proc/7190/stat : 7190 (python) S 7153 7153 3621 0 -1 4202560 923 0 0 0 0 0 0 0 20 0 1 0 338625787 453074944 7988 33554432000 4194304 5683644 140736026311616 140736026302704 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/7190/statm: 110614 7988 358 364 0 45831 0
[pid=7192] ppid=7190 vsize=223008 CPUtime=4.31 cores=1,3,5,7
/proc/7192/stat : 7192 (scip-2.0.1.linu) R 7190 7192 7192 0 -1 4202496 52682 0 0 0 417 14 0 0 20 0 1 0 338625787 228360192 51211 33554432000 4194304 15243407 140734269196704 140734269192088 4880933 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/7192/statm: 55752 51211 682 2698 0 53047 0
[pid=7153/tid=7160] ppid=7151 vsize=518236 CPUtime=0 cores=1,3,5,7
/proc/7153/task/7160/stat : 7160 (python) S 7151 7153 3621 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 4 0 338616186 530673664 9543 33554432000 4194304 5683644 140736026311616 140722523824688 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7153/tid=7186] ppid=7151 vsize=518236 CPUtime=0 cores=1,3,5,7
/proc/7153/task/7186/stat : 7186 (python) S 7151 7153 3621 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 4 0 338621071 530673664 9543 33554432000 4194304 5683644 140736026311616 140722513334832 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7153/tid=7191] ppid=7151 vsize=518236 CPUtime=0 cores=1,3,5,7
/proc/7153/task/7191/stat : 7191 (python) S 7151 7153 3621 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 4 0 338625787 530673664 9543 33554432000 4194304 5683644 140736026311616 140722502844976 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 101.57
Current children cumulated vsize (KiB) 2494928
[startup+162.301 s]
/proc/loadavg: 1.97 1.99 2.11 3/192 7263
/proc/meminfo: memFree=25756216/32873844 swapFree=6608/6608
[pid=7153] ppid=7151 vsize=518236 CPUtime=1.22 cores=1,3,5,7
################
# More data... #
################
[pid=7296/tid=7308] ppid=7294 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/7296/task/7308/stat : 7308 (java) S 7294 7296 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338644567 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139866734429704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7296/tid=7309] ppid=7294 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/7296/task/7309/stat : 7309 (java) S 7294 7296 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338644569 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139866733378192 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7296/tid=7310] ppid=7294 vsize=9558408 CPUtime=0.03 cores=1,3,5,7
/proc/7296/task/7310/stat : 7310 (java) R 7294 7296 7296 0 -1 4202560 537 0 0 0 3 0 0 0 20 0 18 0 338644569 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139866732325304 139867252438565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7296/tid=7311] ppid=7294 vsize=9558408 CPUtime=0.02 cores=1,3,5,7
/proc/7296/task/7311/stat : 7311 (java) R 7294 7296 7296 0 -1 4202560 697 0 0 0 2 0 0 0 20 0 18 0 338644569 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139866731272384 139867252410263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7296/tid=7312] ppid=7294 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/7296/task/7312/stat : 7312 (java) S 7294 7296 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338644569 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139866730219896 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7296/tid=7313] ppid=7294 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/7296/task/7313/stat : 7313 (java) S 7294 7296 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338644569 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139866729167304 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7153/tid=7160] ppid=7151 vsize=669820 CPUtime=0 cores=1,3,5,7
/proc/7153/task/7160/stat : 7160 (python) S 7151 7153 3621 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 6 0 338616186 685895680 9559 33554432000 4194304 5683644 140736026311616 140722523824688 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7153/tid=7186] ppid=7151 vsize=669820 CPUtime=0 cores=1,3,5,7
/proc/7153/task/7186/stat : 7186 (python) S 7151 7153 3621 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 6 0 338621071 685895680 9559 33554432000 4194304 5683644 140736026311616 140722513334832 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7153/tid=7191] ppid=7151 vsize=669820 CPUtime=0 cores=1,3,5,7
/proc/7153/task/7191/stat : 7191 (python) S 7151 7153 3621 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338625787 685895680 9559 33554432000 4194304 5683644 140736026311616 140722502844976 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7153/tid=7265] ppid=7151 vsize=669820 CPUtime=0 cores=1,3,5,7
/proc/7153/task/7265/stat : 7265 (python) S 7151 7153 3621 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338635271 685895680 9559 33554432000 4194304 5683644 140736026311616 140722492355120 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7153/tid=7295] ppid=7151 vsize=669820 CPUtime=0 cores=1,3,5,7
/proc/7153/task/7295/stat : 7295 (python) S 7151 7153 3621 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338644563 685895680 9559 33554432000 4194304 5683644 140736026311616 140722481865264 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 287.74
Current children cumulated vsize (KiB) 23511692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+285.901 s]
/proc/loadavg: 1.99 1.99 2.09 5/242 7313
/proc/meminfo: memFree=23099220/32873844 swapFree=6608/6608
[pid=7153] ppid=7151 vsize=669820 CPUtime=1.3 cores=1,3,5,7
/proc/7153/stat : 7153 (python) S 7151 7153 3621 0 -1 4202496 17910 1009 1 0 116 14 0 0 20 0 6 0 338615989 685895680 9559 33554432000 4194304 5683644 140736026311616 140736026306448 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7153/statm: 167455 9559 1911 364 0 102666 0
[pid=7159] ppid=7153 vsize=366652 CPUtime=0.08 cores=1,3,5,7
/proc/7159/stat : 7159 (python) S 7153 7153 3621 0 -1 4202560 1160 0 0 0 4 4 0 0 20 0 2 0 338616186 375451648 8021 33554432000 4194304 5683644 140736026311616 140736026303264 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7159/statm: 91663 8021 396 364 0 26886 0
[pid=7161] ppid=7159 vsize=564796 CPUtime=48.81 cores=1,3,5,7
/proc/7161/stat : 7161 (scip-2.0.1.linu) T 7159 7161 7161 0 -1 4202496 136874 0 0 0 4840 41 0 0 20 0 1 0 338616186 578351104 136157 33554432000 4194304 13684479 140734615029184 140734615025496 4511329 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/7161/statm: 141199 136157 639 2317 0 138877 0
[pid=7159/tid=7184] ppid=7153 vsize=366652 CPUtime=0 cores=1,3,5,7
/proc/7159/task/7184/stat : 7184 (python) S 7153 7153 3621 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 338621068 375451648 8021 33554432000 4194304 5683644 140736026311616 140722523824688 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7185] ppid=7153 vsize=366664 CPUtime=0.16 cores=1,3,5,7
/proc/7185/stat : 7185 (python) S 7153 7153 3621 0 -1 4202560 1151 0 0 0 9 7 0 0 20 0 2 0 338621071 375463936 8008 33554432000 4194304 5683644 140736026311616 140736026303264 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7185/statm: 91666 8008 383 364 0 26886 0
[pid=7187] ppid=7185 vsize=22332 CPUtime=92.24 cores=1,3,5,7
/proc/7187/stat : 7187 (clasp-1.3.7-x86) T 7185 7187 7187 0 -1 4202496 5895 0 0 0 9223 1 0 0 20 0 1 0 338621071 22867968 5318 33554432000 134512640 136139019 4293140544 4293139520 134883407 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/7187/statm: 5583 5318 182 398 0 5183 0
[pid=7185/tid=7189] ppid=7153 vsize=366664 CPUtime=0 cores=1,3,5,7
/proc/7185/task/7189/stat : 7189 (python) S 7153 7153 3621 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 2 0 338625784 375463936 8008 33554432000 4194304 5683644 140736026311616 140722523824688 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7190] ppid=7153 vsize=442456 CPUtime=0.16 cores=1,3,5,7
/proc/7190/stat : 7190 (python) S 7153 7153 3621 0 -1 4202560 1157 0 0 0 9 7 0 0 20 0 2 0 338625787 453074944 8014 33554432000 4194304 5683644 140736026311616 140736026303264 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7190/statm: 110614 8014 383 364 0 45831 0
[pid=7192] ppid=7190 vsize=783304 CPUtime=94.76 cores=1,3,5,7
/proc/7192/stat : 7192 (scip-2.0.1.linu) T 7190 7192 7192 0 -1 4202496 191294 0 0 0 9408 68 0 0 20 0 1 0 338625787 802103296 189823 33554432000 4194304 15243407 140734269196704 140734269193016 4880923 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/7192/statm: 195826 189823 686 2698 0 193121 0
[pid=7190/tid=7262] ppid=7153 vsize=442456 CPUtime=0 cores=1,3,5,7
/proc/7190/task/7262/stat : 7262 (python) S 7153 7153 3621 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 338630679 453074944 8014 33554432000 4194304 5683644 140736026311616 140722513334832 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7264] ppid=7153 vsize=518248 CPUtime=0.08 cores=1,3,5,7
/proc/7264/stat : 7264 (python) S 7153 7153 3621 0 -1 4202560 1134 0 0 0 5 3 0 0 20 0 2 0 338635271 530685952 8020 33554432000 4194304 5683644 140736026311616 140736026303264 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7264/statm: 129562 8020 383 364 0 64776 0
[pid=7266] ppid=7264 vsize=9624972 CPUtime=49.92 cores=1,3,5,7
/proc/7266/stat : 7266 (java) T 7264 7266 7266 0 -1 4202496 12397 0 1 0 4947 45 0 0 20 0 19 0 338635271 9855971328 435090 33554432000 1073741824 1073778376 140736884515232 140736884506368 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7266/statm: 2406243 435090 2269 9 0 2396937 0
[pid=7266/tid=7267] ppid=7264 vsize=9624972 CPUtime=47.27 cores=1,3,5,7
/proc/7266/task/7267/stat : 7267 (java) T 7264 7266 7266 0 -1 4202560 3226 0 1 0 4700 27 0 0 20 0 19 0 338635272 9855971328 435090 33554432000 1073741824 1073778376 140736884515232 139685721992320 139685574674478 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7266/tid=7268] ppid=7264 vsize=9624972 CPUtime=0.12 cores=1,3,5,7
/proc/7266/task/7268/stat : 7268 (java) T 7264 7266 7266 0 -1 4202560 62 0 0 0 8 4 0 0 20 0 19 0 338635273 9855971328 435090 33554432000 1073741824 1073778376 140736884515232 139685694446376 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7266/tid=7269] ppid=7264 vsize=9624972 CPUtime=0.07 cores=1,3,5,7
/proc/7266/task/7269/stat : 7269 (java) T 7264 7266 7266 0 -1 4202560 25 0 0 0 6 1 0 0 20 0 19 0 338635273 9855971328 435090 33554432000 1073741824 1073778376 140736884515232 139685693393576 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7266/tid=7270] ppid=7264 vsize=9624972 CPUtime=0.08 cores=1,3,5,7
/proc/7266/task/7270/stat : 7270 (java) T 7264 7266 7266 0 -1 4202560 39 0 0 0 6 2 0 0 20 0 19 0 338635273 9855971328 435090 33554432000 1073741824 1073778376 140736884515232 139685692341288 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7266/tid=7271] ppid=7264 vsize=9624972 CPUtime=0.11 cores=1,3,5,7
/proc/7266/task/7271/stat : 7271 (java) T 7264 7266 7266 0 -1 4202560 41 0 0 0 9 2 0 0 20 0 19 0 338635273 9855971328 435090 33554432000 1073741824 1073778376 140736884515232 139685562723240 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7266/tid=7272] ppid=7264 vsize=9624972 CPUtime=0.08 cores=1,3,5,7
/proc/7266/task/7272/stat : 7272 (java) T 7264 7266 7266 0 -1 4202560 42 0 0 0 6 2 0 0 20 0 19 0 338635273 9855971328 435090 33554432000 1073741824 1073778376 140736884515232 139685561669928 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7266/tid=7273] ppid=7264 vsize=9624972 CPUtime=0.09 cores=1,3,5,7
/proc/7266/task/7273/stat : 7273 (java) T 7264 7266 7266 0 -1 4202560 42 0 0 0 7 2 0 0 20 0 19 0 338635273 9855971328 435090 33554432000 1073741824 1073778376 140736884515232 139685560617128 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7266/tid=7274] ppid=7264 vsize=9624972 CPUtime=0.09 cores=1,3,5,7
/proc/7266/task/7274/stat : 7274 (java) T 7264 7266 7266 0 -1 4202560 41 0 0 0 7 2 0 0 20 0 19 0 338635273 9855971328 435090 33554432000 1073741824 1073778376 140736884515232 139685559564840 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7266/tid=7275] ppid=7264 vsize=9624972 CPUtime=0.13 cores=1,3,5,7
/proc/7266/task/7275/stat : 7275 (java) T 7264 7266 7266 0 -1 4202560 50 0 0 0 10 3 0 0 20 0 19 0 338635273 9855971328 435090 33554432000 1073741824 1073778376 140736884515232 139685558512040 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7266/tid=7276] ppid=7264 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/7266/task/7276/stat : 7276 (java) T 7264 7266 7266 0 -1 4202560 1223 0 0 0 0 0 0 0 20 0 19 0 338635274 9855971328 435090 33554432000 1073741824 1073778376 140736884515232 139685075999464 213423011753 0 0 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7266/tid=7277] ppid=7264 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/7266/task/7277/stat : 7277 (java) T 7264 7266 7266 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338635274 9855971328 435090 33554432000 1073741824 1073778376 140736884515232 139685074945528 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7266/tid=7278] ppid=7264 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/7266/task/7278/stat : 7278 (java) T 7264 7266 7266 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338635274 9855971328 435090 33554432000 1073741824 1073778376 140736884515232 139685073893128 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7266/tid=7279] ppid=7264 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/7266/task/7279/stat : 7279 (java) T 7264 7266 7266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338635276 9855971328 435090 33554432000 1073741824 1073778376 140736884515232 139685072841616 213423019808 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7266/tid=7280] ppid=7264 vsize=9624972 CPUtime=0.87 cores=1,3,5,7
/proc/7266/task/7280/stat : 7280 (java) T 7264 7266 7266 0 -1 4202560 3867 0 0 0 87 0 0 0 20 0 19 0 338635276 9855971328 435090 33554432000 1073741824 1073778376 140736884515232 139685071788216 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7266/tid=7281] ppid=7264 vsize=9624972 CPUtime=0.72 cores=1,3,5,7
/proc/7266/task/7281/stat : 7281 (java) T 7264 7266 7266 0 -1 4202560 2322 0 0 0 72 0 0 0 20 0 19 0 338635276 9855971328 435090 33554432000 1073741824 1073778376 140736884515232 139685070735416 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7266/tid=7282] ppid=7264 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/7266/task/7282/stat : 7282 (java) T 7264 7266 7266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338635277 9855971328 435090 33554432000 1073741824 1073778376 140736884515232 139685069683320 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7266/tid=7283] ppid=7264 vsize=9624972 CPUtime=0.01 cores=1,3,5,7
/proc/7266/task/7283/stat : 7283 (java) T 7264 7266 7266 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 338635277 9855971328 435090 33554432000 1073741824 1073778376 140736884515232 139685068630728 213423011753 0 4 0 16800975 18446744071579387992 0 0 -1 1 0 0 0 0 0
[pid=7266/tid=7288] ppid=7264 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/7266/task/7288/stat : 7288 (java) T 7264 7266 7266 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 338635332 9855971328 435090 33554432000 1073741824 1073778376 140736884515232 139685067576744 213423011753 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7264/tid=7293] ppid=7153 vsize=518248 CPUtime=0 cores=1,3,5,7
/proc/7264/task/7293/stat : 7293 (python) S 7153 7153 3621 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 338640044 530685952 8020 33554432000 4194304 5683644 140736026311616 140722502844976 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7294] ppid=7153 vsize=594040 CPUtime=0 cores=1,3,5,7
/proc/7294/stat : 7294 (python) S 7153 7153 3621 0 -1 4202560 856 0 0 0 0 0 0 0 20 0 1 0 338644562 608296960 7977 33554432000 4194304 5683644 140736026311616 140736026302704 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 7 0 0 0 0 0
/proc/7294/statm: 148510 7977 335 364 0 83721 0
[pid=7296] ppid=7294 vsize=9558408 CPUtime=0.23 cores=1,3,5,7
/proc/7296/stat : 7296 (java) S 7294 7296 7296 0 -1 4202496 5073 0 1 0 22 1 0 0 20 0 18 0 338644563 9787809792 6964 33554432000 1073741824 1073778376 140736108036624 140736108027760 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7296/statm: 2389602 6967 2191 9 0 2380296 0
[pid=7296/tid=7297] ppid=7294 vsize=9558408 CPUtime=0.14 cores=1,3,5,7
/proc/7296/task/7297/stat : 7297 (java) R 7294 7296 7296 0 -1 4202560 2429 0 1 0 14 0 0 0 20 0 18 0 338644564 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139867248319408 139867103555764 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7296/tid=7298] ppid=7294 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/7296/task/7298/stat : 7298 (java) S 7294 7296 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338644565 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139867092200488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7296/tid=7299] ppid=7294 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/7296/task/7299/stat : 7299 (java) S 7294 7296 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338644565 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139867091147688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7296/tid=7300] ppid=7294 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/7296/task/7300/stat : 7300 (java) S 7294 7296 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338644565 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139867090094888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7296/tid=7301] ppid=7294 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/7296/task/7301/stat : 7301 (java) S 7294 7296 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338644565 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139867089042088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7296/tid=7302] ppid=7294 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/7296/task/7302/stat : 7302 (java) S 7294 7296 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338644565 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139867087989288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7296/tid=7303] ppid=7294 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/7296/task/7303/stat : 7303 (java) S 7294 7296 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338644565 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139866750839208 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7296/tid=7304] ppid=7294 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/7296/task/7304/stat : 7304 (java) S 7294 7296 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338644565 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139866749786408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7296/tid=7305] ppid=7294 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/7296/task/7305/stat : 7305 (java) S 7294 7296 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338644565 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139866748733608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7296/tid=7306] ppid=7294 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/7296/task/7306/stat : 7306 (java) S 7294 7296 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 338644567 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139866736536552 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7296/tid=7307] ppid=7294 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/7296/task/7307/stat : 7307 (java) S 7294 7296 7296 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 338644567 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139866735482616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7296/tid=7308] ppid=7294 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/7296/task/7308/stat : 7308 (java) S 7294 7296 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338644567 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139866734429704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7296/tid=7309] ppid=7294 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/7296/task/7309/stat : 7309 (java) S 7294 7296 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338644569 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139866733378192 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7296/tid=7310] ppid=7294 vsize=9558408 CPUtime=0.03 cores=1,3,5,7
/proc/7296/task/7310/stat : 7310 (java) R 7294 7296 7296 0 -1 4202560 537 0 0 0 3 0 0 0 20 0 18 0 338644569 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139866732325304 139867252438565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7296/tid=7311] ppid=7294 vsize=9558408 CPUtime=0.02 cores=1,3,5,7
/proc/7296/task/7311/stat : 7311 (java) R 7294 7296 7296 0 -1 4202560 697 0 0 0 2 0 0 0 20 0 18 0 338644569 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139866731272384 139867252410263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7296/tid=7312] ppid=7294 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/7296/task/7312/stat : 7312 (java) S 7294 7296 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338644569 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139866730219896 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7296/tid=7313] ppid=7294 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/7296/task/7313/stat : 7313 (java) S 7294 7296 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338644569 9787809792 6971 33554432000 1073741824 1073778376 140736108036624 139866729167304 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7153/tid=7160] ppid=7151 vsize=669820 CPUtime=0 cores=1,3,5,7
/proc/7153/task/7160/stat : 7160 (python) S 7151 7153 3621 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 6 0 338616186 685895680 9559 33554432000 4194304 5683644 140736026311616 140722523824688 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7153/tid=7186] ppid=7151 vsize=669820 CPUtime=0 cores=1,3,5,7
/proc/7153/task/7186/stat : 7186 (python) S 7151 7153 3621 0 -1 4202560 27 1009 0 0 0 0 0 0 20 0 6 0 338621071 685895680 9559 33554432000 4194304 5683644 140736026311616 140722513334832 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7153/tid=7191] ppid=7151 vsize=669820 CPUtime=0 cores=1,3,5,7
/proc/7153/task/7191/stat : 7191 (python) S 7151 7153 3621 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338625787 685895680 9559 33554432000 4194304 5683644 140736026311616 140722502844976 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7153/tid=7265] ppid=7151 vsize=669820 CPUtime=0 cores=1,3,5,7
/proc/7153/task/7265/stat : 7265 (python) S 7151 7153 3621 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338635271 685895680 9559 33554432000 4194304 5683644 140736026311616 140722492355120 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7153/tid=7295] ppid=7151 vsize=669820 CPUtime=0 cores=1,3,5,7
/proc/7153/task/7295/stat : 7295 (python) S 7151 7153 3621 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338644563 685895680 9559 33554432000 4194304 5683644 140736026311616 140722481865264 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 287.74
Current children cumulated vsize (KiB) 23511692
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7153 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=163823
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=148977
# CPU time returned by wait4() is 1.3128
# while last known CPU time is 287.74
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 285.958
CPU time (s): 287.74
CPU user time (s): 285.83
CPU system time (s): 1.91
CPU usage (%): 100.623
Max. virtual memory (cumulated for all children) (KiB): 23511692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.16382
system time used= 0.148977
maximum resident set size= 39120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18919
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= 2061
involuntary context switches= 14
runsolver used 1.3218 second user time and 2.39464 second system time
The end