runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3423164-1306692156/watcher-3423164-1306692156 -o /tmp/evaluation-result-3423164-1306692156/solver-3423164-1306692156 -C 5000 -W 5100 -M 15500 HOME/clasp --sat-p=20,25,120,-1,0 --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=800,10000 --dsched=20000,1.1 --reverse-arcs=2 HOME/instance-3423164-1306692156.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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.12 1.05 1.01 3/446 13912
/proc/meminfo: memFree=30715492/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=13988 CPUtime=0 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 954 0 0 0 0 0 0 0 25 0 1 0 780814408 14323712 791 33554432000 4194304 4929204 140734827308256 18446744073709551615 235594563339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13912/statm: 3497 791 336 180 0 507 0
[startup+0.105068 s]
/proc/loadavg: 1.12 1.05 1.01 3/446 13912
/proc/meminfo: memFree=30715492/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=14812 CPUtime=0.1 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 1284 0 0 0 10 0 0 0 25 0 1 0 780814408 15167488 1054 33554432000 4194304 4929204 140734827308256 18446744073709551615 4327581 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13912/statm: 3703 1054 367 180 0 713 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14812
[startup+0.201052 s]
/proc/loadavg: 1.12 1.05 1.01 3/446 13912
/proc/meminfo: memFree=30715492/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=14812 CPUtime=0.19 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 1284 0 0 0 19 0 0 0 25 0 1 0 780814408 15167488 1054 33554432000 4194304 4929204 140734827308256 18446744073709551615 4627871 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13912/statm: 3703 1054 367 180 0 713 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14812
[startup+0.300984 s]
/proc/loadavg: 1.12 1.05 1.01 3/446 13912
/proc/meminfo: memFree=30715492/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=14812 CPUtime=0.29 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 1284 0 0 0 29 0 0 0 25 0 1 0 780814408 15167488 1054 33554432000 4194304 4929204 140734827308256 18446744073709551615 4337383 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13912/statm: 3703 1054 367 180 0 713 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14812
[startup+0.700983 s]
/proc/loadavg: 1.12 1.05 1.01 3/446 13912
/proc/meminfo: memFree=30715492/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=15748 CPUtime=0.69 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 1510 0 0 0 69 0 0 0 25 0 1 0 780814408 16125952 1280 33554432000 4194304 4929204 140734827308256 18446744073709551615 4633861 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13912/statm: 3937 1280 367 180 0 947 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15748
[startup+1.50088 s]
/proc/loadavg: 1.12 1.05 1.01 3/447 13913
/proc/meminfo: memFree=30710036/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=16572 CPUtime=1.49 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 1688 0 0 0 149 0 0 0 25 0 1 0 780814408 16969728 1458 33554432000 4194304 4929204 140734827308256 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13912/statm: 4143 1458 367 180 0 1153 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16572
[startup+3.10062 s]
/proc/loadavg: 1.12 1.05 1.01 3/447 13941
/proc/meminfo: memFree=30705232/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=18288 CPUtime=3.09 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 2121 0 0 0 309 0 0 0 25 0 1 0 780814408 18726912 1891 33554432000 4194304 4929204 140734827308256 18446744073709551615 4316056 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13912/statm: 4572 1891 367 180 0 1582 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18288
[startup+6.30093 s]
/proc/loadavg: 1.19 1.07 1.02 3/447 13941
/proc/meminfo: memFree=30701852/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=18696 CPUtime=6.29 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 2232 0 0 0 629 0 0 0 25 0 1 0 780814408 19144704 2002 33554432000 4194304 4929204 140734827308256 18446744073709551615 4633770 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13912/statm: 4674 2002 367 180 0 1684 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18696
[startup+12.7008 s]
/proc/loadavg: 1.25 1.08 1.02 3/447 13941
/proc/meminfo: memFree=30698428/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=19660 CPUtime=12.69 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 2468 0 0 0 1269 0 0 0 25 0 1 0 780814408 20131840 2238 33554432000 4194304 4929204 140734827308256 18446744073709551615 4633785 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13912/statm: 4915 2238 367 180 0 1925 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19660
[startup+25.5005 s]
/proc/loadavg: 1.42 1.13 1.04 3/447 13941
/proc/meminfo: memFree=30695156/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=21624 CPUtime=25.49 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 2969 0 0 0 2549 0 0 0 25 0 1 0 780814408 22142976 2739 33554432000 4194304 4929204 140734827308256 18446744073709551615 4633764 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13912/statm: 5406 2739 367 180 0 2416 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21624
[startup+51.1012 s]
/proc/loadavg: 1.61 1.20 1.06 3/447 13942
/proc/meminfo: memFree=30690464/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=24580 CPUtime=51.09 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 3675 0 0 0 5109 0 0 0 25 0 1 0 780814408 25169920 3445 33554432000 4194304 4929204 140734827308256 18446744073709551615 4316139 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13912/statm: 6145 3445 367 180 0 3155 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 24580
[startup+102.301 s]
/proc/loadavg: 1.83 1.32 1.11 3/447 13945
/proc/meminfo: memFree=30681392/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=28676 CPUtime=102.22 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 4674 0 0 0 10221 1 0 0 25 0 1 0 780814408 29364224 4444 33554432000 4194304 4929204 140734827308256 18446744073709551615 4633759 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 7169 4444 369 180 0 4179 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 28676
[startup+162.301 s]
/proc/loadavg: 1.94 1.44 1.16 3/447 13948
/proc/meminfo: memFree=30674892/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=30532 CPUtime=162.21 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 5115 0 0 0 16220 1 0 0 25 0 1 0 780814408 31264768 4885 33554432000 4194304 4929204 140734827308256 18446744073709551615 4357368 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 7633 4885 369 180 0 4643 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 30532
[startup+222.317 s]
/proc/loadavg: 1.97 1.54 1.21 3/447 13949
/proc/meminfo: memFree=30673744/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=32692 CPUtime=222.23 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 5650 0 0 0 22222 1 0 0 25 0 1 0 780814408 33476608 5420 33554432000 4194304 4929204 140734827308256 18446744073709551615 4633723 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 8173 5420 369 180 0 5183 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 32692
[startup+282.3 s]
/proc/loadavg: 1.99 1.62 1.26 3/447 13951
/proc/meminfo: memFree=30670752/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=34020 CPUtime=282.21 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 5956 0 0 0 28220 1 0 0 25 0 1 0 780814408 34836480 5726 33554432000 4194304 4929204 140734827308256 18446744073709551615 4633759 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 8505 5726 369 180 0 5515 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 34020
[startup+342.301 s]
/proc/loadavg: 1.99 1.69 1.30 3/447 13953
/proc/meminfo: memFree=30666124/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=36320 CPUtime=342.21 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 6482 0 0 0 34220 1 0 0 25 0 1 0 780814408 37191680 6252 33554432000 4194304 4929204 140734827308256 18446744073709551615 4633770 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 9080 6252 369 180 0 6090 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 36320
[startup+402.3 s]
/proc/loadavg: 2.09 1.77 1.35 3/447 13954
/proc/meminfo: memFree=30664360/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=37144 CPUtime=402.22 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 6695 0 0 0 40220 2 0 0 25 0 1 0 780814408 38035456 6465 33554432000 4194304 4929204 140734827308256 18446744073709551615 4638395 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 9286 6465 369 180 0 6296 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 37144
[startup+462.301 s]
/proc/loadavg: 2.08 1.83 1.39 3/447 13956
/proc/meminfo: memFree=30662236/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=38228 CPUtime=462.22 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 6945 0 0 0 46220 2 0 0 25 0 1 0 780814408 39145472 6715 33554432000 4194304 4929204 140734827308256 18446744073709551615 4633579 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 9557 6715 369 180 0 6567 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 38228
[startup+522.301 s]
/proc/loadavg: 2.08 1.87 1.43 3/447 13957
/proc/meminfo: memFree=30661848/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=39184 CPUtime=522.22 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 7122 0 0 0 52220 2 0 0 25 0 1 0 780814408 40124416 6892 33554432000 4194304 4929204 140734827308256 18446744073709551615 4627864 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 9796 6892 369 180 0 6806 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 39184
[startup+582.301 s]
/proc/loadavg: 2.03 1.89 1.47 3/447 13959
/proc/meminfo: memFree=30660580/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=40328 CPUtime=582.22 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 7395 0 0 0 58220 2 0 0 25 0 1 0 780814408 41295872 7165 33554432000 4194304 4929204 140734827308256 18446744073709551615 4320442 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 10082 7165 369 180 0 7092 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 40328
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30635836/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=53676 CPUtime=1662.25 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 10590 0 0 0 166221 4 0 0 25 0 1 0 780814408 54964224 10360 33554432000 4194304 4929204 140734827308256 18446744073709551615 4633719 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 13419 10360 369 180 0 10429 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 53676
[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 1.84 3/447 13989
/proc/meminfo: memFree=30635324/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=53928 CPUtime=1722.25 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 10648 0 0 0 172221 4 0 0 25 0 1 0 780814408 55222272 10418 33554432000 4194304 4929204 140734827308256 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 13482 10418 369 180 0 10492 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 53928
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 1.84 3/447 13991
/proc/meminfo: memFree=30632316/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=54960 CPUtime=1782.25 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 10868 0 0 0 178221 4 0 0 25 0 1 0 780814408 56279040 10638 33554432000 4194304 4929204 140734827308256 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 13740 10638 369 180 0 10750 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 54960
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 1.85 3/447 13993
/proc/meminfo: memFree=30631164/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=55768 CPUtime=1842.25 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 11070 0 0 0 184221 4 0 0 25 0 1 0 780814408 57106432 10840 33554432000 4194304 4929204 140734827308256 18446744073709551615 4316150 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 13942 10840 369 180 0 10952 0
Current children cumulated CPU time (s) 1842.25
Current children cumulated vsize (KiB) 55768
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 1.85 3/447 13994
/proc/meminfo: memFree=30631748/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=56340 CPUtime=1902.25 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 11203 0 0 0 190221 4 0 0 25 0 1 0 780814408 57692160 10973 33554432000 4194304 4929204 140734827308256 18446744073709551615 4638692 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 14085 10973 369 180 0 11095 0
Current children cumulated CPU time (s) 1902.25
Current children cumulated vsize (KiB) 56340
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/447 13996
/proc/meminfo: memFree=30631352/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=56732 CPUtime=1962.25 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 11284 0 0 0 196221 4 0 0 25 0 1 0 780814408 58093568 11054 33554432000 4194304 4929204 140734827308256 18446744073709551615 4627948 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 14183 11054 369 180 0 11193 0
Current children cumulated CPU time (s) 1962.25
Current children cumulated vsize (KiB) 56732
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/447 13997
/proc/meminfo: memFree=30630200/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=57196 CPUtime=2022.26 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 11401 0 0 0 202222 4 0 0 25 0 1 0 780814408 58568704 11171 33554432000 4194304 4929204 140734827308256 18446744073709551615 4637463 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 14299 11171 369 180 0 11309 0
Current children cumulated CPU time (s) 2022.26
Current children cumulated vsize (KiB) 57196
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/447 13999
/proc/meminfo: memFree=30629432/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=57492 CPUtime=2082.27 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 11501 0 0 0 208223 4 0 0 25 0 1 0 780814408 58871808 11271 33554432000 4194304 4929204 140734827308256 18446744073709551615 4628024 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 14373 11271 369 180 0 11383 0
Current children cumulated CPU time (s) 2082.27
Current children cumulated vsize (KiB) 57492
[startup+2142.3 s]
/proc/loadavg: 2.09 2.03 1.89 3/447 14001
/proc/meminfo: memFree=30627292/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=57660 CPUtime=2142.26 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 11545 0 0 0 214222 4 0 0 25 0 1 0 780814408 59043840 11315 33554432000 4194304 4929204 140734827308256 18446744073709551615 4633745 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 14415 11315 369 180 0 11425 0
Current children cumulated CPU time (s) 2142.26
Current children cumulated vsize (KiB) 57660
[startup+2202.32 s]
/proc/loadavg: 2.14 2.05 1.90 3/447 14002
/proc/meminfo: memFree=30626896/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=58296 CPUtime=2202.28 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 11662 0 0 0 220223 5 0 0 25 0 1 0 780814408 59695104 11432 33554432000 4194304 4929204 140734827308256 18446744073709551615 4633958 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 14574 11432 369 180 0 11584 0
Current children cumulated CPU time (s) 2202.28
Current children cumulated vsize (KiB) 58296
[startup+2262.3 s]
/proc/loadavg: 2.10 2.06 1.91 3/447 14004
/proc/meminfo: memFree=30625868/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=58696 CPUtime=2262.26 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 11752 0 0 0 226221 5 0 0 25 0 1 0 780814408 60104704 11522 33554432000 4194304 4929204 140734827308256 18446744073709551615 4316126 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 14674 11522 369 180 0 11684 0
Current children cumulated CPU time (s) 2262.26
Current children cumulated vsize (KiB) 58696
[startup+2322.3 s]
/proc/loadavg: 2.04 2.04 1.91 3/447 14005
/proc/meminfo: memFree=30625224/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=58696 CPUtime=2322.27 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 11787 0 0 0 232222 5 0 0 25 0 1 0 780814408 60104704 11557 33554432000 4194304 4929204 140734827308256 18446744073709551615 4316135 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 14674 11557 369 180 0 11684 0
Current children cumulated CPU time (s) 2322.27
Current children cumulated vsize (KiB) 58696
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 1.91 3/447 14007
/proc/meminfo: memFree=30624320/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=59220 CPUtime=2382.27 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 11896 0 0 0 238222 5 0 0 25 0 1 0 780814408 60641280 11666 33554432000 4194304 4929204 140734827308256 18446744073709551615 4316238 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 14805 11666 369 180 0 11815 0
Current children cumulated CPU time (s) 2382.27
Current children cumulated vsize (KiB) 59220
Solver just ended. Dumping a history of the last processes samples
[startup+2384 s]
/proc/loadavg: 2.01 2.03 1.91 3/447 14007
/proc/meminfo: memFree=30624568/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=59220 CPUtime=2383.97 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 11904 0 0 0 238392 5 0 0 25 0 1 0 780814408 60641280 11674 33554432000 4194304 4929204 140734827308256 18446744073709551615 4633770 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 14805 11674 369 180 0 11815 0
Current children cumulated CPU time (s) 2383.97
Current children cumulated vsize (KiB) 59220
[startup+2385.6 s]
/proc/loadavg: 2.01 2.03 1.91 3/447 14007
/proc/meminfo: memFree=30624320/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=59616 CPUtime=2385.57 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 12008 0 0 0 238552 5 0 0 25 0 1 0 780814408 61046784 11778 33554432000 4194304 4929204 140734827308256 18446744073709551615 4357395 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 14904 11778 369 180 0 11914 0
Current children cumulated CPU time (s) 2385.57
Current children cumulated vsize (KiB) 59616
[startup+2386.4 s]
/proc/loadavg: 2.01 2.03 1.91 3/447 14007
/proc/meminfo: memFree=30624196/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=59616 CPUtime=2386.37 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 12008 0 0 0 238632 5 0 0 25 0 1 0 780814408 61046784 11778 33554432000 4194304 4929204 140734827308256 18446744073709551615 4316165 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 14904 11778 369 180 0 11914 0
Current children cumulated CPU time (s) 2386.37
Current children cumulated vsize (KiB) 59616
[startup+2386.8 s]
/proc/loadavg: 2.01 2.03 1.91 3/447 14007
/proc/meminfo: memFree=30624196/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=59616 CPUtime=2386.77 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 12008 0 0 0 238672 5 0 0 25 0 1 0 780814408 61046784 11778 33554432000 4194304 4929204 140734827308256 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 14904 11778 369 180 0 11914 0
Current children cumulated CPU time (s) 2386.77
Current children cumulated vsize (KiB) 59616
[startup+2387 s]
/proc/loadavg: 2.01 2.03 1.91 3/447 14007
/proc/meminfo: memFree=30623948/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=59616 CPUtime=2386.98 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 12008 0 0 0 238693 5 0 0 25 0 1 0 780814408 61046784 11778 33554432000 4194304 4929204 140734827308256 18446744073709551615 4633747 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 14904 11778 369 180 0 11914 0
Current children cumulated CPU time (s) 2386.98
Current children cumulated vsize (KiB) 59616
[startup+2387.12 s]
/proc/loadavg: 2.01 2.03 1.91 3/447 14007
/proc/meminfo: memFree=30623948/32950928 swapFree=34365936/67111528
[pid=13912] ppid=13910 vsize=59616 CPUtime=2387.08 cores=0,2,4,6
/proc/13912/stat : 13912 (clasp) R 13910 13912 13847 0 -1 4202496 12008 0 0 0 238703 5 0 0 25 0 1 0 780814408 61046784 11778 33554432000 4194304 4929204 140734827308256 18446744073709551615 4633723 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13912/statm: 14904 11778 369 180 0 11914 0
Current children cumulated CPU time (s) 2387.08
Current children cumulated vsize (KiB) 59616
Child status: 10
Real time (s): 2387.13
CPU time (s): 2387.11
CPU user time (s): 2387.05
CPU system time (s): 0.057991
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 59616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2387.05
system time used= 0.057991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12024
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= 7
involuntary context switches= 4576
runsolver used 10.7064 second user time and 23.9184 second system time
The end
Begin job on node120 at 2011-05-29 20:02:36
IDJOB=3423164
IDBENCH=84551
IDSOLVER=1917
FILE ID=node120/3423164-1306692156
RUNJOBID= node120-1306692156-13865
PBS_JOBID= 13471864
Free space on /tmp= 73468 MiB
SOLVER NAME= clasp 2.0-R4092-crafted
BENCH NAME= SAT04/handmade/kexu/frb-0.6/frb75-13-2.used-as.sat04-878.cnf
COMMAND LINE= HOME/clasp --sat-p=20,25,120,-1,0 --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=800,10000 --dsched=20000,1.1 --reverse-arcs=2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3423164-1306692156/watcher-3423164-1306692156 -o /tmp/evaluation-result-3423164-1306692156/solver-3423164-1306692156 -C 5000 -W 5100 -M 15500 HOME/clasp --sat-p=20,25,120,-1,0 --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=800,10000 --dsched=20000,1.1 --reverse-arcs=2 HOME/instance-3423164-1306692156.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 00e6f1cbbaaa8f43dc6451d49bfa1cef
RANDOM SEED=1225307565
node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.07
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.78
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 30715648 kB
Buffers: 256048 kB
Cached: 1695152 kB
SwapCached: 15056 kB
Active: 411680 kB
Inactive: 1563308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 30715648 kB
SwapTotal: 67111528 kB
SwapFree: 34365936 kB
Dirty: 1956 kB
Writeback: 12 kB
AnonPages: 17844 kB
Mapped: 9344 kB
Slab: 98900 kB
PageTables: 91560 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 105391380 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73468 MiB
End job on node120 at 2011-05-29 20:42:24