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-3482461-1307576357/watcher-3482461-1307576357 -o /tmp/evaluation-result-3482461-1307576357/solver-3482461-1307576357 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482461-1307576357.opb -seed 1387670869 -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: 0.86 0.19 0.06 3/434 3657
/proc/meminfo: memFree=18795920/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/3657/stat : 3657 (runsolver) S 3655 3657 3617 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 1 0 869237778 12079104 51 33554432000 4194304 5432328 140737378219024 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699870519 0 0 17 7 0 0 0
/proc/3657/statm: 2949 51 31 303 0 2643 0
[startup+0.0453759 s]
/proc/loadavg: 0.86 0.19 0.06 3/434 3657
/proc/meminfo: memFree=18795920/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/3657/stat : 3657 (python) S 3655 3657 3617 0 -1 4202496 649 0 0 0 0 0 0 0 21 0 1 0 869237778 15441920 545 33554432000 4194304 5683644 140737132656352 18446744073709551615 274664806400 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/3657/statm: 3770 545 312 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.100364 s]
/proc/loadavg: 0.86 0.19 0.06 3/434 3657
/proc/meminfo: memFree=18795920/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/3657/stat : 3657 (python) S 3655 3657 3617 0 -1 4202496 727 0 0 0 0 0 0 0 21 0 1 0 869237778 15548416 617 33554432000 4194304 5683644 140737132656352 18446744073709551615 274664806400 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/3657/statm: 3796 617 322 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184
[startup+0.300331 s]
/proc/loadavg: 0.86 0.19 0.06 3/434 3657
/proc/meminfo: memFree=18795920/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=15764 CPUtime=0 cores=1,3,5,7
/proc/3657/stat : 3657 (python) S 3655 3657 3617 0 -1 4202496 845 0 0 0 0 0 0 0 19 0 1 0 869237778 16142336 728 33554432000 4194304 5683644 140737132656352 18446744073709551615 274664804276 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/3657/statm: 3941 728 334 364 0 428 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15764
[startup+0.700261 s]
/proc/loadavg: 0.86 0.19 0.06 3/434 3657
/proc/meminfo: memFree=18795920/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/3657/stat : 3657 (python) S 3655 3657 3617 0 -1 4202496 1050 0 0 0 0 0 0 0 15 0 1 0 869237778 16629760 922 33554432000 4194304 5683644 140737132656352 18446744073709551615 274664806400 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 7
/proc/3657/statm: 4060 922 381 364 0 547 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16240
[startup+1.50012 s]
/proc/loadavg: 0.86 0.19 0.06 1/435 3658
/proc/meminfo: memFree=18790712/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=16540 CPUtime=0.05 cores=1,3,5,7
/proc/3657/stat : 3657 (python) D 3655 3657 3617 0 -1 4202496 1192 0 0 0 1 4 0 0 15 0 1 0 869237778 16936960 1052 33554432000 4194304 5683644 140737132656352 18446744073709551615 274664808192 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 15
/proc/3657/statm: 4135 1052 417 364 0 622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16540
[startup+3.10081 s]
/proc/loadavg: 0.86 0.19 0.06 1/435 3658
/proc/meminfo: memFree=18788736/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=29792 CPUtime=0.23 cores=1,3,5,7
/proc/3657/stat : 3657 (python) D 3655 3657 3617 0 -1 4202496 1414 0 2 0 16 7 0 0 16 0 1 0 869237778 30507008 1260 33554432000 4194304 5683644 140737132656352 18446744073709551615 274664808192 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 86
/proc/3657/statm: 7448 1260 443 364 0 818 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 29792
heavy processes:
[startup+6.30029 s]
/proc/loadavg: 1.03 0.24 0.08 1/435 3658
/proc/meminfo: memFree=18779872/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=52380 CPUtime=0.27 cores=1,3,5,7
/proc/3657/stat : 3657 (python) S 3655 3657 3617 0 -1 4202496 2008 0 8 0 17 10 0 0 15 0 1 0 869237778 53637120 1776 33554432000 4194304 5683644 140737132656352 18446744073709551615 274659884679 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 127
/proc/3657/statm: 13095 1776 484 364 0 1276 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 52380
heavy processes:
[startup+12.7012 s]
/proc/loadavg: 1.27 0.30 0.10 4/435 3666
/proc/meminfo: memFree=18756964/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=123740 CPUtime=0.86 cores=1,3,5,7
/proc/3657/stat : 3657 (python) R 3655 3657 3617 0 -1 4202496 5347 921 12 9 56 18 0 12 16 0 1 0 869237778 126709760 3745 33554432000 4194304 5683644 140737132656352 18446744073709551615 4623415 0 0 16781312 2 0 0 0 17 7 0 0 185
/proc/3657/statm: 30935 3745 987 364 0 2767 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 123740
heavy processes:
[startup+25.501 s]
/proc/loadavg: 2.02 0.52 0.17 3/441 3672
/proc/meminfo: memFree=18643972/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=293256 CPUtime=1.3 cores=1,3,5,7
/proc/3657/stat : 3657 (python) S 3655 3657 3617 0 -1 4202496 9621 921 34 9 83 35 0 12 18 0 2 0 869237778 300294144 7163 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 437
/proc/3657/statm: 73314 7163 1870 364 0 8201 0
[pid=3667] ppid=3657 vsize=283012 CPUtime=0.07 cores=1,3,5,7
/proc/3667/stat : 3667 (python) S 3657 3657 3617 0 -1 4202560 976 0 0 0 5 2 0 0 15 0 1 0 869239563 289804288 5670 33554432000 4194304 5683644 140737132656352 18446744073709551615 274664828431 0 0 16781312 33554946 1336435011804463104 0 0 17 7 0 0 0
/proc/3667/statm: 70753 5670 381 364 0 5640 0
[pid=3670] ppid=3667 vsize=42648 CPUtime=7.65 cores=1,3,5,7
/proc/3670/stat : 3670 (scip-2.0.1.linu) R 3667 3670 3670 0 -1 4202496 9892 0 0 0 706 59 0 0 18 0 1 0 869239563 43671552 8512 33554432000 4194304 13684479 140735801716944 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3670/statm: 10662 8512 818 2317 0 8340 0
[pid=3657/tid=3668] ppid=3655 vsize=293256 CPUtime=0.12 cores=1,3,5,7
/proc/3657/task/3668/stat : 3668 (python) S 3655 3657 3617 0 -1 4202560 26 921 0 9 0 0 0 12 18 0 2 0 869239563 300294144 7163 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554434 18446604458014340352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 9.02
Current children cumulated vsize (KiB) 618916
heavy processes:
[startup+51.1165 s]
/proc/loadavg: 2.90 0.86 0.29 3/441 3672
/proc/meminfo: memFree=18650468/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=293256 CPUtime=1.3 cores=1,3,5,7
/proc/3657/stat : 3657 (python) S 3655 3657 3617 0 -1 4202496 9621 921 34 9 83 35 0 12 18 0 2 0 869237778 300294144 7163 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 437
/proc/3657/statm: 73314 7163 1870 364 0 8201 0
[pid=3667] ppid=3657 vsize=283012 CPUtime=0.41 cores=1,3,5,7
/proc/3667/stat : 3667 (python) S 3657 3657 3617 0 -1 4202560 1027 0 0 0 28 13 0 0 15 0 1 0 869239563 289804288 5689 33554432000 4194304 5683644 140737132656352 18446744073709551615 274664828431 0 0 16781312 33554946 4250777017441583104 0 0 17 7 0 0 0
/proc/3667/statm: 70753 5689 382 364 0 5640 0
[pid=3670] ppid=3667 vsize=42984 CPUtime=33.22 cores=1,3,5,7
/proc/3670/stat : 3670 (scip-2.0.1.linu) R 3667 3670 3670 0 -1 4202496 9968 0 0 0 2997 325 0 0 18 0 1 0 869239563 44015616 8588 33554432000 4194304 13684479 140735801716944 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3670/statm: 10746 8588 818 2317 0 8424 0
[pid=3657/tid=3668] ppid=3655 vsize=293256 CPUtime=0.12 cores=1,3,5,7
/proc/3657/task/3668/stat : 3668 (python) S 3655 3657 3617 0 -1 4202560 26 921 0 9 0 0 0 12 18 0 2 0 869239563 300294144 7163 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554434 18446604458014340352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 34.93
Current children cumulated vsize (KiB) 619252
heavy processes:
############
# WARNING:
# current cumulated CPU time (53.9 s) is less than in the last sample (57.11 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (3.21 s) to the 'lost time'.
[startup+73.2007 s]
/proc/loadavg: 2.56 0.91 0.32 2/442 3709
/proc/meminfo: memFree=18695624/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=303976 CPUtime=1.33 cores=1,3,5,7
/proc/3657/stat : 3657 (python) S 3655 3657 3617 0 -1 4202496 10468 921 34 9 86 35 0 12 20 0 3 0 869237778 311271424 7292 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 437
/proc/3657/statm: 75994 7292 1873 364 0 10878 0
[pid=3667] ppid=3657 vsize=293420 CPUtime=0.52 cores=1,3,5,7
/proc/3667/stat : 3667 (python) S 3657 3657 3617 0 -1 4202560 1190 0 0 0 33 19 0 0 17 0 2 0 869239563 300462080 5745 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3667/statm: 73355 5745 414 364 0 8242 0
[pid=3670] ppid=3667 vsize=43284 CPUtime=52 cores=1,3,5,7
/proc/3670/stat : 3670 (scip-2.0.1.linu) T 3667 3670 3670 0 -1 4202496 10047 0 0 0 4694 506 0 0 18 0 1 0 869239563 44322816 8667 33554432000 4194304 13684479 140735801716944 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3670/statm: 10821 8667 818 2317 0 8499 0
[pid=3667/tid=3701] ppid=3657 vsize=293420 CPUtime=0 cores=1,3,5,7
/proc/3667/task/3701/stat : 3701 (python) S 3657 3657 3617 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869244768 300462080 5745 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554946 18446604469689137856 0 0 -1 7 0 0 0
[pid=3702] ppid=3657 vsize=293732 CPUtime=0 cores=1,3,5,7
/proc/3702/stat : 3702 (python) S 3657 3657 3617 0 -1 4202560 914 0 0 0 0 0 0 0 18 0 1 0 869244770 300781568 5788 33554432000 4194304 5683644 140737132656352 18446744073709551615 274664828486 0 0 16781312 33554946 1030503361733951750 0 0 17 5 0 0 0
/proc/3702/statm: 73433 5788 373 364 0 8317 0
[pid=3704] ppid=3702 vsize=2492 CPUtime=3.26 cores=1,3,5,7
/proc/3704/stat : 3704 (clasp-1.3.7-x86) R 3702 3704 3704 0 -1 4202496 647 0 0 0 326 0 0 0 25 0 1 0 869244771 2551808 381 33554432000 134512640 136139019 4287465360 18446744073709551615 134828730 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/3704/statm: 623 381 183 398 0 223 0
[pid=3657/tid=3668] ppid=3655 vsize=303976 CPUtime=0.12 cores=1,3,5,7
/proc/3657/task/3668/stat : 3668 (python) S 3655 3657 3617 0 -1 4202560 26 921 0 9 0 0 0 12 18 0 3 0 869239563 311271424 7292 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554434 18446604458014340352 0 0 -1 5 0 0 0
[pid=3657/tid=3703] ppid=3655 vsize=303976 CPUtime=0.12 cores=1,3,5,7
/proc/3657/task/3703/stat : 3703 (python) S 3655 3657 3617 0 -1 4202560 28 921 0 9 0 0 0 12 20 0 3 0 869244771 311271424 7292 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554434 18446604458014340352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 57.11
Current children cumulated vsize (KiB) 936904
[startup+73.3006 s]
/proc/loadavg: 2.56 0.91 0.32 2/442 3709
/proc/meminfo: memFree=18695624/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=303940 CPUtime=53.9 cores=1,3,5,7
/proc/3657/stat : 3657 (python) R 3655 3657 3617 0 -1 4202496 14772 13383 34 9 87 35 4729 539 17 0 2 0 869237778 311234560 7289 33554432000 4194304 5683644 140737132656352 18446744073709551615 4622783 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 437
/proc/3657/statm: 75985 7289 1870 364 0 10878 0
[pid=3657/tid=3703] ppid=3655 vsize=303940 CPUtime=52.68 cores=1,3,5,7
/proc/3657/task/3703/stat : 3703 (python) S 3655 3657 3617 0 -1 4202560 28 13383 0 9 0 0 4729 539 17 0 2 0 869244771 311234560 7289 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 0 18446604458014340352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 53.9
Current children cumulated vsize (KiB) 303940
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+58.2003 s]
/proc/loadavg: 2.83 0.87 0.30 3/441 3672
/proc/meminfo: memFree=18650156/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=293256 CPUtime=1.3 cores=1,3,5,7
/proc/3657/stat : 3657 (python) S 3655 3657 3617 0 -1 4202496 9621 921 34 9 83 35 0 12 18 0 2 0 869237778 300294144 7163 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 437
/proc/3657/statm: 73314 7163 1870 364 0 8201 0
[pid=3667] ppid=3657 vsize=283012 CPUtime=0.45 cores=1,3,5,7
/proc/3667/stat : 3667 (python) S 3657 3657 3617 0 -1 4202560 1034 0 0 0 30 15 0 0 15 0 1 0 869239563 289804288 5693 33554432000 4194304 5683644 140737132656352 18446744073709551615 274664828431 0 0 16781312 33554946 345666836362166272 0 0 17 7 0 0 0
/proc/3667/statm: 70753 5693 382 364 0 5640 0
[pid=3670] ppid=3667 vsize=43284 CPUtime=40.3 cores=1,3,5,7
/proc/3670/stat : 3670 (scip-2.0.1.linu) R 3667 3670 3670 0 -1 4202496 10018 0 0 0 3637 393 0 0 18 0 1 0 869239563 44322816 8638 33554432000 4194304 13684479 140735801716944 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3670/statm: 10821 8638 818 2317 0 8499 0
[pid=3657/tid=3668] ppid=3655 vsize=293256 CPUtime=0.12 cores=1,3,5,7
/proc/3657/task/3668/stat : 3668 (python) S 3655 3657 3617 0 -1 4202560 26 921 0 9 0 0 0 12 18 0 2 0 869239563 300294144 7163 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554434 18446604458014340352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 42.05
Current children cumulated vsize (KiB) 619552
[startup+64.6012 s]
/proc/loadavg: 2.76 0.89 0.31 3/441 3673
/proc/meminfo: memFree=18650776/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=293256 CPUtime=1.3 cores=1,3,5,7
/proc/3657/stat : 3657 (python) S 3655 3657 3617 0 -1 4202496 9621 921 34 9 83 35 0 12 18 0 2 0 869237778 300294144 7163 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 437
/proc/3657/statm: 73314 7163 1870 364 0 8201 0
[pid=3667] ppid=3657 vsize=283176 CPUtime=0.47 cores=1,3,5,7
/proc/3667/stat : 3667 (python) S 3657 3657 3617 0 -1 4202560 1037 0 0 0 31 16 0 0 15 0 1 0 869239563 289972224 5696 33554432000 4194304 5683644 140737132656352 18446744073709551615 274664828431 0 0 16781312 33554946 2213481090427912192 0 0 17 7 0 0 0
/proc/3667/statm: 70794 5696 384 364 0 5681 0
[pid=3670] ppid=3667 vsize=43284 CPUtime=46.7 cores=1,3,5,7
/proc/3670/stat : 3670 (scip-2.0.1.linu) R 3667 3670 3670 0 -1 4202496 10034 0 0 0 4216 454 0 0 18 0 1 0 869239563 44322816 8654 33554432000 4194304 13684479 140735801716944 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3670/statm: 10821 8654 818 2317 0 8499 0
[pid=3657/tid=3668] ppid=3655 vsize=293256 CPUtime=0.12 cores=1,3,5,7
/proc/3657/task/3668/stat : 3668 (python) S 3655 3657 3617 0 -1 4202560 26 921 0 9 0 0 0 12 18 0 2 0 869239563 300294144 7163 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554434 18446604458014340352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 48.47
Current children cumulated vsize (KiB) 619716
[startup+67.8006 s]
/proc/loadavg: 2.70 0.91 0.32 3/445 3677
/proc/meminfo: memFree=18647148/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=293256 CPUtime=1.3 cores=1,3,5,7
/proc/3657/stat : 3657 (python) S 3655 3657 3617 0 -1 4202496 9621 921 34 9 83 35 0 12 18 0 2 0 869237778 300294144 7163 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 437
/proc/3657/statm: 73314 7163 1870 364 0 8201 0
[pid=3667] ppid=3657 vsize=283176 CPUtime=0.5 cores=1,3,5,7
/proc/3667/stat : 3667 (python) S 3657 3657 3617 0 -1 4202560 1052 0 0 0 32 18 0 0 16 0 1 0 869239563 289972224 5709 33554432000 4194304 5683644 140737132656352 18446744073709551615 274664828431 0 0 16781312 33554946 3065797988606541824 0 0 17 7 0 0 0
/proc/3667/statm: 70794 5709 384 364 0 5681 0
[pid=3670] ppid=3667 vsize=43284 CPUtime=49.91 cores=1,3,5,7
/proc/3670/stat : 3670 (scip-2.0.1.linu) R 3667 3670 3670 0 -1 4202496 10042 0 0 0 4508 483 0 0 18 0 1 0 869239563 44322816 8662 33554432000 4194304 13684479 140735801716944 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3670/statm: 10821 8662 818 2317 0 8499 0
[pid=3657/tid=3668] ppid=3655 vsize=293256 CPUtime=0.12 cores=1,3,5,7
/proc/3657/task/3668/stat : 3668 (python) S 3655 3657 3617 0 -1 4202560 26 921 0 9 0 0 0 12 18 0 2 0 869239563 300294144 7163 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554434 18446604458014340352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.71
Current children cumulated vsize (KiB) 619716
[startup+71.0011 s]
/proc/loadavg: 2.56 0.91 0.32 2/438 3704
/proc/meminfo: memFree=18799700/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=303976 CPUtime=1.33 cores=1,3,5,7
/proc/3657/stat : 3657 (python) S 3655 3657 3617 0 -1 4202496 10468 921 34 9 86 35 0 12 20 0 3 0 869237778 311271424 7292 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 437
/proc/3657/statm: 75994 7292 1873 364 0 10878 0
[pid=3667] ppid=3657 vsize=293420 CPUtime=0.52 cores=1,3,5,7
/proc/3667/stat : 3667 (python) S 3657 3657 3617 0 -1 4202560 1190 0 0 0 33 19 0 0 17 0 2 0 869239563 300462080 5745 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3667/statm: 73355 5745 414 364 0 8242 0
[pid=3670] ppid=3667 vsize=43284 CPUtime=52 cores=1,3,5,7
/proc/3670/stat : 3670 (scip-2.0.1.linu) T 3667 3670 3670 0 -1 4202496 10047 0 0 0 4694 506 0 0 18 0 1 0 869239563 44322816 8667 33554432000 4194304 13684479 140735801716944 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3670/statm: 10821 8667 818 2317 0 8499 0
[pid=3667/tid=3701] ppid=3657 vsize=293420 CPUtime=0 cores=1,3,5,7
/proc/3667/task/3701/stat : 3701 (python) S 3657 3657 3617 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869244768 300462080 5745 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554946 18446604469689137856 0 0 -1 7 0 0 0
[pid=3702] ppid=3657 vsize=293732 CPUtime=0 cores=1,3,5,7
/proc/3702/stat : 3702 (python) S 3657 3657 3617 0 -1 4202560 760 0 0 0 0 0 0 0 18 0 1 0 869244770 300781568 5764 33554432000 4194304 5683644 140737132656352 18446744073709551615 274664828486 0 0 16781312 33554946 1030513188619124998 0 0 17 5 0 0 0
/proc/3702/statm: 73433 5764 349 364 0 8317 0
[pid=3704] ppid=3702 vsize=2368 CPUtime=1.07 cores=1,3,5,7
/proc/3704/stat : 3704 (clasp-1.3.7-x86) R 3702 3704 3704 0 -1 4202496 603 0 0 0 107 0 0 0 24 0 1 0 869244771 2424832 337 33554432000 134512640 136139019 4287465360 18446744073709551615 134876516 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/3704/statm: 592 337 183 398 0 192 0
[pid=3657/tid=3668] ppid=3655 vsize=303976 CPUtime=0.12 cores=1,3,5,7
/proc/3657/task/3668/stat : 3668 (python) S 3655 3657 3617 0 -1 4202560 26 921 0 9 0 0 0 12 18 0 3 0 869239563 311271424 7292 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554434 18446604458014340352 0 0 -1 5 0 0 0
[pid=3657/tid=3703] ppid=3655 vsize=303976 CPUtime=0.12 cores=1,3,5,7
/proc/3657/task/3703/stat : 3703 (python) S 3655 3657 3617 0 -1 4202560 28 921 0 9 0 0 0 12 20 0 3 0 869244771 311271424 7292 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554434 18446604458014340352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 54.92
Current children cumulated vsize (KiB) 936780
[startup+72.6008 s]
/proc/loadavg: 2.56 0.91 0.32 2/442 3709
/proc/meminfo: memFree=18699716/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=303976 CPUtime=1.33 cores=1,3,5,7
/proc/3657/stat : 3657 (python) S 3655 3657 3617 0 -1 4202496 10468 921 34 9 86 35 0 12 20 0 3 0 869237778 311271424 7292 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 437
/proc/3657/statm: 75994 7292 1873 364 0 10878 0
[pid=3667] ppid=3657 vsize=293420 CPUtime=0.52 cores=1,3,5,7
/proc/3667/stat : 3667 (python) S 3657 3657 3617 0 -1 4202560 1190 0 0 0 33 19 0 0 17 0 2 0 869239563 300462080 5745 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3667/statm: 73355 5745 414 364 0 8242 0
[pid=3670] ppid=3667 vsize=43284 CPUtime=52 cores=1,3,5,7
/proc/3670/stat : 3670 (scip-2.0.1.linu) T 3667 3670 3670 0 -1 4202496 10047 0 0 0 4694 506 0 0 18 0 1 0 869239563 44322816 8667 33554432000 4194304 13684479 140735801716944 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3670/statm: 10821 8667 818 2317 0 8499 0
[pid=3667/tid=3701] ppid=3657 vsize=293420 CPUtime=0 cores=1,3,5,7
/proc/3667/task/3701/stat : 3701 (python) S 3657 3657 3617 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869244768 300462080 5745 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554946 18446604469689137856 0 0 -1 7 0 0 0
[pid=3702] ppid=3657 vsize=293732 CPUtime=0 cores=1,3,5,7
/proc/3702/stat : 3702 (python) S 3657 3657 3617 0 -1 4202560 761 0 0 0 0 0 0 0 18 0 1 0 869244770 300781568 5764 33554432000 4194304 5683644 140737132656352 18446744073709551615 274664828486 0 0 16781312 33554946 1030513188619124998 0 0 17 5 0 0 0
/proc/3702/statm: 73433 5764 349 364 0 8317 0
[pid=3704] ppid=3702 vsize=2492 CPUtime=2.67 cores=1,3,5,7
/proc/3704/stat : 3704 (clasp-1.3.7-x86) R 3702 3704 3704 0 -1 4202496 636 0 0 0 267 0 0 0 25 0 1 0 869244771 2551808 370 33554432000 134512640 136139019 4287465360 18446744073709551615 134876516 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/3704/statm: 623 370 183 398 0 223 0
[pid=3657/tid=3668] ppid=3655 vsize=303976 CPUtime=0.12 cores=1,3,5,7
/proc/3657/task/3668/stat : 3668 (python) S 3655 3657 3617 0 -1 4202560 26 921 0 9 0 0 0 12 18 0 3 0 869239563 311271424 7292 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554434 18446604458014340352 0 0 -1 5 0 0 0
[pid=3657/tid=3703] ppid=3655 vsize=303976 CPUtime=0.12 cores=1,3,5,7
/proc/3657/task/3703/stat : 3703 (python) S 3655 3657 3617 0 -1 4202560 28 921 0 9 0 0 0 12 20 0 3 0 869244771 311271424 7292 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554434 18446604458014340352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 56.52
Current children cumulated vsize (KiB) 936904
[startup+73.0007 s]
/proc/loadavg: 2.56 0.91 0.32 2/442 3709
/proc/meminfo: memFree=18695624/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=303976 CPUtime=1.33 cores=1,3,5,7
/proc/3657/stat : 3657 (python) S 3655 3657 3617 0 -1 4202496 10468 921 34 9 86 35 0 12 20 0 3 0 869237778 311271424 7292 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 437
/proc/3657/statm: 75994 7292 1873 364 0 10878 0
[pid=3667] ppid=3657 vsize=293420 CPUtime=0.52 cores=1,3,5,7
/proc/3667/stat : 3667 (python) S 3657 3657 3617 0 -1 4202560 1190 0 0 0 33 19 0 0 17 0 2 0 869239563 300462080 5745 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3667/statm: 73355 5745 414 364 0 8242 0
[pid=3670] ppid=3667 vsize=43284 CPUtime=52 cores=1,3,5,7
/proc/3670/stat : 3670 (scip-2.0.1.linu) T 3667 3670 3670 0 -1 4202496 10047 0 0 0 4694 506 0 0 18 0 1 0 869239563 44322816 8667 33554432000 4194304 13684479 140735801716944 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3670/statm: 10821 8667 818 2317 0 8499 0
[pid=3667/tid=3701] ppid=3657 vsize=293420 CPUtime=0 cores=1,3,5,7
/proc/3667/task/3701/stat : 3701 (python) S 3657 3657 3617 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869244768 300462080 5745 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554946 18446604469689137856 0 0 -1 7 0 0 0
[pid=3702] ppid=3657 vsize=293732 CPUtime=0 cores=1,3,5,7
/proc/3702/stat : 3702 (python) S 3657 3657 3617 0 -1 4202560 914 0 0 0 0 0 0 0 18 0 1 0 869244770 300781568 5788 33554432000 4194304 5683644 140737132656352 18446744073709551615 274664828486 0 0 16781312 33554946 1030503361733951750 0 0 17 5 0 0 0
/proc/3702/statm: 73433 5788 373 364 0 8317 0
[pid=3704] ppid=3702 vsize=2492 CPUtime=3.06 cores=1,3,5,7
/proc/3704/stat : 3704 (clasp-1.3.7-x86) R 3702 3704 3704 0 -1 4202496 636 0 0 0 306 0 0 0 25 0 1 0 869244771 2551808 370 33554432000 134512640 136139019 4287465360 18446744073709551615 134875605 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/3704/statm: 623 370 183 398 0 223 0
[pid=3657/tid=3668] ppid=3655 vsize=303976 CPUtime=0.12 cores=1,3,5,7
/proc/3657/task/3668/stat : 3668 (python) S 3655 3657 3617 0 -1 4202560 26 921 0 9 0 0 0 12 18 0 3 0 869239563 311271424 7292 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554434 18446604458014340352 0 0 -1 5 0 0 0
[pid=3657/tid=3703] ppid=3655 vsize=303976 CPUtime=0.12 cores=1,3,5,7
/proc/3657/task/3703/stat : 3703 (python) S 3655 3657 3617 0 -1 4202560 28 921 0 9 0 0 0 12 20 0 3 0 869244771 311271424 7292 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554434 18446604458014340352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 56.91
Current children cumulated vsize (KiB) 936904
[startup+73.2007 s]
/proc/loadavg: 2.56 0.91 0.32 2/442 3709
/proc/meminfo: memFree=18695624/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=303976 CPUtime=1.33 cores=1,3,5,7
/proc/3657/stat : 3657 (python) S 3655 3657 3617 0 -1 4202496 10468 921 34 9 86 35 0 12 20 0 3 0 869237778 311271424 7292 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 437
/proc/3657/statm: 75994 7292 1873 364 0 10878 0
[pid=3667] ppid=3657 vsize=293420 CPUtime=0.52 cores=1,3,5,7
/proc/3667/stat : 3667 (python) S 3657 3657 3617 0 -1 4202560 1190 0 0 0 33 19 0 0 17 0 2 0 869239563 300462080 5745 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3667/statm: 73355 5745 414 364 0 8242 0
[pid=3670] ppid=3667 vsize=43284 CPUtime=52 cores=1,3,5,7
/proc/3670/stat : 3670 (scip-2.0.1.linu) T 3667 3670 3670 0 -1 4202496 10047 0 0 0 4694 506 0 0 18 0 1 0 869239563 44322816 8667 33554432000 4194304 13684479 140735801716944 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3670/statm: 10821 8667 818 2317 0 8499 0
[pid=3667/tid=3701] ppid=3657 vsize=293420 CPUtime=0 cores=1,3,5,7
/proc/3667/task/3701/stat : 3701 (python) S 3657 3657 3617 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869244768 300462080 5745 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554946 18446604469689137856 0 0 -1 7 0 0 0
[pid=3702] ppid=3657 vsize=293732 CPUtime=0 cores=1,3,5,7
/proc/3702/stat : 3702 (python) S 3657 3657 3617 0 -1 4202560 914 0 0 0 0 0 0 0 18 0 1 0 869244770 300781568 5788 33554432000 4194304 5683644 140737132656352 18446744073709551615 274664828486 0 0 16781312 33554946 1030503361733951750 0 0 17 5 0 0 0
/proc/3702/statm: 73433 5788 373 364 0 8317 0
[pid=3704] ppid=3702 vsize=2492 CPUtime=3.26 cores=1,3,5,7
/proc/3704/stat : 3704 (clasp-1.3.7-x86) R 3702 3704 3704 0 -1 4202496 647 0 0 0 326 0 0 0 25 0 1 0 869244771 2551808 381 33554432000 134512640 136139019 4287465360 18446744073709551615 134828730 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/3704/statm: 623 381 183 398 0 223 0
[pid=3657/tid=3668] ppid=3655 vsize=303976 CPUtime=0.12 cores=1,3,5,7
/proc/3657/task/3668/stat : 3668 (python) S 3655 3657 3617 0 -1 4202560 26 921 0 9 0 0 0 12 18 0 3 0 869239563 311271424 7292 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554434 18446604458014340352 0 0 -1 5 0 0 0
[pid=3657/tid=3703] ppid=3655 vsize=303976 CPUtime=0.12 cores=1,3,5,7
/proc/3657/task/3703/stat : 3703 (python) S 3655 3657 3617 0 -1 4202560 28 921 0 9 0 0 0 12 20 0 3 0 869244771 311271424 7292 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 33554434 18446604458014340352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 57.11
Current children cumulated vsize (KiB) 936904
[startup+73.3006 s]
/proc/loadavg: 2.56 0.91 0.32 2/442 3709
/proc/meminfo: memFree=18695624/32951132 swapFree=65929880/67111528
[pid=3657] ppid=3655 vsize=303940 CPUtime=53.9 cores=1,3,5,7
/proc/3657/stat : 3657 (python) R 3655 3657 3617 0 -1 4202496 14772 13383 34 9 87 35 4729 539 17 0 2 0 869237778 311234560 7289 33554432000 4194304 5683644 140737132656352 18446744073709551615 4622783 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 437
/proc/3657/statm: 75985 7289 1870 364 0 10878 0
[pid=3657/tid=3703] ppid=3655 vsize=303940 CPUtime=52.68 cores=1,3,5,7
/proc/3657/task/3703/stat : 3703 (python) S 3655 3657 3617 0 -1 4202560 28 13383 0 9 0 0 4729 539 17 0 2 0 869244771 311234560 7289 33554432000 4194304 5683644 140737132656352 18446744073709551615 274676631985 0 0 16781312 0 18446604458014340352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 53.9
Current children cumulated vsize (KiB) 303940
Child status: 0
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 3.21
# lost CPU user time (s): 3.23
# lost CPU system time (s): -0.02
Real time (s): 73.3036
CPU time (s): 57.1358
CPU user time (s): 51.4017
CPU system time (s): 5.73412
CPU usage (%): 77.944
Max. virtual memory (cumulated for all children) (KiB): 936912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.1717
system time used= 5.75413
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28292
page faults= 43
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8433
involuntary context switches= 2057
runsolver used 0.284956 second user time and 0.823874 second system time
The end