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-3479269-1307447843/watcher-3479269-1307447843 -o /tmp/evaluation-result-3479269-1307447843/solver-3479269-1307447843 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3479269-1307447843.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: 2.00 2.01 2.00 2/535 17190
/proc/meminfo: memFree=28532256/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=11368 CPUtime=0 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 396 0 0 0 0 0 0 0 24 0 1 0 856382255 11640832 351 33554432000 134512640 137138936 4291456352 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 2842 351 201 642 0 2121 0
[startup+0.0367749 s]
/proc/loadavg: 2.00 2.01 2.00 2/535 17190
/proc/meminfo: memFree=28532256/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=12384 CPUtime=0.03 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 777 0 0 0 3 0 0 0 24 0 1 0 856382255 12681216 655 33554432000 134512640 137138936 4291456352 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 3096 655 185 642 0 2452 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12384
[startup+0.100778 s]
/proc/loadavg: 2.00 2.01 2.00 2/535 17190
/proc/meminfo: memFree=28532256/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=12384 CPUtime=0.09 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 810 0 0 0 8 1 0 0 24 0 1 0 856382255 12681216 688 33554432000 134512640 137138936 4291456352 18446744073709551615 134712036 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 3096 688 218 642 0 2452 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12384
[startup+0.300729 s]
/proc/loadavg: 2.00 2.01 2.00 2/535 17190
/proc/meminfo: memFree=28532256/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=18672 CPUtime=0.29 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 13244 0 0 0 27 2 0 0 25 0 1 0 856382255 19120128 1578 33554432000 134512640 137138936 4291456352 18446744073709551615 134713188 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 4668 1578 278 642 0 4024 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18672
[startup+0.70066 s]
/proc/loadavg: 2.00 2.01 2.00 2/535 17190
/proc/meminfo: memFree=28532256/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=20452 CPUtime=0.69 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 14694 0 0 0 67 2 0 0 25 0 1 0 856382255 20942848 1718 33554432000 134512640 137138936 4291456352 18446744073709551615 135081108 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 5113 1720 278 642 0 4469 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20452
[startup+1.50052 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 17191
/proc/meminfo: memFree=28524808/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=20392 CPUtime=1.49 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 29598 0 0 0 145 4 0 0 25 0 1 0 856382255 20881408 1480 33554432000 134512640 137138936 4291456352 18446744073709551615 135466261 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 5098 1480 282 642 0 4454 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20392
[startup+3.10024 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 17191
/proc/meminfo: memFree=28524780/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=20164 CPUtime=3.09 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 77522 0 0 0 301 8 0 0 25 0 1 0 856382255 20647936 1455 33554432000 134512640 137138936 4291456352 18446744073709551615 134734939 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 5041 1455 282 642 0 4397 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20164
[startup+6.30068 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 17191
/proc/meminfo: memFree=28525028/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=12832 CPUtime=6.29 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 140538 0 0 0 614 15 0 0 25 0 1 0 856382255 13139968 876 33554432000 134512640 137138936 4291456352 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 3208 876 282 642 0 2564 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12832
[startup+12.7006 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 17191
/proc/meminfo: memFree=28521572/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=19824 CPUtime=12.69 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 367906 0 0 0 1231 38 0 0 25 0 1 0 856382255 20299776 1445 33554432000 134512640 137138936 4291456352 18446744073709551615 135443713 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 4956 1445 283 642 0 4312 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19824
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 17191
/proc/meminfo: memFree=28520040/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=19424 CPUtime=25.49 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 842648 0 0 0 2461 88 0 0 25 0 1 0 856382255 19890176 1598 33554432000 134512640 137138936 4291456352 18446744073709551615 134708221 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 4856 1601 288 642 0 4212 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19424
[startup+51.1008 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 17192
/proc/meminfo: memFree=28504528/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=31164 CPUtime=51.09 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 1973082 0 0 0 4914 195 0 0 25 0 1 0 856382255 31911936 4493 33554432000 134512640 137138936 4291456352 18446744073709551615 136528575 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 7791 4493 288 642 0 7147 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 31164
[startup+102.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 17193
/proc/meminfo: memFree=28480460/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=54404 CPUtime=102.31 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 4193330 0 0 0 9822 409 0 0 25 0 1 0 856382255 55709696 10166 33554432000 134512640 137138936 4291456352 18446744073709551615 135080680 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 13601 10166 288 642 0 12957 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 54404
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 17195
/proc/meminfo: memFree=28477340/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=54160 CPUtime=162.29 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 4953362 0 0 0 15733 496 0 0 25 0 1 0 856382255 55459840 9993 33554432000 134512640 137138936 4291456352 18446744073709551615 135344791 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 13540 9993 288 642 0 12896 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 54160
[startup+222.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/536 17206
/proc/meminfo: memFree=28475204/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=54064 CPUtime=222.3 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 5479138 0 0 0 21668 562 0 0 25 0 1 0 856382255 55361536 9899 33554432000 134512640 137138936 4291456352 18446744073709551615 135457912 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 13516 9899 288 642 0 12872 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 54064
[startup+282.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/536 17207
/proc/meminfo: memFree=28475660/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=50528 CPUtime=282.3 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 6043921 0 0 0 27600 630 0 0 25 0 1 0 856382255 51740672 9710 33554432000 134512640 137138936 4291456352 18446744073709551615 135380735 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 12632 9710 288 642 0 11988 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 50528
[startup+342.301 s]
/proc/loadavg: 2.03 2.04 2.01 3/536 17209
/proc/meminfo: memFree=28472796/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=53360 CPUtime=342.3 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 6566526 0 0 0 33535 695 0 0 25 0 1 0 856382255 54640640 9870 33554432000 134512640 137138936 4291456352 18446744073709551615 135443676 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 13340 9870 288 642 0 12696 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 53360
[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 17210
/proc/meminfo: memFree=28471552/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=51340 CPUtime=402.3 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 7209279 0 0 0 39454 776 0 0 25 0 1 0 856382255 52572160 9724 33554432000 134512640 137138936 4291456352 18446744073709551615 134848471 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 12835 9724 288 642 0 12191 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 51340
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 17215
/proc/meminfo: memFree=28471100/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=50908 CPUtime=462.3 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 7893524 0 0 0 45363 867 0 0 25 0 1 0 856382255 52129792 9724 33554432000 134512640 137138936 4291456352 18446744073709551615 135389531 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 12727 9724 288 642 0 12083 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 50908
[startup+522.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/536 17217
/proc/meminfo: memFree=28466756/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=55388 CPUtime=522.3 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 9553115 0 0 0 51196 1034 0 0 25 0 1 0 856382255 56717312 10946 33554432000 134512640 137138936 4291456352 18446744073709551615 135404672 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 13847 10946 288 642 0 13203 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 55388
[startup+582.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/536 17218
/proc/meminfo: memFree=28462652/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=52680 CPUtime=582.31 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 11087534 0 0 0 57018 1213 0 0 25 0 1 0 856382255 53944320 10812 33554432000 134512640 137138936 4291456352 18446744073709551615 134745154 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 13170 10812 288 642 0 12526 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 52680
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28453152/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=59572 CPUtime=1062.32 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 18128001 0 0 0 104204 2028 0 0 25 0 1 0 856382255 61001728 12460 33554432000 134512640 137138936 4291456352 18446744073709551615 134625748 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 14893 12460 288 642 0 14249 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 59572
[startup+1122.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/536 17233
/proc/meminfo: memFree=28452884/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=59300 CPUtime=1122.32 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 18175991 0 0 0 110198 2034 0 0 25 0 1 0 856382255 60723200 12387 33554432000 134512640 137138936 4291456352 18446744073709551615 135380779 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 14825 12387 288 642 0 14181 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 59300
[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 17234
/proc/meminfo: memFree=28451632/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=60180 CPUtime=1182.32 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 18425854 0 0 0 116162 2070 0 0 25 0 1 0 856382255 61624320 12396 33554432000 134512640 137138936 4291456352 18446744073709551615 135456672 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 15045 12396 288 642 0 14401 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 60180
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 17236
/proc/meminfo: memFree=28449268/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=58848 CPUtime=1242.32 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 18822143 0 0 0 122104 2128 0 0 25 0 1 0 856382255 60260352 12386 33554432000 134512640 137138936 4291456352 18446744073709551615 134750321 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 14712 12386 288 642 0 14068 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 58848
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 17237
/proc/meminfo: memFree=28448872/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=60256 CPUtime=1302.33 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 19157392 0 0 0 128053 2180 0 0 25 0 1 0 856382255 61702144 12397 33554432000 134512640 137138936 4291456352 18446744073709551615 134840743 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 15064 12397 288 642 0 14420 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 60256
[startup+1362.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/536 17239
/proc/meminfo: memFree=28450344/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=64840 CPUtime=1362.32 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 19730979 0 0 0 133979 2253 0 0 25 0 1 0 856382255 66396160 13353 33554432000 134512640 137138936 4291456352 18446744073709551615 135387681 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 16210 13353 288 642 0 15566 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 64840
[startup+1422.32 s]
/proc/loadavg: 2.11 2.05 2.01 3/536 17241
/proc/meminfo: memFree=28443516/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=68444 CPUtime=1422.34 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 21849831 0 0 0 139762 2472 0 0 25 0 1 0 856382255 70086656 13913 33554432000 134512640 137138936 4291456352 18446744073709551615 135445326 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 16213 13867 288 642 0 15569 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 68444
[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/536 17242
/proc/meminfo: memFree=28442876/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=67084 CPUtime=1482.33 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 22865950 0 0 0 145637 2596 0 0 25 0 1 0 856382255 68694016 13854 33554432000 134512640 137138936 4291456352 18446744073709551615 135382379 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 16771 13854 288 642 0 16127 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 67084
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 17244
/proc/meminfo: memFree=28442860/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=64572 CPUtime=1542.33 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 23597247 0 0 0 151536 2697 0 0 25 0 1 0 856382255 66121728 13817 33554432000 134512640 137138936 4291456352 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 16143 13817 288 642 0 15499 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 64572
[startup+1602.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/536 17245
/proc/meminfo: memFree=28443332/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=67356 CPUtime=1602.33 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 24246719 0 0 0 157454 2779 0 0 25 0 1 0 856382255 68972544 13851 33554432000 134512640 137138936 4291456352 18446744073709551615 134840676 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 16839 13851 288 642 0 16195 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 67356
[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/536 17247
/proc/meminfo: memFree=28443324/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=65948 CPUtime=1662.33 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 24867014 0 0 0 163374 2859 0 0 25 0 1 0 856382255 67530752 13831 33554432000 134512640 137138936 4291456352 18446744073709551615 135412596 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 16487 13831 288 642 0 15843 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 65948
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/536 17250
/proc/meminfo: memFree=28443308/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=66852 CPUtime=1722.33 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 25488608 0 0 0 169292 2941 0 0 25 0 1 0 856382255 68456448 13838 33554432000 134512640 137138936 4291456352 18446744073709551615 134734948 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 16713 13838 288 642 0 16069 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 66852
[startup+1782.3 s]
/proc/loadavg: 1.86 2.00 1.99 2/530 17274
/proc/meminfo: memFree=28500716/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=65436 CPUtime=1782.33 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 25919993 0 0 0 175233 3000 0 0 25 0 1 0 856382255 67006464 13803 33554432000 134512640 137138936 4291456352 18446744073709551615 135385161 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 16359 13803 288 642 0 15715 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 65436
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.86 2.00 1.99 2/530 17274
/proc/meminfo: memFree=28501584/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=66368 CPUtime=1785.54 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 25930954 0 0 0 175551 3003 0 0 25 0 1 0 856382255 67960832 13813 33554432000 134512640 137138936 4291456352 18446744073709551615 134730892 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 16592 13813 288 642 0 15948 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 66368
[startup+1791.92 s]
/proc/loadavg: 1.73 1.97 1.98 2/530 17274
/proc/meminfo: memFree=28501824/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=65432 CPUtime=1791.96 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 25952044 0 0 0 176188 3008 0 0 25 0 1 0 856382255 67002368 13803 33554432000 134512640 137138936 4291456352 18446744073709551615 135381605 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 16358 13803 288 642 0 15714 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 65432
[startup+1795.1 s]
/proc/loadavg: 1.73 1.97 1.98 2/530 17275
/proc/meminfo: memFree=28501824/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=66376 CPUtime=1795.14 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 25962741 0 0 0 176505 3009 0 0 25 0 1 0 856382255 67969024 13812 33554432000 134512640 137138936 4291456352 18446744073709551615 134730880 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 16594 13812 288 642 0 15950 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 66376
[startup+1796.7 s]
/proc/loadavg: 1.67 1.95 1.97 2/530 17275
/proc/meminfo: memFree=28501824/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=65436 CPUtime=1796.73 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 25968105 0 0 0 176663 3010 0 0 25 0 1 0 856382255 67006464 13802 33554432000 134512640 137138936 4291456352 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 16359 13802 288 642 0 15715 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 65436
[startup+1797.5 s]
/proc/loadavg: 1.67 1.95 1.97 2/530 17275
/proc/meminfo: memFree=28501452/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=66372 CPUtime=1797.53 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 25970928 0 0 0 176742 3011 0 0 25 0 1 0 856382255 67964928 13812 33554432000 134512640 137138936 4291456352 18446744073709551615 135347987 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 16593 13812 288 642 0 15949 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 66372
[startup+1797.9 s]
/proc/loadavg: 1.67 1.95 1.97 2/530 17275
/proc/meminfo: memFree=28501452/32951124 swapFree=58212616/67111528
[pid=17190] ppid=17188 vsize=65444 CPUtime=1797.93 cores=1,3,5,7
/proc/17190/stat : 17190 (bsolo) R 17188 17190 16389 0 -1 4202496 25972256 0 0 0 176782 3011 0 0 25 0 1 0 856382255 67014656 13802 33554432000 134512640 137138936 4291456352 18446744073709551615 135381143 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17190/statm: 16361 13802 288 642 0 15717 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 65444
Child status: 0
Real time (s): 1797.98
CPU time (s): 1798.02
CPU user time (s): 1767.9
CPU system time (s): 30.1214
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 70244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.9
system time used= 30.1214
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25972493
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= 2811
runsolver used 9.38857 second user time and 21.6787 second system time
The end