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-3423165-1306692158/watcher-3423165-1306692158 -o /tmp/evaluation-result-3423165-1306692158/solver-3423165-1306692158 -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-3423165-1306692158.cnf
running on 4 cores: 1,3,5,7
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 13939
/proc/meminfo: memFree=30711060/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=12996 CPUtime=0 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 589 0 0 0 0 0 0 0 25 0 1 0 780814546 13307904 522 33554432000 4194304 4929204 140736845158800 18446744073709551615 4574143 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 3249 522 327 180 0 259 0
[startup+0.087544 s]
/proc/loadavg: 1.12 1.05 1.01 3/446 13939
/proc/meminfo: memFree=30711060/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=15988 CPUtime=0.07 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 1521 0 0 0 7 0 0 0 25 0 1 0 780814546 16371712 1273 33554432000 4194304 4929204 140736845158800 18446744073709551615 4659662 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 3997 1273 340 180 0 1007 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15988
[startup+0.100479 s]
/proc/loadavg: 1.12 1.05 1.01 3/446 13939
/proc/meminfo: memFree=30711060/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=15504 CPUtime=0.09 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 1543 0 0 0 9 0 0 0 25 0 1 0 780814546 15876096 1210 33554432000 4194304 4929204 140736845158800 18446744073709551615 4634098 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 3876 1210 360 180 0 886 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15504
[startup+0.30051 s]
/proc/loadavg: 1.12 1.05 1.01 3/446 13939
/proc/meminfo: memFree=30711060/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=15504 CPUtime=0.29 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 1550 0 0 0 29 0 0 0 25 0 1 0 780814546 15876096 1217 33554432000 4194304 4929204 140736845158800 18446744073709551615 4633770 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 3876 1217 367 180 0 886 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15504
[startup+0.700436 s]
/proc/loadavg: 1.12 1.05 1.01 3/446 13939
/proc/meminfo: memFree=30711060/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=16296 CPUtime=0.69 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 1741 0 0 0 69 0 0 0 25 0 1 0 780814546 16687104 1408 33554432000 4194304 4929204 140736845158800 18446744073709551615 4633734 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 4074 1408 367 180 0 1084 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16296
[startup+1.50029 s]
/proc/loadavg: 1.12 1.05 1.01 3/447 13941
/proc/meminfo: memFree=30705232/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=16560 CPUtime=1.49 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 1824 0 0 0 149 0 0 0 25 0 1 0 780814546 16957440 1491 33554432000 4194304 4929204 140736845158800 18446744073709551615 4633288 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 4140 1491 367 180 0 1150 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16560
[startup+3.10101 s]
/proc/loadavg: 1.12 1.05 1.01 3/447 13941
/proc/meminfo: memFree=30702876/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=17332 CPUtime=3.09 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 2014 0 0 0 309 0 0 0 25 0 1 0 780814546 17747968 1681 33554432000 4194304 4929204 140736845158800 18446744073709551615 4638508 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 4333 1681 367 180 0 1343 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17332
[startup+6.30044 s]
/proc/loadavg: 1.19 1.07 1.02 3/447 13941
/proc/meminfo: memFree=30701620/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=18520 CPUtime=6.29 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 2298 0 0 0 629 0 0 0 25 0 1 0 780814546 18964480 1965 33554432000 4194304 4929204 140736845158800 18446744073709551615 4633954 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 4630 1965 367 180 0 1640 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18520
[startup+12.7003 s]
/proc/loadavg: 1.25 1.08 1.02 3/447 13941
/proc/meminfo: memFree=30698552/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=19924 CPUtime=12.69 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 2647 0 0 0 1269 0 0 0 25 0 1 0 780814546 20402176 2314 33554432000 4194304 4929204 140736845158800 18446744073709551615 4316139 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 4981 2314 367 180 0 1991 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19924
[startup+25.5011 s]
/proc/loadavg: 1.42 1.13 1.04 3/447 13941
/proc/meminfo: memFree=30695156/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=22248 CPUtime=25.49 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 3207 0 0 0 2549 0 0 0 25 0 1 0 780814546 22781952 2874 33554432000 4194304 4929204 140736845158800 18446744073709551615 4633770 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 5562 2874 367 180 0 2572 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22248
[startup+51.1005 s]
/proc/loadavg: 1.61 1.20 1.06 3/447 13942
/proc/meminfo: memFree=30689968/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=24408 CPUtime=51.09 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 3745 0 0 0 5109 0 0 0 25 0 1 0 780814546 24993792 3412 33554432000 4194304 4929204 140736845158800 18446744073709551615 4632587 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 6102 3412 367 180 0 3112 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 24408
[startup+102.316 s]
/proc/loadavg: 1.83 1.32 1.11 3/447 13945
/proc/meminfo: memFree=30680648/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=27668 CPUtime=102.31 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 4494 0 0 0 10231 0 0 0 25 0 1 0 780814546 28332032 4161 33554432000 4194304 4929204 140736845158800 18446744073709551615 4633958 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 6917 4161 369 180 0 3927 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 27668
[startup+162.301 s]
/proc/loadavg: 1.94 1.44 1.16 3/447 13948
/proc/meminfo: memFree=30674892/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=31136 CPUtime=162.29 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 5331 0 0 0 16229 0 0 0 25 0 1 0 780814546 31883264 4998 33554432000 4194304 4929204 140736845158800 18446744073709551615 4316160 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 7784 4998 369 180 0 4794 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 31136
[startup+222.3 s]
/proc/loadavg: 1.97 1.54 1.21 3/447 13949
/proc/meminfo: memFree=30673620/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=32472 CPUtime=222.29 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 5694 0 0 0 22229 0 0 0 25 0 1 0 780814546 33251328 5361 33554432000 4194304 4929204 140736845158800 18446744073709551615 4633697 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 8118 5361 369 180 0 5128 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 32472
[startup+282.301 s]
/proc/loadavg: 1.99 1.62 1.26 3/447 13951
/proc/meminfo: memFree=30670752/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=34368 CPUtime=282.29 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 6140 0 0 0 28229 0 0 0 25 0 1 0 780814546 35192832 5807 33554432000 4194304 4929204 140736845158800 18446744073709551615 4632683 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 8592 5807 369 180 0 5602 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 34368
[startup+342.3 s]
/proc/loadavg: 1.99 1.69 1.30 3/447 13953
/proc/meminfo: memFree=30665504/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=37736 CPUtime=342.29 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 6906 0 0 0 34229 0 0 0 25 0 1 0 780814546 38641664 6573 33554432000 4194304 4929204 140736845158800 18446744073709551615 4638630 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 9434 6573 369 180 0 6444 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 37736
[startup+402.301 s]
/proc/loadavg: 2.09 1.77 1.35 3/447 13954
/proc/meminfo: memFree=30664360/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=38288 CPUtime=402.29 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 7027 0 0 0 40229 0 0 0 25 0 1 0 780814546 39206912 6694 33554432000 4194304 4929204 140736845158800 18446744073709551615 4316056 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 9572 6694 369 180 0 6582 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 38288
[startup+462.3 s]
/proc/loadavg: 2.08 1.83 1.39 3/447 13956
/proc/meminfo: memFree=30662236/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=39184 CPUtime=462.29 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 7254 0 0 0 46229 0 0 0 25 0 1 0 780814546 40124416 6921 33554432000 4194304 4929204 140736845158800 18446744073709551615 4316123 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 9796 6921 369 180 0 6806 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 39184
[startup+522.3 s]
/proc/loadavg: 2.08 1.87 1.43 3/447 13957
/proc/meminfo: memFree=30661848/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=40072 CPUtime=522.29 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 7452 0 0 0 52229 0 0 0 25 0 1 0 780814546 41033728 7119 33554432000 4194304 4929204 140736845158800 18446744073709551615 4633752 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 10018 7119 369 180 0 7028 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 40072
[startup+582.301 s]
/proc/loadavg: 2.03 1.89 1.47 3/447 13959
/proc/meminfo: memFree=30659836/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=40388 CPUtime=582.3 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 7551 0 0 0 58230 0 0 0 25 0 1 0 780814546 41357312 7218 33554432000 4194304 4929204 140736845158800 18446744073709551615 4316286 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 10097 7218 369 180 0 7107 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 40388
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30587956/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=61792 CPUtime=2982.36 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 12590 0 0 0 298234 2 0 0 25 0 1 0 780814546 63275008 12257 33554432000 4194304 4929204 140736845158800 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 15448 12257 369 180 0 12458 0
Current children cumulated CPU time (s) 2982.36
Current children cumulated vsize (KiB) 61792
[startup+3042.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/447 14052
/proc/meminfo: memFree=30582224/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=62176 CPUtime=3042.36 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 12656 0 0 0 304234 2 0 0 25 0 1 0 780814546 63668224 12323 33554432000 4194304 4929204 140736845158800 18446744073709551615 4316369 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 15544 12323 369 180 0 12554 0
Current children cumulated CPU time (s) 3042.36
Current children cumulated vsize (KiB) 62176
[startup+3102.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/447 14053
/proc/meminfo: memFree=30578464/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=62740 CPUtime=3102.36 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 12784 0 0 0 310234 2 0 0 25 0 1 0 780814546 64245760 12451 33554432000 4194304 4929204 140736845158800 18446744073709551615 4316286 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 15685 12451 369 180 0 12695 0
Current children cumulated CPU time (s) 3102.36
Current children cumulated vsize (KiB) 62740
[startup+3162.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/447 14055
/proc/meminfo: memFree=30577180/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=62924 CPUtime=3162.36 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 12827 0 0 0 316234 2 0 0 25 0 1 0 780814546 64434176 12494 33554432000 4194304 4929204 140736845158800 18446744073709551615 4633966 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 15731 12494 369 180 0 12741 0
Current children cumulated CPU time (s) 3162.36
Current children cumulated vsize (KiB) 62924
[startup+3222.3 s]
/proc/loadavg: 2.08 2.02 1.95 3/447 14056
/proc/meminfo: memFree=30572436/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=63096 CPUtime=3222.36 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 12880 0 0 0 322234 2 0 0 25 0 1 0 780814546 64610304 12547 33554432000 4194304 4929204 140736845158800 18446744073709551615 4633752 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 15774 12547 369 180 0 12784 0
Current children cumulated CPU time (s) 3222.36
Current children cumulated vsize (KiB) 63096
[startup+3282.3 s]
/proc/loadavg: 2.03 2.02 1.95 3/447 14058
/proc/meminfo: memFree=30569672/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=64220 CPUtime=3282.37 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 13095 0 0 0 328235 2 0 0 25 0 1 0 780814546 65761280 12762 33554432000 4194304 4929204 140736845158800 18446744073709551615 4357691 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 16055 12762 369 180 0 13065 0
Current children cumulated CPU time (s) 3282.37
Current children cumulated vsize (KiB) 64220
[startup+3342.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/447 14060
/proc/meminfo: memFree=30566912/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=64220 CPUtime=3342.36 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 13104 0 0 0 334234 2 0 0 25 0 1 0 780814546 65761280 12771 33554432000 4194304 4929204 140736845158800 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 16055 12771 369 180 0 13065 0
Current children cumulated CPU time (s) 3342.36
Current children cumulated vsize (KiB) 64220
[startup+3402.32 s]
/proc/loadavg: 2.04 2.02 1.96 3/447 14061
/proc/meminfo: memFree=30564900/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=64600 CPUtime=3402.38 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 13186 0 0 0 340236 2 0 0 25 0 1 0 780814546 66150400 12853 33554432000 4194304 4929204 140736845158800 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 16150 12853 369 180 0 13160 0
Current children cumulated CPU time (s) 3402.38
Current children cumulated vsize (KiB) 64600
[startup+3462.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/447 14063
/proc/meminfo: memFree=30564608/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=64600 CPUtime=3462.37 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 13198 0 0 0 346235 2 0 0 25 0 1 0 780814546 66150400 12865 33554432000 4194304 4929204 140736845158800 18446744073709551615 4633752 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 16150 12865 369 180 0 13160 0
Current children cumulated CPU time (s) 3462.37
Current children cumulated vsize (KiB) 64600
[startup+3522.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/447 14073
/proc/meminfo: memFree=30552180/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=65200 CPUtime=3522.37 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 13336 0 0 0 352235 2 0 0 25 0 1 0 780814546 66764800 13003 33554432000 4194304 4929204 140736845158800 18446744073709551615 4629092 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 16300 13003 369 180 0 13310 0
Current children cumulated CPU time (s) 3522.37
Current children cumulated vsize (KiB) 65200
Solver just ended. Dumping a history of the last processes samples
[startup+3532.7 s]
/proc/loadavg: 2.00 2.01 1.96 3/447 14074
/proc/meminfo: memFree=30551044/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=65388 CPUtime=3532.77 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 13382 0 0 0 353275 2 0 0 25 0 1 0 780814546 66957312 13049 33554432000 4194304 4929204 140736845158800 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 16347 13049 369 180 0 13357 0
Current children cumulated CPU time (s) 3532.77
Current children cumulated vsize (KiB) 65388
[startup+3558.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/447 14074
/proc/meminfo: memFree=30549908/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=65388 CPUtime=3558.37 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 13382 0 0 0 355835 2 0 0 25 0 1 0 780814546 66957312 13049 33554432000 4194304 4929204 140736845158800 18446744073709551615 4633752 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 16347 13049 369 180 0 13357 0
Current children cumulated CPU time (s) 3558.37
Current children cumulated vsize (KiB) 65388
[startup+3564.7 s]
/proc/loadavg: 2.00 2.01 1.96 3/447 14075
/proc/meminfo: memFree=30550400/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=65388 CPUtime=3564.77 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 13382 0 0 0 356475 2 0 0 25 0 1 0 780814546 66957312 13049 33554432000 4194304 4929204 140736845158800 18446744073709551615 4632587 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 16347 13049 369 180 0 13357 0
Current children cumulated CPU time (s) 3564.77
Current children cumulated vsize (KiB) 65388
[startup+3567.9 s]
/proc/loadavg: 2.00 2.01 1.96 3/447 14075
/proc/meminfo: memFree=30550268/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=65388 CPUtime=3567.97 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 13387 0 0 0 356795 2 0 0 25 0 1 0 780814546 66957312 13054 33554432000 4194304 4929204 140736845158800 18446744073709551615 4633836 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 16347 13054 369 180 0 13357 0
Current children cumulated CPU time (s) 3567.97
Current children cumulated vsize (KiB) 65388
[startup+3571.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/447 14075
/proc/meminfo: memFree=30551136/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=65388 CPUtime=3571.17 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 13387 0 0 0 357115 2 0 0 25 0 1 0 780814546 66957312 13054 33554432000 4194304 4929204 140736845158800 18446744073709551615 4633732 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 16347 13054 369 180 0 13357 0
Current children cumulated CPU time (s) 3571.17
Current children cumulated vsize (KiB) 65388
[startup+3572.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/447 14075
/proc/meminfo: memFree=30551384/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=65388 CPUtime=3572.78 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 13387 0 0 0 357276 2 0 0 25 0 1 0 780814546 66957312 13054 33554432000 4194304 4929204 140736845158800 18446744073709551615 4633767 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 16347 13054 369 180 0 13357 0
Current children cumulated CPU time (s) 3572.78
Current children cumulated vsize (KiB) 65388
[startup+3573.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/447 14075
/proc/meminfo: memFree=30551384/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=65388 CPUtime=3573.17 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 13387 0 0 0 357315 2 0 0 25 0 1 0 780814546 66957312 13054 33554432000 4194304 4929204 140736845158800 18446744073709551615 4316260 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 16347 13054 369 180 0 13357 0
Current children cumulated CPU time (s) 3573.17
Current children cumulated vsize (KiB) 65388
[startup+3573.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/447 14075
/proc/meminfo: memFree=30551384/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=65388 CPUtime=3573.57 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 13387 0 0 0 357355 2 0 0 25 0 1 0 780814546 66957312 13054 33554432000 4194304 4929204 140736845158800 18446744073709551615 4316197 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 16347 13054 369 180 0 13357 0
Current children cumulated CPU time (s) 3573.57
Current children cumulated vsize (KiB) 65388
[startup+3573.6 s]
/proc/loadavg: 2.00 2.00 1.96 3/447 14075
/proc/meminfo: memFree=30551384/32950928 swapFree=34365936/67111528
[pid=13939] ppid=13937 vsize=65388 CPUtime=3573.67 cores=1,3,5,7
/proc/13939/stat : 13939 (clasp) R 13937 13939 13847 0 -1 4202496 13387 0 0 0 357365 2 0 0 25 0 1 0 780814546 66957312 13054 33554432000 4194304 4929204 140736845158800 18446744073709551615 4316197 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13939/statm: 16347 13054 369 180 0 13357 0
Current children cumulated CPU time (s) 3573.67
Current children cumulated vsize (KiB) 65388
Child status: 10
Real time (s): 3573.62
CPU time (s): 3573.69
CPU user time (s): 3573.67
CPU system time (s): 0.027995
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 65388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.67
system time used= 0.027995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13403
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= 5905
runsolver used 15.1827 second user time and 35.1517 second system time
The end
Begin job on node120 at 2011-05-29 20:02:38
IDJOB=3423165
IDBENCH=84554
IDSOLVER=1917
FILE ID=node120/3423165-1306692158
RUNJOBID= node120-1306692156-13866
PBS_JOBID= 13471864
Free space on /tmp= 73468 MiB
SOLVER NAME= clasp 2.0-R4092-crafted
BENCH NAME= SAT04/handmade/kexu/frb-0.6/frb80-14-2.used-as.sat04-880.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-3423165-1306692158/watcher-3423165-1306692158 -o /tmp/evaluation-result-3423165-1306692158/solver-3423165-1306692158 -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-3423165-1306692158.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 1242f0037df1c3d888415aeb418b77ed
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: 30711340 kB
Buffers: 256088 kB
Cached: 1696216 kB
SwapCached: 15056 kB
Active: 416508 kB
Inactive: 1563444 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 30711340 kB
SwapTotal: 67111528 kB
SwapFree: 34365936 kB
Dirty: 2308 kB
Writeback: 0 kB
AnonPages: 22516 kB
Mapped: 9564 kB
Slab: 99516 kB
PageTables: 91368 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 105397156 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= 73464 MiB
End job on node120 at 2011-05-29 21:02:12