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-3482228-1307578771/watcher-3482228-1307578771 -o /tmp/evaluation-result-3482228-1307578771/solver-3482228-1307578771 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482228-1307578771.opb -seed 459633225 -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.08 2.18 1.99 3/818 4359
/proc/meminfo: memFree=8534388/32950928 swapFree=34366004/67111528
[pid=4359] ppid=4357 vsize=15780 CPUtime=0 cores=1,3,5,7
/proc/4359/stat : 4359 (python) R 4357 4359 2236 0 -1 4202496 899 0 0 0 0 0 0 0 21 0 1 0 869475992 16158720 779 33554432000 4194304 5683644 140737153787856 18446744073709551615 235594909831 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4359/statm: 3945 780 343 364 0 432 0
[startup+0.0441491 s]
/proc/loadavg: 2.08 2.18 1.99 3/818 4359
/proc/meminfo: memFree=8534388/32950928 swapFree=34366004/67111528
[pid=4359] ppid=4357 vsize=25320 CPUtime=0.02 cores=1,3,5,7
/proc/4359/stat : 4359 (python) S 4357 4359 2236 0 -1 4202496 1349 0 0 0 2 0 0 0 17 0 1 0 869475992 25927680 1194 33554432000 4194304 5683644 140737153787856 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 5 0 0 0
/proc/4359/statm: 6330 1194 438 364 0 731 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25320
[startup+0.10014 s]
/proc/loadavg: 2.08 2.18 1.99 3/818 4359
/proc/meminfo: memFree=8534388/32950928 swapFree=34366004/67111528
[pid=4359] ppid=4357 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/4359/stat : 4359 (python) R 4357 4359 2236 0 -1 4202496 3169 931 1 0 6 1 0 0 18 0 1 0 869475992 98435072 2483 33554432000 4194304 5683644 140737153787856 18446744073709551615 5177696 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4359/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300105 s]
/proc/loadavg: 2.08 2.18 1.99 3/818 4359
/proc/meminfo: memFree=8534388/32950928 swapFree=34366004/67111528
[pid=4359] ppid=4357 vsize=193296 CPUtime=0.22 cores=1,3,5,7
/proc/4359/stat : 4359 (python) R 4357 4359 2236 0 -1 4202496 6575 931 1 0 17 5 0 0 17 0 1 0 869475992 197935104 4866 33554432000 4194304 5683644 140737153787856 18446744073709551615 235594864640 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/4359/statm: 48324 4866 1417 364 0 3677 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 193296
[startup+0.701034 s]
/proc/loadavg: 2.08 2.18 1.99 3/818 4359
/proc/meminfo: memFree=8534388/32950928 swapFree=34366004/67111528
[pid=4359] ppid=4357 vsize=297052 CPUtime=0.6 cores=1,3,5,7
/proc/4359/stat : 4359 (python) R 4357 4359 2236 0 -1 4202496 12705 931 1 0 51 9 0 0 17 0 1 0 869475992 304181248 10566 33554432000 4194304 5683644 140737153787856 18446744073709551615 46988410637216 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/4359/statm: 74263 10566 1781 364 0 9156 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 297052
[startup+1.50095 s]
/proc/loadavg: 2.08 2.18 1.99 3/819 4364
/proc/meminfo: memFree=8486020/32950928 swapFree=34366004/67111528
[pid=4359] ppid=4357 vsize=319772 CPUtime=1.4 cores=1,3,5,7
/proc/4359/stat : 4359 (python) R 4357 4359 2236 0 -1 4202496 18234 931 1 0 130 10 0 0 18 0 1 0 869475992 327446528 16095 33554432000 4194304 5683644 140737153787856 18446744073709551615 4620049 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/4359/statm: 79943 16095 1781 364 0 14836 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 319772
[startup+3.10061 s]
/proc/loadavg: 2.08 2.18 1.99 5/839 4384
/proc/meminfo: memFree=8446120/32950928 swapFree=34366004/67111528
[pid=4359] ppid=4357 vsize=336388 CPUtime=2.99 cores=1,3,5,7
/proc/4359/stat : 4359 (python) R 4357 4359 2236 0 -1 4202496 31746 931 1 0 288 11 0 0 21 0 1 0 869475992 344461312 20443 33554432000 4194304 5683644 140737153787856 18446744073709551615 235594524897 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/4359/statm: 84097 20443 1815 364 0 18990 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 336388
[startup+6.30105 s]
/proc/loadavg: 2.64 2.30 2.03 3/803 4412
/proc/meminfo: memFree=8484864/32950928 swapFree=34366004/67111528
[pid=4359] ppid=4357 vsize=352404 CPUtime=4.76 cores=1,3,5,7
/proc/4359/stat : 4359 (python) S 4357 4359 2236 0 -1 4202496 33473 931 1 0 464 12 0 0 25 0 2 0 869475992 360861696 21939 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4359/statm: 88101 21939 1870 364 0 22988 0
[pid=4409] ppid=4359 vsize=342160 CPUtime=0 cores=1,3,5,7
/proc/4409/stat : 4409 (python) S 4359 4359 2236 0 -1 4202560 733 0 0 0 0 0 0 0 18 0 1 0 869476478 350371840 20416 33554432000 4194304 5683644 140737153787856 18446744073709551615 235594886671 0 0 16781312 33554946 10858152420685349125 0 0 17 3 0 0 0
/proc/4409/statm: 85540 20416 351 364 0 20427 0
[pid=4411] ppid=4409 vsize=55784 CPUtime=1.42 cores=1,3,5,7
/proc/4411/stat : 4411 (wbo1.4a) R 4409 4411 4411 0 -1 4202496 21801 0 0 0 140 2 0 0 25 0 1 0 869476478 57122816 12957 33554432000 134512640 135751879 4288762528 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/4411/statm: 13946 12957 143 303 0 13641 0
[pid=4359/tid=4410] ppid=4357 vsize=352404 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4410/stat : 4410 (python) S 4357 4359 2236 0 -1 4202560 28 931 0 0 0 0 0 0 25 0 2 0 869476478 360861696 21939 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554434 18446604466482586624 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 750348
[startup+12.7009 s]
/proc/loadavg: 2.83 2.34 2.04 3/810 4424
/proc/meminfo: memFree=8283780/32950928 swapFree=34366004/67111528
[pid=4359] ppid=4357 vsize=352404 CPUtime=4.76 cores=1,3,5,7
/proc/4359/stat : 4359 (python) S 4357 4359 2236 0 -1 4202496 33473 931 1 0 464 12 0 0 25 0 2 0 869475992 360861696 21939 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4359/statm: 88101 21939 1870 364 0 22988 0
[pid=4409] ppid=4359 vsize=342160 CPUtime=0.04 cores=1,3,5,7
/proc/4409/stat : 4409 (python) S 4359 4359 2236 0 -1 4202560 908 0 0 0 2 2 0 0 15 0 1 0 869476478 350371840 20440 33554432000 4194304 5683644 140737153787856 18446744073709551615 235594886671 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/4409/statm: 85540 20440 375 364 0 20427 0
[pid=4411] ppid=4409 vsize=63296 CPUtime=7.82 cores=1,3,5,7
/proc/4411/stat : 4411 (wbo1.4a) R 4409 4411 4411 0 -1 4202496 36890 0 0 0 776 6 0 0 25 0 1 0 869476478 64815104 14915 33554432000 134512640 135751879 4288762528 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/4411/statm: 15824 14915 146 303 0 15519 0
[pid=4359/tid=4410] ppid=4357 vsize=352404 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4410/stat : 4410 (python) S 4357 4359 2236 0 -1 4202560 28 931 0 0 0 0 0 0 25 0 2 0 869476478 360861696 21939 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554434 18446604466482586624 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 757860
[startup+25.5007 s]
/proc/loadavg: 2.64 2.32 2.04 3/810 4424
/proc/meminfo: memFree=8274312/32950928 swapFree=34366004/67111528
[pid=4359] ppid=4357 vsize=352404 CPUtime=4.76 cores=1,3,5,7
/proc/4359/stat : 4359 (python) S 4357 4359 2236 0 -1 4202496 33473 931 1 0 464 12 0 0 25 0 2 0 869475992 360861696 21939 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4359/statm: 88101 21939 1870 364 0 22988 0
[pid=4409] ppid=4359 vsize=342160 CPUtime=0.11 cores=1,3,5,7
/proc/4409/stat : 4409 (python) S 4359 4359 2236 0 -1 4202560 918 0 0 0 5 6 0 0 15 0 1 0 869476478 350371840 20440 33554432000 4194304 5683644 140737153787856 18446744073709551615 235594886671 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/4409/statm: 85540 20440 375 364 0 20427 0
[pid=4411] ppid=4409 vsize=69012 CPUtime=20.63 cores=1,3,5,7
/proc/4411/stat : 4411 (wbo1.4a) R 4409 4411 4411 0 -1 4202496 44684 0 0 0 2050 13 0 0 25 0 1 0 869476478 70668288 16338 33554432000 134512640 135751879 4288762528 18446744073709551615 134616224 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/4411/statm: 17253 16338 146 303 0 16948 0
[pid=4359/tid=4410] ppid=4357 vsize=352404 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4410/stat : 4410 (python) S 4357 4359 2236 0 -1 4202560 28 931 0 0 0 0 0 0 25 0 2 0 869476478 360861696 21939 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554434 18446604466482586624 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 763576
[startup+51.1012 s]
/proc/loadavg: 2.42 2.30 2.04 3/810 4425
/proc/meminfo: memFree=8247012/32950928 swapFree=34366004/67111528
[pid=4359] ppid=4357 vsize=352404 CPUtime=4.76 cores=1,3,5,7
/proc/4359/stat : 4359 (python) S 4357 4359 2236 0 -1 4202496 33473 931 1 0 464 12 0 0 25 0 2 0 869475992 360861696 21939 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4359/statm: 88101 21939 1870 364 0 22988 0
[pid=4409] ppid=4359 vsize=342160 CPUtime=0.22 cores=1,3,5,7
/proc/4409/stat : 4409 (python) S 4359 4359 2236 0 -1 4202560 928 0 0 0 10 12 0 0 15 0 1 0 869476478 350371840 20440 33554432000 4194304 5683644 140737153787856 18446744073709551615 235594886671 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/4409/statm: 85540 20440 375 364 0 20427 0
[pid=4411] ppid=4409 vsize=77940 CPUtime=46.23 cores=1,3,5,7
/proc/4411/stat : 4411 (wbo1.4a) R 4409 4411 4411 0 -1 4202496 50852 0 0 0 4598 25 0 0 25 0 1 0 869476478 79810560 18562 33554432000 134512640 135751879 4288762528 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/4411/statm: 19485 18562 146 303 0 19180 0
[pid=4359/tid=4410] ppid=4357 vsize=352404 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4410/stat : 4410 (python) S 4357 4359 2236 0 -1 4202560 28 931 0 0 0 0 0 0 25 0 2 0 869476478 360861696 21939 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554434 18446604466482586624 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 772504
[startup+102.32 s]
/proc/loadavg: 2.18 2.25 2.03 3/818 4434
/proc/meminfo: memFree=6225004/32950928 swapFree=34366004/67111528
[pid=4359] ppid=4357 vsize=362660 CPUtime=4.78 cores=1,3,5,7
/proc/4359/stat : 4359 (python) S 4357 4359 2236 0 -1 4202496 34342 931 1 0 466 12 0 0 20 0 3 0 869475992 371363840 21946 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4359/statm: 90665 21946 1873 364 0 25549 0
[pid=4409] ppid=4359 vsize=352404 CPUtime=0.24 cores=1,3,5,7
/proc/4409/stat : 4409 (python) S 4359 4359 2236 0 -1 4202560 1092 0 0 0 11 13 0 0 17 0 2 0 869476478 360861696 20476 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4409/statm: 88101 20476 406 364 0 22988 0
[pid=4411] ppid=4409 vsize=77940 CPUtime=46.52 cores=1,3,5,7
/proc/4411/stat : 4411 (wbo1.4a) T 4409 4411 4411 0 -1 4202496 50852 0 0 0 4627 25 0 0 25 0 1 0 869476478 79810560 18562 33554432000 134512640 135751879 4288762528 18446744073709551615 134620474 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/4411/statm: 19485 18562 146 303 0 19180 0
[pid=4409/tid=4426] ppid=4359 vsize=352404 CPUtime=0 cores=1,3,5,7
/proc/4409/task/4426/stat : 4426 (python) S 4359 4359 2236 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869481131 360861696 20476 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554946 18446604457322266944 0 0 -1 7 0 0 0
[pid=4427] ppid=4359 vsize=352416 CPUtime=0.21 cores=1,3,5,7
/proc/4427/stat : 4427 (python) S 4359 4359 2236 0 -1 4202560 944 0 0 0 9 12 0 0 15 0 1 0 869481134 360873984 20441 33554432000 4194304 5683644 140737153787856 18446744073709551615 235594886726 0 0 16781312 33554946 5623753486446373564 0 0 17 7 0 0 0
/proc/4427/statm: 88104 20441 372 364 0 22988 0
[pid=4429] ppid=4427 vsize=1029440 CPUtime=50.89 cores=1,3,5,7
/proc/4429/stat : 4429 (scip-2.0.1.linu) R 4427 4429 4429 0 -1 4202496 257721 0 0 0 4875 214 0 0 25 0 1 0 869481134 1054146560 249826 33554432000 4194304 13684479 140734836614752 18446744073709551615 5688633 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4429/statm: 257360 249826 694 2317 0 255038 0
[pid=4359/tid=4410] ppid=4357 vsize=362660 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4410/stat : 4410 (python) S 4357 4359 2236 0 -1 4202560 28 931 0 0 0 0 0 0 25 0 3 0 869476478 371363840 21946 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554434 18446604466482586624 0 0 -1 3 0 0 0
[pid=4359/tid=4428] ppid=4357 vsize=362660 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4428/stat : 4428 (python) S 4357 4359 2236 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 3 0 869481134 371363840 21946 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554434 18446604466482586624 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.64
Current children cumulated vsize (KiB) 2174860
[startup+162.302 s]
/proc/loadavg: 2.11 2.22 2.03 3/870 4490
/proc/meminfo: memFree=475596/32950928 swapFree=34366004/67111528
[pid=4359] ppid=4357 vsize=383172 CPUtime=4.83 cores=1,3,5,7
/proc/4359/stat : 4359 (python) S 4357 4359 2236 0 -1 4202496 36120 931 1 0 471 12 0 0 20 0 5 0 869475992 392368128 21958 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4359/statm: 95793 21958 1877 364 0 30671 0
[pid=4409] ppid=4359 vsize=352404 CPUtime=0.24 cores=1,3,5,7
/proc/4409/stat : 4409 (python) S 4359 4359 2236 0 -1 4202560 1092 0 0 0 11 13 0 0 17 0 2 0 869476478 360861696 20476 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4409/statm: 88101 20476 406 364 0 22988 0
[pid=4411] ppid=4409 vsize=77940 CPUtime=46.52 cores=1,3,5,7
/proc/4411/stat : 4411 (wbo1.4a) T 4409 4411 4411 0 -1 4202496 50852 0 0 0 4627 25 0 0 25 0 1 0 869476478 79810560 18562 33554432000 134512640 135751879 4288762528 18446744073709551615 134620474 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/4411/statm: 19485 18562 146 303 0 19180 0
[pid=4409/tid=4426] ppid=4359 vsize=352404 CPUtime=0 cores=1,3,5,7
/proc/4409/task/4426/stat : 4426 (python) S 4359 4359 2236 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869481131 360861696 20476 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554946 18446604457322266944 0 0 -1 7 0 0 0
[pid=4427] ppid=4359 vsize=352416 CPUtime=0.23 cores=1,3,5,7
/proc/4427/stat : 4427 (python) S 4359 4359 2236 0 -1 4202560 1111 0 0 0 10 13 0 0 16 0 2 0 869481134 360873984 20466 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4427/statm: 88104 20466 396 364 0 22988 0
[pid=4429] ppid=4427 vsize=1030148 CPUtime=52.37 cores=1,3,5,7
/proc/4429/stat : 4429 (scip-2.0.1.linu) T 4427 4429 4429 0 -1 4202496 258201 0 0 0 5023 214 0 0 25 0 1 0 869481134 1054871552 250306 33554432000 4194304 13684479 140734836614752 18446744073709551615 4880647 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/4429/statm: 257537 250306 694 2317 0 255215 0
[pid=4427/tid=4456] ppid=4359 vsize=352416 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4456/stat : 4456 (python) S 4359 4359 2236 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869486372 360873984 20466 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554946 18446604465090355456 0 0 -1 7 0 0 0
[pid=4457] ppid=4359 vsize=362672 CPUtime=0.19 cores=1,3,5,7
################
# More data... #
################
[pid=4459/tid=4478] ppid=4457 vsize=8546460 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4478/stat : 4478 (java) T 4457 4459 4459 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869486554 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4457/tid=4481] ppid=4359 vsize=362672 CPUtime=0 cores=1,3,5,7
/proc/4457/task/4481/stat : 4481 (python) S 4359 4359 2236 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869490763 371376128 20470 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554946 18446604458919771136 0 0 -1 7 0 0 0
[pid=4482] ppid=4359 vsize=372928 CPUtime=0.32 cores=1,3,5,7
/proc/4482/stat : 4482 (python) S 4359 4359 2236 0 -1 4202560 998 0 0 0 15 17 0 0 15 0 1 0 869490766 381878272 20449 33554432000 4194304 5683644 140737153787856 18446744073709551615 235594886726 0 0 16781312 33554946 5623753486446373564 0 0 17 7 0 0 0
/proc/4482/statm: 93232 20449 372 364 0 28110 0
[pid=4484] ppid=4482 vsize=35632 CPUtime=74.54 cores=1,3,5,7
/proc/4484/stat : 4484 (clasp-1.3.7-x86) R 4482 4484 4484 0 -1 4202496 11270 0 0 0 7453 1 0 0 25 0 1 0 869490766 36487168 8644 33554432000 134512640 136139019 4288156368 18446744073709551615 134828798 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/4484/statm: 8908 8644 190 398 0 8508 0
[pid=4359/tid=4410] ppid=4357 vsize=383172 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4410/stat : 4410 (python) S 4357 4359 2236 0 -1 4202560 28 931 0 0 0 0 0 0 25 0 5 0 869476478 392368128 21958 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554434 18446604466482586624 0 0 -1 3 0 0 0
[pid=4359/tid=4428] ppid=4357 vsize=383172 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4428/stat : 4428 (python) S 4357 4359 2236 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 5 0 869481134 392368128 21958 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554434 18446604466482586624 0 0 -1 5 0 0 0
[pid=4359/tid=4458] ppid=4357 vsize=383172 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4458/stat : 4458 (python) S 4357 4359 2236 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 5 0 869486375 392368128 21958 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554434 18446604466482586624 0 0 -1 5 0 0 0
[pid=4359/tid=4483] ppid=4357 vsize=383172 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4483/stat : 4483 (python) S 4357 4359 2236 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 5 0 869490766 392368128 21958 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554434 18446604466482586624 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 225.81
Current children cumulated vsize (KiB) 11513772
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+240.802 s]
/proc/loadavg: 2.12 2.19 2.04 4/891 4515
/proc/meminfo: memFree=300708/32950928 swapFree=34366004/67111528
[pid=4359] ppid=4357 vsize=393428 CPUtime=4.86 cores=1,3,5,7
/proc/4359/stat : 4359 (python) S 4357 4359 2236 0 -1 4202496 37035 931 1 0 474 12 0 0 19 0 6 0 869475992 402870272 21964 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4359/statm: 98357 21964 1879 364 0 33232 0
[pid=4409] ppid=4359 vsize=352404 CPUtime=0.24 cores=1,3,5,7
/proc/4409/stat : 4409 (python) S 4359 4359 2236 0 -1 4202560 1092 0 0 0 11 13 0 0 17 0 2 0 869476478 360861696 20476 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4409/statm: 88101 20476 406 364 0 22988 0
[pid=4411] ppid=4409 vsize=77940 CPUtime=46.52 cores=1,3,5,7
/proc/4411/stat : 4411 (wbo1.4a) T 4409 4411 4411 0 -1 4202496 50852 0 0 0 4627 25 0 0 25 0 1 0 869476478 79810560 18562 33554432000 134512640 135751879 4288762528 18446744073709551615 134620474 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/4411/statm: 19485 18562 146 303 0 19180 0
[pid=4409/tid=4426] ppid=4359 vsize=352404 CPUtime=0 cores=1,3,5,7
/proc/4409/task/4426/stat : 4426 (python) S 4359 4359 2236 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869481131 360861696 20476 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554946 18446604457322266944 0 0 -1 7 0 0 0
[pid=4427] ppid=4359 vsize=352416 CPUtime=0.23 cores=1,3,5,7
/proc/4427/stat : 4427 (python) S 4359 4359 2236 0 -1 4202560 1111 0 0 0 10 13 0 0 16 0 2 0 869481134 360873984 20466 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4427/statm: 88104 20466 396 364 0 22988 0
[pid=4429] ppid=4427 vsize=1030148 CPUtime=52.37 cores=1,3,5,7
/proc/4429/stat : 4429 (scip-2.0.1.linu) T 4427 4429 4429 0 -1 4202496 258201 0 0 0 5023 214 0 0 25 0 1 0 869481134 1054871552 250306 33554432000 4194304 13684479 140734836614752 18446744073709551615 4880647 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/4429/statm: 257537 250306 694 2317 0 255215 0
[pid=4427/tid=4456] ppid=4359 vsize=352416 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4456/stat : 4456 (python) S 4359 4359 2236 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869486372 360873984 20466 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554946 18446604465090355456 0 0 -1 7 0 0 0
[pid=4457] ppid=4359 vsize=362672 CPUtime=0.19 cores=1,3,5,7
/proc/4457/stat : 4457 (python) S 4359 4359 2236 0 -1 4202560 1095 0 0 0 8 11 0 0 16 0 2 0 869486375 371376128 20470 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4457/statm: 90668 20470 396 364 0 25549 0
[pid=4459] ppid=4457 vsize=8546460 CPUtime=46.57 cores=1,3,5,7
/proc/4459/stat : 4459 (java) T 4457 4459 4459 0 -1 4202496 718957 0 1 0 4578 79 0 0 18 0 19 0 869486375 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4459/statm: 2136615 699193 2247 9 0 2127356 0
[pid=4459/tid=4460] ppid=4457 vsize=8546460 CPUtime=43.49 cores=1,3,5,7
/proc/4459/task/4460/stat : 4460 (java) T 4457 4459 4459 0 -1 4202560 632208 0 1 0 4280 69 0 0 25 0 19 0 869486376 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 46912506001814 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4459/tid=4461] ppid=4457 vsize=8546460 CPUtime=0.17 cores=1,3,5,7
/proc/4459/task/4461/stat : 4461 (java) T 4457 4459 4459 0 -1 4202560 10238 0 0 0 17 0 0 0 15 0 19 0 869486376 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4459/tid=4462] ppid=4457 vsize=8546460 CPUtime=0.15 cores=1,3,5,7
/proc/4459/task/4462/stat : 4462 (java) T 4457 4459 4459 0 -1 4202560 11135 0 0 0 15 0 0 0 15 0 19 0 869486376 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4459/tid=4463] ppid=4457 vsize=8546460 CPUtime=0.16 cores=1,3,5,7
/proc/4459/task/4463/stat : 4463 (java) T 4457 4459 4459 0 -1 4202560 11104 0 0 0 15 1 0 0 15 0 19 0 869486376 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4459/tid=4464] ppid=4457 vsize=8546460 CPUtime=0.16 cores=1,3,5,7
/proc/4459/task/4464/stat : 4464 (java) T 4457 4459 4459 0 -1 4202560 10959 0 0 0 14 2 0 0 15 0 19 0 869486376 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4459/tid=4465] ppid=4457 vsize=8546460 CPUtime=0.13 cores=1,3,5,7
/proc/4459/task/4465/stat : 4465 (java) T 4457 4459 4459 0 -1 4202560 7970 0 0 0 13 0 0 0 15 0 19 0 869486376 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4459/tid=4466] ppid=4457 vsize=8546460 CPUtime=0.1 cores=1,3,5,7
/proc/4459/task/4466/stat : 4466 (java) T 4457 4459 4459 0 -1 4202560 6911 0 0 0 10 0 0 0 15 0 19 0 869486376 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4459/tid=4467] ppid=4457 vsize=8546460 CPUtime=0.08 cores=1,3,5,7
/proc/4459/task/4467/stat : 4467 (java) T 4457 4459 4459 0 -1 4202560 6305 0 0 0 8 0 0 0 15 0 19 0 869486376 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4459/tid=4468] ppid=4457 vsize=8546460 CPUtime=0.08 cores=1,3,5,7
/proc/4459/task/4468/stat : 4468 (java) T 4457 4459 4459 0 -1 4202560 5772 0 0 0 8 0 0 0 15 0 19 0 869486376 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4459/tid=4469] ppid=4457 vsize=8546460 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4469/stat : 4469 (java) T 4457 4459 4459 0 -1 4202560 1273 0 0 0 0 0 0 0 15 0 19 0 869486377 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 235606683136 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4459/tid=4470] ppid=4457 vsize=8546460 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4470/stat : 4470 (java) T 4457 4459 4459 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869486378 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4459/tid=4471] ppid=4457 vsize=8546460 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4471/stat : 4471 (java) T 4457 4459 4459 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869486378 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4459/tid=4472] ppid=4457 vsize=8546460 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4472/stat : 4472 (java) T 4457 4459 4459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869486380 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 235606690225 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4459/tid=4473] ppid=4457 vsize=8546460 CPUtime=0.71 cores=1,3,5,7
/proc/4459/task/4473/stat : 4473 (java) T 4457 4459 4459 0 -1 4202560 6355 0 0 0 71 0 0 0 15 0 19 0 869486380 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4459/tid=4474] ppid=4457 vsize=8546460 CPUtime=1.21 cores=1,3,5,7
/proc/4459/task/4474/stat : 4474 (java) T 4457 4459 4459 0 -1 4202560 7328 0 0 0 121 0 0 0 15 0 19 0 869486380 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4459/tid=4475] ppid=4457 vsize=8546460 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4475/stat : 4475 (java) T 4457 4459 4459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869486380 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4459/tid=4476] ppid=4457 vsize=8546460 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4476/stat : 4476 (java) T 4457 4459 4459 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869486380 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4459/tid=4478] ppid=4457 vsize=8546460 CPUtime=0 cores=1,3,5,7
/proc/4459/task/4478/stat : 4478 (java) T 4457 4459 4459 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869486554 8751575040 699193 33554432000 1073741824 1073778376 140736367545488 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4457/tid=4481] ppid=4359 vsize=362672 CPUtime=0 cores=1,3,5,7
/proc/4457/task/4481/stat : 4481 (python) S 4359 4359 2236 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869490763 371376128 20470 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554946 18446604458919771136 0 0 -1 7 0 0 0
[pid=4482] ppid=4359 vsize=372928 CPUtime=0.41 cores=1,3,5,7
/proc/4482/stat : 4482 (python) S 4359 4359 2236 0 -1 4202560 1168 0 0 0 19 22 0 0 16 0 2 0 869490766 381878272 20474 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4482/statm: 93232 20474 396 364 0 28110 0
[pid=4484] ppid=4482 vsize=38932 CPUtime=92.22 cores=1,3,5,7
/proc/4484/stat : 4484 (clasp-1.3.7-x86) T 4482 4484 4484 0 -1 4202496 12081 0 0 0 9220 2 0 0 25 0 1 0 869490766 39866368 9455 33554432000 134512640 136139019 4288156368 18446744073709551615 134883787 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/4484/statm: 9733 9455 190 398 0 9333 0
[pid=4482/tid=4494] ppid=4359 vsize=372928 CPUtime=0 cores=1,3,5,7
/proc/4482/task/4494/stat : 4494 (python) S 4359 4359 2236 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869499990 381878272 20474 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554946 18446604465333236992 0 0 -1 7 0 0 0
[pid=4496] ppid=4359 vsize=383184 CPUtime=0 cores=1,3,5,7
/proc/4496/stat : 4496 (python) S 4359 4359 2236 0 -1 4202560 821 0 0 0 0 0 0 0 17 0 1 0 869499992 392380416 20429 33554432000 4194304 5683644 140737153787856 18446744073709551615 235594886726 0 0 16781312 33554946 4029027276128518144 0 0 17 3 0 0 0
/proc/4496/statm: 95796 20429 348 364 0 30671 0
[pid=4498] ppid=4496 vsize=8538124 CPUtime=1.34 cores=1,3,5,7
/proc/4498/stat : 4498 (java) S 4496 4498 4498 0 -1 4202496 44456 0 1 0 129 5 0 0 17 0 18 0 869499992 8743038976 42102 33554432000 1073741824 1073778376 140733607726560 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/4498/statm: 2134531 42102 2229 9 0 2125272 0
[pid=4498/tid=4499] ppid=4496 vsize=8538124 CPUtime=0.79 cores=1,3,5,7
/proc/4498/task/4499/stat : 4499 (java) R 4496 4498 4498 0 -1 4202560 35214 0 1 0 76 3 0 0 24 0 18 0 869499994 8743038976 42102 33554432000 1073741824 1073778376 140733607726560 18446744073709551615 235606693323 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4498/tid=4500] ppid=4496 vsize=8538124 CPUtime=0.01 cores=1,3,5,7
/proc/4498/task/4500/stat : 4500 (java) S 4496 4498 4498 0 -1 4202560 883 0 0 0 1 0 0 0 16 0 18 0 869499994 8743038976 42102 33554432000 1073741824 1073778376 140733607726560 18446744073709551615 235606682521 0 4 0 16800975 18446604458997355584 0 0 -1 3 0 0 0
[pid=4498/tid=4501] ppid=4496 vsize=8538124 CPUtime=0.01 cores=1,3,5,7
/proc/4498/task/4501/stat : 4501 (java) S 4496 4498 4498 0 -1 4202560 1058 0 0 0 1 0 0 0 16 0 18 0 869499994 8743038976 42102 33554432000 1073741824 1073778376 140733607726560 18446744073709551615 235606682521 0 4 0 16800975 18446604458997355584 0 0 -1 3 0 0 0
[pid=4498/tid=4502] ppid=4496 vsize=8538124 CPUtime=0 cores=1,3,5,7
/proc/4498/task/4502/stat : 4502 (java) S 4496 4498 4498 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 18 0 869499994 8743038976 42102 33554432000 1073741824 1073778376 140733607726560 18446744073709551615 235606682521 0 4 0 16800975 18446604458997355584 0 0 -1 7 0 0 0
[pid=4498/tid=4503] ppid=4496 vsize=8538124 CPUtime=0 cores=1,3,5,7
/proc/4498/task/4503/stat : 4503 (java) S 4496 4498 4498 0 -1 4202560 597 0 0 0 0 0 0 0 16 0 18 0 869499994 8743038976 42102 33554432000 1073741824 1073778376 140733607726560 18446744073709551615 235606682521 0 4 0 16800975 18446604458997355584 0 0 -1 1 0 0 0
[pid=4498/tid=4504] ppid=4496 vsize=8538124 CPUtime=0 cores=1,3,5,7
/proc/4498/task/4504/stat : 4504 (java) S 4496 4498 4498 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869499994 8743038976 42102 33554432000 1073741824 1073778376 140733607726560 18446744073709551615 235606682521 0 4 0 16800975 18446604458997355584 0 0 -1 7 0 0 0
[pid=4498/tid=4505] ppid=4496 vsize=8538124 CPUtime=0 cores=1,3,5,7
/proc/4498/task/4505/stat : 4505 (java) S 4496 4498 4498 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869499994 8743038976 42102 33554432000 1073741824 1073778376 140733607726560 18446744073709551615 235606682521 0 4 0 16800975 18446604458997355584 0 0 -1 1 0 0 0
[pid=4498/tid=4506] ppid=4496 vsize=8538124 CPUtime=0 cores=1,3,5,7
/proc/4498/task/4506/stat : 4506 (java) S 4496 4498 4498 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869499994 8743038976 42102 33554432000 1073741824 1073778376 140733607726560 18446744073709551615 235606682521 0 4 0 16800975 18446604458997355584 0 0 -1 7 0 0 0
[pid=4498/tid=4507] ppid=4496 vsize=8538124 CPUtime=0 cores=1,3,5,7
/proc/4498/task/4507/stat : 4507 (java) S 4496 4498 4498 0 -1 4202560 302 0 0 0 0 0 0 0 16 0 18 0 869499994 8743038976 42102 33554432000 1073741824 1073778376 140733607726560 18446744073709551615 235606682521 0 4 0 16800975 18446604458997355584 0 0 -1 1 0 0 0
[pid=4498/tid=4508] ppid=4496 vsize=8538124 CPUtime=0 cores=1,3,5,7
/proc/4498/task/4508/stat : 4508 (java) S 4496 4498 4498 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 18 0 869499995 8743038976 42102 33554432000 1073741824 1073778376 140733607726560 18446744073709551615 235606683136 0 0 0 16800975 18446604458997355584 0 0 -1 7 0 0 0
[pid=4498/tid=4509] ppid=4496 vsize=8538124 CPUtime=0 cores=1,3,5,7
/proc/4498/task/4509/stat : 4509 (java) S 4496 4498 4498 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 869499996 8743038976 42102 33554432000 1073741824 1073778376 140733607726560 18446744073709551615 235606682521 0 4 0 16800975 18446604458997355584 0 0 -1 7 0 0 0
[pid=4498/tid=4510] ppid=4496 vsize=8538124 CPUtime=0 cores=1,3,5,7
/proc/4498/task/4510/stat : 4510 (java) S 4496 4498 4498 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 869499996 8743038976 42102 33554432000 1073741824 1073778376 140733607726560 18446744073709551615 235606682521 0 4 0 16800975 18446604458997355584 0 0 -1 7 0 0 0
[pid=4498/tid=4511] ppid=4496 vsize=8538124 CPUtime=0 cores=1,3,5,7
/proc/4498/task/4511/stat : 4511 (java) S 4496 4498 4498 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869499998 8743038976 42102 33554432000 1073741824 1073778376 140733607726560 18446744073709551615 235606690225 0 4 0 16800975 18446604458997355584 0 0 -1 7 0 0 0
[pid=4498/tid=4512] ppid=4496 vsize=8538124 CPUtime=0.25 cores=1,3,5,7
/proc/4498/task/4512/stat : 4512 (java) S 4496 4498 4498 0 -1 4202560 1696 0 0 0 25 0 0 0 19 0 18 0 869499998 8743038976 42102 33554432000 1073741824 1073778376 140733607726560 18446744073709551615 235606682521 0 4 0 16800975 18446604458997355584 0 0 -1 1 0 0 0
[pid=4498/tid=4513] ppid=4496 vsize=8538124 CPUtime=0.25 cores=1,3,5,7
/proc/4498/task/4513/stat : 4513 (java) R 4496 4498 4498 0 -1 4202560 3182 0 0 0 25 0 0 0 16 0 18 0 869499998 8743038976 42102 33554432000 1073741824 1073778376 140733607726560 18446744073709551615 235606682521 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4498/tid=4514] ppid=4496 vsize=8538124 CPUtime=0 cores=1,3,5,7
/proc/4498/task/4514/stat : 4514 (java) S 4496 4498 4498 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869499998 8743038976 42102 33554432000 1073741824 1073778376 140733607726560 18446744073709551615 235606682521 0 4 0 16800975 18446604458997355584 0 0 -1 7 0 0 0
[pid=4498/tid=4515] ppid=4496 vsize=8538124 CPUtime=0 cores=1,3,5,7
/proc/4498/task/4515/stat : 4515 (java) S 4496 4498 4498 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869499998 8743038976 42102 33554432000 1073741824 1073778376 140733607726560 18446744073709551615 235606683136 0 4 0 16800975 18446604458997355584 0 0 -1 7 0 0 0
[pid=4359/tid=4410] ppid=4357 vsize=393428 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4410/stat : 4410 (python) S 4357 4359 2236 0 -1 4202560 28 931 0 0 0 0 0 0 25 0 6 0 869476478 402870272 21964 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554434 18446604466482586624 0 0 -1 3 0 0 0
[pid=4359/tid=4428] ppid=4357 vsize=393428 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4428/stat : 4428 (python) S 4357 4359 2236 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 6 0 869481134 402870272 21964 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554434 18446604466482586624 0 0 -1 5 0 0 0
[pid=4359/tid=4458] ppid=4357 vsize=393428 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4458/stat : 4458 (python) S 4357 4359 2236 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 869486375 402870272 21964 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554434 18446604466482586624 0 0 -1 5 0 0 0
[pid=4359/tid=4483] ppid=4357 vsize=393428 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4483/stat : 4483 (python) S 4357 4359 2236 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 6 0 869490766 402870272 21964 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554434 18446604466482586624 0 0 -1 3 0 0 0
[pid=4359/tid=4497] ppid=4357 vsize=393428 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4497/stat : 4497 (python) S 4357 4359 2236 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 6 0 869499992 402870272 21964 33554432000 4194304 5683644 140737153787856 18446744073709551615 235606690225 0 0 16781312 33554434 18446604466482586624 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 244.95
Current children cumulated vsize (KiB) 20448636
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 4359 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=744278
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=132979
# CPU time returned by wait4() is 4.87726
# while last known CPU time is 244.95
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.887
CPU time (s): 244.95
CPU user time (s): 240.99
CPU system time (s): 3.96
CPU usage (%): 101.687
Max. virtual memory (cumulated for all children) (KiB): 20448636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.74428
system time used= 0.132979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37969
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= 1015
involuntary context switches= 38
runsolver used 1.68274 second user time and 3.59745 second system time
The end