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-3481822-1307576359/watcher-3481822-1307576359 -o /tmp/evaluation-result-3481822-1307576359/solver-3481822-1307576359 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481822-1307576359.opb -seed 1857836293 -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: 0.31 0.07 0.02 2/482 22425
/proc/meminfo: memFree=25044680/32950928 swapFree=61542368/67111528
[pid=22425] ppid=22419 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/22425/stat : 22425 (runsolver) S 22419 22425 22387 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 1 0 947868987 12079104 50 33554432000 4194304 5432328 140735958046064 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699968823 0 0 17 2 0 0 0
/proc/22425/statm: 2949 50 31 303 0 2643 0
[startup+0.0448669 s]
/proc/loadavg: 0.31 0.07 0.02 2/482 22425
/proc/meminfo: memFree=25044680/32950928 swapFree=61542368/67111528
[pid=22425] ppid=22419 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/22425/stat : 22425 (runsolver) D 22419 22425 22387 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 1 0 947868987 12079104 53 33554432000 4194304 5432328 140735958046064 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 2 0 0 0
/proc/22425/statm: 2949 53 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.100857 s]
/proc/loadavg: 0.31 0.07 0.02 2/482 22425
/proc/meminfo: memFree=25044680/32950928 swapFree=61542368/67111528
[pid=22425] ppid=22419 vsize=1840 CPUtime=0 cores=0,2,4,6
/proc/22425/stat : 22425 (python) D 22419 22425 22387 0 -1 4194304 46 0 0 0 0 0 0 0 19 0 1 0 947868987 1884160 1 33554432000 0 0 140733999818407 18446744073709551615 5055479 0 0 4096 0 18446744071562234166 0 0 17 4 0 0 1
/proc/22425/statm: 460 1 0 0 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1840
[startup+0.30082 s]
/proc/loadavg: 0.31 0.07 0.02 2/482 22425
/proc/meminfo: memFree=25044680/32950928 swapFree=61542368/67111528
[pid=22425] ppid=22419 vsize=14820 CPUtime=0 cores=0,2,4,6
/proc/22425/stat : 22425 (python) D 22419 22425 22387 0 -1 4202496 506 0 6 0 0 0 0 0 17 0 1 0 947868987 15175680 420 33554432000 4194304 5683644 140733999810064 18446744073709551615 260905389925 0 0 4096 0 0 0 0 17 4 0 0 15
/proc/22425/statm: 3705 420 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820
[startup+0.70075 s]
/proc/loadavg: 0.31 0.07 0.02 2/482 22425
/proc/meminfo: memFree=25044680/32950928 swapFree=61542368/67111528
[pid=22425] ppid=22419 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/22425/stat : 22425 (python) S 22419 22425 22387 0 -1 4202496 705 0 6 0 0 0 0 0 15 0 1 0 947868987 15548416 603 33554432000 4194304 5683644 140733999810064 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 15
/proc/22425/statm: 3796 603 319 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184
[startup+1.50077 s]
/proc/loadavg: 0.36 0.08 0.03 2/484 22427
/proc/meminfo: memFree=25038096/32950928 swapFree=61542368/67111528
[pid=22425] ppid=22419 vsize=15764 CPUtime=0 cores=0,2,4,6
/proc/22425/stat : 22425 (python) D 22419 22425 22387 0 -1 4202496 838 0 6 0 0 0 0 0 16 0 1 0 947868987 16142336 727 33554432000 4194304 5683644 140733999810064 18446744073709551615 260905392128 0 0 16781312 2 0 0 0 17 4 0 0 20
/proc/22425/statm: 3941 727 334 364 0 428 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15764
[startup+3.10045 s]
/proc/loadavg: 0.36 0.08 0.03 2/484 22427
/proc/meminfo: memFree=25038472/32950928 swapFree=61542368/67111528
[pid=22425] ppid=22419 vsize=16400 CPUtime=0.02 cores=0,2,4,6
/proc/22425/stat : 22425 (python) D 22419 22425 22387 0 -1 4202496 1111 0 6 0 1 1 0 0 16 0 1 0 947868987 16793600 985 33554432000 4194304 5683644 140733999810064 18446744073709551615 260905392128 0 0 16781312 2 0 0 0 17 4 0 0 36
/proc/22425/statm: 4100 985 409 364 0 587 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16400
heavy processes:
[startup+6.30072 s]
/proc/loadavg: 0.36 0.08 0.03 2/484 22427
/proc/meminfo: memFree=25033596/32950928 swapFree=61542368/67111528
[pid=22425] ppid=22419 vsize=29792 CPUtime=0.05 cores=0,2,4,6
/proc/22425/stat : 22425 (python) R 22419 22425 22387 0 -1 4202496 1449 0 11 0 3 2 0 0 15 0 1 0 947868987 30507008 1300 33554432000 4194304 5683644 140733999810064 18446744073709551615 4510336 0 0 16781312 2 0 0 0 17 4 0 0 47
/proc/22425/statm: 7448 1300 443 364 0 818 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 29792
heavy processes:
[startup+12.7006 s]
/proc/loadavg: 0.46 0.11 0.04 2/484 22435
/proc/meminfo: memFree=24990940/32950928 swapFree=61542368/67111528
[pid=22425] ppid=22419 vsize=200780 CPUtime=0.27 cores=0,2,4,6
/proc/22425/stat : 22425 (python) D 22419 22425 22387 0 -1 4202496 6538 923 77 9 17 10 0 0 15 0 1 0 947868987 205598720 4903 33554432000 4194304 5683644 140733999810064 18446744073709551615 260900474390 0 0 16781312 2 18446744071562234166 0 0 17 4 0 0 127
/proc/22425/statm: 50195 4903 1435 364 0 3677 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 200780
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 0.62 0.16 0.05 4/490 22442
/proc/meminfo: memFree=24915296/32950928 swapFree=61542368/67111528
[pid=22425] ppid=22419 vsize=293256 CPUtime=0.48 cores=0,2,4,6
/proc/22425/stat : 22425 (python) S 22419 22425 22387 0 -1 4202496 9562 923 113 9 34 14 0 0 18 0 2 0 947868987 300294144 7178 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 154
/proc/22425/statm: 73314 7178 1870 364 0 8201 0
[pid=22438] ppid=22425 vsize=283144 CPUtime=0.04 cores=0,2,4,6
/proc/22438/stat : 22438 (python) S 22425 22425 22387 0 -1 4202560 920 0 0 0 3 1 0 0 15 0 1 0 947870617 289939456 5691 33554432000 4194304 5683644 140733999810064 18446744073709551615 260905414159 0 0 16781312 33554946 72409437758827198 0 0 17 4 0 0 0
/proc/22438/statm: 70786 5691 378 364 0 5673 0
[pid=22442] ppid=22438 vsize=32000 CPUtime=9.16 cores=0,2,4,6
/proc/22442/stat : 22442 (scip-2.0.1.linu) R 22438 22442 22442 0 -1 4202496 6467 0 0 0 908 8 0 0 25 0 1 0 947870617 32768000 5814 33554432000 4194304 13684479 140734725377120 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22442/statm: 8000 5814 798 2317 0 5678 0
[pid=22425/tid=22440] ppid=22419 vsize=293256 CPUtime=0 cores=0,2,4,6
/proc/22425/task/22440/stat : 22440 (python) S 22419 22425 22387 0 -1 4202560 29 923 0 9 0 0 0 0 18 0 2 0 947870617 300294144 7178 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554434 18446604447780239552 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.68
Current children cumulated vsize (KiB) 608400
heavy processes:
[startup+51.1006 s]
/proc/loadavg: 1.09 0.30 0.10 4/490 22442
/proc/meminfo: memFree=24916264/32950928 swapFree=61542368/67111528
[pid=22425] ppid=22419 vsize=293256 CPUtime=0.48 cores=0,2,4,6
/proc/22425/stat : 22425 (python) S 22419 22425 22387 0 -1 4202496 9562 923 113 9 34 14 0 0 18 0 2 0 947868987 300294144 7178 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 154
/proc/22425/statm: 73314 7178 1870 364 0 8201 0
[pid=22438] ppid=22425 vsize=283144 CPUtime=0.14 cores=0,2,4,6
/proc/22438/stat : 22438 (python) S 22425 22425 22387 0 -1 4202560 929 0 0 0 7 7 0 0 15 0 1 0 947870617 289939456 5691 33554432000 4194304 5683644 140733999810064 18446744073709551615 260905414159 0 0 16781312 33554946 929377875713327104 0 0 17 4 0 0 0
/proc/22438/statm: 70786 5691 378 364 0 5673 0
[pid=22442] ppid=22438 vsize=32000 CPUtime=34.73 cores=0,2,4,6
/proc/22442/stat : 22442 (scip-2.0.1.linu) R 22438 22442 22442 0 -1 4202496 6487 0 0 0 3438 35 0 0 25 0 1 0 947870617 32768000 5834 33554432000 4194304 13684479 140734725377120 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22442/statm: 8000 5834 805 2317 0 5678 0
[pid=22425/tid=22440] ppid=22419 vsize=293256 CPUtime=0 cores=0,2,4,6
/proc/22425/task/22440/stat : 22440 (python) S 22419 22425 22387 0 -1 4202560 29 923 0 9 0 0 0 0 18 0 2 0 947870617 300294144 7178 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554434 18446604447780239552 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 35.35
Current children cumulated vsize (KiB) 608400
heavy processes:
[startup+102.319 s]
/proc/loadavg: 1.64 0.58 0.21 4/498 22452
/proc/meminfo: memFree=24870640/32950928 swapFree=61542368/67111528
[pid=22425] ppid=22419 vsize=304056 CPUtime=0.52 cores=0,2,4,6
/proc/22425/stat : 22425 (python) S 22419 22425 22387 0 -1 4202496 10388 923 113 9 37 15 0 0 20 0 3 0 947868987 311353344 7311 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 154
/proc/22425/statm: 76014 7311 1873 364 0 10898 0
[pid=22438] ppid=22425 vsize=293388 CPUtime=0.23 cores=0,2,4,6
/proc/22438/stat : 22438 (python) S 22425 22425 22387 0 -1 4202560 1098 0 0 0 12 11 0 0 16 0 2 0 947870617 300429312 5726 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/22438/statm: 73347 5726 408 364 0 8234 0
[pid=22442] ppid=22438 vsize=32000 CPUtime=50.22 cores=0,2,4,6
/proc/22442/stat : 22442 (scip-2.0.1.linu) T 22438 22442 22442 0 -1 4202496 6491 0 0 0 4969 53 0 0 25 0 1 0 947870617 32768000 5838 33554432000 4194304 13684479 140734725377120 18446744073709551615 7266909 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/22442/statm: 8000 5838 807 2317 0 5678 0
[pid=22438/tid=22448] ppid=22425 vsize=293388 CPUtime=0 cores=0,2,4,6
/proc/22438/task/22448/stat : 22448 (python) S 22425 22425 22387 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 947875648 300429312 5726 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554946 18446604443201312896 0 0 -1 4 0 0 0
[pid=22449] ppid=22425 vsize=293812 CPUtime=0.13 cores=0,2,4,6
/proc/22449/stat : 22449 (python) S 22425 22425 22387 0 -1 4202560 939 0 0 0 6 7 0 0 15 0 1 0 947875651 300863488 5807 33554432000 4194304 5683644 140733999810064 18446744073709551615 260905414214 0 0 16781312 33554946 605884057124864000 0 0 17 6 0 0 0
/proc/22449/statm: 73453 5807 373 364 0 8337 0
[pid=22451] ppid=22449 vsize=31644 CPUtime=35.66 cores=0,2,4,6
/proc/22451/stat : 22451 (scip-2.0.1.linu) R 22449 22451 22451 0 -1 4202496 19904 0 0 0 3547 19 0 0 25 0 1 0 947875651 32403456 5325 33554432000 4194304 15243407 140736214182832 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/22451/statm: 7911 5325 927 2698 0 5206 0
[pid=22425/tid=22440] ppid=22419 vsize=304056 CPUtime=0 cores=0,2,4,6
/proc/22425/task/22440/stat : 22440 (python) S 22419 22425 22387 0 -1 4202560 29 923 0 9 0 0 0 0 18 0 3 0 947870617 311353344 7311 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554434 18446604447780239552 0 0 -1 4 0 0 0
[pid=22425/tid=22450] ppid=22419 vsize=304056 CPUtime=0 cores=0,2,4,6
/proc/22425/task/22450/stat : 22450 (python) S 22419 22425 22387 0 -1 4202560 29 923 0 9 0 0 0 0 20 0 3 0 947875651 311353344 7311 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554434 18446604447780239552 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 86.76
Current children cumulated vsize (KiB) 954900
[startup+162.301 s]
/proc/loadavg: 1.86 0.84 0.32 4/510 22465
/proc/meminfo: memFree=24852100/32950928 swapFree=61542368/67111528
[pid=22425] ppid=22419 vsize=314080 CPUtime=0.54 cores=0,2,4,6
/proc/22425/stat : 22425 (python) S 22419 22425 22387 0 -1 4202496 11264 923 113 9 39 15 0 0 20 0 4 0 947868987 321617920 7244 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 154
/proc/22425/statm: 78520 7244 1875 364 0 13401 0
[pid=22438] ppid=22425 vsize=293388 CPUtime=0.23 cores=0,2,4,6
/proc/22438/stat : 22438 (python) S 22425 22425 22387 0 -1 4202560 1098 0 0 0 12 11 0 0 16 0 2 0 947870617 300429312 5726 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/22438/statm: 73347 5726 408 364 0 8234 0
[pid=22442] ppid=22438 vsize=32000 CPUtime=50.22 cores=0,2,4,6
/proc/22442/stat : 22442 (scip-2.0.1.linu) T 22438 22442 22442 0 -1 4202496 6491 0 0 0 4969 53 0 0 25 0 1 0 947870617 32768000 5838 33554432000 4194304 13684479 140734725377120 18446744073709551615 7266909 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/22442/statm: 8000 5838 807 2317 0 5678 0
[pid=22438/tid=22448] ppid=22425 vsize=293388 CPUtime=0 cores=0,2,4,6
/proc/22438/task/22448/stat : 22448 (python) S 22425 22425 22387 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 947875648 300429312 5726 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554946 18446604443201312896 0 0 -1 4 0 0 0
[pid=22449] ppid=22425 vsize=293812 CPUtime=0.2 cores=0,2,4,6
/proc/22449/stat : 22449 (python) S 22425 22425 22387 0 -1 4202560 1107 0 0 0 10 10 0 0 16 0 2 0 947875651 300863488 5832 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/22449/statm: 73453 5832 397 364 0 8337 0
[pid=22451] ppid=22449 vsize=31968 CPUtime=50.22 cores=0,2,4,6
/proc/22451/stat : 22451 (scip-2.0.1.linu) T 22449 22451 22451 0 -1 4202496 24870 0 0 0 4994 28 0 0 18 0 1 0 947875651 32735232 5372 33554432000 4194304 15243407 140736214182832 18446744073709551615 8108607 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/22451/statm: 7992 5372 954 2698 0 5287 0
[pid=22449/tid=22457] ppid=22425 vsize=293812 CPUtime=0 cores=0,2,4,6
/proc/22449/task/22457/stat : 22457 (python) S 22425 22425 22387 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 947880675 300863488 5832 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554946 18446604441328297984 0 0 -1 6 0 0 0
[pid=22458] ppid=22425 vsize=303836 CPUtime=0.16 cores=0,2,4,6
/proc/22458/stat : 22458 (python) S 22425 22425 22387 0 -1 4202560 1038 0 0 0 8 8 0 0 15 0 1 0 947880677 311128064 5744 33554432000 4194304 5683644 140733999810064 18446744073709551615 260905414214 0 0 16781312 33554946 72556772316949182 0 0 17 6 0 0 0
/proc/22458/statm: 75959 5744 379 364 0 10840 0
[pid=22460] ppid=22458 vsize=2256 CPUtime=45.39 cores=0,2,4,6
/proc/22460/stat : 22460 (clasp-1.3.7-x86) R 22458 22460 22460 0 -1 4202496 584 0 0 0 4539 0 0 0 25 0 1 0 947880678 2310144 318 33554432000 134512640 136139019 4292018112 18446744073709551615 134832342 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/22460/statm: 564 318 184 398 0 164 0
[pid=22425/tid=22440] ppid=22419 vsize=314080 CPUtime=0 cores=0,2,4,6
/proc/22425/task/22440/stat : 22440 (python) S 22419 22425 22387 0 -1 4202560 29 923 0 9 0 0 0 0 18 0 4 0 947870617 321617920 7244 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554434 18446604447780239552 0 0 -1 4 0 0 0
[pid=22425/tid=22450] ppid=22419 vsize=314080 CPUtime=0 cores=0,2,4,6
/proc/22425/task/22450/stat : 22450 (python) S 22419 22425 22387 0 -1 4202560 29 923 0 9 0 0 0 0 20 0 4 0 947875651 321617920 7244 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554434 18446604447780239552 0 0 -1 4 0 0 0
[pid=22425/tid=22459] ppid=22419 vsize=314080 CPUtime=0 cores=0,2,4,6
/proc/22425/task/22459/stat : 22459 (python) S 22419 22425 22387 0 -1 4202560 30 923 0 9 0 0 0 0 20 0 4 0 947880678 321617920 7244 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554434 18446604447780239552 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=22425/tid=22459] ppid=22419 vsize=335196 CPUtime=0 cores=0,2,4,6
/proc/22425/task/22459/stat : 22459 (python) S 22419 22425 22387 0 -1 4202560 33 923 0 9 0 0 0 0 18 0 6 0 947880678 343240704 7406 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554434 18446604447780239552 0 0 -1 2 0 0 0
[pid=22425/tid=22469] ppid=22419 vsize=335196 CPUtime=0 cores=0,2,4,6
/proc/22425/task/22469/stat : 22469 (python) S 22419 22425 22387 0 -1 4202560 98 923 0 9 0 0 0 0 20 0 6 0 947885524 343240704 7406 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554434 18446604447780239552 0 0 -1 0 0 0 0
[pid=22425/tid=22496] ppid=22419 vsize=335196 CPUtime=0 cores=0,2,4,6
/proc/22425/task/22496/stat : 22496 (python) S 22419 22425 22387 0 -1 4202560 30 923 0 9 0 0 0 0 20 0 6 0 947894751 343240704 7406 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554434 18446604447780239552 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 269.22
Current children cumulated vsize (KiB) 10605452
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+302.402 s]
/proc/loadavg: 2.22 1.35 0.58 4/580 22539
/proc/meminfo: memFree=23312604/32950928 swapFree=61542368/67111528
[pid=22425] ppid=22419 vsize=345452 CPUtime=0.66 cores=0,2,4,6
/proc/22425/stat : 22425 (python) S 22419 22425 22387 0 -1 4202496 13960 923 113 9 50 16 0 0 20 0 7 0 947868987 353742848 7412 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 154
/proc/22425/statm: 86363 7412 1881 364 0 21235 0
[pid=22438] ppid=22425 vsize=293388 CPUtime=0.23 cores=0,2,4,6
/proc/22438/stat : 22438 (python) S 22425 22425 22387 0 -1 4202560 1098 0 0 0 12 11 0 0 16 0 2 0 947870617 300429312 5726 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/22438/statm: 73347 5726 408 364 0 8234 0
[pid=22442] ppid=22438 vsize=32000 CPUtime=50.22 cores=0,2,4,6
/proc/22442/stat : 22442 (scip-2.0.1.linu) T 22438 22442 22442 0 -1 4202496 6491 0 0 0 4969 53 0 0 25 0 1 0 947870617 32768000 5838 33554432000 4194304 13684479 140734725377120 18446744073709551615 7266909 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/22442/statm: 8000 5838 807 2317 0 5678 0
[pid=22438/tid=22448] ppid=22425 vsize=293388 CPUtime=0 cores=0,2,4,6
/proc/22438/task/22448/stat : 22448 (python) S 22425 22425 22387 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 947875648 300429312 5726 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554946 18446604443201312896 0 0 -1 4 0 0 0
[pid=22449] ppid=22425 vsize=293812 CPUtime=0.2 cores=0,2,4,6
/proc/22449/stat : 22449 (python) S 22425 22425 22387 0 -1 4202560 1107 0 0 0 10 10 0 0 16 0 2 0 947875651 300863488 5832 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/22449/statm: 73453 5832 397 364 0 8337 0
[pid=22451] ppid=22449 vsize=31968 CPUtime=50.22 cores=0,2,4,6
/proc/22451/stat : 22451 (scip-2.0.1.linu) T 22449 22451 22451 0 -1 4202496 24870 0 0 0 4994 28 0 0 18 0 1 0 947875651 32735232 5372 33554432000 4194304 15243407 140736214182832 18446744073709551615 8108607 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/22451/statm: 7992 5372 954 2698 0 5287 0
[pid=22449/tid=22457] ppid=22425 vsize=293812 CPUtime=0 cores=0,2,4,6
/proc/22449/task/22457/stat : 22457 (python) S 22425 22425 22387 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 947880675 300863488 5832 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554946 18446604441328297984 0 0 -1 6 0 0 0
[pid=22458] ppid=22425 vsize=303836 CPUtime=0.37 cores=0,2,4,6
/proc/22458/stat : 22458 (python) S 22425 22425 22387 0 -1 4202560 1181 0 0 0 18 19 0 0 15 0 2 0 947880677 311128064 5769 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/22458/statm: 75959 5769 403 364 0 10840 0
[pid=22460] ppid=22458 vsize=2256 CPUtime=94.62 cores=0,2,4,6
/proc/22460/stat : 22460 (clasp-1.3.7-x86) T 22458 22460 22460 0 -1 4202496 586 0 0 0 9462 0 0 0 25 0 1 0 947880678 2310144 320 33554432000 134512640 136139019 4292018112 18446744073709551615 134877174 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/22460/statm: 564 320 184 398 0 164 0
[pid=22458/tid=22467] ppid=22425 vsize=303836 CPUtime=0 cores=0,2,4,6
/proc/22458/task/22467/stat : 22467 (python) S 22425 22425 22387 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 947885521 311128064 5769 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554946 18446604452453781824 0 0 -1 6 0 0 0
[pid=22468] ppid=22425 vsize=314536 CPUtime=0.19 cores=0,2,4,6
/proc/22468/stat : 22468 (python) S 22425 22425 22387 0 -1 4202560 1182 0 0 0 9 10 0 0 16 0 2 0 947885524 322084864 5883 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/22468/statm: 78634 5883 403 364 0 13512 0
[pid=22470] ppid=22468 vsize=118956 CPUtime=46.01 cores=0,2,4,6
/proc/22470/stat : 22470 (wbo1.4a) T 22468 22470 22470 0 -1 4202496 29547 0 0 0 4567 34 0 0 25 0 1 0 947885524 121810944 29265 33554432000 134512640 135751879 4287105792 18446744073709551615 134600986 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/22470/statm: 29739 29265 146 303 0 29434 0
[pid=22468/tid=22472] ppid=22425 vsize=314536 CPUtime=0 cores=0,2,4,6
/proc/22468/task/22472/stat : 22472 (python) S 22425 22425 22387 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 947890126 322084864 5883 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554946 18446604451330462656 0 0 -1 6 0 0 0
[pid=22495] ppid=22425 vsize=324952 CPUtime=0.18 cores=0,2,4,6
/proc/22495/stat : 22495 (python) S 22425 22425 22387 0 -1 4202560 1122 0 0 0 10 8 0 0 16 0 2 0 947894751 332750848 5921 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/22495/statm: 81238 5921 397 364 0 16113 0
[pid=22497] ppid=22495 vsize=8554552 CPUtime=46.18 cores=0,2,4,6
/proc/22497/stat : 22497 (java) T 22495 22497 22497 0 -1 4202496 122201 0 1 0 4602 16 0 0 18 0 19 0 947894751 8759861248 90107 33554432000 1073741824 1073778376 140737391767056 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22497/statm: 2138638 90107 2237 9 0 2129379 0
[pid=22497/tid=22498] ppid=22495 vsize=8554552 CPUtime=43.5 cores=0,2,4,6
/proc/22497/task/22498/stat : 22498 (java) T 22495 22497 22497 0 -1 4202560 76228 0 1 0 4343 7 0 0 25 0 19 0 947894752 8759861248 90107 33554432000 1073741824 1073778376 140737391767056 18446744073709551615 46912505907440 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=22497/tid=22499] ppid=22495 vsize=8554552 CPUtime=0.11 cores=0,2,4,6
/proc/22497/task/22499/stat : 22499 (java) T 22495 22497 22497 0 -1 4202560 4047 0 0 0 11 0 0 0 15 0 19 0 947894752 8759861248 90107 33554432000 1073741824 1073778376 140737391767056 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=22497/tid=22500] ppid=22495 vsize=8554552 CPUtime=0.1 cores=0,2,4,6
/proc/22497/task/22500/stat : 22500 (java) T 22495 22497 22497 0 -1 4202560 3109 0 0 0 10 0 0 0 15 0 19 0 947894752 8759861248 90107 33554432000 1073741824 1073778376 140737391767056 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=22497/tid=22501] ppid=22495 vsize=8554552 CPUtime=0.13 cores=0,2,4,6
/proc/22497/task/22501/stat : 22501 (java) T 22495 22497 22497 0 -1 4202560 4013 0 0 0 13 0 0 0 15 0 19 0 947894752 8759861248 90107 33554432000 1073741824 1073778376 140737391767056 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=22497/tid=22502] ppid=22495 vsize=8554552 CPUtime=0.13 cores=0,2,4,6
/proc/22497/task/22502/stat : 22502 (java) T 22495 22497 22497 0 -1 4202560 4499 0 0 0 13 0 0 0 15 0 19 0 947894752 8759861248 90107 33554432000 1073741824 1073778376 140737391767056 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=22497/tid=22503] ppid=22495 vsize=8554552 CPUtime=0.12 cores=0,2,4,6
/proc/22497/task/22503/stat : 22503 (java) T 22495 22497 22497 0 -1 4202560 4584 0 0 0 12 0 0 0 15 0 19 0 947894752 8759861248 90107 33554432000 1073741824 1073778376 140737391767056 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=22497/tid=22504] ppid=22495 vsize=8554552 CPUtime=0.13 cores=0,2,4,6
/proc/22497/task/22504/stat : 22504 (java) T 22495 22497 22497 0 -1 4202560 4879 0 0 0 13 0 0 0 15 0 19 0 947894752 8759861248 90107 33554432000 1073741824 1073778376 140737391767056 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=22497/tid=22505] ppid=22495 vsize=8554552 CPUtime=0.12 cores=0,2,4,6
/proc/22497/task/22505/stat : 22505 (java) T 22495 22497 22497 0 -1 4202560 3698 0 0 0 12 0 0 0 15 0 19 0 947894752 8759861248 90107 33554432000 1073741824 1073778376 140737391767056 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22497/tid=22506] ppid=22495 vsize=8554552 CPUtime=0.11 cores=0,2,4,6
/proc/22497/task/22506/stat : 22506 (java) T 22495 22497 22497 0 -1 4202560 3877 0 0 0 11 0 0 0 15 0 19 0 947894752 8759861248 90107 33554432000 1073741824 1073778376 140737391767056 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=22497/tid=22507] ppid=22495 vsize=8554552 CPUtime=0.01 cores=0,2,4,6
/proc/22497/task/22507/stat : 22507 (java) T 22495 22497 22497 0 -1 4202560 151 0 0 0 0 1 0 0 15 0 19 0 947894753 8759861248 90107 33554432000 1073741824 1073778376 140737391767056 18446744073709551615 260917210624 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=22497/tid=22508] ppid=22495 vsize=8554552 CPUtime=0 cores=0,2,4,6
/proc/22497/task/22508/stat : 22508 (java) T 22495 22497 22497 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947894754 8759861248 90107 33554432000 1073741824 1073778376 140737391767056 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=22497/tid=22509] ppid=22495 vsize=8554552 CPUtime=0 cores=0,2,4,6
/proc/22497/task/22509/stat : 22509 (java) T 22495 22497 22497 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947894754 8759861248 90107 33554432000 1073741824 1073778376 140737391767056 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22497/tid=22510] ppid=22495 vsize=8554552 CPUtime=0 cores=0,2,4,6
/proc/22497/task/22510/stat : 22510 (java) T 22495 22497 22497 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947894756 8759861248 90107 33554432000 1073741824 1073778376 140737391767056 18446744073709551615 260917217713 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=22497/tid=22511] ppid=22495 vsize=8554552 CPUtime=0.74 cores=0,2,4,6
/proc/22497/task/22511/stat : 22511 (java) T 22495 22497 22497 0 -1 4202560 7084 0 0 0 74 0 0 0 15 0 19 0 947894756 8759861248 90107 33554432000 1073741824 1073778376 140737391767056 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=22497/tid=22512] ppid=22495 vsize=8554552 CPUtime=0.85 cores=0,2,4,6
/proc/22497/task/22512/stat : 22512 (java) T 22495 22497 22497 0 -1 4202560 4635 0 0 0 85 0 0 0 15 0 19 0 947894756 8759861248 90107 33554432000 1073741824 1073778376 140737391767056 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=22497/tid=22513] ppid=22495 vsize=8554552 CPUtime=0 cores=0,2,4,6
/proc/22497/task/22513/stat : 22513 (java) T 22495 22497 22497 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947894756 8759861248 90107 33554432000 1073741824 1073778376 140737391767056 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=22497/tid=22514] ppid=22495 vsize=8554552 CPUtime=0 cores=0,2,4,6
/proc/22497/task/22514/stat : 22514 (java) T 22495 22497 22497 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947894756 8759861248 90107 33554432000 1073741824 1073778376 140737391767056 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=22497/tid=22516] ppid=22495 vsize=8554552 CPUtime=0 cores=0,2,4,6
/proc/22497/task/22516/stat : 22516 (java) T 22495 22497 22497 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947894774 8759861248 90107 33554432000 1073741824 1073778376 140737391767056 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=22495/tid=22518] ppid=22425 vsize=324952 CPUtime=0 cores=0,2,4,6
/proc/22495/task/22518/stat : 22518 (python) S 22425 22425 22387 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 947899146 332750848 5921 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554946 18446604445752718400 0 0 -1 6 0 0 0
[pid=22519] ppid=22425 vsize=335208 CPUtime=0 cores=0,2,4,6
/proc/22519/stat : 22519 (python) S 22425 22425 22387 0 -1 4202560 813 0 0 0 0 0 0 0 15 0 1 0 947899149 343252992 5876 33554432000 4194304 5683644 140733999810064 18446744073709551615 260905414214 0 0 16781312 33554946 4294934788 0 0 17 4 0 0 0
/proc/22519/statm: 83802 5876 349 364 0 18674 0
[pid=22521] ppid=22519 vsize=8538008 CPUtime=1.28 cores=0,2,4,6
/proc/22521/stat : 22521 (java) S 22519 22521 22521 0 -1 4202496 30951 0 1 0 123 5 0 0 21 0 19 0 947899149 8742920192 29656 33554432000 1073741824 1073778376 140733680351264 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22521/statm: 2134502 29657 2213 9 0 2125243 0
[pid=22521/tid=22522] ppid=22519 vsize=8538008 CPUtime=0.81 cores=0,2,4,6
/proc/22521/task/22522/stat : 22522 (java) R 22519 22521 22521 0 -1 4202560 26844 0 1 0 77 4 0 0 25 0 19 0 947899150 8742920192 30155 33554432000 1073741824 1073778376 140733680351264 18446744073709551615 46912505602818 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22521/tid=22523] ppid=22519 vsize=8538008 CPUtime=0 cores=0,2,4,6
/proc/22521/task/22523/stat : 22523 (java) S 22519 22521 22521 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947899150 8742920192 30157 33554432000 1073741824 1073778376 140733680351264 18446744073709551615 260917210009 0 4 0 16800975 18446604440399323200 0 0 -1 4 0 0 0
[pid=22521/tid=22524] ppid=22519 vsize=8538008 CPUtime=0 cores=0,2,4,6
/proc/22521/task/22524/stat : 22524 (java) S 22519 22521 22521 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899150 8742920192 30159 33554432000 1073741824 1073778376 140733680351264 18446744073709551615 260917210009 0 4 0 16800975 18446604440399323200 0 0 -1 4 0 0 0
[pid=22521/tid=22525] ppid=22519 vsize=8538008 CPUtime=0 cores=0,2,4,6
/proc/22521/task/22525/stat : 22525 (java) S 22519 22521 22521 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899150 8742920192 30161 33554432000 1073741824 1073778376 140733680351264 18446744073709551615 260917210009 0 4 0 16800975 18446604440399323200 0 0 -1 4 0 0 0
[pid=22521/tid=22526] ppid=22519 vsize=8538008 CPUtime=0 cores=0,2,4,6
/proc/22521/task/22526/stat : 22526 (java) S 22519 22521 22521 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899150 8742920192 30161 33554432000 1073741824 1073778376 140733680351264 18446744073709551615 260917210009 0 4 0 16800975 18446604440399323200 0 0 -1 4 0 0 0
[pid=22521/tid=22527] ppid=22519 vsize=8538008 CPUtime=0 cores=0,2,4,6
/proc/22521/task/22527/stat : 22527 (java) S 22519 22521 22521 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899150 8742920192 30162 33554432000 1073741824 1073778376 140733680351264 18446744073709551615 260917210009 0 4 0 16800975 18446604440399323200 0 0 -1 4 0 0 0
[pid=22521/tid=22528] ppid=22519 vsize=8538008 CPUtime=0 cores=0,2,4,6
/proc/22521/task/22528/stat : 22528 (java) S 22519 22521 22521 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899150 8742920192 30164 33554432000 1073741824 1073778376 140733680351264 18446744073709551615 260917210009 0 4 0 16800975 18446604440399323200 0 0 -1 4 0 0 0
[pid=22521/tid=22529] ppid=22519 vsize=8538008 CPUtime=0 cores=0,2,4,6
/proc/22521/task/22529/stat : 22529 (java) S 22519 22521 22521 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899150 8742920192 30167 33554432000 1073741824 1073778376 140733680351264 18446744073709551615 260917210009 0 4 0 16800975 18446604440399323200 0 0 -1 4 0 0 0
[pid=22521/tid=22530] ppid=22519 vsize=8538008 CPUtime=0 cores=0,2,4,6
/proc/22521/task/22530/stat : 22530 (java) S 22519 22521 22521 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899150 8742920192 30167 33554432000 1073741824 1073778376 140733680351264 18446744073709551615 260917210009 0 4 0 16800975 18446604440399323200 0 0 -1 4 0 0 0
[pid=22521/tid=22531] ppid=22519 vsize=8538008 CPUtime=0 cores=0,2,4,6
/proc/22521/task/22531/stat : 22531 (java) S 22519 22521 22521 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947899151 8742920192 30169 33554432000 1073741824 1073778376 140733680351264 18446744073709551615 260917210624 0 0 0 16800975 18446604440399323200 0 0 -1 2 0 0 0
[pid=22521/tid=22532] ppid=22519 vsize=8538008 CPUtime=0 cores=0,2,4,6
/proc/22521/task/22532/stat : 22532 (java) S 22519 22521 22521 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947899151 8742920192 30169 33554432000 1073741824 1073778376 140733680351264 18446744073709551615 260917210009 0 4 0 16800975 18446604440399323200 0 0 -1 2 0 0 0
[pid=22521/tid=22533] ppid=22519 vsize=8538008 CPUtime=0 cores=0,2,4,6
/proc/22521/task/22533/stat : 22533 (java) S 22519 22521 22521 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947899151 8742920192 30171 33554432000 1073741824 1073778376 140733680351264 18446744073709551615 260917210009 0 4 0 16800975 18446604440399323200 0 0 -1 2 0 0 0
[pid=22521/tid=22534] ppid=22519 vsize=8538008 CPUtime=0 cores=0,2,4,6
/proc/22521/task/22534/stat : 22534 (java) S 22519 22521 22521 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899153 8742920192 30174 33554432000 1073741824 1073778376 140733680351264 18446744073709551615 260917217713 0 4 0 16800975 18446604440399323200 0 0 -1 2 0 0 0
[pid=22521/tid=22535] ppid=22519 vsize=8538008 CPUtime=0.27 cores=0,2,4,6
/proc/22521/task/22535/stat : 22535 (java) S 22519 22521 22521 0 -1 4202560 1558 0 0 0 27 0 0 0 23 0 19 0 947899153 8742920192 30175 33554432000 1073741824 1073778376 140733680351264 18446744073709551615 260917210009 0 4 0 16800975 18446604440399323200 0 0 -1 6 0 0 0
[pid=22521/tid=22536] ppid=22519 vsize=8538008 CPUtime=0.19 cores=0,2,4,6
/proc/22521/task/22536/stat : 22536 (java) S 22519 22521 22521 0 -1 4202560 1650 0 0 0 19 0 0 0 23 0 19 0 947899154 8742920192 30176 33554432000 1073741824 1073778376 140733680351264 18446744073709551615 260917210009 0 4 0 16800975 18446604440399323200 0 0 -1 4 0 0 0
[pid=22521/tid=22537] ppid=22519 vsize=8538008 CPUtime=0 cores=0,2,4,6
/proc/22521/task/22537/stat : 22537 (java) S 22519 22521 22521 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899154 8742920192 30176 33554432000 1073741824 1073778376 140733680351264 18446744073709551615 260917210009 0 4 0 16800975 18446604440399323200 0 0 -1 2 0 0 0
[pid=22521/tid=22538] ppid=22519 vsize=8538008 CPUtime=0 cores=0,2,4,6
/proc/22521/task/22538/stat : 22538 (java) S 22519 22521 22521 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947899154 8742920192 30177 33554432000 1073741824 1073778376 140733680351264 18446744073709551615 260917210624 0 4 0 16800975 18446604440399323200 0 0 -1 4 0 0 0
[pid=22521/tid=22539] ppid=22519 vsize=8538008 CPUtime=0 cores=0,2,4,6
/proc/22521/task/22539/stat : 22539 (java) S 22519 22521 22521 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947899171 8742920192 30177 33554432000 1073741824 1073778376 140733680351264 18446744073709551615 260917210624 0 4 0 16800975 18446604440399323200 0 0 -1 6 0 0 0
[pid=22425/tid=22440] ppid=22419 vsize=345452 CPUtime=0 cores=0,2,4,6
/proc/22425/task/22440/stat : 22440 (python) S 22419 22425 22387 0 -1 4202560 29 923 0 9 0 0 0 0 18 0 7 0 947870617 353742848 7412 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554434 18446604447780239552 0 0 -1 4 0 0 0
[pid=22425/tid=22450] ppid=22419 vsize=345452 CPUtime=0 cores=0,2,4,6
/proc/22425/task/22450/stat : 22450 (python) S 22419 22425 22387 0 -1 4202560 29 923 0 9 0 0 0 0 20 0 7 0 947875651 353742848 7412 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554434 18446604447780239552 0 0 -1 4 0 0 0
[pid=22425/tid=22459] ppid=22419 vsize=345452 CPUtime=0 cores=0,2,4,6
/proc/22425/task/22459/stat : 22459 (python) S 22419 22425 22387 0 -1 4202560 33 923 0 9 0 0 0 0 18 0 7 0 947880678 353742848 7412 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554434 18446604447780239552 0 0 -1 2 0 0 0
[pid=22425/tid=22469] ppid=22419 vsize=345452 CPUtime=0 cores=0,2,4,6
/proc/22425/task/22469/stat : 22469 (python) S 22419 22425 22387 0 -1 4202560 98 923 0 9 0 0 0 0 20 0 7 0 947885524 353742848 7412 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554434 18446604447780239552 0 0 -1 0 0 0 0
[pid=22425/tid=22496] ppid=22419 vsize=345452 CPUtime=0 cores=0,2,4,6
/proc/22425/task/22496/stat : 22496 (python) S 22419 22425 22387 0 -1 4202560 30 923 0 9 0 0 0 0 20 0 7 0 947894751 353742848 7412 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554434 18446604447780239552 0 0 -1 6 0 0 0
[pid=22425/tid=22520] ppid=22419 vsize=345452 CPUtime=0 cores=0,2,4,6
/proc/22425/task/22520/stat : 22520 (python) S 22419 22425 22387 0 -1 4202560 30 923 0 9 0 0 0 0 20 0 7 0 947899149 353742848 7412 33554432000 4194304 5683644 140733999810064 18446744073709551615 260917217713 0 0 16781312 33554434 18446604447780239552 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 290.36
Current children cumulated vsize (KiB) 19488924
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 22425 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=503923
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=170974
# CPU time returned by wait4() is 0.674897
# while last known CPU time is 290.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.49
CPU time (s): 290.36
CPU user time (s): 288.26
CPU system time (s): 2.1
CPU usage (%): 95.9901
Max. virtual memory (cumulated for all children) (KiB): 19488924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.503923
system time used= 0.170974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14887
page faults= 122
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27766
involuntary context switches= 23
runsolver used 1.65975 second user time and 3.9354 second system time
The end