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-3481448-1307577834/watcher-3481448-1307577834 -o /tmp/evaluation-result-3481448-1307577834/solver-3481448-1307577834 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481448-1307577834.opb -seed 510587397 -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.99 2.08 1.66 3/764 25069
/proc/meminfo: memFree=17991064/32950928 swapFree=67056572/67111528
[pid=25069] ppid=25067 vsize=16400 CPUtime=0.01 cores=1,3,5,7
/proc/25069/stat : 25069 (python) R 25067 25069 23102 0 -1 4202496 1114 0 0 0 1 0 0 0 17 0 1 0 869380577 16793600 983 33554432000 4194304 5683644 140734570560000 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/25069/statm: 4099 983 408 364 0 586 0
[startup+0.0759449 s]
/proc/loadavg: 1.99 2.08 1.66 3/764 25069
/proc/meminfo: memFree=17991064/32950928 swapFree=67056572/67111528
[pid=25069] ppid=25067 vsize=84572 CPUtime=0.05 cores=1,3,5,7
/proc/25069/stat : 25069 (python) S 25067 25069 23102 0 -1 4202496 2398 0 0 0 4 1 0 0 17 0 1 0 869380577 86601728 2127 33554432000 4194304 5683644 140734570560000 18446744073709551615 239476692992 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/25069/statm: 21143 2127 707 364 0 1360 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84572
[startup+0.107197 s]
/proc/loadavg: 1.99 2.08 1.66 3/764 25069
/proc/meminfo: memFree=17991064/32950928 swapFree=67056572/67111528
[pid=25069] ppid=25067 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/25069/stat : 25069 (python) R 25067 25069 23102 0 -1 4202496 3169 936 1 0 6 1 0 0 18 0 1 0 869380577 98435072 2483 33554432000 4194304 5683644 140734570560000 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/25069/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.301129 s]
/proc/loadavg: 1.99 2.08 1.66 3/764 25069
/proc/meminfo: memFree=17991064/32950928 swapFree=67056572/67111528
[pid=25069] ppid=25067 vsize=200780 CPUtime=0.23 cores=1,3,5,7
/proc/25069/stat : 25069 (python) S 25067 25069 23102 0 -1 4202496 6649 936 1 0 17 6 0 0 17 0 1 0 869380577 205598720 4936 33554432000 4194304 5683644 140734570560000 18446744073709551615 239471771271 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/25069/statm: 50195 4936 1465 364 0 3677 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 200780
[startup+0.700993 s]
/proc/loadavg: 1.99 2.08 1.66 3/764 25069
/proc/meminfo: memFree=17991064/32950928 swapFree=67056572/67111528
[pid=25069] ppid=25067 vsize=285180 CPUtime=0.51 cores=1,3,5,7
/proc/25069/stat : 25069 (python) S 25067 25069 23102 0 -1 4202496 9871 936 1 0 31 20 0 0 17 0 1 0 869380577 292024320 7601 33554432000 4194304 5683644 140734570560000 18446744073709551615 239476715023 0 0 16781312 2 4294934788 0 0 17 7 0 0 0
/proc/25069/statm: 71295 7601 1777 364 0 6188 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 285180
[startup+1.50089 s]
/proc/loadavg: 1.99 2.07 1.67 3/765 25075
/proc/meminfo: memFree=17955468/32950928 swapFree=67056572/67111528
[pid=25069] ppid=25067 vsize=298268 CPUtime=1.63 cores=1,3,5,7
/proc/25069/stat : 25069 (python) R 25067 25069 23102 0 -1 4202496 18458 1561 1 0 97 32 25 9 17 0 1 0 869380577 305426432 10914 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518996 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/25069/statm: 74567 10914 1816 364 0 9460 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 298268
[startup+3.10052 s]
/proc/loadavg: 1.99 2.07 1.67 3/765 25075
/proc/meminfo: memFree=17946788/32950928 swapFree=67056572/67111528
[pid=25069] ppid=25067 vsize=310036 CPUtime=2.24 cores=1,3,5,7
/proc/25069/stat : 25069 (python) S 25067 25069 23102 0 -1 4202496 19502 1561 1 0 158 32 25 9 20 0 2 0 869380577 317476864 11348 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/25069/statm: 77509 11348 1871 364 0 12396 0
[pid=25069/tid=25077] ppid=25067 vsize=310036 CPUtime=0.34 cores=1,3,5,7
/proc/25069/task/25077/stat : 25077 (python) S 25067 25069 23102 0 -1 4202560 27 1561 0 0 0 0 25 9 20 0 2 0 869380789 317476864 11348 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554434 18446604459825588224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 310036
heavy processes:
[startup+6.30091 s]
/proc/loadavg: 1.99 2.07 1.67 3/768 25078
/proc/meminfo: memFree=17616936/32950928 swapFree=67056572/67111528
[pid=25069] ppid=25067 vsize=310036 CPUtime=2.24 cores=1,3,5,7
/proc/25069/stat : 25069 (python) S 25067 25069 23102 0 -1 4202496 19502 1561 1 0 158 32 25 9 20 0 2 0 869380577 317476864 11348 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/25069/statm: 77509 11348 1871 364 0 12396 0
[pid=25076] ppid=25069 vsize=299792 CPUtime=0.02 cores=1,3,5,7
/proc/25076/stat : 25076 (python) S 25069 25069 23102 0 -1 4202560 868 0 0 0 1 1 0 0 15 0 1 0 869380789 306987008 9815 33554432000 4194304 5683644 140734570560000 18446744073709551615 239476715023 0 0 16781312 33554946 4294934790 0 0 17 3 0 0 0
/proc/25076/statm: 74948 9815 342 364 0 9835 0
[pid=25078] ppid=25076 vsize=345040 CPUtime=4.16 cores=1,3,5,7
/proc/25078/stat : 25078 (scip-2.0.1.linu) R 25076 25078 25078 0 -1 4202496 87433 0 0 0 384 32 0 0 25 0 1 0 869380789 353320960 83095 33554432000 4194304 13684479 140737013447040 18446744073709551615 4941682 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/25078/statm: 86260 83095 747 2317 0 83938 0
[pid=25069/tid=25077] ppid=25067 vsize=310036 CPUtime=0.34 cores=1,3,5,7
/proc/25069/task/25077/stat : 25077 (python) S 25067 25069 23102 0 -1 4202560 27 1561 0 0 0 0 25 9 20 0 2 0 869380789 317476864 11348 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554434 18446604459825588224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 954868
[startup+12.7007 s]
/proc/loadavg: 1.99 2.07 1.67 3/768 25078
/proc/meminfo: memFree=17474240/32950928 swapFree=67056572/67111528
[pid=25069] ppid=25067 vsize=310036 CPUtime=2.24 cores=1,3,5,7
/proc/25069/stat : 25069 (python) S 25067 25069 23102 0 -1 4202496 19502 1561 1 0 158 32 25 9 20 0 2 0 869380577 317476864 11348 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/25069/statm: 77509 11348 1871 364 0 12396 0
[pid=25076] ppid=25069 vsize=299792 CPUtime=0.04 cores=1,3,5,7
/proc/25076/stat : 25076 (python) S 25069 25069 23102 0 -1 4202560 876 0 0 0 2 2 0 0 15 0 1 0 869380789 306987008 9815 33554432000 4194304 5683644 140734570560000 18446744073709551615 239476715023 0 0 16781312 33554946 158648695980556288 0 0 17 3 0 0 0
/proc/25076/statm: 74948 9815 342 364 0 9835 0
[pid=25078] ppid=25076 vsize=490288 CPUtime=10.55 cores=1,3,5,7
/proc/25078/stat : 25078 (scip-2.0.1.linu) R 25076 25078 25078 0 -1 4202496 122741 0 0 0 1011 44 0 0 25 0 1 0 869380789 502054912 118403 33554432000 4194304 13684479 140737013447040 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/25078/statm: 122572 118403 767 2317 0 120250 0
[pid=25069/tid=25077] ppid=25067 vsize=310036 CPUtime=0.34 cores=1,3,5,7
/proc/25069/task/25077/stat : 25077 (python) S 25067 25069 23102 0 -1 4202560 27 1561 0 0 0 0 25 9 20 0 2 0 869380789 317476864 11348 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554434 18446604459825588224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.83
Current children cumulated vsize (KiB) 1100116
[startup+25.5013 s]
/proc/loadavg: 1.99 2.07 1.67 3/768 25081
/proc/meminfo: memFree=17596820/32950928 swapFree=67056572/67111528
[pid=25069] ppid=25067 vsize=310036 CPUtime=2.24 cores=1,3,5,7
/proc/25069/stat : 25069 (python) S 25067 25069 23102 0 -1 4202496 19502 1561 1 0 158 32 25 9 20 0 2 0 869380577 317476864 11348 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/25069/statm: 77509 11348 1871 364 0 12396 0
[pid=25076] ppid=25069 vsize=299792 CPUtime=0.12 cores=1,3,5,7
/proc/25076/stat : 25076 (python) S 25069 25069 23102 0 -1 4202560 884 0 0 0 6 6 0 0 15 0 1 0 869380789 306987008 9815 33554432000 4194304 5683644 140734570560000 18446744073709551615 239476715023 0 0 16781312 33554946 5623458817330129818 0 0 17 3 0 0 0
/proc/25076/statm: 74948 9815 342 364 0 9835 0
[pid=25078] ppid=25076 vsize=363704 CPUtime=23.33 cores=1,3,5,7
/proc/25078/stat : 25078 (scip-2.0.1.linu) R 25076 25078 25078 0 -1 4202496 122996 0 0 0 2272 61 0 0 25 0 1 0 869380789 372432896 87761 33554432000 4194304 13684479 140737013447040 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/25078/statm: 90926 87761 787 2317 0 88604 0
[pid=25069/tid=25077] ppid=25067 vsize=310036 CPUtime=0.34 cores=1,3,5,7
/proc/25069/task/25077/stat : 25077 (python) S 25067 25069 23102 0 -1 4202560 27 1561 0 0 0 0 25 9 20 0 2 0 869380789 317476864 11348 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554434 18446604459825588224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.69
Current children cumulated vsize (KiB) 973532
[startup+51.1014 s]
/proc/loadavg: 1.99 2.06 1.68 3/772 25086
/proc/meminfo: memFree=17562368/32950928 swapFree=67056572/67111528
[pid=25069] ppid=25067 vsize=320292 CPUtime=2.26 cores=1,3,5,7
/proc/25069/stat : 25069 (python) S 25067 25069 23102 0 -1 4202496 20398 1561 1 0 160 32 25 9 20 0 3 0 869380577 327979008 11355 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/25069/statm: 80073 11355 1874 364 0 14957 0
[pid=25076] ppid=25069 vsize=310036 CPUtime=0.24 cores=1,3,5,7
/proc/25076/stat : 25076 (python) S 25069 25069 23102 0 -1 4202560 1089 0 0 0 11 13 0 0 16 0 2 0 869380789 317476864 9883 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/25076/statm: 77509 9883 405 364 0 12396 0
[pid=25078] ppid=25076 vsize=363704 CPUtime=47.3 cores=1,3,5,7
/proc/25078/stat : 25078 (scip-2.0.1.linu) T 25076 25078 25078 0 -1 4202496 123002 0 0 0 4656 74 0 0 25 0 1 0 869380789 372432896 87767 33554432000 4194304 13684479 140737013447040 18446744073709551615 5325124 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/25078/statm: 90926 87767 792 2317 0 88604 0
[pid=25076/tid=25083] ppid=25069 vsize=310036 CPUtime=0 cores=1,3,5,7
/proc/25076/task/25083/stat : 25083 (python) S 25069 25069 23102 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869385526 317476864 9883 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554946 18446604462349444160 0 0 -1 3 0 0 0
[pid=25084] ppid=25069 vsize=310048 CPUtime=0 cores=1,3,5,7
/proc/25084/stat : 25084 (python) S 25069 25069 23102 0 -1 4202560 751 0 0 0 0 0 0 0 15 0 1 0 869385528 317489152 9796 33554432000 4194304 5683644 140734570560000 18446744073709551615 239476715078 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/25084/statm: 77512 9796 319 364 0 12396 0
[pid=25086] ppid=25084 vsize=28928 CPUtime=1.57 cores=1,3,5,7
/proc/25086/stat : 25086 (wbo1.4a) R 25084 25086 25086 0 -1 4202496 11945 0 0 0 156 1 0 0 25 0 1 0 869385529 29622272 6583 33554432000 134512640 135751879 4291951920 18446744073709551615 134611297 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/25086/statm: 7232 6583 146 303 0 6927 0
[pid=25069/tid=25077] ppid=25067 vsize=320292 CPUtime=0.34 cores=1,3,5,7
/proc/25069/task/25077/stat : 25077 (python) S 25067 25069 23102 0 -1 4202560 27 1561 0 0 0 0 25 9 20 0 3 0 869380789 327979008 11355 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554434 18446604459825588224 0 0 -1 3 0 0 0
[pid=25069/tid=25085] ppid=25067 vsize=320292 CPUtime=0.34 cores=1,3,5,7
/proc/25069/task/25085/stat : 25085 (python) S 25067 25069 23102 0 -1 4202560 28 1561 0 0 0 0 25 9 20 0 3 0 869385529 327979008 11355 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554434 18446604459825588224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.37
Current children cumulated vsize (KiB) 1333008
[startup+102.324 s]
/proc/loadavg: 2.29 2.11 1.72 3/794 25110
/proc/meminfo: memFree=17162860/32950928 swapFree=67056572/67111528
[pid=25069] ppid=25067 vsize=330548 CPUtime=2.3 cores=1,3,5,7
/proc/25069/stat : 25069 (python) S 25067 25069 23102 0 -1 4202496 21296 1561 1 0 163 33 25 9 20 0 4 0 869380577 338481152 11361 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/25069/statm: 82637 11361 1876 364 0 17518 0
[pid=25076] ppid=25069 vsize=310036 CPUtime=0.24 cores=1,3,5,7
/proc/25076/stat : 25076 (python) S 25069 25069 23102 0 -1 4202560 1089 0 0 0 11 13 0 0 16 0 2 0 869380789 317476864 9883 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/25076/statm: 77509 9883 405 364 0 12396 0
[pid=25078] ppid=25076 vsize=363704 CPUtime=47.3 cores=1,3,5,7
/proc/25078/stat : 25078 (scip-2.0.1.linu) T 25076 25078 25078 0 -1 4202496 123002 0 0 0 4656 74 0 0 25 0 1 0 869380789 372432896 87767 33554432000 4194304 13684479 140737013447040 18446744073709551615 5325124 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/25078/statm: 90926 87767 792 2317 0 88604 0
[pid=25076/tid=25083] ppid=25069 vsize=310036 CPUtime=0 cores=1,3,5,7
/proc/25076/task/25083/stat : 25083 (python) S 25069 25069 23102 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869385526 317476864 9883 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554946 18446604462349444160 0 0 -1 3 0 0 0
[pid=25084] ppid=25069 vsize=310048 CPUtime=0.26 cores=1,3,5,7
/proc/25084/stat : 25084 (python) S 25069 25069 23102 0 -1 4202560 1112 0 0 0 10 16 0 0 17 0 2 0 869385528 317489152 9868 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/25084/statm: 77512 9868 390 364 0 12396 0
[pid=25086] ppid=25084 vsize=54824 CPUtime=49.48 cores=1,3,5,7
/proc/25086/stat : 25086 (wbo1.4a) T 25084 25086 25086 0 -1 4202496 18959 0 0 0 4930 18 0 0 25 0 1 0 869385529 56139776 13063 33554432000 134512640 135751879 4291951920 18446744073709551615 134606383 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/25086/statm: 13706 13063 146 303 0 13401 0
[pid=25084/tid=25089] ppid=25069 vsize=310048 CPUtime=0 cores=1,3,5,7
/proc/25084/task/25089/stat : 25089 (python) S 25069 25069 23102 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 869390481 317489152 9868 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554946 18446604464052269440 0 0 -1 7 0 0 0
[pid=25090] ppid=25069 vsize=320304 CPUtime=0 cores=1,3,5,7
/proc/25090/stat : 25090 (python) S 25069 25069 23102 0 -1 4202560 779 0 0 0 0 0 0 0 15 0 1 0 869390484 327991296 9800 33554432000 4194304 5683644 140734570560000 18446744073709551615 239476715078 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/25090/statm: 80076 9800 319 364 0 14957 0
[pid=25092] ppid=25090 vsize=8548700 CPUtime=5.07 cores=1,3,5,7
/proc/25092/stat : 25092 (java) S 25090 25092 25092 0 -1 4202496 99708 0 1 0 494 13 0 0 17 0 19 0 869390484 8753868800 94924 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/25092/statm: 2137175 94924 2247 9 0 2127916 0
[pid=25092/tid=25093] ppid=25090 vsize=8548700 CPUtime=2.98 cores=1,3,5,7
/proc/25092/task/25093/stat : 25093 (java) R 25090 25092 25092 0 -1 4202560 62152 0 1 0 291 7 0 0 20 0 19 0 869390485 8753868800 94924 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 46912506221573 0 4 0 16800975 0 0 0 -1 5 0 0 4
[pid=25092/tid=25094] ppid=25090 vsize=8548700 CPUtime=0.06 cores=1,3,5,7
/proc/25092/task/25094/stat : 25094 (java) S 25090 25092 25092 0 -1 4202560 4559 0 0 0 6 0 0 0 16 0 19 0 869390486 8753868800 94924 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 5 0 0 0
[pid=25092/tid=25095] ppid=25090 vsize=8548700 CPUtime=0.02 cores=1,3,5,7
/proc/25092/task/25095/stat : 25095 (java) S 25090 25092 25092 0 -1 4202560 1849 0 0 0 2 0 0 0 16 0 19 0 869390486 8753868800 94924 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=25092/tid=25096] ppid=25090 vsize=8548700 CPUtime=0 cores=1,3,5,7
/proc/25092/task/25096/stat : 25096 (java) S 25090 25092 25092 0 -1 4202560 122 0 0 0 0 0 0 0 15 0 19 0 869390486 8753868800 94924 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 1 0 0 0
[pid=25092/tid=25097] ppid=25090 vsize=8548700 CPUtime=0.05 cores=1,3,5,7
################
# More data... #
################
[pid=25069/tid=25077] ppid=25067 vsize=361316 CPUtime=0.34 cores=1,3,5,7
/proc/25069/task/25077/stat : 25077 (python) S 25067 25069 23102 0 -1 4202560 33 1561 0 0 0 0 25 9 18 0 7 0 869380789 369987584 11379 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554434 18446604459825588224 0 0 -1 3 0 0 0
[pid=25069/tid=25085] ppid=25067 vsize=361316 CPUtime=0.34 cores=1,3,5,7
/proc/25069/task/25085/stat : 25085 (python) S 25067 25069 23102 0 -1 4202560 28 1561 0 0 0 0 25 9 20 0 7 0 869385529 369987584 11379 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554434 18446604459825588224 0 0 -1 3 0 0 0
[pid=25069/tid=25091] ppid=25067 vsize=361316 CPUtime=0.34 cores=1,3,5,7
/proc/25069/task/25091/stat : 25091 (python) S 25067 25069 23102 0 -1 4202560 29 1561 0 0 0 0 25 9 20 0 7 0 869390484 369987584 11379 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554434 18446604459825588224 0 0 -1 7 0 0 0
[pid=25069/tid=25114] ppid=25067 vsize=361316 CPUtime=0.34 cores=1,3,5,7
/proc/25069/task/25114/stat : 25114 (python) S 25067 25069 23102 0 -1 4202560 31 1561 0 0 0 0 25 9 20 0 7 0 869395376 369987584 11379 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554434 18446604459825588224 0 0 -1 3 0 0 0
[pid=25069/tid=25121] ppid=25067 vsize=361316 CPUtime=0.34 cores=1,3,5,7
/proc/25069/task/25121/stat : 25121 (python) S 25067 25069 23102 0 -1 4202560 27 1561 0 0 0 0 25 9 20 0 7 0 869404697 369987584 11379 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554434 18446604459825588224 0 0 -1 3 0 0 0
[pid=25069/tid=25127] ppid=25067 vsize=361316 CPUtime=0.34 cores=1,3,5,7
/proc/25069/task/25127/stat : 25127 (python) S 25067 25069 23102 0 -1 4202560 30 1561 0 0 0 0 25 9 20 0 7 0 869414446 369987584 11379 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554434 18446604459825588224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 342.79
Current children cumulated vsize (KiB) 20142756
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+338.702 s]
/proc/loadavg: 2.34 2.14 1.80 4/818 25140
/proc/meminfo: memFree=14325484/32950928 swapFree=67056572/67111528
[pid=25069] ppid=25067 vsize=361316 CPUtime=2.4 cores=1,3,5,7
/proc/25069/stat : 25069 (python) S 25067 25069 23102 0 -1 4202496 24142 1561 1 0 173 33 25 9 19 0 7 0 869380577 369987584 11379 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/25069/statm: 90329 11379 1882 364 0 25201 0
[pid=25076] ppid=25069 vsize=310036 CPUtime=0.48 cores=1,3,5,7
/proc/25076/stat : 25076 (python) S 25069 25069 23102 0 -1 4202560 1112 0 0 0 22 26 0 0 16 0 2 0 869380789 317476864 9884 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/25076/statm: 77509 9884 406 364 0 12396 0
[pid=25078] ppid=25076 vsize=364692 CPUtime=93.49 cores=1,3,5,7
/proc/25078/stat : 25078 (scip-2.0.1.linu) T 25076 25078 25078 0 -1 4202496 123066 0 0 0 9248 101 0 0 25 0 1 0 869380789 373444608 87821 33554432000 4194304 13684479 140737013447040 18446744073709551615 4976560 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/25078/statm: 91173 87821 783 2317 0 88851 0
[pid=25076/tid=25083] ppid=25069 vsize=310036 CPUtime=0 cores=1,3,5,7
/proc/25076/task/25083/stat : 25083 (python) S 25069 25069 23102 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 869385526 317476864 9884 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554946 18446604462349444160 0 0 -1 3 0 0 0
[pid=25084] ppid=25069 vsize=310048 CPUtime=0.26 cores=1,3,5,7
/proc/25084/stat : 25084 (python) S 25069 25069 23102 0 -1 4202560 1112 0 0 0 10 16 0 0 17 0 2 0 869385528 317489152 9868 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/25084/statm: 77512 9868 390 364 0 12396 0
[pid=25086] ppid=25084 vsize=54824 CPUtime=49.48 cores=1,3,5,7
/proc/25086/stat : 25086 (wbo1.4a) T 25084 25086 25086 0 -1 4202496 18959 0 0 0 4930 18 0 0 25 0 1 0 869385529 56139776 13063 33554432000 134512640 135751879 4291951920 18446744073709551615 134606383 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/25086/statm: 13706 13063 146 303 0 13401 0
[pid=25084/tid=25089] ppid=25069 vsize=310048 CPUtime=0 cores=1,3,5,7
/proc/25084/task/25089/stat : 25089 (python) S 25069 25069 23102 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 869390481 317489152 9868 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554946 18446604464052269440 0 0 -1 7 0 0 0
[pid=25090] ppid=25069 vsize=320304 CPUtime=0.24 cores=1,3,5,7
/proc/25090/stat : 25090 (python) S 25069 25069 23102 0 -1 4202560 1121 0 0 0 12 12 0 0 16 0 2 0 869390484 327991296 9872 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/25090/statm: 80076 9872 390 364 0 14957 0
[pid=25092] ppid=25090 vsize=8548700 CPUtime=51.32 cores=1,3,5,7
/proc/25092/stat : 25092 (java) T 25090 25092 25092 0 -1 4202496 709926 0 1 0 5050 82 0 0 15 0 19 0 869390484 8753868800 700118 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/25092/statm: 2137175 700118 2248 9 0 2127916 0
[pid=25092/tid=25093] ppid=25090 vsize=8548700 CPUtime=48.41 cores=1,3,5,7
/proc/25092/task/25093/stat : 25093 (java) T 25090 25092 25092 0 -1 4202560 633002 0 1 0 4770 71 0 0 25 0 19 0 869390485 8753868800 700118 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 46912506242605 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 4
[pid=25092/tid=25094] ppid=25090 vsize=8548700 CPUtime=0.1 cores=1,3,5,7
/proc/25092/task/25094/stat : 25094 (java) T 25090 25092 25092 0 -1 4202560 8157 0 0 0 10 0 0 0 15 0 19 0 869390486 8753868800 700118 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=25092/tid=25095] ppid=25090 vsize=8548700 CPUtime=0.1 cores=1,3,5,7
/proc/25092/task/25095/stat : 25095 (java) T 25090 25092 25092 0 -1 4202560 6516 0 0 0 10 0 0 0 15 0 19 0 869390486 8753868800 700118 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=25092/tid=25096] ppid=25090 vsize=8548700 CPUtime=0.05 cores=1,3,5,7
/proc/25092/task/25096/stat : 25096 (java) T 25090 25092 25092 0 -1 4202560 2721 0 0 0 5 0 0 0 15 0 19 0 869390486 8753868800 700118 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=25092/tid=25097] ppid=25090 vsize=8548700 CPUtime=0.18 cores=1,3,5,7
/proc/25092/task/25097/stat : 25097 (java) T 25090 25092 25092 0 -1 4202560 12933 0 0 0 17 1 0 0 15 0 19 0 869390486 8753868800 700118 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=25092/tid=25098] ppid=25090 vsize=8548700 CPUtime=0.08 cores=1,3,5,7
/proc/25092/task/25098/stat : 25098 (java) T 25090 25092 25092 0 -1 4202560 5245 0 0 0 8 0 0 0 15 0 19 0 869390486 8753868800 700118 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=25092/tid=25099] ppid=25090 vsize=8548700 CPUtime=0.11 cores=1,3,5,7
/proc/25092/task/25099/stat : 25099 (java) T 25090 25092 25092 0 -1 4202560 6780 0 0 0 10 1 0 0 15 0 19 0 869390486 8753868800 700118 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=25092/tid=25100] ppid=25090 vsize=8548700 CPUtime=0.17 cores=1,3,5,7
/proc/25092/task/25100/stat : 25100 (java) T 25090 25092 25092 0 -1 4202560 10132 0 0 0 16 1 0 0 15 0 19 0 869390486 8753868800 700118 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=25092/tid=25101] ppid=25090 vsize=8548700 CPUtime=0.16 cores=1,3,5,7
/proc/25092/task/25101/stat : 25101 (java) T 25090 25092 25092 0 -1 4202560 10701 0 0 0 15 1 0 0 15 0 19 0 869390486 8753868800 700118 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=25092/tid=25102] ppid=25090 vsize=8548700 CPUtime=0 cores=1,3,5,7
/proc/25092/task/25102/stat : 25102 (java) T 25090 25092 25092 0 -1 4202560 1268 0 0 0 0 0 0 0 15 0 19 0 869390487 8753868800 700118 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488511488 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=25092/tid=25103] ppid=25090 vsize=8548700 CPUtime=0 cores=1,3,5,7
/proc/25092/task/25103/stat : 25103 (java) T 25090 25092 25092 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869390487 8753868800 700118 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=25092/tid=25104] ppid=25090 vsize=8548700 CPUtime=0 cores=1,3,5,7
/proc/25092/task/25104/stat : 25104 (java) T 25090 25092 25092 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869390487 8753868800 700118 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=25092/tid=25105] ppid=25090 vsize=8548700 CPUtime=0 cores=1,3,5,7
/proc/25092/task/25105/stat : 25105 (java) T 25090 25092 25092 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869390490 8753868800 700118 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488518577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=25092/tid=25106] ppid=25090 vsize=8548700 CPUtime=0.95 cores=1,3,5,7
/proc/25092/task/25106/stat : 25106 (java) T 25090 25092 25092 0 -1 4202560 5643 0 0 0 95 0 0 0 15 0 19 0 869390490 8753868800 700118 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=25092/tid=25107] ppid=25090 vsize=8548700 CPUtime=0.88 cores=1,3,5,7
/proc/25092/task/25107/stat : 25107 (java) T 25090 25092 25092 0 -1 4202560 5433 0 0 0 87 1 0 0 15 0 19 0 869390490 8753868800 700118 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=25092/tid=25108] ppid=25090 vsize=8548700 CPUtime=0 cores=1,3,5,7
/proc/25092/task/25108/stat : 25108 (java) T 25090 25092 25092 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869390490 8753868800 700118 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=25092/tid=25109] ppid=25090 vsize=8548700 CPUtime=0 cores=1,3,5,7
/proc/25092/task/25109/stat : 25109 (java) T 25090 25092 25092 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869390490 8753868800 700118 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=25092/tid=25110] ppid=25090 vsize=8548700 CPUtime=0 cores=1,3,5,7
/proc/25092/task/25110/stat : 25110 (java) T 25090 25092 25092 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869390569 8753868800 700118 33554432000 1073741824 1073778376 140736921780320 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=25090/tid=25112] ppid=25069 vsize=320304 CPUtime=0 cores=1,3,5,7
/proc/25090/task/25112/stat : 25112 (python) S 25069 25069 23102 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869395373 327991296 9872 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554946 18446604461448823104 0 0 -1 7 0 0 0
[pid=25113] ppid=25069 vsize=330560 CPUtime=0.45 cores=1,3,5,7
/proc/25113/stat : 25113 (python) S 25069 25069 23102 0 -1 4202560 1166 0 0 0 18 27 0 0 17 0 2 0 869395375 338493440 9876 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/25113/statm: 82640 9876 390 364 0 17518 0
[pid=25115] ppid=25113 vsize=25780 CPUtime=93.18 cores=1,3,5,7
/proc/25115/stat : 25115 (clasp-1.3.7-x86) T 25113 25115 25115 0 -1 4202496 7070 0 0 0 9317 1 0 0 25 0 1 0 869395376 26398720 6196 33554432000 134512640 136139019 4288826512 18446744073709551615 134828746 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/25115/statm: 6445 6196 187 398 0 6045 0
[pid=25113/tid=25119] ppid=25069 vsize=330560 CPUtime=0 cores=1,3,5,7
/proc/25113/task/25119/stat : 25119 (python) S 25069 25069 23102 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 869404694 338493440 9876 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554946 18446604467471290560 0 0 -1 7 0 0 0
[pid=25120] ppid=25069 vsize=340816 CPUtime=0.27 cores=1,3,5,7
/proc/25120/stat : 25120 (python) S 25069 25069 23102 0 -1 4202560 1200 0 0 0 12 15 0 0 17 0 2 0 869404697 348995584 9886 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/25120/statm: 85204 9886 396 364 0 20079 0
[pid=25122] ppid=25120 vsize=359236 CPUtime=51.19 cores=1,3,5,7
/proc/25122/stat : 25122 (scip-2.0.1.linu) T 25120 25122 25122 0 -1 4202496 139448 0 0 0 5062 57 0 0 25 0 1 0 869404697 367857664 86369 33554432000 4194304 15243407 140736105539808 18446744073709551615 6563418 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/25122/statm: 89809 86369 917 2698 0 87104 0
[pid=25120/tid=25124] ppid=25069 vsize=340816 CPUtime=0 cores=1,3,5,7
/proc/25120/task/25124/stat : 25124 (python) S 25069 25069 23102 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869409817 348995584 9886 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554946 18446604456156705088 0 0 -1 3 0 0 0
[pid=25126] ppid=25069 vsize=351072 CPUtime=0 cores=1,3,5,7
/proc/25126/stat : 25126 (python) S 25069 25069 23102 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 869414446 359497728 9809 33554432000 4194304 5683644 140734570560000 18446744073709551615 239476715078 0 0 16781312 33554946 4484889688972165381 0 0 17 3 0 0 0
/proc/25126/statm: 87768 9809 316 364 0 22640 0
[pid=25128] ppid=25126 vsize=8465372 CPUtime=0.03 cores=1,3,5,7
/proc/25128/stat : 25128 (java) S 25126 25128 25128 0 -1 4202496 3957 0 1 0 3 0 0 0 17 0 18 0 869414446 8668540928 3409 33554432000 1073741824 1073778376 140734803012496 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/25128/statm: 2116343 3410 1729 9 0 2107084 0
[pid=25128/tid=25129] ppid=25126 vsize=8465512 CPUtime=0.03 cores=1,3,5,7
/proc/25128/task/25129/stat : 25129 (java) R 25126 25128 25128 0 -1 4202560 2601 0 1 0 3 0 0 0 22 0 18 0 869414447 8668684288 3473 33554432000 1073741824 1073778376 140734803012496 18446744073709551615 47074557005304 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25128/tid=25130] ppid=25126 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/25128/task/25130/stat : 25130 (java) S 25126 25128 25128 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869414448 8668684288 3473 33554432000 1073741824 1073778376 140734803012496 18446744073709551615 239488510873 0 4 0 16800975 18446604460409768832 0 0 -1 3 0 0 0
[pid=25128/tid=25131] ppid=25126 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/25128/task/25131/stat : 25131 (java) S 25126 25128 25128 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869414448 8668684288 3473 33554432000 1073741824 1073778376 140734803012496 18446744073709551615 239488510873 0 4 0 16800975 18446604460409768832 0 0 -1 3 0 0 0
[pid=25128/tid=25132] ppid=25126 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/25128/task/25132/stat : 25132 (java) S 25126 25128 25128 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869414448 8668684288 3473 33554432000 1073741824 1073778376 140734803012496 18446744073709551615 239488510873 0 4 0 16800975 18446604460409768832 0 0 -1 3 0 0 0
[pid=25128/tid=25133] ppid=25126 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/25128/task/25133/stat : 25133 (java) S 25126 25128 25128 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869414448 8668684288 3473 33554432000 1073741824 1073778376 140734803012496 18446744073709551615 239488510873 0 4 0 16800975 18446604460409768832 0 0 -1 3 0 0 0
[pid=25128/tid=25134] ppid=25126 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/25128/task/25134/stat : 25134 (java) S 25126 25128 25128 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869414448 8668684288 3473 33554432000 1073741824 1073778376 140734803012496 18446744073709551615 239488510873 0 4 0 16800975 18446604460409768832 0 0 -1 3 0 0 0
[pid=25128/tid=25135] ppid=25126 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/25128/task/25135/stat : 25135 (java) S 25126 25128 25128 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869414448 8668684288 3474 33554432000 1073741824 1073778376 140734803012496 18446744073709551615 239488510873 0 4 0 16800975 18446604460409768832 0 0 -1 3 0 0 0
[pid=25128/tid=25136] ppid=25126 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/25128/task/25136/stat : 25136 (java) S 25126 25128 25128 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869414448 8668684288 3474 33554432000 1073741824 1073778376 140734803012496 18446744073709551615 239488510873 0 4 0 16800975 18446604460409768832 0 0 -1 3 0 0 0
[pid=25128/tid=25137] ppid=25126 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/25128/task/25137/stat : 25137 (java) S 25126 25128 25128 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 869414448 8668684288 3476 33554432000 1073741824 1073778376 140734803012496 18446744073709551615 239488510873 0 4 0 16800975 18446604460409768832 0 0 -1 3 0 0 0
[pid=25128/tid=25138] ppid=25126 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/25128/task/25138/stat : 25138 (java) S 25126 25128 25128 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 869414449 8668684288 3477 33554432000 1073741824 1073778376 140734803012496 18446744073709551615 239488511488 0 0 0 16800975 18446604460409768832 0 0 -1 3 0 0 0
[pid=25128/tid=25139] ppid=25126 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/25128/task/25139/stat : 25139 (java) S 25126 25128 25128 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 869414449 8668684288 3477 33554432000 1073741824 1073778376 140734803012496 18446744073709551615 239488510873 0 4 0 16800975 18446604460409768832 0 0 -1 3 0 0 0
[pid=25128/tid=25140] ppid=25126 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/25128/task/25140/stat : 25140 (java) S 25126 25128 25128 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 869414449 8668684288 3479 33554432000 1073741824 1073778376 140734803012496 18446744073709551615 239488510873 0 4 0 16800975 18446604460409768832 0 0 -1 3 0 0 0
[pid=25128/tid=25141] ppid=25126 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/25128/task/25141/stat : 25141 (java) S 25126 25128 25128 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869414452 8668684288 3480 33554432000 1073741824 1073778376 140734803012496 18446744073709551615 239488518577 0 4 0 16800975 18446604460409768832 0 0 -1 3 0 0 0
[pid=25128/tid=25142] ppid=25126 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/25128/task/25142/stat : 25142 (java) S 25126 25128 25128 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 18 0 869414452 8668684288 3480 33554432000 1073741824 1073778376 140734803012496 18446744073709551615 239488510873 0 4 0 16800975 18446604460409768832 0 0 -1 3 0 0 0
[pid=25128/tid=25143] ppid=25126 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/25128/task/25143/stat : 25143 (java) S 25126 25128 25128 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 869414452 8668684288 3481 33554432000 1073741824 1073778376 140734803012496 18446744073709551615 239488510873 0 4 0 16800975 18446604460409768832 0 0 -1 3 0 0 0
[pid=25128/tid=25144] ppid=25126 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/25128/task/25144/stat : 25144 (java) S 25126 25128 25128 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869414452 8668684288 3481 33554432000 1073741824 1073778376 140734803012496 18446744073709551615 239488510873 0 4 0 16800975 18446604460409768832 0 0 -1 3 0 0 0
[pid=25128/tid=25145] ppid=25126 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/25128/task/25145/stat : 25145 (java) S 25126 25128 25128 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869414452 8668684288 3482 33554432000 1073741824 1073778376 140734803012496 18446744073709551615 239488511488 0 4 0 16800975 18446604460409768832 0 0 -1 3 0 0 0
[pid=25069/tid=25077] ppid=25067 vsize=361316 CPUtime=0.34 cores=1,3,5,7
/proc/25069/task/25077/stat : 25077 (python) S 25067 25069 23102 0 -1 4202560 33 1561 0 0 0 0 25 9 18 0 7 0 869380789 369987584 11379 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554434 18446604459825588224 0 0 -1 3 0 0 0
[pid=25069/tid=25085] ppid=25067 vsize=361316 CPUtime=0.34 cores=1,3,5,7
/proc/25069/task/25085/stat : 25085 (python) S 25067 25069 23102 0 -1 4202560 28 1561 0 0 0 0 25 9 20 0 7 0 869385529 369987584 11379 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554434 18446604459825588224 0 0 -1 3 0 0 0
[pid=25069/tid=25091] ppid=25067 vsize=361316 CPUtime=0.34 cores=1,3,5,7
/proc/25069/task/25091/stat : 25091 (python) S 25067 25069 23102 0 -1 4202560 29 1561 0 0 0 0 25 9 20 0 7 0 869390484 369987584 11379 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554434 18446604459825588224 0 0 -1 7 0 0 0
[pid=25069/tid=25114] ppid=25067 vsize=361316 CPUtime=0.34 cores=1,3,5,7
/proc/25069/task/25114/stat : 25114 (python) S 25067 25069 23102 0 -1 4202560 31 1561 0 0 0 0 25 9 20 0 7 0 869395376 369987584 11379 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554434 18446604459825588224 0 0 -1 3 0 0 0
[pid=25069/tid=25121] ppid=25067 vsize=361316 CPUtime=0.34 cores=1,3,5,7
/proc/25069/task/25121/stat : 25121 (python) S 25067 25069 23102 0 -1 4202560 27 1561 0 0 0 0 25 9 20 0 7 0 869404697 369987584 11379 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554434 18446604459825588224 0 0 -1 3 0 0 0
[pid=25069/tid=25127] ppid=25067 vsize=361316 CPUtime=0.34 cores=1,3,5,7
/proc/25069/task/25127/stat : 25127 (python) S 25067 25069 23102 0 -1 4202560 30 1561 0 0 0 0 25 9 20 0 7 0 869414446 369987584 11379 33554432000 4194304 5683644 140734570560000 18446744073709551615 239488518577 0 0 16781312 33554434 18446604459825588224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 342.79
Current children cumulated vsize (KiB) 20142756
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25069 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=997696
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=436933
# CPU time returned by wait4() is 2.43463
# while last known CPU time is 342.79
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 338.796
CPU time (s): 342.79
CPU user time (s): 338.82
CPU system time (s): 3.97
CPU usage (%): 101.179
Max. virtual memory (cumulated for all children) (KiB): 20142756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.9977
system time used= 0.436933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26174
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= 23413
involuntary context switches= 27
runsolver used 2.6096 second user time and 6.61399 second system time
The end