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-3730806-1338715907/watcher-3730806-1338715907 -o /tmp/evaluation-result-3730806-1338715907/solver-3730806-1338715907 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3730806-1338715907.opb -seed 2076841635 -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: 3.23 3.21 2.47 2/174 4373
/proc/meminfo: memFree=26916944/32873844 swapFree=7116/7116
[pid=4373] ppid=4371 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/4373/stat : 4373 (python) R 4371 4373 2614 0 -1 4202496 755 0 0 0 0 0 0 0 20 0 1 0 337715674 15749120 629 33554432000 4194304 5683644 140735371266432 140735371211160 240565175184 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4373/statm: 3853 630 333 364 0 295 0
[startup+0.0396379 s]
/proc/loadavg: 3.23 3.21 2.47 2/174 4373
/proc/meminfo: memFree=26916944/32873844 swapFree=7116/7116
[pid=4373] ppid=4371 vsize=19084 CPUtime=0.02 cores=1,3,5,7
/proc/4373/stat : 4373 (python) R 4371 4373 2614 0 -1 4202496 1397 0 0 0 2 0 0 0 20 0 1 0 337715674 19542016 1151 33554432000 4194304 5683644 140735371266432 140735371196936 4870088 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4373/statm: 4771 1151 430 364 0 695 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19084
[startup+0.100322 s]
/proc/loadavg: 3.23 3.21 2.47 2/174 4373
/proc/meminfo: memFree=26916944/32873844 swapFree=7116/7116
[pid=4373] ppid=4371 vsize=92388 CPUtime=0.07 cores=1,3,5,7
/proc/4373/stat : 4373 (python) R 4371 4373 2614 0 -1 4202496 3235 504 1 0 6 1 0 0 20 0 1 0 337715674 94605312 2540 33554432000 4194304 5683644 140735371266432 140735371218904 4620004 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/4373/statm: 23097 2540 816 364 0 1619 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 92388
[startup+0.30027 s]
/proc/loadavg: 3.23 3.21 2.47 2/174 4373
/proc/meminfo: memFree=26916944/32873844 swapFree=7116/7116
[pid=4373] ppid=4371 vsize=166944 CPUtime=0.23 cores=1,3,5,7
/proc/4373/stat : 4373 (python) R 4371 4373 2614 0 -1 4202496 6579 1009 1 0 17 6 0 0 20 0 1 0 337715674 170950656 4368 33554432000 4194304 5683644 140735371266432 140735371170664 4539747 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4373/statm: 41736 4368 1243 364 0 3289 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 166944
[startup+0.70028 s]
/proc/loadavg: 3.23 3.21 2.47 2/174 4373
/proc/meminfo: memFree=26916944/32873844 swapFree=7116/7116
[pid=4373] ppid=4371 vsize=293652 CPUtime=0.59 cores=1,3,5,7
/proc/4373/stat : 4373 (python) R 4371 4373 2614 0 -1 4202496 12019 1009 1 0 49 10 0 0 20 0 1 0 337715674 300699648 10074 33554432000 4194304 5683644 140735371266432 140735371259960 140486325683389 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4373/statm: 73413 10074 1811 364 0 8642 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 293652
[startup+1.50029 s]
/proc/loadavg: 3.23 3.21 2.47 3/175 4378
/proc/meminfo: memFree=26873012/32873844 swapFree=7116/7116
[pid=4373] ppid=4371 vsize=317140 CPUtime=1.39 cores=1,3,5,7
/proc/4373/stat : 4373 (python) R 4371 4373 2614 0 -1 4202496 22737 1009 1 0 127 12 0 0 20 0 1 0 337715674 324751360 16037 33554432000 4194304 5683644 140735371266432 140735371256568 240572720933 0 0 16781312 33554434 0 0 0 17 1 0 0 0 0 0
/proc/4373/statm: 79285 16037 1846 364 0 14514 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 317140
[startup+3.10014 s]
/proc/loadavg: 3.23 3.21 2.47 3/175 4378
/proc/meminfo: memFree=26858816/32873844 swapFree=7116/7116
[pid=4373] ppid=4371 vsize=397332 CPUtime=2.98 cores=1,3,5,7
/proc/4373/stat : 4373 (python) S 4371 4373 2614 0 -1 4202496 24118 1009 1 0 285 13 0 0 20 0 2 0 337715674 406867968 17196 33554432000 4194304 5683644 140735371266432 140735371261264 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4373/statm: 99333 17196 1902 364 0 34556 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 397332
[startup+6.30037 s]
/proc/loadavg: 3.21 3.21 2.47 3/178 4381
/proc/meminfo: memFree=26826884/32873844 swapFree=7116/7116
[pid=4373] ppid=4371 vsize=397332 CPUtime=2.98 cores=1,3,5,7
/proc/4373/stat : 4373 (python) S 4371 4373 2614 0 -1 4202496 24118 1009 1 0 285 13 0 0 20 0 2 0 337715674 406867968 17196 33554432000 4194304 5683644 140735371266432 140735371261264 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4373/statm: 99333 17196 1902 364 0 34556 0
[pid=4379] ppid=4373 vsize=321552 CPUtime=0 cores=1,3,5,7
/proc/4379/stat : 4379 (python) S 4373 4373 2614 0 -1 4202560 878 0 0 0 0 0 0 0 20 0 1 0 337715982 329269248 15651 33554432000 4194304 5683644 140735371266432 140735371257520 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4379/statm: 80388 15651 363 364 0 15611 0
[pid=4381] ppid=4379 vsize=28272 CPUtime=3.2 cores=1,3,5,7
/proc/4381/stat : 4381 (clasp-1.3.7-x86) R 4379 4381 4381 0 -1 4202496 8237 0 0 0 319 1 0 0 20 0 1 0 337715982 28950528 6691 33554432000 134512640 136139019 4290644912 4290643776 134608203 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4381/statm: 7068 6691 183 398 0 6668 0
[pid=4373/tid=4380] ppid=4371 vsize=397332 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4380/stat : 4380 (python) S 4371 4373 2614 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 337715982 406867968 17196 33554432000 4194304 5683644 140735371266432 140486319051312 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 747156
[startup+12.7004 s]
/proc/loadavg: 3.11 3.19 2.47 3/177 4381
/proc/meminfo: memFree=26818144/32873844 swapFree=7116/7116
[pid=4373] ppid=4371 vsize=397332 CPUtime=2.98 cores=1,3,5,7
/proc/4373/stat : 4373 (python) S 4371 4373 2614 0 -1 4202496 24118 1009 1 0 285 13 0 0 20 0 2 0 337715674 406867968 17196 33554432000 4194304 5683644 140735371266432 140735371261264 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4373/statm: 99333 17196 1902 364 0 34556 0
[pid=4379] ppid=4373 vsize=321552 CPUtime=0 cores=1,3,5,7
/proc/4379/stat : 4379 (python) S 4373 4373 2614 0 -1 4202560 886 0 0 0 0 0 0 0 20 0 1 0 337715982 329269248 15651 33554432000 4194304 5683644 140735371266432 140735371257520 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4379/statm: 80388 15651 363 364 0 15611 0
[pid=4381] ppid=4379 vsize=38924 CPUtime=9.6 cores=1,3,5,7
/proc/4381/stat : 4381 (clasp-1.3.7-x86) R 4379 4381 4381 0 -1 4202496 10904 0 0 0 958 2 0 0 20 0 1 0 337715982 39858176 9358 33554432000 134512640 136139019 4290644912 4290643888 134882950 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4381/statm: 9731 9358 183 398 0 9331 0
[pid=4373/tid=4380] ppid=4371 vsize=397332 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4380/stat : 4380 (python) S 4371 4373 2614 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 337715982 406867968 17196 33554432000 4194304 5683644 140735371266432 140486319051312 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 757808
[startup+25.5004 s]
/proc/loadavg: 2.87 3.13 2.46 3/183 4511
/proc/meminfo: memFree=31144572/32873844 swapFree=7116/7116
[pid=4373] ppid=4371 vsize=397332 CPUtime=2.98 cores=1,3,5,7
/proc/4373/stat : 4373 (python) S 4371 4373 2614 0 -1 4202496 24118 1009 1 0 285 13 0 0 20 0 2 0 337715674 406867968 17196 33554432000 4194304 5683644 140735371266432 140735371261264 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4373/statm: 99333 17196 1902 364 0 34556 0
[pid=4379] ppid=4373 vsize=321552 CPUtime=0.02 cores=1,3,5,7
/proc/4379/stat : 4379 (python) S 4373 4373 2614 0 -1 4202560 895 0 0 0 1 1 0 0 20 0 1 0 337715982 329269248 15651 33554432000 4194304 5683644 140735371266432 140735371257520 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4379/statm: 80388 15651 363 364 0 15611 0
[pid=4381] ppid=4379 vsize=44348 CPUtime=22.4 cores=1,3,5,7
/proc/4381/stat : 4381 (clasp-1.3.7-x86) R 4379 4381 4381 0 -1 4202496 12273 0 0 0 2232 8 0 0 20 0 1 0 337715982 45412352 10727 33554432000 134512640 136139019 4290644912 4290643888 134883415 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4381/statm: 11087 10727 183 398 0 10687 0
[pid=4373/tid=4380] ppid=4371 vsize=397332 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4380/stat : 4380 (python) S 4371 4373 2614 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 337715982 406867968 17196 33554432000 4194304 5683644 140735371266432 140486319051312 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 763232
[startup+51.1003 s]
/proc/loadavg: 2.84 3.10 2.46 3/184 4650
/proc/meminfo: memFree=31126456/32873844 swapFree=7116/7116
[pid=4373] ppid=4371 vsize=397336 CPUtime=3.85 cores=1,3,5,7
/proc/4373/stat : 4373 (python) R 4371 4373 2614 0 -1 4202496 24806 1009 1 0 372 13 0 0 20 0 2 0 337715674 406872064 17198 33554432000 4194304 5683644 140735371266432 140735371260752 4415616 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4373/statm: 99334 17198 1903 364 0 34557 0
[pid=4379] ppid=4373 vsize=397332 CPUtime=0.07 cores=1,3,5,7
/proc/4379/stat : 4379 (python) S 4373 4373 2614 0 -1 4202560 1136 0 0 0 4 3 0 0 20 0 2 0 337715982 406867968 15691 33554432000 4194304 5683644 140735371266432 140735371258080 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4379/statm: 99333 15691 396 364 0 34556 0
[pid=4381] ppid=4379 vsize=49972 CPUtime=47.09 cores=1,3,5,7
/proc/4381/stat : 4381 (clasp-1.3.7-x86) T 4379 4381 4381 0 -1 4202496 13641 0 0 0 4697 12 0 0 20 0 1 0 337715982 51171328 12095 33554432000 134512640 136139019 4290644912 4290643888 134883075 0 0 16781312 16386 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/4381/statm: 12493 12095 183 398 0 12093 0
[pid=4379/tid=4650] ppid=4373 vsize=397332 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4650/stat : 4650 (python) S 4373 4373 2614 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 2 0 337720695 406867968 15691 33554432000 4194304 5683644 140735371266432 140486319051312 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4373/tid=4380] ppid=4371 vsize=397336 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4380/stat : 4380 (python) S 4371 4373 2614 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 337715982 406872064 17198 33554432000 4194304 5683644 140735371266432 140486319051312 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 844640
[startup+102.301 s]
/proc/loadavg: 2.65 3.02 2.47 3/187 4791
/proc/meminfo: memFree=30969236/32873844 swapFree=7116/7116
[pid=4373] ppid=4371 vsize=473124 CPUtime=11.17 cores=1,3,5,7
/proc/4373/stat : 4373 (python) S 4371 4373 2614 0 -1 4202496 25116 1009 1 0 1101 16 0 0 20 0 3 0 337715674 484478976 17205 33554432000 4194304 5683644 140735371266432 140735371261264 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4373/statm: 118281 17205 1905 364 0 53501 0
[pid=4379] ppid=4373 vsize=397332 CPUtime=0.07 cores=1,3,5,7
/proc/4379/stat : 4379 (python) S 4373 4373 2614 0 -1 4202560 1136 0 0 0 4 3 0 0 20 0 2 0 337715982 406867968 15691 33554432000 4194304 5683644 140735371266432 140735371258080 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4379/statm: 99333 15691 396 364 0 34556 0
[pid=4381] ppid=4379 vsize=49972 CPUtime=47.09 cores=1,3,5,7
/proc/4381/stat : 4381 (clasp-1.3.7-x86) T 4379 4381 4381 0 -1 4202496 13641 0 0 0 4697 12 0 0 20 0 1 0 337715982 51171328 12132 33554432000 134512640 136139019 4290644912 4290643888 134883075 0 0 16781312 16386 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/4381/statm: 12493 12132 183 398 0 12093 0
[pid=4379/tid=4650] ppid=4373 vsize=397332 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4650/stat : 4650 (python) S 4373 4373 2614 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 2 0 337720695 406867968 15691 33554432000 4194304 5683644 140735371266432 140486319051312 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4697] ppid=4373 vsize=397344 CPUtime=0.07 cores=1,3,5,7
/proc/4697/stat : 4697 (python) S 4373 4373 2614 0 -1 4202560 923 0 0 0 4 3 0 0 20 0 1 0 337721516 406880256 15652 33554432000 4194304 5683644 140735371266432 140735371257520 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4697/statm: 99336 15652 358 364 0 34556 0
[pid=4699] ppid=4697 vsize=170584 CPUtime=43.86 cores=1,3,5,7
/proc/4699/stat : 4699 (minion) R 4697 4699 4699 0 -1 4202496 33356 0 0 0 4378 8 0 0 20 0 1 0 337721516 174678016 35116 33554432000 134512640 165565024 4291633008 4291630320 158624694 0 0 16781312 8396802 0 0 0 17 5 0 0 0 0 0
/proc/4699/statm: 42646 35116 345 7582 0 35061 0
[pid=4373/tid=4380] ppid=4371 vsize=473124 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4380/stat : 4380 (python) S 4371 4373 2614 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 3 0 337715982 484478976 17205 33554432000 4194304 5683644 140735371266432 140486319051312 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4373/tid=4698] ppid=4371 vsize=473124 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4698/stat : 4698 (python) S 4371 4373 2614 0 -1 4202560 22 1009 0 0 0 0 0 0 20 0 3 0 337721516 484478976 17205 33554432000 4194304 5683644 140735371266432 140486308561456 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1488356
[startup+162.301 s]
/proc/loadavg: 2.24 2.83 2.44 3/199 4803
/proc/meminfo: memFree=29298084/32873844 swapFree=7116/7116
[pid=4373] ppid=4371 vsize=624708 CPUtime=11.23 cores=1,3,5,7
/proc/4373/stat : 4373 (python) S 4371 4373 2614 0 -1 4202496 26908 1009 1 0 1106 17 0 0 20 0 5 0 337715674 639700992 17221 33554432000 4194304 5683644 140735371266432 140735371261264 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4373/statm: 156177 17221 1909 364 0 91391 0
[pid=4379] ppid=4373 vsize=397332 CPUtime=0.07 cores=1,3,5,7
/proc/4379/stat : 4379 (python) S 4373 4373 2614 0 -1 4202560 1136 0 0 0 4 3 0 0 20 0 2 0 337715982 406867968 15691 33554432000 4194304 5683644 140735371266432 140735371258080 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4379/statm: 99333 15691 396 364 0 34556 0
[pid=4381] ppid=4379 vsize=49972 CPUtime=47.09 cores=1,3,5,7
/proc/4381/stat : 4381 (clasp-1.3.7-x86) T 4379 4381 4381 0 -1 4202496 13641 0 0 0 4697 12 0 0 20 0 1 0 337715982 51171328 12193 33554432000 134512640 136139019 4290644912 4290643888 134883075 0 0 16781312 16386 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/4381/statm: 12493 12193 183 398 0 12093 0
[pid=4379/tid=4650] ppid=4373 vsize=397332 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4650/stat : 4650 (python) S 4373 4373 2614 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 2 0 337720695 406867968 15691 33554432000 4194304 5683644 140735371266432 140486319051312 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4697] ppid=4373 vsize=397344 CPUtime=0.08 cores=1,3,5,7
/proc/4697/stat : 4697 (python) S 4373 4373 2614 0 -1 4202560 1078 0 0 0 4 4 0 0 20 0 2 0 337721516 406880256 15678 33554432000 4194304 5683644 140735371266432 140735371258080 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4697/statm: 99336 15678 383 364 0 34556 0
[pid=4699] ppid=4697 vsize=170584 CPUtime=47.8 cores=1,3,5,7
/proc/4699/stat : 4699 (minion) T 4697 4699 4699 0 -1 4202496 33356 0 0 0 4772 8 0 0 20 0 1 0 337721516 174678016 35116 33554432000 134512640 165565024 4291633008 4291630320 158624694 0 0 16781312 8396802 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/4699/statm: 42646 35116 345 7582 0 35061 0
[pid=4697/tid=4792] ppid=4373 vsize=397344 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/4801/statm: 137232 15690 383 364 0 72446 0
[pid=4803] ppid=4801 vsize=730124 CPUtime=94.34 cores=1,3,5,7
/proc/4803/stat : 4803 (scip-2.0.1.linu) T 4801 4803 4803 0 -1 4202496 168897 0 0 0 9356 78 0 0 20 0 1 0 337731181 747646976 176309 33554432000 4194304 15243407 140733731298640 140733731294936 5688624 0 0 16781312 2 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/4803/statm: 182531 176309 702 2698 0 179826 0
[pid=4801/tid=4809] ppid=4373 vsize=548928 CPUtime=0 cores=1,3,5,7
/proc/4801/task/4809/stat : 4809 (python) S 4373 4373 2614 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337736045 562102272 15690 33554432000 4194304 5683644 140735371266432 140486285242928 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4815] ppid=4373 vsize=624720 CPUtime=0.09 cores=1,3,5,7
/proc/4815/stat : 4815 (python) S 4373 4373 2614 0 -1 4202560 1115 0 0 0 5 4 0 0 20 0 2 0 337740563 639713280 15696 33554432000 4194304 5683644 140735371266432 140735371258080 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4815/statm: 156180 15696 383 364 0 91391 0
[pid=4817] ppid=4815 vsize=36748 CPUtime=49.01 cores=1,3,5,7
/proc/4817/stat : 4817 (wbo1.4a) T 4815 4817 4817 0 -1 4202496 10244 0 0 0 4895 6 0 0 20 0 1 0 337740564 37629952 8290 33554432000 134512640 135751879 4291782240 4291779856 134604723 0 0 16781312 3 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/4817/statm: 9187 8290 143 303 0 8882 0
[pid=4815/tid=4819] ppid=4373 vsize=624720 CPUtime=0 cores=1,3,5,7
/proc/4815/task/4819/stat : 4819 (python) S 4373 4373 2614 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 337745467 639713280 15696 33554432000 4194304 5683644 140735371266432 140486274740784 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4850] ppid=4373 vsize=700512 CPUtime=0.08 cores=1,3,5,7
/proc/4850/stat : 4850 (python) S 4373 4373 2614 0 -1 4202560 1128 0 0 0 5 3 0 0 20 0 2 0 337763789 717324288 15702 33554432000 4194304 5683644 140735371266432 140735371258080 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4850/statm: 175128 15702 383 364 0 110336 0
[pid=4852] ppid=4850 vsize=78676 CPUtime=45.76 cores=1,3,5,7
/proc/4852/stat : 4852 (wbo1.4b-fixed) T 4850 4852 4852 0 -1 4202496 20713 0 0 0 4565 11 0 0 20 0 1 0 337763789 80564224 18758 33554432000 134512640 135752315 4286775200 4286773200 134611149 0 0 16781312 3 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/4852/statm: 19669 18758 146 303 0 19364 0
[pid=4850/tid=4857] ppid=4373 vsize=700512 CPUtime=0 cores=1,3,5,7
/proc/4850/task/4857/stat : 4857 (python) S 4373 4373 2614 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 337768367 717324288 15702 33554432000 4194304 5683644 140735371266432 140486264250928 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4373/tid=4380] ppid=4371 vsize=776292 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4380/stat : 4380 (python) S 4371 4373 2614 0 -1 4202560 34 1009 0 0 0 0 0 0 20 0 7 0 337715982 794923008 17237 33554432000 4194304 5683644 140735371266432 140486319051312 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4373/tid=4698] ppid=4371 vsize=776292 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4698/stat : 4698 (python) S 4371 4373 2614 0 -1 4202560 22 1009 0 0 0 0 0 0 20 0 7 0 337721516 794923008 17237 33554432000 4194304 5683644 140735371266432 140486308561456 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4373/tid=4794] ppid=4371 vsize=776292 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4794/stat : 4794 (python) S 4371 4373 2614 0 -1 4202560 25 1009 0 0 0 0 0 0 20 0 7 0 337726300 794923008 17237 33554432000 4194304 5683644 140735371266432 140486285242928 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4373/tid=4802] ppid=4371 vsize=776292 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4802/stat : 4802 (python) S 4371 4373 2614 0 -1 4202560 24 1009 0 0 0 0 0 0 20 0 7 0 337731181 794923008 17237 33554432000 4194304 5683644 140735371266432 140486274740784 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4373/tid=4816] ppid=4371 vsize=776292 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4816/stat : 4816 (python) S 4371 4373 2614 0 -1 4202560 22 1009 0 0 0 0 0 0 20 0 7 0 337740563 794923008 17237 33554432000 4194304 5683644 140735371266432 140486264250928 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4373/tid=4851] ppid=4371 vsize=776292 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4851/stat : 4851 (python) S 4371 4373 2614 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 7 0 337763789 794923008 17237 33554432000 4194304 5683644 140735371266432 140486253761072 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1003.69
Current children cumulated vsize (KiB) 6158164
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1030.9 s]
/proc/loadavg: 2.00 2.05 2.16 5/241 4966
/proc/meminfo: memFree=28586560/32873844 swapFree=7116/7116
[pid=4373] ppid=4371 vsize=852084 CPUtime=11.4 cores=1,3,5,7
/proc/4373/stat : 4373 (python) S 4371 4373 2614 0 -1 4202496 29902 1009 1 0 1122 18 0 0 20 0 8 0 337715674 872534016 17245 33554432000 4194304 5683644 140735371266432 140735371261264 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4373/statm: 213021 17245 1915 364 0 148226 0
[pid=4379] ppid=4373 vsize=397332 CPUtime=0.43 cores=1,3,5,7
/proc/4379/stat : 4379 (python) S 4373 4373 2614 0 -1 4202560 1198 0 0 0 25 18 0 0 20 0 2 0 337715982 406867968 15692 33554432000 4194304 5683644 140735371266432 140735371258080 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4379/statm: 99333 15692 397 364 0 34556 0
[pid=4381] ppid=4379 vsize=66500 CPUtime=229.62 cores=1,3,5,7
/proc/4381/stat : 4381 (clasp-1.3.7-x86) T 4379 4381 4381 0 -1 4202496 17738 0 0 0 22948 14 0 0 20 0 1 0 337715982 68096000 16290 33554432000 134512640 136139019 4290644912 4290643892 134883821 0 0 16781312 16386 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/4381/statm: 16625 16290 183 398 0 16225 0
[pid=4379/tid=4650] ppid=4373 vsize=397332 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4650/stat : 4650 (python) S 4373 4373 2614 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 2 0 337720695 406867968 15692 33554432000 4194304 5683644 140735371266432 140486319051312 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4697] ppid=4373 vsize=397344 CPUtime=0.08 cores=1,3,5,7
/proc/4697/stat : 4697 (python) S 4373 4373 2614 0 -1 4202560 1078 0 0 0 4 4 0 0 20 0 2 0 337721516 406880256 15678 33554432000 4194304 5683644 140735371266432 140735371258080 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4697/statm: 99336 15678 383 364 0 34556 0
[pid=4699] ppid=4697 vsize=170584 CPUtime=47.8 cores=1,3,5,7
/proc/4699/stat : 4699 (minion) T 4697 4699 4699 0 -1 4202496 33356 0 0 0 4772 8 0 0 20 0 1 0 337721516 174678016 35299 33554432000 134512640 165565024 4291633008 4291630320 158624694 0 0 16781312 8396802 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/4699/statm: 42646 35299 345 7582 0 35061 0
[pid=4697/tid=4792] ppid=4373 vsize=397344 CPUtime=0 cores=1,3,5,7
/proc/4697/task/4792/stat : 4792 (python) S 4373 4373 2614 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337726297 406880256 15678 33554432000 4194304 5683644 140735371266432 140486319051312 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4793] ppid=4373 vsize=473136 CPUtime=1.04 cores=1,3,5,7
/proc/4793/stat : 4793 (python) S 4373 4373 2614 0 -1 4202560 1174 0 0 0 58 46 0 0 20 0 2 0 337726300 484491264 15684 33554432000 4194304 5683644 140735371266432 140735371258080 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4793/statm: 118284 15684 383 364 0 53501 0
[pid=4795] ppid=4793 vsize=1175008 CPUtime=552.02 cores=1,3,5,7
/proc/4795/stat : 4795 (scip-2.0.1.linu) T 4793 4795 4795 0 -1 4202496 263592 0 0 0 55024 178 0 0 20 0 1 0 337726300 1203208192 290281 33554432000 4194304 13684479 140736456682224 140736456678520 5688624 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/4795/statm: 293752 290281 659 2317 0 291430 0
[pid=4793/tid=4800] ppid=4373 vsize=473136 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4800/stat : 4800 (python) S 4373 4373 2614 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 337731179 484491264 15684 33554432000 4194304 5683644 140735371266432 140486308561456 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4801] ppid=4373 vsize=548928 CPUtime=0.18 cores=1,3,5,7
/proc/4801/stat : 4801 (python) S 4373 4373 2614 0 -1 4202560 1156 0 0 0 11 7 0 0 20 0 2 0 337731181 562102272 15690 33554432000 4194304 5683644 140735371266432 140735371258080 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4801/statm: 137232 15690 383 364 0 72446 0
[pid=4803] ppid=4801 vsize=730124 CPUtime=94.34 cores=1,3,5,7
/proc/4803/stat : 4803 (scip-2.0.1.linu) T 4801 4803 4803 0 -1 4202496 168897 0 0 0 9356 78 0 0 20 0 1 0 337731181 747646976 176313 33554432000 4194304 15243407 140733731298640 140733731294936 5688624 0 0 16781312 2 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/4803/statm: 182531 176313 702 2698 0 179826 0
[pid=4801/tid=4809] ppid=4373 vsize=548928 CPUtime=0 cores=1,3,5,7
/proc/4801/task/4809/stat : 4809 (python) S 4373 4373 2614 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337736045 562102272 15690 33554432000 4194304 5683644 140735371266432 140486285242928 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4815] ppid=4373 vsize=624720 CPUtime=0.09 cores=1,3,5,7
/proc/4815/stat : 4815 (python) S 4373 4373 2614 0 -1 4202560 1115 0 0 0 5 4 0 0 20 0 2 0 337740563 639713280 15696 33554432000 4194304 5683644 140735371266432 140735371258080 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4815/statm: 156180 15696 383 364 0 91391 0
[pid=4817] ppid=4815 vsize=36748 CPUtime=49.01 cores=1,3,5,7
/proc/4817/stat : 4817 (wbo1.4a) T 4815 4817 4817 0 -1 4202496 10244 0 0 0 4895 6 0 0 20 0 1 0 337740564 37629952 8290 33554432000 134512640 135751879 4291782240 4291779856 134604723 0 0 16781312 3 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/4817/statm: 9187 8290 143 303 0 8882 0
[pid=4815/tid=4819] ppid=4373 vsize=624720 CPUtime=0 cores=1,3,5,7
/proc/4815/task/4819/stat : 4819 (python) S 4373 4373 2614 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 337745467 639713280 15696 33554432000 4194304 5683644 140735371266432 140486274740784 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4850] ppid=4373 vsize=700512 CPUtime=0.08 cores=1,3,5,7
/proc/4850/stat : 4850 (python) S 4373 4373 2614 0 -1 4202560 1128 0 0 0 5 3 0 0 20 0 2 0 337763789 717324288 15702 33554432000 4194304 5683644 140735371266432 140735371258080 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4850/statm: 175128 15702 383 364 0 110336 0
[pid=4852] ppid=4850 vsize=78676 CPUtime=45.76 cores=1,3,5,7
/proc/4852/stat : 4852 (wbo1.4b-fixed) T 4850 4852 4852 0 -1 4202496 20713 0 0 0 4565 11 0 0 20 0 1 0 337763789 80564224 18758 33554432000 134512640 135752315 4286775200 4286773200 134611149 0 0 16781312 3 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/4852/statm: 19669 18758 146 303 0 19364 0
[pid=4850/tid=4857] ppid=4373 vsize=700512 CPUtime=0 cores=1,3,5,7
/proc/4850/task/4857/stat : 4857 (python) S 4373 4373 2614 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 337768367 717324288 15702 33554432000 4194304 5683644 140735371266432 140486264250928 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4947] ppid=4373 vsize=776304 CPUtime=0 cores=1,3,5,7
/proc/4947/stat : 4947 (python) S 4373 4373 2614 0 -1 4202560 844 0 0 0 0 0 0 0 20 0 1 0 337818716 794935296 15659 33554432000 4194304 5683644 140735371266432 140735371257520 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 7 0 0 0 0 0
/proc/4947/statm: 194076 15659 335 364 0 129281 0
[pid=4949] ppid=4947 vsize=9558408 CPUtime=0.96 cores=1,3,5,7
/proc/4949/stat : 4949 (java) S 4947 4949 4949 0 -1 4202496 9310 0 1 0 93 3 0 0 20 0 18 0 337818717 9787809792 23335 33554432000 1073741824 1073778376 140733422724448 140733422715584 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4949/statm: 2389602 23335 2228 9 0 2380296 0
[pid=4949/tid=4950] ppid=4947 vsize=9558408 CPUtime=0.44 cores=1,3,5,7
/proc/4949/task/4950/stat : 4950 (java) R 4947 4949 4949 0 -1 4202560 2450 0 1 0 42 2 0 0 20 0 18 0 337818718 9787809792 23335 33554432000 1073741824 1073778376 140733422724448 139689069702408 240568558861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4949/tid=4951] ppid=4947 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/4949/task/4951/stat : 4951 (java) S 4947 4949 4949 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337818719 9787809792 23335 33554432000 1073741824 1073778376 140733422724448 139689047804328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4949/tid=4952] ppid=4947 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/4949/task/4952/stat : 4952 (java) S 4947 4949 4949 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337818719 9787809792 23335 33554432000 1073741824 1073778376 140733422724448 139688845240872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4949/tid=4953] ppid=4947 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/4949/task/4953/stat : 4953 (java) S 4947 4949 4949 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337818719 9787809792 23335 33554432000 1073741824 1073778376 140733422724448 139688844187816 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4949/tid=4954] ppid=4947 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/4949/task/4954/stat : 4954 (java) S 4947 4949 4949 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337818719 9787809792 23335 33554432000 1073741824 1073778376 140733422724448 139688843135272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4949/tid=4955] ppid=4947 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/4949/task/4955/stat : 4955 (java) S 4947 4949 4949 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337818719 9787809792 23335 33554432000 1073741824 1073778376 140733422724448 139688842083240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4949/tid=4956] ppid=4947 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/4949/task/4956/stat : 4956 (java) S 4947 4949 4949 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337818719 9787809792 23335 33554432000 1073741824 1073778376 140733422724448 139688841030696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4949/tid=4957] ppid=4947 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/4949/task/4957/stat : 4957 (java) S 4947 4949 4949 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337818719 9787809792 23335 33554432000 1073741824 1073778376 140733422724448 139688839977640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4949/tid=4958] ppid=4947 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/4949/task/4958/stat : 4958 (java) S 4947 4949 4949 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 337818719 9787809792 23335 33554432000 1073741824 1073778376 140733422724448 139688838925096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4949/tid=4959] ppid=4947 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/4949/task/4959/stat : 4959 (java) S 4947 4949 4949 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 337818721 9787809792 23335 33554432000 1073741824 1073778376 140733422724448 139688826513768 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4949/tid=4960] ppid=4947 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/4949/task/4960/stat : 4960 (java) S 4947 4949 4949 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 337818721 9787809792 23335 33554432000 1073741824 1073778376 140733422724448 139688825460088 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4949/tid=4961] ppid=4947 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/4949/task/4961/stat : 4961 (java) S 4947 4949 4949 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 337818721 9787809792 23335 33554432000 1073741824 1073778376 140733422724448 139688824406920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4949/tid=4962] ppid=4947 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/4949/task/4962/stat : 4962 (java) S 4947 4949 4949 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337818724 9787809792 23335 33554432000 1073741824 1073778376 140733422724448 139688823355664 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4949/tid=4963] ppid=4947 vsize=9558408 CPUtime=0.25 cores=1,3,5,7
/proc/4949/task/4963/stat : 4963 (java) S 4947 4949 4949 0 -1 4202560 3026 0 0 0 25 0 0 0 20 0 18 0 337818724 9787809792 23335 33554432000 1073741824 1073778376 140733422724448 139688822303544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4949/tid=4964] ppid=4947 vsize=9558408 CPUtime=0.22 cores=1,3,5,7
/proc/4949/task/4964/stat : 4964 (java) S 4947 4949 4949 0 -1 4202560 2415 0 0 0 22 0 0 0 20 0 18 0 337818724 9787809792 23335 33554432000 1073741824 1073778376 140733422724448 139688821251000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4949/tid=4965] ppid=4947 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/4949/task/4965/stat : 4965 (java) S 4947 4949 4949 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337818724 9787809792 23335 33554432000 1073741824 1073778376 140733422724448 139688820198136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4949/tid=4966] ppid=4947 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/4949/task/4966/stat : 4966 (java) S 4947 4949 4949 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 337818724 9787809792 23335 33554432000 1073741824 1073778376 140733422724448 139688819145800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4373/tid=4380] ppid=4371 vsize=852084 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4380/stat : 4380 (python) S 4371 4373 2614 0 -1 4202560 34 1009 0 0 0 0 0 0 20 0 8 0 337715982 872534016 17245 33554432000 4194304 5683644 140735371266432 140486319051312 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4373/tid=4698] ppid=4371 vsize=852084 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4698/stat : 4698 (python) S 4371 4373 2614 0 -1 4202560 22 1009 0 0 0 0 0 0 20 0 8 0 337721516 872534016 17245 33554432000 4194304 5683644 140735371266432 140486308561456 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4373/tid=4794] ppid=4371 vsize=852084 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4794/stat : 4794 (python) S 4371 4373 2614 0 -1 4202560 25 1009 0 0 0 0 0 0 20 0 8 0 337726300 872534016 17245 33554432000 4194304 5683644 140735371266432 140486285242928 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4373/tid=4802] ppid=4371 vsize=852084 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4802/stat : 4802 (python) S 4371 4373 2614 0 -1 4202560 24 1009 0 0 0 0 0 0 20 0 8 0 337731181 872534016 17245 33554432000 4194304 5683644 140735371266432 140486274740784 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4373/tid=4816] ppid=4371 vsize=852084 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4816/stat : 4816 (python) S 4371 4373 2614 0 -1 4202560 22 1009 0 0 0 0 0 0 20 0 8 0 337740563 872534016 17245 33554432000 4194304 5683644 140735371266432 140486264250928 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4373/tid=4851] ppid=4371 vsize=852084 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4851/stat : 4851 (python) S 4371 4373 2614 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 8 0 337763789 872534016 17245 33554432000 4194304 5683644 140735371266432 140486253761072 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4373/tid=4948] ppid=4371 vsize=852084 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4948/stat : 4948 (python) S 4371 4373 2614 0 -1 4202560 22 1009 0 0 0 0 0 0 20 0 8 0 337818716 872534016 17245 33554432000 4194304 5683644 140735371266432 140486243271216 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1032.81
Current children cumulated vsize (KiB) 16586408
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4373 and gives
# childrusage.ru_utime.tv_sec=11
# childrusage.ru_utime.tv_usec=229292
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=188971
# CPU time returned by wait4() is 11.4183
# while last known CPU time is 1032.81
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1030.97
CPU time (s): 1032.81
CPU user time (s): 1028.83
CPU system time (s): 3.98
CPU usage (%): 100.179
Max. virtual memory (cumulated for all children) (KiB): 16586408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.2293
system time used= 0.188971
maximum resident set size= 71520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30911
page faults= 1
swaps= 0
block input operations= 0
block output operations= 18296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1032
involuntary context switches= 325
runsolver used 3.99039 second user time and 11.1343 second system time
The end