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-3482016-1307576694/watcher-3482016-1307576694 -o /tmp/evaluation-result-3482016-1307576694/solver-3482016-1307576694 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482016-1307576694.opb -seed 784734656 -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: 1.89 1.33 0.58 2/564 21907
/proc/meminfo: memFree=29891668/32950928 swapFree=50514916/67111528
[pid=21907] ppid=21905 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/21907/stat : 21907 (python) R 21905 21907 21667 0 -1 4202496 1042 0 0 0 0 0 0 0 20 0 1 0 947900283 16633856 913 33554432000 4194304 5683644 140735156722080 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21907/statm: 4061 913 380 364 0 548 0
[startup+0.0869949 s]
/proc/loadavg: 1.89 1.33 0.58 2/564 21907
/proc/meminfo: memFree=29891668/32950928 swapFree=50514916/67111528
[pid=21907] ppid=21905 vsize=87832 CPUtime=0.07 cores=1,3,5,7
/proc/21907/stat : 21907 (python) S 21905 21907 21667 0 -1 4202496 2692 0 0 0 5 2 0 0 17 0 1 0 947900283 89939968 2407 33554432000 4194304 5683644 140735156722080 18446744073709551615 256415389696 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/21907/statm: 21958 2407 735 364 0 1623 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 87832
[startup+0.118431 s]
/proc/loadavg: 1.89 1.33 0.58 2/564 21907
/proc/meminfo: memFree=29891668/32950928 swapFree=50514916/67111528
[pid=21907] ppid=21905 vsize=96128 CPUtime=0.09 cores=1,3,5,7
/proc/21907/stat : 21907 (python) S 21905 21907 21667 0 -1 4202496 3246 929 1 0 7 2 0 0 18 0 1 0 947900283 98435072 2483 33554432000 4194304 5683644 140735156722080 18446744073709551615 256415389696 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/21907/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 96128
[startup+0.300741 s]
/proc/loadavg: 1.89 1.33 0.58 2/564 21907
/proc/meminfo: memFree=29891668/32950928 swapFree=50514916/67111528
[pid=21907] ppid=21905 vsize=184600 CPUtime=0.22 cores=1,3,5,7
/proc/21907/stat : 21907 (python) S 21905 21907 21667 0 -1 4202496 6344 929 1 0 16 6 0 0 17 0 1 0 947900283 189030400 4646 33554432000 4194304 5683644 140735156722080 18446744073709551615 256415389696 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/21907/statm: 46150 4646 1251 364 0 3656 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184600
[startup+0.700633 s]
/proc/loadavg: 1.89 1.33 0.58 2/564 21907
/proc/meminfo: memFree=29891668/32950928 swapFree=50514916/67111528
[pid=21907] ppid=21905 vsize=293416 CPUtime=0.43 cores=1,3,5,7
/proc/21907/stat : 21907 (python) S 21905 21907 21667 0 -1 4202496 9716 929 1 0 33 10 0 0 19 0 2 0 947900283 300457984 7219 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/21907/statm: 73354 7219 1870 364 0 8241 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 293416
[startup+1.50055 s]
/proc/loadavg: 1.89 1.33 0.58 3/568 21915
/proc/meminfo: memFree=29843960/32950928 swapFree=50514916/67111528
[pid=21907] ppid=21905 vsize=293416 CPUtime=0.43 cores=1,3,5,7
/proc/21907/stat : 21907 (python) S 21905 21907 21667 0 -1 4202496 9716 929 1 0 33 10 0 0 19 0 2 0 947900283 300457984 7219 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/21907/statm: 73354 7219 1870 364 0 8241 0
[pid=21913] ppid=21907 vsize=283172 CPUtime=0 cores=1,3,5,7
/proc/21913/stat : 21913 (python) S 21907 21907 21667 0 -1 4202560 859 0 0 0 0 0 0 0 15 0 1 0 947900338 289968128 5703 33554432000 4194304 5683644 140735156722080 18446744073709551615 256415411727 0 0 16781312 33554946 253497705773400064 0 0 17 5 0 0 0
/proc/21913/statm: 70793 5703 358 364 0 5680 0
[pid=21915] ppid=21913 vsize=42620 CPUtime=0.94 cores=1,3,5,7
/proc/21915/stat : 21915 (scip-2.0.1.linu) R 21913 21915 21915 0 -1 4202496 9108 0 0 0 87 7 0 0 19 0 1 0 947900338 43642880 8389 33554432000 4194304 13684479 140735027588336 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21915/statm: 10655 8389 816 2317 0 8333 0
[pid=21907/tid=21914] ppid=21905 vsize=293416 CPUtime=0 cores=1,3,5,7
/proc/21907/task/21914/stat : 21914 (python) S 21905 21907 21667 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 947900338 300457984 7219 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427215281 0 0 16781312 33554434 18446604460577771712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 619208
[startup+3.10124 s]
/proc/loadavg: 1.90 1.34 0.59 3/568 21915
/proc/meminfo: memFree=29821400/32950928 swapFree=50514916/67111528
[pid=21907] ppid=21905 vsize=293416 CPUtime=0.43 cores=1,3,5,7
/proc/21907/stat : 21907 (python) S 21905 21907 21667 0 -1 4202496 9716 929 1 0 33 10 0 0 19 0 2 0 947900283 300457984 7219 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/21907/statm: 73354 7219 1870 364 0 8241 0
[pid=21913] ppid=21907 vsize=283172 CPUtime=0.01 cores=1,3,5,7
/proc/21913/stat : 21913 (python) S 21907 21907 21667 0 -1 4202560 867 0 0 0 1 0 0 0 15 0 1 0 947900338 289968128 5703 33554432000 4194304 5683644 140735156722080 18446744073709551615 256415411727 0 0 16781312 33554946 3030990203545190400 0 0 17 5 0 0 0
/proc/21913/statm: 70793 5703 358 364 0 5680 0
[pid=21915] ppid=21913 vsize=74144 CPUtime=2.53 cores=1,3,5,7
/proc/21915/stat : 21915 (scip-2.0.1.linu) R 21913 21915 21915 0 -1 4202496 17034 0 0 0 241 12 0 0 22 0 1 0 947900338 75923456 16211 33554432000 4194304 13684479 140735027588336 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21915/statm: 18536 16211 806 2317 0 16214 0
[pid=21907/tid=21914] ppid=21905 vsize=293416 CPUtime=0 cores=1,3,5,7
/proc/21907/task/21914/stat : 21914 (python) S 21905 21907 21667 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 947900338 300457984 7219 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427215281 0 0 16781312 33554434 18446604460577771712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 650732
[startup+6.30063 s]
/proc/loadavg: 1.90 1.35 0.60 3/568 21915
/proc/meminfo: memFree=29788268/32950928 swapFree=50514916/67111528
[pid=21907] ppid=21905 vsize=293416 CPUtime=0.43 cores=1,3,5,7
/proc/21907/stat : 21907 (python) S 21905 21907 21667 0 -1 4202496 9716 929 1 0 33 10 0 0 19 0 2 0 947900283 300457984 7219 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/21907/statm: 73354 7219 1870 364 0 8241 0
[pid=21913] ppid=21907 vsize=283172 CPUtime=0.03 cores=1,3,5,7
/proc/21913/stat : 21913 (python) S 21907 21907 21667 0 -1 4202560 1011 0 0 0 2 1 0 0 15 0 1 0 947900338 289968128 5730 33554432000 4194304 5683644 140735156722080 18446744073709551615 256415411727 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/21913/statm: 70793 5730 381 364 0 5680 0
[pid=21915] ppid=21913 vsize=90248 CPUtime=5.72 cores=1,3,5,7
/proc/21915/stat : 21915 (scip-2.0.1.linu) R 21913 21915 21915 0 -1 4202496 21060 0 0 0 550 22 0 0 25 0 1 0 947900338 92413952 20195 33554432000 4194304 13684479 140735027588336 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21915/statm: 22562 20195 868 2317 0 20240 0
[pid=21907/tid=21914] ppid=21905 vsize=293416 CPUtime=0 cores=1,3,5,7
/proc/21907/task/21914/stat : 21914 (python) S 21905 21907 21667 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 947900338 300457984 7219 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427215281 0 0 16781312 33554434 18446604460577771712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 666836
[startup+12.7004 s]
/proc/loadavg: 1.91 1.36 0.60 3/568 21915
/proc/meminfo: memFree=29772412/32950928 swapFree=50514916/67111528
[pid=21907] ppid=21905 vsize=293416 CPUtime=0.43 cores=1,3,5,7
/proc/21907/stat : 21907 (python) S 21905 21907 21667 0 -1 4202496 9716 929 1 0 33 10 0 0 19 0 2 0 947900283 300457984 7219 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/21907/statm: 73354 7219 1870 364 0 8241 0
[pid=21913] ppid=21907 vsize=283304 CPUtime=0.08 cores=1,3,5,7
/proc/21913/stat : 21913 (python) S 21907 21907 21667 0 -1 4202560 1023 0 0 0 6 2 0 0 15 0 1 0 947900338 290103296 5738 33554432000 4194304 5683644 140735156722080 18446744073709551615 256415411727 0 0 16781312 33554946 1697534936971476992 0 0 17 5 0 0 0
/proc/21913/statm: 70826 5738 383 364 0 5713 0
[pid=21915] ppid=21913 vsize=104752 CPUtime=12.09 cores=1,3,5,7
/proc/21915/stat : 21915 (scip-2.0.1.linu) R 21913 21915 21915 0 -1 4202496 24997 0 0 0 1161 48 0 0 25 0 1 0 947900338 107266048 23909 33554432000 4194304 13684479 140735027588336 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21915/statm: 26188 23909 822 2317 0 23866 0
[pid=21907/tid=21914] ppid=21905 vsize=293416 CPUtime=0 cores=1,3,5,7
/proc/21907/task/21914/stat : 21914 (python) S 21905 21907 21667 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 947900338 300457984 7219 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427215281 0 0 16781312 33554434 18446604460577771712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 681472
[startup+25.501 s]
/proc/loadavg: 1.92 1.38 0.62 3/568 22009
/proc/meminfo: memFree=29789352/32950928 swapFree=50514916/67111528
[pid=21907] ppid=21905 vsize=293416 CPUtime=0.43 cores=1,3,5,7
/proc/21907/stat : 21907 (python) S 21905 21907 21667 0 -1 4202496 9716 929 1 0 33 10 0 0 19 0 2 0 947900283 300457984 7219 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/21907/statm: 73354 7219 1870 364 0 8241 0
[pid=21913] ppid=21907 vsize=283304 CPUtime=0.14 cores=1,3,5,7
/proc/21913/stat : 21913 (python) S 21907 21907 21667 0 -1 4202560 1028 0 0 0 8 6 0 0 15 0 1 0 947900338 290103296 5738 33554432000 4194304 5683644 140735156722080 18446744073709551615 256415411727 0 0 16781312 33554946 5623606151888251692 0 0 17 5 0 0 0
/proc/21913/statm: 70826 5738 383 364 0 5713 0
[pid=21915] ppid=21913 vsize=104752 CPUtime=24.87 cores=1,3,5,7
/proc/21915/stat : 21915 (scip-2.0.1.linu) R 21913 21915 21915 0 -1 4202496 25003 0 0 0 2392 95 0 0 25 0 1 0 947900338 107266048 23915 33554432000 4194304 13684479 140735027588336 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21915/statm: 26188 23915 824 2317 0 23866 0
[pid=21907/tid=21914] ppid=21905 vsize=293416 CPUtime=0 cores=1,3,5,7
/proc/21907/task/21914/stat : 21914 (python) S 21905 21907 21667 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 947900338 300457984 7219 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427215281 0 0 16781312 33554434 18446604460577771712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 681472
Solver just ended. Dumping a history of the last processes samples
[startup+26.4008 s]
/proc/loadavg: 1.92 1.38 0.62 3/568 22011
/proc/meminfo: memFree=29756616/32950928 swapFree=50514916/67111528
[pid=21907] ppid=21905 vsize=293416 CPUtime=0.43 cores=1,3,5,7
/proc/21907/stat : 21907 (python) S 21905 21907 21667 0 -1 4202496 9716 929 1 0 33 10 0 0 19 0 2 0 947900283 300457984 7219 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/21907/statm: 73354 7219 1870 364 0 8241 0
[pid=21913] ppid=21907 vsize=283304 CPUtime=0.15 cores=1,3,5,7
/proc/21913/stat : 21913 (python) S 21907 21907 21667 0 -1 4202560 1028 0 0 0 9 6 0 0 15 0 1 0 947900338 290103296 5738 33554432000 4194304 5683644 140735156722080 18446744073709551615 256415411727 0 0 16781312 33554946 1509167605628272640 0 0 17 5 0 0 0
/proc/21913/statm: 70826 5738 383 364 0 5713 0
[pid=21915] ppid=21913 vsize=104752 CPUtime=25.77 cores=1,3,5,7
/proc/21915/stat : 21915 (scip-2.0.1.linu) R 21913 21915 21915 0 -1 4202496 25003 0 0 0 2477 100 0 0 25 0 1 0 947900338 107266048 23915 33554432000 4194304 13684479 140735027588336 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21915/statm: 26188 23915 824 2317 0 23866 0
[pid=21907/tid=21914] ppid=21905 vsize=293416 CPUtime=0 cores=1,3,5,7
/proc/21907/task/21914/stat : 21914 (python) S 21905 21907 21667 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 947900338 300457984 7219 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427215281 0 0 16781312 33554434 18446604460577771712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 26.35
Current children cumulated vsize (KiB) 681472
[startup+39.2004 s]
/proc/loadavg: 1.94 1.41 0.64 3/561 22040
/proc/meminfo: memFree=29899332/32950928 swapFree=50514916/67111528
[pid=21907] ppid=21905 vsize=293416 CPUtime=0.43 cores=1,3,5,7
/proc/21907/stat : 21907 (python) S 21905 21907 21667 0 -1 4202496 9716 929 1 0 33 10 0 0 19 0 2 0 947900283 300457984 7219 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/21907/statm: 73354 7219 1870 364 0 8241 0
[pid=21913] ppid=21907 vsize=283304 CPUtime=0.21 cores=1,3,5,7
/proc/21913/stat : 21913 (python) S 21907 21907 21667 0 -1 4202560 1034 0 0 0 12 9 0 0 15 0 1 0 947900338 290103296 5738 33554432000 4194304 5683644 140735156722080 18446744073709551615 256415411727 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/21913/statm: 70826 5738 383 364 0 5713 0
[pid=21915] ppid=21913 vsize=104752 CPUtime=38.54 cores=1,3,5,7
/proc/21915/stat : 21915 (scip-2.0.1.linu) R 21913 21915 21915 0 -1 4202496 25003 0 0 0 3688 166 0 0 25 0 1 0 947900338 107266048 23915 33554432000 4194304 13684479 140735027588336 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21915/statm: 26188 23915 824 2317 0 23866 0
[pid=21907/tid=21914] ppid=21905 vsize=293416 CPUtime=0 cores=1,3,5,7
/proc/21907/task/21914/stat : 21914 (python) S 21905 21907 21667 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 947900338 300457984 7219 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427215281 0 0 16781312 33554434 18446604460577771712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 39.18
Current children cumulated vsize (KiB) 681472
[startup+45.6011 s]
/proc/loadavg: 1.94 1.42 0.65 3/565 22094
/proc/meminfo: memFree=29817040/32950928 swapFree=50514916/67111528
[pid=21907] ppid=21905 vsize=293416 CPUtime=0.43 cores=1,3,5,7
/proc/21907/stat : 21907 (python) S 21905 21907 21667 0 -1 4202496 9716 929 1 0 33 10 0 0 19 0 2 0 947900283 300457984 7219 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/21907/statm: 73354 7219 1870 364 0 8241 0
[pid=21913] ppid=21907 vsize=283304 CPUtime=0.26 cores=1,3,5,7
/proc/21913/stat : 21913 (python) S 21907 21907 21667 0 -1 4202560 1038 0 0 0 15 11 0 0 15 0 1 0 947900338 290103296 5738 33554432000 4194304 5683644 140735156722080 18446744073709551615 256415411727 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/21913/statm: 70826 5738 383 364 0 5713 0
[pid=21915] ppid=21913 vsize=104752 CPUtime=44.94 cores=1,3,5,7
/proc/21915/stat : 21915 (scip-2.0.1.linu) R 21913 21915 21915 0 -1 4202496 25030 0 0 0 4296 198 0 0 25 0 1 0 947900338 107266048 23942 33554432000 4194304 13684479 140735027588336 18446744073709551615 7361380 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/21915/statm: 26188 23942 824 2317 0 23866 0
[pid=21907/tid=21914] ppid=21905 vsize=293416 CPUtime=0 cores=1,3,5,7
/proc/21907/task/21914/stat : 21914 (python) S 21905 21907 21667 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 947900338 300457984 7219 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427215281 0 0 16781312 33554434 18446604460577771712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 45.63
################
# More data... #
################
/proc/22100/statm: 73484 5814 349 364 0 8368 0
[pid=22102] ppid=22100 vsize=8537252 CPUtime=1.13 cores=1,3,5,7
/proc/22102/stat : 22102 (java) S 22100 22102 22102 0 -1 4202496 9651 0 1 0 111 2 0 0 20 0 19 0 947905246 8742146048 8269 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22102/statm: 2134313 8269 2210 9 0 2125054 0
[pid=22102/tid=22103] ppid=22100 vsize=8537252 CPUtime=0.76 cores=1,3,5,7
/proc/22102/task/22103/stat : 22103 (java) R 22100 22102 22102 0 -1 4202560 4921 0 1 0 76 0 0 0 25 0 19 0 947905247 8742146048 8269 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 46912505636634 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22102/tid=22104] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22104/stat : 22104 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947905248 8742146048 8269 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22106] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22106/stat : 22106 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947905248 8742146048 8269 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22107] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22107/stat : 22107 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947905248 8742146048 8269 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22108] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22108/stat : 22108 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947905248 8742146048 8269 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22109] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22109/stat : 22109 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947905248 8742146048 8269 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22110] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22110/stat : 22110 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947905248 8742146048 8269 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22111] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22111/stat : 22111 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947905248 8742146048 8269 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22112] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22112/stat : 22112 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947905248 8742146048 8269 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22113] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22113/stat : 22113 (java) S 22100 22102 22102 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 947905249 8742146048 8269 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427208192 0 0 0 16800975 18446604456431578176 0 0 -1 3 0 0 0
[pid=22102/tid=22114] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22114/stat : 22114 (java) S 22100 22102 22102 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 947905249 8742146048 8269 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 3 0 0 0
[pid=22102/tid=22115] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22115/stat : 22115 (java) S 22100 22102 22102 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 947905249 8742146048 8269 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 5 0 0 0
[pid=22102/tid=22116] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22116/stat : 22116 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947905251 8742146048 8269 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427215281 0 4 0 16800975 18446604456431578176 0 0 -1 3 0 0 0
[pid=22102/tid=22117] ppid=22100 vsize=8537252 CPUtime=0.18 cores=1,3,5,7
/proc/22102/task/22117/stat : 22117 (java) S 22100 22102 22102 0 -1 4202560 1551 0 0 0 18 0 0 0 15 0 19 0 947905251 8742146048 8269 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 3 0 0 0
[pid=22102/tid=22118] ppid=22100 vsize=8537252 CPUtime=0.16 cores=1,3,5,7
/proc/22102/task/22118/stat : 22118 (java) S 22100 22102 22102 0 -1 4202560 1778 0 0 0 16 0 0 0 15 0 19 0 947905251 8742146048 8269 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 5 0 0 0
[pid=22102/tid=22119] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22119/stat : 22119 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947905251 8742146048 8269 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 3 0 0 0
[pid=22102/tid=22120] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22120/stat : 22120 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947905251 8742146048 8269 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427208192 0 4 0 16800975 18446604456431578176 0 0 -1 5 0 0 0
[pid=22102/tid=22121] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22121/stat : 22121 (java) S 22100 22102 22102 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947905272 8742146048 8269 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427208192 0 4 0 16800975 18446604456431578176 0 0 -1 5 0 0 0
[pid=21907/tid=21914] ppid=21905 vsize=304180 CPUtime=0 cores=1,3,5,7
/proc/21907/task/21914/stat : 21914 (python) S 21905 21907 21667 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 3 0 947900338 311480320 7342 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427215281 0 0 16781312 33554434 18446604460577771712 0 0 -1 7 0 0 0
[pid=21907/tid=22101] ppid=21905 vsize=304180 CPUtime=0 cores=1,3,5,7
/proc/21907/task/22101/stat : 22101 (python) S 21905 21907 21667 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 3 0 947905246 311480320 7342 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427215281 0 0 16781312 33554434 18446604460577771712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 9533668
[startup+50.6012 s]
/proc/loadavg: 1.95 1.43 0.65 3/590 22121
/proc/meminfo: memFree=29726388/32950928 swapFree=50514916/67111528
[pid=21907] ppid=21905 vsize=304180 CPUtime=0.46 cores=1,3,5,7
/proc/21907/stat : 21907 (python) S 21905 21907 21667 0 -1 4202496 10591 929 1 0 36 10 0 0 20 0 3 0 947900283 311480320 7342 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/21907/statm: 76045 7342 1873 364 0 10929 0
[pid=21913] ppid=21907 vsize=293548 CPUtime=0.29 cores=1,3,5,7
/proc/21913/stat : 21913 (python) S 21907 21907 21667 0 -1 4202560 1173 0 0 0 16 13 0 0 16 0 2 0 947900338 300593152 5773 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/21913/statm: 73387 5773 413 364 0 8274 0
[pid=21915] ppid=21913 vsize=104752 CPUtime=48.93 cores=1,3,5,7
/proc/21915/stat : 21915 (scip-2.0.1.linu) T 21913 21915 21915 0 -1 4202496 25036 0 0 0 4675 218 0 0 25 0 1 0 947900338 107266048 23948 33554432000 4194304 13684479 140735027588336 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/21915/statm: 26188 23948 824 2317 0 23866 0
[pid=21913/tid=22099] ppid=21907 vsize=293548 CPUtime=0 cores=1,3,5,7
/proc/21913/task/22099/stat : 22099 (python) S 21907 21907 21667 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 947905244 300593152 5773 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427215281 0 0 16781312 33554946 18446604465033986176 0 0 -1 5 0 0 0
[pid=22100] ppid=21907 vsize=293936 CPUtime=0 cores=1,3,5,7
/proc/22100/stat : 22100 (python) S 21907 21907 21667 0 -1 4202560 796 0 0 0 0 0 0 0 16 0 1 0 947905246 300990464 5814 33554432000 4194304 5683644 140735156722080 18446744073709551615 256415411782 0 0 16781312 33554946 18150974797297713412 0 0 17 5 0 0 0
/proc/22100/statm: 73484 5814 349 364 0 8368 0
[pid=22102] ppid=22100 vsize=8537252 CPUtime=1.32 cores=1,3,5,7
/proc/22102/stat : 22102 (java) S 22100 22102 22102 0 -1 4202496 9693 0 1 0 130 2 0 0 20 0 19 0 947905246 8742146048 8311 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22102/statm: 2134313 8311 2210 9 0 2125054 0
[pid=22102/tid=22103] ppid=22100 vsize=8537252 CPUtime=0.94 cores=1,3,5,7
/proc/22102/task/22103/stat : 22103 (java) R 22100 22102 22102 0 -1 4202560 4963 0 1 0 94 0 0 0 25 0 19 0 947905247 8742146048 8311 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 46912505603557 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22102/tid=22104] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22104/stat : 22104 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947905248 8742146048 8311 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22106] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22106/stat : 22106 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947905248 8742146048 8311 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22107] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22107/stat : 22107 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947905248 8742146048 8311 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22108] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22108/stat : 22108 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947905248 8742146048 8311 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22109] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22109/stat : 22109 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947905248 8742146048 8311 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22110] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22110/stat : 22110 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947905248 8742146048 8311 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22111] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22111/stat : 22111 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947905248 8742146048 8311 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22112] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22112/stat : 22112 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947905248 8742146048 8311 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22113] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22113/stat : 22113 (java) S 22100 22102 22102 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 947905249 8742146048 8311 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427208192 0 0 0 16800975 18446604456431578176 0 0 -1 3 0 0 0
[pid=22102/tid=22114] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22114/stat : 22114 (java) S 22100 22102 22102 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 947905249 8742146048 8311 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 3 0 0 0
[pid=22102/tid=22115] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22115/stat : 22115 (java) S 22100 22102 22102 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 947905249 8742146048 8311 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 5 0 0 0
[pid=22102/tid=22116] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22116/stat : 22116 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947905251 8742146048 8311 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427215281 0 4 0 16800975 18446604456431578176 0 0 -1 3 0 0 0
[pid=22102/tid=22117] ppid=22100 vsize=8537252 CPUtime=0.18 cores=1,3,5,7
/proc/22102/task/22117/stat : 22117 (java) S 22100 22102 22102 0 -1 4202560 1551 0 0 0 18 0 0 0 15 0 19 0 947905251 8742146048 8311 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 3 0 0 0
[pid=22102/tid=22118] ppid=22100 vsize=8537252 CPUtime=0.16 cores=1,3,5,7
/proc/22102/task/22118/stat : 22118 (java) S 22100 22102 22102 0 -1 4202560 1778 0 0 0 16 0 0 0 15 0 19 0 947905251 8742146048 8311 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 5 0 0 0
[pid=22102/tid=22119] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22119/stat : 22119 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947905251 8742146048 8311 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 3 0 0 0
[pid=22102/tid=22120] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22120/stat : 22120 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 947905251 8742146048 8311 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427208192 0 4 0 16800975 18446604456431578176 0 0 -1 5 0 0 0
[pid=22102/tid=22121] ppid=22100 vsize=8537252 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22121/stat : 22121 (java) S 22100 22102 22102 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947905272 8742146048 8311 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427208192 0 4 0 16800975 18446604456431578176 0 0 -1 5 0 0 0
[pid=21907/tid=21914] ppid=21905 vsize=304180 CPUtime=0 cores=1,3,5,7
/proc/21907/task/21914/stat : 21914 (python) S 21905 21907 21667 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 3 0 947900338 311480320 7342 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427215281 0 0 16781312 33554434 18446604460577771712 0 0 -1 7 0 0 0
[pid=21907/tid=22101] ppid=21905 vsize=304180 CPUtime=0 cores=1,3,5,7
/proc/21907/task/22101/stat : 22101 (python) S 21905 21907 21667 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 3 0 947905246 311480320 7342 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427215281 0 0 16781312 33554434 18446604460577771712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 9533668
[startup+50.7011 s]
/proc/loadavg: 1.95 1.43 0.65 3/590 22121
/proc/meminfo: memFree=29726388/32950928 swapFree=50514916/67111528
[pid=21907] ppid=21905 vsize=304180 CPUtime=0.46 cores=1,3,5,7
/proc/21907/stat : 21907 (python) S 21905 21907 21667 0 -1 4202496 10591 929 1 0 36 10 0 0 20 0 3 0 947900283 311480320 7342 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/21907/statm: 76045 7342 1873 364 0 10929 0
[pid=21913] ppid=21907 vsize=293548 CPUtime=0.29 cores=1,3,5,7
/proc/21913/stat : 21913 (python) S 21907 21907 21667 0 -1 4202560 1173 0 0 0 16 13 0 0 16 0 2 0 947900338 300593152 5773 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/21913/statm: 73387 5773 413 364 0 8274 0
[pid=21915] ppid=21913 vsize=104752 CPUtime=48.93 cores=1,3,5,7
/proc/21915/stat : 21915 (scip-2.0.1.linu) T 21913 21915 21915 0 -1 4202496 25036 0 0 0 4675 218 0 0 25 0 1 0 947900338 107266048 23948 33554432000 4194304 13684479 140735027588336 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/21915/statm: 26188 23948 824 2317 0 23866 0
[pid=21913/tid=22099] ppid=21907 vsize=293548 CPUtime=0 cores=1,3,5,7
/proc/21913/task/22099/stat : 22099 (python) S 21907 21907 21667 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 947905244 300593152 5773 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427215281 0 0 16781312 33554946 18446604465033986176 0 0 -1 5 0 0 0
[pid=22100] ppid=21907 vsize=293936 CPUtime=0 cores=1,3,5,7
/proc/22100/stat : 22100 (python) S 21907 21907 21667 0 -1 4202560 803 0 0 0 0 0 0 0 15 0 1 0 947905246 300990464 5814 33554432000 4194304 5683644 140735156722080 18446744073709551615 256415411782 0 0 16781312 33554946 1544479344972267520 0 0 17 7 0 0 0
/proc/22100/statm: 73484 5814 349 364 0 8368 0
[pid=22102] ppid=22100 vsize=8538116 CPUtime=1.47 cores=1,3,5,7
/proc/22102/stat : 22102 (java) S 22100 22102 22102 0 -1 4202496 10376 0 1 0 145 2 0 0 20 0 18 0 947905246 8743030784 8852 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22102/statm: 2134529 8852 2243 9 0 2125270 0
[pid=22102/tid=22103] ppid=22100 vsize=8538116 CPUtime=1.02 cores=1,3,5,7
/proc/22102/task/22103/stat : 22103 (java) S 22100 22102 22102 0 -1 4202560 4983 0 1 0 102 0 0 0 25 0 18 0 947905247 8743030784 8852 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22104] ppid=22100 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22104/stat : 22104 (java) S 22100 22102 22102 0 -1 4202560 64 0 0 0 0 0 0 0 18 0 18 0 947905248 8743030784 8852 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22106] ppid=22100 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22106/stat : 22106 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 947905248 8743030784 8852 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22107] ppid=22100 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22107/stat : 22107 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 947905248 8743030784 8852 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22108] ppid=22100 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22108/stat : 22108 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 947905248 8743030784 8852 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22109] ppid=22100 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22109/stat : 22109 (java) S 22100 22102 22102 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 18 0 947905248 8743030784 8852 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22110] ppid=22100 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22110/stat : 22110 (java) S 22100 22102 22102 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 18 0 947905248 8743030784 8852 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22111] ppid=22100 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22111/stat : 22111 (java) S 22100 22102 22102 0 -1 4202560 146 0 0 0 0 0 0 0 18 0 18 0 947905248 8743030784 8852 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22112] ppid=22100 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22112/stat : 22112 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 947905248 8743030784 8852 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22113] ppid=22100 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22113/stat : 22113 (java) S 22100 22102 22102 0 -1 4202560 269 0 0 0 0 0 0 0 17 0 18 0 947905249 8743030784 8852 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427208192 0 0 0 16800975 18446604456431578176 0 0 -1 7 0 0 0
[pid=22102/tid=22114] ppid=22100 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22114/stat : 22114 (java) S 22100 22102 22102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 947905249 8743030784 8852 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 3 0 0 0
[pid=22102/tid=22115] ppid=22100 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22115/stat : 22115 (java) S 22100 22102 22102 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 947905249 8743030784 8852 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 5 0 0 0
[pid=22102/tid=22116] ppid=22100 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22116/stat : 22116 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 947905251 8743030784 8852 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 3 0 0 0
[pid=22102/tid=22117] ppid=22100 vsize=8538116 CPUtime=0.2 cores=1,3,5,7
/proc/22102/task/22117/stat : 22117 (java) S 22100 22102 22102 0 -1 4202560 1555 0 0 0 20 0 0 0 15 0 18 0 947905251 8743030784 8852 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 3 0 0 0
[pid=22102/tid=22118] ppid=22100 vsize=8538116 CPUtime=0.21 cores=1,3,5,7
/proc/22102/task/22118/stat : 22118 (java) S 22100 22102 22102 0 -1 4202560 1897 0 0 0 21 0 0 0 16 0 18 0 947905251 8743030784 8852 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 5 0 0 0
[pid=22102/tid=22119] ppid=22100 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22119/stat : 22119 (java) S 22100 22102 22102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947905251 8743030784 8852 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427207577 0 4 0 16800975 18446604456431578176 0 0 -1 3 0 0 0
[pid=22102/tid=22121] ppid=22100 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/22102/task/22121/stat : 22121 (java) S 22100 22102 22102 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 947905272 8743030784 8852 33554432000 1073741824 1073778376 140734072556800 18446744073709551615 256427208192 0 4 0 16800975 18446604456431578176 0 0 -1 5 0 0 0
[pid=21907/tid=21914] ppid=21905 vsize=304180 CPUtime=0 cores=1,3,5,7
/proc/21907/task/21914/stat : 21914 (python) S 21905 21907 21667 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 3 0 947900338 311480320 7342 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427215281 0 0 16781312 33554434 18446604460577771712 0 0 -1 7 0 0 0
[pid=21907/tid=22101] ppid=21905 vsize=304180 CPUtime=0 cores=1,3,5,7
/proc/21907/task/22101/stat : 22101 (python) S 21905 21907 21667 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 3 0 947905246 311480320 7342 33554432000 4194304 5683644 140735156722080 18446744073709551615 256427215281 0 0 16781312 33554434 18446604460577771712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 9534532
Child status: 0
Real time (s): 50.7359
CPU time (s): 51.2172
CPU user time (s): 48.7576
CPU system time (s): 2.45963
CPU usage (%): 100.949
Max. virtual memory (cumulated for all children) (KiB): 9534532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.7576
system time used= 2.45963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53759
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= 3769
involuntary context switches= 2547
runsolver used 0.225965 second user time and 0.646901 second system time
The end