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-3462998-1307175501/watcher-3462998-1307175501 -o /tmp/evaluation-result-3462998-1307175501/solver-3462998-1307175501 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462998-1307175501.opb
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.81 2.02 1.99 4/468 14877
/proc/meminfo: memFree=24107172/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=10920 CPUtime=0 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 349 0 0 0 0 0 0 0 22 0 1 0 907780623 11182080 292 33554432000 134512640 137138936 4294849264 18446744073709551615 134834400 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 2730 300 195 642 0 2086 0
[startup+0.0268089 s]
/proc/loadavg: 1.81 2.02 1.99 4/468 14877
/proc/meminfo: memFree=24107172/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=12320 CPUtime=0.02 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 612 0 0 0 2 0 0 0 22 0 1 0 907780623 12615680 547 33554432000 134512640 137138936 4294849264 18446744073709551615 135445910 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 3080 547 278 642 0 2436 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12320
[startup+0.100833 s]
/proc/loadavg: 1.81 2.02 1.99 4/468 14877
/proc/meminfo: memFree=24107172/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=12460 CPUtime=0.09 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 770 0 0 0 9 0 0 0 22 0 1 0 907780623 12759040 648 33554432000 134512640 137138936 4294849264 18446744073709551615 134768879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 3115 648 278 642 0 2471 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12460
[startup+0.300795 s]
/proc/loadavg: 1.81 2.02 1.99 4/468 14877
/proc/meminfo: memFree=24107172/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=13052 CPUtime=0.29 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 1249 0 0 0 29 0 0 0 23 0 1 0 907780623 13365248 697 33554432000 134512640 137138936 4294849264 18446744073709551615 135456368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 3263 698 278 642 0 2619 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13052
[startup+0.700731 s]
/proc/loadavg: 1.81 2.02 1.99 4/468 14877
/proc/meminfo: memFree=24107172/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=13300 CPUtime=0.69 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 3462 0 0 0 69 0 0 0 25 0 1 0 907780623 13619200 635 33554432000 134512640 137138936 4294849264 18446744073709551615 135446739 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 3325 635 287 642 0 2681 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13300
[startup+1.50057 s]
/proc/loadavg: 1.81 2.02 1.99 4/470 14879
/proc/meminfo: memFree=24102960/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=13252 CPUtime=1.49 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 9001 0 0 0 148 1 0 0 25 0 1 0 907780623 13570048 609 33554432000 134512640 137138936 4294849264 18446744073709551615 135444639 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 3313 609 287 642 0 2669 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13252
[startup+3.10028 s]
/proc/loadavg: 1.81 2.02 1.99 4/470 14879
/proc/meminfo: memFree=24102228/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=11144 CPUtime=3.09 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 24175 0 0 0 306 3 0 0 25 0 1 0 907780623 11411456 457 33554432000 134512640 137138936 4294849264 18446744073709551615 135782995 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 2786 457 287 642 0 2142 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11144
[startup+6.30068 s]
/proc/loadavg: 1.82 2.02 1.99 4/470 14879
/proc/meminfo: memFree=24101380/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=13460 CPUtime=6.29 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 55514 0 0 0 623 6 0 0 25 0 1 0 907780623 13783040 588 33554432000 134512640 137138936 4294849264 18446744073709551615 134732328 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 3365 588 292 642 0 2721 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13460
[startup+12.7005 s]
/proc/loadavg: 1.84 2.02 1.99 4/470 14880
/proc/meminfo: memFree=24096264/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=17316 CPUtime=12.69 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 137946 0 0 0 1252 17 0 0 25 0 1 0 907780623 17731584 1689 33554432000 134512640 137138936 4294849264 18446744073709551615 135436669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 4329 1689 292 642 0 3685 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17316
[startup+25.5011 s]
/proc/loadavg: 2.11 2.07 2.00 4/470 14880
/proc/meminfo: memFree=24075176/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=35972 CPUtime=25.49 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 455701 0 0 0 2493 56 0 0 25 0 1 0 907780623 36835328 6309 33554432000 134512640 137138936 4294849264 18446744073709551615 135381386 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 9132 6313 292 642 0 8488 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35972
[startup+51.1003 s]
/proc/loadavg: 2.07 2.06 2.00 4/470 14881
/proc/meminfo: memFree=24005292/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=75708 CPUtime=51.09 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 1172738 0 0 0 4961 148 0 0 25 0 1 0 907780623 77524992 16160 33554432000 134512640 137138936 4294849264 18446744073709551615 135382814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 18927 16162 292 642 0 18283 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 75708
[startup+102.318 s]
/proc/loadavg: 2.09 2.07 2.00 4/470 14882
/proc/meminfo: memFree=23957040/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=97132 CPUtime=102.32 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 1974458 0 0 0 9935 297 0 0 25 0 1 0 907780623 99463168 21587 33554432000 134512640 137138936 4294849264 18446744073709551615 134733524 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 24352 21589 292 642 0 23708 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 97132
[startup+162.301 s]
/proc/loadavg: 2.03 2.05 2.00 4/470 14884
/proc/meminfo: memFree=23947308/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=103460 CPUtime=162.29 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 2799672 0 0 0 15755 474 0 0 25 0 1 0 907780623 105943040 23541 33554432000 134512640 137138936 4294849264 18446744073709551615 135783810 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 26258 23546 292 642 0 25614 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 103460
[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.00 4/470 14885
/proc/meminfo: memFree=23945880/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=109044 CPUtime=222.3 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 3440251 0 0 0 21635 595 0 0 25 0 1 0 907780623 111661056 24284 33554432000 134512640 137138936 4294849264 18446744073709551615 135466266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 27261 24284 292 642 0 26617 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 109044
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/470 14887
/proc/meminfo: memFree=23929584/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=107972 CPUtime=282.3 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 4031063 0 0 0 27507 723 0 0 25 0 1 0 907780623 110563328 24146 33554432000 134512640 137138936 4294849264 18446744073709551615 134730581 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 26993 24146 292 642 0 26349 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 107972
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/470 14888
/proc/meminfo: memFree=23901024/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=105832 CPUtime=342.3 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 4641720 0 0 0 33361 869 0 0 25 0 1 0 907780623 108371968 24134 33554432000 134512640 137138936 4294849264 18446744073709551615 136504500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 26458 24134 292 642 0 25814 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 105832
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/470 14890
/proc/meminfo: memFree=23878528/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=126144 CPUtime=402.31 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 5467185 0 0 0 39190 1041 0 0 25 0 1 0 907780623 129171456 29212 33554432000 134512640 137138936 4294849264 18446744073709551615 135782995 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 31536 29212 292 642 0 30892 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 126144
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 5/470 14892
/proc/meminfo: memFree=23878356/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=127808 CPUtime=462.31 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 6202038 0 0 0 45019 1212 0 0 25 0 1 0 907780623 130875392 29216 33554432000 134512640 137138936 4294849264 18446744073709551615 134733524 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 32036 29217 292 642 0 31392 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 127808
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/470 14893
/proc/meminfo: memFree=23875084/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=132592 CPUtime=522.31 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 6804466 0 0 0 50868 1363 0 0 25 0 1 0 907780623 135774208 30364 33554432000 134512640 137138936 4294849264 18446744073709551615 134733524 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 33148 30364 292 642 0 32504 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 132592
[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.00 4/470 14895
/proc/meminfo: memFree=23868724/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=137428 CPUtime=582.31 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 7575693 0 0 0 56696 1535 0 0 25 0 1 0 907780623 140726272 32033 33554432000 134512640 137138936 4294849264 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 34357 32033 292 642 0 33713 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 137428
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23805268/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=166628 CPUtime=1062.32 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 13392035 0 0 0 103383 2849 0 0 25 0 1 0 907780623 170627072 39333 33554432000 134512640 137138936 4294849264 18446744073709551615 136504035 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 41657 39333 292 642 0 41013 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 166628
[startup+1122.3 s]
/proc/loadavg: 2.13 2.05 2.01 5/470 14909
/proc/meminfo: memFree=23803360/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=166624 CPUtime=1122.33 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 13953764 0 0 0 109234 2999 0 0 25 0 1 0 907780623 170622976 39332 33554432000 134512640 137138936 4294849264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 41656 39332 292 642 0 41012 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 166624
[startup+1182.3 s]
/proc/loadavg: 2.09 2.06 2.01 4/470 14911
/proc/meminfo: memFree=23802332/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=166620 CPUtime=1182.33 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 14392497 0 0 0 115112 3121 0 0 25 0 1 0 907780623 170618880 39331 33554432000 134512640 137138936 4294849264 18446744073709551615 135783832 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 41655 39331 292 642 0 41011 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 166620
[startup+1242.3 s]
/proc/loadavg: 2.03 2.04 2.01 5/470 14914
/proc/meminfo: memFree=23801064/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=170084 CPUtime=1242.34 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 15139045 0 0 0 120945 3289 0 0 25 0 1 0 907780623 174166016 39538 33554432000 134512640 137138936 4294849264 18446744073709551615 135456742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 41852 39528 292 642 0 41208 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 170084
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 5/470 14917
/proc/meminfo: memFree=23801264/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=169404 CPUtime=1302.34 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 15905390 0 0 0 126769 3465 0 0 25 0 1 0 907780623 173469696 39537 33554432000 134512640 137138936 4294849264 18446744073709551615 136574033 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 42186 39531 292 642 0 41542 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 169404
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 5/470 14919
/proc/meminfo: memFree=23801240/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=169076 CPUtime=1362.34 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 16537286 0 0 0 132618 3616 0 0 25 0 1 0 907780623 173133824 39533 33554432000 134512640 137138936 4294849264 18446744073709551615 134733524 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 42269 39534 292 642 0 41625 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 169076
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 5/470 14920
/proc/meminfo: memFree=23801188/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=169936 CPUtime=1422.35 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 17161777 0 0 0 138468 3767 0 0 25 0 1 0 907780623 174014464 39538 33554432000 134512640 137138936 4294849264 18446744073709551615 134850633 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 41852 39528 292 642 0 41208 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 169936
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/470 14922
/proc/meminfo: memFree=23794448/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=167408 CPUtime=1482.34 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 17825536 0 0 0 144305 3929 0 0 25 0 1 0 907780623 171425792 39528 33554432000 134512640 137138936 4294849264 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 41852 39528 292 642 0 41208 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 167408
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/470 14923
/proc/meminfo: memFree=23793784/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=167408 CPUtime=1542.35 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 18410913 0 0 0 150164 4071 0 0 25 0 1 0 907780623 171425792 39528 33554432000 134512640 137138936 4294849264 18446744073709551615 134750184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 41852 39528 292 642 0 41208 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 167408
[startup+1602.3 s]
/proc/loadavg: 2.15 2.03 2.01 4/470 14925
/proc/meminfo: memFree=23793984/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=167408 CPUtime=1602.34 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 19024197 0 0 0 156005 4229 0 0 25 0 1 0 907780623 171425792 39528 33554432000 134512640 137138936 4294849264 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 41852 39528 292 642 0 41208 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 167408
[startup+1662.3 s]
/proc/loadavg: 2.25 2.07 2.02 5/470 14927
/proc/meminfo: memFree=23783020/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=181200 CPUtime=1662.35 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 19744289 0 0 0 161853 4382 0 0 25 0 1 0 907780623 185548800 42296 33554432000 134512640 137138936 4294849264 18446744073709551615 135456391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 45300 42296 292 642 0 44656 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 181200
[startup+1722.3 s]
/proc/loadavg: 2.09 2.06 2.01 4/470 14928
/proc/meminfo: memFree=23782964/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=178516 CPUtime=1722.35 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 20521549 0 0 0 167675 4560 0 0 25 0 1 0 907780623 182800384 42305 33554432000 134512640 137138936 4294849264 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 44629 42305 292 642 0 43985 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 178516
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.01 4/470 14930
/proc/meminfo: memFree=23780052/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=178516 CPUtime=1782.36 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 21234829 0 0 0 173511 4725 0 0 25 0 1 0 907780623 182800384 42305 33554432000 134512640 137138936 4294849264 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 44629 42305 292 642 0 43985 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 178516
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.03 2.04 2.01 4/470 14930
/proc/meminfo: memFree=23779804/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=178516 CPUtime=1785.55 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 21273681 0 0 0 173821 4734 0 0 25 0 1 0 907780623 182800384 42305 33554432000 134512640 137138936 4294849264 18446744073709551615 136511187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 44629 42305 292 642 0 43985 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 178516
[startup+1791.92 s]
/proc/loadavg: 2.03 2.04 2.01 4/470 14930
/proc/meminfo: memFree=23780036/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=181196 CPUtime=1791.97 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 21344728 0 0 0 174449 4748 0 0 25 0 1 0 907780623 185544704 42315 33554432000 134512640 137138936 4294849264 18446744073709551615 134730634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 45299 42315 292 642 0 44655 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 181196
[startup+1795.1 s]
/proc/loadavg: 2.02 2.04 2.01 4/470 14930
/proc/meminfo: memFree=23780036/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=178688 CPUtime=1795.16 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 21374027 0 0 0 174761 4755 0 0 25 0 1 0 907780623 182976512 42316 33554432000 134512640 137138936 4294849264 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 44672 42316 292 642 0 44028 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 178688
[startup+1796.7 s]
/proc/loadavg: 2.02 2.04 2.01 5/470 14930
/proc/meminfo: memFree=23780036/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=178688 CPUtime=1796.76 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 21374027 0 0 0 174921 4755 0 0 25 0 1 0 907780623 182976512 42316 33554432000 134512640 137138936 4294849264 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 44672 42316 292 642 0 44028 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 178688
[startup+1797.5 s]
/proc/loadavg: 2.02 2.04 2.01 4/470 14930
/proc/meminfo: memFree=23780036/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=181012 CPUtime=1797.55 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 21379689 0 0 0 174999 4756 0 0 25 0 1 0 907780623 185356288 42313 33554432000 134512640 137138936 4294849264 18446744073709551615 134850635 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 45253 42313 292 642 0 44609 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 181012
[startup+1797.9 s]
/proc/loadavg: 2.02 2.04 2.01 4/470 14930
/proc/meminfo: memFree=23780036/32951124 swapFree=56297244/67111528
[pid=14877] ppid=14875 vsize=181028 CPUtime=1797.95 cores=1,3,5,7
/proc/14877/stat : 14877 (bsolo) R 14875 14877 13385 0 -1 4202496 21384333 0 0 0 175038 4757 0 0 25 0 1 0 907780623 185372672 42315 33554432000 134512640 137138936 4294849264 18446744073709551615 135440648 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14877/statm: 44796 42305 292 642 0 44152 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 181028
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798.01
CPU user time (s): 1750.43
CPU system time (s): 47.5858
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 181284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1750.43
system time used= 47.5858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21384822
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1228
runsolver used 7.98179 second user time and 19.695 second system time
The end