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-3481615-1307578557/watcher-3481615-1307578557 -o /tmp/evaluation-result-3481615-1307578557/solver-3481615-1307578557 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481615-1307578557.opb -seed 981819266 -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.93 2.05 1.85 2/779 2669
/proc/meminfo: memFree=17069008/32951124 swapFree=53733252/67111528
[pid=2669] ppid=2667 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/2669/stat : 2669 (python) S 2667 2669 1117 0 -1 4202496 794 0 0 0 0 0 0 0 23 0 1 0 869456196 15749120 680 33554432000 4194304 5683644 140734472528704 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/2669/statm: 3845 680 322 364 0 332 0
[startup+0.069246 s]
/proc/loadavg: 1.93 2.05 1.85 2/779 2669
/proc/meminfo: memFree=17069008/32951124 swapFree=53733252/67111528
[pid=2669] ppid=2667 vsize=50300 CPUtime=0.04 cores=1,3,5,7
/proc/2669/stat : 2669 (python) S 2667 2669 1117 0 -1 4202496 1978 0 0 0 3 1 0 0 17 0 1 0 869456196 51507200 1738 33554432000 4194304 5683644 140734472528704 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/2669/statm: 12575 1738 480 364 0 1275 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 50300
[startup+0.100274 s]
/proc/loadavg: 1.93 2.05 1.85 2/779 2669
/proc/meminfo: memFree=17069008/32951124 swapFree=53733252/67111528
[pid=2669] ppid=2667 vsize=96120 CPUtime=0.07 cores=1,3,5,7
/proc/2669/stat : 2669 (python) R 2667 2669 1117 0 -1 4202496 3167 929 1 0 5 2 0 0 18 0 1 0 869456196 98426880 2482 33554432000 4194304 5683644 140734472528704 18446744073709551615 5178079 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2669/statm: 24030 2482 792 364 0 1625 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96120
[startup+0.300225 s]
/proc/loadavg: 1.93 2.05 1.85 2/779 2669
/proc/meminfo: memFree=17069008/32951124 swapFree=53733252/67111528
[pid=2669] ppid=2667 vsize=184240 CPUtime=0.21 cores=1,3,5,7
/proc/2669/stat : 2669 (python) S 2667 2669 1117 0 -1 4202496 6327 929 1 0 15 6 0 0 17 0 1 0 869456196 188661760 4632 33554432000 4194304 5683644 140734472528704 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/2669/statm: 46060 4632 1251 364 0 3566 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 184240
[startup+0.700185 s]
/proc/loadavg: 1.93 2.05 1.85 2/779 2669
/proc/meminfo: memFree=17069008/32951124 swapFree=53733252/67111528
[pid=2669] ppid=2667 vsize=285796 CPUtime=0.61 cores=1,3,5,7
/proc/2669/stat : 2669 (python) R 2667 2669 1117 0 -1 4202496 11488 1364 1 0 38 15 6 2 17 0 1 0 869456196 292655104 7797 33554432000 4194304 5683644 140734472528704 18446744073709551615 4623672 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/2669/statm: 71449 7797 1816 364 0 6342 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 285796
[startup+1.50103 s]
/proc/loadavg: 1.93 2.05 1.85 3/783 2678
/proc/meminfo: memFree=17009952/32951124 swapFree=53733252/67111528
[pid=2669] ppid=2667 vsize=296216 CPUtime=0.8 cores=1,3,5,7
/proc/2669/stat : 2669 (python) S 2667 2669 1117 0 -1 4202496 12215 1364 1 0 57 15 6 2 19 0 2 0 869456196 303325184 7920 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2669/statm: 74054 7920 1871 364 0 8941 0
[pid=2676] ppid=2669 vsize=285972 CPUtime=0 cores=1,3,5,7
/proc/2676/stat : 2676 (python) S 2669 2669 1117 0 -1 4202560 716 0 0 0 0 0 0 0 15 0 1 0 869456285 292835328 6364 33554432000 4194304 5683644 140734472528704 18446744073709551615 253640879631 0 0 16781312 33554946 14437161037947961604 0 0 17 3 0 0 0
/proc/2676/statm: 71493 6364 319 364 0 6380 0
[pid=2678] ppid=2676 vsize=78300 CPUtime=0.6 cores=1,3,5,7
/proc/2678/stat : 2678 (scip-2.0.1.linu) R 2676 2678 2678 0 -1 4202496 18014 0 0 0 44 16 0 0 20 0 1 0 869456285 80179200 16906 33554432000 4194304 13684479 140735687466848 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2678/statm: 19575 16906 770 2317 0 17253 0
[pid=2669/tid=2677] ppid=2667 vsize=296216 CPUtime=0.08 cores=1,3,5,7
/proc/2669/task/2677/stat : 2677 (python) S 2667 2669 1117 0 -1 4202560 28 1364 0 0 0 0 6 2 19 0 2 0 869456285 303325184 7920 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604470766748800 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 660488
[startup+3.10074 s]
/proc/loadavg: 1.93 2.05 1.85 3/783 2678
/proc/meminfo: memFree=17009952/32951124 swapFree=53733252/67111528
[pid=2669] ppid=2667 vsize=296216 CPUtime=0.8 cores=1,3,5,7
/proc/2669/stat : 2669 (python) S 2667 2669 1117 0 -1 4202496 12215 1364 1 0 57 15 6 2 19 0 2 0 869456196 303325184 7920 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2669/statm: 74054 7920 1871 364 0 8941 0
[pid=2676] ppid=2669 vsize=285972 CPUtime=0 cores=1,3,5,7
/proc/2676/stat : 2676 (python) S 2669 2669 1117 0 -1 4202560 717 0 0 0 0 0 0 0 15 0 1 0 869456285 292835328 6364 33554432000 4194304 5683644 140734472528704 18446744073709551615 253640879631 0 0 16781312 33554946 14437161037947961604 0 0 17 3 0 0 0
/proc/2676/statm: 71493 6364 319 364 0 6380 0
[pid=2678] ppid=2676 vsize=80696 CPUtime=2.2 cores=1,3,5,7
/proc/2678/stat : 2678 (scip-2.0.1.linu) R 2676 2678 2678 0 -1 4202496 18653 0 0 0 204 16 0 0 25 0 1 0 869456285 82632704 17473 33554432000 4194304 13684479 140735687466848 18446744073709551615 7430833 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2678/statm: 20174 17473 748 2317 0 17852 0
[pid=2669/tid=2677] ppid=2667 vsize=296216 CPUtime=0.08 cores=1,3,5,7
/proc/2669/task/2677/stat : 2677 (python) S 2667 2669 1117 0 -1 4202560 28 1364 0 0 0 0 6 2 19 0 2 0 869456285 303325184 7920 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604470766748800 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 662884
[startup+6.30115 s]
/proc/loadavg: 1.94 2.05 1.85 3/783 2678
/proc/meminfo: memFree=16966512/32951124 swapFree=53733252/67111528
[pid=2669] ppid=2667 vsize=296216 CPUtime=0.8 cores=1,3,5,7
/proc/2669/stat : 2669 (python) S 2667 2669 1117 0 -1 4202496 12215 1364 1 0 57 15 6 2 19 0 2 0 869456196 303325184 7920 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2669/statm: 74054 7920 1871 364 0 8941 0
[pid=2676] ppid=2669 vsize=285972 CPUtime=0.01 cores=1,3,5,7
/proc/2676/stat : 2676 (python) S 2669 2669 1117 0 -1 4202560 872 0 0 0 0 1 0 0 15 0 1 0 869456285 292835328 6388 33554432000 4194304 5683644 140734472528704 18446744073709551615 253640879631 0 0 16781312 33554946 1892808000200999172 0 0 17 7 0 0 0
/proc/2676/statm: 71493 6388 343 364 0 6380 0
[pid=2678] ppid=2676 vsize=81348 CPUtime=5.4 cores=1,3,5,7
/proc/2678/stat : 2678 (scip-2.0.1.linu) R 2676 2678 2678 0 -1 4202496 18779 0 0 0 523 17 0 0 25 0 1 0 869456285 83300352 17584 33554432000 4194304 13684479 140735687466848 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2678/statm: 20337 17584 733 2317 0 18015 0
[pid=2669/tid=2677] ppid=2667 vsize=296216 CPUtime=0.08 cores=1,3,5,7
/proc/2669/task/2677/stat : 2677 (python) S 2667 2669 1117 0 -1 4202560 28 1364 0 0 0 0 6 2 19 0 2 0 869456285 303325184 7920 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604470766748800 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 663536
[startup+12.701 s]
/proc/loadavg: 1.94 2.05 1.85 3/783 2679
/proc/meminfo: memFree=16907440/32951124 swapFree=53733252/67111528
[pid=2669] ppid=2667 vsize=296216 CPUtime=0.8 cores=1,3,5,7
/proc/2669/stat : 2669 (python) S 2667 2669 1117 0 -1 4202496 12215 1364 1 0 57 15 6 2 19 0 2 0 869456196 303325184 7920 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2669/statm: 74054 7920 1871 364 0 8941 0
[pid=2676] ppid=2669 vsize=285972 CPUtime=0.04 cores=1,3,5,7
/proc/2676/stat : 2676 (python) S 2669 2669 1117 0 -1 4202560 877 0 0 0 1 3 0 0 15 0 1 0 869456285 292835328 6388 33554432000 4194304 5683644 140734472528704 18446744073709551615 253640879631 0 0 16781312 33554946 4294934790 0 0 17 3 0 0 0
/proc/2676/statm: 71493 6388 343 364 0 6380 0
[pid=2678] ppid=2676 vsize=130032 CPUtime=11.8 cores=1,3,5,7
/proc/2678/stat : 2678 (scip-2.0.1.linu) R 2676 2678 2678 0 -1 4202496 31691 0 0 0 1150 30 0 0 25 0 1 0 869456285 133152768 30256 33554432000 4194304 13684479 140735687466848 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2678/statm: 32508 30256 820 2317 0 30186 0
[pid=2669/tid=2677] ppid=2667 vsize=296216 CPUtime=0.08 cores=1,3,5,7
/proc/2669/task/2677/stat : 2677 (python) S 2667 2669 1117 0 -1 4202560 28 1364 0 0 0 0 6 2 19 0 2 0 869456285 303325184 7920 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604470766748800 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 712220
[startup+25.5007 s]
/proc/loadavg: 2.03 2.06 1.86 3/787 2683
/proc/meminfo: memFree=16652604/32951124 swapFree=53733252/67111528
[pid=2669] ppid=2667 vsize=296216 CPUtime=0.8 cores=1,3,5,7
/proc/2669/stat : 2669 (python) S 2667 2669 1117 0 -1 4202496 12215 1364 1 0 57 15 6 2 19 0 2 0 869456196 303325184 7920 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2669/statm: 74054 7920 1871 364 0 8941 0
[pid=2676] ppid=2669 vsize=285972 CPUtime=0.12 cores=1,3,5,7
/proc/2676/stat : 2676 (python) S 2669 2669 1117 0 -1 4202560 885 0 0 0 5 7 0 0 15 0 1 0 869456285 292835328 6388 33554432000 4194304 5683644 140734472528704 18446744073709551615 253640879631 0 0 16781312 33554946 5623311482772007735 0 0 17 1 0 0 0
/proc/2676/statm: 71493 6388 343 364 0 6380 0
[pid=2678] ppid=2676 vsize=130032 CPUtime=24.59 cores=1,3,5,7
/proc/2678/stat : 2678 (scip-2.0.1.linu) R 2676 2678 2678 0 -1 4202496 31692 0 0 0 2412 47 0 0 25 0 1 0 869456285 133152768 30257 33554432000 4194304 13684479 140735687466848 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2678/statm: 32508 30257 821 2317 0 30186 0
[pid=2669/tid=2677] ppid=2667 vsize=296216 CPUtime=0.08 cores=1,3,5,7
/proc/2669/task/2677/stat : 2677 (python) S 2667 2669 1117 0 -1 4202560 28 1364 0 0 0 0 6 2 19 0 2 0 869456285 303325184 7920 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604470766748800 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 712220
[startup+51.101 s]
/proc/loadavg: 2.02 2.06 1.86 3/787 2684
/proc/meminfo: memFree=16648428/32951124 swapFree=53733252/67111528
[pid=2669] ppid=2667 vsize=296216 CPUtime=0.8 cores=1,3,5,7
/proc/2669/stat : 2669 (python) S 2667 2669 1117 0 -1 4202496 12215 1364 1 0 57 15 6 2 19 0 2 0 869456196 303325184 7920 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2669/statm: 74054 7920 1871 364 0 8941 0
[pid=2676] ppid=2669 vsize=285972 CPUtime=0.24 cores=1,3,5,7
/proc/2676/stat : 2676 (python) S 2669 2669 1117 0 -1 4202560 901 0 0 0 10 14 0 0 15 0 1 0 869456285 292835328 6388 33554432000 4194304 5683644 140734472528704 18446744073709551615 253640879631 0 0 16781312 33554946 5623753486446373687 0 0 17 7 0 0 0
/proc/2676/statm: 71493 6388 343 364 0 6380 0
[pid=2678] ppid=2676 vsize=133960 CPUtime=50.19 cores=1,3,5,7
/proc/2678/stat : 2678 (scip-2.0.1.linu) R 2676 2678 2678 0 -1 4202496 32491 0 0 0 4951 68 0 0 25 0 1 0 869456285 137175040 31042 33554432000 4194304 13684479 140735687466848 18446744073709551615 7390609 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2678/statm: 33490 31042 837 2317 0 31168 0
[pid=2669/tid=2677] ppid=2667 vsize=296216 CPUtime=0.08 cores=1,3,5,7
/proc/2669/task/2677/stat : 2677 (python) S 2667 2669 1117 0 -1 4202560 28 1364 0 0 0 0 6 2 19 0 2 0 869456285 303325184 7920 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604470766748800 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 716148
[startup+102.301 s]
/proc/loadavg: 2.25 2.11 1.88 4/835 2733
/proc/meminfo: memFree=15291124/32951124 swapFree=53733252/67111528
[pid=2669] ppid=2667 vsize=316728 CPUtime=0.86 cores=1,3,5,7
/proc/2669/stat : 2669 (python) S 2667 2669 1117 0 -1 4202496 13937 1364 1 0 62 16 6 2 20 0 4 0 869456196 324329472 7933 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2669/statm: 79182 7933 1876 364 0 14063 0
[pid=2676] ppid=2669 vsize=296216 CPUtime=0.26 cores=1,3,5,7
/proc/2676/stat : 2676 (python) S 2669 2669 1117 0 -1 4202560 1101 0 0 0 11 15 0 0 16 0 2 0 869456285 303325184 6456 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2676/statm: 74054 6456 406 364 0 8941 0
[pid=2678] ppid=2676 vsize=133960 CPUtime=50.57 cores=1,3,5,7
/proc/2678/stat : 2678 (scip-2.0.1.linu) T 2676 2678 2678 0 -1 4202496 32491 0 0 0 4988 69 0 0 25 0 1 0 869456285 137175040 31042 33554432000 4194304 13684479 140735687466848 18446744073709551615 7390870 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/2678/statm: 33490 31042 837 2317 0 31168 0
[pid=2676/tid=2685] ppid=2669 vsize=296216 CPUtime=0 cores=1,3,5,7
/proc/2676/task/2685/stat : 2685 (python) S 2669 2669 1117 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869461343 303325184 6456 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652683185 0 0 16781312 33554946 18446604455586535616 0 0 -1 7 0 0 0
[pid=2686] ppid=2669 vsize=296228 CPUtime=0.27 cores=1,3,5,7
/proc/2686/stat : 2686 (python) S 2669 2669 1117 0 -1 4202560 1116 0 0 0 12 15 0 0 16 0 2 0 869461345 303337472 6441 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2686/statm: 74057 6441 391 364 0 8941 0
[pid=2688] ppid=2686 vsize=141900 CPUtime=50.11 cores=1,3,5,7
/proc/2688/stat : 2688 (scip-2.0.1.linu) T 2686 2688 2688 0 -1 4202496 69209 0 0 0 4973 38 0 0 25 0 1 0 869461345 145305600 31987 33554432000 4194304 15243407 140734010348768 18446744073709551615 7128842 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/2688/statm: 35475 31987 944 2698 0 32770 0
[pid=2686/tid=2712] ppid=2669 vsize=296228 CPUtime=0 cores=1,3,5,7
/proc/2686/task/2712/stat : 2712 (python) S 2669 2669 1117 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869466357 303337472 6441 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652683185 0 0 16781312 33554946 18446604462580176896 0 0 -1 7 0 0 0
[pid=2713] ppid=2669 vsize=306484 CPUtime=0 cores=1,3,5,7
/proc/2713/stat : 2713 (python) S 2669 2669 1117 0 -1 4202560 772 0 0 0 0 0 0 0 16 0 1 0 869466359 313839616 6373 33554432000 4194304 5683644 140734472528704 18446744073709551615 253640879686 0 0 16781312 33554946 2966578909719560192 0 0 17 3 0 0 0
/proc/2713/statm: 76621 6373 320 364 0 11502 0
[pid=2715] ppid=2713 vsize=8541512 CPUtime=1.48 cores=1,3,5,7
/proc/2715/stat : 2715 (java) S 2713 2715 2715 0 -1 4202496 25573 0 1 0 144 4 0 0 20 0 19 0 869466360 8746508288 22541 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/2715/statm: 2135378 22545 2226 9 0 2126119 0
[pid=2715/tid=2716] ppid=2713 vsize=8541512 CPUtime=0.64 cores=1,3,5,7
/proc/2715/task/2716/stat : 2716 (java) R 2713 2715 2715 0 -1 4202560 16921 0 1 0 61 3 0 0 18 0 19 0 869466360 8746508288 23586 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 46912505820491 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2715/tid=2717] ppid=2713 vsize=8541512 CPUtime=0 cores=1,3,5,7
/proc/2715/task/2717/stat : 2717 (java) S 2713 2715 2715 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869466361 8746508288 23588 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652675481 0 4 0 16800975 18446604462580176000 0 0 -1 7 0 0 0
[pid=2715/tid=2718] ppid=2713 vsize=8541512 CPUtime=0 cores=1,3,5,7
/proc/2715/task/2718/stat : 2718 (java) S 2713 2715 2715 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869466361 8746508288 23590 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652675481 0 4 0 16800975 18446604462580176000 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=2742/tid=2748] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2748/stat : 2748 (java) S 2740 2742 2742 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869471262 8736661504 4785 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 5 0 0 0
[pid=2742/tid=2749] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2749/stat : 2749 (java) S 2740 2742 2742 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869471262 8736661504 4785 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 5 0 0 0
[pid=2742/tid=2750] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2750/stat : 2750 (java) S 2740 2742 2742 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869471262 8736661504 4785 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 5 0 0 0
[pid=2742/tid=2751] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2751/stat : 2751 (java) S 2740 2742 2742 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869471262 8736661504 4785 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 5 0 0 0
[pid=2742/tid=2752] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2752/stat : 2752 (java) S 2740 2742 2742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 869471263 8736661504 4785 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652676096 0 0 0 16800975 18446604460151925632 0 0 -1 7 0 0 0
[pid=2742/tid=2753] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2753/stat : 2753 (java) S 2740 2742 2742 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 18 0 869471263 8736661504 4785 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 7 0 0 0
[pid=2742/tid=2754] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2754/stat : 2754 (java) S 2740 2742 2742 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 869471263 8736661504 4785 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 7 0 0 0
[pid=2742/tid=2755] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2755/stat : 2755 (java) S 2740 2742 2742 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869471266 8736661504 4786 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652683185 0 4 0 16800975 18446604460151925632 0 0 -1 7 0 0 0
[pid=2742/tid=2756] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2756/stat : 2756 (java) S 2740 2742 2742 0 -1 4202560 347 0 0 0 0 0 0 0 24 0 18 0 869471266 8736661504 4786 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 3 0 0 0
[pid=2742/tid=2761] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2761/stat : 2761 (java) S 2740 2742 2742 0 -1 4202560 340 0 0 0 0 0 0 0 25 0 18 0 869471266 8736661504 4786 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 3 0 0 0
[pid=2742/tid=2762] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2762/stat : 2762 (java) S 2740 2742 2742 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869471266 8736661504 4786 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 7 0 0 0
[pid=2742/tid=2763] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2763/stat : 2763 (java) S 2740 2742 2742 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869471266 8736661504 4787 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652676096 0 4 0 16800975 18446604460151925632 0 0 -1 5 0 0 0
[pid=2669/tid=2677] ppid=2667 vsize=326984 CPUtime=0.08 cores=1,3,5,7
/proc/2669/task/2677/stat : 2677 (python) S 2667 2669 1117 0 -1 4202560 28 1364 0 0 0 0 6 2 19 0 5 0 869456285 334831616 7939 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604470766748800 0 0 -1 3 0 0 0
[pid=2669/tid=2687] ppid=2667 vsize=326984 CPUtime=0.08 cores=1,3,5,7
/proc/2669/task/2687/stat : 2687 (python) S 2667 2669 1117 0 -1 4202560 30 1364 0 0 0 0 6 2 20 0 5 0 869461345 334831616 7939 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604470766748800 0 0 -1 3 0 0 0
[pid=2669/tid=2714] ppid=2667 vsize=326984 CPUtime=0.08 cores=1,3,5,7
/proc/2669/task/2714/stat : 2714 (python) S 2667 2669 1117 0 -1 4202560 28 1364 0 0 0 0 6 2 20 0 5 0 869466360 334831616 7939 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604470766748800 0 0 -1 7 0 0 0
[pid=2669/tid=2741] ppid=2667 vsize=326984 CPUtime=0.08 cores=1,3,5,7
/proc/2669/task/2741/stat : 2741 (python) S 2667 2669 1117 0 -1 4202560 26 1364 0 0 0 0 6 2 20 0 5 0 869471260 334831616 7939 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604470766748800 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 152.59
Current children cumulated vsize (KiB) 18891628
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+150.702 s]
/proc/loadavg: 2.16 2.11 1.89 6/860 2763
/proc/meminfo: memFree=14198544/32951124 swapFree=53733252/67111528
[pid=2669] ppid=2667 vsize=326984 CPUtime=0.88 cores=1,3,5,7
/proc/2669/stat : 2669 (python) S 2667 2669 1117 0 -1 4202496 14808 1364 1 0 64 16 6 2 20 0 5 0 869456196 334831616 7939 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2669/statm: 81746 7939 1878 364 0 16624 0
[pid=2676] ppid=2669 vsize=296216 CPUtime=0.26 cores=1,3,5,7
/proc/2676/stat : 2676 (python) S 2669 2669 1117 0 -1 4202560 1101 0 0 0 11 15 0 0 16 0 2 0 869456285 303325184 6456 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2676/statm: 74054 6456 406 364 0 8941 0
[pid=2678] ppid=2676 vsize=133960 CPUtime=50.57 cores=1,3,5,7
/proc/2678/stat : 2678 (scip-2.0.1.linu) T 2676 2678 2678 0 -1 4202496 32491 0 0 0 4988 69 0 0 25 0 1 0 869456285 137175040 31042 33554432000 4194304 13684479 140735687466848 18446744073709551615 7390870 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/2678/statm: 33490 31042 837 2317 0 31168 0
[pid=2676/tid=2685] ppid=2669 vsize=296216 CPUtime=0 cores=1,3,5,7
/proc/2676/task/2685/stat : 2685 (python) S 2669 2669 1117 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869461343 303325184 6456 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652683185 0 0 16781312 33554946 18446604455586535616 0 0 -1 7 0 0 0
[pid=2686] ppid=2669 vsize=296228 CPUtime=0.27 cores=1,3,5,7
/proc/2686/stat : 2686 (python) S 2669 2669 1117 0 -1 4202560 1116 0 0 0 12 15 0 0 16 0 2 0 869461345 303337472 6441 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2686/statm: 74057 6441 391 364 0 8941 0
[pid=2688] ppid=2686 vsize=141900 CPUtime=50.11 cores=1,3,5,7
/proc/2688/stat : 2688 (scip-2.0.1.linu) T 2686 2688 2688 0 -1 4202496 69209 0 0 0 4973 38 0 0 25 0 1 0 869461345 145305600 31987 33554432000 4194304 15243407 140734010348768 18446744073709551615 7128842 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/2688/statm: 35475 31987 944 2698 0 32770 0
[pid=2686/tid=2712] ppid=2669 vsize=296228 CPUtime=0 cores=1,3,5,7
/proc/2686/task/2712/stat : 2712 (python) S 2669 2669 1117 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869466357 303337472 6441 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652683185 0 0 16781312 33554946 18446604462580176896 0 0 -1 7 0 0 0
[pid=2713] ppid=2669 vsize=306484 CPUtime=0.27 cores=1,3,5,7
/proc/2713/stat : 2713 (python) S 2669 2669 1117 0 -1 4202560 1130 0 0 0 13 14 0 0 16 0 2 0 869466359 313839616 6445 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2713/statm: 76621 6445 391 364 0 11502 0
[pid=2715] ppid=2713 vsize=8541512 CPUtime=50.16 cores=1,3,5,7
/proc/2715/stat : 2715 (java) T 2713 2715 2715 0 -1 4202496 278703 0 1 0 4980 36 0 0 18 0 19 0 869466360 8746508288 259031 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/2715/statm: 2135378 259031 2258 9 0 2126119 0
[pid=2715/tid=2716] ppid=2713 vsize=8541512 CPUtime=48.53 cores=1,3,5,7
/proc/2715/task/2716/stat : 2716 (java) T 2713 2715 2715 0 -1 4202560 252119 0 1 0 4821 32 0 0 25 0 19 0 869466360 8746508288 259031 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 46912505849076 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2715/tid=2717] ppid=2713 vsize=8541512 CPUtime=0.02 cores=1,3,5,7
/proc/2715/task/2717/stat : 2717 (java) T 2713 2715 2715 0 -1 4202560 2003 0 0 0 2 0 0 0 15 0 19 0 869466361 8746508288 259031 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2715/tid=2718] ppid=2713 vsize=8541512 CPUtime=0.02 cores=1,3,5,7
/proc/2715/task/2718/stat : 2718 (java) T 2713 2715 2715 0 -1 4202560 1762 0 0 0 2 0 0 0 15 0 19 0 869466361 8746508288 259031 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2715/tid=2719] ppid=2713 vsize=8541512 CPUtime=0.03 cores=1,3,5,7
/proc/2715/task/2719/stat : 2719 (java) T 2713 2715 2715 0 -1 4202560 3158 0 0 0 3 0 0 0 15 0 19 0 869466361 8746508288 259031 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2715/tid=2720] ppid=2713 vsize=8541512 CPUtime=0.03 cores=1,3,5,7
/proc/2715/task/2720/stat : 2720 (java) T 2713 2715 2715 0 -1 4202560 2025 0 0 0 3 0 0 0 15 0 19 0 869466361 8746508288 259031 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2715/tid=2721] ppid=2713 vsize=8541512 CPUtime=0.03 cores=1,3,5,7
/proc/2715/task/2721/stat : 2721 (java) T 2713 2715 2715 0 -1 4202560 2002 0 0 0 3 0 0 0 15 0 19 0 869466361 8746508288 259031 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2715/tid=2722] ppid=2713 vsize=8541512 CPUtime=0.02 cores=1,3,5,7
/proc/2715/task/2722/stat : 2722 (java) T 2713 2715 2715 0 -1 4202560 1569 0 0 0 2 0 0 0 15 0 19 0 869466361 8746508288 259031 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2715/tid=2723] ppid=2713 vsize=8541512 CPUtime=0.01 cores=1,3,5,7
/proc/2715/task/2723/stat : 2723 (java) T 2713 2715 2715 0 -1 4202560 919 0 0 0 1 0 0 0 15 0 19 0 869466361 8746508288 259031 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2715/tid=2724] ppid=2713 vsize=8541512 CPUtime=0.02 cores=1,3,5,7
/proc/2715/task/2724/stat : 2724 (java) T 2713 2715 2715 0 -1 4202560 2215 0 0 0 2 0 0 0 15 0 19 0 869466361 8746508288 259031 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2715/tid=2725] ppid=2713 vsize=8541512 CPUtime=0.23 cores=1,3,5,7
/proc/2715/task/2725/stat : 2725 (java) T 2713 2715 2715 0 -1 4202560 1184 0 0 0 23 0 0 0 15 0 19 0 869466362 8746508288 259031 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652676096 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2715/tid=2726] ppid=2713 vsize=8541512 CPUtime=0 cores=1,3,5,7
/proc/2715/task/2726/stat : 2726 (java) T 2713 2715 2715 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869466362 8746508288 259031 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2715/tid=2727] ppid=2713 vsize=8541512 CPUtime=0 cores=1,3,5,7
/proc/2715/task/2727/stat : 2727 (java) T 2713 2715 2715 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869466362 8746508288 259031 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2715/tid=2728] ppid=2713 vsize=8541512 CPUtime=0 cores=1,3,5,7
/proc/2715/task/2728/stat : 2728 (java) T 2713 2715 2715 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869466364 8746508288 259031 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652683185 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2715/tid=2729] ppid=2713 vsize=8541512 CPUtime=0.55 cores=1,3,5,7
/proc/2715/task/2729/stat : 2729 (java) T 2713 2715 2715 0 -1 4202560 4583 0 0 0 55 0 0 0 15 0 19 0 869466364 8746508288 259031 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2715/tid=2730] ppid=2713 vsize=8541512 CPUtime=0.55 cores=1,3,5,7
/proc/2715/task/2730/stat : 2730 (java) T 2713 2715 2715 0 -1 4202560 3771 0 0 0 55 0 0 0 15 0 19 0 869466364 8746508288 259031 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2715/tid=2731] ppid=2713 vsize=8541512 CPUtime=0 cores=1,3,5,7
/proc/2715/task/2731/stat : 2731 (java) T 2713 2715 2715 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869466364 8746508288 259031 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2715/tid=2732] ppid=2713 vsize=8541512 CPUtime=0 cores=1,3,5,7
/proc/2715/task/2732/stat : 2732 (java) T 2713 2715 2715 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869466364 8746508288 259031 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2715/tid=2733] ppid=2713 vsize=8541512 CPUtime=0 cores=1,3,5,7
/proc/2715/task/2733/stat : 2733 (java) T 2713 2715 2715 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869466412 8746508288 259031 33554432000 1073741824 1073778376 140735647155920 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2713/tid=2739] ppid=2669 vsize=306484 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2739/stat : 2739 (python) S 2669 2669 1117 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869471258 313839616 6445 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652683185 0 0 16781312 33554946 18446604469507493952 0 0 -1 7 0 0 0
[pid=2740] ppid=2669 vsize=316740 CPUtime=0 cores=1,3,5,7
/proc/2740/stat : 2740 (python) S 2669 2669 1117 0 -1 4202560 749 0 0 0 0 0 0 0 20 0 1 0 869471260 324341760 6377 33554432000 4194304 5683644 140734472528704 18446744073709551615 253640879686 0 0 16781312 33554946 372576975430058247 0 0 17 3 0 0 0
/proc/2740/statm: 79185 6377 320 364 0 14063 0
[pid=2742] ppid=2740 vsize=8531604 CPUtime=0.07 cores=1,3,5,7
/proc/2742/stat : 2742 (java) S 2740 2742 2742 0 -1 4202496 5022 0 1 0 6 1 0 0 21 0 18 0 869471260 8736362496 4474 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/2742/statm: 2132901 4475 2046 9 0 2123642 0
[pid=2742/tid=2743] ppid=2740 vsize=8531896 CPUtime=0.08 cores=1,3,5,7
/proc/2742/task/2743/stat : 2743 (java) R 2740 2742 2742 0 -1 4202560 3252 0 1 0 7 1 0 0 25 0 18 0 869471261 8736661504 4785 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652686283 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2742/tid=2744] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2744/stat : 2744 (java) S 2740 2742 2742 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869471262 8736661504 4785 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 5 0 0 0
[pid=2742/tid=2745] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2745/stat : 2745 (java) S 2740 2742 2742 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869471262 8736661504 4785 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 5 0 0 0
[pid=2742/tid=2746] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2746/stat : 2746 (java) S 2740 2742 2742 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869471262 8736661504 4785 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 5 0 0 0
[pid=2742/tid=2747] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2747/stat : 2747 (java) S 2740 2742 2742 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869471262 8736661504 4785 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 5 0 0 0
[pid=2742/tid=2748] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2748/stat : 2748 (java) S 2740 2742 2742 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869471262 8736661504 4785 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 5 0 0 0
[pid=2742/tid=2749] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2749/stat : 2749 (java) S 2740 2742 2742 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869471262 8736661504 4785 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 5 0 0 0
[pid=2742/tid=2750] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2750/stat : 2750 (java) S 2740 2742 2742 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869471262 8736661504 4785 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 5 0 0 0
[pid=2742/tid=2751] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2751/stat : 2751 (java) S 2740 2742 2742 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869471262 8736661504 4785 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 5 0 0 0
[pid=2742/tid=2752] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2752/stat : 2752 (java) S 2740 2742 2742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 869471263 8736661504 4785 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652676096 0 0 0 16800975 18446604460151925632 0 0 -1 7 0 0 0
[pid=2742/tid=2753] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2753/stat : 2753 (java) S 2740 2742 2742 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 18 0 869471263 8736661504 4785 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 7 0 0 0
[pid=2742/tid=2754] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2754/stat : 2754 (java) S 2740 2742 2742 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 869471263 8736661504 4785 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 7 0 0 0
[pid=2742/tid=2755] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2755/stat : 2755 (java) S 2740 2742 2742 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869471266 8736661504 4786 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652683185 0 4 0 16800975 18446604460151925632 0 0 -1 7 0 0 0
[pid=2742/tid=2756] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2756/stat : 2756 (java) S 2740 2742 2742 0 -1 4202560 347 0 0 0 0 0 0 0 24 0 18 0 869471266 8736661504 4786 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 3 0 0 0
[pid=2742/tid=2761] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2761/stat : 2761 (java) S 2740 2742 2742 0 -1 4202560 340 0 0 0 0 0 0 0 25 0 18 0 869471266 8736661504 4786 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 3 0 0 0
[pid=2742/tid=2762] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2762/stat : 2762 (java) S 2740 2742 2742 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869471266 8736661504 4786 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652675481 0 4 0 16800975 18446604460151925632 0 0 -1 7 0 0 0
[pid=2742/tid=2763] ppid=2740 vsize=8531896 CPUtime=0 cores=1,3,5,7
/proc/2742/task/2763/stat : 2763 (java) S 2740 2742 2742 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869471266 8736661504 4787 33554432000 1073741824 1073778376 140736526148016 18446744073709551615 253652676096 0 4 0 16800975 18446604460151925632 0 0 -1 5 0 0 0
[pid=2669/tid=2677] ppid=2667 vsize=326984 CPUtime=0.08 cores=1,3,5,7
/proc/2669/task/2677/stat : 2677 (python) S 2667 2669 1117 0 -1 4202560 28 1364 0 0 0 0 6 2 19 0 5 0 869456285 334831616 7939 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604470766748800 0 0 -1 3 0 0 0
[pid=2669/tid=2687] ppid=2667 vsize=326984 CPUtime=0.08 cores=1,3,5,7
/proc/2669/task/2687/stat : 2687 (python) S 2667 2669 1117 0 -1 4202560 30 1364 0 0 0 0 6 2 20 0 5 0 869461345 334831616 7939 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604470766748800 0 0 -1 3 0 0 0
[pid=2669/tid=2714] ppid=2667 vsize=326984 CPUtime=0.08 cores=1,3,5,7
/proc/2669/task/2714/stat : 2714 (python) S 2667 2669 1117 0 -1 4202560 28 1364 0 0 0 0 6 2 20 0 5 0 869466360 334831616 7939 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604470766748800 0 0 -1 7 0 0 0
[pid=2669/tid=2741] ppid=2667 vsize=326984 CPUtime=0.08 cores=1,3,5,7
/proc/2669/task/2741/stat : 2741 (python) S 2667 2669 1117 0 -1 4202560 26 1364 0 0 0 0 6 2 20 0 5 0 869471260 334831616 7939 33554432000 4194304 5683644 140734472528704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604470766748800 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 152.59
Current children cumulated vsize (KiB) 18891628
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2669 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=718890
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=192970
# CPU time returned by wait4() is 0.91186
# while last known CPU time is 152.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 150.786
CPU time (s): 152.59
CPU user time (s): 150.53
CPU system time (s): 2.06
CPU usage (%): 101.197
Max. virtual memory (cumulated for all children) (KiB): 18891628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.71889
system time used= 0.19297
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16647
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= 5952
involuntary context switches= 18
runsolver used 0.928858 second user time and 2.23366 second system time
The end