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-3482056-1307576810/watcher-3482056-1307576810 -o /tmp/evaluation-result-3482056-1307576810/solver-3482056-1307576810 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482056-1307576810.opb -seed 285942607 -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.00 1.60 0.78 2/636 23406
/proc/meminfo: memFree=21830944/32950928 swapFree=67056572/67111528
[pid=23406] ppid=23404 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/23406/stat : 23406 (python) R 23404 23406 23102 0 -1 4202496 1041 0 0 0 0 0 0 0 18 0 1 0 869278120 16629760 912 33554432000 4194304 5683644 140736938239232 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23406/statm: 4060 912 380 364 0 547 0
[startup+0.103449 s]
/proc/loadavg: 2.00 1.60 0.78 2/636 23406
/proc/meminfo: memFree=21830944/32950928 swapFree=67056572/67111528
[pid=23406] ppid=23404 vsize=85620 CPUtime=0.05 cores=1,3,5,7
/proc/23406/stat : 23406 (python) R 23404 23406 23102 0 -1 4202496 2663 0 0 0 4 1 0 0 17 0 1 0 869278120 87674880 2382 33554432000 4194304 5683644 140736938239232 18446744073709551615 4620348 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23406/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620
[startup+0.200499 s]
/proc/loadavg: 2.00 1.60 0.78 2/636 23406
/proc/meminfo: memFree=21830944/32950928 swapFree=67056572/67111528
[pid=23406] ppid=23404 vsize=117768 CPUtime=0.12 cores=1,3,5,7
/proc/23406/stat : 23406 (python) R 23404 23406 23102 0 -1 4202496 4872 931 1 0 9 3 0 0 17 0 1 0 869278120 120594432 3299 33554432000 4194304 5683644 140736938239232 18446744073709551615 239476738183 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23406/statm: 29442 3300 914 364 0 2412 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 117768
[startup+0.300437 s]
/proc/loadavg: 2.00 1.60 0.78 2/636 23406
/proc/meminfo: memFree=21830944/32950928 swapFree=67056572/67111528
[pid=23406] ppid=23404 vsize=123740 CPUtime=0.16 cores=1,3,5,7
/proc/23406/stat : 23406 (python) S 23404 23406 23102 0 -1 4202496 5357 931 1 0 11 5 0 0 16 0 1 0 869278120 126709760 3744 33554432000 4194304 5683644 140736938239232 18446744073709551615 239476690949 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/23406/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.700343 s]
/proc/loadavg: 2.00 1.60 0.78 2/636 23406
/proc/meminfo: memFree=21830944/32950928 swapFree=67056572/67111528
[pid=23406] ppid=23404 vsize=273716 CPUtime=0.41 cores=1,3,5,7
/proc/23406/stat : 23406 (python) R 23404 23406 23102 0 -1 4202496 8809 931 1 0 30 11 0 0 15 0 1 0 869278120 280285184 6759 33554432000 4194304 5683644 140736938239232 18446744073709551615 4867155 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23406/statm: 68429 6759 1720 364 0 5462 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 273716
[startup+1.50118 s]
/proc/loadavg: 2.00 1.60 0.78 3/640 23414
/proc/meminfo: memFree=21782304/32950928 swapFree=67056572/67111528
[pid=23406] ppid=23404 vsize=293932 CPUtime=0.53 cores=1,3,5,7
/proc/23406/stat : 23406 (python) S 23404 23406 23102 0 -1 4202496 9835 931 1 0 41 12 0 0 17 0 2 0 869278120 300986368 7337 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23406/statm: 73483 7337 1870 364 0 8370 0
[pid=23412] ppid=23406 vsize=283688 CPUtime=0 cores=1,3,5,7
/proc/23412/stat : 23412 (python) S 23406 23406 23102 0 -1 4202560 774 0 0 0 0 0 0 0 15 0 1 0 869278201 290496512 5815 33554432000 4194304 5683644 140736938239232 18446744073709551615 239476715023 0 0 16781312 33554946 2317764610066743296 0 0 17 5 0 0 0
/proc/23412/statm: 70922 5815 352 364 0 5809 0
[pid=23414] ppid=23412 vsize=39616 CPUtime=0.67 cores=1,3,5,7
/proc/23414/stat : 23414 (scip-2.0.1.linu) R 23412 23414 23414 0 -1 4202496 8281 0 0 0 58 9 0 0 18 0 1 0 869278202 40566784 7593 33554432000 4194304 13684479 140734869536800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23414/statm: 9904 7593 787 2317 0 7582 0
[pid=23406/tid=23413] ppid=23404 vsize=293932 CPUtime=0 cores=1,3,5,7
/proc/23406/task/23413/stat : 23413 (python) S 23404 23406 23102 0 -1 4202560 30 931 0 0 0 0 0 0 18 0 2 0 869278202 300986368 7337 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932797888 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 617236
[startup+3.10087 s]
/proc/loadavg: 2.00 1.60 0.78 3/640 23414
/proc/meminfo: memFree=21763456/32950928 swapFree=67056572/67111528
[pid=23406] ppid=23404 vsize=293932 CPUtime=0.53 cores=1,3,5,7
/proc/23406/stat : 23406 (python) S 23404 23406 23102 0 -1 4202496 9835 931 1 0 41 12 0 0 17 0 2 0 869278120 300986368 7337 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23406/statm: 73483 7337 1870 364 0 8370 0
[pid=23412] ppid=23406 vsize=283688 CPUtime=0 cores=1,3,5,7
/proc/23412/stat : 23412 (python) S 23406 23406 23102 0 -1 4202560 779 0 0 0 0 0 0 0 15 0 1 0 869278201 290496512 5815 33554432000 4194304 5683644 140736938239232 18446744073709551615 239476715023 0 0 16781312 33554946 366574342022103040 0 0 17 5 0 0 0
/proc/23412/statm: 70922 5815 352 364 0 5809 0
[pid=23414] ppid=23412 vsize=63440 CPUtime=2.27 cores=1,3,5,7
/proc/23414/stat : 23414 (scip-2.0.1.linu) R 23412 23414 23414 0 -1 4202496 14373 0 0 0 209 18 0 0 18 0 1 0 869278202 64962560 13531 33554432000 4194304 13684479 140734869536800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23414/statm: 15860 13531 816 2317 0 13538 0
[pid=23406/tid=23413] ppid=23404 vsize=293932 CPUtime=0 cores=1,3,5,7
/proc/23406/task/23413/stat : 23413 (python) S 23404 23406 23102 0 -1 4202560 30 931 0 0 0 0 0 0 18 0 2 0 869278202 300986368 7337 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932797888 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 641060
[startup+6.30026 s]
/proc/loadavg: 2.00 1.61 0.79 3/640 23414
/proc/meminfo: memFree=21744608/32950928 swapFree=67056572/67111528
[pid=23406] ppid=23404 vsize=293932 CPUtime=0.53 cores=1,3,5,7
/proc/23406/stat : 23406 (python) S 23404 23406 23102 0 -1 4202496 9835 931 1 0 41 12 0 0 17 0 2 0 869278120 300986368 7337 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23406/statm: 73483 7337 1870 364 0 8370 0
[pid=23412] ppid=23406 vsize=283688 CPUtime=0.02 cores=1,3,5,7
/proc/23412/stat : 23412 (python) S 23406 23406 23102 0 -1 4202560 915 0 0 0 1 1 0 0 15 0 1 0 869278201 290496512 5838 33554432000 4194304 5683644 140736938239232 18446744073709551615 239476715023 0 0 16781312 33554946 4156652611581247488 0 0 17 5 0 0 0
/proc/23412/statm: 70922 5838 375 364 0 5809 0
[pid=23414] ppid=23412 vsize=70840 CPUtime=5.47 cores=1,3,5,7
/proc/23414/stat : 23414 (scip-2.0.1.linu) R 23412 23414 23414 0 -1 4202496 17075 0 0 0 518 29 0 0 19 0 1 0 869278202 72540160 15458 33554432000 4194304 13684479 140734869536800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23414/statm: 17710 15458 812 2317 0 15388 0
[pid=23406/tid=23413] ppid=23404 vsize=293932 CPUtime=0 cores=1,3,5,7
/proc/23406/task/23413/stat : 23413 (python) S 23404 23406 23102 0 -1 4202560 30 931 0 0 0 0 0 0 18 0 2 0 869278202 300986368 7337 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932797888 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 648460
[startup+12.701 s]
/proc/loadavg: 2.00 1.61 0.80 3/640 23414
/proc/meminfo: memFree=21743896/32950928 swapFree=67056572/67111528
[pid=23406] ppid=23404 vsize=293932 CPUtime=0.53 cores=1,3,5,7
/proc/23406/stat : 23406 (python) S 23404 23406 23102 0 -1 4202496 9835 931 1 0 41 12 0 0 17 0 2 0 869278120 300986368 7337 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23406/statm: 73483 7337 1870 364 0 8370 0
[pid=23412] ppid=23406 vsize=283688 CPUtime=0.05 cores=1,3,5,7
/proc/23412/stat : 23412 (python) S 23406 23406 23102 0 -1 4202560 918 0 0 0 2 3 0 0 15 0 1 0 869278201 290496512 5838 33554432000 4194304 5683644 140736938239232 18446744073709551615 239476715023 0 0 16781312 33554946 5623606151888251707 0 0 17 5 0 0 0
/proc/23412/statm: 70922 5838 375 364 0 5809 0
[pid=23414] ppid=23412 vsize=70840 CPUtime=11.87 cores=1,3,5,7
/proc/23414/stat : 23414 (scip-2.0.1.linu) R 23412 23414 23414 0 -1 4202496 17082 0 0 0 1132 55 0 0 25 0 1 0 869278202 72540160 15461 33554432000 4194304 13684479 140734869536800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23414/statm: 17710 15461 810 2317 0 15388 0
[pid=23406/tid=23413] ppid=23404 vsize=293932 CPUtime=0 cores=1,3,5,7
/proc/23406/task/23413/stat : 23413 (python) S 23404 23406 23102 0 -1 4202560 30 931 0 0 0 0 0 0 18 0 2 0 869278202 300986368 7337 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932797888 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 648460
[startup+25.5006 s]
/proc/loadavg: 2.00 1.63 0.81 3/640 23414
/proc/meminfo: memFree=21740416/32950928 swapFree=67056572/67111528
[pid=23406] ppid=23404 vsize=293932 CPUtime=0.53 cores=1,3,5,7
/proc/23406/stat : 23406 (python) S 23404 23406 23102 0 -1 4202496 9835 931 1 0 41 12 0 0 17 0 2 0 869278120 300986368 7337 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23406/statm: 73483 7337 1870 364 0 8370 0
[pid=23412] ppid=23406 vsize=283688 CPUtime=0.12 cores=1,3,5,7
/proc/23412/stat : 23412 (python) S 23406 23406 23102 0 -1 4202560 927 0 0 0 5 7 0 0 15 0 1 0 869278201 290496512 5839 33554432000 4194304 5683644 140736938239232 18446744073709551615 239476715023 0 0 16781312 33554946 2780563322079019008 0 0 17 5 0 0 0
/proc/23412/statm: 70922 5839 376 364 0 5809 0
[pid=23414] ppid=23412 vsize=70840 CPUtime=24.67 cores=1,3,5,7
/proc/23414/stat : 23414 (scip-2.0.1.linu) R 23412 23414 23414 0 -1 4202496 17088 0 0 0 2365 102 0 0 25 0 1 0 869278202 72540160 15467 33554432000 4194304 13684479 140734869536800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23414/statm: 17710 15467 810 2317 0 15388 0
[pid=23406/tid=23413] ppid=23404 vsize=293932 CPUtime=0 cores=1,3,5,7
/proc/23406/task/23413/stat : 23413 (python) S 23404 23406 23102 0 -1 4202560 30 931 0 0 0 0 0 0 18 0 2 0 869278202 300986368 7337 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932797888 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 648460
[startup+51.1007 s]
/proc/loadavg: 2.16 1.69 0.86 3/641 23416
/proc/meminfo: memFree=21726540/32950928 swapFree=67056572/67111528
[pid=23406] ppid=23404 vsize=304692 CPUtime=0.55 cores=1,3,5,7
/proc/23406/stat : 23406 (python) S 23404 23406 23102 0 -1 4202496 10661 931 1 0 43 12 0 0 20 0 3 0 869278120 312004608 7455 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23406/statm: 76173 7455 1873 364 0 11057 0
[pid=23412] ppid=23406 vsize=293932 CPUtime=0.26 cores=1,3,5,7
/proc/23412/stat : 23412 (python) S 23406 23406 23102 0 -1 4202560 1159 0 0 0 10 16 0 0 16 0 2 0 869278201 300986368 5881 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/23412/statm: 73483 5881 412 364 0 8370 0
[pid=23414] ppid=23412 vsize=70840 CPUtime=49.77 cores=1,3,5,7
/proc/23414/stat : 23414 (scip-2.0.1.linu) T 23412 23414 23414 0 -1 4202496 17091 0 0 0 4789 188 0 0 21 0 1 0 869278202 72540160 15470 33554432000 4194304 13684479 140734869536800 18446744073709551615 7401011 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/23414/statm: 17710 15470 810 2317 0 15388 0
[pid=23412/tid=23416] ppid=23406 vsize=293932 CPUtime=0 cores=1,3,5,7
/proc/23412/task/23416/stat : 23416 (python) S 23406 23406 23102 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 2 0 869283181 300986368 5881 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488518577 0 0 16781312 33554946 18446604464597927872 0 0 -1 3 0 0 0
[pid=23406/tid=23413] ppid=23404 vsize=304692 CPUtime=0 cores=1,3,5,7
/proc/23406/task/23413/stat : 23413 (python) S 23404 23406 23102 0 -1 4202560 30 931 0 0 0 0 0 0 18 0 3 0 869278202 312004608 7455 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932797888 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 669464
Solver just ended. Dumping a history of the last processes samples
[startup+51.2006 s]
/proc/loadavg: 2.16 1.69 0.86 3/641 23416
/proc/meminfo: memFree=21726540/32950928 swapFree=67056572/67111528
[pid=23406] ppid=23404 vsize=304692 CPUtime=0.55 cores=1,3,5,7
/proc/23406/stat : 23406 (python) S 23404 23406 23102 0 -1 4202496 10661 931 1 0 43 12 0 0 20 0 3 0 869278120 312004608 7455 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23406/statm: 76173 7455 1873 364 0 11057 0
[pid=23412] ppid=23406 vsize=293932 CPUtime=0.26 cores=1,3,5,7
/proc/23412/stat : 23412 (python) S 23406 23406 23102 0 -1 4202560 1159 0 0 0 10 16 0 0 16 0 2 0 869278201 300986368 5881 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/23412/statm: 73483 5881 412 364 0 8370 0
[pid=23414] ppid=23412 vsize=70840 CPUtime=49.77 cores=1,3,5,7
/proc/23414/stat : 23414 (scip-2.0.1.linu) T 23412 23414 23414 0 -1 4202496 17091 0 0 0 4789 188 0 0 21 0 1 0 869278202 72540160 15470 33554432000 4194304 13684479 140734869536800 18446744073709551615 7401011 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/23414/statm: 17710 15470 810 2317 0 15388 0
[pid=23412/tid=23416] ppid=23406 vsize=293932 CPUtime=0 cores=1,3,5,7
/proc/23412/task/23416/stat : 23416 (python) S 23406 23406 23102 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 2 0 869283181 300986368 5881 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488518577 0 0 16781312 33554946 18446604464597927872 0 0 -1 3 0 0 0
[pid=23406/tid=23413] ppid=23404 vsize=304692 CPUtime=0 cores=1,3,5,7
/proc/23406/task/23413/stat : 23413 (python) S 23404 23406 23102 0 -1 4202560 30 931 0 0 0 0 0 0 18 0 3 0 869278202 312004608 7455 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932797888 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 669464
[startup+52.0015 s]
/proc/loadavg: 2.16 1.69 0.86 3/662 23437
/proc/meminfo: memFree=21688636/32950928 swapFree=67056572/67111528
[pid=23406] ppid=23404 vsize=304692 CPUtime=0.55 cores=1,3,5,7
/proc/23406/stat : 23406 (python) S 23404 23406 23102 0 -1 4202496 10661 931 1 0 43 12 0 0 20 0 3 0 869278120 312004608 7455 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23406/statm: 76173 7455 1873 364 0 11057 0
[pid=23412] ppid=23406 vsize=293932 CPUtime=0.26 cores=1,3,5,7
/proc/23412/stat : 23412 (python) S 23406 23406 23102 0 -1 4202560 1159 0 0 0 10 16 0 0 16 0 2 0 869278201 300986368 5881 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/23412/statm: 73483 5881 412 364 0 8370 0
[pid=23414] ppid=23412 vsize=70840 CPUtime=49.77 cores=1,3,5,7
/proc/23414/stat : 23414 (scip-2.0.1.linu) T 23412 23414 23414 0 -1 4202496 17091 0 0 0 4789 188 0 0 21 0 1 0 869278202 72540160 15470 33554432000 4194304 13684479 140734869536800 18446744073709551615 7401011 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
################
# More data... #
################
/proc/23419/stat : 23419 (java) S 23417 23419 23419 0 -1 4202496 13096 0 1 0 191 2 0 0 19 0 19 0 869283184 8742862848 10889 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23419/statm: 2134488 10889 2225 9 0 2125229 0
[pid=23419/tid=23420] ppid=23417 vsize=8537952 CPUtime=1.34 cores=1,3,5,7
/proc/23419/task/23420/stat : 23420 (java) R 23417 23419 23419 0 -1 4202560 7054 0 1 0 133 1 0 0 20 0 19 0 869283185 8742862848 10889 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 46912505754459 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23419/tid=23421] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23421/stat : 23421 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869283185 8742862848 10889 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23422] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23422/stat : 23422 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869283185 8742862848 10889 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23423] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23423/stat : 23423 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869283185 8742862848 10889 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23424] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23424/stat : 23424 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869283185 8742862848 10889 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23425] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23425/stat : 23425 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869283185 8742862848 10889 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23426] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23426/stat : 23426 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869283185 8742862848 10889 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23427] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23427/stat : 23427 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869283185 8742862848 10889 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23428] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23428/stat : 23428 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869283185 8742862848 10889 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23429] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23429/stat : 23429 (java) S 23417 23419 23419 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 869283186 8742862848 10889 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488511488 0 0 0 16800975 18446604455423806336 0 0 -1 3 0 0 0
[pid=23419/tid=23430] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23430/stat : 23430 (java) S 23417 23419 23419 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 869283187 8742862848 10889 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 3 0 0 0
[pid=23419/tid=23431] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23431/stat : 23431 (java) S 23417 23419 23419 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 869283187 8742862848 10889 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 3 0 0 0
[pid=23419/tid=23432] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23432/stat : 23432 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869283189 8742862848 10889 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488518577 0 4 0 16800975 18446604455423806336 0 0 -1 3 0 0 0
[pid=23419/tid=23433] ppid=23417 vsize=8537952 CPUtime=0.27 cores=1,3,5,7
/proc/23419/task/23433/stat : 23433 (java) S 23417 23419 23419 0 -1 4202560 2089 0 0 0 27 0 0 0 19 0 19 0 869283189 8742862848 10889 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23434] ppid=23417 vsize=8537952 CPUtime=0.29 cores=1,3,5,7
/proc/23419/task/23434/stat : 23434 (java) S 23417 23419 23419 0 -1 4202560 2556 0 0 0 29 0 0 0 15 0 19 0 869283189 8742862848 10889 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 1 0 0 0
[pid=23419/tid=23435] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23435/stat : 23435 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869283189 8742862848 10889 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 3 0 0 0
[pid=23419/tid=23436] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23436/stat : 23436 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869283189 8742862848 10889 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488511488 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23437] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23437/stat : 23437 (java) S 23417 23419 23419 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869283220 8742862848 10889 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488511488 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23406/tid=23413] ppid=23404 vsize=304692 CPUtime=0 cores=1,3,5,7
/proc/23406/task/23413/stat : 23413 (python) S 23404 23406 23102 0 -1 4202560 30 931 0 0 0 0 0 0 18 0 3 0 869278202 312004608 7455 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932797888 0 0 -1 5 0 0 0
[pid=23406/tid=23418] ppid=23404 vsize=304692 CPUtime=0 cores=1,3,5,7
/proc/23406/task/23418/stat : 23418 (python) S 23404 23406 23102 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 3 0 869283184 312004608 7455 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932797888 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 52.51
Current children cumulated vsize (KiB) 9501864
[startup+52.4014 s]
/proc/loadavg: 2.16 1.69 0.86 3/662 23437
/proc/meminfo: memFree=21688636/32950928 swapFree=67056572/67111528
[pid=23406] ppid=23404 vsize=304692 CPUtime=0.55 cores=1,3,5,7
/proc/23406/stat : 23406 (python) S 23404 23406 23102 0 -1 4202496 10661 931 1 0 43 12 0 0 20 0 3 0 869278120 312004608 7455 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23406/statm: 76173 7455 1873 364 0 11057 0
[pid=23412] ppid=23406 vsize=293932 CPUtime=0.26 cores=1,3,5,7
/proc/23412/stat : 23412 (python) S 23406 23406 23102 0 -1 4202560 1159 0 0 0 10 16 0 0 16 0 2 0 869278201 300986368 5881 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/23412/statm: 73483 5881 412 364 0 8370 0
[pid=23414] ppid=23412 vsize=70840 CPUtime=49.77 cores=1,3,5,7
/proc/23414/stat : 23414 (scip-2.0.1.linu) T 23412 23414 23414 0 -1 4202496 17091 0 0 0 4789 188 0 0 21 0 1 0 869278202 72540160 15470 33554432000 4194304 13684479 140734869536800 18446744073709551615 7401011 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/23414/statm: 17710 15470 810 2317 0 15388 0
[pid=23412/tid=23416] ppid=23406 vsize=293932 CPUtime=0 cores=1,3,5,7
/proc/23412/task/23416/stat : 23416 (python) S 23406 23406 23102 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 2 0 869283181 300986368 5881 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488518577 0 0 16781312 33554946 18446604464597927872 0 0 -1 3 0 0 0
[pid=23417] ppid=23406 vsize=294448 CPUtime=0 cores=1,3,5,7
/proc/23417/stat : 23417 (python) S 23406 23406 23102 0 -1 4202560 873 0 0 0 0 0 0 0 15 0 1 0 869283184 301514752 5934 33554432000 4194304 5683644 140736938239232 18446744073709551615 239476715078 0 0 16781312 33554946 1031224052951285760 0 0 17 7 0 0 0
/proc/23417/statm: 73612 5934 356 364 0 8496 0
[pid=23419] ppid=23417 vsize=8537952 CPUtime=2.33 cores=1,3,5,7
/proc/23419/stat : 23419 (java) S 23417 23419 23419 0 -1 4202496 13146 0 1 0 231 2 0 0 19 0 19 0 869283184 8742862848 10938 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23419/statm: 2134488 10938 2225 9 0 2125229 0
[pid=23419/tid=23420] ppid=23417 vsize=8537952 CPUtime=1.74 cores=1,3,5,7
/proc/23419/task/23420/stat : 23420 (java) R 23417 23419 23419 0 -1 4202560 7104 0 1 0 173 1 0 0 21 0 19 0 869283185 8742862848 10938 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 46912505706770 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23419/tid=23421] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23421/stat : 23421 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869283185 8742862848 10938 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23422] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23422/stat : 23422 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869283185 8742862848 10938 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23423] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23423/stat : 23423 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869283185 8742862848 10938 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23424] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23424/stat : 23424 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869283185 8742862848 10938 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23425] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23425/stat : 23425 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869283185 8742862848 10938 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23426] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23426/stat : 23426 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869283185 8742862848 10938 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23427] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23427/stat : 23427 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869283185 8742862848 10938 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23428] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23428/stat : 23428 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869283185 8742862848 10938 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23429] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23429/stat : 23429 (java) S 23417 23419 23419 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 869283186 8742862848 10938 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488511488 0 0 0 16800975 18446604455423806336 0 0 -1 3 0 0 0
[pid=23419/tid=23430] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23430/stat : 23430 (java) S 23417 23419 23419 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 869283187 8742862848 10938 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 3 0 0 0
[pid=23419/tid=23431] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23431/stat : 23431 (java) S 23417 23419 23419 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 869283187 8742862848 10938 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 3 0 0 0
[pid=23419/tid=23432] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23432/stat : 23432 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869283189 8742862848 10938 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488518577 0 4 0 16800975 18446604455423806336 0 0 -1 3 0 0 0
[pid=23419/tid=23433] ppid=23417 vsize=8537952 CPUtime=0.27 cores=1,3,5,7
/proc/23419/task/23433/stat : 23433 (java) S 23417 23419 23419 0 -1 4202560 2089 0 0 0 27 0 0 0 19 0 19 0 869283189 8742862848 10938 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23434] ppid=23417 vsize=8537952 CPUtime=0.29 cores=1,3,5,7
/proc/23419/task/23434/stat : 23434 (java) S 23417 23419 23419 0 -1 4202560 2556 0 0 0 29 0 0 0 15 0 19 0 869283189 8742862848 10938 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 1 0 0 0
[pid=23419/tid=23435] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23435/stat : 23435 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869283189 8742862848 10938 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 3 0 0 0
[pid=23419/tid=23436] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23436/stat : 23436 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869283189 8742862848 10938 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488511488 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23437] ppid=23417 vsize=8537952 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23437/stat : 23437 (java) S 23417 23419 23419 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869283220 8742862848 10938 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488511488 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23406/tid=23413] ppid=23404 vsize=304692 CPUtime=0 cores=1,3,5,7
/proc/23406/task/23413/stat : 23413 (python) S 23404 23406 23102 0 -1 4202560 30 931 0 0 0 0 0 0 18 0 3 0 869278202 312004608 7455 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932797888 0 0 -1 5 0 0 0
[pid=23406/tid=23418] ppid=23404 vsize=304692 CPUtime=0 cores=1,3,5,7
/proc/23406/task/23418/stat : 23418 (python) S 23404 23406 23102 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 3 0 869283184 312004608 7455 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932797888 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 52.91
Current children cumulated vsize (KiB) 9501864
[startup+52.8013 s]
/proc/loadavg: 2.16 1.69 0.86 3/662 23437
/proc/meminfo: memFree=21684672/32950928 swapFree=67056572/67111528
[pid=23406] ppid=23404 vsize=304692 CPUtime=0.55 cores=1,3,5,7
/proc/23406/stat : 23406 (python) S 23404 23406 23102 0 -1 4202496 10661 931 1 0 43 12 0 0 20 0 3 0 869278120 312004608 7455 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23406/statm: 76173 7455 1873 364 0 11057 0
[pid=23412] ppid=23406 vsize=293932 CPUtime=0.26 cores=1,3,5,7
/proc/23412/stat : 23412 (python) S 23406 23406 23102 0 -1 4202560 1159 0 0 0 10 16 0 0 16 0 2 0 869278201 300986368 5881 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/23412/statm: 73483 5881 412 364 0 8370 0
[pid=23414] ppid=23412 vsize=70840 CPUtime=49.77 cores=1,3,5,7
/proc/23414/stat : 23414 (scip-2.0.1.linu) T 23412 23414 23414 0 -1 4202496 17091 0 0 0 4789 188 0 0 21 0 1 0 869278202 72540160 15470 33554432000 4194304 13684479 140734869536800 18446744073709551615 7401011 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/23414/statm: 17710 15470 810 2317 0 15388 0
[pid=23412/tid=23416] ppid=23406 vsize=293932 CPUtime=0 cores=1,3,5,7
/proc/23412/task/23416/stat : 23416 (python) S 23406 23406 23102 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 2 0 869283181 300986368 5881 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488518577 0 0 16781312 33554946 18446604464597927872 0 0 -1 3 0 0 0
[pid=23417] ppid=23406 vsize=294448 CPUtime=0 cores=1,3,5,7
/proc/23417/stat : 23417 (python) S 23406 23406 23102 0 -1 4202560 873 0 0 0 0 0 0 0 15 0 1 0 869283184 301514752 5934 33554432000 4194304 5683644 140736938239232 18446744073709551615 239476715078 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/23417/statm: 73612 5934 356 364 0 8496 0
[pid=23419] ppid=23417 vsize=8538240 CPUtime=2.79 cores=1,3,5,7
/proc/23419/stat : 23419 (java) S 23417 23419 23419 0 -1 4202496 14046 0 1 0 277 2 0 0 19 0 19 0 869283184 8743157760 11837 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23419/statm: 2134560 11837 2253 9 0 2125301 0
[pid=23419/tid=23420] ppid=23417 vsize=8538240 CPUtime=2.14 cores=1,3,5,7
/proc/23419/task/23420/stat : 23420 (java) R 23417 23419 23419 0 -1 4202560 7114 0 1 0 213 1 0 0 22 0 19 0 869283185 8743157760 11837 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 46912505791885 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23419/tid=23421] ppid=23417 vsize=8538240 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23421/stat : 23421 (java) S 23417 23419 23419 0 -1 4202560 405 0 0 0 0 0 0 0 18 0 19 0 869283185 8743157760 11837 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23422] ppid=23417 vsize=8538240 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23422/stat : 23422 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869283185 8743157760 11837 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23423] ppid=23417 vsize=8538240 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23423/stat : 23423 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869283185 8743157760 11837 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23424] ppid=23417 vsize=8538240 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23424/stat : 23424 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869283185 8743157760 11837 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23425] ppid=23417 vsize=8538240 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23425/stat : 23425 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869283185 8743157760 11837 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23426] ppid=23417 vsize=8538240 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23426/stat : 23426 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869283185 8743157760 11837 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23427] ppid=23417 vsize=8538240 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23427/stat : 23427 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869283185 8743157760 11837 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23428] ppid=23417 vsize=8538240 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23428/stat : 23428 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869283185 8743157760 11837 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23429] ppid=23417 vsize=8538240 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23429/stat : 23429 (java) S 23417 23419 23419 0 -1 4202560 413 0 0 0 0 0 0 0 16 0 19 0 869283186 8743157760 11837 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488511488 0 0 0 16800975 18446604455423806336 0 0 -1 3 0 0 0
[pid=23419/tid=23430] ppid=23417 vsize=8538240 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23430/stat : 23430 (java) S 23417 23419 23419 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869283187 8743157760 11837 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 3 0 0 0
[pid=23419/tid=23431] ppid=23417 vsize=8538240 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23431/stat : 23431 (java) S 23417 23419 23419 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869283187 8743157760 11837 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 3 0 0 0
[pid=23419/tid=23432] ppid=23417 vsize=8538240 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23432/stat : 23432 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869283189 8743157760 11837 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488518577 0 4 0 16800975 18446604455423806336 0 0 -1 3 0 0 0
[pid=23419/tid=23433] ppid=23417 vsize=8538240 CPUtime=0.3 cores=1,3,5,7
/proc/23419/task/23433/stat : 23433 (java) S 23417 23419 23419 0 -1 4202560 2157 0 0 0 30 0 0 0 15 0 19 0 869283189 8743157760 11837 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23419/tid=23434] ppid=23417 vsize=8538240 CPUtime=0.31 cores=1,3,5,7
/proc/23419/task/23434/stat : 23434 (java) S 23417 23419 23419 0 -1 4202560 2564 0 0 0 31 0 0 0 15 0 19 0 869283189 8743157760 11837 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 1 0 0 0
[pid=23419/tid=23435] ppid=23417 vsize=8538240 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23435/stat : 23435 (java) S 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869283189 8743157760 11837 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488510873 0 4 0 16800975 18446604455423806336 0 0 -1 3 0 0 0
[pid=23419/tid=23436] ppid=23417 vsize=8538240 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23436/stat : 23436 (java) R 23417 23419 23419 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869283189 8743157760 11837 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488511488 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23419/tid=23437] ppid=23417 vsize=8538240 CPUtime=0 cores=1,3,5,7
/proc/23419/task/23437/stat : 23437 (java) S 23417 23419 23419 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869283220 8743157760 11837 33554432000 1073741824 1073778376 140736439707344 18446744073709551615 239488511488 0 4 0 16800975 18446604455423806336 0 0 -1 7 0 0 0
[pid=23406/tid=23413] ppid=23404 vsize=304692 CPUtime=0 cores=1,3,5,7
/proc/23406/task/23413/stat : 23413 (python) S 23404 23406 23102 0 -1 4202560 30 931 0 0 0 0 0 0 18 0 3 0 869278202 312004608 7455 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932797888 0 0 -1 5 0 0 0
[pid=23406/tid=23418] ppid=23404 vsize=304692 CPUtime=0 cores=1,3,5,7
/proc/23406/task/23418/stat : 23418 (python) S 23404 23406 23102 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 3 0 869283184 312004608 7455 33554432000 4194304 5683644 140736938239232 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932797888 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 53.37
Current children cumulated vsize (KiB) 9502152
Child status: 0
Real time (s): 52.913
CPU time (s): 53.5139
CPU user time (s): 51.2932
CPU system time (s): 2.22066
CPU usage (%): 101.136
Max. virtual memory (cumulated for all children) (KiB): 9502152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.2932
system time used= 2.22066
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50092
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= 3411
involuntary context switches= 218
runsolver used 0.296954 second user time and 0.736887 second system time
The end