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-3481493-1307577936/watcher-3481493-1307577936 -o /tmp/evaluation-result-3481493-1307577936/solver-3481493-1307577936 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481493-1307577936.opb -seed 1474114962 -budget 1800
running on 4 cores: 0,2,4,6
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.22 2.16 1.72 2/717 3894
/proc/meminfo: memFree=19928204/32950928 swapFree=41528364/67111528
[pid=3894] ppid=3892 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/3894/stat : 3894 (python) R 3892 3894 2544 0 -1 4202496 923 0 0 0 0 0 0 0 25 0 1 0 869392406 16154624 802 33554432000 4194304 5683644 140736444883408 18446744073709551615 4591504 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3894/statm: 3944 807 356 364 0 431 0
[startup+0.121127 s]
/proc/loadavg: 2.22 2.16 1.72 2/717 3894
/proc/meminfo: memFree=19928204/32950928 swapFree=41528364/67111528
[pid=3894] ppid=3892 vsize=101324 CPUtime=0.1 cores=0,2,4,6
/proc/3894/stat : 3894 (python) S 3892 3894 2544 0 -1 4202496 3758 931 1 0 8 2 0 0 19 0 1 0 869392406 103755776 2633 33554432000 4194304 5683644 140736444883408 18446744073709551615 251814238208 0 2147483391 16781312 2 18446744071699215550 0 0 17 6 0 0 0
/proc/3894/statm: 25331 2633 822 364 0 1727 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 101324
[startup+0.201337 s]
/proc/loadavg: 2.22 2.16 1.72 2/717 3894
/proc/meminfo: memFree=19928204/32950928 swapFree=41528364/67111528
[pid=3894] ppid=3892 vsize=123740 CPUtime=0.16 cores=0,2,4,6
/proc/3894/stat : 3894 (python) S 3892 3894 2544 0 -1 4202496 5358 931 1 0 13 3 0 0 18 0 1 0 869392406 126709760 3744 33554432000 4194304 5683644 140736444883408 18446744073709551615 251814238208 0 2147483391 16781312 2 18446744071699215550 0 0 17 6 0 0 0
/proc/3894/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.300713 s]
/proc/loadavg: 2.22 2.16 1.72 2/717 3894
/proc/meminfo: memFree=19928204/32950928 swapFree=41528364/67111528
[pid=3894] ppid=3892 vsize=203276 CPUtime=0.25 cores=0,2,4,6
/proc/3894/stat : 3894 (python) S 3892 3894 2544 0 -1 4202496 6727 931 1 0 19 6 0 0 18 0 1 0 869392406 208154624 5003 33554432000 4194304 5683644 140736444883408 18446744073709551615 251814238208 0 2147483391 16781312 2 18446744071699215550 0 0 17 6 0 0 0
/proc/3894/statm: 50819 5009 1472 364 0 3781 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 203276
[startup+0.704725 s]
/proc/loadavg: 2.22 2.16 1.72 2/717 3894
/proc/meminfo: memFree=19928204/32950928 swapFree=41528364/67111528
[pid=3894] ppid=3892 vsize=286380 CPUtime=0.62 cores=0,2,4,6
/proc/3894/stat : 3894 (python) R 3892 3894 2544 0 -1 4202496 11145 1449 1 0 36 8 15 3 18 0 1 0 869392406 293253120 7911 33554432000 4194304 5683644 140736444883408 18446744073709551615 4602358 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3894/statm: 71595 7911 1782 364 0 6488 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 286380
[startup+1.50059 s]
/proc/loadavg: 2.22 2.16 1.72 3/718 3900
/proc/meminfo: memFree=19896444/32950928 swapFree=41528364/67111528
[pid=3894] ppid=3892 vsize=300912 CPUtime=1.3 cores=0,2,4,6
/proc/3894/stat : 3894 (python) S 3892 3894 2544 0 -1 4202496 14594 1449 1 0 103 9 15 3 20 0 2 0 869392406 308133888 9068 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3894/statm: 75228 9068 1871 364 0 10115 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 300912
[startup+3.10131 s]
/proc/loadavg: 2.22 2.16 1.72 3/721 3903
/proc/meminfo: memFree=19800072/32950928 swapFree=41528364/67111528
[pid=3894] ppid=3892 vsize=300912 CPUtime=1.3 cores=0,2,4,6
/proc/3894/stat : 3894 (python) S 3892 3894 2544 0 -1 4202496 14594 1449 1 0 103 9 15 3 20 0 2 0 869392406 308133888 9068 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3894/statm: 75228 9068 1871 364 0 10115 0
[pid=3901] ppid=3894 vsize=290668 CPUtime=0 cores=0,2,4,6
/proc/3901/stat : 3901 (python) S 3894 3894 2544 0 -1 4202560 720 0 0 0 0 0 0 0 15 0 1 0 869392544 297644032 7511 33554432000 4194304 5683644 140736444883408 18446744073709551615 251814260239 0 0 16781312 33554946 4141113222335791363 0 0 17 6 0 0 0
/proc/3901/statm: 72667 7511 318 364 0 7554 0
[pid=3903] ppid=3901 vsize=189104 CPUtime=1.71 cores=0,2,4,6
/proc/3903/stat : 3903 (scip-2.0.1.linu) R 3901 3903 3903 0 -1 4202496 46607 0 0 0 156 15 0 0 25 0 1 0 869392544 193642496 44497 33554432000 4194304 13684479 140734814028864 18446744073709551615 6427716 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3903/statm: 47276 44497 759 2317 0 44954 0
[pid=3894/tid=3902] ppid=3892 vsize=300912 CPUtime=0.18 cores=0,2,4,6
/proc/3894/task/3902/stat : 3902 (python) S 3892 3894 2544 0 -1 4202560 26 1449 0 0 0 0 15 3 20 0 2 0 869392544 308133888 9068 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554434 18446604451989606656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 780684
[startup+6.30064 s]
/proc/loadavg: 2.21 2.16 1.72 3/721 3903
/proc/meminfo: memFree=19713208/32950928 swapFree=41528364/67111528
[pid=3894] ppid=3892 vsize=300912 CPUtime=1.3 cores=0,2,4,6
/proc/3894/stat : 3894 (python) S 3892 3894 2544 0 -1 4202496 14594 1449 1 0 103 9 15 3 20 0 2 0 869392406 308133888 9068 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3894/statm: 75228 9068 1871 364 0 10115 0
[pid=3901] ppid=3894 vsize=290668 CPUtime=0.01 cores=0,2,4,6
/proc/3901/stat : 3901 (python) S 3894 3894 2544 0 -1 4202560 866 0 0 0 0 1 0 0 15 0 1 0 869392544 297644032 7534 33554432000 4194304 5683644 140736444883408 18446744073709551615 251814260239 0 0 16781312 33554946 2452488010336305152 0 0 17 6 0 0 0
/proc/3901/statm: 72667 7534 341 364 0 7554 0
[pid=3903] ppid=3901 vsize=189104 CPUtime=4.9 cores=0,2,4,6
/proc/3903/stat : 3903 (scip-2.0.1.linu) R 3901 3903 3903 0 -1 4202496 47092 0 0 0 464 26 0 0 25 0 1 0 869392544 193642496 44840 33554432000 4194304 13684479 140734814028864 18446744073709551615 6457236 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3903/statm: 47276 44840 813 2317 0 44954 0
[pid=3894/tid=3902] ppid=3892 vsize=300912 CPUtime=0.18 cores=0,2,4,6
/proc/3894/task/3902/stat : 3902 (python) S 3892 3894 2544 0 -1 4202560 26 1449 0 0 0 0 15 3 20 0 2 0 869392544 308133888 9068 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554434 18446604451989606656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 780684
[startup+12.7007 s]
/proc/loadavg: 2.19 2.16 1.72 3/725 3907
/proc/meminfo: memFree=19536128/32950928 swapFree=41528364/67111528
[pid=3894] ppid=3892 vsize=300912 CPUtime=1.3 cores=0,2,4,6
/proc/3894/stat : 3894 (python) S 3892 3894 2544 0 -1 4202496 14594 1449 1 0 103 9 15 3 20 0 2 0 869392406 308133888 9068 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3894/statm: 75228 9068 1871 364 0 10115 0
[pid=3901] ppid=3894 vsize=290668 CPUtime=0.05 cores=0,2,4,6
/proc/3901/stat : 3901 (python) S 3894 3894 2544 0 -1 4202560 872 0 0 0 2 3 0 0 15 0 1 0 869392544 297644032 7535 33554432000 4194304 5683644 140736444883408 18446744073709551615 251814260239 0 0 16781312 33554946 2246321750402924544 0 0 17 6 0 0 0
/proc/3901/statm: 72667 7535 342 364 0 7554 0
[pid=3903] ppid=3901 vsize=196000 CPUtime=11.31 cores=0,2,4,6
/proc/3903/stat : 3903 (scip-2.0.1.linu) R 3901 3903 3903 0 -1 4202496 48586 0 0 0 1101 30 0 0 25 0 1 0 869392544 200704000 46299 33554432000 4194304 13684479 140734814028864 18446744073709551615 6457238 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3903/statm: 49000 46299 779 2317 0 46678 0
[pid=3894/tid=3902] ppid=3892 vsize=300912 CPUtime=0.18 cores=0,2,4,6
/proc/3894/task/3902/stat : 3902 (python) S 3892 3894 2544 0 -1 4202560 26 1449 0 0 0 0 15 3 20 0 2 0 869392544 308133888 9068 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554434 18446604451989606656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 787580
[startup+25.5005 s]
/proc/loadavg: 2.15 2.15 1.72 3/725 3907
/proc/meminfo: memFree=19513236/32950928 swapFree=41528364/67111528
[pid=3894] ppid=3892 vsize=300912 CPUtime=1.3 cores=0,2,4,6
/proc/3894/stat : 3894 (python) S 3892 3894 2544 0 -1 4202496 14594 1449 1 0 103 9 15 3 20 0 2 0 869392406 308133888 9068 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3894/statm: 75228 9068 1871 364 0 10115 0
[pid=3901] ppid=3894 vsize=290668 CPUtime=0.12 cores=0,2,4,6
/proc/3901/stat : 3901 (python) S 3894 3894 2544 0 -1 4202560 884 0 0 0 6 6 0 0 15 0 1 0 869392544 297644032 7535 33554432000 4194304 5683644 140736444883408 18446744073709551615 251814260239 0 0 16781312 33554946 72556772316949384 0 0 17 6 0 0 0
/proc/3901/statm: 72667 7535 342 364 0 7554 0
[pid=3903] ppid=3901 vsize=200844 CPUtime=24.1 cores=0,2,4,6
/proc/3903/stat : 3903 (scip-2.0.1.linu) R 3901 3903 3903 0 -1 4202496 67131 0 0 0 2374 36 0 0 25 0 1 0 869392544 205664256 47813 33554432000 4194304 13684479 140734814028864 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3903/statm: 50211 47813 806 2317 0 47889 0
[pid=3894/tid=3902] ppid=3892 vsize=300912 CPUtime=0.18 cores=0,2,4,6
/proc/3894/task/3902/stat : 3902 (python) S 3892 3894 2544 0 -1 4202560 26 1449 0 0 0 0 15 3 20 0 2 0 869392544 308133888 9068 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554434 18446604451989606656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 792424
[startup+51.1012 s]
/proc/loadavg: 2.10 2.13 1.73 3/729 3912
/proc/meminfo: memFree=19336564/32950928 swapFree=41528364/67111528
[pid=3894] ppid=3892 vsize=311168 CPUtime=1.32 cores=0,2,4,6
/proc/3894/stat : 3894 (python) S 3892 3894 2544 0 -1 4202496 15462 1449 1 0 105 9 15 3 20 0 3 0 869392406 318636032 9075 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3894/statm: 77792 9075 1874 364 0 12676 0
[pid=3901] ppid=3894 vsize=300912 CPUtime=0.23 cores=0,2,4,6
/proc/3901/stat : 3901 (python) S 3894 3894 2544 0 -1 4202560 1095 0 0 0 11 12 0 0 17 0 2 0 869392544 308133888 7603 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3901/statm: 75228 7603 405 364 0 10115 0
[pid=3903] ppid=3901 vsize=207252 CPUtime=46.67 cores=0,2,4,6
/proc/3903/stat : 3903 (scip-2.0.1.linu) T 3901 3903 3903 0 -1 4202496 68471 0 0 0 4624 43 0 0 25 0 1 0 869392544 212226048 49153 33554432000 4194304 13684479 140734814028864 18446744073709551615 7267046 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3903/statm: 51813 49153 811 2317 0 49491 0
[pid=3901/tid=3909] ppid=3894 vsize=300912 CPUtime=0 cores=0,2,4,6
/proc/3901/task/3909/stat : 3909 (python) S 3894 3894 2544 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869397213 308133888 7603 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554946 18446604448700623616 0 0 -1 6 0 0 0
[pid=3910] ppid=3894 vsize=300924 CPUtime=0 cores=0,2,4,6
/proc/3910/stat : 3910 (python) S 3894 3894 2544 0 -1 4202560 760 0 0 0 0 0 0 0 15 0 1 0 869397216 308146176 7516 33554432000 4194304 5683644 140736444883408 18446744073709551615 251814260294 0 0 16781312 33554946 9320808734378656003 0 0 17 0 0 0 0
/proc/3910/statm: 75231 7516 319 364 0 10115 0
[pid=3912] ppid=3910 vsize=192972 CPUtime=2.99 cores=0,2,4,6
/proc/3912/stat : 3912 (scip-2.0.1.linu) R 3910 3912 3912 0 -1 4202496 48801 0 0 0 273 26 0 0 25 0 1 0 869397216 197603328 43249 33554432000 4194304 15243407 140733731230592 18446744073709551615 7266703 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3912/statm: 48243 43249 879 2698 0 45538 0
[pid=3894/tid=3902] ppid=3892 vsize=311168 CPUtime=0.18 cores=0,2,4,6
/proc/3894/task/3902/stat : 3902 (python) S 3892 3894 2544 0 -1 4202560 26 1449 0 0 0 0 15 3 20 0 3 0 869392544 318636032 9075 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554434 18446604451989606656 0 0 -1 0 0 0 0
[pid=3894/tid=3911] ppid=3892 vsize=311168 CPUtime=0.18 cores=0,2,4,6
/proc/3894/task/3911/stat : 3911 (python) S 3892 3894 2544 0 -1 4202560 30 1449 0 0 0 0 15 3 20 0 3 0 869397216 318636032 9075 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554434 18446604451989606656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 1313228
[startup+102.301 s]
/proc/loadavg: 2.04 2.11 1.74 3/737 3921
/proc/meminfo: memFree=19197124/32950928 swapFree=41528364/67111528
[pid=3894] ppid=3892 vsize=321424 CPUtime=1.35 cores=0,2,4,6
/proc/3894/stat : 3894 (python) S 3892 3894 2544 0 -1 4202496 16427 1449 1 0 108 9 15 3 20 0 4 0 869392406 329138176 9081 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3894/statm: 80356 9081 1876 364 0 15237 0
[pid=3901] ppid=3894 vsize=300912 CPUtime=0.23 cores=0,2,4,6
/proc/3901/stat : 3901 (python) S 3894 3894 2544 0 -1 4202560 1095 0 0 0 11 12 0 0 17 0 2 0 869392544 308133888 7603 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3901/statm: 75228 7603 405 364 0 10115 0
[pid=3903] ppid=3901 vsize=207252 CPUtime=46.67 cores=0,2,4,6
/proc/3903/stat : 3903 (scip-2.0.1.linu) T 3901 3903 3903 0 -1 4202496 68471 0 0 0 4624 43 0 0 25 0 1 0 869392544 212226048 49153 33554432000 4194304 13684479 140734814028864 18446744073709551615 7267046 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3903/statm: 51813 49153 811 2317 0 49491 0
[pid=3901/tid=3909] ppid=3894 vsize=300912 CPUtime=0 cores=0,2,4,6
/proc/3901/task/3909/stat : 3909 (python) S 3894 3894 2544 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869397213 308133888 7603 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554946 18446604448700623616 0 0 -1 6 0 0 0
[pid=3910] ppid=3894 vsize=300924 CPUtime=0.24 cores=0,2,4,6
/proc/3910/stat : 3910 (python) S 3894 3894 2544 0 -1 4202560 1178 0 0 0 13 11 0 0 16 0 2 0 869397216 308146176 7594 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3910/statm: 75231 7594 396 364 0 10115 0
[pid=3912] ppid=3910 vsize=208564 CPUtime=46.88 cores=0,2,4,6
/proc/3912/stat : 3912 (scip-2.0.1.linu) T 3910 3912 3912 0 -1 4202496 77993 0 0 0 4645 43 0 0 25 0 1 0 869397216 213569536 47811 33554432000 4194304 15243407 140733731230592 18446744073709551615 8109723 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/3912/statm: 52141 47811 935 2698 0 49436 0
[pid=3910/tid=3918] ppid=3894 vsize=300924 CPUtime=0 cores=0,2,4,6
/proc/3910/task/3918/stat : 3918 (python) S 3894 3894 2544 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869401905 308146176 7594 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554946 18446604451686303040 0 0 -1 6 0 0 0
[pid=3919] ppid=3894 vsize=311180 CPUtime=0.04 cores=0,2,4,6
/proc/3919/stat : 3919 (python) S 3894 3894 2544 0 -1 4202560 1015 0 0 0 2 2 0 0 15 0 1 0 869401907 318648320 7550 33554432000 4194304 5683644 140736444883408 18446744073709551615 251814260294 0 0 16781312 33554946 72556772316949384 0 0 17 6 0 0 0
/proc/3919/statm: 77795 7550 349 364 0 12676 0
[pid=3921] ppid=3919 vsize=23544 CPUtime=7.28 cores=0,2,4,6
/proc/3921/stat : 3921 (wbo1.4a) R 3919 3921 3921 0 -1 4202496 6505 0 0 0 726 2 0 0 25 0 1 0 869401908 24109056 5441 33554432000 134512640 135751879 4293369936 18446744073709551615 134518858 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/3921/statm: 5886 5441 146 303 0 5581 0
[pid=3894/tid=3902] ppid=3892 vsize=321424 CPUtime=0.18 cores=0,2,4,6
/proc/3894/task/3902/stat : 3902 (python) S 3892 3894 2544 0 -1 4202560 26 1449 0 0 0 0 15 3 20 0 4 0 869392544 329138176 9081 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554434 18446604451989606656 0 0 -1 0 0 0 0
[pid=3894/tid=3911] ppid=3892 vsize=321424 CPUtime=0.18 cores=0,2,4,6
/proc/3894/task/3911/stat : 3911 (python) S 3892 3894 2544 0 -1 4202560 30 1449 0 0 0 0 15 3 20 0 4 0 869397216 329138176 9081 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554434 18446604451989606656 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=3894/tid=3920] ppid=3892 vsize=341936 CPUtime=0.18 cores=0,2,4,6
/proc/3894/task/3920/stat : 3920 (python) S 3892 3894 2544 0 -1 4202560 30 1449 0 0 0 0 15 3 20 0 6 0 869401908 350142464 9093 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554434 18446604451989606656 0 0 -1 2 0 0 0
[pid=3894/tid=3947] ppid=3892 vsize=341936 CPUtime=0.18 cores=0,2,4,6
/proc/3894/task/3947/stat : 3947 (python) S 3892 3894 2544 0 -1 4202560 30 1449 0 0 0 0 15 3 20 0 6 0 869406646 350142464 9093 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554434 18446604451989606656 0 0 -1 2 0 0 0
[pid=3894/tid=3974] ppid=3892 vsize=341936 CPUtime=0.18 cores=0,2,4,6
/proc/3894/task/3974/stat : 3974 (python) S 3892 3894 2544 0 -1 4202560 30 1449 0 0 0 0 15 3 20 0 6 0 869411286 350142464 9093 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554434 18446604451989606656 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 346.46
Current children cumulated vsize (KiB) 10956980
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+372.902 s]
/proc/loadavg: 2.29 2.16 1.85 4/800 4063
/proc/meminfo: memFree=14186296/32950928 swapFree=41528364/67111528
[pid=3894] ppid=3892 vsize=352192 CPUtime=1.48 cores=0,2,4,6
/proc/3894/stat : 3894 (python) S 3892 3894 2544 0 -1 4202496 19410 1449 1 0 120 10 15 3 20 0 7 0 869392406 360644608 9099 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3894/statm: 88048 9099 1882 364 0 22920 0
[pid=3901] ppid=3894 vsize=300912 CPUtime=0.48 cores=0,2,4,6
/proc/3901/stat : 3901 (python) S 3894 3894 2544 0 -1 4202560 1117 0 0 0 22 26 0 0 15 0 2 0 869392544 308133888 7604 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3901/statm: 75228 7604 406 364 0 10115 0
[pid=3903] ppid=3901 vsize=210256 CPUtime=91.92 cores=0,2,4,6
/proc/3903/stat : 3903 (scip-2.0.1.linu) T 3901 3903 3903 0 -1 4202496 69196 0 0 0 9138 54 0 0 25 0 1 0 869392544 215302144 49878 33554432000 4194304 13684479 140734814028864 18446744073709551615 7252853 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3903/statm: 52564 49878 814 2317 0 50242 0
[pid=3901/tid=3909] ppid=3894 vsize=300912 CPUtime=0 cores=0,2,4,6
/proc/3901/task/3909/stat : 3909 (python) S 3894 3894 2544 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869397213 308133888 7604 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554946 18446604448700623616 0 0 -1 6 0 0 0
[pid=3910] ppid=3894 vsize=300924 CPUtime=0.5 cores=0,2,4,6
/proc/3910/stat : 3910 (python) S 3894 3894 2544 0 -1 4202560 1212 0 0 0 27 23 0 0 15 0 2 0 869397216 308146176 7594 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3910/statm: 75231 7594 396 364 0 10115 0
[pid=3912] ppid=3910 vsize=209532 CPUtime=92.15 cores=0,2,4,6
/proc/3912/stat : 3912 (scip-2.0.1.linu) T 3910 3912 3912 0 -1 4202496 81627 0 0 0 9157 58 0 0 25 0 1 0 869397216 214560768 48413 33554432000 4194304 15243407 140733731230592 18446744073709551615 7426916 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/3912/statm: 52383 48413 940 2698 0 49678 0
[pid=3910/tid=3918] ppid=3894 vsize=300924 CPUtime=0 cores=0,2,4,6
/proc/3910/task/3918/stat : 3918 (python) S 3894 3894 2544 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 869401905 308146176 7594 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554946 18446604451686303040 0 0 -1 6 0 0 0
[pid=3919] ppid=3894 vsize=311180 CPUtime=0.27 cores=0,2,4,6
/proc/3919/stat : 3919 (python) S 3894 3894 2544 0 -1 4202560 1195 0 0 0 14 13 0 0 17 0 2 0 869401907 318648320 7598 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3919/statm: 77795 7598 396 364 0 12676 0
[pid=3921] ppid=3919 vsize=69240 CPUtime=47.32 cores=0,2,4,6
/proc/3921/stat : 3921 (wbo1.4a) T 3919 3921 3921 0 -1 4202496 17904 0 0 0 4720 12 0 0 25 0 1 0 869401908 70901760 16840 33554432000 134512640 135751879 4293369936 18446744073709551615 134611297 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/3921/statm: 17310 16840 146 303 0 17005 0
[pid=3919/tid=3945] ppid=3894 vsize=311180 CPUtime=0 cores=0,2,4,6
/proc/3919/task/3945/stat : 3945 (python) S 3894 3894 2544 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869406643 318648320 7598 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554946 18446604442216846272 0 0 -1 6 0 0 0
[pid=3946] ppid=3894 vsize=321436 CPUtime=0.24 cores=0,2,4,6
/proc/3946/stat : 3946 (python) S 3894 3894 2544 0 -1 4202560 1164 0 0 0 13 11 0 0 16 0 2 0 869406646 329150464 7596 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3946/statm: 80359 7596 390 364 0 15237 0
[pid=3948] ppid=3946 vsize=8544672 CPUtime=48.91 cores=0,2,4,6
/proc/3948/stat : 3948 (java) T 3946 3948 3948 0 -1 4202496 551685 0 1 0 4833 58 0 0 18 0 19 0 869406646 8749744128 544569 33554432000 1073741824 1073778376 140734994423024 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/3948/statm: 2136168 544569 2250 9 0 2126909 0
[pid=3948/tid=3949] ppid=3946 vsize=8544672 CPUtime=46.1 cores=0,2,4,6
/proc/3948/task/3949/stat : 3949 (java) T 3946 3948 3948 0 -1 4202560 483735 0 1 0 4560 50 0 0 25 0 19 0 869406647 8749744128 544569 33554432000 1073741824 1073778376 140734994423024 18446744073709551615 46912506072125 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3948/tid=3950] ppid=3946 vsize=8544672 CPUtime=0.07 cores=0,2,4,6
/proc/3948/task/3950/stat : 3950 (java) T 3946 3948 3948 0 -1 4202560 6562 0 0 0 7 0 0 0 15 0 19 0 869406647 8749744128 544569 33554432000 1073741824 1073778376 140734994423024 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3948/tid=3951] ppid=3946 vsize=8544672 CPUtime=0.12 cores=0,2,4,6
/proc/3948/task/3951/stat : 3951 (java) T 3946 3948 3948 0 -1 4202560 9738 0 0 0 12 0 0 0 15 0 19 0 869406647 8749744128 544569 33554432000 1073741824 1073778376 140734994423024 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3948/tid=3952] ppid=3946 vsize=8544672 CPUtime=0.09 cores=0,2,4,6
/proc/3948/task/3952/stat : 3952 (java) T 3946 3948 3948 0 -1 4202560 6719 0 0 0 8 1 0 0 15 0 19 0 869406647 8749744128 544569 33554432000 1073741824 1073778376 140734994423024 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3948/tid=3953] ppid=3946 vsize=8544672 CPUtime=0.08 cores=0,2,4,6
/proc/3948/task/3953/stat : 3953 (java) T 3946 3948 3948 0 -1 4202560 6847 0 0 0 8 0 0 0 15 0 19 0 869406647 8749744128 544569 33554432000 1073741824 1073778376 140734994423024 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3948/tid=3954] ppid=3946 vsize=8544672 CPUtime=0.04 cores=0,2,4,6
/proc/3948/task/3954/stat : 3954 (java) T 3946 3948 3948 0 -1 4202560 3673 0 0 0 4 0 0 0 15 0 19 0 869406647 8749744128 544569 33554432000 1073741824 1073778376 140734994423024 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3948/tid=3955] ppid=3946 vsize=8544672 CPUtime=0.08 cores=0,2,4,6
/proc/3948/task/3955/stat : 3955 (java) T 3946 3948 3948 0 -1 4202560 7166 0 0 0 8 0 0 0 15 0 19 0 869406647 8749744128 544569 33554432000 1073741824 1073778376 140734994423024 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3948/tid=3956] ppid=3946 vsize=8544672 CPUtime=0.08 cores=0,2,4,6
/proc/3948/task/3956/stat : 3956 (java) T 3946 3948 3948 0 -1 4202560 5954 0 0 0 8 0 0 0 15 0 19 0 869406647 8749744128 544569 33554432000 1073741824 1073778376 140734994423024 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3948/tid=3957] ppid=3946 vsize=8544672 CPUtime=0.1 cores=0,2,4,6
/proc/3948/task/3957/stat : 3957 (java) T 3946 3948 3948 0 -1 4202560 8427 0 0 0 10 0 0 0 15 0 19 0 869406647 8749744128 544569 33554432000 1073741824 1073778376 140734994423024 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3948/tid=3958] ppid=3946 vsize=8544672 CPUtime=0 cores=0,2,4,6
/proc/3948/task/3958/stat : 3958 (java) T 3946 3948 3948 0 -1 4202560 1269 0 0 0 0 0 0 0 15 0 19 0 869406648 8749744128 544569 33554432000 1073741824 1073778376 140734994423024 18446744073709551615 251826056704 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3948/tid=3959] ppid=3946 vsize=8544672 CPUtime=0 cores=0,2,4,6
/proc/3948/task/3959/stat : 3959 (java) T 3946 3948 3948 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869406649 8749744128 544569 33554432000 1073741824 1073778376 140734994423024 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3948/tid=3960] ppid=3946 vsize=8544672 CPUtime=0 cores=0,2,4,6
/proc/3948/task/3960/stat : 3960 (java) T 3946 3948 3948 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869406649 8749744128 544569 33554432000 1073741824 1073778376 140734994423024 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3948/tid=3961] ppid=3946 vsize=8544672 CPUtime=0 cores=0,2,4,6
/proc/3948/task/3961/stat : 3961 (java) T 3946 3948 3948 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869406651 8749744128 544569 33554432000 1073741824 1073778376 140734994423024 18446744073709551615 251826063793 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3948/tid=3962] ppid=3946 vsize=8544672 CPUtime=1.09 cores=0,2,4,6
/proc/3948/task/3962/stat : 3962 (java) T 3946 3948 3948 0 -1 4202560 5781 0 0 0 109 0 0 0 15 0 19 0 869406651 8749744128 544569 33554432000 1073741824 1073778376 140734994423024 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3948/tid=3963] ppid=3946 vsize=8544672 CPUtime=0.92 cores=0,2,4,6
/proc/3948/task/3963/stat : 3963 (java) T 3946 3948 3948 0 -1 4202560 4413 0 0 0 92 0 0 0 15 0 19 0 869406651 8749744128 544569 33554432000 1073741824 1073778376 140734994423024 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3948/tid=3964] ppid=3946 vsize=8544672 CPUtime=0 cores=0,2,4,6
/proc/3948/task/3964/stat : 3964 (java) T 3946 3948 3948 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869406651 8749744128 544569 33554432000 1073741824 1073778376 140734994423024 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3948/tid=3965] ppid=3946 vsize=8544672 CPUtime=0 cores=0,2,4,6
/proc/3948/task/3965/stat : 3965 (java) T 3946 3948 3948 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869406651 8749744128 544569 33554432000 1073741824 1073778376 140734994423024 18446744073709551615 251826056704 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3948/tid=3966] ppid=3946 vsize=8544672 CPUtime=0 cores=0,2,4,6
/proc/3948/task/3966/stat : 3966 (java) T 3946 3948 3948 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869406714 8749744128 544569 33554432000 1073741824 1073778376 140734994423024 18446744073709551615 251826056704 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3946/tid=3972] ppid=3894 vsize=321436 CPUtime=0 cores=0,2,4,6
/proc/3946/task/3972/stat : 3972 (python) S 3894 3894 2544 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869411283 329150464 7596 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554946 18446604447148155200 0 0 -1 6 0 0 0
[pid=3973] ppid=3894 vsize=331692 CPUtime=0.47 cores=0,2,4,6
/proc/3973/stat : 3973 (python) S 3894 3894 2544 0 -1 4202560 1178 0 0 0 25 22 0 0 17 0 2 0 869411286 339652608 7600 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3973/statm: 82923 7600 390 364 0 17798 0
[pid=3975] ppid=3973 vsize=14248 CPUtime=92.47 cores=0,2,4,6
/proc/3975/stat : 3975 (clasp-1.3.7-x86) T 3973 3975 3975 0 -1 4202496 3821 0 0 0 9247 0 0 0 25 0 1 0 869411286 14589952 3298 33554432000 134512640 136139019 4291015968 18446744073709551615 134640592 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/3975/statm: 3562 3298 187 398 0 3162 0
[pid=3973/tid=3980] ppid=3894 vsize=331692 CPUtime=0 cores=0,2,4,6
/proc/3973/task/3980/stat : 3980 (python) S 3894 3894 2544 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869420535 339652608 7600 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554946 18446604451967738176 0 0 -1 6 0 0 0
[pid=4042] ppid=3894 vsize=341948 CPUtime=0 cores=0,2,4,6
/proc/4042/stat : 4042 (python) S 3894 3894 2544 0 -1 4202560 814 0 0 0 0 0 0 0 15 0 1 0 869429593 350154752 7532 33554432000 4194304 5683644 140736444883408 18446744073709551615 251814260294 0 0 16781312 33554946 1765663262998790144 0 0 17 2 0 0 0
/proc/4042/statm: 85487 7532 319 364 0 20359 0
[pid=4044] ppid=4042 vsize=8543940 CPUtime=2.36 cores=0,2,4,6
/proc/4044/stat : 4044 (java) S 4042 4044 4044 0 -1 4202496 36770 0 1 0 230 6 0 0 20 0 19 0 869429594 8748994560 32264 33554432000 1073741824 1073778376 140734493593936 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4044/statm: 2135985 32267 2237 9 0 2126726 0
[pid=4044/tid=4045] ppid=4042 vsize=8543940 CPUtime=1.05 cores=0,2,4,6
/proc/4044/task/4045/stat : 4045 (java) R 4042 4044 4044 0 -1 4202560 25863 0 1 0 101 4 0 0 25 0 19 0 869429594 8748994560 33242 33554432000 1073741824 1073778376 140734493593936 18446744073709551615 46912505631210 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4044/tid=4046] ppid=4042 vsize=8543940 CPUtime=0 cores=0,2,4,6
/proc/4044/task/4046/stat : 4046 (java) S 4042 4044 4044 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 869429595 8748994560 33242 33554432000 1073741824 1073778376 140734493593936 18446744073709551615 251826056089 0 4 0 16800975 18446604445476416384 0 0 -1 2 0 0 0
[pid=4044/tid=4047] ppid=4042 vsize=8543940 CPUtime=0 cores=0,2,4,6
/proc/4044/task/4047/stat : 4047 (java) S 4042 4044 4044 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869429595 8748994560 33243 33554432000 1073741824 1073778376 140734493593936 18446744073709551615 251826056089 0 4 0 16800975 18446604445476416384 0 0 -1 2 0 0 0
[pid=4044/tid=4048] ppid=4042 vsize=8543940 CPUtime=0 cores=0,2,4,6
/proc/4044/task/4048/stat : 4048 (java) S 4042 4044 4044 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869429595 8748994560 33244 33554432000 1073741824 1073778376 140734493593936 18446744073709551615 251826056089 0 4 0 16800975 18446604445476416384 0 0 -1 2 0 0 0
[pid=4044/tid=4049] ppid=4042 vsize=8543940 CPUtime=0 cores=0,2,4,6
/proc/4044/task/4049/stat : 4049 (java) S 4042 4044 4044 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869429595 8748994560 33247 33554432000 1073741824 1073778376 140734493593936 18446744073709551615 251826056089 0 4 0 16800975 18446604445476416384 0 0 -1 2 0 0 0
[pid=4044/tid=4050] ppid=4042 vsize=8543940 CPUtime=0 cores=0,2,4,6
/proc/4044/task/4050/stat : 4050 (java) S 4042 4044 4044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869429595 8748994560 33251 33554432000 1073741824 1073778376 140734493593936 18446744073709551615 251826056089 0 4 0 16800975 18446604445476416384 0 0 -1 2 0 0 0
[pid=4044/tid=4051] ppid=4042 vsize=8543940 CPUtime=0 cores=0,2,4,6
/proc/4044/task/4051/stat : 4051 (java) S 4042 4044 4044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869429595 8748994560 33253 33554432000 1073741824 1073778376 140734493593936 18446744073709551615 251826056089 0 4 0 16800975 18446604445476416384 0 0 -1 2 0 0 0
[pid=4044/tid=4052] ppid=4042 vsize=8543940 CPUtime=0 cores=0,2,4,6
/proc/4044/task/4052/stat : 4052 (java) S 4042 4044 4044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869429595 8748994560 33256 33554432000 1073741824 1073778376 140734493593936 18446744073709551615 251826056089 0 4 0 16800975 18446604445476416384 0 0 -1 2 0 0 0
[pid=4044/tid=4053] ppid=4042 vsize=8543940 CPUtime=0 cores=0,2,4,6
/proc/4044/task/4053/stat : 4053 (java) S 4042 4044 4044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869429595 8748994560 33259 33554432000 1073741824 1073778376 140734493593936 18446744073709551615 251826056089 0 4 0 16800975 18446604445476416384 0 0 -1 2 0 0 0
[pid=4044/tid=4054] ppid=4042 vsize=8543940 CPUtime=0 cores=0,2,4,6
/proc/4044/task/4054/stat : 4054 (java) S 4042 4044 4044 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 869429596 8748994560 33261 33554432000 1073741824 1073778376 140734493593936 18446744073709551615 251826056704 0 0 0 16800975 18446604445476416384 0 0 -1 2 0 0 0
[pid=4044/tid=4055] ppid=4042 vsize=8543940 CPUtime=0 cores=0,2,4,6
/proc/4044/task/4055/stat : 4055 (java) S 4042 4044 4044 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869429596 8748994560 33264 33554432000 1073741824 1073778376 140734493593936 18446744073709551615 251826056089 0 4 0 16800975 18446604445476416384 0 0 -1 2 0 0 0
[pid=4044/tid=4056] ppid=4042 vsize=8543940 CPUtime=0 cores=0,2,4,6
/proc/4044/task/4056/stat : 4056 (java) S 4042 4044 4044 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869429596 8748994560 33267 33554432000 1073741824 1073778376 140734493593936 18446744073709551615 251826056089 0 4 0 16800975 18446604445476416384 0 0 -1 2 0 0 0
[pid=4044/tid=4057] ppid=4042 vsize=8543940 CPUtime=0 cores=0,2,4,6
/proc/4044/task/4057/stat : 4057 (java) S 4042 4044 4044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869429598 8748994560 33269 33554432000 1073741824 1073778376 140734493593936 18446744073709551615 251826063793 0 4 0 16800975 18446604445476416384 0 0 -1 2 0 0 0
[pid=4044/tid=4058] ppid=4042 vsize=8543940 CPUtime=0.66 cores=0,2,4,6
/proc/4044/task/4058/stat : 4058 (java) S 4042 4044 4044 0 -1 4202560 6129 0 0 0 65 1 0 0 25 0 19 0 869429598 8748994560 33270 33554432000 1073741824 1073778376 140734493593936 18446744073709551615 251826056089 0 4 0 16800975 18446604445476416384 0 0 -1 4 0 0 0
[pid=4044/tid=4059] ppid=4042 vsize=8543940 CPUtime=0.64 cores=0,2,4,6
/proc/4044/task/4059/stat : 4059 (java) S 4042 4044 4044 0 -1 4202560 4350 0 0 0 64 0 0 0 25 0 19 0 869429598 8748994560 33270 33554432000 1073741824 1073778376 140734493593936 18446744073709551615 251826056089 0 4 0 16800975 18446604445476416384 0 0 -1 0 0 0 0
[pid=4044/tid=4060] ppid=4042 vsize=8543940 CPUtime=0 cores=0,2,4,6
/proc/4044/task/4060/stat : 4060 (java) S 4042 4044 4044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869429598 8748994560 33272 33554432000 1073741824 1073778376 140734493593936 18446744073709551615 251826056089 0 4 0 16800975 18446604445476416384 0 0 -1 2 0 0 0
[pid=4044/tid=4061] ppid=4042 vsize=8543940 CPUtime=0 cores=0,2,4,6
/proc/4044/task/4061/stat : 4061 (java) S 4042 4044 4044 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869429598 8748994560 33275 33554432000 1073741824 1073778376 140734493593936 18446744073709551615 251826056704 0 4 0 16800975 18446604445476416384 0 0 -1 4 0 0 0
[pid=4044/tid=4062] ppid=4042 vsize=8543940 CPUtime=0 cores=0,2,4,6
/proc/4044/task/4062/stat : 4062 (java) S 4042 4044 4044 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869429660 8748994560 33278 33554432000 1073741824 1073778376 140734493593936 18446744073709551615 251826056704 0 4 0 16800975 18446604445476416384 0 0 -1 6 0 0 0
[pid=3894/tid=3902] ppid=3892 vsize=352192 CPUtime=0.18 cores=0,2,4,6
/proc/3894/task/3902/stat : 3902 (python) S 3892 3894 2544 0 -1 4202560 31 1449 0 0 0 0 15 3 18 0 7 0 869392544 360644608 9099 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554434 18446604451989606656 0 0 -1 0 0 0 0
[pid=3894/tid=3911] ppid=3892 vsize=352192 CPUtime=0.18 cores=0,2,4,6
/proc/3894/task/3911/stat : 3911 (python) S 3892 3894 2544 0 -1 4202560 34 1449 0 0 0 0 15 3 18 0 7 0 869397216 360644608 9099 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554434 18446604451989606656 0 0 -1 6 0 0 0
[pid=3894/tid=3920] ppid=3892 vsize=352192 CPUtime=0.18 cores=0,2,4,6
/proc/3894/task/3920/stat : 3920 (python) S 3892 3894 2544 0 -1 4202560 30 1449 0 0 0 0 15 3 20 0 7 0 869401908 360644608 9099 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554434 18446604451989606656 0 0 -1 2 0 0 0
[pid=3894/tid=3947] ppid=3892 vsize=352192 CPUtime=0.18 cores=0,2,4,6
/proc/3894/task/3947/stat : 3947 (python) S 3892 3894 2544 0 -1 4202560 30 1449 0 0 0 0 15 3 20 0 7 0 869406646 360644608 9099 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554434 18446604451989606656 0 0 -1 2 0 0 0
[pid=3894/tid=3974] ppid=3892 vsize=352192 CPUtime=0.18 cores=0,2,4,6
/proc/3894/task/3974/stat : 3974 (python) S 3892 3894 2544 0 -1 4202560 30 1449 0 0 0 0 15 3 20 0 7 0 869411286 360644608 9099 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554434 18446604451989606656 0 0 -1 2 0 0 0
[pid=3894/tid=4043] ppid=3892 vsize=352192 CPUtime=0.18 cores=0,2,4,6
/proc/3894/task/4043/stat : 4043 (python) S 3892 3894 2544 0 -1 4202560 29 1449 0 0 0 0 15 3 20 0 7 0 869429593 360644608 9099 33554432000 4194304 5683644 140736444883408 18446744073709551615 251826063793 0 0 16781312 33554434 18446604451989606656 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 378.57
Current children cumulated vsize (KiB) 19852172
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 3894 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=361792
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=146977
# CPU time returned by wait4() is 1.50877
# while last known CPU time is 378.57
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 372.997
CPU time (s): 378.57
CPU user time (s): 375.61
CPU system time (s): 2.96
CPU usage (%): 101.494
Max. virtual memory (cumulated for all children) (KiB): 19852172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.36179
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20862
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= 14448
involuntary context switches= 28
runsolver used 3.08853 second user time and 6.54101 second system time
The end