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-3481732-1307576359/watcher-3481732-1307576359 -o /tmp/evaluation-result-3481732-1307576359/solver-3481732-1307576359 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481732-1307576359.opb -seed 10733940 -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: 0.56 0.13 0.04 2/571 30526
/proc/meminfo: memFree=32101632/32950928 swapFree=43925852/67111528
[pid=30524] ppid=30520 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/30524/stat : 30524 (runsolver) S 30520 30524 30488 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 1 0 869237430 12079104 54 33554432000 4194304 5432328 140733229708288 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699199166 0 0 17 1 0 0 0
/proc/30524/statm: 2949 54 34 303 0 2643 0
[startup+0.113159 s]
/proc/loadavg: 0.56 0.13 0.04 2/571 30526
/proc/meminfo: memFree=32101632/32950928 swapFree=43925852/67111528
[pid=30524] ppid=30520 vsize=1840 CPUtime=0 cores=1,3,5,7
/proc/30524/stat : 30524 (python) D 30520 30524 30488 0 -1 4194304 46 0 0 0 0 0 0 0 17 0 1 0 869237430 1884160 1 33554432000 0 0 140736331241129 18446744073709551615 5055479 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 1
/proc/30524/statm: 460 1 0 0 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1840
[startup+0.200141 s]
/proc/loadavg: 0.56 0.13 0.04 2/571 30526
/proc/meminfo: memFree=32101632/32950928 swapFree=43925852/67111528
[pid=30524] ppid=30520 vsize=6240 CPUtime=0 cores=1,3,5,7
/proc/30524/stat : 30524 (python) D 30520 30524 30488 0 -1 4194304 96 0 2 0 0 0 0 0 17 0 1 0 869237430 6389760 51 33554432000 4194304 5683644 140736331236480 18446744073709551615 268267765383 0 0 4096 0 0 0 0 17 1 0 0 9
/proc/30524/statm: 1560 51 40 364 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6240
[startup+0.300124 s]
/proc/loadavg: 0.56 0.13 0.04 2/571 30526
/proc/meminfo: memFree=32101632/32950928 swapFree=43925852/67111528
[pid=30524] ppid=30520 vsize=14384 CPUtime=0 cores=1,3,5,7
/proc/30524/stat : 30524 (python) D 30520 30524 30488 0 -1 4194304 232 0 5 0 0 0 0 0 17 0 1 0 869237430 14729216 169 33554432000 4194304 5683644 140736331236480 18446744073709551615 4689677 0 0 4096 0 18446744071562234166 0 0 17 7 0 0 17
/proc/30524/statm: 3596 169 135 364 0 83 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14384
[startup+0.701051 s]
/proc/loadavg: 0.56 0.13 0.04 2/571 30526
/proc/meminfo: memFree=32101632/32950928 swapFree=43925852/67111528
[pid=30524] ppid=30520 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/30524/stat : 30524 (python) S 30520 30524 30488 0 -1 4202496 787 0 7 0 0 0 0 0 16 0 1 0 869237430 15749120 681 33554432000 4194304 5683644 140736331236480 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 22
/proc/30524/statm: 3845 681 322 364 0 332 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+1.50091 s]
/proc/loadavg: 0.56 0.13 0.04 2/573 30528
/proc/meminfo: memFree=32091360/32950928 swapFree=43925852/67111528
[pid=30524] ppid=30520 vsize=16396 CPUtime=0.01 cores=1,3,5,7
/proc/30524/stat : 30524 (python) D 30520 30524 30488 0 -1 4202496 1110 0 7 0 1 0 0 0 16 0 1 0 869237430 16789504 985 33554432000 4194304 5683644 140736331236480 18446744073709551615 268272687104 0 0 16781312 2 0 0 0 17 7 0 0 33
/proc/30524/statm: 4099 985 409 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+3.10062 s]
/proc/loadavg: 0.56 0.13 0.04 1/573 30528
/proc/meminfo: memFree=32089696/32950928 swapFree=43925852/67111528
[pid=30524] ppid=30520 vsize=20980 CPUtime=0.03 cores=1,3,5,7
/proc/30524/stat : 30524 (python) D 30520 30524 30488 0 -1 4202496 1292 0 9 0 2 1 0 0 16 0 1 0 869237430 21483520 1153 33554432000 4194304 5683644 140736331236480 18446744073709551615 268272688896 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 39
/proc/30524/statm: 5245 1153 428 364 0 692 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 20980
heavy processes:
[startup+6.30106 s]
/proc/loadavg: 0.59 0.14 0.05 1/573 30536
/proc/meminfo: memFree=32072040/32950928 swapFree=43925852/67111528
[pid=30524] ppid=30520 vsize=115304 CPUtime=0.19 cores=1,3,5,7
/proc/30524/stat : 30524 (python) D 30520 30524 30488 0 -1 4202496 4739 919 36 9 8 11 0 0 16 0 1 0 869237430 118071296 3213 33554432000 4194304 5683644 140736331236480 18446744073709551615 268272684901 0 0 16781312 2 0 0 0 17 7 0 0 67
/proc/30524/statm: 28826 3213 911 364 0 2310 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 115304
heavy processes:
[startup+12.7009 s]
/proc/loadavg: 0.70 0.17 0.06 2/573 30536
/proc/meminfo: memFree=32027224/32950928 swapFree=43925852/67111528
[pid=30524] ppid=30520 vsize=250228 CPUtime=0.52 cores=1,3,5,7
/proc/30524/stat : 30524 (python) D 30520 30524 30488 0 -1 4202496 8011 919 100 9 26 26 0 0 16 0 1 0 869237430 256233472 6225 33554432000 4194304 5683644 140736331236480 18446744073709551615 268267765479 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 200
/proc/30524/statm: 62557 6225 1620 364 0 5027 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 250228
heavy processes:
[startup+25.5006 s]
/proc/loadavg: 0.99 0.26 0.09 3/579 30543
/proc/meminfo: memFree=31973244/32950928 swapFree=43925852/67111528
[pid=30524] ppid=30520 vsize=293248 CPUtime=0.64 cores=1,3,5,7
/proc/30524/stat : 30524 (python) S 30520 30524 30488 0 -1 4202496 9561 919 109 9 34 30 0 0 17 0 2 0 869237430 300285952 7176 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 205
/proc/30524/statm: 73312 7176 1870 364 0 8199 0
[pid=30537] ppid=30524 vsize=283004 CPUtime=0.07 cores=1,3,5,7
/proc/30537/stat : 30537 (python) S 30524 30524 30488 0 -1 4202560 911 0 0 0 3 4 0 0 16 0 1 0 869238756 289796096 5678 33554432000 4194304 5683644 140736331236480 18446744073709551615 268272709135 0 0 16781312 33554946 5623753486446373767 0 0 17 7 0 0 0
/proc/30537/statm: 70751 5678 376 364 0 5638 0
[pid=30540] ppid=30537 vsize=32020 CPUtime=12.22 cores=1,3,5,7
/proc/30540/stat : 30540 (scip-2.0.1.linu) R 30537 30540 30540 0 -1 4202496 6447 0 0 0 1188 34 0 0 25 0 1 0 869238756 32788480 5798 33554432000 4194304 13684479 140735849935600 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30540/statm: 8005 5798 802 2317 0 5683 0
[pid=30524/tid=30538] ppid=30520 vsize=293248 CPUtime=0 cores=1,3,5,7
/proc/30524/task/30538/stat : 30538 (python) S 30520 30524 30488 0 -1 4202560 24 919 0 9 0 0 0 0 18 0 2 0 869238756 300285952 7176 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554434 18446604465099134208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.93
Current children cumulated vsize (KiB) 608272
heavy processes:
[startup+51.1011 s]
/proc/loadavg: 1.33 0.40 0.14 3/579 30543
/proc/meminfo: memFree=31973672/32950928 swapFree=43925852/67111528
[pid=30524] ppid=30520 vsize=293248 CPUtime=0.64 cores=1,3,5,7
/proc/30524/stat : 30524 (python) S 30520 30524 30488 0 -1 4202496 9561 919 109 9 34 30 0 0 17 0 2 0 869237430 300285952 7176 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 205
/proc/30524/statm: 73312 7176 1870 364 0 8199 0
[pid=30537] ppid=30524 vsize=283004 CPUtime=0.18 cores=1,3,5,7
/proc/30537/stat : 30537 (python) S 30524 30524 30488 0 -1 4202560 920 0 0 0 9 9 0 0 16 0 1 0 869238756 289796096 5678 33554432000 4194304 5683644 140736331236480 18446744073709551615 268272709135 0 0 16781312 33554946 4157056694989357056 0 0 17 7 0 0 0
/proc/30537/statm: 70751 5678 376 364 0 5638 0
[pid=30540] ppid=30537 vsize=32020 CPUtime=37.82 cores=1,3,5,7
/proc/30540/stat : 30540 (scip-2.0.1.linu) R 30537 30540 30540 0 -1 4202496 6454 0 0 0 3657 125 0 0 25 0 1 0 869238756 32788480 5805 33554432000 4194304 13684479 140735849935600 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30540/statm: 8005 5805 807 2317 0 5683 0
[pid=30524/tid=30538] ppid=30520 vsize=293248 CPUtime=0 cores=1,3,5,7
/proc/30524/task/30538/stat : 30538 (python) S 30520 30524 30488 0 -1 4202560 24 919 0 9 0 0 0 0 18 0 2 0 869238756 300285952 7176 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554434 18446604465099134208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 38.64
Current children cumulated vsize (KiB) 608272
heavy processes:
[startup+102.301 s]
/proc/loadavg: 1.71 0.64 0.23 3/587 30553
/proc/meminfo: memFree=31932416/32950928 swapFree=43925852/67111528
[pid=30524] ppid=30520 vsize=304004 CPUtime=0.67 cores=1,3,5,7
/proc/30524/stat : 30524 (python) S 30520 30524 30488 0 -1 4202496 10381 919 109 9 37 30 0 0 20 0 3 0 869237430 311300096 7299 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 205
/proc/30524/statm: 76001 7299 1873 364 0 10885 0
[pid=30537] ppid=30524 vsize=293248 CPUtime=0.25 cores=1,3,5,7
/proc/30537/stat : 30537 (python) S 30524 30524 30488 0 -1 4202560 1087 0 0 0 11 14 0 0 16 0 2 0 869238756 300285952 5714 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30537/statm: 73312 5714 407 364 0 8199 0
[pid=30540] ppid=30537 vsize=30316 CPUtime=50.65 cores=1,3,5,7
/proc/30540/stat : 30540 (scip-2.0.1.linu) T 30537 30540 30540 0 -1 4202496 8001 0 0 0 4894 171 0 0 25 0 1 0 869238756 31043584 5360 33554432000 4194304 13684479 140735849935600 18446744073709551615 4413008 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/30540/statm: 7579 5360 816 2317 0 5257 0
[pid=30537/tid=30549] ppid=30524 vsize=293248 CPUtime=0 cores=1,3,5,7
/proc/30537/task/30549/stat : 30549 (python) S 30524 30524 30488 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869243822 300285952 5714 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554946 18446604456471074752 0 0 -1 7 0 0 0
[pid=30550] ppid=30524 vsize=293760 CPUtime=0.18 cores=1,3,5,7
/proc/30550/stat : 30550 (python) S 30524 30524 30488 0 -1 4202560 945 0 0 0 8 10 0 0 15 0 1 0 869243825 300810240 5795 33554432000 4194304 5683644 140736331236480 18446744073709551615 268272709190 0 0 16781312 33554946 5623753486446373767 0 0 17 7 0 0 0
/proc/30550/statm: 73440 5795 373 364 0 8324 0
[pid=30552] ppid=30550 vsize=33164 CPUtime=38.35 cores=1,3,5,7
/proc/30552/stat : 30552 (scip-2.0.1.linu) R 30550 30552 30552 0 -1 4202496 25123 0 0 0 3811 24 0 0 25 0 1 0 869243826 33959936 5264 33554432000 4194304 15243407 140733328222336 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/30552/statm: 8291 5264 936 2698 0 5586 0
[pid=30524/tid=30538] ppid=30520 vsize=304004 CPUtime=0 cores=1,3,5,7
/proc/30524/task/30538/stat : 30538 (python) S 30520 30524 30488 0 -1 4202560 24 919 0 9 0 0 0 0 18 0 3 0 869238756 311300096 7299 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554434 18446604465099134208 0 0 -1 7 0 0 0
[pid=30524/tid=30551] ppid=30520 vsize=304004 CPUtime=0 cores=1,3,5,7
/proc/30524/task/30551/stat : 30551 (python) S 30520 30524 30488 0 -1 4202560 31 919 0 9 0 0 0 0 20 0 3 0 869243825 311300096 7299 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554434 18446604465099134208 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 90.1
Current children cumulated vsize (KiB) 954492
[startup+162.301 s]
/proc/loadavg: 1.89 0.89 0.34 3/603 30570
/proc/meminfo: memFree=31875820/32950928 swapFree=43925852/67111528
[pid=30524] ppid=30520 vsize=324652 CPUtime=0.73 cores=1,3,5,7
/proc/30524/stat : 30524 (python) S 30520 30524 30488 0 -1 4202496 12238 919 109 9 42 31 0 0 19 0 5 0 869237430 332443648 7344 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 205
/proc/30524/statm: 81163 7344 1877 364 0 16041 0
[pid=30537] ppid=30524 vsize=293248 CPUtime=0.25 cores=1,3,5,7
/proc/30537/stat : 30537 (python) S 30524 30524 30488 0 -1 4202560 1087 0 0 0 11 14 0 0 16 0 2 0 869238756 300285952 5714 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30537/statm: 73312 5714 407 364 0 8199 0
[pid=30540] ppid=30537 vsize=30316 CPUtime=50.65 cores=1,3,5,7
/proc/30540/stat : 30540 (scip-2.0.1.linu) T 30537 30540 30540 0 -1 4202496 8001 0 0 0 4894 171 0 0 25 0 1 0 869238756 31043584 5360 33554432000 4194304 13684479 140735849935600 18446744073709551615 4413008 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/30540/statm: 7579 5360 816 2317 0 5257 0
[pid=30537/tid=30549] ppid=30524 vsize=293248 CPUtime=0 cores=1,3,5,7
/proc/30537/task/30549/stat : 30549 (python) S 30524 30524 30488 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869243822 300285952 5714 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554946 18446604456471074752 0 0 -1 7 0 0 0
[pid=30550] ppid=30524 vsize=293760 CPUtime=0.26 cores=1,3,5,7
/proc/30550/stat : 30550 (python) S 30524 30524 30488 0 -1 4202560 1115 0 0 0 12 14 0 0 17 0 2 0 869243825 300810240 5820 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/30550/statm: 73440 5820 397 364 0 8324 0
[pid=30552] ppid=30550 vsize=31612 CPUtime=50.05 cores=1,3,5,7
/proc/30552/stat : 30552 (scip-2.0.1.linu) T 30550 30552 30552 0 -1 4202496 30057 0 0 0 4972 33 0 0 25 0 1 0 869243826 32370688 5375 33554432000 4194304 15243407 140733328222336 18446744073709551615 8112870 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/30552/statm: 7903 5375 944 2698 0 5198 0
[pid=30550/tid=30558] ppid=30524 vsize=293760 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30558/stat : 30558 (python) S 30524 30524 30488 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869248832 300810240 5820 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554946 18446604466978031616 0 0 -1 5 0 0 0
[pid=30559] ppid=30524 vsize=303704 CPUtime=0.22 cores=1,3,5,7
/proc/30559/stat : 30559 (python) S 30524 30524 30488 0 -1 4202560 1166 0 0 0 11 11 0 0 19 0 2 0 869248834 310992896 5768 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30559/statm: 75926 5768 403 364 0 10807 0
[pid=30561] ppid=30559 vsize=2252 CPUtime=47.26 cores=1,3,5,7
/proc/30561/stat : 30561 (clasp-1.3.7-x86) T 30559 30561 30561 0 -1 4202496 584 0 0 0 4726 0 0 0 25 0 1 0 869248835 2306048 320 33554432000 134512640 136139019 4289366944 18446744073709551615 134831182 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/30561/statm: 563 320 184 398 0 163 0
[pid=30559/tid=30567] ppid=30524 vsize=303704 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30567/stat : 30567 (python) S 30524 30524 30488 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869253561 310992896 5768 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554946 18446604458703079296 0 0 -1 7 0 0 0
[pid=30568] ppid=30524 vsize=314408 CPUtime=0 cores=1,3,5,7
/proc/30568/stat : 30568 (python) S 30524 30524 30488 0 -1 4202560 875 0 0 0 0 0 0 0 15 0 1 0 869253564 321953792 5819 33554432000 4194304 5683644 140736331236480 18446744073709551615 268272709190 0 0 16781312 33554946 4294934789 0 0 17 1 0 0 0
/proc/30568/statm: 78602 5819 356 364 0 13480 0
[pid=30570] ppid=30568 vsize=8588 CPUtime=0.95 cores=1,3,5,7
################
# More data... #
################
[pid=30524/tid=30560] ppid=30520 vsize=335068 CPUtime=0 cores=1,3,5,7
/proc/30524/task/30560/stat : 30560 (python) S 30520 30524 30488 0 -1 4202560 34 919 0 9 0 0 0 0 18 0 6 0 869248835 343109632 7375 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554434 18446604465099134208 0 0 -1 7 0 0 0
[pid=30524/tid=30569] ppid=30520 vsize=335068 CPUtime=0 cores=1,3,5,7
/proc/30524/task/30569/stat : 30569 (python) S 30520 30524 30488 0 -1 4202560 104 919 0 9 0 0 0 0 21 0 6 0 869253564 343109632 7375 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554434 18446604465099134208 0 0 -1 3 0 0 0
[pid=30524/tid=30598] ppid=30520 vsize=335068 CPUtime=0 cores=1,3,5,7
/proc/30524/task/30598/stat : 30598 (python) S 30520 30524 30488 0 -1 4202560 28 919 0 9 0 0 0 0 20 0 6 0 869262995 343109632 7375 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554434 18446604465099134208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 272.49
Current children cumulated vsize (KiB) 10601096
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+304.702 s]
/proc/loadavg: 2.15 1.34 0.58 4/650 30776
/proc/meminfo: memFree=29906144/32950928 swapFree=43925852/67111528
[pid=30524] ppid=30520 vsize=345324 CPUtime=0.8 cores=1,3,5,7
/proc/30524/stat : 30524 (python) S 30520 30524 30488 0 -1 4202496 14161 919 109 9 49 31 0 0 20 0 7 0 869237430 353611776 7402 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 205
/proc/30524/statm: 86331 7402 1881 364 0 21203 0
[pid=30537] ppid=30524 vsize=293248 CPUtime=0.25 cores=1,3,5,7
/proc/30537/stat : 30537 (python) S 30524 30524 30488 0 -1 4202560 1087 0 0 0 11 14 0 0 16 0 2 0 869238756 300285952 5714 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30537/statm: 73312 5714 407 364 0 8199 0
[pid=30540] ppid=30537 vsize=30316 CPUtime=50.65 cores=1,3,5,7
/proc/30540/stat : 30540 (scip-2.0.1.linu) T 30537 30540 30540 0 -1 4202496 8001 0 0 0 4894 171 0 0 25 0 1 0 869238756 31043584 5360 33554432000 4194304 13684479 140735849935600 18446744073709551615 4413008 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/30540/statm: 7579 5360 816 2317 0 5257 0
[pid=30537/tid=30549] ppid=30524 vsize=293248 CPUtime=0 cores=1,3,5,7
/proc/30537/task/30549/stat : 30549 (python) S 30524 30524 30488 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869243822 300285952 5714 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554946 18446604456471074752 0 0 -1 7 0 0 0
[pid=30550] ppid=30524 vsize=293760 CPUtime=0.26 cores=1,3,5,7
/proc/30550/stat : 30550 (python) S 30524 30524 30488 0 -1 4202560 1115 0 0 0 12 14 0 0 17 0 2 0 869243825 300810240 5820 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/30550/statm: 73440 5820 397 364 0 8324 0
[pid=30552] ppid=30550 vsize=31612 CPUtime=50.05 cores=1,3,5,7
/proc/30552/stat : 30552 (scip-2.0.1.linu) T 30550 30552 30552 0 -1 4202496 30057 0 0 0 4972 33 0 0 25 0 1 0 869243826 32370688 5375 33554432000 4194304 15243407 140733328222336 18446744073709551615 8112870 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/30552/statm: 7903 5375 944 2698 0 5198 0
[pid=30550/tid=30558] ppid=30524 vsize=293760 CPUtime=0 cores=1,3,5,7
/proc/30550/task/30558/stat : 30558 (python) S 30524 30524 30488 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869248832 300810240 5820 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554946 18446604466978031616 0 0 -1 5 0 0 0
[pid=30559] ppid=30524 vsize=303704 CPUtime=0.45 cores=1,3,5,7
/proc/30559/stat : 30559 (python) S 30524 30524 30488 0 -1 4202560 1190 0 0 0 22 23 0 0 18 0 2 0 869248834 310992896 5768 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30559/statm: 75926 5768 403 364 0 10807 0
[pid=30561] ppid=30559 vsize=2252 CPUtime=92.49 cores=1,3,5,7
/proc/30561/stat : 30561 (clasp-1.3.7-x86) T 30559 30561 30561 0 -1 4202496 586 0 0 0 9249 0 0 0 25 0 1 0 869248835 2306048 322 33554432000 134512640 136139019 4289366944 18446744073709551615 134831275 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/30561/statm: 563 322 184 398 0 163 0
[pid=30559/tid=30567] ppid=30524 vsize=303704 CPUtime=0 cores=1,3,5,7
/proc/30559/task/30567/stat : 30567 (python) S 30524 30524 30488 0 -1 4202560 44 0 0 0 0 0 0 0 18 0 2 0 869253561 310992896 5768 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554946 18446604458703079296 0 0 -1 7 0 0 0
[pid=30568] ppid=30524 vsize=314408 CPUtime=0.27 cores=1,3,5,7
/proc/30568/stat : 30568 (python) S 30524 30524 30488 0 -1 4202560 1188 0 0 0 14 13 0 0 16 0 2 0 869253564 321953792 5867 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30568/statm: 78602 5867 403 364 0 13480 0
[pid=30570] ppid=30568 vsize=127124 CPUtime=49.02 cores=1,3,5,7
/proc/30570/stat : 30570 (wbo1.4a) T 30568 30570 30570 0 -1 4202496 31570 0 0 0 4832 70 0 0 25 0 1 0 869253564 130174976 31292 33554432000 134512640 135751879 4291025792 18446744073709551615 134602989 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/30570/statm: 31781 31292 146 303 0 31476 0
[pid=30568/tid=30574] ppid=30524 vsize=314408 CPUtime=0 cores=1,3,5,7
/proc/30568/task/30574/stat : 30574 (python) S 30524 30524 30488 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869258466 321953792 5867 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554946 18446604459609777216 0 0 -1 7 0 0 0
[pid=30597] ppid=30524 vsize=324824 CPUtime=0.24 cores=1,3,5,7
/proc/30597/stat : 30597 (python) S 30524 30524 30488 0 -1 4202560 1143 0 0 0 11 13 0 0 17 0 2 0 869262995 332619776 5899 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30597/statm: 81206 5899 406 364 0 16081 0
[pid=30599] ppid=30597 vsize=8544780 CPUtime=50.52 cores=1,3,5,7
/proc/30599/stat : 30599 (java) T 30597 30599 30599 0 -1 4202496 169270 0 1 0 5030 22 0 0 18 0 19 0 869262995 8749854720 124571 33554432000 1073741824 1073778376 140734454897456 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/30599/statm: 2136195 124571 2236 9 0 2126936 0
[pid=30599/tid=30600] ppid=30597 vsize=8544780 CPUtime=48.19 cores=1,3,5,7
/proc/30599/task/30600/stat : 30600 (java) T 30597 30599 30599 0 -1 4202560 127274 0 1 0 4804 15 0 0 25 0 19 0 869262996 8749854720 124571 33554432000 1073741824 1073778376 140734454897456 18446744073709551615 46912505816628 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30599/tid=30601] ppid=30597 vsize=8544780 CPUtime=0.13 cores=1,3,5,7
/proc/30599/task/30601/stat : 30601 (java) T 30597 30599 30599 0 -1 4202560 3375 0 0 0 13 0 0 0 15 0 19 0 869262996 8749854720 124571 33554432000 1073741824 1073778376 140734454897456 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30599/tid=30602] ppid=30597 vsize=8544780 CPUtime=0.12 cores=1,3,5,7
/proc/30599/task/30602/stat : 30602 (java) T 30597 30599 30599 0 -1 4202560 3477 0 0 0 12 0 0 0 15 0 19 0 869262996 8749854720 124571 33554432000 1073741824 1073778376 140734454897456 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30599/tid=30603] ppid=30597 vsize=8544780 CPUtime=0.13 cores=1,3,5,7
/proc/30599/task/30603/stat : 30603 (java) T 30597 30599 30599 0 -1 4202560 4850 0 0 0 13 0 0 0 15 0 19 0 869262996 8749854720 124571 33554432000 1073741824 1073778376 140734454897456 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30599/tid=30604] ppid=30597 vsize=8544780 CPUtime=0.12 cores=1,3,5,7
/proc/30599/task/30604/stat : 30604 (java) T 30597 30599 30599 0 -1 4202560 4857 0 0 0 12 0 0 0 15 0 19 0 869262996 8749854720 124571 33554432000 1073741824 1073778376 140734454897456 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=30599/tid=30605] ppid=30597 vsize=8544780 CPUtime=0.11 cores=1,3,5,7
/proc/30599/task/30605/stat : 30605 (java) T 30597 30599 30599 0 -1 4202560 3362 0 0 0 11 0 0 0 15 0 19 0 869262996 8749854720 124571 33554432000 1073741824 1073778376 140734454897456 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=30599/tid=30606] ppid=30597 vsize=8544780 CPUtime=0.1 cores=1,3,5,7
/proc/30599/task/30606/stat : 30606 (java) T 30597 30599 30599 0 -1 4202560 3211 0 0 0 10 0 0 0 15 0 19 0 869262996 8749854720 124571 33554432000 1073741824 1073778376 140734454897456 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30599/tid=30607] ppid=30597 vsize=8544780 CPUtime=0.11 cores=1,3,5,7
/proc/30599/task/30607/stat : 30607 (java) T 30597 30599 30599 0 -1 4202560 3831 0 0 0 11 0 0 0 15 0 19 0 869262996 8749854720 124571 33554432000 1073741824 1073778376 140734454897456 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30599/tid=30608] ppid=30597 vsize=8544780 CPUtime=0.12 cores=1,3,5,7
/proc/30599/task/30608/stat : 30608 (java) T 30597 30599 30599 0 -1 4202560 3795 0 0 0 12 0 0 0 15 0 19 0 869262996 8749854720 124571 33554432000 1073741824 1073778376 140734454897456 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=30599/tid=30609] ppid=30597 vsize=8544780 CPUtime=0.01 cores=1,3,5,7
/proc/30599/task/30609/stat : 30609 (java) T 30597 30599 30599 0 -1 4202560 187 0 0 0 0 1 0 0 15 0 19 0 869262997 8749854720 124571 33554432000 1073741824 1073778376 140734454897456 18446744073709551615 268284505600 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30599/tid=30610] ppid=30597 vsize=8544780 CPUtime=0 cores=1,3,5,7
/proc/30599/task/30610/stat : 30610 (java) T 30597 30599 30599 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869262998 8749854720 124571 33554432000 1073741824 1073778376 140734454897456 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30599/tid=30611] ppid=30597 vsize=8544780 CPUtime=0 cores=1,3,5,7
/proc/30599/task/30611/stat : 30611 (java) T 30597 30599 30599 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869262998 8749854720 124571 33554432000 1073741824 1073778376 140734454897456 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30599/tid=30612] ppid=30597 vsize=8544780 CPUtime=0 cores=1,3,5,7
/proc/30599/task/30612/stat : 30612 (java) T 30597 30599 30599 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869263000 8749854720 124571 33554432000 1073741824 1073778376 140734454897456 18446744073709551615 268284512689 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30599/tid=30613] ppid=30597 vsize=8544780 CPUtime=0.79 cores=1,3,5,7
/proc/30599/task/30613/stat : 30613 (java) T 30597 30599 30599 0 -1 4202560 3938 0 0 0 79 0 0 0 15 0 19 0 869263000 8749854720 124571 33554432000 1073741824 1073778376 140734454897456 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=30599/tid=30614] ppid=30597 vsize=8544780 CPUtime=0.46 cores=1,3,5,7
/proc/30599/task/30614/stat : 30614 (java) T 30597 30599 30599 0 -1 4202560 5715 0 0 0 46 0 0 0 15 0 19 0 869263000 8749854720 124571 33554432000 1073741824 1073778376 140734454897456 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30599/tid=30615] ppid=30597 vsize=8544780 CPUtime=0 cores=1,3,5,7
/proc/30599/task/30615/stat : 30615 (java) T 30597 30599 30599 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869263000 8749854720 124571 33554432000 1073741824 1073778376 140734454897456 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30599/tid=30616] ppid=30597 vsize=8544780 CPUtime=0 cores=1,3,5,7
/proc/30599/task/30616/stat : 30616 (java) T 30597 30599 30599 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869263000 8749854720 124571 33554432000 1073741824 1073778376 140734454897456 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30599/tid=30617] ppid=30597 vsize=8544780 CPUtime=0 cores=1,3,5,7
/proc/30599/task/30617/stat : 30617 (java) T 30597 30599 30599 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869263018 8749854720 124571 33554432000 1073741824 1073778376 140734454897456 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30597/tid=30752] ppid=30524 vsize=324824 CPUtime=0 cores=1,3,5,7
/proc/30597/task/30752/stat : 30752 (python) S 30524 30524 30488 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869267859 332619776 5899 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554946 18446604462203323712 0 0 -1 7 0 0 0
[pid=30753] ppid=30524 vsize=335080 CPUtime=0 cores=1,3,5,7
/proc/30753/stat : 30753 (python) S 30524 30524 30488 0 -1 4202560 823 0 0 0 0 0 0 0 17 0 1 0 869267861 343121920 5866 33554432000 4194304 5683644 140736331236480 18446744073709551615 268272709190 0 0 16781312 33554946 360496435017253128 0 0 17 7 0 0 0
/proc/30753/statm: 83770 5866 349 364 0 18642 0
[pid=30755] ppid=30753 vsize=8536636 CPUtime=0.82 cores=1,3,5,7
/proc/30755/stat : 30755 (java) S 30753 30755 30755 0 -1 4202496 12887 0 1 0 80 2 0 0 21 0 19 0 869267862 8741515264 11445 33554432000 1073741824 1073778376 140736061867008 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/30755/statm: 2134159 11446 2208 9 0 2124900 0
[pid=30755/tid=30758] ppid=30753 vsize=8536636 CPUtime=0.41 cores=1,3,5,7
/proc/30755/task/30758/stat : 30758 (java) R 30753 30755 30755 0 -1 4202560 8078 0 1 0 39 2 0 0 25 0 19 0 869267862 8741515264 11506 33554432000 1073741824 1073778376 140736061867008 18446744073709551615 46912505572242 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30755/tid=30759] ppid=30753 vsize=8536636 CPUtime=0 cores=1,3,5,7
/proc/30755/task/30759/stat : 30759 (java) S 30753 30755 30755 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869267863 8741515264 11506 33554432000 1073741824 1073778376 140736061867008 18446744073709551615 268284504985 0 4 0 16800975 18446604454742981376 0 0 -1 5 0 0 0
[pid=30755/tid=30760] ppid=30753 vsize=8536636 CPUtime=0 cores=1,3,5,7
/proc/30755/task/30760/stat : 30760 (java) S 30753 30755 30755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869267863 8741515264 11508 33554432000 1073741824 1073778376 140736061867008 18446744073709551615 268284504985 0 4 0 16800975 18446604454742981376 0 0 -1 3 0 0 0
[pid=30755/tid=30761] ppid=30753 vsize=8536636 CPUtime=0 cores=1,3,5,7
/proc/30755/task/30761/stat : 30761 (java) S 30753 30755 30755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869267863 8741515264 11509 33554432000 1073741824 1073778376 140736061867008 18446744073709551615 268284504985 0 4 0 16800975 18446604454742981376 0 0 -1 3 0 0 0
[pid=30755/tid=30762] ppid=30753 vsize=8536636 CPUtime=0 cores=1,3,5,7
/proc/30755/task/30762/stat : 30762 (java) S 30753 30755 30755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869267863 8741515264 11509 33554432000 1073741824 1073778376 140736061867008 18446744073709551615 268284504985 0 4 0 16800975 18446604454742981376 0 0 -1 3 0 0 0
[pid=30755/tid=30763] ppid=30753 vsize=8536636 CPUtime=0 cores=1,3,5,7
/proc/30755/task/30763/stat : 30763 (java) S 30753 30755 30755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869267863 8741515264 11511 33554432000 1073741824 1073778376 140736061867008 18446744073709551615 268284504985 0 4 0 16800975 18446604454742981376 0 0 -1 3 0 0 0
[pid=30755/tid=30764] ppid=30753 vsize=8536636 CPUtime=0 cores=1,3,5,7
/proc/30755/task/30764/stat : 30764 (java) S 30753 30755 30755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869267863 8741515264 11514 33554432000 1073741824 1073778376 140736061867008 18446744073709551615 268284504985 0 4 0 16800975 18446604454742981376 0 0 -1 3 0 0 0
[pid=30755/tid=30765] ppid=30753 vsize=8536636 CPUtime=0 cores=1,3,5,7
/proc/30755/task/30765/stat : 30765 (java) S 30753 30755 30755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869267863 8741515264 11515 33554432000 1073741824 1073778376 140736061867008 18446744073709551615 268284504985 0 4 0 16800975 18446604454742981376 0 0 -1 3 0 0 0
[pid=30755/tid=30766] ppid=30753 vsize=8536636 CPUtime=0 cores=1,3,5,7
/proc/30755/task/30766/stat : 30766 (java) S 30753 30755 30755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869267863 8741515264 11517 33554432000 1073741824 1073778376 140736061867008 18446744073709551615 268284504985 0 4 0 16800975 18446604454742981376 0 0 -1 3 0 0 0
[pid=30755/tid=30767] ppid=30753 vsize=8536636 CPUtime=0 cores=1,3,5,7
/proc/30755/task/30767/stat : 30767 (java) S 30753 30755 30755 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869267864 8741515264 11518 33554432000 1073741824 1073778376 140736061867008 18446744073709551615 268284505600 0 0 0 16800975 18446604454742981376 0 0 -1 5 0 0 0
[pid=30755/tid=30768] ppid=30753 vsize=8536636 CPUtime=0 cores=1,3,5,7
/proc/30755/task/30768/stat : 30768 (java) S 30753 30755 30755 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869267864 8741515264 11519 33554432000 1073741824 1073778376 140736061867008 18446744073709551615 268284504985 0 4 0 16800975 18446604454742981376 0 0 -1 5 0 0 0
[pid=30755/tid=30769] ppid=30753 vsize=8536636 CPUtime=0 cores=1,3,5,7
/proc/30755/task/30769/stat : 30769 (java) S 30753 30755 30755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869267864 8741515264 11521 33554432000 1073741824 1073778376 140736061867008 18446744073709551615 268284504985 0 4 0 16800975 18446604454742981376 0 0 -1 5 0 0 0
[pid=30755/tid=30771] ppid=30753 vsize=8536636 CPUtime=0 cores=1,3,5,7
/proc/30755/task/30771/stat : 30771 (java) S 30753 30755 30755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869267866 8741515264 11524 33554432000 1073741824 1073778376 140736061867008 18446744073709551615 268284512689 0 4 0 16800975 18446604454742981376 0 0 -1 5 0 0 0
[pid=30755/tid=30772] ppid=30753 vsize=8536636 CPUtime=0.2 cores=1,3,5,7
/proc/30755/task/30772/stat : 30772 (java) S 30753 30755 30755 0 -1 4202560 1859 0 0 0 20 0 0 0 25 0 19 0 869267866 8741515264 11524 33554432000 1073741824 1073778376 140736061867008 18446744073709551615 268284504985 0 4 0 16800975 18446604454742981376 0 0 -1 3 0 0 0
[pid=30755/tid=30773] ppid=30753 vsize=8536636 CPUtime=0.2 cores=1,3,5,7
/proc/30755/task/30773/stat : 30773 (java) S 30753 30755 30755 0 -1 4202560 1616 0 0 0 20 0 0 0 25 0 19 0 869267866 8741515264 11526 33554432000 1073741824 1073778376 140736061867008 18446744073709551615 268284504985 0 4 0 16800975 18446604454742981376 0 0 -1 3 0 0 0
[pid=30755/tid=30774] ppid=30753 vsize=8536636 CPUtime=0 cores=1,3,5,7
/proc/30755/task/30774/stat : 30774 (java) S 30753 30755 30755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869267866 8741515264 11527 33554432000 1073741824 1073778376 140736061867008 18446744073709551615 268284504985 0 4 0 16800975 18446604454742981376 0 0 -1 5 0 0 0
[pid=30755/tid=30775] ppid=30753 vsize=8536636 CPUtime=0 cores=1,3,5,7
/proc/30755/task/30775/stat : 30775 (java) S 30753 30755 30755 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869267866 8741515264 11527 33554432000 1073741824 1073778376 140736061867008 18446744073709551615 268284505600 0 4 0 16800975 18446604454742981376 0 0 -1 3 0 0 0
[pid=30755/tid=30776] ppid=30753 vsize=8536636 CPUtime=0 cores=1,3,5,7
/proc/30755/task/30776/stat : 30776 (java) S 30753 30755 30755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869267884 8741515264 11529 33554432000 1073741824 1073778376 140736061867008 18446744073709551615 268284505600 0 4 0 16800975 18446604454742981376 0 0 -1 7 0 0 0
[pid=30524/tid=30538] ppid=30520 vsize=345324 CPUtime=0 cores=1,3,5,7
/proc/30524/task/30538/stat : 30538 (python) S 30520 30524 30488 0 -1 4202560 24 919 0 9 0 0 0 0 18 0 7 0 869238756 353611776 7402 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554434 18446604465099134208 0 0 -1 7 0 0 0
[pid=30524/tid=30551] ppid=30520 vsize=345324 CPUtime=0 cores=1,3,5,7
/proc/30524/task/30551/stat : 30551 (python) S 30520 30524 30488 0 -1 4202560 31 919 0 9 0 0 0 0 20 0 7 0 869243825 353611776 7402 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554434 18446604465099134208 0 0 -1 1 0 0 0
[pid=30524/tid=30560] ppid=30520 vsize=345324 CPUtime=0 cores=1,3,5,7
/proc/30524/task/30560/stat : 30560 (python) S 30520 30524 30488 0 -1 4202560 34 919 0 9 0 0 0 0 18 0 7 0 869248835 353611776 7402 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554434 18446604465099134208 0 0 -1 7 0 0 0
[pid=30524/tid=30569] ppid=30520 vsize=345324 CPUtime=0 cores=1,3,5,7
/proc/30524/task/30569/stat : 30569 (python) S 30520 30524 30488 0 -1 4202560 104 919 0 9 0 0 0 0 21 0 7 0 869253564 353611776 7402 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554434 18446604465099134208 0 0 -1 3 0 0 0
[pid=30524/tid=30598] ppid=30520 vsize=345324 CPUtime=0 cores=1,3,5,7
/proc/30524/task/30598/stat : 30598 (python) S 30520 30524 30488 0 -1 4202560 28 919 0 9 0 0 0 0 20 0 7 0 869262995 353611776 7402 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554434 18446604465099134208 0 0 -1 7 0 0 0
[pid=30524/tid=30754] ppid=30520 vsize=345324 CPUtime=0 cores=1,3,5,7
/proc/30524/task/30754/stat : 30754 (python) S 30520 30524 30488 0 -1 4202560 28 919 0 9 0 0 0 0 20 0 7 0 869267862 353611776 7402 33554432000 4194304 5683644 140736331236480 18446744073709551615 268284512689 0 0 16781312 33554434 18446604465099134208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 295.82
Current children cumulated vsize (KiB) 19483068
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 30524 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=497924
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=319951
# CPU time returned by wait4() is 0.817875
# while last known CPU time is 295.82
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 304.794
CPU time (s): 295.82
CPU user time (s): 291.76
CPU system time (s): 4.06
CPU usage (%): 97.0556
Max. virtual memory (cumulated for all children) (KiB): 19483068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.497924
system time used= 0.319951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15084
page faults= 118
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21722
involuntary context switches= 85
runsolver used 1.9757 second user time and 4.67929 second system time
The end