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-3481564-1307578194/watcher-3481564-1307578194 -o /tmp/evaluation-result-3481564-1307578194/solver-3481564-1307578194 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481564-1307578194.opb -seed 262160610 -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.08 2.08 1.75 2/620 23762
/proc/meminfo: memFree=19318372/32951124 swapFree=55639044/67111528
[pid=23762] ppid=23760 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/23762/stat : 23762 (python) S 23760 23762 23050 0 -1 4202496 904 0 0 0 0 0 0 0 17 0 1 0 869417327 16154624 784 33554432000 4194304 5683644 140734106240144 18446744073709551615 271550535680 0 2147483391 16781312 2 18446744071699469502 0 0 17 2 0 0 0
/proc/23762/statm: 3944 784 346 364 0 431 0
[startup+0.111835 s]
/proc/loadavg: 2.08 2.08 1.75 2/620 23762
/proc/meminfo: memFree=19318372/32951124 swapFree=55639044/67111528
[pid=23762] ppid=23760 vsize=94060 CPUtime=0.07 cores=0,2,4,6
/proc/23762/stat : 23762 (python) R 23760 23762 23050 0 -1 4202496 2942 463 1 0 5 2 0 0 18 0 1 0 869417327 96317440 2478 33554432000 4194304 5683644 140734106240144 18446744073709551615 271550196145 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/23762/statm: 23515 2478 788 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 94060
[startup+0.200783 s]
/proc/loadavg: 2.08 2.08 1.75 2/620 23762
/proc/meminfo: memFree=19318372/32951124 swapFree=55639044/67111528
[pid=23762] ppid=23760 vsize=119984 CPUtime=0.12 cores=0,2,4,6
/proc/23762/stat : 23762 (python) S 23760 23762 23050 0 -1 4202496 4928 927 1 0 9 3 0 0 17 0 1 0 869417327 122863616 3351 33554432000 4194304 5683644 140734106240144 18446744073709551615 271550533477 0 2147483391 16781312 2 18446744071699469502 0 0 17 2 0 0 0
/proc/23762/statm: 29996 3351 919 364 0 2445 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 119984
[startup+0.300809 s]
/proc/loadavg: 2.08 2.08 1.75 2/620 23762
/proc/meminfo: memFree=19318372/32951124 swapFree=55639044/67111528
[pid=23762] ppid=23760 vsize=123740 CPUtime=0.18 cores=0,2,4,6
/proc/23762/stat : 23762 (python) S 23760 23762 23050 0 -1 4202496 5357 927 1 0 13 5 0 0 17 0 1 0 869417327 126709760 3744 33554432000 4194304 5683644 140734106240144 18446744073709551615 271550533637 0 2147483391 16781312 2 18446744071699469502 0 0 17 2 0 0 0
/proc/23762/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740
[startup+0.700757 s]
/proc/loadavg: 2.08 2.08 1.75 2/620 23762
/proc/meminfo: memFree=19318372/32951124 swapFree=55639044/67111528
[pid=23762] ppid=23760 vsize=282536 CPUtime=0.42 cores=0,2,4,6
/proc/23762/stat : 23762 (python) R 23760 23762 23050 0 -1 4202496 9243 927 1 0 32 10 0 0 17 0 1 0 869417327 289316864 6973 33554432000 4194304 5683644 140734106240144 18446744073709551615 271550557711 0 0 16781312 2 2978481840349773824 0 0 17 2 0 0 0
/proc/23762/statm: 70634 6973 1777 364 0 5527 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282536
[startup+1.50061 s]
/proc/loadavg: 2.08 2.08 1.75 3/624 23771
/proc/meminfo: memFree=19243320/32951124 swapFree=55639044/67111528
[pid=23762] ppid=23760 vsize=293804 CPUtime=0.53 cores=0,2,4,6
/proc/23762/stat : 23762 (python) S 23760 23762 23050 0 -1 4202496 10835 1330 1 0 41 10 2 0 19 0 2 0 869417327 300855296 7291 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/23762/statm: 73451 7291 1871 364 0 8338 0
[pid=23769] ppid=23762 vsize=283560 CPUtime=0 cores=0,2,4,6
/proc/23769/stat : 23769 (python) S 23762 23762 23050 0 -1 4202560 836 0 0 0 0 0 0 0 15 0 1 0 869417407 290365440 5741 33554432000 4194304 5683644 140734106240144 18446744073709551615 271550557711 0 0 16781312 33554946 1049610850895134720 0 0 17 6 0 0 0
/proc/23769/statm: 70890 5741 325 364 0 5777 0
[pid=23771] ppid=23769 vsize=57432 CPUtime=0.69 cores=0,2,4,6
/proc/23771/stat : 23771 (scip-2.0.1.linu) R 23769 23771 23771 0 -1 4202496 12721 0 0 0 62 7 0 0 18 0 1 0 869417407 58810368 12007 33554432000 4194304 13684479 140734348509728 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23771/statm: 14358 12007 823 2317 0 12036 0
[pid=23762/tid=23770] ppid=23760 vsize=293804 CPUtime=0.02 cores=0,2,4,6
/proc/23762/task/23770/stat : 23770 (python) S 23760 23762 23050 0 -1 4202560 29 1330 0 0 0 0 2 0 19 0 2 0 869417407 300855296 7291 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554434 18446604453741432960 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 634796
[startup+3.10028 s]
/proc/loadavg: 2.08 2.08 1.75 3/624 23771
/proc/meminfo: memFree=19237492/32951124 swapFree=55639044/67111528
[pid=23762] ppid=23760 vsize=293804 CPUtime=0.53 cores=0,2,4,6
/proc/23762/stat : 23762 (python) S 23760 23762 23050 0 -1 4202496 10835 1330 1 0 41 10 2 0 19 0 2 0 869417327 300855296 7291 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/23762/statm: 73451 7291 1871 364 0 8338 0
[pid=23769] ppid=23762 vsize=283560 CPUtime=0 cores=0,2,4,6
/proc/23769/stat : 23769 (python) S 23762 23762 23050 0 -1 4202560 839 0 0 0 0 0 0 0 15 0 1 0 869417407 290365440 5741 33554432000 4194304 5683644 140734106240144 18446744073709551615 271550557711 0 0 16781312 33554946 3324747639966138368 0 0 17 6 0 0 0
/proc/23769/statm: 70890 5741 325 364 0 5777 0
[pid=23771] ppid=23769 vsize=61888 CPUtime=2.3 cores=0,2,4,6
/proc/23771/stat : 23771 (scip-2.0.1.linu) R 23769 23771 23771 0 -1 4202496 14069 0 0 0 219 11 0 0 18 0 1 0 869417407 63373312 13353 33554432000 4194304 13684479 140734348509728 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23771/statm: 15472 13353 829 2317 0 13150 0
[pid=23762/tid=23770] ppid=23760 vsize=293804 CPUtime=0.02 cores=0,2,4,6
/proc/23762/task/23770/stat : 23770 (python) S 23760 23762 23050 0 -1 4202560 29 1330 0 0 0 0 2 0 19 0 2 0 869417407 300855296 7291 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554434 18446604453741432960 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 639252
[startup+6.30072 s]
/proc/loadavg: 2.07 2.08 1.75 3/624 23771
/proc/meminfo: memFree=19232020/32951124 swapFree=55639044/67111528
[pid=23762] ppid=23760 vsize=293804 CPUtime=0.53 cores=0,2,4,6
/proc/23762/stat : 23762 (python) S 23760 23762 23050 0 -1 4202496 10835 1330 1 0 41 10 2 0 19 0 2 0 869417327 300855296 7291 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/23762/statm: 73451 7291 1871 364 0 8338 0
[pid=23769] ppid=23762 vsize=283560 CPUtime=0.01 cores=0,2,4,6
/proc/23769/stat : 23769 (python) S 23762 23762 23050 0 -1 4202560 963 0 0 0 1 0 0 0 15 0 1 0 869417407 290365440 5764 33554432000 4194304 5683644 140734106240144 18446744073709551615 271550557711 0 0 16781312 33554946 3001761340483141891 0 0 17 6 0 0 0
/proc/23769/statm: 70890 5764 348 364 0 5777 0
[pid=23771] ppid=23769 vsize=65424 CPUtime=5.49 cores=0,2,4,6
/proc/23771/stat : 23771 (scip-2.0.1.linu) R 23769 23771 23771 0 -1 4202496 14940 0 0 0 536 13 0 0 25 0 1 0 869417407 66994176 14224 33554432000 4194304 13684479 140734348509728 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23771/statm: 16356 14224 829 2317 0 14034 0
[pid=23762/tid=23770] ppid=23760 vsize=293804 CPUtime=0.02 cores=0,2,4,6
/proc/23762/task/23770/stat : 23770 (python) S 23760 23762 23050 0 -1 4202560 29 1330 0 0 0 0 2 0 19 0 2 0 869417407 300855296 7291 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554434 18446604453741432960 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 642788
[startup+12.7006 s]
/proc/loadavg: 2.06 2.07 1.75 3/624 23772
/proc/meminfo: memFree=19208716/32951124 swapFree=55639044/67111528
[pid=23762] ppid=23760 vsize=293804 CPUtime=0.53 cores=0,2,4,6
/proc/23762/stat : 23762 (python) S 23760 23762 23050 0 -1 4202496 10835 1330 1 0 41 10 2 0 19 0 2 0 869417327 300855296 7291 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/23762/statm: 73451 7291 1871 364 0 8338 0
[pid=23769] ppid=23762 vsize=283560 CPUtime=0.03 cores=0,2,4,6
/proc/23769/stat : 23769 (python) S 23762 23762 23050 0 -1 4202560 967 0 0 0 2 1 0 0 15 0 1 0 869417407 290365440 5764 33554432000 4194304 5683644 140734106240144 18446744073709551615 271550557711 0 0 16781312 33554946 1437641363469369344 0 0 17 6 0 0 0
/proc/23769/statm: 70890 5764 348 364 0 5777 0
[pid=23771] ppid=23769 vsize=74124 CPUtime=11.89 cores=0,2,4,6
/proc/23771/stat : 23771 (scip-2.0.1.linu) R 23769 23771 23771 0 -1 4202496 17679 0 0 0 1168 21 0 0 23 0 1 0 869417407 75902976 16279 33554432000 4194304 13684479 140734348509728 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23771/statm: 18531 16279 842 2317 0 16209 0
[pid=23762/tid=23770] ppid=23760 vsize=293804 CPUtime=0.02 cores=0,2,4,6
/proc/23762/task/23770/stat : 23770 (python) S 23760 23762 23050 0 -1 4202560 29 1330 0 0 0 0 2 0 19 0 2 0 869417407 300855296 7291 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554434 18446604453741432960 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 651488
[startup+25.5012 s]
/proc/loadavg: 2.05 2.07 1.76 3/624 23772
/proc/meminfo: memFree=19176248/32951124 swapFree=55639044/67111528
[pid=23762] ppid=23760 vsize=293804 CPUtime=0.53 cores=0,2,4,6
/proc/23762/stat : 23762 (python) S 23760 23762 23050 0 -1 4202496 10835 1330 1 0 41 10 2 0 19 0 2 0 869417327 300855296 7291 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/23762/statm: 73451 7291 1871 364 0 8338 0
[pid=23769] ppid=23762 vsize=283560 CPUtime=0.09 cores=0,2,4,6
/proc/23769/stat : 23769 (python) S 23762 23762 23050 0 -1 4202560 977 0 0 0 5 4 0 0 15 0 1 0 869417407 290365440 5764 33554432000 4194304 5683644 140734106240144 18446744073709551615 271550557711 0 0 16781312 33554946 72556772316949266 0 0 17 6 0 0 0
/proc/23769/statm: 70890 5764 348 364 0 5777 0
[pid=23771] ppid=23769 vsize=74124 CPUtime=24.69 cores=0,2,4,6
/proc/23771/stat : 23771 (scip-2.0.1.linu) R 23769 23771 23771 0 -1 4202496 17679 0 0 0 2436 33 0 0 25 0 1 0 869417407 75902976 16279 33554432000 4194304 13684479 140734348509728 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23771/statm: 18531 16279 842 2317 0 16209 0
[pid=23762/tid=23770] ppid=23760 vsize=293804 CPUtime=0.02 cores=0,2,4,6
/proc/23762/task/23770/stat : 23770 (python) S 23760 23762 23050 0 -1 4202560 29 1330 0 0 0 0 2 0 19 0 2 0 869417407 300855296 7291 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554434 18446604453741432960 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 651488
[startup+51.1016 s]
/proc/loadavg: 2.23 2.11 1.78 4/628 23777
/proc/meminfo: memFree=19085716/32951124 swapFree=55639044/67111528
[pid=23762] ppid=23760 vsize=304564 CPUtime=0.56 cores=0,2,4,6
/proc/23762/stat : 23762 (python) S 23760 23762 23050 0 -1 4202496 11739 1330 1 0 43 11 2 0 20 0 3 0 869417327 311873536 7424 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/23762/statm: 76141 7424 1874 364 0 11025 0
[pid=23769] ppid=23762 vsize=293804 CPUtime=0.19 cores=0,2,4,6
/proc/23769/stat : 23769 (python) S 23762 23762 23050 0 -1 4202560 1156 0 0 0 10 9 0 0 16 0 2 0 869417407 300855296 5832 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23769/statm: 73451 5832 411 364 0 8338 0
[pid=23771] ppid=23769 vsize=74124 CPUtime=47.32 cores=0,2,4,6
/proc/23771/stat : 23771 (scip-2.0.1.linu) T 23769 23771 23771 0 -1 4202496 17679 0 0 0 4677 55 0 0 25 0 1 0 869417407 75902976 16279 33554432000 4194304 13684479 140734348509728 18446744073709551615 7267976 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/23771/statm: 18531 16279 842 2317 0 16209 0
[pid=23769/tid=23773] ppid=23762 vsize=293804 CPUtime=0 cores=0,2,4,6
/proc/23769/task/23773/stat : 23773 (python) S 23762 23762 23050 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869422142 300855296 5832 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554946 18446604451701872640 0 0 -1 6 0 0 0
[pid=23774] ppid=23762 vsize=294320 CPUtime=0 cores=0,2,4,6
/proc/23774/stat : 23774 (python) S 23762 23762 23050 0 -1 4202560 751 0 0 0 0 0 0 0 15 0 1 0 869422145 301383680 5866 33554432000 4194304 5683644 140734106240144 18446744073709551615 271550557766 0 0 16781312 33554946 65809052277407744 0 0 17 2 0 0 0
/proc/23774/statm: 73580 5866 320 364 0 8464 0
[pid=23776] ppid=23774 vsize=62584 CPUtime=2.91 cores=0,2,4,6
/proc/23776/stat : 23776 (scip-2.0.1.linu) R 23774 23776 23776 0 -1 4202496 13443 0 0 0 282 9 0 0 20 0 1 0 869422145 64086016 12564 33554432000 4194304 15243407 140735120773552 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23776/statm: 15646 12564 955 2698 0 12941 0
[pid=23762/tid=23770] ppid=23760 vsize=304564 CPUtime=0.02 cores=0,2,4,6
/proc/23762/task/23770/stat : 23770 (python) S 23760 23762 23050 0 -1 4202560 29 1330 0 0 0 0 2 0 19 0 3 0 869417407 311873536 7424 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554434 18446604453741432960 0 0 -1 6 0 0 0
[pid=23762/tid=23775] ppid=23760 vsize=304564 CPUtime=0.02 cores=0,2,4,6
/proc/23762/task/23775/stat : 23775 (python) S 23760 23762 23050 0 -1 4202560 32 1330 0 0 0 0 2 0 20 0 3 0 869422145 311873536 7424 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554434 18446604453741432960 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 1029396
[startup+102.301 s]
/proc/loadavg: 2.24 2.12 1.80 3/650 23800
/proc/meminfo: memFree=18828864/32951124 swapFree=55639044/67111528
[pid=23762] ppid=23760 vsize=314820 CPUtime=0.58 cores=0,2,4,6
/proc/23762/stat : 23762 (python) S 23760 23762 23050 0 -1 4202496 12590 1330 1 0 45 11 2 0 20 0 4 0 869417327 322375680 7430 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/23762/statm: 78705 7430 1876 364 0 13586 0
[pid=23769] ppid=23762 vsize=293804 CPUtime=0.19 cores=0,2,4,6
/proc/23769/stat : 23769 (python) S 23762 23762 23050 0 -1 4202560 1156 0 0 0 10 9 0 0 16 0 2 0 869417407 300855296 5832 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23769/statm: 73451 5832 411 364 0 8338 0
[pid=23771] ppid=23769 vsize=74124 CPUtime=47.32 cores=0,2,4,6
/proc/23771/stat : 23771 (scip-2.0.1.linu) T 23769 23771 23771 0 -1 4202496 17679 0 0 0 4677 55 0 0 25 0 1 0 869417407 75902976 16279 33554432000 4194304 13684479 140734348509728 18446744073709551615 7267976 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/23771/statm: 18531 16279 842 2317 0 16209 0
[pid=23769/tid=23773] ppid=23762 vsize=293804 CPUtime=0 cores=0,2,4,6
/proc/23769/task/23773/stat : 23773 (python) S 23762 23762 23050 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869422142 300855296 5832 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554946 18446604451701872640 0 0 -1 6 0 0 0
[pid=23774] ppid=23762 vsize=294320 CPUtime=0.22 cores=0,2,4,6
/proc/23774/stat : 23774 (python) S 23762 23762 23050 0 -1 4202560 1107 0 0 0 11 11 0 0 17 0 2 0 869422145 301383680 5938 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23774/statm: 73580 5938 391 364 0 8464 0
[pid=23776] ppid=23774 vsize=62584 CPUtime=49.75 cores=0,2,4,6
/proc/23776/stat : 23776 (scip-2.0.1.linu) T 23774 23776 23776 0 -1 4202496 13709 0 0 0 4948 27 0 0 18 0 1 0 869422145 64086016 12796 33554432000 4194304 15243407 140735120773552 18446744073709551615 7436027 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/23776/statm: 15646 12796 956 2698 0 12941 0
[pid=23774/tid=23779] ppid=23762 vsize=294320 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23779/stat : 23779 (python) S 23762 23762 23050 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869427121 301383680 5938 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554946 18446604453021431104 0 0 -1 6 0 0 0
[pid=23780] ppid=23762 vsize=304576 CPUtime=0.02 cores=0,2,4,6
/proc/23780/stat : 23780 (python) R 23762 23762 23050 0 -1 4202560 904 0 0 0 1 1 0 0 15 0 1 0 869427124 311885824 5894 33554432000 4194304 5683644 140734106240144 18446744073709551615 271550557766 0 0 16781312 33554946 0 0 0 17 6 0 0 0
################
# More data... #
################
[pid=23782/tid=23791] ppid=23780 vsize=8604200 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23791/stat : 23791 (java) R 23780 23782 23782 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 19 0 869427125 8810700800 45193 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271550490935 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23782/tid=23792] ppid=23780 vsize=8604200 CPUtime=0.06 cores=0,2,4,6
/proc/23782/task/23792/stat : 23792 (java) S 23780 23782 23782 0 -1 4202560 897 0 0 0 6 0 0 0 15 0 19 0 869427127 8810700800 45193 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 0 0 16800975 18446604452732695872 0 0 -1 2 0 0 0
[pid=23782/tid=23793] ppid=23780 vsize=8604200 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23793/stat : 23793 (java) S 23780 23782 23782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869427127 8810700800 45193 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 4 0 16800975 18446604452732695872 0 0 -1 6 0 0 0
[pid=23782/tid=23794] ppid=23780 vsize=8604200 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23794/stat : 23794 (java) S 23780 23782 23782 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869427127 8810700800 45193 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 4 0 16800975 18446604452732695872 0 0 -1 6 0 0 0
[pid=23782/tid=23795] ppid=23780 vsize=8604200 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23795/stat : 23795 (java) S 23780 23782 23782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869427129 8810700800 45193 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562361265 0 4 0 16800975 18446604452732695872 0 0 -1 2 0 0 0
[pid=23782/tid=23796] ppid=23780 vsize=8604200 CPUtime=0.93 cores=0,2,4,6
/proc/23782/task/23796/stat : 23796 (java) S 23780 23782 23782 0 -1 4202560 13112 0 0 0 91 2 0 0 15 0 19 0 869427129 8810700800 45193 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 4 0 16800975 18446604452732695872 0 0 -1 4 0 0 0
[pid=23782/tid=23797] ppid=23780 vsize=8604200 CPUtime=0.39 cores=0,2,4,6
/proc/23782/task/23797/stat : 23797 (java) S 23780 23782 23782 0 -1 4202560 1945 0 0 0 39 0 0 0 15 0 19 0 869427129 8810700800 45193 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 4 0 16800975 18446604452732695872 0 0 -1 6 0 0 0
[pid=23782/tid=23798] ppid=23780 vsize=8604200 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23798/stat : 23798 (java) S 23780 23782 23782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869427129 8810700800 45193 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 4 0 16800975 18446604452732695872 0 0 -1 2 0 0 0
[pid=23782/tid=23799] ppid=23780 vsize=8604200 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23799/stat : 23799 (java) S 23780 23782 23782 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869427129 8810700800 45193 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562354176 0 4 0 16800975 18446604452732695872 0 0 -1 4 0 0 0
[pid=23782/tid=23800] ppid=23780 vsize=8604200 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23800/stat : 23800 (java) S 23780 23782 23782 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869427158 8810700800 45193 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562354176 0 4 0 16800975 18446604452732695872 0 0 -1 6 0 0 0
[pid=23762/tid=23770] ppid=23760 vsize=314820 CPUtime=0.02 cores=0,2,4,6
/proc/23762/task/23770/stat : 23770 (python) S 23760 23762 23050 0 -1 4202560 29 1330 0 0 0 0 2 0 19 0 4 0 869417407 322375680 7430 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554434 18446604453741432960 0 0 -1 6 0 0 0
[pid=23762/tid=23775] ppid=23760 vsize=314820 CPUtime=0.02 cores=0,2,4,6
/proc/23762/task/23775/stat : 23775 (python) S 23760 23762 23050 0 -1 4202560 32 1330 0 0 0 0 2 0 20 0 4 0 869422145 322375680 7430 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554434 18446604453741432960 0 0 -1 6 0 0 0
[pid=23762/tid=23781] ppid=23760 vsize=314820 CPUtime=0.02 cores=0,2,4,6
/proc/23762/task/23781/stat : 23781 (python) S 23760 23762 23050 0 -1 4202560 25 1330 0 0 0 0 2 0 20 0 4 0 869427124 322375680 7430 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554434 18446604453741432960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 103.72
Current children cumulated vsize (KiB) 9948428
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+146.301 s]
/proc/loadavg: 2.15 2.12 1.81 5/672 23823
/proc/meminfo: memFree=18804164/32951124 swapFree=55639044/67111528
[pid=23762] ppid=23760 vsize=325076 CPUtime=0.61 cores=0,2,4,6
/proc/23762/stat : 23762 (python) S 23760 23762 23050 0 -1 4202496 13461 1330 1 0 48 11 2 0 20 0 5 0 869417327 332877824 7436 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/23762/statm: 81269 7436 1878 364 0 16147 0
[pid=23769] ppid=23762 vsize=293804 CPUtime=0.19 cores=0,2,4,6
/proc/23769/stat : 23769 (python) S 23762 23762 23050 0 -1 4202560 1156 0 0 0 10 9 0 0 16 0 2 0 869417407 300855296 5832 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23769/statm: 73451 5832 411 364 0 8338 0
[pid=23771] ppid=23769 vsize=74124 CPUtime=47.32 cores=0,2,4,6
/proc/23771/stat : 23771 (scip-2.0.1.linu) T 23769 23771 23771 0 -1 4202496 17679 0 0 0 4677 55 0 0 25 0 1 0 869417407 75902976 16279 33554432000 4194304 13684479 140734348509728 18446744073709551615 7267976 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/23771/statm: 18531 16279 842 2317 0 16209 0
[pid=23769/tid=23773] ppid=23762 vsize=293804 CPUtime=0 cores=0,2,4,6
/proc/23769/task/23773/stat : 23773 (python) S 23762 23762 23050 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869422142 300855296 5832 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554946 18446604451701872640 0 0 -1 6 0 0 0
[pid=23774] ppid=23762 vsize=294320 CPUtime=0.22 cores=0,2,4,6
/proc/23774/stat : 23774 (python) S 23762 23762 23050 0 -1 4202560 1107 0 0 0 11 11 0 0 17 0 2 0 869422145 301383680 5938 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23774/statm: 73580 5938 391 364 0 8464 0
[pid=23776] ppid=23774 vsize=62584 CPUtime=49.75 cores=0,2,4,6
/proc/23776/stat : 23776 (scip-2.0.1.linu) T 23774 23776 23776 0 -1 4202496 13709 0 0 0 4948 27 0 0 18 0 1 0 869422145 64086016 12796 33554432000 4194304 15243407 140735120773552 18446744073709551615 7436027 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/23776/statm: 15646 12796 956 2698 0 12941 0
[pid=23774/tid=23779] ppid=23762 vsize=294320 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23779/stat : 23779 (python) S 23762 23762 23050 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869427121 301383680 5938 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554946 18446604453021431104 0 0 -1 6 0 0 0
[pid=23780] ppid=23762 vsize=304576 CPUtime=0.24 cores=0,2,4,6
/proc/23780/stat : 23780 (python) S 23762 23762 23050 0 -1 4202560 1122 0 0 0 11 13 0 0 16 0 2 0 869427124 311885824 5942 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23780/statm: 76144 5942 391 364 0 11025 0
[pid=23782] ppid=23780 vsize=8604200 CPUtime=50.32 cores=0,2,4,6
/proc/23782/stat : 23782 (java) T 23780 23782 23782 0 -1 4202496 70520 0 1 0 5019 13 0 0 18 0 19 0 869427124 8810700800 31757 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23782/statm: 2151050 31757 2257 9 0 2141791 0
[pid=23782/tid=23783] ppid=23780 vsize=8604200 CPUtime=46.31 cores=0,2,4,6
/proc/23782/task/23783/stat : 23783 (java) T 23780 23782 23782 0 -1 4202560 40679 0 1 0 4626 5 0 0 25 0 19 0 869427125 8810700800 31757 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 4
[pid=23782/tid=23784] ppid=23780 vsize=8604200 CPUtime=0.13 cores=0,2,4,6
/proc/23782/task/23784/stat : 23784 (java) T 23780 23782 23782 0 -1 4202560 855 0 0 0 13 0 0 0 15 0 19 0 869427125 8810700800 31757 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23782/tid=23785] ppid=23780 vsize=8604200 CPUtime=0.11 cores=0,2,4,6
/proc/23782/task/23785/stat : 23785 (java) T 23780 23782 23782 0 -1 4202560 753 0 0 0 11 0 0 0 15 0 19 0 869427125 8810700800 31757 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23782/tid=23786] ppid=23780 vsize=8604200 CPUtime=0.12 cores=0,2,4,6
/proc/23782/task/23786/stat : 23786 (java) T 23780 23782 23782 0 -1 4202560 460 0 0 0 12 0 0 0 15 0 19 0 869427125 8810700800 31757 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23782/tid=23787] ppid=23780 vsize=8604200 CPUtime=0.13 cores=0,2,4,6
/proc/23782/task/23787/stat : 23787 (java) T 23780 23782 23782 0 -1 4202560 1210 0 0 0 13 0 0 0 15 0 19 0 869427125 8810700800 31757 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23782/tid=23788] ppid=23780 vsize=8604200 CPUtime=0.11 cores=0,2,4,6
/proc/23782/task/23788/stat : 23788 (java) T 23780 23782 23782 0 -1 4202560 342 0 0 0 11 0 0 0 15 0 19 0 869427125 8810700800 31757 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23782/tid=23789] ppid=23780 vsize=8604200 CPUtime=0.11 cores=0,2,4,6
/proc/23782/task/23789/stat : 23789 (java) T 23780 23782 23782 0 -1 4202560 760 0 0 0 11 0 0 0 15 0 19 0 869427125 8810700800 31757 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23782/tid=23790] ppid=23780 vsize=8604200 CPUtime=0.11 cores=0,2,4,6
/proc/23782/task/23790/stat : 23790 (java) T 23780 23782 23782 0 -1 4202560 974 0 0 0 11 0 0 0 15 0 19 0 869427125 8810700800 31757 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23782/tid=23791] ppid=23780 vsize=8604200 CPUtime=0.13 cores=0,2,4,6
/proc/23782/task/23791/stat : 23791 (java) T 23780 23782 23782 0 -1 4202560 476 0 0 0 13 0 0 0 15 0 19 0 869427125 8810700800 31757 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23782/tid=23792] ppid=23780 vsize=8604200 CPUtime=0.92 cores=0,2,4,6
/proc/23782/task/23792/stat : 23792 (java) T 23780 23782 23782 0 -1 4202560 2149 0 0 0 90 2 0 0 15 0 19 0 869427127 8810700800 31757 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 47659899023491 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23782/tid=23793] ppid=23780 vsize=8604200 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23793/stat : 23793 (java) T 23780 23782 23782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869427127 8810700800 31757 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23782/tid=23794] ppid=23780 vsize=8604200 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23794/stat : 23794 (java) T 23780 23782 23782 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869427127 8810700800 31757 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23782/tid=23795] ppid=23780 vsize=8604200 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23795/stat : 23795 (java) T 23780 23782 23782 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869427129 8810700800 31757 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562361265 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23782/tid=23796] ppid=23780 vsize=8604200 CPUtime=1.62 cores=0,2,4,6
/proc/23782/task/23796/stat : 23796 (java) T 23780 23782 23782 0 -1 4202560 18523 0 0 0 159 3 0 0 15 0 19 0 869427129 8810700800 31757 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23782/tid=23797] ppid=23780 vsize=8604200 CPUtime=0.42 cores=0,2,4,6
/proc/23782/task/23797/stat : 23797 (java) T 23780 23782 23782 0 -1 4202560 1948 0 0 0 42 0 0 0 15 0 19 0 869427129 8810700800 31757 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23782/tid=23798] ppid=23780 vsize=8604200 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23798/stat : 23798 (java) T 23780 23782 23782 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869427129 8810700800 31757 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23782/tid=23799] ppid=23780 vsize=8604200 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23799/stat : 23799 (java) T 23780 23782 23782 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869427129 8810700800 31757 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562354176 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23782/tid=23800] ppid=23780 vsize=8604200 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23800/stat : 23800 (java) T 23780 23782 23782 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869427158 8810700800 31757 33554432000 1073741824 1073778376 140734749615024 18446744073709551615 271562354176 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23780/tid=23802] ppid=23762 vsize=304576 CPUtime=0 cores=0,2,4,6
/proc/23780/task/23802/stat : 23802 (python) S 23762 23762 23050 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869431906 311885824 5942 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554946 18446604453607821760 0 0 -1 6 0 0 0
[pid=23803] ppid=23762 vsize=314832 CPUtime=0 cores=0,2,4,6
/proc/23803/stat : 23803 (python) S 23762 23762 23050 0 -1 4202560 774 0 0 0 0 0 0 0 15 0 1 0 869431909 322387968 5874 33554432000 4194304 5683644 140734106240144 18446744073709551615 271550557766 0 0 16781312 33554946 4294934786 0 0 17 4 0 0 0
/proc/23803/statm: 78708 5874 320 364 0 13586 0
[pid=23805] ppid=23803 vsize=8538984 CPUtime=1.01 cores=0,2,4,6
/proc/23805/stat : 23805 (java) S 23803 23805 23805 0 -1 4202496 17196 0 1 0 99 2 0 0 20 0 19 0 869431909 8743919616 14023 33554432000 1073741824 1073778376 140736171750400 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23805/statm: 2134746 14024 2224 9 0 2125487 0
[pid=23805/tid=23806] ppid=23803 vsize=8538984 CPUtime=0.5 cores=0,2,4,6
/proc/23805/task/23806/stat : 23806 (java) R 23803 23805 23805 0 -1 4202560 10095 0 1 0 49 1 0 0 18 0 19 0 869431910 8743919616 14990 33554432000 1073741824 1073778376 140736171750400 18446744073709551615 46912505633168 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23805/tid=23807] ppid=23803 vsize=8538984 CPUtime=0 cores=0,2,4,6
/proc/23805/task/23807/stat : 23807 (java) S 23803 23805 23805 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869431910 8743919616 14990 33554432000 1073741824 1073778376 140736171750400 18446744073709551615 271562353561 0 4 0 16800975 18446604453885870336 0 0 -1 2 0 0 0
[pid=23805/tid=23808] ppid=23803 vsize=8538984 CPUtime=0 cores=0,2,4,6
/proc/23805/task/23808/stat : 23808 (java) S 23803 23805 23805 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869431910 8743919616 14991 33554432000 1073741824 1073778376 140736171750400 18446744073709551615 271562353561 0 4 0 16800975 18446604453885870336 0 0 -1 2 0 0 0
[pid=23805/tid=23809] ppid=23803 vsize=8538984 CPUtime=0 cores=0,2,4,6
/proc/23805/task/23809/stat : 23809 (java) S 23803 23805 23805 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869431910 8743919616 14992 33554432000 1073741824 1073778376 140736171750400 18446744073709551615 271562353561 0 4 0 16800975 18446604453885870336 0 0 -1 2 0 0 0
[pid=23805/tid=23810] ppid=23803 vsize=8538984 CPUtime=0 cores=0,2,4,6
/proc/23805/task/23810/stat : 23810 (java) S 23803 23805 23805 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869431910 8743919616 14992 33554432000 1073741824 1073778376 140736171750400 18446744073709551615 271562353561 0 4 0 16800975 18446604453885870336 0 0 -1 4 0 0 0
[pid=23805/tid=23811] ppid=23803 vsize=8538984 CPUtime=0 cores=0,2,4,6
/proc/23805/task/23811/stat : 23811 (java) S 23803 23805 23805 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869431910 8743919616 14994 33554432000 1073741824 1073778376 140736171750400 18446744073709551615 271562353561 0 4 0 16800975 18446604453885870336 0 0 -1 4 0 0 0
[pid=23805/tid=23812] ppid=23803 vsize=8538984 CPUtime=0 cores=0,2,4,6
/proc/23805/task/23812/stat : 23812 (java) S 23803 23805 23805 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869431910 8743919616 14995 33554432000 1073741824 1073778376 140736171750400 18446744073709551615 271562353561 0 4 0 16800975 18446604453885870336 0 0 -1 4 0 0 0
[pid=23805/tid=23813] ppid=23803 vsize=8538984 CPUtime=0 cores=0,2,4,6
/proc/23805/task/23813/stat : 23813 (java) S 23803 23805 23805 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869431910 8743919616 14997 33554432000 1073741824 1073778376 140736171750400 18446744073709551615 271562353561 0 4 0 16800975 18446604453885870336 0 0 -1 4 0 0 0
[pid=23805/tid=23814] ppid=23803 vsize=8538984 CPUtime=0 cores=0,2,4,6
/proc/23805/task/23814/stat : 23814 (java) S 23803 23805 23805 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869431910 8743919616 15002 33554432000 1073741824 1073778376 140736171750400 18446744073709551615 271562353561 0 4 0 16800975 18446604453885870336 0 0 -1 4 0 0 0
[pid=23805/tid=23815] ppid=23803 vsize=8538984 CPUtime=0 cores=0,2,4,6
/proc/23805/task/23815/stat : 23815 (java) S 23803 23805 23805 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869431911 8743919616 15005 33554432000 1073741824 1073778376 140736171750400 18446744073709551615 271562354176 0 0 0 16800975 18446604453885870336 0 0 -1 2 0 0 0
[pid=23805/tid=23816] ppid=23803 vsize=8538984 CPUtime=0 cores=0,2,4,6
/proc/23805/task/23816/stat : 23816 (java) S 23803 23805 23805 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869431912 8743919616 15007 33554432000 1073741824 1073778376 140736171750400 18446744073709551615 271562353561 0 4 0 16800975 18446604453885870336 0 0 -1 2 0 0 0
[pid=23805/tid=23817] ppid=23803 vsize=8538984 CPUtime=0 cores=0,2,4,6
/proc/23805/task/23817/stat : 23817 (java) S 23803 23805 23805 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869431912 8743919616 15007 33554432000 1073741824 1073778376 140736171750400 18446744073709551615 271562353561 0 4 0 16800975 18446604453885870336 0 0 -1 2 0 0 0
[pid=23805/tid=23818] ppid=23803 vsize=8538984 CPUtime=0 cores=0,2,4,6
/proc/23805/task/23818/stat : 23818 (java) S 23803 23805 23805 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869431914 8743919616 15009 33554432000 1073741824 1073778376 140736171750400 18446744073709551615 271562361265 0 4 0 16800975 18446604453885870336 0 0 -1 2 0 0 0
[pid=23805/tid=23819] ppid=23803 vsize=8538984 CPUtime=0.27 cores=0,2,4,6
/proc/23805/task/23819/stat : 23819 (java) R 23803 23805 23805 0 -1 4202560 3725 0 0 0 27 0 0 0 16 0 19 0 869431914 8743919616 15011 33554432000 1073741824 1073778376 140736171750400 18446744073709551615 47024749695795 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23805/tid=23820] ppid=23803 vsize=8538984 CPUtime=0.23 cores=0,2,4,6
/proc/23805/task/23820/stat : 23820 (java) R 23803 23805 23805 0 -1 4202560 3227 0 0 0 23 0 0 0 17 0 19 0 869431914 8743919616 15013 33554432000 1073741824 1073778376 140736171750400 18446744073709551615 271562363573 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23805/tid=23821] ppid=23803 vsize=8538984 CPUtime=0 cores=0,2,4,6
/proc/23805/task/23821/stat : 23821 (java) S 23803 23805 23805 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869431914 8743919616 15015 33554432000 1073741824 1073778376 140736171750400 18446744073709551615 271562353561 0 4 0 16800975 18446604453885870336 0 0 -1 2 0 0 0
[pid=23805/tid=23822] ppid=23803 vsize=8538984 CPUtime=0 cores=0,2,4,6
/proc/23805/task/23822/stat : 23822 (java) S 23803 23805 23805 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869431914 8743919616 15018 33554432000 1073741824 1073778376 140736171750400 18446744073709551615 271562354176 0 4 0 16800975 18446604453885870336 0 0 -1 4 0 0 0
[pid=23805/tid=23823] ppid=23803 vsize=8538984 CPUtime=0 cores=0,2,4,6
/proc/23805/task/23823/stat : 23823 (java) S 23803 23805 23805 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869431938 8743919616 15020 33554432000 1073741824 1073778376 140736171750400 18446744073709551615 271562354176 0 4 0 16800975 18446604453885870336 0 0 -1 6 0 0 0
[pid=23762/tid=23770] ppid=23760 vsize=325076 CPUtime=0.02 cores=0,2,4,6
/proc/23762/task/23770/stat : 23770 (python) S 23760 23762 23050 0 -1 4202560 29 1330 0 0 0 0 2 0 19 0 5 0 869417407 332877824 7436 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554434 18446604453741432960 0 0 -1 6 0 0 0
[pid=23762/tid=23775] ppid=23760 vsize=325076 CPUtime=0.02 cores=0,2,4,6
/proc/23762/task/23775/stat : 23775 (python) S 23760 23762 23050 0 -1 4202560 32 1330 0 0 0 0 2 0 20 0 5 0 869422145 332877824 7436 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554434 18446604453741432960 0 0 -1 6 0 0 0
[pid=23762/tid=23781] ppid=23760 vsize=325076 CPUtime=0.02 cores=0,2,4,6
/proc/23762/task/23781/stat : 23781 (python) S 23760 23762 23050 0 -1 4202560 25 1330 0 0 0 0 2 0 20 0 5 0 869427124 332877824 7436 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554434 18446604453741432960 0 0 -1 4 0 0 0
[pid=23762/tid=23804] ppid=23760 vsize=325076 CPUtime=0.02 cores=0,2,4,6
/proc/23762/task/23804/stat : 23804 (python) S 23760 23762 23050 0 -1 4202560 27 1330 0 0 0 0 2 0 20 0 5 0 869431909 332877824 7436 33554432000 4194304 5683644 140734106240144 18446744073709551615 271562361265 0 0 16781312 33554434 18446604453741432960 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 149.66
Current children cumulated vsize (KiB) 18812500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23762 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=504923
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=117982
# CPU time returned by wait4() is 0.622905
# while last known CPU time is 149.66
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 146.377
CPU time (s): 149.66
CPU user time (s): 148.25
CPU system time (s): 1.41
CPU usage (%): 102.243
Max. virtual memory (cumulated for all children) (KiB): 18812500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.504923
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14792
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3970
involuntary context switches= 21
runsolver used 0.922859 second user time and 1.72674 second system time
The end