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-3481989-1307576617/watcher-3481989-1307576617 -o /tmp/evaluation-result-3481989-1307576617/solver-3481989-1307576617 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481989-1307576617.opb -seed 1782823493 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.28 0.99 0.38 2/372 16434
/proc/meminfo: memFree=27452972/32951124 swapFree=67056304/67111528
[pid=16434] ppid=16432 vsize=15780 CPUtime=0 cores=0,2,4,6
/proc/16434/stat : 16434 (python) S 16432 16434 16077 0 -1 4202496 935 0 0 0 0 0 0 0 18 0 1 0 947892445 16158720 814 33554432000 4194304 5683644 140735307158640 18446744073709551615 260020393984 0 2147483391 16781312 2 0 0 0 17 4 0 0 0
/proc/16434/statm: 3946 815 356 364 0 433 0
[startup+0.094617 s]
/proc/loadavg: 2.28 0.99 0.38 2/372 16434
/proc/meminfo: memFree=27452972/32951124 swapFree=67056304/67111528
[pid=16434] ppid=16432 vsize=94064 CPUtime=0.06 cores=0,2,4,6
/proc/16434/stat : 16434 (python) R 16432 16434 16077 0 -1 4202496 2944 463 1 0 5 1 0 0 18 0 1 0 947892445 96321536 2478 33554432000 4194304 5683644 140735307158640 18446744073709551615 5158265 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16434/statm: 23516 2478 788 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94064
[startup+0.100564 s]
/proc/loadavg: 2.28 0.99 0.38 2/372 16434
/proc/meminfo: memFree=27452972/32951124 swapFree=67056304/67111528
[pid=16434] ppid=16432 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/16434/stat : 16434 (python) R 16432 16434 16077 0 -1 4202496 3168 927 1 0 6 1 0 0 18 0 1 0 947892445 98435072 2483 33554432000 4194304 5683644 140735307158640 18446744073709551615 5177328 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16434/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.30055 s]
/proc/loadavg: 2.28 0.99 0.38 2/372 16434
/proc/meminfo: memFree=27452972/32951124 swapFree=67056304/67111528
[pid=16434] ppid=16432 vsize=184248 CPUtime=0.22 cores=0,2,4,6
/proc/16434/stat : 16434 (python) S 16432 16434 16077 0 -1 4202496 6330 927 1 0 17 5 0 0 17 0 1 0 947892445 188669952 4635 33554432000 4194304 5683644 140735307158640 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/16434/statm: 46062 4635 1251 364 0 3568 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184248
[startup+0.700434 s]
/proc/loadavg: 2.28 0.99 0.38 2/372 16434
/proc/meminfo: memFree=27452972/32951124 swapFree=67056304/67111528
[pid=16434] ppid=16432 vsize=293388 CPUtime=0.42 cores=0,2,4,6
/proc/16434/stat : 16434 (python) S 16432 16434 16077 0 -1 4202496 9707 927 1 0 34 8 0 0 19 0 2 0 947892445 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16434/statm: 73347 7214 1870 364 0 8234 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293388
[startup+1.50037 s]
/proc/loadavg: 2.28 0.99 0.38 3/376 16442
/proc/meminfo: memFree=27405324/32951124 swapFree=67056304/67111528
[pid=16434] ppid=16432 vsize=293388 CPUtime=0.42 cores=0,2,4,6
/proc/16434/stat : 16434 (python) S 16432 16434 16077 0 -1 4202496 9707 927 1 0 34 8 0 0 19 0 2 0 947892445 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16434/statm: 73347 7214 1870 364 0 8234 0
[pid=16440] ppid=16434 vsize=283144 CPUtime=0 cores=0,2,4,6
/proc/16440/stat : 16440 (python) S 16434 16434 16077 0 -1 4202560 761 0 0 0 0 0 0 0 15 0 1 0 947892500 289939456 5692 33554432000 4194304 5683644 140735307158640 18446744073709551615 260020416015 0 0 16781312 33554946 2374172056242618368 0 0 17 4 0 0 0
/proc/16440/statm: 70786 5692 352 364 0 5673 0
[pid=16442] ppid=16440 vsize=41840 CPUtime=0.94 cores=0,2,4,6
/proc/16442/stat : 16442 (scip-2.0.1.linu) R 16440 16442 16442 0 -1 4202496 8864 0 0 0 92 2 0 0 18 0 1 0 947892500 42844160 8120 33554432000 4194304 13684479 140733367252688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16442/statm: 10460 8120 789 2317 0 8138 0
[pid=16434/tid=16441] ppid=16432 vsize=293388 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16441/stat : 16441 (python) S 16432 16434 16077 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 947892500 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 618372
[startup+3.10103 s]
/proc/loadavg: 2.28 0.99 0.38 3/376 16443
/proc/meminfo: memFree=27389956/32951124 swapFree=67056304/67111528
[pid=16434] ppid=16432 vsize=293388 CPUtime=0.42 cores=0,2,4,6
/proc/16434/stat : 16434 (python) S 16432 16434 16077 0 -1 4202496 9707 927 1 0 34 8 0 0 19 0 2 0 947892445 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16434/statm: 73347 7214 1870 364 0 8234 0
[pid=16440] ppid=16434 vsize=283144 CPUtime=0 cores=0,2,4,6
/proc/16440/stat : 16440 (python) S 16434 16434 16077 0 -1 4202560 771 0 0 0 0 0 0 0 15 0 1 0 947892500 289939456 5692 33554432000 4194304 5683644 140735307158640 18446744073709551615 260020416015 0 0 16781312 33554946 1195995400905949184 0 0 17 4 0 0 0
/proc/16440/statm: 70786 5692 352 364 0 5673 0
[pid=16442] ppid=16440 vsize=61624 CPUtime=2.54 cores=0,2,4,6
/proc/16442/stat : 16442 (scip-2.0.1.linu) R 16440 16442 16442 0 -1 4202496 13919 0 0 0 249 5 0 0 18 0 1 0 947892500 63102976 13142 33554432000 4194304 13684479 140733367252688 18446744073709551615 4939776 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16442/statm: 15406 13142 787 2317 0 13084 0
[pid=16434/tid=16441] ppid=16432 vsize=293388 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16441/stat : 16441 (python) S 16432 16434 16077 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 947892500 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 638156
[startup+6.30047 s]
/proc/loadavg: 2.42 1.04 0.40 3/376 16443
/proc/meminfo: memFree=27361648/32951124 swapFree=67056304/67111528
[pid=16434] ppid=16432 vsize=293388 CPUtime=0.42 cores=0,2,4,6
/proc/16434/stat : 16434 (python) S 16432 16434 16077 0 -1 4202496 9707 927 1 0 34 8 0 0 19 0 2 0 947892445 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16434/statm: 73347 7214 1870 364 0 8234 0
[pid=16440] ppid=16434 vsize=283144 CPUtime=0.01 cores=0,2,4,6
/proc/16440/stat : 16440 (python) S 16434 16434 16077 0 -1 4202560 903 0 0 0 1 0 0 0 15 0 1 0 947892500 289939456 5716 33554432000 4194304 5683644 140735307158640 18446744073709551615 260020416015 0 0 16781312 33554946 2035298827350573056 0 0 17 4 0 0 0
/proc/16440/statm: 70786 5716 376 364 0 5673 0
[pid=16442] ppid=16440 vsize=83916 CPUtime=5.74 cores=0,2,4,6
/proc/16442/stat : 16442 (scip-2.0.1.linu) R 16440 16442 16442 0 -1 4202496 19632 0 0 0 565 9 0 0 18 0 1 0 947892500 85929984 18758 33554432000 4194304 13684479 140733367252688 18446744073709551615 4939776 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16442/statm: 20979 18758 817 2317 0 18657 0
[pid=16434/tid=16441] ppid=16432 vsize=293388 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16441/stat : 16441 (python) S 16432 16434 16077 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 947892500 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 660448
[startup+12.7003 s]
/proc/loadavg: 2.38 1.06 0.40 3/376 16443
/proc/meminfo: memFree=27333952/32951124 swapFree=67056304/67111528
[pid=16434] ppid=16432 vsize=293388 CPUtime=0.42 cores=0,2,4,6
/proc/16434/stat : 16434 (python) S 16432 16434 16077 0 -1 4202496 9707 927 1 0 34 8 0 0 19 0 2 0 947892445 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16434/statm: 73347 7214 1870 364 0 8234 0
[pid=16440] ppid=16434 vsize=283144 CPUtime=0.05 cores=0,2,4,6
/proc/16440/stat : 16440 (python) S 16434 16434 16077 0 -1 4202560 918 0 0 0 3 2 0 0 15 0 1 0 947892500 289939456 5716 33554432000 4194304 5683644 140735307158640 18446744073709551615 260020416015 0 0 16781312 33554946 4294934786 0 0 17 4 0 0 0
/proc/16440/statm: 70786 5716 376 364 0 5673 0
[pid=16442] ppid=16440 vsize=95684 CPUtime=12.14 cores=0,2,4,6
/proc/16442/stat : 16442 (scip-2.0.1.linu) R 16440 16442 16442 0 -1 4202496 23412 0 0 0 1199 15 0 0 19 0 1 0 947892500 97980416 21722 33554432000 4194304 13684479 140733367252688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16442/statm: 23921 21722 805 2317 0 21599 0
[pid=16434/tid=16441] ppid=16432 vsize=293388 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16441/stat : 16441 (python) S 16432 16434 16077 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 947892500 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 672216
[startup+25.5009 s]
/proc/loadavg: 2.30 1.10 0.43 3/376 16443
/proc/meminfo: memFree=27334716/32951124 swapFree=67056304/67111528
[pid=16434] ppid=16432 vsize=293388 CPUtime=0.42 cores=0,2,4,6
/proc/16434/stat : 16434 (python) S 16432 16434 16077 0 -1 4202496 9707 927 1 0 34 8 0 0 19 0 2 0 947892445 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16434/statm: 73347 7214 1870 364 0 8234 0
[pid=16440] ppid=16434 vsize=283144 CPUtime=0.07 cores=0,2,4,6
/proc/16440/stat : 16440 (python) S 16434 16434 16077 0 -1 4202560 922 0 0 0 4 3 0 0 15 0 1 0 947892500 289939456 5716 33554432000 4194304 5683644 140735307158640 18446744073709551615 260020416015 0 0 16781312 33554946 72409437758827389 0 0 17 4 0 0 0
/proc/16440/statm: 70786 5716 376 364 0 5673 0
[pid=16442] ppid=16440 vsize=95684 CPUtime=24.94 cores=0,2,4,6
/proc/16442/stat : 16442 (scip-2.0.1.linu) R 16440 16442 16442 0 -1 4202496 23414 0 0 0 2466 28 0 0 25 0 1 0 947892500 97980416 21724 33554432000 4194304 13684479 140733367252688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16442/statm: 23921 21724 807 2317 0 21599 0
[pid=16434/tid=16441] ppid=16432 vsize=293388 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16441/stat : 16441 (python) S 16432 16434 16077 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 947892500 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 672216
Solver just ended. Dumping a history of the last processes samples
[startup+26.7007 s]
/proc/loadavg: 2.30 1.10 0.43 3/376 16443
/proc/meminfo: memFree=27334732/32951124 swapFree=67056304/67111528
[pid=16434] ppid=16432 vsize=293388 CPUtime=0.42 cores=0,2,4,6
/proc/16434/stat : 16434 (python) S 16432 16434 16077 0 -1 4202496 9707 927 1 0 34 8 0 0 19 0 2 0 947892445 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16434/statm: 73347 7214 1870 364 0 8234 0
[pid=16440] ppid=16434 vsize=283144 CPUtime=0.07 cores=0,2,4,6
/proc/16440/stat : 16440 (python) S 16434 16434 16077 0 -1 4202560 922 0 0 0 4 3 0 0 15 0 1 0 947892500 289939456 5716 33554432000 4194304 5683644 140735307158640 18446744073709551615 260020416015 0 0 16781312 33554946 72409437758827389 0 0 17 4 0 0 0
/proc/16440/statm: 70786 5716 376 364 0 5673 0
[pid=16442] ppid=16440 vsize=95684 CPUtime=26.14 cores=0,2,4,6
/proc/16442/stat : 16442 (scip-2.0.1.linu) R 16440 16442 16442 0 -1 4202496 23414 0 0 0 2585 29 0 0 25 0 1 0 947892500 97980416 21724 33554432000 4194304 13684479 140733367252688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16442/statm: 23921 21724 807 2317 0 21599 0
[pid=16434/tid=16441] ppid=16432 vsize=293388 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16441/stat : 16441 (python) S 16432 16434 16077 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 947892500 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 26.63
Current children cumulated vsize (KiB) 672216
[startup+39.5004 s]
/proc/loadavg: 2.25 1.13 0.45 3/376 16443
/proc/meminfo: memFree=27334740/32951124 swapFree=67056304/67111528
[pid=16434] ppid=16432 vsize=293388 CPUtime=0.42 cores=0,2,4,6
/proc/16434/stat : 16434 (python) S 16432 16434 16077 0 -1 4202496 9707 927 1 0 34 8 0 0 19 0 2 0 947892445 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16434/statm: 73347 7214 1870 364 0 8234 0
[pid=16440] ppid=16434 vsize=283144 CPUtime=0.11 cores=0,2,4,6
/proc/16440/stat : 16440 (python) S 16434 16434 16077 0 -1 4202560 927 0 0 0 6 5 0 0 15 0 1 0 947892500 289939456 5716 33554432000 4194304 5683644 140735307158640 18446744073709551615 260020416015 0 0 16781312 33554946 2915452666999996416 0 0 17 4 0 0 0
/proc/16440/statm: 70786 5716 376 364 0 5673 0
[pid=16442] ppid=16440 vsize=95684 CPUtime=38.94 cores=0,2,4,6
/proc/16442/stat : 16442 (scip-2.0.1.linu) R 16440 16442 16442 0 -1 4202496 23414 0 0 0 3851 43 0 0 25 0 1 0 947892500 97980416 21724 33554432000 4194304 13684479 140733367252688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16442/statm: 23921 21724 807 2317 0 21599 0
[pid=16434/tid=16441] ppid=16432 vsize=293388 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16441/stat : 16441 (python) S 16432 16434 16077 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 947892500 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39.47
Current children cumulated vsize (KiB) 672216
[startup+45.9012 s]
/proc/loadavg: 2.21 1.16 0.46 3/376 16479
/proc/meminfo: memFree=27315040/32951124 swapFree=67056304/67111528
[pid=16434] ppid=16432 vsize=293388 CPUtime=0.42 cores=0,2,4,6
/proc/16434/stat : 16434 (python) S 16432 16434 16077 0 -1 4202496 9707 927 1 0 34 8 0 0 19 0 2 0 947892445 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16434/statm: 73347 7214 1870 364 0 8234 0
[pid=16440] ppid=16434 vsize=283144 CPUtime=0.13 cores=0,2,4,6
/proc/16440/stat : 16440 (python) S 16434 16434 16077 0 -1 4202560 929 0 0 0 7 6 0 0 15 0 1 0 947892500 289939456 5716 33554432000 4194304 5683644 140735307158640 18446744073709551615 260020416015 0 0 16781312 33554946 888965940014743552 0 0 17 4 0 0 0
/proc/16440/statm: 70786 5716 376 364 0 5673 0
[pid=16442] ppid=16440 vsize=95684 CPUtime=45.35 cores=0,2,4,6
/proc/16442/stat : 16442 (scip-2.0.1.linu) R 16440 16442 16442 0 -1 4202496 23415 0 0 0 4485 50 0 0 20 0 1 0 947892500 97980416 21725 33554432000 4194304 13684479 140733367252688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16442/statm: 23921 21725 807 2317 0 21599 0
[pid=16434/tid=16441] ppid=16432 vsize=293388 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16441/stat : 16441 (python) S 16432 16434 16077 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 947892500 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 45.9
Current children cumulated vsize (KiB) 672216
[startup+49.1006 s]
/proc/loadavg: 2.21 1.16 0.46 3/376 16479
/proc/meminfo: memFree=27298560/32951124 swapFree=67056304/67111528
[pid=16434] ppid=16432 vsize=293388 CPUtime=0.42 cores=0,2,4,6
/proc/16434/stat : 16434 (python) S 16432 16434 16077 0 -1 4202496 9707 927 1 0 34 8 0 0 19 0 2 0 947892445 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16434/statm: 73347 7214 1870 364 0 8234 0
[pid=16440] ppid=16434 vsize=283144 CPUtime=0.13 cores=0,2,4,6
/proc/16440/stat : 16440 (python) S 16434 16434 16077 0 -1 4202560 931 0 0 0 7 6 0 0 15 0 1 0 947892500 289939456 5716 33554432000 4194304 5683644 140735307158640 18446744073709551615 260020416015 0 0 16781312 33554946 1791896669839687680 0 0 17 4 0 0 0
/proc/16440/statm: 70786 5716 376 364 0 5673 0
[pid=16442] ppid=16440 vsize=95684 CPUtime=48.54 cores=0,2,4,6
/proc/16442/stat : 16442 (scip-2.0.1.linu) R 16440 16442 16442 0 -1 4202496 23415 0 0 0 4801 53 0 0 25 0 1 0 947892500 97980416 21725 33554432000 4194304 13684479 140733367252688 18446744073709551615 7419498 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16442/statm: 23921 21725 807 2317 0 21599 0
[pid=16434/tid=16441] ppid=16432 vsize=293388 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16441/stat : 16441 (python) S 16432 16434 16077 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 947892500 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.09
Current children cumulated vsize (KiB) 672216
[startup+49.9005 s]
/proc/loadavg: 2.20 1.17 0.47 3/376 16479
/proc/meminfo: memFree=27298944/32951124 swapFree=67056304/67111528
[pid=16434] ppid=16432 vsize=293388 CPUtime=0.42 cores=0,2,4,6
/proc/16434/stat : 16434 (python) S 16432 16434 16077 0 -1 4202496 9707 927 1 0 34 8 0 0 19 0 2 0 947892445 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16434/statm: 73347 7214 1870 364 0 8234 0
[pid=16440] ppid=16434 vsize=283144 CPUtime=0.13 cores=0,2,4,6
/proc/16440/stat : 16440 (python) S 16434 16434 16077 0 -1 4202560 931 0 0 0 7 6 0 0 15 0 1 0 947892500 289939456 5716 33554432000 4194304 5683644 140735307158640 18446744073709551615 260020416015 0 0 16781312 33554946 1791896669839687680 0 0 17 4 0 0 0
/proc/16440/statm: 70786 5716 376 364 0 5673 0
[pid=16442] ppid=16440 vsize=95684 CPUtime=49.34 cores=0,2,4,6
/proc/16442/stat : 16442 (scip-2.0.1.linu) R 16440 16442 16442 0 -1 4202496 23415 0 0 0 4880 54 0 0 25 0 1 0 947892500 97980416 21725 33554432000 4194304 13684479 140733367252688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16442/statm: 23921 21725 807 2317 0 21599 0
[pid=16434/tid=16441] ppid=16432 vsize=293388 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16441/stat : 16441 (python) S 16432 16434 16077 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 947892500 300429312 7214 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.89
Current children cumulated vsize (KiB) 672216
[startup+50.7133 s]
/proc/loadavg: 2.20 1.17 0.47 5/398 16501
/proc/meminfo: memFree=27273536/32951124 swapFree=67056304/67111528
[pid=16434] ppid=16432 vsize=304152 CPUtime=0.45 cores=0,2,4,6
/proc/16434/stat : 16434 (python) S 16432 16434 16077 0 -1 4202496 10596 927 1 0 37 8 0 0 18 0 3 0 947892445 311451648 7335 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16434/statm: 76038 7335 1873 364 0 10922 0
[pid=16440] ppid=16434 vsize=293388 CPUtime=0.15 cores=0,2,4,6
/proc/16440/stat : 16440 (python) S 16434 16434 16077 0 -1 4202560 1145 0 0 0 8 7 0 0 16 0 2 0 947892500 300429312 5757 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/16440/statm: 73347 5757 412 364 0 8234 0
[pid=16442] ppid=16440 vsize=95684 CPUtime=49.69 cores=0,2,4,6
/proc/16442/stat : 16442 (scip-2.0.1.linu) T 16440 16442 16442 0 -1 4202496 23415 0 0 0 4914 55 0 0 25 0 1 0 947892500 97980416 21725 33554432000 4194304 13684479 140733367252688 18446744073709551615 7399129 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/16442/statm: 23921 21725 807 2317 0 21599 0
[pid=16440/tid=16480] ppid=16434 vsize=293388 CPUtime=0 cores=0,2,4,6
/proc/16440/task/16480/stat : 16480 (python) S 16434 16434 16077 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 947897470 300429312 5757 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032219569 0 0 16781312 33554946 18446604441910179712 0 0 -1 4 0 0 0
[pid=16481] ppid=16434 vsize=293908 CPUtime=0 cores=0,2,4,6
/proc/16481/stat : 16481 (python) S 16434 16434 16077 0 -1 4202560 842 0 0 0 0 0 0 0 17 0 1 0 947897473 300961792 5814 33554432000 4194304 5683644 140735307158640 18446744073709551615 260020416070 0 0 16781312 33554946 1314025835253956865 0 0 17 0 0 0 0
/proc/16481/statm: 73477 5814 356 364 0 8361 0
[pid=16483] ppid=16481 vsize=8537504 CPUtime=0.78 cores=0,2,4,6
/proc/16483/stat : 16483 (java) S 16481 16483 16483 0 -1 4202496 8919 0 1 0 76 2 0 0 20 0 19 0 947897473 8742404096 7684 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/16483/statm: 2134376 7684 2209 9 0 2125117 0
[pid=16483/tid=16484] ppid=16481 vsize=8537504 CPUtime=0.41 cores=0,2,4,6
/proc/16483/task/16484/stat : 16484 (java) R 16481 16483 16483 0 -1 4202560 4563 0 1 0 40 1 0 0 19 0 19 0 947897474 8742404096 7684 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 46912505216229 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16483/tid=16485] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16485/stat : 16485 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947897475 8742404096 7684 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 6 0 0 0
[pid=16483/tid=16486] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16486/stat : 16486 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947897475 8742404096 7684 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 6 0 0 0
[pid=16483/tid=16487] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16487/stat : 16487 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947897475 8742404096 7684 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 6 0 0 0
[pid=16483/tid=16488] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16488/stat : 16488 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947897475 8742404096 7684 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 0 0 0 0
[pid=16483/tid=16489] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16489/stat : 16489 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947897475 8742404096 7684 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 0 0 0 0
[pid=16483/tid=16490] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16490/stat : 16490 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947897475 8742404096 7684 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 0 0 0 0
[pid=16483/tid=16491] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16491/stat : 16491 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947897475 8742404096 7684 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 0 0 0 0
[pid=16483/tid=16492] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16492/stat : 16492 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947897475 8742404096 7684 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 0 0 0 0
[pid=16483/tid=16493] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16493/stat : 16493 (java) S 16481 16483 16483 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947897476 8742404096 7684 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032212480 0 0 0 16800975 18446604453495843520 0 0 -1 6 0 0 0
[pid=16483/tid=16494] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16494/stat : 16494 (java) S 16481 16483 16483 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947897476 8742404096 7684 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 6 0 0 0
[pid=16483/tid=16495] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16495/stat : 16495 (java) S 16481 16483 16483 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947897476 8742404096 7684 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 6 0 0 0
[pid=16483/tid=16496] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16496/stat : 16496 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947897478 8742404096 7684 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032219569 0 4 0 16800975 18446604453495843520 0 0 -1 6 0 0 0
[pid=16483/tid=16497] ppid=16481 vsize=8537504 CPUtime=0.15 cores=0,2,4,6
/proc/16483/task/16497/stat : 16497 (java) R 16481 16483 16483 0 -1 4202560 1383 0 0 0 15 0 0 0 16 0 19 0 947897478 8742404096 7684 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 47175929396610 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16483/tid=16498] ppid=16481 vsize=8537504 CPUtime=0.2 cores=0,2,4,6
/proc/16483/task/16498/stat : 16498 (java) S 16481 16483 16483 0 -1 4202560 1572 0 0 0 20 0 0 0 17 0 19 0 947897478 8742404096 7684 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 0 0 0 0
[pid=16483/tid=16499] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16499/stat : 16499 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947897478 8742404096 7684 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 6 0 0 0
[pid=16483/tid=16500] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16500/stat : 16500 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947897478 8742404096 7684 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032212480 0 4 0 16800975 18446604453495843520 0 0 -1 0 0 0 0
[pid=16483/tid=16501] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16501/stat : 16501 (java) S 16481 16483 16483 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947897499 8742404096 7684 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032212480 0 4 0 16800975 18446604453495843520 0 0 -1 0 0 0 0
[pid=16434/tid=16441] ppid=16432 vsize=304152 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16441/stat : 16441 (python) S 16432 16434 16077 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 3 0 947892500 311451648 7335 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 0 0 0 0
[pid=16434/tid=16482] ppid=16432 vsize=304152 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16482/stat : 16482 (python) S 16432 16434 16077 0 -1 4202560 21 927 0 0 0 0 0 0 20 0 3 0 947897473 311451648 7335 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9524636
[startup+50.9013 s]
/proc/loadavg: 2.20 1.17 0.47 5/398 16501
/proc/meminfo: memFree=27273536/32951124 swapFree=67056304/67111528
[pid=16434] ppid=16432 vsize=304152 CPUtime=0.45 cores=0,2,4,6
/proc/16434/stat : 16434 (python) S 16432 16434 16077 0 -1 4202496 10596 927 1 0 37 8 0 0 18 0 3 0 947892445 311451648 7335 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16434/statm: 76038 7335 1873 364 0 10922 0
[pid=16440] ppid=16434 vsize=293388 CPUtime=0.15 cores=0,2,4,6
/proc/16440/stat : 16440 (python) S 16434 16434 16077 0 -1 4202560 1145 0 0 0 8 7 0 0 16 0 2 0 947892500 300429312 5757 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/16440/statm: 73347 5757 412 364 0 8234 0
[pid=16442] ppid=16440 vsize=95684 CPUtime=49.69 cores=0,2,4,6
/proc/16442/stat : 16442 (scip-2.0.1.linu) T 16440 16442 16442 0 -1 4202496 23415 0 0 0 4914 55 0 0 25 0 1 0 947892500 97980416 21725 33554432000 4194304 13684479 140733367252688 18446744073709551615 7399129 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/16442/statm: 23921 21725 807 2317 0 21599 0
[pid=16440/tid=16480] ppid=16434 vsize=293388 CPUtime=0 cores=0,2,4,6
/proc/16440/task/16480/stat : 16480 (python) S 16434 16434 16077 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 947897470 300429312 5757 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032219569 0 0 16781312 33554946 18446604441910179712 0 0 -1 4 0 0 0
[pid=16481] ppid=16434 vsize=293908 CPUtime=0 cores=0,2,4,6
/proc/16481/stat : 16481 (python) S 16434 16434 16077 0 -1 4202560 842 0 0 0 0 0 0 0 15 0 1 0 947897473 300961792 5814 33554432000 4194304 5683644 140735307158640 18446744073709551615 260020416070 0 0 16781312 33554946 3907357518422081536 0 0 17 0 0 0 0
/proc/16481/statm: 73477 5814 356 364 0 8361 0
[pid=16483] ppid=16481 vsize=8537504 CPUtime=1.01 cores=0,2,4,6
/proc/16483/stat : 16483 (java) S 16481 16483 16483 0 -1 4202496 9262 0 1 0 99 2 0 0 20 0 19 0 947897473 8742404096 7951 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/16483/statm: 2134376 7951 2210 9 0 2125117 0
[pid=16483/tid=16484] ppid=16481 vsize=8537504 CPUtime=0.6 cores=0,2,4,6
/proc/16483/task/16484/stat : 16484 (java) R 16481 16483 16483 0 -1 4202560 4825 0 1 0 59 1 0 0 19 0 19 0 947897474 8742404096 7951 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 46912505200748 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16483/tid=16485] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16485/stat : 16485 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947897475 8742404096 7951 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 6 0 0 0
[pid=16483/tid=16486] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16486/stat : 16486 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947897475 8742404096 7951 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 6 0 0 0
[pid=16483/tid=16487] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16487/stat : 16487 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947897475 8742404096 7951 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 6 0 0 0
[pid=16483/tid=16488] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16488/stat : 16488 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947897475 8742404096 7951 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 0 0 0 0
[pid=16483/tid=16489] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16489/stat : 16489 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947897475 8742404096 7951 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 0 0 0 0
[pid=16483/tid=16490] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16490/stat : 16490 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947897475 8742404096 7951 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 0 0 0 0
[pid=16483/tid=16491] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16491/stat : 16491 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947897475 8742404096 7951 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 0 0 0 0
[pid=16483/tid=16492] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16492/stat : 16492 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947897475 8742404096 7951 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 0 0 0 0
[pid=16483/tid=16493] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16493/stat : 16493 (java) S 16481 16483 16483 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947897476 8742404096 7951 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032212480 0 0 0 16800975 18446604453495843520 0 0 -1 6 0 0 0
[pid=16483/tid=16494] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16494/stat : 16494 (java) S 16481 16483 16483 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947897476 8742404096 7951 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 6 0 0 0
[pid=16483/tid=16495] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16495/stat : 16495 (java) S 16481 16483 16483 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947897476 8742404096 7951 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 6 0 0 0
[pid=16483/tid=16496] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16496/stat : 16496 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947897478 8742404096 7951 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032219569 0 4 0 16800975 18446604453495843520 0 0 -1 6 0 0 0
[pid=16483/tid=16497] ppid=16481 vsize=8537504 CPUtime=0.18 cores=0,2,4,6
/proc/16483/task/16497/stat : 16497 (java) S 16481 16483 16483 0 -1 4202560 1463 0 0 0 18 0 0 0 15 0 19 0 947897478 8742404096 7951 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 6 0 0 0
[pid=16483/tid=16498] ppid=16481 vsize=8537504 CPUtime=0.21 cores=0,2,4,6
/proc/16483/task/16498/stat : 16498 (java) S 16481 16483 16483 0 -1 4202560 1573 0 0 0 21 0 0 0 17 0 19 0 947897478 8742404096 7951 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 0 0 0 0
[pid=16483/tid=16499] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16499/stat : 16499 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947897478 8742404096 7951 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032211865 0 4 0 16800975 18446604453495843520 0 0 -1 6 0 0 0
[pid=16483/tid=16500] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16500/stat : 16500 (java) S 16481 16483 16483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947897478 8742404096 7951 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032212480 0 4 0 16800975 18446604453495843520 0 0 -1 0 0 0 0
[pid=16483/tid=16501] ppid=16481 vsize=8537504 CPUtime=0 cores=0,2,4,6
/proc/16483/task/16501/stat : 16501 (java) S 16481 16483 16483 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947897499 8742404096 7951 33554432000 1073741824 1073778376 140737010715264 18446744073709551615 260032212480 0 4 0 16800975 18446604453495843520 0 0 -1 0 0 0 0
[pid=16434/tid=16441] ppid=16432 vsize=304152 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16441/stat : 16441 (python) S 16432 16434 16077 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 3 0 947892500 311451648 7335 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 0 0 0 0
[pid=16434/tid=16482] ppid=16432 vsize=304152 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16482/stat : 16482 (python) S 16432 16434 16077 0 -1 4202560 21 927 0 0 0 0 0 0 20 0 3 0 947897473 311451648 7335 33554432000 4194304 5683644 140735307158640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.3
Current children cumulated vsize (KiB) 9524636
[startup+51.0013 s]
/proc/loadavg: 2.20 1.17 0.47 5/398 16501
/proc/meminfo: memFree=27273536/32951124 swapFree=67056304/67111528
[pid=16434] ppid=16432 vsize=304116 CPUtime=51.45 cores=0,2,4,6
/proc/16434/stat : 16434 (python) R 16432 16434 16077 0 -1 4202496 14718 36495 1 1 39 9 5030 67 17 0 1 0 947892445 311414784 7332 33554432000 4194304 5683644 140735307158640 18446744073709551615 260020052048 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/16434/statm: 76029 7332 1870 364 0 10922 0
Current children cumulated CPU time (s) 51.45
Current children cumulated vsize (KiB) 304116
Child status: 0
Real time (s): 51.006
CPU time (s): 51.4642
CPU user time (s): 50.6963
CPU system time (s): 0.767883
CPU usage (%): 100.898
Max. virtual memory (cumulated for all children) (KiB): 9524636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.6963
system time used= 0.767883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51515
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1522
involuntary context switches= 143
runsolver used 0.19197 second user time and 0.338948 second system time
The end