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-3481552-1307578135/watcher-3481552-1307578135 -o /tmp/evaluation-result-3481552-1307578135/solver-3481552-1307578135 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481552-1307578135.opb -seed 1465183181 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.12 2.14 1.79 2/855 21200
/proc/meminfo: memFree=16372536/32950928 swapFree=26914392/67111528
[pid=21200] ppid=21197 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/21200/stat : 21200 (python) R 21197 21200 19061 0 -1 4202496 1052 0 0 0 0 0 0 0 17 0 1 0 869410319 16633856 923 33554432000 4194304 5683644 140737465306416 18446744073709551615 254500691712 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/21200/statm: 4061 923 381 364 0 548 0
[startup+0.0878939 s]
/proc/loadavg: 2.12 2.14 1.79 2/855 21200
/proc/meminfo: memFree=16372536/32950928 swapFree=26914392/67111528
[pid=21200] ppid=21197 vsize=87828 CPUtime=0.06 cores=1,3,5,7
/proc/21200/stat : 21200 (python) S 21197 21200 19061 0 -1 4202496 2692 0 0 0 4 2 0 0 17 0 1 0 869410319 89935872 2407 33554432000 4194304 5683644 140737465306416 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/21200/statm: 21958 2408 735 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87828
[startup+0.100851 s]
/proc/loadavg: 2.12 2.14 1.79 2/855 21200
/proc/meminfo: memFree=16372536/32950928 swapFree=26914392/67111528
[pid=21200] ppid=21197 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/21200/stat : 21200 (python) R 21197 21200 19061 0 -1 4202496 3170 932 1 0 5 2 0 0 18 0 1 0 869410319 98435072 2484 33554432000 4194304 5683644 140737465306416 18446744073709551615 5170426 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/21200/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300859 s]
/proc/loadavg: 2.12 2.14 1.79 2/855 21200
/proc/meminfo: memFree=16372536/32950928 swapFree=26914392/67111528
[pid=21200] ppid=21197 vsize=182080 CPUtime=0.22 cores=1,3,5,7
/proc/21200/stat : 21200 (python) R 21197 21200 19061 0 -1 4202496 6280 932 1 0 17 5 0 0 17 0 1 0 869410319 186449920 4586 33554432000 4194304 5683644 140737465306416 18446744073709551615 254500687796 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/21200/statm: 45520 4586 1246 364 0 3568 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 182080
[startup+0.700768 s]
/proc/loadavg: 2.12 2.14 1.79 2/855 21200
/proc/meminfo: memFree=16372536/32950928 swapFree=26914392/67111528
[pid=21200] ppid=21197 vsize=287048 CPUtime=0.64 cores=1,3,5,7
/proc/21200/stat : 21200 (python) R 21197 21200 19061 0 -1 4202496 10984 1388 1 0 39 15 7 3 17 0 1 0 869410319 293937152 8061 33554432000 4194304 5683644 140737465306416 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/21200/statm: 71762 8061 1782 364 0 6655 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 287048
[startup+1.50061 s]
/proc/loadavg: 2.11 2.13 1.79 3/859 21212
/proc/meminfo: memFree=16253464/32950928 swapFree=26914392/67111528
[pid=21200] ppid=21197 vsize=297228 CPUtime=0.9 cores=1,3,5,7
/proc/21200/stat : 21200 (python) S 21197 21200 19061 0 -1 4202496 12682 1388 1 0 65 15 7 3 19 0 2 0 869410319 304361472 8171 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/21200/statm: 74307 8171 1863 364 0 9194 0
[pid=21209] ppid=21200 vsize=286984 CPUtime=0 cores=1,3,5,7
/proc/21209/stat : 21209 (python) S 21200 21200 19061 0 -1 4202560 728 0 0 0 0 0 0 0 15 0 1 0 869410416 293871616 6623 33554432000 4194304 5683644 140737465306416 18446744073709551615 254500711951 0 0 16781312 33554946 5626322740177764614 0 0 17 3 0 0 0
/proc/21209/statm: 71746 6623 319 364 0 6633 0
[pid=21212] ppid=21209 vsize=61128 CPUtime=0.52 cores=1,3,5,7
/proc/21212/stat : 21212 (scip-2.0.1.linu) R 21209 21212 21212 0 -1 4202496 13747 0 0 0 40 12 0 0 18 0 1 0 869410416 62595072 12901 33554432000 4194304 13684479 140737012702976 18446744073709551615 6427705 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21212/statm: 15282 12901 763 2317 0 12960 0
[pid=21200/tid=21211] ppid=21197 vsize=297228 CPUtime=0.1 cores=1,3,5,7
/proc/21200/task/21211/stat : 21211 (python) S 21197 21200 19061 0 -1 4202560 25 1388 0 0 0 0 7 3 19 0 2 0 869410416 304361472 8171 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018160832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 645340
[startup+3.10129 s]
/proc/loadavg: 2.11 2.13 1.79 3/859 21212
/proc/meminfo: memFree=16154060/32950928 swapFree=26914392/67111528
[pid=21200] ppid=21197 vsize=297228 CPUtime=0.9 cores=1,3,5,7
/proc/21200/stat : 21200 (python) S 21197 21200 19061 0 -1 4202496 12682 1388 1 0 65 15 7 3 19 0 2 0 869410319 304361472 8171 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/21200/statm: 74307 8171 1863 364 0 9194 0
[pid=21209] ppid=21200 vsize=286984 CPUtime=0 cores=1,3,5,7
/proc/21209/stat : 21209 (python) S 21200 21200 19061 0 -1 4202560 736 0 0 0 0 0 0 0 15 0 1 0 869410416 293871616 6623 33554432000 4194304 5683644 140737465306416 18446744073709551615 254500711951 0 0 16781312 33554946 2876538699930140672 0 0 17 3 0 0 0
/proc/21209/statm: 71746 6623 319 364 0 6633 0
[pid=21212] ppid=21209 vsize=72964 CPUtime=2.13 cores=1,3,5,7
/proc/21212/stat : 21212 (scip-2.0.1.linu) R 21209 21212 21212 0 -1 4202496 16676 0 0 0 195 18 0 0 18 0 1 0 869410416 74715136 15711 33554432000 4194304 13684479 140737012702976 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21212/statm: 18241 15711 756 2317 0 15919 0
[pid=21200/tid=21211] ppid=21197 vsize=297228 CPUtime=0.1 cores=1,3,5,7
/proc/21200/task/21211/stat : 21211 (python) S 21197 21200 19061 0 -1 4202560 25 1388 0 0 0 0 7 3 19 0 2 0 869410416 304361472 8171 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018160832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 657176
[startup+6.30065 s]
/proc/loadavg: 2.11 2.13 1.79 3/859 21212
/proc/meminfo: memFree=16127028/32950928 swapFree=26914392/67111528
[pid=21200] ppid=21197 vsize=297228 CPUtime=0.9 cores=1,3,5,7
/proc/21200/stat : 21200 (python) S 21197 21200 19061 0 -1 4202496 12682 1388 1 0 65 15 7 3 19 0 2 0 869410319 304361472 8171 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/21200/statm: 74307 8171 1863 364 0 9194 0
[pid=21209] ppid=21200 vsize=286984 CPUtime=0.02 cores=1,3,5,7
/proc/21209/stat : 21209 (python) S 21200 21200 19061 0 -1 4202560 885 0 0 0 1 1 0 0 15 0 1 0 869410416 293871616 6647 33554432000 4194304 5683644 140737465306416 18446744073709551615 254500711951 0 0 16781312 33554946 348173108693172224 0 0 17 3 0 0 0
/proc/21209/statm: 71746 6647 343 364 0 6633 0
[pid=21212] ppid=21209 vsize=89292 CPUtime=5.33 cores=1,3,5,7
/proc/21212/stat : 21212 (scip-2.0.1.linu) R 21209 21212 21212 0 -1 4202496 20979 0 0 0 504 29 0 0 18 0 1 0 869410416 91435008 19893 33554432000 4194304 13684479 140737012702976 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21212/statm: 22323 19893 785 2317 0 20001 0
[pid=21200/tid=21211] ppid=21197 vsize=297228 CPUtime=0.1 cores=1,3,5,7
/proc/21200/task/21211/stat : 21211 (python) S 21197 21200 19061 0 -1 4202560 25 1388 0 0 0 0 7 3 19 0 2 0 869410416 304361472 8171 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018160832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 673504
[startup+12.7004 s]
/proc/loadavg: 2.16 2.14 1.80 3/859 21212
/proc/meminfo: memFree=16061880/32950928 swapFree=26914392/67111528
[pid=21200] ppid=21197 vsize=297228 CPUtime=0.9 cores=1,3,5,7
/proc/21200/stat : 21200 (python) S 21197 21200 19061 0 -1 4202496 12682 1388 1 0 65 15 7 3 19 0 2 0 869410319 304361472 8171 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/21200/statm: 74307 8171 1863 364 0 9194 0
[pid=21209] ppid=21200 vsize=286984 CPUtime=0.07 cores=1,3,5,7
/proc/21209/stat : 21209 (python) S 21200 21200 19061 0 -1 4202560 897 0 0 0 4 3 0 0 15 0 1 0 869410416 293871616 6647 33554432000 4194304 5683644 140737465306416 18446744073709551615 254500711951 0 0 16781312 33554946 1618380497887428608 0 0 17 7 0 0 0
/proc/21209/statm: 71746 6647 343 364 0 6633 0
[pid=21212] ppid=21209 vsize=107960 CPUtime=11.72 cores=1,3,5,7
/proc/21212/stat : 21212 (scip-2.0.1.linu) R 21209 21212 21212 0 -1 4202496 25636 0 0 0 1127 45 0 0 19 0 1 0 869410416 110551040 24506 33554432000 4194304 13684479 140737012702976 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21212/statm: 26990 24506 778 2317 0 24668 0
[pid=21200/tid=21211] ppid=21197 vsize=297228 CPUtime=0.1 cores=1,3,5,7
/proc/21200/task/21211/stat : 21211 (python) S 21197 21200 19061 0 -1 4202560 25 1388 0 0 0 0 7 3 19 0 2 0 869410416 304361472 8171 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018160832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 692172
[startup+25.5008 s]
/proc/loadavg: 2.14 2.14 1.80 3/859 21214
/proc/meminfo: memFree=15524652/32950928 swapFree=26914392/67111528
[pid=21200] ppid=21197 vsize=297228 CPUtime=0.9 cores=1,3,5,7
/proc/21200/stat : 21200 (python) S 21197 21200 19061 0 -1 4202496 12682 1388 1 0 65 15 7 3 19 0 2 0 869410319 304361472 8171 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/21200/statm: 74307 8171 1863 364 0 9194 0
[pid=21209] ppid=21200 vsize=286984 CPUtime=0.15 cores=1,3,5,7
/proc/21209/stat : 21209 (python) S 21200 21200 19061 0 -1 4202560 907 0 0 0 7 8 0 0 15 0 1 0 869410416 293871616 6647 33554432000 4194304 5683644 140737465306416 18446744073709551615 254500711951 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/21209/statm: 71746 6647 343 364 0 6633 0
[pid=21212] ppid=21209 vsize=108720 CPUtime=24.53 cores=1,3,5,7
/proc/21212/stat : 21212 (scip-2.0.1.linu) R 21209 21212 21212 0 -1 4202496 25767 0 0 0 2380 73 0 0 25 0 1 0 869410416 111329280 24619 33554432000 4194304 13684479 140737012702976 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21212/statm: 27180 24619 760 2317 0 24858 0
[pid=21200/tid=21211] ppid=21197 vsize=297228 CPUtime=0.1 cores=1,3,5,7
/proc/21200/task/21211/stat : 21211 (python) S 21197 21200 19061 0 -1 4202560 25 1388 0 0 0 0 7 3 19 0 2 0 869410416 304361472 8171 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018160832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 692932
[startup+51.1007 s]
/proc/loadavg: 2.09 2.13 1.80 3/860 21215
/proc/meminfo: memFree=15428580/32950928 swapFree=26914392/67111528
[pid=21200] ppid=21197 vsize=297228 CPUtime=0.9 cores=1,3,5,7
/proc/21200/stat : 21200 (python) S 21197 21200 19061 0 -1 4202496 12682 1388 1 0 65 15 7 3 19 0 2 0 869410319 304361472 8171 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/21200/statm: 74307 8171 1863 364 0 9194 0
[pid=21209] ppid=21200 vsize=286984 CPUtime=0.28 cores=1,3,5,7
/proc/21209/stat : 21209 (python) S 21200 21200 19061 0 -1 4202560 921 0 0 0 14 14 0 0 15 0 1 0 869410416 293871616 6648 33554432000 4194304 5683644 140737465306416 18446744073709551615 254500711951 0 0 16781312 33554946 5623753486446373615 0 0 17 7 0 0 0
/proc/21209/statm: 71746 6648 344 364 0 6633 0
[pid=21212] ppid=21209 vsize=109600 CPUtime=50.13 cores=1,3,5,7
/proc/21212/stat : 21212 (scip-2.0.1.linu) R 21209 21212 21212 0 -1 4202496 26690 0 0 0 4868 145 0 0 25 0 1 0 869410416 112230400 24898 33554432000 4194304 13684479 140737012702976 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21212/statm: 27400 24898 786 2317 0 25078 0
[pid=21200/tid=21211] ppid=21197 vsize=297228 CPUtime=0.1 cores=1,3,5,7
/proc/21200/task/21211/stat : 21211 (python) S 21197 21200 19061 0 -1 4202560 25 1388 0 0 0 0 7 3 19 0 2 0 869410416 304361472 8171 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018160832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.31
Current children cumulated vsize (KiB) 693812
[startup+102.321 s]
/proc/loadavg: 2.03 2.10 1.81 3/867 21224
/proc/meminfo: memFree=15312856/32950928 swapFree=26914392/67111528
[pid=21200] ppid=21197 vsize=307484 CPUtime=0.92 cores=1,3,5,7
/proc/21200/stat : 21200 (python) S 21197 21200 19061 0 -1 4202496 13576 1388 1 0 67 15 7 3 19 0 3 0 869410319 314863616 8186 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/21200/statm: 76871 8186 1874 364 0 11755 0
[pid=21209] ppid=21200 vsize=297228 CPUtime=0.3 cores=1,3,5,7
/proc/21209/stat : 21209 (python) S 21200 21200 19061 0 -1 4202560 1119 0 0 0 15 15 0 0 17 0 2 0 869410416 304361472 6716 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21209/statm: 74307 6716 407 364 0 9194 0
[pid=21212] ppid=21209 vsize=109600 CPUtime=51.26 cores=1,3,5,7
/proc/21212/stat : 21212 (scip-2.0.1.linu) T 21209 21212 21212 0 -1 4202496 26690 0 0 0 4976 150 0 0 25 0 1 0 869410416 112230400 24898 33554432000 4194304 13684479 140737012702976 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/21212/statm: 27400 24898 786 2317 0 25078 0
[pid=21209/tid=21216] ppid=21200 vsize=297228 CPUtime=0 cores=1,3,5,7
/proc/21209/task/21216/stat : 21216 (python) S 21200 21200 19061 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869415542 304361472 6716 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554946 18446604462638628992 0 0 -1 7 0 0 0
[pid=21217] ppid=21200 vsize=297240 CPUtime=0.27 cores=1,3,5,7
/proc/21217/stat : 21217 (python) S 21200 21200 19061 0 -1 4202560 1044 0 0 0 13 14 0 0 15 0 1 0 869415544 304373760 6658 33554432000 4194304 5683644 140737465306416 18446744073709551615 254500712006 0 0 16781312 33554946 1799734070326853632 0 0 17 7 0 0 0
/proc/21217/statm: 74310 6658 350 364 0 9194 0
[pid=21219] ppid=21217 vsize=98736 CPUtime=50.06 cores=1,3,5,7
/proc/21219/stat : 21219 (scip-2.0.1.linu) R 21217 21219 21219 0 -1 4202496 24091 0 0 0 4965 41 0 0 18 0 1 0 869415545 101105664 22067 33554432000 4194304 15243407 140735945032080 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21219/statm: 24684 22067 893 2698 0 21979 0
[pid=21200/tid=21211] ppid=21197 vsize=307484 CPUtime=0.1 cores=1,3,5,7
/proc/21200/task/21211/stat : 21211 (python) S 21197 21200 19061 0 -1 4202560 25 1388 0 0 0 0 7 3 19 0 3 0 869410416 314863616 8186 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018160832 0 0 -1 7 0 0 0
[pid=21200/tid=21218] ppid=21197 vsize=307484 CPUtime=0.1 cores=1,3,5,7
/proc/21200/task/21218/stat : 21218 (python) S 21197 21200 19061 0 -1 4202560 30 1388 0 0 0 0 7 3 20 0 3 0 869415545 314863616 8186 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018160832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.81
Current children cumulated vsize (KiB) 1110288
[startup+162.302 s]
/proc/loadavg: 2.01 2.08 1.82 3/893 21253
/proc/meminfo: memFree=14475700/32950928 swapFree=26914392/67111528
[pid=21200] ppid=21197 vsize=327996 CPUtime=0.98 cores=1,3,5,7
/proc/21200/stat : 21200 (python) S 21197 21200 19061 0 -1 4202496 15353 1388 1 0 72 16 7 3 19 0 5 0 869410319 335867904 8198 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/21200/statm: 81999 8198 1878 364 0 16877 0
[pid=21209] ppid=21200 vsize=297228 CPUtime=0.3 cores=1,3,5,7
################
# More data... #
################
[pid=21200/tid=21636] ppid=21197 vsize=358764 CPUtime=0.1 cores=1,3,5,7
/proc/21200/task/21636/stat : 21636 (python) S 21197 21200 19061 0 -1 4202560 30 1388 0 0 0 0 7 3 20 0 8 0 869487306 367374336 8216 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018160832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 776.68
Current children cumulated vsize (KiB) 20182952
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+769.902 s]
/proc/loadavg: 2.02 2.08 1.94 4/937 21654
/proc/meminfo: memFree=8756624/32950928 swapFree=26914392/67111528
[pid=21200] ppid=21197 vsize=358764 CPUtime=1.14 cores=1,3,5,7
/proc/21200/stat : 21200 (python) S 21197 21200 19061 0 -1 4202496 18290 1388 1 0 87 17 7 3 20 0 8 0 869410319 367374336 8216 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/21200/statm: 89691 8216 1884 364 0 24560 0
[pid=21209] ppid=21200 vsize=297228 CPUtime=1.98 cores=1,3,5,7
/proc/21209/stat : 21209 (python) S 21200 21200 19061 0 -1 4202560 1207 0 0 0 99 99 0 0 16 0 2 0 869410416 304361472 6717 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21209/statm: 74307 6717 408 364 0 9194 0
[pid=21212] ppid=21209 vsize=166420 CPUtime=342.18 cores=1,3,5,7
/proc/21212/stat : 21212 (scip-2.0.1.linu) T 21209 21212 21212 0 -1 4202496 55843 0 0 0 32122 2096 0 0 19 0 1 0 869410416 170414080 39200 33554432000 4194304 13684479 140737012702976 18446744073709551615 5308000 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/21212/statm: 41605 39200 807 2317 0 39283 0
[pid=21209/tid=21216] ppid=21200 vsize=297228 CPUtime=0 cores=1,3,5,7
/proc/21209/task/21216/stat : 21216 (python) S 21200 21200 19061 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869415542 304361472 6717 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554946 18446604462638628992 0 0 -1 7 0 0 0
[pid=21217] ppid=21200 vsize=297240 CPUtime=1.11 cores=1,3,5,7
/proc/21217/stat : 21217 (python) S 21200 21200 19061 0 -1 4202560 1281 0 0 0 53 58 0 0 15 0 2 0 869415544 304373760 6707 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21217/statm: 74310 6707 398 364 0 9194 0
[pid=21219] ppid=21217 vsize=119756 CPUtime=188.66 cores=1,3,5,7
/proc/21219/stat : 21219 (scip-2.0.1.linu) T 21217 21219 21219 0 -1 4202496 62669 0 0 0 18606 260 0 0 18 0 1 0 869415545 122630144 27038 33554432000 4194304 15243407 140735945032080 18446744073709551615 13354455 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/21219/statm: 29939 27038 921 2698 0 27234 0
[pid=21217/tid=21225] ppid=21200 vsize=297240 CPUtime=0 cores=1,3,5,7
/proc/21217/task/21225/stat : 21225 (python) S 21200 21200 19061 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 869420577 304373760 6707 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554946 18446604471007434816 0 0 -1 7 0 0 0
[pid=21226] ppid=21200 vsize=307496 CPUtime=0.27 cores=1,3,5,7
/proc/21226/stat : 21226 (python) S 21200 21200 19061 0 -1 4202560 1207 0 0 0 13 14 0 0 16 0 2 0 869420580 314875904 6710 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21226/statm: 76874 6710 397 364 0 11755 0
[pid=21228] ppid=21226 vsize=201532 CPUtime=48.61 cores=1,3,5,7
/proc/21228/stat : 21228 (wbo1.4a) T 21226 21228 21228 0 -1 4202496 51016 0 0 0 4823 38 0 0 25 0 1 0 869420580 206368768 49890 33554432000 134512640 135751879 4290239552 18446744073709551615 134616520 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/21228/statm: 50383 49890 146 303 0 50078 0
[pid=21226/tid=21231] ppid=21200 vsize=307496 CPUtime=0 cores=1,3,5,7
/proc/21226/task/21231/stat : 21231 (python) S 21200 21200 19061 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869425441 314875904 6710 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554946 18446604470506083328 0 0 -1 7 0 0 0
[pid=21232] ppid=21200 vsize=317752 CPUtime=0.24 cores=1,3,5,7
/proc/21232/stat : 21232 (python) S 21200 21200 19061 0 -1 4202560 1144 0 0 0 11 13 0 0 17 0 2 0 869425444 325378048 6708 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/21232/statm: 79438 6708 391 364 0 14316 0
[pid=21234] ppid=21232 vsize=8548212 CPUtime=49.64 cores=1,3,5,7
/proc/21234/stat : 21234 (java) T 21232 21234 21234 0 -1 4202496 572680 0 1 0 4907 57 0 0 15 0 19 0 869425444 8753369088 553829 33554432000 1073741824 1073778376 140733686475200 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21234/statm: 2137053 553829 2250 9 0 2127794 0
[pid=21234/tid=21235] ppid=21232 vsize=8548212 CPUtime=46.6 cores=1,3,5,7
/proc/21234/task/21235/stat : 21235 (java) T 21232 21234 21234 0 -1 4202560 474701 0 1 0 4615 45 0 0 25 0 19 0 869425445 8753369088 553829 33554432000 1073741824 1073778376 140733686475200 18446744073709551615 46912505841083 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=21234/tid=21236] ppid=21232 vsize=8548212 CPUtime=0.13 cores=1,3,5,7
/proc/21234/task/21236/stat : 21236 (java) T 21232 21234 21234 0 -1 4202560 11602 0 0 0 12 1 0 0 15 0 19 0 869425446 8753369088 553829 33554432000 1073741824 1073778376 140733686475200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21234/tid=21237] ppid=21232 vsize=8548212 CPUtime=0.17 cores=1,3,5,7
/proc/21234/task/21237/stat : 21237 (java) T 21232 21234 21234 0 -1 4202560 14457 0 0 0 15 2 0 0 15 0 19 0 869425446 8753369088 553829 33554432000 1073741824 1073778376 140733686475200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=21234/tid=21238] ppid=21232 vsize=8548212 CPUtime=0.08 cores=1,3,5,7
/proc/21234/task/21238/stat : 21238 (java) T 21232 21234 21234 0 -1 4202560 7745 0 0 0 8 0 0 0 15 0 19 0 869425446 8753369088 553829 33554432000 1073741824 1073778376 140733686475200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21234/tid=21239] ppid=21232 vsize=8548212 CPUtime=0.07 cores=1,3,5,7
/proc/21234/task/21239/stat : 21239 (java) T 21232 21234 21234 0 -1 4202560 7219 0 0 0 7 0 0 0 15 0 19 0 869425446 8753369088 553829 33554432000 1073741824 1073778376 140733686475200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21234/tid=21240] ppid=21232 vsize=8548212 CPUtime=0.09 cores=1,3,5,7
/proc/21234/task/21240/stat : 21240 (java) T 21232 21234 21234 0 -1 4202560 7716 0 0 0 9 0 0 0 15 0 19 0 869425446 8753369088 553829 33554432000 1073741824 1073778376 140733686475200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21234/tid=21241] ppid=21232 vsize=8548212 CPUtime=0.14 cores=1,3,5,7
/proc/21234/task/21241/stat : 21241 (java) T 21232 21234 21234 0 -1 4202560 11809 0 0 0 13 1 0 0 15 0 19 0 869425446 8753369088 553829 33554432000 1073741824 1073778376 140733686475200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=21234/tid=21243] ppid=21232 vsize=8548212 CPUtime=0.18 cores=1,3,5,7
/proc/21234/task/21243/stat : 21243 (java) T 21232 21234 21234 0 -1 4202560 15819 0 0 0 17 1 0 0 15 0 19 0 869425446 8753369088 553829 33554432000 1073741824 1073778376 140733686475200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21234/tid=21244] ppid=21232 vsize=8548212 CPUtime=0.07 cores=1,3,5,7
/proc/21234/task/21244/stat : 21244 (java) T 21232 21234 21234 0 -1 4202560 6801 0 0 0 7 0 0 0 15 0 19 0 869425446 8753369088 553829 33554432000 1073741824 1073778376 140733686475200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21234/tid=21245] ppid=21232 vsize=8548212 CPUtime=0 cores=1,3,5,7
/proc/21234/task/21245/stat : 21245 (java) T 21232 21234 21234 0 -1 4202560 994 0 0 0 0 0 0 0 15 0 19 0 869425447 8753369088 553829 33554432000 1073741824 1073778376 140733686475200 18446744073709551615 254512508416 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=21234/tid=21246] ppid=21232 vsize=8548212 CPUtime=0 cores=1,3,5,7
/proc/21234/task/21246/stat : 21246 (java) T 21232 21234 21234 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869425447 8753369088 553829 33554432000 1073741824 1073778376 140733686475200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=21234/tid=21247] ppid=21232 vsize=8548212 CPUtime=0 cores=1,3,5,7
/proc/21234/task/21247/stat : 21247 (java) T 21232 21234 21234 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869425447 8753369088 553829 33554432000 1073741824 1073778376 140733686475200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=21234/tid=21248] ppid=21232 vsize=8548212 CPUtime=0 cores=1,3,5,7
/proc/21234/task/21248/stat : 21248 (java) T 21232 21234 21234 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869425450 8753369088 553829 33554432000 1073741824 1073778376 140733686475200 18446744073709551615 254512515505 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=21234/tid=21249] ppid=21232 vsize=8548212 CPUtime=0.97 cores=1,3,5,7
/proc/21234/task/21249/stat : 21249 (java) T 21232 21234 21234 0 -1 4202560 6530 0 0 0 97 0 0 0 15 0 19 0 869425450 8753369088 553829 33554432000 1073741824 1073778376 140733686475200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=21234/tid=21250] ppid=21232 vsize=8548212 CPUtime=1.01 cores=1,3,5,7
/proc/21234/task/21250/stat : 21250 (java) T 21232 21234 21234 0 -1 4202560 5894 0 0 0 101 0 0 0 15 0 19 0 869425450 8753369088 553829 33554432000 1073741824 1073778376 140733686475200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21234/tid=21251] ppid=21232 vsize=8548212 CPUtime=0 cores=1,3,5,7
/proc/21234/task/21251/stat : 21251 (java) T 21232 21234 21234 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869425450 8753369088 553829 33554432000 1073741824 1073778376 140733686475200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=21234/tid=21252] ppid=21232 vsize=8548212 CPUtime=0 cores=1,3,5,7
/proc/21234/task/21252/stat : 21252 (java) T 21232 21234 21234 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869425450 8753369088 553829 33554432000 1073741824 1073778376 140733686475200 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21234/tid=21253] ppid=21232 vsize=8548212 CPUtime=0 cores=1,3,5,7
/proc/21234/task/21253/stat : 21253 (java) T 21232 21234 21234 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869425504 8753369088 553829 33554432000 1073741824 1073778376 140733686475200 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=21232/tid=21256] ppid=21200 vsize=317752 CPUtime=0 cores=1,3,5,7
/proc/21232/task/21256/stat : 21256 (python) S 21200 21200 19061 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869430156 325378048 6708 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554946 18446604457116254656 0 0 -1 5 0 0 0
[pid=21260] ppid=21200 vsize=328008 CPUtime=0.47 cores=1,3,5,7
/proc/21260/stat : 21260 (python) S 21200 21200 19061 0 -1 4202560 1188 0 0 0 21 26 0 0 17 0 2 0 869439199 335880192 6712 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21260/statm: 82002 6712 391 364 0 16877 0
[pid=21262] ppid=21260 vsize=8308 CPUtime=96.15 cores=1,3,5,7
/proc/21262/stat : 21262 (clasp-1.3.7-x86) T 21260 21262 21262 0 -1 4202496 2232 0 0 0 9615 0 0 0 25 0 1 0 869439199 8507392 1833 33554432000 134512640 136139019 4289392960 18446744073709551615 134742409 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/21262/statm: 2077 1833 187 398 0 1677 0
[pid=21260/tid=21265] ppid=21200 vsize=328008 CPUtime=0 cores=1,3,5,7
/proc/21260/task/21265/stat : 21265 (python) S 21200 21200 19061 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869448814 335880192 6712 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554946 18446604458157663360 0 0 -1 7 0 0 0
[pid=21602] ppid=21200 vsize=338264 CPUtime=0.24 cores=1,3,5,7
/proc/21602/stat : 21602 (python) S 21200 21200 19061 0 -1 4202560 1164 0 0 0 9 15 0 0 16 0 2 0 869473386 346382336 6716 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21602/statm: 84566 6716 391 364 0 19438 0
[pid=21604] ppid=21602 vsize=79516 CPUtime=45.92 cores=1,3,5,7
/proc/21604/stat : 21604 (bsolo_pb10) T 21602 21604 21604 0 -1 4202496 17857 0 0 0 4588 4 0 0 25 0 1 0 869473386 81424384 17429 33554432000 134512640 137138936 4290037568 18446744073709551615 134542325 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/21604/statm: 19879 17429 192 642 0 19235 0
[pid=21602/tid=21610] ppid=21200 vsize=338264 CPUtime=0 cores=1,3,5,7
/proc/21602/task/21610/stat : 21610 (python) S 21200 21200 19061 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869477979 346382336 6716 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554946 18446604460003123648 0 0 -1 7 0 0 0
[pid=21635] ppid=21200 vsize=348520 CPUtime=0 cores=1,3,5,7
/proc/21635/stat : 21635 (python) S 21200 21200 19061 0 -1 4202560 794 0 0 0 0 0 0 0 19 0 1 0 869487306 356884480 6648 33554432000 4194304 5683644 140737465306416 18446744073709551615 254500712006 0 0 16781312 33554946 14912325227093393669 0 0 17 5 0 0 0
/proc/21635/statm: 87130 6648 320 364 0 21999 0
[pid=21637] ppid=21635 vsize=8465936 CPUtime=0.07 cores=1,3,5,7
/proc/21637/stat : 21637 (java) S 21635 21637 21637 0 -1 4202496 4722 0 1 0 6 1 0 0 18 0 18 0 869487306 8669118464 4175 33554432000 1073741824 1073778376 140736890887536 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21637/statm: 2116484 4177 1966 9 0 2107225 0
[pid=21637/tid=21638] ppid=21635 vsize=8467328 CPUtime=0.05 cores=1,3,5,7
/proc/21637/task/21638/stat : 21638 (java) R 21635 21637 21637 0 -1 4202560 3055 0 1 0 5 0 0 0 25 0 18 0 869487307 8670543872 4611 33554432000 1073741824 1073778376 140736890887536 18446744073709551615 254500796910 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21637/tid=21639] ppid=21635 vsize=8467328 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21639/stat : 21639 (java) S 21635 21637 21637 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869487307 8670543872 4611 33554432000 1073741824 1073778376 140736890887536 18446744073709551615 254512507801 0 4 0 16800975 18446604459313683200 0 0 -1 1 0 0 0
[pid=21637/tid=21640] ppid=21635 vsize=8467328 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21640/stat : 21640 (java) S 21635 21637 21637 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869487307 8670543872 4611 33554432000 1073741824 1073778376 140736890887536 18446744073709551615 254512507801 0 4 0 16800975 18446604459313683200 0 0 -1 7 0 0 0
[pid=21637/tid=21641] ppid=21635 vsize=8467328 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21641/stat : 21641 (java) S 21635 21637 21637 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869487307 8670543872 4611 33554432000 1073741824 1073778376 140736890887536 18446744073709551615 254512507801 0 4 0 16800975 18446604459313683200 0 0 -1 7 0 0 0
[pid=21637/tid=21642] ppid=21635 vsize=8467328 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21642/stat : 21642 (java) S 21635 21637 21637 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869487307 8670543872 4611 33554432000 1073741824 1073778376 140736890887536 18446744073709551615 254512507801 0 4 0 16800975 18446604459313683200 0 0 -1 7 0 0 0
[pid=21637/tid=21643] ppid=21635 vsize=8467328 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21643/stat : 21643 (java) S 21635 21637 21637 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869487307 8670543872 4611 33554432000 1073741824 1073778376 140736890887536 18446744073709551615 254512507801 0 4 0 16800975 18446604459313683200 0 0 -1 7 0 0 0
[pid=21637/tid=21644] ppid=21635 vsize=8467328 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21644/stat : 21644 (java) S 21635 21637 21637 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869487307 8670543872 4611 33554432000 1073741824 1073778376 140736890887536 18446744073709551615 254512507801 0 4 0 16800975 18446604459313683200 0 0 -1 7 0 0 0
[pid=21637/tid=21645] ppid=21635 vsize=8467328 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21645/stat : 21645 (java) S 21635 21637 21637 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869487307 8670543872 4611 33554432000 1073741824 1073778376 140736890887536 18446744073709551615 254512507801 0 4 0 16800975 18446604459313683200 0 0 -1 7 0 0 0
[pid=21637/tid=21646] ppid=21635 vsize=8467328 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21646/stat : 21646 (java) S 21635 21637 21637 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869487307 8670543872 4611 33554432000 1073741824 1073778376 140736890887536 18446744073709551615 254512507801 0 4 0 16800975 18446604459313683200 0 0 -1 7 0 0 0
[pid=21637/tid=21647] ppid=21635 vsize=8467328 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21647/stat : 21647 (java) S 21635 21637 21637 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 18 0 869487308 8670543872 4611 33554432000 1073741824 1073778376 140736890887536 18446744073709551615 254512508416 0 0 0 16800975 18446604459313683200 0 0 -1 5 0 0 0
[pid=21637/tid=21648] ppid=21635 vsize=8467328 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21648/stat : 21648 (java) S 21635 21637 21637 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 869487309 8670543872 4611 33554432000 1073741824 1073778376 140736890887536 18446744073709551615 254512507801 0 4 0 16800975 18446604459313683200 0 0 -1 1 0 0 0
[pid=21637/tid=21649] ppid=21635 vsize=8467328 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21649/stat : 21649 (java) S 21635 21637 21637 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869487309 8670543872 4611 33554432000 1073741824 1073778376 140736890887536 18446744073709551615 254512507801 0 4 0 16800975 18446604459313683200 0 0 -1 1 0 0 0
[pid=21637/tid=21650] ppid=21635 vsize=8467328 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21650/stat : 21650 (java) S 21635 21637 21637 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869487311 8670543872 4611 33554432000 1073741824 1073778376 140736890887536 18446744073709551615 254512515505 0 4 0 16800975 18446604459313683200 0 0 -1 1 0 0 0
[pid=21637/tid=21651] ppid=21635 vsize=8467328 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21651/stat : 21651 (java) R 21635 21637 21637 0 -1 4202560 168 0 0 0 0 0 0 0 25 0 18 0 869487311 8670543872 4611 33554432000 1073741824 1073778376 140736890887536 18446744073709551615 47922126757321 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21637/tid=21652] ppid=21635 vsize=8467328 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21652/stat : 21652 (java) R 21635 21637 21637 0 -1 4202560 540 0 0 0 0 0 0 0 25 0 18 0 869487311 8670543872 4611 33554432000 1073741824 1073778376 140736890887536 18446744073709551615 47922126787024 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21637/tid=21653] ppid=21635 vsize=8467328 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21653/stat : 21653 (java) S 21635 21637 21637 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869487311 8670543872 4611 33554432000 1073741824 1073778376 140736890887536 18446744073709551615 254512507801 0 4 0 16800975 18446604459313683200 0 0 -1 1 0 0 0
[pid=21637/tid=21654] ppid=21635 vsize=8467328 CPUtime=0 cores=1,3,5,7
/proc/21637/task/21654/stat : 21654 (java) S 21635 21637 21637 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869487311 8670543872 4611 33554432000 1073741824 1073778376 140736890887536 18446744073709551615 254512508416 0 4 0 16800975 18446604459313683200 0 0 -1 1 0 0 0
[pid=21200/tid=21211] ppid=21197 vsize=358764 CPUtime=0.1 cores=1,3,5,7
/proc/21200/task/21211/stat : 21211 (python) S 21197 21200 19061 0 -1 4202560 37 1388 0 0 0 0 7 3 18 0 8 0 869410416 367374336 8216 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018160832 0 0 -1 7 0 0 0
[pid=21200/tid=21218] ppid=21197 vsize=358764 CPUtime=0.1 cores=1,3,5,7
/proc/21200/task/21218/stat : 21218 (python) S 21197 21200 19061 0 -1 4202560 40 1388 0 0 0 0 7 3 18 0 8 0 869415545 367374336 8216 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018160832 0 0 -1 3 0 0 0
[pid=21200/tid=21227] ppid=21197 vsize=358764 CPUtime=0.1 cores=1,3,5,7
/proc/21200/task/21227/stat : 21227 (python) S 21197 21200 19061 0 -1 4202560 27 1388 0 0 0 0 7 3 20 0 8 0 869420580 367374336 8216 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018160832 0 0 -1 5 0 0 0
[pid=21200/tid=21233] ppid=21197 vsize=358764 CPUtime=0.1 cores=1,3,5,7
/proc/21200/task/21233/stat : 21233 (python) S 21197 21200 19061 0 -1 4202560 26 1388 0 0 0 0 7 3 20 0 8 0 869425444 367374336 8216 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018160832 0 0 -1 5 0 0 0
[pid=21200/tid=21261] ppid=21197 vsize=358764 CPUtime=0.1 cores=1,3,5,7
/proc/21200/task/21261/stat : 21261 (python) S 21197 21200 19061 0 -1 4202560 27 1388 0 0 0 0 7 3 20 0 8 0 869439199 367374336 8216 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018160832 0 0 -1 3 0 0 0
[pid=21200/tid=21603] ppid=21197 vsize=358764 CPUtime=0.1 cores=1,3,5,7
/proc/21200/task/21603/stat : 21603 (python) S 21197 21200 19061 0 -1 4202560 29 1388 0 0 0 0 7 3 20 0 8 0 869473386 367374336 8216 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018160832 0 0 -1 5 0 0 0
[pid=21200/tid=21636] ppid=21197 vsize=358764 CPUtime=0.1 cores=1,3,5,7
/proc/21200/task/21636/stat : 21636 (python) S 21197 21200 19061 0 -1 4202560 30 1388 0 0 0 0 7 3 20 0 8 0 869487306 367374336 8216 33554432000 4194304 5683644 140737465306416 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018160832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 776.68
Current children cumulated vsize (KiB) 20182952
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21200 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=951855
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=206968
# CPU time returned by wait4() is 1.15882
# while last known CPU time is 776.68
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 770.001
CPU time (s): 776.68
CPU user time (s): 749.67
CPU system time (s): 27.01
CPU usage (%): 100.867
Max. virtual memory (cumulated for all children) (KiB): 20182952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.951855
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19682
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= 6786
involuntary context switches= 23
runsolver used 6.44402 second user time and 14.5508 second system time
The end