0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/197239-1168125463/unknown.xml
0.38
0.38 domains being loaded...
0.41
0.41 variables being loaded...
0.46 nbVariables=141 nbDomainTypes=129 minDomainSize=2 maxDomainSize=6
0.46 => wckTime=0.138 cpuTime=0.11 mem=6M886
0.46
0.46 relations being loaded...
0.49
0.49 constraints being loaded...
0.69 nbConstraints=879 nbRelationTypes=201 nbExtensionStructures=849 nbSharedExtensionStructures=30
0.69 nbConflictsStructures=849 nbSharedConflictsStructures=30 nbSharedBinaryRepresentations=6495 maxDegree=14
0.69 maxArity=2
0.69 => wckTime=0.373 cpuTime=0.24 mem=11M762
0.74
0.74 solver IterativeSystematicSolver being built...
0.91 => wckTime=0.588 cpuTime=0.39 mem=15M102
0.97
0.97 preprocessing
0.97 nbConstraintChecks=9947 nbPropagations=1251 nbRevisions=3300 nbUselessRevisions=2074 nbSingletonTests=168
0.97 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=0 detectedInconsistency=no
0.97 => wckTime=0.063 cpuTime=0.03 mem=15M102
1.00
1.00 search
1.00 run=0 nbConstraintChecks=2370 nbPropagations=1471 nbRevisions=4143 nbUselessRevisions=2581 nbAssignments=35
1.00 nbFailedAssignments=1 nbBacktracks=11 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=3 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.093 cpuTime=0.04 mem=16M94
1.01
1.01 search
1.01 run=1 nbConstraintChecks=5661 nbPropagations=3252 nbRevisions=9502 nbUselessRevisions=5883 nbAssignments=84
1.01 nbFailedAssignments=7 nbBacktracks=27 nbVisitedNodes=99 nbRestartNogoods=1 mapSize=12 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.104 cpuTime=0.05 mem=16M94
1.02
1.02 search
1.02 run=2 nbConstraintChecks=9279 nbPropagations=5388 nbRevisions=16172 nbUselessRevisions=9968 nbAssignments=152
1.02 nbFailedAssignments=13 nbBacktracks=56 nbVisitedNodes=176 nbRestartNogoods=2 mapSize=19 nbInferences=0
1.02 nbTooLargeKeys=0
1.02 => wckTime=0.114 cpuTime=0.06 mem=16M94
1.03
1.03 search
1.03 run=3 nbConstraintChecks=18978 nbPropagations=8144 nbRevisions=26543 nbUselessRevisions=16258
1.03 nbAssignments=215 nbFailedAssignments=21 nbBacktracks=97 nbVisitedNodes=255 nbRestartNogoods=4 mapSize=33
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.126 cpuTime=0.07 mem=16M94
1.05
1.05 search
1.05 run=4 nbConstraintChecks=26252 nbPropagations=11556 nbRevisions=39931 nbUselessRevisions=24513
1.05 nbAssignments=321 nbFailedAssignments=27 nbBacktracks=151 nbVisitedNodes=377 nbRestartNogoods=6 mapSize=46
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.143 cpuTime=0.08 mem=16M94
1.07
1.07 search
1.07 run=5 nbConstraintChecks=36783 nbPropagations=15960 nbRevisions=57224 nbUselessRevisions=35124
1.07 nbAssignments=482 nbFailedAssignments=43 nbBacktracks=230 nbVisitedNodes=532 nbRestartNogoods=9 mapSize=84
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.164 cpuTime=0.1 mem=16M94
1.09
1.09 search
1.09 run=6 nbConstraintChecks=46232 nbPropagations=21204 nbRevisions=78221 nbUselessRevisions=47990
1.09 nbAssignments=639 nbFailedAssignments=56 nbBacktracks=347 nbVisitedNodes=722 nbRestartNogoods=10 mapSize=115
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.183 cpuTime=0.12 mem=16M94
1.12
1.12 search
1.12 run=7 nbConstraintChecks=73559 nbPropagations=28446 nbRevisions=110872 nbUselessRevisions=68329
1.12 nbAssignments=884 nbFailedAssignments=93 nbBacktracks=522 nbVisitedNodes=1043 nbRestartNogoods=12 mapSize=188
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.214 cpuTime=0.15 mem=16M94
1.17
1.17 search
1.17 run=8 nbConstraintChecks=110123 nbPropagations=38354 nbRevisions=158626 nbUselessRevisions=98162
1.17 nbAssignments=1218 nbFailedAssignments=140 nbBacktracks=787 nbVisitedNodes=1486 nbRestartNogoods=14
1.17 mapSize=292 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.264 cpuTime=0.19 mem=16M94
1.25
1.25 search
1.25 run=9 nbConstraintChecks=153972 nbPropagations=51829 nbRevisions=223599 nbUselessRevisions=138188
1.25 nbAssignments=1709 nbFailedAssignments=227 nbBacktracks=1172 nbVisitedNodes=2163 nbRestartNogoods=17
1.25 mapSize=459 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.338 cpuTime=0.25 mem=16M94
1.34
1.34 search
1.34 run=10 nbConstraintChecks=233265 nbPropagations=71109 nbRevisions=322132 nbUselessRevisions=199806
1.34 nbAssignments=2419 nbFailedAssignments=332 nbBacktracks=1754 nbVisitedNodes=3133 nbRestartNogoods=20
1.34 mapSize=707 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.433 cpuTime=0.33 mem=16M94
1.44
1.44 INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=16M94)
1.45
1.45 search
1.45 run=11 nbConstraintChecks=346683 nbPropagations=99159 nbRevisions=468124 nbUselessRevisions=291484
1.45 nbAssignments=3468 nbFailedAssignments=493 nbBacktracks=2618 nbVisitedNodes=4551 nbRestartNogoods=24
1.45 => wckTime=0.545 cpuTime=0.44 mem=16M94
1.62
1.62 search
1.62 run=12 nbConstraintChecks=547049 nbPropagations=142494 nbRevisions=695281 nbUselessRevisions=434051
1.62 nbAssignments=5101 nbFailedAssignments=779 nbBacktracks=3927 nbVisitedNodes=6768 nbRestartNogoods=29
1.62 => wckTime=0.707 cpuTime=0.6 mem=16M94
1.87
1.87 search
1.87 run=13 nbConstraintChecks=889487 nbPropagations=210659 nbRevisions=1064906 nbUselessRevisions=667658
1.87 nbAssignments=7471 nbFailedAssignments=1189 nbBacktracks=5876 nbVisitedNodes=10003 nbRestartNogoods=31
1.87 => wckTime=0.965 cpuTime=0.85 mem=16M94
2.22
2.22 search
2.22 run=14 nbConstraintChecks=1346992 nbPropagations=313287 nbRevisions=1622002 nbUselessRevisions=1018092
2.22 nbAssignments=11077 nbFailedAssignments=1855 nbBacktracks=8796 nbVisitedNodes=15036 nbRestartNogoods=35
2.22 => wckTime=1.316 cpuTime=1.2 mem=16M94
2.81
2.81 search
2.81 run=15 nbConstraintChecks=2165585 nbPropagations=473630 nbRevisions=2511464 nbUselessRevisions=1576494
2.81 nbAssignments=16585 nbFailedAssignments=2948 nbBacktracks=13174 nbVisitedNodes=22964 nbRestartNogoods=44
2.81 => wckTime=1.904 cpuTime=1.77 mem=16M94
3.08
3.08 search
3.08 run=16 nbConstraintChecks=2525230 nbPropagations=660161 nbRevisions=3559151 nbUselessRevisions=2241042
3.08 nbAssignments=19467 nbFailedAssignments=3381 nbBacktracks=15454 nbVisitedNodes=26798 nbRestartNogoods=52
3.08 => wckTime=2.175 cpuTime=2.04 mem=16M94
3.08
3.08 global
3.08 nbConstraintChecks=2535177 nbPropagations=661412 nbRevisions=3562451 nbUselessRevisions=2243116
3.08 nbRestartNogoods=52 solvingWckTime=2.176 solvingCpuTime=2.04 expiredTime=no totalExploration=no
3.08 nbFoundSolutions=1 globalCpuTime=2.49
3.08 => wckTime=2.767 cpuTime=2.43 mem=16M94
3.09
3.09 s SATISFIABLE
3.09 v 8 7 12 10 4 1 14 6 14 8 5 12 7 6 10 4 6 11 12 9 0 5 17 10 1 10 5 2 6 9 8 11 14 1 3 9 2 5 7 5 11 8 13 0 3 2 12 15 7 0 14 11 5 8 11 17 9 3 15 1 4 14 6 9 12 8 11 16 2 5 7 10 2 5 12 11 17 1 4 8 12 2 6 5 0 6 12 7 0 16 3 11 14 10 5 2 6 9 12 15 16 14 15 16 4 3 7 9 6 10 13 17 15 7 6 5 1 15 0 17 5 7 13 14 2 8 14 1 10 7 15 6 13 1 5 2 13 0 16 9 8
3.09 d NODES 19467
3.09 d CHECKS 2535177
3.09
3.09 totalWckTime=2.847 totalCpuTime=2.5
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-197239-1168125463 -o ROOT/results/node11/solver-197239-1168125463 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197239-1168125463/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.09 1.52 1.80 2/86 12692
/proc/meminfo: memFree=1768368/2055920 swapFree=4192812/4192956
[pid=12691] ppid=12689 vsize=18540 CPUtime=0
/proc/12691/stat : 12691 (runsolver) R 12689 12691 12361 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 160942534 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12691/statm: 4635 279 244 17 0 2626 0
[startup+0.103053 s]
/proc/loadavg: 1.09 1.52 1.80 2/86 12692
/proc/meminfo: memFree=1768368/2055920 swapFree=4192812/4192956
[pid=12691] ppid=12689 vsize=914988 CPUtime=0.07
/proc/12691/stat : 12691 (java) R 12689 12691 12361 0 -1 0 2953 0 1 0 6 1 0 0 17 0 8 0 160942534 936947712 2699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155079873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12691/statm: 228747 2699 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.515133 s]
/proc/loadavg: 1.09 1.52 1.80 2/86 12692
/proc/meminfo: memFree=1768368/2055920 swapFree=4192812/4192956
[pid=12691] ppid=12689 vsize=915328 CPUtime=0.49
/proc/12691/stat : 12691 (java) R 12689 12691 12361 0 -1 0 6247 0 1 0 45 4 0 0 18 0 8 0 160942534 937295872 5986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12691/statm: 228832 5986 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3403 s]
/proc/loadavg: 1.09 1.52 1.80 3/93 12699
/proc/meminfo: memFree=1743608/2055920 swapFree=4192812/4192956
[pid=12691] ppid=12689 vsize=915568 CPUtime=1.3
/proc/12691/stat : 12691 (java) R 12689 12691 12361 0 -1 0 8954 0 1 0 122 8 0 0 24 0 8 0 160942534 937541632 8692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073880206 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12691/statm: 228892 8692 2524 14 0 215362 0
[pid=12691/tid=12693] ppid=12689 vsize=915568 CPUtime=0.03
/proc/12691/task/12693/stat : 12693 (java) S 12689 12691 12361 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 160942538 937541632 8692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12691/tid=12694] ppid=12689 vsize=915568 CPUtime=0
/proc/12691/task/12694/stat : 12694 (java) S 12689 12691 12361 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160942539 937541632 8692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12691/tid=12695] ppid=12689 vsize=915568 CPUtime=0
/proc/12691/task/12695/stat : 12695 (java) S 12689 12691 12361 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160942539 937541632 8692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12691/tid=12696] ppid=12689 vsize=915568 CPUtime=0
/proc/12691/task/12696/stat : 12696 (java) S 12689 12691 12361 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160942542 937541632 8692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12691/tid=12697] ppid=12689 vsize=915568 CPUtime=0.29
/proc/12691/task/12697/stat : 12697 (java) S 12689 12691 12361 0 -1 64 413 0 0 0 27 2 0 0 15 0 8 0 160942542 937541632 8692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12691/tid=12698] ppid=12689 vsize=915568 CPUtime=0
/proc/12691/task/12698/stat : 12698 (java) S 12689 12691 12361 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160942542 937541632 8692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12691/tid=12699] ppid=12689 vsize=915568 CPUtime=0
/proc/12691/task/12699/stat : 12699 (java) S 12689 12691 12361 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160942542 937541632 8692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915568
[startup+2.97762 s]
/proc/loadavg: 1.16 1.52 1.80 3/93 12699
/proc/meminfo: memFree=1743160/2055920 swapFree=4192812/4192956
[pid=12691] ppid=12689 vsize=915568 CPUtime=2.92
/proc/12691/stat : 12691 (java) R 12689 12691 12361 0 -1 0 9005 0 1 0 284 8 0 0 25 0 8 0 160942534 937541632 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073871563 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12691/statm: 228892 8742 2524 14 0 215362 0
[pid=12691/tid=12693] ppid=12689 vsize=915568 CPUtime=0.03
/proc/12691/task/12693/stat : 12693 (java) S 12689 12691 12361 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 160942538 937541632 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12691/tid=12694] ppid=12689 vsize=915568 CPUtime=0
/proc/12691/task/12694/stat : 12694 (java) S 12689 12691 12361 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160942539 937541632 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12691/tid=12695] ppid=12689 vsize=915568 CPUtime=0
/proc/12691/task/12695/stat : 12695 (java) S 12689 12691 12361 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160942539 937541632 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12691/tid=12696] ppid=12689 vsize=915568 CPUtime=0
/proc/12691/task/12696/stat : 12696 (java) S 12689 12691 12361 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160942542 937541632 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12691/tid=12697] ppid=12689 vsize=915568 CPUtime=0.29
/proc/12691/task/12697/stat : 12697 (java) S 12689 12691 12361 0 -1 64 416 0 0 0 27 2 0 0 15 0 8 0 160942542 937541632 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12691/tid=12698] ppid=12689 vsize=915568 CPUtime=0
/proc/12691/task/12698/stat : 12698 (java) S 12689 12691 12361 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160942542 937541632 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12691/tid=12699] ppid=12689 vsize=915568 CPUtime=0
/proc/12691/task/12699/stat : 12699 (java) S 12689 12691 12361 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160942542 937541632 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915568
Child status: 0
Real time (s): 3.11658
CPU time (s): 3.04554
CPU user time (s): 2.95755
CPU system time (s): 0.087986
CPU usage (%): 97.7203
Max. virtual memory (cumulated for all children) (KiB): 915568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.95755
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9099
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1371
involuntary context switches= 1611
runsolver used 0.010998 s user time and 0.019996 s system time
The end
Begin job on node11 on Sat Jan 6 23:17:47 UTC 2007
IDJOB= 197239
IDBENCH= 3453
FILE ID= node11/197239-1168125463
PBS_JOBID= 3477572
Free space on /tmp= 66317 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197239-1168125463/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-197239-1168125463 -o ROOT/results/node11/solver-197239-1168125463 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197239-1168125463/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 050a88a4770c35e663ff145b8101692e
RANDOM SEED= 846816036
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1768912 kB
Buffers: 40620 kB
Cached: 112448 kB
SwapCached: 0 kB
Active: 153784 kB
Inactive: 77104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1768912 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1844 kB
Writeback: 0 kB
Mapped: 100252 kB
Slab: 40696 kB
Committed_AS: 4575488 kB
PageTables: 2412 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66317 MiB
End job on node11 on Sat Jan 6 23:18:02 UTC 2007