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-3481877-1307576701/watcher-3481877-1307576701 -o /tmp/evaluation-result-3481877-1307576701/solver-3481877-1307576701 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481877-1307576701.opb -seed 717738632 -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.15 1.40 0.61 2/563 15115
/proc/meminfo: memFree=20532372/32950940 swapFree=67111360/67111528
[pid=15115] ppid=15113 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/15115/stat : 15115 (python) R 15113 15115 14716 0 -1 4202496 871 0 0 0 0 0 0 0 24 0 1 0 947900953 16150528 752 33554432000 4194304 5683644 140733419663184 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15115/statm: 3943 752 343 364 0 430 0
[startup+0.0435811 s]
/proc/loadavg: 2.15 1.40 0.61 2/563 15115
/proc/meminfo: memFree=20532372/32950940 swapFree=67111360/67111528
[pid=15115] ppid=15113 vsize=23204 CPUtime=0.02 cores=1,3,5,7
/proc/15115/stat : 15115 (python) S 15113 15115 14716 0 -1 4202496 1324 0 0 0 2 0 0 0 24 0 1 0 947900953 23760896 1172 33554432000 4194304 5683644 140733419663184 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/15115/statm: 5801 1172 432 364 0 728 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23204
[startup+0.101774 s]
/proc/loadavg: 2.15 1.40 0.61 2/563 15115
/proc/meminfo: memFree=20532372/32950940 swapFree=67111360/67111528
[pid=15115] ppid=15113 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/15115/stat : 15115 (python) S 15113 15115 14716 0 -1 4202496 3033 467 1 0 5 2 0 0 18 0 1 0 947900953 98435072 2483 33554432000 4194304 5683644 140733419663184 18446744073709551615 215988592384 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 0
/proc/15115/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.307633 s]
/proc/loadavg: 2.15 1.40 0.61 2/563 15115
/proc/meminfo: memFree=20532372/32950940 swapFree=67111360/67111528
[pid=15115] ppid=15113 vsize=168308 CPUtime=0.21 cores=1,3,5,7
/proc/15115/stat : 15115 (python) R 15113 15115 14716 0 -1 4202496 5975 934 1 0 15 6 0 0 17 0 1 0 947900953 172347392 4292 33554432000 4194304 5683644 140733419663184 18446744073709551615 5307861 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15115/statm: 42077 4292 1200 364 0 3294 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 168308
[startup+0.700517 s]
/proc/loadavg: 2.15 1.40 0.61 2/563 15115
/proc/meminfo: memFree=20532372/32950940 swapFree=67111360/67111528
[pid=15115] ppid=15113 vsize=286060 CPUtime=0.56 cores=1,3,5,7
/proc/15115/stat : 15115 (python) R 15113 15115 14716 0 -1 4202496 10532 934 1 0 45 11 0 0 17 0 1 0 947900953 292925440 7862 33554432000 4194304 5683644 140733419663184 18446744073709551615 47348860237024 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/15115/statm: 71515 7862 1815 364 0 6408 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 286060
[startup+1.50132 s]
/proc/loadavg: 2.15 1.40 0.61 5/584 15140
/proc/meminfo: memFree=20490140/32950940 swapFree=67111360/67111528
[pid=15115] ppid=15113 vsize=296728 CPUtime=0.7 cores=1,3,5,7
/proc/15115/stat : 15115 (python) S 15113 15115 14716 0 -1 4202496 10918 934 1 0 59 11 0 0 19 0 2 0 947900953 303849472 8021 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/15115/statm: 74182 8021 1870 364 0 9069 0
[pid=15121] ppid=15115 vsize=286484 CPUtime=0 cores=1,3,5,7
/proc/15121/stat : 15121 (python) S 15115 15115 14716 0 -1 4202560 752 0 0 0 0 0 0 0 15 0 1 0 947901038 293359616 6499 33554432000 4194304 5683644 140733419663184 18446744073709551615 215988612623 0 0 16781312 33554946 12676116625728962822 0 0 17 3 0 0 0
/proc/15121/statm: 71621 6499 352 364 0 6508 0
[pid=15123] ppid=15121 vsize=8540308 CPUtime=1.39 cores=1,3,5,7
/proc/15123/stat : 15123 (java) S 15121 15123 15123 0 -1 4202496 21494 0 1 0 136 3 0 0 19 0 19 0 947901038 8745275392 17751 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/15123/statm: 2135077 17751 2229 9 0 2125818 0
[pid=15123/tid=15124] ppid=15121 vsize=8540308 CPUtime=0.62 cores=1,3,5,7
/proc/15123/task/15124/stat : 15124 (java) R 15121 15123 15123 0 -1 4202560 13324 0 1 0 60 2 0 0 19 0 19 0 947901039 8745275392 17751 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 46912505931792 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15123/tid=15125] ppid=15121 vsize=8540308 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15125/stat : 15125 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947901039 8745275392 17752 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15126] ppid=15121 vsize=8540308 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15126/stat : 15126 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947901039 8745275392 17752 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15127] ppid=15121 vsize=8540308 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15127/stat : 15127 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947901039 8745275392 17752 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15128] ppid=15121 vsize=8540308 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15128/stat : 15128 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947901039 8745275392 17752 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15129] ppid=15121 vsize=8540308 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15129/stat : 15129 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947901039 8745275392 17753 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15130] ppid=15121 vsize=8540308 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15130/stat : 15130 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947901039 8745275392 17753 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15131] ppid=15121 vsize=8540308 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15131/stat : 15131 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947901039 8745275392 17753 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15132] ppid=15121 vsize=8540308 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15132/stat : 15132 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947901039 8745275392 17753 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15133] ppid=15121 vsize=8540308 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15133/stat : 15133 (java) S 15121 15123 15123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 947901040 8745275392 17754 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000409088 0 0 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15134] ppid=15121 vsize=8540308 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15134/stat : 15134 (java) S 15121 15123 15123 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947901041 8745275392 17754 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15135] ppid=15121 vsize=8540308 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15135/stat : 15135 (java) S 15121 15123 15123 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947901041 8745275392 17754 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15136] ppid=15121 vsize=8540308 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15136/stat : 15136 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947901043 8745275392 17754 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000416177 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15137] ppid=15121 vsize=8540308 CPUtime=0.38 cores=1,3,5,7
/proc/15123/task/15137/stat : 15137 (java) R 15121 15123 15123 0 -1 4202560 2702 0 0 0 38 0 0 0 25 0 19 0 947901043 8745275392 17755 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 47278136380240 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15123/tid=15138] ppid=15121 vsize=8540308 CPUtime=0.37 cores=1,3,5,7
/proc/15123/task/15138/stat : 15138 (java) S 15121 15123 15123 0 -1 4202560 4079 0 0 0 37 0 0 0 25 0 19 0 947901043 8745275392 17755 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 1 0 0 0
[pid=15123/tid=15139] ppid=15121 vsize=8540308 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15139/stat : 15139 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947901043 8745275392 17755 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15140] ppid=15121 vsize=8540308 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15140/stat : 15140 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947901043 8745275392 17756 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000409088 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15115/tid=15122] ppid=15113 vsize=296728 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15122/stat : 15122 (python) S 15113 15115 14716 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 2 0 947901038 303849472 8021 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000416177 0 0 16781312 33554434 18446604466393592896 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 9123520
[startup+3.10104 s]
/proc/loadavg: 2.15 1.40 0.61 3/585 15141
/proc/meminfo: memFree=20427636/32950940 swapFree=67111360/67111528
[pid=15115] ppid=15113 vsize=296728 CPUtime=0.7 cores=1,3,5,7
/proc/15115/stat : 15115 (python) S 15113 15115 14716 0 -1 4202496 10918 934 1 0 59 11 0 0 19 0 2 0 947900953 303849472 8021 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/15115/statm: 74182 8021 1870 364 0 9069 0
[pid=15121] ppid=15115 vsize=286484 CPUtime=0 cores=1,3,5,7
/proc/15121/stat : 15121 (python) S 15115 15115 14716 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 947901038 293359616 6499 33554432000 4194304 5683644 140733419663184 18446744073709551615 215988612623 0 0 16781312 33554946 316080962733604864 0 0 17 3 0 0 0
/proc/15121/statm: 71621 6499 352 364 0 6508 0
[pid=15123] ppid=15121 vsize=8538996 CPUtime=3.4 cores=1,3,5,7
/proc/15123/stat : 15123 (java) S 15121 15123 15123 0 -1 4202496 29776 0 1 0 336 4 0 0 19 0 19 0 947901038 8743931904 23511 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/15123/statm: 2134749 23511 2260 9 0 2125490 0
[pid=15123/tid=15124] ppid=15121 vsize=8538996 CPUtime=2.2 cores=1,3,5,7
/proc/15123/task/15124/stat : 15124 (java) R 15121 15123 15123 0 -1 4202560 17980 0 1 0 218 2 0 0 22 0 19 0 947901039 8743931904 23511 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 46912506042576 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15123/tid=15125] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15125/stat : 15125 (java) S 15121 15123 15123 0 -1 4202560 72 0 0 0 0 0 0 0 18 0 19 0 947901039 8743931904 23511 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 3 0 0 0
[pid=15123/tid=15126] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15126/stat : 15126 (java) S 15121 15123 15123 0 -1 4202560 256 0 0 0 0 0 0 0 18 0 19 0 947901039 8743931904 23511 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 3 0 0 0
[pid=15123/tid=15127] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15127/stat : 15127 (java) S 15121 15123 15123 0 -1 4202560 213 0 0 0 0 0 0 0 18 0 19 0 947901039 8743931904 23511 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 1 0 0 0
[pid=15123/tid=15128] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15128/stat : 15128 (java) S 15121 15123 15123 0 -1 4202560 151 0 0 0 0 0 0 0 18 0 19 0 947901039 8743931904 23511 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 1 0 0 0
[pid=15123/tid=15129] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15129/stat : 15129 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947901039 8743931904 23511 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 1 0 0 0
[pid=15123/tid=15130] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15130/stat : 15130 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947901039 8743931904 23511 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 1 0 0 0
[pid=15123/tid=15131] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15131/stat : 15131 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947901039 8743931904 23511 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 3 0 0 0
[pid=15123/tid=15132] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15132/stat : 15132 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947901039 8743931904 23511 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 3 0 0 0
[pid=15123/tid=15133] ppid=15121 vsize=8538996 CPUtime=0.01 cores=1,3,5,7
/proc/15123/task/15133/stat : 15133 (java) S 15121 15123 15123 0 -1 4202560 688 0 0 0 1 0 0 0 15 0 19 0 947901040 8743931904 23511 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000409088 0 0 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15134] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15134/stat : 15134 (java) S 15121 15123 15123 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 947901041 8743931904 23511 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15135] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15135/stat : 15135 (java) S 15121 15123 15123 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947901041 8743931904 23511 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15136] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15136/stat : 15136 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947901043 8743931904 23511 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000416177 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15137] ppid=15121 vsize=8538996 CPUtime=0.56 cores=1,3,5,7
/proc/15123/task/15137/stat : 15137 (java) S 15121 15123 15123 0 -1 4202560 2865 0 0 0 56 0 0 0 15 0 19 0 947901043 8743931904 23511 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15138] ppid=15121 vsize=8538996 CPUtime=0.59 cores=1,3,5,7
/proc/15123/task/15138/stat : 15138 (java) S 15121 15123 15123 0 -1 4202560 6168 0 0 0 59 0 0 0 17 0 19 0 947901043 8743931904 23511 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 1 0 0 0
[pid=15123/tid=15139] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15139/stat : 15139 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947901043 8743931904 23511 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15140] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15140/stat : 15140 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947901043 8743931904 23511 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000409088 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15123/tid=15141] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15141/stat : 15141 (java) S 15121 15123 15123 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947901087 8743931904 23511 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000409088 0 4 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
[pid=15115/tid=15122] ppid=15113 vsize=296728 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15122/stat : 15122 (python) S 15113 15115 14716 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 2 0 947901038 303849472 8021 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000416177 0 0 16781312 33554434 18446604466393592896 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 9122208
[startup+6.30148 s]
/proc/loadavg: 2.29 1.44 0.63 3/585 15141
/proc/meminfo: memFree=20404832/32950940 swapFree=67111360/67111528
[pid=15115] ppid=15113 vsize=296728 CPUtime=0.7 cores=1,3,5,7
/proc/15115/stat : 15115 (python) S 15113 15115 14716 0 -1 4202496 10918 934 1 0 59 11 0 0 19 0 2 0 947900953 303849472 8021 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/15115/statm: 74182 8021 1870 364 0 9069 0
[pid=15121] ppid=15115 vsize=286484 CPUtime=0.01 cores=1,3,5,7
/proc/15121/stat : 15121 (python) S 15115 15115 14716 0 -1 4202560 892 0 0 0 0 1 0 0 15 0 1 0 947901038 293359616 6523 33554432000 4194304 5683644 140733419663184 18446744073709551615 215988612623 0 0 16781312 33554946 4294934792 0 0 17 3 0 0 0
/proc/15121/statm: 71621 6523 376 364 0 6508 0
[pid=15123] ppid=15121 vsize=8538996 CPUtime=6.64 cores=1,3,5,7
/proc/15123/stat : 15123 (java) S 15121 15123 15123 0 -1 4202496 33092 0 1 0 660 4 0 0 19 0 19 0 947901038 8743931904 26642 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/15123/statm: 2134749 26642 2260 9 0 2125490 0
[pid=15123/tid=15124] ppid=15121 vsize=8538996 CPUtime=5.36 cores=1,3,5,7
/proc/15123/task/15124/stat : 15124 (java) R 15121 15123 15123 0 -1 4202560 17982 0 1 0 534 2 0 0 25 0 19 0 947901039 8743931904 26642 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 46912505786544 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15123/tid=15125] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15125/stat : 15125 (java) S 15121 15123 15123 0 -1 4202560 359 0 0 0 0 0 0 0 15 0 19 0 947901039 8743931904 26642 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 1 0 0 0
[pid=15123/tid=15126] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15126/stat : 15126 (java) S 15121 15123 15123 0 -1 4202560 256 0 0 0 0 0 0 0 18 0 19 0 947901039 8743931904 26642 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 3 0 0 0
[pid=15123/tid=15127] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15127/stat : 15127 (java) S 15121 15123 15123 0 -1 4202560 213 0 0 0 0 0 0 0 18 0 19 0 947901039 8743931904 26642 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 1 0 0 0
[pid=15123/tid=15128] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15128/stat : 15128 (java) S 15121 15123 15123 0 -1 4202560 151 0 0 0 0 0 0 0 16 0 19 0 947901039 8743931904 26642 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 1 0 0 0
[pid=15123/tid=15129] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15129/stat : 15129 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947901039 8743931904 26642 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 1 0 0 0
[pid=15123/tid=15130] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15130/stat : 15130 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947901039 8743931904 26642 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 3 0 0 0
[pid=15123/tid=15131] ppid=15121 vsize=8538996 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15131/stat : 15131 (java) S 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947901039 8743931904 26642 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 3 0 0 0
[pid=15123/tid=15132] ppid=15121 vsize=8538996 CPUtime=0.01 cores=1,3,5,7
/proc/15123/task/15132/stat : 15132 (java) S 15121 15123 15123 0 -1 4202560 2386 0 0 0 1 0 0 0 15 0 19 0 947901039 8743931904 26642 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446604459119985024 0 0 -1 1 0 0 0
[pid=15123/tid=15133] ppid=15121 vsize=8538996 CPUtime=0.02 cores=1,3,5,7
/proc/15123/task/15133/stat : 15133 (java) S 15121 15123 15123 0 -1 4202560 1324 0 0 0 2 0 0 0 15 0 19 0 947901040 8743931904 26642 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000409088 0 0 0 16800975 18446604459119985024 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=15376/tid=15382] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15382/stat : 15382 (java) S 15374 15376 15376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947915214 8741195776 11425 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 1 0 0 0
[pid=15376/tid=15383] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15383/stat : 15383 (java) S 15374 15376 15376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947915214 8741195776 11426 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 3 0 0 0
[pid=15376/tid=15384] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15384/stat : 15384 (java) S 15374 15376 15376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947915214 8741195776 11428 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 3 0 0 0
[pid=15376/tid=15385] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15385/stat : 15385 (java) S 15374 15376 15376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947915214 8741195776 11429 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 3 0 0 0
[pid=15376/tid=15386] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15386/stat : 15386 (java) S 15374 15376 15376 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 947915215 8741195776 11430 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000409088 0 0 0 16800975 18446604468669254400 0 0 -1 1 0 0 0
[pid=15376/tid=15387] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15387/stat : 15387 (java) S 15374 15376 15376 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 18 0 947915216 8741195776 11431 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 3 0 0 0
[pid=15376/tid=15388] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15388/stat : 15388 (java) S 15374 15376 15376 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 947915216 8741195776 11432 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 1 0 0 0
[pid=15376/tid=15389] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15389/stat : 15389 (java) S 15374 15376 15376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947915218 8741195776 11434 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000416177 0 4 0 16800975 18446604468669254400 0 0 -1 1 0 0 0
[pid=15376/tid=15390] ppid=15374 vsize=8536324 CPUtime=0.16 cores=1,3,5,7
/proc/15376/task/15390/stat : 15390 (java) S 15374 15376 15376 0 -1 4202560 2004 0 0 0 16 0 0 0 25 0 18 0 947915218 8741195776 11435 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 3 0 0 0
[pid=15376/tid=15391] ppid=15374 vsize=8536324 CPUtime=0.13 cores=1,3,5,7
/proc/15376/task/15391/stat : 15391 (java) S 15374 15376 15376 0 -1 4202560 1549 0 0 0 13 0 0 0 16 0 18 0 947915218 8741195776 11436 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 3 0 0 0
[pid=15376/tid=15392] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15392/stat : 15392 (java) S 15374 15376 15376 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 947915218 8741195776 11437 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 3 0 0 0
[pid=15376/tid=15393] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15393/stat : 15393 (java) S 15374 15376 15376 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 947915218 8741195776 11438 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000409088 0 4 0 16800975 18446604468669254400 0 0 -1 3 0 0 0
[pid=15115/tid=15122] ppid=15113 vsize=327496 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15122/stat : 15122 (python) S 15113 15115 14716 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 5 0 947901038 335355904 8040 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000416177 0 0 16781312 33554434 18446604466393592896 0 0 -1 3 0 0 0
[pid=15115/tid=15285] ppid=15113 vsize=327496 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15285/stat : 15285 (python) S 15113 15115 14716 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 5 0 947905633 335355904 8040 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000416177 0 0 16781312 33554434 18446604466393592896 0 0 -1 1 0 0 0
[pid=15115/tid=15348] ppid=15113 vsize=327496 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15348/stat : 15348 (python) S 15113 15115 14716 0 -1 4202560 29 934 0 0 0 0 0 0 20 0 5 0 947910383 335355904 8040 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000416177 0 0 16781312 33554434 18446604466393592896 0 0 -1 5 0 0 0
[pid=15115/tid=15375] ppid=15113 vsize=327496 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15375/stat : 15375 (python) S 15113 15115 14716 0 -1 4202560 29 934 0 0 0 0 0 0 20 0 5 0 947915213 335355904 8040 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000416177 0 0 16781312 33554434 18446604466393592896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 145.06
Current children cumulated vsize (KiB) 18810744
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+142.902 s]
/proc/loadavg: 2.27 1.77 0.86 4/636 15393
/proc/meminfo: memFree=19938080/32950940 swapFree=67111360/67111528
[pid=15115] ppid=15113 vsize=327496 CPUtime=0.78 cores=1,3,5,7
/proc/15115/stat : 15115 (python) S 15113 15115 14716 0 -1 4202496 13561 934 1 0 66 12 0 0 20 0 5 0 947900953 335355904 8040 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15115/statm: 81874 8040 1877 364 0 16752 0
[pid=15121] ppid=15115 vsize=296728 CPUtime=0.21 cores=1,3,5,7
/proc/15121/stat : 15121 (python) S 15115 15115 14716 0 -1 4202560 1077 0 0 0 9 12 0 0 16 0 2 0 947901038 303849472 6559 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15121/statm: 74182 6559 407 364 0 9069 0
[pid=15123] ppid=15121 vsize=8537688 CPUtime=47.24 cores=1,3,5,7
/proc/15123/stat : 15123 (java) T 15121 15123 15123 0 -1 4202496 47444 0 1 0 4718 6 0 0 18 0 19 0 947901038 8742592512 40403 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/15123/statm: 2134422 40403 2260 9 0 2125163 0
[pid=15123/tid=15124] ppid=15121 vsize=8537688 CPUtime=45.56 cores=1,3,5,7
/proc/15123/task/15124/stat : 15124 (java) T 15121 15123 15123 0 -1 4202560 17991 0 1 0 4554 2 0 0 25 0 19 0 947901039 8742592512 40403 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 46912505849152 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15123/tid=15125] ppid=15121 vsize=8537688 CPUtime=0.03 cores=1,3,5,7
/proc/15123/task/15125/stat : 15125 (java) T 15121 15123 15123 0 -1 4202560 2485 0 0 0 3 0 0 0 15 0 19 0 947901039 8742592512 40403 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15123/tid=15126] ppid=15121 vsize=8537688 CPUtime=0.02 cores=1,3,5,7
/proc/15123/task/15126/stat : 15126 (java) T 15121 15123 15123 0 -1 4202560 2560 0 0 0 2 0 0 0 15 0 19 0 947901039 8742592512 40403 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15123/tid=15127] ppid=15121 vsize=8537688 CPUtime=0.01 cores=1,3,5,7
/proc/15123/task/15127/stat : 15127 (java) T 15121 15123 15123 0 -1 4202560 2590 0 0 0 1 0 0 0 15 0 19 0 947901039 8742592512 40403 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15123/tid=15128] ppid=15121 vsize=8537688 CPUtime=0.01 cores=1,3,5,7
/proc/15123/task/15128/stat : 15128 (java) T 15121 15123 15123 0 -1 4202560 824 0 0 0 1 0 0 0 15 0 19 0 947901039 8742592512 40403 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15123/tid=15129] ppid=15121 vsize=8537688 CPUtime=0.01 cores=1,3,5,7
/proc/15123/task/15129/stat : 15129 (java) T 15121 15123 15123 0 -1 4202560 1476 0 0 0 1 0 0 0 15 0 19 0 947901039 8742592512 40403 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15123/tid=15130] ppid=15121 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15130/stat : 15130 (java) T 15121 15123 15123 0 -1 4202560 591 0 0 0 0 0 0 0 15 0 19 0 947901039 8742592512 40403 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15123/tid=15131] ppid=15121 vsize=8537688 CPUtime=0.02 cores=1,3,5,7
/proc/15123/task/15131/stat : 15131 (java) T 15121 15123 15123 0 -1 4202560 2263 0 0 0 2 0 0 0 15 0 19 0 947901039 8742592512 40403 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15123/tid=15132] ppid=15121 vsize=8537688 CPUtime=0.01 cores=1,3,5,7
/proc/15123/task/15132/stat : 15132 (java) T 15121 15123 15123 0 -1 4202560 2386 0 0 0 1 0 0 0 15 0 19 0 947901039 8742592512 40403 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15123/tid=15133] ppid=15121 vsize=8537688 CPUtime=0.2 cores=1,3,5,7
/proc/15123/task/15133/stat : 15133 (java) T 15121 15123 15123 0 -1 4202560 3853 0 0 0 20 0 0 0 15 0 19 0 947901040 8742592512 40403 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000409088 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15123/tid=15134] ppid=15121 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15134/stat : 15134 (java) T 15121 15123 15123 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 947901041 8742592512 40403 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15123/tid=15135] ppid=15121 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15135/stat : 15135 (java) T 15121 15123 15123 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947901041 8742592512 40403 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15123/tid=15136] ppid=15121 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15136/stat : 15136 (java) T 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947901043 8742592512 40403 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000416177 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15123/tid=15137] ppid=15121 vsize=8537688 CPUtime=0.63 cores=1,3,5,7
/proc/15123/task/15137/stat : 15137 (java) T 15121 15123 15123 0 -1 4202560 2872 0 0 0 63 0 0 0 15 0 19 0 947901043 8742592512 40403 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15123/tid=15138] ppid=15121 vsize=8537688 CPUtime=0.64 cores=1,3,5,7
/proc/15123/task/15138/stat : 15138 (java) T 15121 15123 15123 0 -1 4202560 6172 0 0 0 64 0 0 0 15 0 19 0 947901043 8742592512 40403 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15123/tid=15139] ppid=15121 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15139/stat : 15139 (java) T 15121 15123 15123 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947901043 8742592512 40403 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15123/tid=15140] ppid=15121 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15140/stat : 15140 (java) T 15121 15123 15123 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947901043 8742592512 40403 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15123/tid=15141] ppid=15121 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/15123/task/15141/stat : 15141 (java) T 15121 15123 15123 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947901087 8742592512 40403 33554432000 1073741824 1073778376 140736473635216 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15121/tid=15283] ppid=15115 vsize=296728 CPUtime=0 cores=1,3,5,7
/proc/15121/task/15283/stat : 15283 (python) S 15115 15115 14716 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947905630 303849472 6559 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000416177 0 0 16781312 33554946 18446604463286485184 0 0 -1 7 0 0 0
[pid=15284] ppid=15115 vsize=296740 CPUtime=0.23 cores=1,3,5,7
/proc/15284/stat : 15284 (python) S 15115 15115 14716 0 -1 4202560 1115 0 0 0 10 13 0 0 17 0 2 0 947905633 303861760 6549 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/15284/statm: 74185 6549 397 364 0 9069 0
[pid=15286] ppid=15284 vsize=110988 CPUtime=47.46 cores=1,3,5,7
/proc/15286/stat : 15286 (scip-2.0.1.linu) T 15284 15286 15286 0 -1 4202496 60401 0 0 0 4649 97 0 0 25 0 1 0 947905633 113651712 25175 33554432000 4194304 13684479 140735775615456 18446744073709551615 7387926 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/15286/statm: 27747 25175 856 2317 0 25425 0
[pid=15284/tid=15346] ppid=15115 vsize=296740 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15346/stat : 15346 (python) S 15115 15115 14716 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 947910380 303861760 6549 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000416177 0 0 16781312 33554946 18446604461232784384 0 0 -1 1 0 0 0
[pid=15347] ppid=15115 vsize=306996 CPUtime=0.27 cores=1,3,5,7
/proc/15347/stat : 15347 (python) S 15115 15115 14716 0 -1 4202560 1117 0 0 0 13 14 0 0 16 0 2 0 947910383 314363904 6553 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15347/statm: 76749 6553 397 364 0 11630 0
[pid=15349] ppid=15347 vsize=80532 CPUtime=48.25 cores=1,3,5,7
/proc/15349/stat : 15349 (wbo1.4a) T 15347 15349 15349 0 -1 4202496 23706 0 0 0 4720 105 0 0 25 0 1 0 947910383 82464768 19621 33554432000 134512640 135751879 4290745424 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/15349/statm: 20133 19621 146 303 0 19828 0
[pid=15347/tid=15373] ppid=15115 vsize=306996 CPUtime=0 cores=1,3,5,7
/proc/15347/task/15373/stat : 15373 (python) S 15115 15115 14716 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 947915210 314363904 6553 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000416177 0 0 16781312 33554946 18446604464353540224 0 0 -1 7 0 0 0
[pid=15374] ppid=15115 vsize=317252 CPUtime=0 cores=1,3,5,7
/proc/15374/stat : 15374 (python) S 15115 15115 14716 0 -1 4202560 810 0 0 0 0 0 0 0 18 0 1 0 947915212 324866048 6508 33554432000 4194304 5683644 140733419663184 18446744073709551615 215988612678 0 0 16781312 33554946 90505612445614080 0 0 17 7 0 0 0
/proc/15374/statm: 79313 6508 349 364 0 14191 0
[pid=15376] ppid=15374 vsize=8536324 CPUtime=0.62 cores=1,3,5,7
/proc/15376/stat : 15376 (java) S 15374 15376 15376 0 -1 4202496 12505 0 1 0 60 2 0 0 20 0 18 0 947915213 8741195776 10814 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15376/statm: 2134081 10816 2202 9 0 2124822 0
[pid=15376/tid=15377] ppid=15374 vsize=8536324 CPUtime=0.32 cores=1,3,5,7
/proc/15376/task/15377/stat : 15377 (java) R 15374 15376 15376 0 -1 4202560 8163 0 1 0 31 1 0 0 25 0 18 0 947915214 8741195776 11419 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 46912505544155 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15376/tid=15378] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15378/stat : 15378 (java) S 15374 15376 15376 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 947915214 8741195776 11420 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 1 0 0 0
[pid=15376/tid=15379] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15379/stat : 15379 (java) S 15374 15376 15376 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 947915214 8741195776 11421 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 1 0 0 0
[pid=15376/tid=15380] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15380/stat : 15380 (java) S 15374 15376 15376 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 947915214 8741195776 11422 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 1 0 0 0
[pid=15376/tid=15381] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15381/stat : 15381 (java) S 15374 15376 15376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947915214 8741195776 11424 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 1 0 0 0
[pid=15376/tid=15382] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15382/stat : 15382 (java) S 15374 15376 15376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947915214 8741195776 11425 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 1 0 0 0
[pid=15376/tid=15383] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15383/stat : 15383 (java) S 15374 15376 15376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947915214 8741195776 11426 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 3 0 0 0
[pid=15376/tid=15384] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15384/stat : 15384 (java) S 15374 15376 15376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947915214 8741195776 11428 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 3 0 0 0
[pid=15376/tid=15385] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15385/stat : 15385 (java) S 15374 15376 15376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947915214 8741195776 11429 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 3 0 0 0
[pid=15376/tid=15386] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15386/stat : 15386 (java) S 15374 15376 15376 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 947915215 8741195776 11430 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000409088 0 0 0 16800975 18446604468669254400 0 0 -1 1 0 0 0
[pid=15376/tid=15387] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15387/stat : 15387 (java) S 15374 15376 15376 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 18 0 947915216 8741195776 11431 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 3 0 0 0
[pid=15376/tid=15388] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15388/stat : 15388 (java) S 15374 15376 15376 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 947915216 8741195776 11432 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 1 0 0 0
[pid=15376/tid=15389] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15389/stat : 15389 (java) S 15374 15376 15376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947915218 8741195776 11434 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000416177 0 4 0 16800975 18446604468669254400 0 0 -1 1 0 0 0
[pid=15376/tid=15390] ppid=15374 vsize=8536324 CPUtime=0.16 cores=1,3,5,7
/proc/15376/task/15390/stat : 15390 (java) S 15374 15376 15376 0 -1 4202560 2004 0 0 0 16 0 0 0 25 0 18 0 947915218 8741195776 11435 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 3 0 0 0
[pid=15376/tid=15391] ppid=15374 vsize=8536324 CPUtime=0.13 cores=1,3,5,7
/proc/15376/task/15391/stat : 15391 (java) S 15374 15376 15376 0 -1 4202560 1549 0 0 0 13 0 0 0 16 0 18 0 947915218 8741195776 11436 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 3 0 0 0
[pid=15376/tid=15392] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15392/stat : 15392 (java) S 15374 15376 15376 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 947915218 8741195776 11437 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000408473 0 4 0 16800975 18446604468669254400 0 0 -1 3 0 0 0
[pid=15376/tid=15393] ppid=15374 vsize=8536324 CPUtime=0 cores=1,3,5,7
/proc/15376/task/15393/stat : 15393 (java) S 15374 15376 15376 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 947915218 8741195776 11438 33554432000 1073741824 1073778376 140734393450496 18446744073709551615 216000409088 0 4 0 16800975 18446604468669254400 0 0 -1 3 0 0 0
[pid=15115/tid=15122] ppid=15113 vsize=327496 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15122/stat : 15122 (python) S 15113 15115 14716 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 5 0 947901038 335355904 8040 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000416177 0 0 16781312 33554434 18446604466393592896 0 0 -1 3 0 0 0
[pid=15115/tid=15285] ppid=15113 vsize=327496 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15285/stat : 15285 (python) S 15113 15115 14716 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 5 0 947905633 335355904 8040 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000416177 0 0 16781312 33554434 18446604466393592896 0 0 -1 1 0 0 0
[pid=15115/tid=15348] ppid=15113 vsize=327496 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15348/stat : 15348 (python) S 15113 15115 14716 0 -1 4202560 29 934 0 0 0 0 0 0 20 0 5 0 947910383 335355904 8040 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000416177 0 0 16781312 33554434 18446604466393592896 0 0 -1 5 0 0 0
[pid=15115/tid=15375] ppid=15113 vsize=327496 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15375/stat : 15375 (python) S 15113 15115 14716 0 -1 4202560 29 934 0 0 0 0 0 0 20 0 5 0 947915213 335355904 8040 33554432000 4194304 5683644 140733419663184 18446744073709551615 216000416177 0 0 16781312 33554434 18446604466393592896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 145.06
Current children cumulated vsize (KiB) 18810744
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15115 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=667898
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=124981
# CPU time returned by wait4() is 0.792879
# while last known CPU time is 145.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 142.986
CPU time (s): 145.06
CPU user time (s): 142.45
CPU system time (s): 2.61
CPU usage (%): 101.45
Max. virtual memory (cumulated for all children) (KiB): 18811848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.667898
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14496
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= 1656
involuntary context switches= 27
runsolver used 0.812876 second user time and 1.83572 second system time
The end