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-3462356-1307185179/watcher-3462356-1307185179 -o /tmp/evaluation-result-3462356-1307185179/solver-3462356-1307185179 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462356-1307185179.opb
running on 4 cores: 0,2,4,6
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.01 2.02 2.00 2/436 31068
/proc/meminfo: memFree=19661768/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=12080 CPUtime=0.01 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 525 0 0 0 1 0 0 0 25 0 1 0 830115764 12369920 480 33554432000 134512640 137138936 4287365984 18446744073709551615 134517302 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 3020 480 210 642 0 2261 0
[startup+0.019938 s]
/proc/loadavg: 2.01 2.02 2.00 2/436 31068
/proc/meminfo: memFree=19661768/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=12212 CPUtime=0.01 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 563 0 0 0 1 0 0 0 25 0 1 0 830115764 12505088 518 33554432000 134512640 137138936 4287365984 18446744073709551615 136671011 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 3053 518 225 642 0 2294 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12212
[startup+0.100927 s]
/proc/loadavg: 2.01 2.02 2.00 2/436 31068
/proc/meminfo: memFree=19661768/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=13632 CPUtime=0.09 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 1113 0 0 0 9 0 0 0 25 0 1 0 830115764 13959168 953 33554432000 134512640 137138936 4287365984 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 3408 953 184 642 0 2764 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13632
[startup+0.300885 s]
/proc/loadavg: 2.01 2.02 2.00 2/436 31068
/proc/meminfo: memFree=19661768/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=13632 CPUtime=0.29 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 1113 0 0 0 29 0 0 0 25 0 1 0 830115764 13959168 953 33554432000 134512640 137138936 4287365984 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 3408 953 184 642 0 2764 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13632
[startup+0.700837 s]
/proc/loadavg: 2.01 2.02 2.00 2/436 31068
/proc/meminfo: memFree=19661768/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=13632 CPUtime=0.69 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 1113 0 0 0 69 0 0 0 25 0 1 0 830115764 13959168 953 33554432000 134512640 137138936 4287365984 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 3408 953 184 642 0 2764 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13632
[startup+1.5007 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 31069
/proc/meminfo: memFree=19658288/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=13672 CPUtime=1.49 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 1153 0 0 0 149 0 0 0 25 0 1 0 830115764 14000128 986 33554432000 134512640 137138936 4287365984 18446744073709551615 134532597 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 3418 986 185 642 0 2774 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13672
[startup+3.10037 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 31069
/proc/meminfo: memFree=19657292/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=15100 CPUtime=3.09 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 1511 0 0 0 306 3 0 0 25 0 1 0 830115764 15462400 1344 33554432000 134512640 137138936 4287365984 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 3775 1344 192 642 0 3131 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15100
[startup+6.30078 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 31069
/proc/meminfo: memFree=19650232/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=21956 CPUtime=6.29 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 3217 0 0 0 617 12 0 0 25 0 1 0 830115764 22482944 3050 33554432000 134512640 137138936 4287365984 18446744073709551615 134602882 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 5489 3050 192 642 0 4845 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21956
[startup+12.7006 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 31069
/proc/meminfo: memFree=19625020/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=46912 CPUtime=12.69 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 9479 0 0 0 1255 14 0 0 25 0 1 0 830115764 48037888 9307 33554432000 134512640 137138936 4287365984 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 11728 9307 192 642 0 11084 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46912
[startup+25.5002 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 31070
/proc/meminfo: memFree=19591536/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=79156 CPUtime=25.49 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 17537 0 0 0 2532 17 0 0 25 0 1 0 830115764 81055744 17365 33554432000 134512640 137138936 4287365984 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 19789 17365 192 642 0 19145 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 79156
[startup+51.1005 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 31070
/proc/meminfo: memFree=19545264/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=124776 CPUtime=51.09 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 28926 0 0 0 5087 22 0 0 25 0 1 0 830115764 127770624 28754 33554432000 134512640 137138936 4287365984 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 31194 28754 192 642 0 30550 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 124776
[startup+102.316 s]
/proc/loadavg: 2.00 2.01 2.00 3/437 31081
/proc/meminfo: memFree=19440084/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=228432 CPUtime=102.3 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 54846 0 0 0 10199 31 0 0 25 0 1 0 830115764 233914368 54674 33554432000 134512640 137138936 4287365984 18446744073709551615 134606976 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 57108 54674 192 642 0 56464 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 228432
[startup+162.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/437 31082
/proc/meminfo: memFree=19331552/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=337300 CPUtime=162.29 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 82076 0 0 0 16189 40 0 0 25 0 1 0 830115764 345395200 81904 33554432000 134512640 137138936 4287365984 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 84325 81904 192 642 0 83681 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 337300
[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 31084
/proc/meminfo: memFree=19252180/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=416592 CPUtime=222.3 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 101894 0 0 0 22183 47 0 0 25 0 1 0 830115764 426590208 101722 33554432000 134512640 137138936 4287365984 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 104148 101722 192 642 0 103504 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 416592
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/437 31085
/proc/meminfo: memFree=19205544/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=463736 CPUtime=282.3 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 113675 0 0 0 28176 54 0 0 25 0 1 0 830115764 474865664 113503 33554432000 134512640 137138936 4287365984 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 115934 113503 192 642 0 115290 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 463736
[startup+342.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/437 31090
/proc/meminfo: memFree=19168892/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=499900 CPUtime=342.3 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 122730 0 0 0 34170 60 0 0 25 0 1 0 830115764 511897600 122558 33554432000 134512640 137138936 4287365984 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 124975 122558 192 642 0 124331 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 499900
[startup+402.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/437 31092
/proc/meminfo: memFree=19154008/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=514752 CPUtime=402.3 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 126429 0 0 0 40167 63 0 0 25 0 1 0 830115764 527106048 126257 33554432000 134512640 137138936 4287365984 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 128688 126257 192 642 0 128044 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 514752
[startup+462.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/437 31093
/proc/meminfo: memFree=19141596/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=527144 CPUtime=462.31 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 129532 0 0 0 46165 66 0 0 25 0 1 0 830115764 539795456 129360 33554432000 134512640 137138936 4287365984 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 131786 129360 192 642 0 131142 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 527144
[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/437 31095
/proc/meminfo: memFree=19131916/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=536936 CPUtime=522.31 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 131978 0 0 0 52162 69 0 0 25 0 1 0 830115764 549822464 131806 33554432000 134512640 137138936 4287365984 18446744073709551615 134542725 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 134234 131806 192 642 0 133590 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 536936
[startup+582.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/437 31461
/proc/meminfo: memFree=20103016/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=543924 CPUtime=582.31 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 133728 0 0 0 58159 72 0 0 25 0 1 0 830115764 556978176 133556 33554432000 134512640 137138936 4287365984 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 135981 133556 192 642 0 135337 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 543924
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=19267824/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=1053696 CPUtime=1122.33 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 261457 0 0 0 112121 112 0 0 25 0 1 0 830115764 1078984704 261007 33554432000 134512640 137138936 4287365984 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 263424 261007 192 642 0 262780 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1053696
[startup+1182.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/437 31477
/proc/meminfo: memFree=19226520/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=1053432 CPUtime=1182.33 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 261457 0 0 0 118120 113 0 0 25 0 1 0 830115764 1078714368 260941 33554432000 134512640 137138936 4287365984 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 263358 260941 192 642 0 262714 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1053432
[startup+1242.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/437 31479
/proc/meminfo: memFree=19187072/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=1052796 CPUtime=1242.33 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 261457 0 0 0 124118 115 0 0 25 0 1 0 830115764 1078063104 260782 33554432000 134512640 137138936 4287365984 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 263199 260782 192 642 0 262555 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1052796
[startup+1302.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/437 31481
/proc/meminfo: memFree=19143416/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=1050516 CPUtime=1302.35 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 261457 0 0 0 130117 118 0 0 25 0 1 0 830115764 1075728384 260212 33554432000 134512640 137138936 4287365984 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 262629 260212 192 642 0 261985 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 1050516
[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/437 31482
/proc/meminfo: memFree=19097148/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=1033748 CPUtime=1362.33 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 261457 0 0 0 136111 122 0 0 25 0 1 0 830115764 1058557952 256020 33554432000 134512640 137138936 4287365984 18446744073709551615 134542704 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 258437 256020 192 642 0 257793 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1033748
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 31484
/proc/meminfo: memFree=19051012/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=1033748 CPUtime=1422.35 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 261457 0 0 0 142108 127 0 0 25 0 1 0 830115764 1058557952 256020 33554432000 134512640 137138936 4287365984 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 258437 256020 192 642 0 257793 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1033748
[startup+1482.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/437 31485
/proc/meminfo: memFree=18997680/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=1033748 CPUtime=1482.33 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 261457 0 0 0 148103 130 0 0 25 0 1 0 830115764 1058557952 256020 33554432000 134512640 137138936 4287365984 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 258437 256020 192 642 0 257793 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1033748
[startup+1542.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/437 31487
/proc/meminfo: memFree=18960468/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=1031892 CPUtime=1542.34 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 261457 0 0 0 154096 138 0 0 25 0 1 0 830115764 1056657408 255556 33554432000 134512640 137138936 4287365984 18446744073709551615 134607601 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 257973 255556 192 642 0 257329 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1031892
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/437 31489
/proc/meminfo: memFree=18929956/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=1031892 CPUtime=1602.34 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 261457 0 0 0 160090 144 0 0 25 0 1 0 830115764 1056657408 255556 33554432000 134512640 137138936 4287365984 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 257973 255556 192 642 0 257329 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1031892
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/437 31490
/proc/meminfo: memFree=18900556/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=1031892 CPUtime=1662.35 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 261457 0 0 0 166088 147 0 0 25 0 1 0 830115764 1056657408 255556 33554432000 134512640 137138936 4287365984 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 257973 255556 192 642 0 257329 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1031892
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 31492
/proc/meminfo: memFree=18863220/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=1031892 CPUtime=1722.35 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 261457 0 0 0 172084 151 0 0 25 0 1 0 830115764 1056657408 255556 33554432000 134512640 137138936 4287365984 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 257973 255556 192 642 0 257329 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1031892
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/437 31493
/proc/meminfo: memFree=18827756/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=1031892 CPUtime=1782.35 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 261457 0 0 0 178080 155 0 0 25 0 1 0 830115764 1056657408 255556 33554432000 134512640 137138936 4287365984 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 257973 255556 192 642 0 257329 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1031892
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.03 2.03 2.00 3/437 31493
/proc/meminfo: memFree=18826020/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=1031892 CPUtime=1785.55 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 261457 0 0 0 178400 155 0 0 25 0 1 0 830115764 1056657408 255556 33554432000 134512640 137138936 4287365984 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 257973 255556 192 642 0 257329 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 1031892
[startup+1791.92 s]
/proc/loadavg: 2.03 2.03 2.00 3/437 31494
/proc/meminfo: memFree=18823044/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=1031892 CPUtime=1791.96 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 261457 0 0 0 179041 155 0 0 25 0 1 0 830115764 1056657408 255556 33554432000 134512640 137138936 4287365984 18446744073709551615 134602762 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 257973 255556 192 642 0 257329 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 1031892
[startup+1795.1 s]
/proc/loadavg: 2.03 2.03 2.00 3/437 31494
/proc/meminfo: memFree=18821676/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=1031892 CPUtime=1795.16 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 261457 0 0 0 179361 155 0 0 25 0 1 0 830115764 1056657408 255556 33554432000 134512640 137138936 4287365984 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 257973 255556 192 642 0 257329 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 1031892
[startup+1796.7 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 31494
/proc/meminfo: memFree=18821304/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=1031892 CPUtime=1796.74 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 261457 0 0 0 179519 155 0 0 25 0 1 0 830115764 1056657408 255556 33554432000 134512640 137138936 4287365984 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 257973 255556 192 642 0 257329 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 1031892
[startup+1797.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 31494
/proc/meminfo: memFree=18821304/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=1031892 CPUtime=1797.54 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 261457 0 0 0 179599 155 0 0 25 0 1 0 830115764 1056657408 255556 33554432000 134512640 137138936 4287365984 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 257973 255556 192 642 0 257329 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 1031892
[startup+1797.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 31494
/proc/meminfo: memFree=18821304/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=1031892 CPUtime=1797.94 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202496 261457 0 0 0 179639 155 0 0 25 0 1 0 830115764 1056657408 255556 33554432000 134512640 137138936 4287365984 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31068/statm: 257973 255556 192 642 0 257329 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 1031892
[startup+1798 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 31494
/proc/meminfo: memFree=18821304/32951124 swapFree=60787360/67111528
[pid=31068] ppid=31066 vsize=0 CPUtime=1798.05 cores=0,2,4,6
/proc/31068/stat : 31068 (bsolo) R 31066 31068 29081 0 -1 4202500 261457 0 0 0 179649 156 0 0 25 0 1 0 830115764 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/31068/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.04
CPU time (s): 1798.1
CPU user time (s): 1796.5
CPU system time (s): 1.60576
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1054816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.5
system time used= 1.60575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261457
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= 5
involuntary context switches= 1837
runsolver used 8.18276 second user time and 16.7844 second system time
The end