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-3481545-1307578112/watcher-3481545-1307578112 -o /tmp/evaluation-result-3481545-1307578112/solver-3481545-1307578112 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481545-1307578112.opb -seed 2021938971 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.69 2/747 29618
/proc/meminfo: memFree=14880436/32951124 swapFree=60476376/67111528
[pid=29618] ppid=29616 vsize=16240 CPUtime=0.01 cores=1,3,5,7
/proc/29618/stat : 29618 (python) R 29616 29618 27243 0 -1 4202496 1050 0 0 0 1 0 0 0 17 0 1 0 850227216 16629760 922 33554432000 4194304 5683644 140736087765456 18446744073709551615 220816236288 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/29618/statm: 4060 926 381 364 0 547 0
[startup+0.0607629 s]
/proc/loadavg: 2.00 2.00 1.69 2/747 29618
/proc/meminfo: memFree=14880436/32951124 swapFree=60476376/67111528
[pid=29618] ppid=29616 vsize=36504 CPUtime=0.03 cores=1,3,5,7
/proc/29618/stat : 29618 (python) S 29616 29618 27243 0 -1 4202496 1619 0 0 0 3 0 0 0 17 0 1 0 850227216 37380096 1450 33554432000 4194304 5683644 140736087765456 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/29618/statm: 9127 1451 452 364 0 944 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 36504
[startup+0.100729 s]
/proc/loadavg: 2.00 2.00 1.69 2/747 29618
/proc/meminfo: memFree=14880436/32951124 swapFree=60476376/67111528
[pid=29618] ppid=29616 vsize=96124 CPUtime=0.06 cores=1,3,5,7
/proc/29618/stat : 29618 (python) R 29616 29618 27243 0 -1 4202496 3166 931 1 0 5 1 0 0 18 0 1 0 850227216 98430976 2483 33554432000 4194304 5683644 140736087765456 18446744073709551615 5177984 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/29618/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.300741 s]
/proc/loadavg: 2.00 2.00 1.69 2/747 29618
/proc/meminfo: memFree=14880436/32951124 swapFree=60476376/67111528
[pid=29618] ppid=29616 vsize=175624 CPUtime=0.2 cores=1,3,5,7
/proc/29618/stat : 29618 (python) S 29616 29618 27243 0 -1 4202496 6237 931 1 0 16 4 0 0 17 0 1 0 850227216 179838976 4549 33554432000 4194304 5683644 140736087765456 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/29618/statm: 43906 4549 1236 364 0 3533 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 175624
[startup+0.700653 s]
/proc/loadavg: 2.00 2.00 1.69 2/747 29618
/proc/meminfo: memFree=14880436/32951124 swapFree=60476376/67111528
[pid=29618] ppid=29616 vsize=284720 CPUtime=0.59 cores=1,3,5,7
/proc/29618/stat : 29618 (python) R 29616 29618 27243 0 -1 4202496 10848 1350 1 0 44 11 3 1 17 0 1 0 850227216 291553280 7573 33554432000 4194304 5683644 140736087765456 18446744073709551615 220819718393 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/29618/statm: 71180 7573 1864 364 0 6070 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 284720
[startup+1.50052 s]
/proc/loadavg: 2.00 2.00 1.69 3/751 29627
/proc/meminfo: memFree=14825844/32951124 swapFree=60476376/67111528
[pid=29618] ppid=29616 vsize=294976 CPUtime=0.6 cores=1,3,5,7
/proc/29618/stat : 29618 (python) S 29616 29618 27243 0 -1 4202496 11121 1350 1 0 45 11 3 1 19 0 2 0 850227216 302055424 7584 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29618/statm: 73744 7584 1871 364 0 8631 0
[pid=29625] ppid=29618 vsize=284732 CPUtime=0 cores=1,3,5,7
/proc/29625/stat : 29625 (python) S 29618 29618 27243 0 -1 4202560 745 0 0 0 0 0 0 0 15 0 1 0 850227287 291565568 6028 33554432000 4194304 5683644 140736087765456 18446744073709551615 220816256527 0 0 16781312 33554946 272183407671246848 0 0 17 5 0 0 0
/proc/29625/statm: 71183 6028 319 364 0 6070 0
[pid=29627] ppid=29625 vsize=45420 CPUtime=0.78 cores=1,3,5,7
/proc/29627/stat : 29627 (scip-2.0.1.linu) R 29625 29627 29627 0 -1 4202496 9639 0 0 0 66 12 0 0 21 0 1 0 850227287 46510080 8982 33554432000 4194304 13684479 140735017826912 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29627/statm: 11355 8982 756 2317 0 9033 0
[pid=29618/tid=29626] ppid=29616 vsize=294976 CPUtime=0.04 cores=1,3,5,7
/proc/29618/task/29626/stat : 29626 (python) S 29616 29618 27243 0 -1 4202560 31 1350 0 0 0 0 3 1 19 0 2 0 850227287 302055424 7584 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464372329344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 625128
[startup+3.10123 s]
/proc/loadavg: 2.00 2.00 1.69 3/751 29627
/proc/meminfo: memFree=14810716/32951124 swapFree=60476376/67111528
[pid=29618] ppid=29616 vsize=294976 CPUtime=0.6 cores=1,3,5,7
/proc/29618/stat : 29618 (python) S 29616 29618 27243 0 -1 4202496 11121 1350 1 0 45 11 3 1 19 0 2 0 850227216 302055424 7584 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29618/statm: 73744 7584 1871 364 0 8631 0
[pid=29625] ppid=29618 vsize=284732 CPUtime=0 cores=1,3,5,7
/proc/29625/stat : 29625 (python) S 29618 29618 27243 0 -1 4202560 752 0 0 0 0 0 0 0 15 0 1 0 850227287 291565568 6028 33554432000 4194304 5683644 140736087765456 18446744073709551615 220816256527 0 0 16781312 33554946 3118429595888517120 0 0 17 5 0 0 0
/proc/29625/statm: 71183 6028 319 364 0 6070 0
[pid=29627] ppid=29625 vsize=57204 CPUtime=2.38 cores=1,3,5,7
/proc/29627/stat : 29627 (scip-2.0.1.linu) R 29625 29627 29627 0 -1 4202496 12731 0 0 0 219 19 0 0 18 0 1 0 850227287 58576896 12033 33554432000 4194304 13684479 140735017826912 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29627/statm: 14301 12033 786 2317 0 11979 0
[pid=29618/tid=29626] ppid=29616 vsize=294976 CPUtime=0.04 cores=1,3,5,7
/proc/29618/task/29626/stat : 29626 (python) S 29616 29618 27243 0 -1 4202560 31 1350 0 0 0 0 3 1 19 0 2 0 850227287 302055424 7584 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464372329344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 636912
[startup+6.30062 s]
/proc/loadavg: 2.00 2.00 1.69 3/751 29627
/proc/meminfo: memFree=14806404/32951124 swapFree=60476376/67111528
[pid=29618] ppid=29616 vsize=294976 CPUtime=0.6 cores=1,3,5,7
/proc/29618/stat : 29618 (python) S 29616 29618 27243 0 -1 4202496 11121 1350 1 0 45 11 3 1 19 0 2 0 850227216 302055424 7584 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29618/statm: 73744 7584 1871 364 0 8631 0
[pid=29625] ppid=29618 vsize=284732 CPUtime=0.02 cores=1,3,5,7
/proc/29625/stat : 29625 (python) S 29618 29618 27243 0 -1 4202560 901 0 0 0 1 1 0 0 15 0 1 0 850227287 291565568 6052 33554432000 4194304 5683644 140736087765456 18446744073709551615 220816256527 0 0 16781312 33554946 1892213585317199872 0 0 17 7 0 0 0
/proc/29625/statm: 71183 6052 343 364 0 6070 0
[pid=29627] ppid=29625 vsize=57032 CPUtime=5.58 cores=1,3,5,7
/proc/29627/stat : 29627 (scip-2.0.1.linu) R 29625 29627 29627 0 -1 4202496 13498 0 0 0 522 36 0 0 18 0 1 0 850227287 58400768 12064 33554432000 4194304 13684479 140735017826912 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29627/statm: 14258 12064 809 2317 0 11936 0
[pid=29618/tid=29626] ppid=29616 vsize=294976 CPUtime=0.04 cores=1,3,5,7
/proc/29618/task/29626/stat : 29626 (python) S 29616 29618 27243 0 -1 4202560 31 1350 0 0 0 0 3 1 19 0 2 0 850227287 302055424 7584 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464372329344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 636740
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.69 5/751 29627
/proc/meminfo: memFree=14804820/32951124 swapFree=60476376/67111528
[pid=29618] ppid=29616 vsize=294976 CPUtime=0.6 cores=1,3,5,7
/proc/29618/stat : 29618 (python) S 29616 29618 27243 0 -1 4202496 11121 1350 1 0 45 11 3 1 19 0 2 0 850227216 302055424 7584 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29618/statm: 73744 7584 1871 364 0 8631 0
[pid=29625] ppid=29618 vsize=284732 CPUtime=0.06 cores=1,3,5,7
/proc/29625/stat : 29625 (python) S 29618 29618 27243 0 -1 4202560 914 0 0 0 3 3 0 0 15 0 1 0 850227287 291565568 6053 33554432000 4194304 5683644 140736087765456 18446744073709551615 220816256527 0 0 16781312 33554946 1358485893593169920 0 0 17 3 0 0 0
/proc/29625/statm: 71183 6053 344 364 0 6070 0
[pid=29627] ppid=29625 vsize=59212 CPUtime=11.98 cores=1,3,5,7
/proc/29627/stat : 29627 (scip-2.0.1.linu) R 29625 29627 29627 0 -1 4202496 20578 0 0 0 1070 128 0 0 18 0 1 0 850227287 60633088 12572 33554432000 4194304 13684479 140735017826912 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29627/statm: 14803 12572 811 2317 0 12481 0
[pid=29618/tid=29626] ppid=29616 vsize=294976 CPUtime=0.04 cores=1,3,5,7
/proc/29618/task/29626/stat : 29626 (python) S 29616 29618 27243 0 -1 4202560 31 1350 0 0 0 0 3 1 19 0 2 0 850227287 302055424 7584 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464372329344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 638920
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 1.69 3/751 29627
/proc/meminfo: memFree=14795184/32951124 swapFree=60476376/67111528
[pid=29618] ppid=29616 vsize=294976 CPUtime=0.6 cores=1,3,5,7
/proc/29618/stat : 29618 (python) S 29616 29618 27243 0 -1 4202496 11121 1350 1 0 45 11 3 1 19 0 2 0 850227216 302055424 7584 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29618/statm: 73744 7584 1871 364 0 8631 0
[pid=29625] ppid=29618 vsize=284732 CPUtime=0.14 cores=1,3,5,7
/proc/29625/stat : 29625 (python) S 29618 29618 27243 0 -1 4202560 940 0 0 0 7 7 0 0 15 0 1 0 850227287 291565568 6053 33554432000 4194304 5683644 140736087765456 18446744073709551615 220816256527 0 0 16781312 33554946 467883699887669248 0 0 17 7 0 0 0
/proc/29625/statm: 71183 6053 344 364 0 6070 0
[pid=29627] ppid=29625 vsize=67328 CPUtime=24.78 cores=1,3,5,7
/proc/29627/stat : 29627 (scip-2.0.1.linu) R 29625 29627 29627 0 -1 4202496 25397 0 0 0 2150 328 0 0 18 0 1 0 850227287 68943872 14692 33554432000 4194304 13684479 140735017826912 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29627/statm: 16832 14692 815 2317 0 14510 0
[pid=29618/tid=29626] ppid=29616 vsize=294976 CPUtime=0.04 cores=1,3,5,7
/proc/29618/task/29626/stat : 29626 (python) S 29616 29618 27243 0 -1 4202560 31 1350 0 0 0 0 3 1 19 0 2 0 850227287 302055424 7584 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464372329344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 647036
[startup+51.1004 s]
/proc/loadavg: 2.34 2.08 1.73 3/746 29688
/proc/meminfo: memFree=14540920/32951124 swapFree=60476376/67111528
[pid=29618] ppid=29616 vsize=294976 CPUtime=0.6 cores=1,3,5,7
/proc/29618/stat : 29618 (python) S 29616 29618 27243 0 -1 4202496 11121 1350 1 0 45 11 3 1 19 0 2 0 850227216 302055424 7584 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29618/statm: 73744 7584 1871 364 0 8631 0
[pid=29625] ppid=29618 vsize=284732 CPUtime=0.29 cores=1,3,5,7
/proc/29625/stat : 29625 (python) S 29618 29618 27243 0 -1 4202560 993 0 0 0 15 14 0 0 15 0 1 0 850227287 291565568 6053 33554432000 4194304 5683644 140736087765456 18446744073709551615 220816256527 0 0 16781312 33554946 3140531098161774592 0 0 17 7 0 0 0
/proc/29625/statm: 71183 6053 344 364 0 6070 0
[pid=29627] ppid=29625 vsize=82616 CPUtime=50.38 cores=1,3,5,7
/proc/29627/stat : 29627 (scip-2.0.1.linu) R 29625 29627 29627 0 -1 4202496 30949 0 0 0 4273 765 0 0 18 0 1 0 850227287 84598784 18462 33554432000 4194304 13684479 140735017826912 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29627/statm: 20654 18462 815 2317 0 18332 0
[pid=29618/tid=29626] ppid=29616 vsize=294976 CPUtime=0.04 cores=1,3,5,7
/proc/29618/task/29626/stat : 29626 (python) S 29616 29618 27243 0 -1 4202560 31 1350 0 0 0 0 3 1 19 0 2 0 850227287 302055424 7584 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464372329344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.27
Current children cumulated vsize (KiB) 662324
[startup+102.32 s]
/proc/loadavg: 2.14 2.06 1.74 3/754 29697
/proc/meminfo: memFree=14232824/32951124 swapFree=60476376/67111528
[pid=29618] ppid=29616 vsize=305736 CPUtime=0.62 cores=1,3,5,7
/proc/29618/stat : 29618 (python) S 29616 29618 27243 0 -1 4202496 12005 1350 1 0 47 11 3 1 20 0 3 0 850227216 313073664 7717 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29618/statm: 76434 7717 1874 364 0 11318 0
[pid=29625] ppid=29618 vsize=294976 CPUtime=0.33 cores=1,3,5,7
/proc/29625/stat : 29625 (python) S 29618 29618 27243 0 -1 4202560 1202 0 0 0 17 16 0 0 16 0 2 0 850227287 302055424 6121 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29625/statm: 73744 6121 407 364 0 8631 0
[pid=29627] ppid=29625 vsize=85772 CPUtime=55.97 cores=1,3,5,7
/proc/29627/stat : 29627 (scip-2.0.1.linu) T 29625 29627 29627 0 -1 4202496 33267 0 0 0 4736 861 0 0 18 0 1 0 850227287 87830528 19249 33554432000 4194304 13684479 140735017826912 18446744073709551615 7260824 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/29627/statm: 21443 19249 815 2317 0 19121 0
[pid=29625/tid=29689] ppid=29618 vsize=294976 CPUtime=0 cores=1,3,5,7
/proc/29625/task/29689/stat : 29689 (python) S 29618 29618 27243 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 850232885 302055424 6121 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828060081 0 0 16781312 33554946 18446604464372327552 0 0 -1 7 0 0 0
[pid=29690] ppid=29618 vsize=295492 CPUtime=0.25 cores=1,3,5,7
/proc/29690/stat : 29690 (python) S 29618 29618 27243 0 -1 4202560 968 0 0 0 12 13 0 0 15 0 1 0 850232887 302583808 6184 33554432000 4194304 5683644 140736087765456 18446744073709551615 220816256582 0 0 16781312 33554946 3967561419334877184 0 0 17 1 0 0 0
/proc/29690/statm: 73873 6184 345 364 0 8757 0
[pid=29692] ppid=29690 vsize=75792 CPUtime=45.6 cores=1,3,5,7
/proc/29692/stat : 29692 (scip-2.0.1.linu) R 29690 29692 29692 0 -1 4202496 37174 0 0 0 4311 249 0 0 18 0 1 0 850232888 77611008 16253 33554432000 4194304 15243407 140735642547232 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29692/statm: 18948 16253 928 2698 0 16243 0
[pid=29618/tid=29626] ppid=29616 vsize=305736 CPUtime=0.04 cores=1,3,5,7
/proc/29618/task/29626/stat : 29626 (python) S 29616 29618 27243 0 -1 4202560 31 1350 0 0 0 0 3 1 19 0 3 0 850227287 313073664 7717 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464372329344 0 0 -1 7 0 0 0
[pid=29618/tid=29691] ppid=29616 vsize=305736 CPUtime=0.04 cores=1,3,5,7
/proc/29618/task/29691/stat : 29691 (python) S 29616 29618 27243 0 -1 4202560 24 1350 0 0 0 0 3 1 20 0 3 0 850232888 313073664 7717 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464372329344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 102.77
Current children cumulated vsize (KiB) 1057768
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+155.001 s]
/proc/loadavg: 2.22 2.08 1.76 6/820 29773
/proc/meminfo: memFree=12772600/32951124 swapFree=60476376/67111528
[pid=29618] ppid=29616 vsize=326248 CPUtime=0.67 cores=1,3,5,7
/proc/29618/stat : 29618 (python) S 29616 29618 27243 0 -1 4202496 13880 1350 1 0 51 12 3 1 20 0 5 0 850227216 334077952 7729 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/29618/statm: 81562 7729 1878 364 0 16440 0
[pid=29625] ppid=29618 vsize=294976 CPUtime=0.33 cores=1,3,5,7
/proc/29625/stat : 29625 (python) S 29618 29618 27243 0 -1 4202560 1202 0 0 0 17 16 0 0 16 0 2 0 850227287 302055424 6121 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29625/statm: 73744 6121 407 364 0 8631 0
[pid=29627] ppid=29625 vsize=85772 CPUtime=55.97 cores=1,3,5,7
/proc/29627/stat : 29627 (scip-2.0.1.linu) T 29625 29627 29627 0 -1 4202496 33267 0 0 0 4736 861 0 0 18 0 1 0 850227287 87830528 19249 33554432000 4194304 13684479 140735017826912 18446744073709551615 7260824 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/29627/statm: 21443 19249 815 2317 0 19121 0
[pid=29625/tid=29689] ppid=29618 vsize=294976 CPUtime=0 cores=1,3,5,7
/proc/29625/task/29689/stat : 29689 (python) S 29618 29618 27243 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 850232885 302055424 6121 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828060081 0 0 16781312 33554946 18446604464372327552 0 0 -1 7 0 0 0
[pid=29690] ppid=29618 vsize=295492 CPUtime=0.3 cores=1,3,5,7
/proc/29690/stat : 29690 (python) S 29618 29618 27243 0 -1 4202560 1179 0 0 0 14 16 0 0 17 0 2 0 850232887 302583808 6232 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29690/statm: 73873 6232 392 364 0 8757 0
[pid=29692] ppid=29690 vsize=77692 CPUtime=51.9 cores=1,3,5,7
/proc/29692/stat : 29692 (scip-2.0.1.linu) T 29690 29692 29692 0 -1 4202496 37578 0 0 0 4903 287 0 0 18 0 1 0 850232888 79556608 16657 33554432000 4194304 15243407 140735642547232 18446744073709551615 7280850 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/29692/statm: 19423 16657 928 2698 0 16718 0
[pid=29690/tid=29699] ppid=29618 vsize=295492 CPUtime=0 cores=1,3,5,7
/proc/29690/task/29699/stat : 29699 (python) S 29618 29618 27243 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 850238078 302583808 6232 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828060081 0 0 16781312 33554946 18446604468338873472 0 0 -1 7 0 0 0
[pid=29701] ppid=29618 vsize=305748 CPUtime=0.23 cores=1,3,5,7
/proc/29701/stat : 29701 (python) S 29618 29618 27243 0 -1 4202560 1130 0 0 0 11 12 0 0 17 0 2 0 850238081 313085952 6235 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/29701/statm: 76437 6235 391 364 0 11318 0
[pid=29704] ppid=29701 vsize=8539148 CPUtime=47.19 cores=1,3,5,7
/proc/29704/stat : 29704 (java) T 29701 29704 29704 0 -1 4202496 80145 0 1 0 4705 14 0 0 18 0 19 0 850238081 8744087552 39534 33554432000 1073741824 1073778376 140737391049680 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29704/statm: 2134787 39534 2258 9 0 2125528 0
[pid=29704/tid=29705] ppid=29701 vsize=8539148 CPUtime=44.14 cores=1,3,5,7
/proc/29704/task/29705/stat : 29705 (java) T 29701 29704 29704 0 -1 4202560 41713 0 1 0 4409 5 0 0 25 0 19 0 850238082 8744087552 39534 33554432000 1073741824 1073778376 140737391049680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29704/tid=29706] ppid=29701 vsize=8539148 CPUtime=0.07 cores=1,3,5,7
/proc/29704/task/29706/stat : 29706 (java) T 29701 29704 29704 0 -1 4202560 2122 0 0 0 7 0 0 0 15 0 19 0 850238083 8744087552 39534 33554432000 1073741824 1073778376 140737391049680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29704/tid=29707] ppid=29701 vsize=8539148 CPUtime=0.1 cores=1,3,5,7
/proc/29704/task/29707/stat : 29707 (java) T 29701 29704 29704 0 -1 4202560 3626 0 0 0 10 0 0 0 15 0 19 0 850238083 8744087552 39534 33554432000 1073741824 1073778376 140737391049680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29704/tid=29708] ppid=29701 vsize=8539148 CPUtime=0.1 cores=1,3,5,7
/proc/29704/task/29708/stat : 29708 (java) T 29701 29704 29704 0 -1 4202560 2341 0 0 0 10 0 0 0 15 0 19 0 850238083 8744087552 39534 33554432000 1073741824 1073778376 140737391049680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29704/tid=29710] ppid=29701 vsize=8539148 CPUtime=0.11 cores=1,3,5,7
/proc/29704/task/29710/stat : 29710 (java) T 29701 29704 29704 0 -1 4202560 2160 0 0 0 11 0 0 0 15 0 19 0 850238083 8744087552 39534 33554432000 1073741824 1073778376 140737391049680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29704/tid=29711] ppid=29701 vsize=8539148 CPUtime=0.1 cores=1,3,5,7
/proc/29704/task/29711/stat : 29711 (java) T 29701 29704 29704 0 -1 4202560 1615 0 0 0 10 0 0 0 15 0 19 0 850238083 8744087552 39534 33554432000 1073741824 1073778376 140737391049680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29704/tid=29712] ppid=29701 vsize=8539148 CPUtime=0.09 cores=1,3,5,7
/proc/29704/task/29712/stat : 29712 (java) T 29701 29704 29704 0 -1 4202560 2107 0 0 0 9 0 0 0 15 0 19 0 850238083 8744087552 39534 33554432000 1073741824 1073778376 140737391049680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29704/tid=29713] ppid=29701 vsize=8539148 CPUtime=0.09 cores=1,3,5,7
/proc/29704/task/29713/stat : 29713 (java) T 29701 29704 29704 0 -1 4202560 2002 0 0 0 9 0 0 0 15 0 19 0 850238083 8744087552 39534 33554432000 1073741824 1073778376 140737391049680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=29704/tid=29714] ppid=29701 vsize=8539148 CPUtime=0.07 cores=1,3,5,7
/proc/29704/task/29714/stat : 29714 (java) T 29701 29704 29704 0 -1 4202560 1138 0 0 0 7 0 0 0 15 0 19 0 850238083 8744087552 39534 33554432000 1073741824 1073778376 140737391049680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=29704/tid=29716] ppid=29701 vsize=8539148 CPUtime=1 cores=1,3,5,7
/proc/29704/task/29716/stat : 29716 (java) T 29701 29704 29704 0 -1 4202560 6433 0 0 0 98 2 0 0 15 0 19 0 850238084 8744087552 39534 33554432000 1073741824 1073778376 140737391049680 18446744073709551615 47796572812689 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29704/tid=29717] ppid=29701 vsize=8539148 CPUtime=0 cores=1,3,5,7
/proc/29704/task/29717/stat : 29717 (java) T 29701 29704 29704 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850238084 8744087552 39534 33554432000 1073741824 1073778376 140737391049680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29704/tid=29719] ppid=29701 vsize=8539148 CPUtime=0 cores=1,3,5,7
/proc/29704/task/29719/stat : 29719 (java) T 29701 29704 29704 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850238084 8744087552 39534 33554432000 1073741824 1073778376 140737391049680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29704/tid=29720] ppid=29701 vsize=8539148 CPUtime=0 cores=1,3,5,7
/proc/29704/task/29720/stat : 29720 (java) T 29701 29704 29704 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850238087 8744087552 39534 33554432000 1073741824 1073778376 140737391049680 18446744073709551615 220828060081 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29704/tid=29722] ppid=29701 vsize=8539148 CPUtime=0.63 cores=1,3,5,7
/proc/29704/task/29722/stat : 29722 (java) T 29701 29704 29704 0 -1 4202560 8608 0 0 0 62 1 0 0 15 0 19 0 850238087 8744087552 39534 33554432000 1073741824 1073778376 140737391049680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=29704/tid=29723] ppid=29701 vsize=8539148 CPUtime=0.56 cores=1,3,5,7
/proc/29704/task/29723/stat : 29723 (java) T 29701 29704 29704 0 -1 4202560 4890 0 0 0 56 0 0 0 15 0 19 0 850238087 8744087552 39534 33554432000 1073741824 1073778376 140737391049680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29704/tid=29724] ppid=29701 vsize=8539148 CPUtime=0 cores=1,3,5,7
/proc/29704/task/29724/stat : 29724 (java) T 29701 29704 29704 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850238087 8744087552 39534 33554432000 1073741824 1073778376 140737391049680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29704/tid=29725] ppid=29701 vsize=8539148 CPUtime=0 cores=1,3,5,7
/proc/29704/task/29725/stat : 29725 (java) T 29701 29704 29704 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 850238087 8744087552 39534 33554432000 1073741824 1073778376 140737391049680 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29704/tid=29726] ppid=29701 vsize=8539148 CPUtime=0 cores=1,3,5,7
/proc/29704/task/29726/stat : 29726 (java) T 29701 29704 29704 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850238122 8744087552 39534 33554432000 1073741824 1073778376 140737391049680 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29701/tid=29750] ppid=29618 vsize=305748 CPUtime=0 cores=1,3,5,7
/proc/29701/task/29750/stat : 29750 (python) S 29618 29618 27243 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850242640 313085952 6235 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828060081 0 0 16781312 33554946 18446604466332690496 0 0 -1 1 0 0 0
[pid=29751] ppid=29618 vsize=316004 CPUtime=0 cores=1,3,5,7
/proc/29751/stat : 29751 (python) S 29618 29618 27243 0 -1 4202560 782 0 0 0 0 0 0 0 15 0 1 0 850242643 323588096 6167 33554432000 4194304 5683644 140736087765456 18446744073709551615 220816256582 0 0 16781312 33554946 4294934789 0 0 17 1 0 0 0
/proc/29751/statm: 79001 6167 320 364 0 13879 0
[pid=29754] ppid=29751 vsize=8614580 CPUtime=1.89 cores=1,3,5,7
/proc/29754/stat : 29754 (java) S 29751 29754 29754 0 -1 4202496 26927 0 1 0 185 4 0 0 20 0 19 0 850242643 8821329920 19091 33554432000 1073741824 1073778376 140737042853952 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/29754/statm: 2153645 19091 2223 9 0 2144386 0
[pid=29754/tid=29755] ppid=29751 vsize=8614580 CPUtime=0.75 cores=1,3,5,7
/proc/29754/task/29755/stat : 29755 (java) R 29751 29754 29754 0 -1 4202560 9268 0 1 0 74 1 0 0 19 0 19 0 850242644 8821329920 19097 33554432000 1073741824 1073778376 140737042853952 18446744073709551615 46912505561448 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29754/tid=29756] ppid=29751 vsize=8614580 CPUtime=0 cores=1,3,5,7
/proc/29754/task/29756/stat : 29756 (java) S 29751 29754 29754 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850242644 8821329920 19097 33554432000 1073741824 1073778376 140737042853952 18446744073709551615 220828052377 0 4 0 16800975 18446604466240579648 0 0 -1 7 0 0 0
[pid=29754/tid=29757] ppid=29751 vsize=8614580 CPUtime=0 cores=1,3,5,7
/proc/29754/task/29757/stat : 29757 (java) S 29751 29754 29754 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850242644 8821329920 19097 33554432000 1073741824 1073778376 140737042853952 18446744073709551615 220828052377 0 4 0 16800975 18446604466240579648 0 0 -1 7 0 0 0
[pid=29754/tid=29758] ppid=29751 vsize=8614580 CPUtime=0 cores=1,3,5,7
/proc/29754/task/29758/stat : 29758 (java) S 29751 29754 29754 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850242644 8821329920 19097 33554432000 1073741824 1073778376 140737042853952 18446744073709551615 220828052377 0 4 0 16800975 18446604466240579648 0 0 -1 7 0 0 0
[pid=29754/tid=29759] ppid=29751 vsize=8614580 CPUtime=0 cores=1,3,5,7
/proc/29754/task/29759/stat : 29759 (java) S 29751 29754 29754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850242644 8821329920 19098 33554432000 1073741824 1073778376 140737042853952 18446744073709551615 220828052377 0 4 0 16800975 18446604466240579648 0 0 -1 3 0 0 0
[pid=29754/tid=29760] ppid=29751 vsize=8614580 CPUtime=0 cores=1,3,5,7
/proc/29754/task/29760/stat : 29760 (java) S 29751 29754 29754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850242644 8821329920 19098 33554432000 1073741824 1073778376 140737042853952 18446744073709551615 220828052377 0 4 0 16800975 18446604466240579648 0 0 -1 3 0 0 0
[pid=29754/tid=29761] ppid=29751 vsize=8614580 CPUtime=0 cores=1,3,5,7
/proc/29754/task/29761/stat : 29761 (java) S 29751 29754 29754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850242644 8821329920 19098 33554432000 1073741824 1073778376 140737042853952 18446744073709551615 220828052377 0 4 0 16800975 18446604466240579648 0 0 -1 3 0 0 0
[pid=29754/tid=29762] ppid=29751 vsize=8614580 CPUtime=0 cores=1,3,5,7
/proc/29754/task/29762/stat : 29762 (java) S 29751 29754 29754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850242644 8821329920 19098 33554432000 1073741824 1073778376 140737042853952 18446744073709551615 220828052377 0 4 0 16800975 18446604466240579648 0 0 -1 3 0 0 0
[pid=29754/tid=29763] ppid=29751 vsize=8614580 CPUtime=0 cores=1,3,5,7
/proc/29754/task/29763/stat : 29763 (java) S 29751 29754 29754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850242644 8821329920 19098 33554432000 1073741824 1073778376 140737042853952 18446744073709551615 220828052377 0 4 0 16800975 18446604466240579648 0 0 -1 3 0 0 0
[pid=29754/tid=29764] ppid=29751 vsize=8614580 CPUtime=0 cores=1,3,5,7
/proc/29754/task/29764/stat : 29764 (java) S 29751 29754 29754 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850242645 8821329920 19098 33554432000 1073741824 1073778376 140737042853952 18446744073709551615 220828052992 0 0 0 16800975 18446604466240579648 0 0 -1 7 0 0 0
[pid=29754/tid=29765] ppid=29751 vsize=8614580 CPUtime=0 cores=1,3,5,7
/proc/29754/task/29765/stat : 29765 (java) S 29751 29754 29754 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850242645 8821329920 19098 33554432000 1073741824 1073778376 140737042853952 18446744073709551615 220828052377 0 4 0 16800975 18446604466240579648 0 0 -1 7 0 0 0
[pid=29754/tid=29766] ppid=29751 vsize=8614580 CPUtime=0 cores=1,3,5,7
/proc/29754/task/29766/stat : 29766 (java) S 29751 29754 29754 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850242645 8821329920 19098 33554432000 1073741824 1073778376 140737042853952 18446744073709551615 220828052377 0 4 0 16800975 18446604466240579648 0 0 -1 7 0 0 0
[pid=29754/tid=29767] ppid=29751 vsize=8614580 CPUtime=0 cores=1,3,5,7
/proc/29754/task/29767/stat : 29767 (java) S 29751 29754 29754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850242648 8821329920 19099 33554432000 1073741824 1073778376 140737042853952 18446744073709551615 220828060081 0 4 0 16800975 18446604466240579648 0 0 -1 7 0 0 0
[pid=29754/tid=29768] ppid=29751 vsize=8614580 CPUtime=0.59 cores=1,3,5,7
/proc/29754/task/29768/stat : 29768 (java) R 29751 29754 29754 0 -1 4202560 8336 0 0 0 59 0 0 0 18 0 19 0 850242648 8821329920 19099 33554432000 1073741824 1073778376 140737042853952 18446744073709551615 47205896054382 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29754/tid=29770] ppid=29751 vsize=8614580 CPUtime=0.53 cores=1,3,5,7
/proc/29754/task/29770/stat : 29770 (java) R 29751 29754 29754 0 -1 4202560 7933 0 0 0 52 1 0 0 16 0 19 0 850242648 8821329920 19099 33554432000 1073741824 1073778376 140737042853952 18446744073709551615 47205900262518 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29754/tid=29771] ppid=29751 vsize=8614580 CPUtime=0 cores=1,3,5,7
/proc/29754/task/29771/stat : 29771 (java) S 29751 29754 29754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850242648 8821329920 19099 33554432000 1073741824 1073778376 140737042853952 18446744073709551615 220828052377 0 4 0 16800975 18446604466240579648 0 0 -1 7 0 0 0
[pid=29754/tid=29772] ppid=29751 vsize=8614580 CPUtime=0 cores=1,3,5,7
/proc/29754/task/29772/stat : 29772 (java) S 29751 29754 29754 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850242648 8821329920 19099 33554432000 1073741824 1073778376 140737042853952 18446744073709551615 220828052992 0 4 0 16800975 18446604466240579648 0 0 -1 7 0 0 0
[pid=29754/tid=29773] ppid=29751 vsize=8614580 CPUtime=0 cores=1,3,5,7
/proc/29754/task/29773/stat : 29773 (java) S 29751 29754 29754 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850242684 8821329920 19099 33554432000 1073741824 1073778376 140737042853952 18446744073709551615 220828052992 0 4 0 16800975 18446604466240579648 0 0 -1 1 0 0 0
[pid=29618/tid=29626] ppid=29616 vsize=326248 CPUtime=0.04 cores=1,3,5,7
/proc/29618/task/29626/stat : 29626 (python) S 29616 29618 27243 0 -1 4202560 31 1350 0 0 0 0 3 1 19 0 5 0 850227287 334077952 7729 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464372329344 0 0 -1 7 0 0 0
[pid=29618/tid=29691] ppid=29616 vsize=326248 CPUtime=0.04 cores=1,3,5,7
/proc/29618/task/29691/stat : 29691 (python) S 29616 29618 27243 0 -1 4202560 24 1350 0 0 0 0 3 1 20 0 5 0 850232888 334077952 7729 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464372329344 0 0 -1 7 0 0 0
[pid=29618/tid=29702] ppid=29616 vsize=326248 CPUtime=0.04 cores=1,3,5,7
/proc/29618/task/29702/stat : 29702 (python) S 29616 29618 27243 0 -1 4202560 30 1350 0 0 0 0 3 1 20 0 5 0 850238081 334077952 7729 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464372329344 0 0 -1 3 0 0 0
[pid=29618/tid=29753] ppid=29616 vsize=326248 CPUtime=0.04 cores=1,3,5,7
/proc/29618/task/29753/stat : 29753 (python) S 29616 29618 27243 0 -1 4202560 25 1350 0 0 0 0 3 1 20 0 5 0 850242643 334077952 7729 33554432000 4194304 5683644 140736087765456 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464372329344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 158.48
Current children cumulated vsize (KiB) 18855660
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 29618 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=553915
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=133979
# CPU time returned by wait4() is 0.687894
# while last known CPU time is 158.48
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 155.08
CPU time (s): 158.48
CPU user time (s): 146.25
CPU system time (s): 12.23
CPU usage (%): 102.192
Max. virtual memory (cumulated for all children) (KiB): 18855660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.553915
system time used= 0.133979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15231
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= 3431
involuntary context switches= 26
runsolver used 0.819875 second user time and 1.93071 second system time
The end