0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/218904-1168253665/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=144 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.43 => wckTime=0.109 cpuTime=0.1 mem=6M951
0.43
0.43 predicates being loaded...
0.43
0.43 constraints being loaded...
1.39 nbConstraints=4356 nbConflictsStructures=1 nbSharedConflictsStructures=4355 nbSharedBinaryRepresentations=0
1.39 nbEvaluationManagers=1 nbSharedEvaluationManagers=4355 maxDegree=121 maxArity=4
1.39 => wckTime=1.072 cpuTime=0.9 mem=46M358
1.49
1.49 solver IterativeSystematicSolver being built...
1.79 => wckTime=1.469 cpuTime=1.14 mem=51M19
1.92
1.92 preprocessing
1.92 nbConstraintChecks=737 nbValidityChecks=731 nbPropagations=367 nbRevisions=1336 nbUselessRevisions=1198
1.92 nbSingletonTests=150 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
1.92 => wckTime=0.132 cpuTime=0.11 mem=51M19
1.96
1.96 search
1.96 run=0 nbConstraintChecks=567 nbValidityChecks=303 nbPropagations=422 nbRevisions=1834 nbUselessRevisions=1632
1.96 nbAssignments=23 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=34 nbRestartNogoods=0 mapSize=9
1.96 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=0.174 cpuTime=0.13 mem=51M19
1.99
1.99 search
1.99 run=1 nbConstraintChecks=1961 nbValidityChecks=1606 nbPropagations=931 nbRevisions=4935
1.99 nbUselessRevisions=4408 nbAssignments=69 nbFailedAssignments=19 nbBacktracks=39 nbVisitedNodes=93
1.99 nbRestartNogoods=1 mapSize=21 nbInferences=0 nbTooLargeKeys=0
1.99 => wckTime=0.201 cpuTime=0.15 mem=51M19
2.03
2.03 search
2.03 run=2 nbConstraintChecks=8578 nbValidityChecks=9673 nbPropagations=1611 nbRevisions=15722
2.03 nbUselessRevisions=14088 nbAssignments=129 nbFailedAssignments=32 nbBacktracks=65 nbVisitedNodes=176
2.03 nbRestartNogoods=2 mapSize=42 nbInferences=0 nbTooLargeKeys=0
2.03 => wckTime=0.244 cpuTime=0.2 mem=51M19
2.06
2.06 search
2.06 run=3 nbConstraintChecks=9439 nbValidityChecks=11000 nbPropagations=2446 nbRevisions=27360
2.06 nbUselessRevisions=24473 nbAssignments=221 nbFailedAssignments=43 nbBacktracks=104 nbVisitedNodes=262
2.06 nbRestartNogoods=4 mapSize=58 nbInferences=0 nbTooLargeKeys=0
2.06 => wckTime=0.274 cpuTime=0.23 mem=52M6
2.09
2.09 search
2.09 run=4 nbConstraintChecks=10478 nbValidityChecks=12701 nbPropagations=3393 nbRevisions=40226
2.09 nbUselessRevisions=35945 nbAssignments=298 nbFailedAssignments=52 nbBacktracks=166 nbVisitedNodes=357
2.09 nbRestartNogoods=7 mapSize=75 nbInferences=0 nbTooLargeKeys=0
2.09 => wckTime=0.298 cpuTime=0.25 mem=52M6
2.13
2.13 search
2.13 run=5 nbConstraintChecks=12486 nbValidityChecks=15900 nbPropagations=4565 nbRevisions=55250
2.13 nbUselessRevisions=49292 nbAssignments=404 nbFailedAssignments=69 nbBacktracks=245 nbVisitedNodes=494
2.13 nbRestartNogoods=8 mapSize=101 nbInferences=0 nbTooLargeKeys=0
2.13 => wckTime=0.338 cpuTime=0.29 mem=52M6
2.18
2.18 search
2.18 run=6 nbConstraintChecks=15290 nbValidityChecks=20094 nbPropagations=6054 nbRevisions=72978
2.18 nbUselessRevisions=64985 nbAssignments=578 nbFailedAssignments=93 nbBacktracks=369 nbVisitedNodes=695
2.18 nbRestartNogoods=13 mapSize=144 nbInferences=0 nbTooLargeKeys=0
2.18 => wckTime=0.394 cpuTime=0.34 mem=52M6
2.26
2.26 search
2.26 run=7 nbConstraintChecks=19012 nbValidityChecks=25849 nbPropagations=7995 nbRevisions=94540
2.26 nbUselessRevisions=83971 nbAssignments=797 nbFailedAssignments=131 nbBacktracks=544 nbVisitedNodes=981
2.26 nbRestartNogoods=16 mapSize=208 nbInferences=0 nbTooLargeKeys=0
2.26 => wckTime=0.47 cpuTime=0.41 mem=52M6
2.39
2.39 search
2.39 run=8 nbConstraintChecks=27599 nbValidityChecks=39435 nbPropagations=10946 nbRevisions=124849
2.39 nbUselessRevisions=110507 nbAssignments=1137 nbFailedAssignments=201 nbBacktracks=802 nbVisitedNodes=1456
2.39 nbRestartNogoods=19 mapSize=337 nbInferences=0 nbTooLargeKeys=0
2.39 => wckTime=0.602 cpuTime=0.53 mem=52M6
2.57
2.57 search
2.57 run=9 nbConstraintChecks=38421 nbValidityChecks=56037 nbPropagations=15060 nbRevisions=165711
2.57 nbUselessRevisions=146232 nbAssignments=1623 nbFailedAssignments=276 nbBacktracks=1186 nbVisitedNodes=2068
2.57 nbRestartNogoods=25 mapSize=478 nbInferences=0 nbTooLargeKeys=0
2.57 => wckTime=0.78 cpuTime=0.7 mem=52M6
2.80
2.80 search
2.80 run=10 nbConstraintChecks=54405 nbValidityChecks=80706 nbPropagations=20893 nbRevisions=222440
2.80 nbUselessRevisions=195718 nbAssignments=2329 nbFailedAssignments=393 nbBacktracks=1764 nbVisitedNodes=2997
2.80 nbRestartNogoods=29 mapSize=695 nbInferences=0 nbTooLargeKeys=0
2.80 => wckTime=1.014 cpuTime=0.91 mem=52M6
3.11
3.11 search
3.11 run=11 nbConstraintChecks=78210 nbValidityChecks=118758 nbPropagations=29333 nbRevisions=303681
3.11 nbUselessRevisions=266639 nbAssignments=3356 nbFailedAssignments=543 nbBacktracks=2635 nbVisitedNodes=4338
3.11 nbRestartNogoods=35 mapSize=1004 nbInferences=0 nbTooLargeKeys=0
3.11 => wckTime=1.324 cpuTime=1.22 mem=52M6
3.12
3.12 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=52M6)
3.23
3.23 search
3.23 run=12 nbConstraintChecks=87995 nbValidityChecks=133636 nbPropagations=38744 nbRevisions=394533
3.23 nbUselessRevisions=345948 nbAssignments=3716 nbFailedAssignments=600 nbBacktracks=2939 nbVisitedNodes=4819
3.23 nbRestartNogoods=39
3.23 => wckTime=1.439 cpuTime=1.33 mem=52M6
3.23
3.23 global
3.23 nbConstraintChecks=88732 nbValidityChecks=134367 nbPropagations=39111 nbRevisions=395869
3.23 nbUselessRevisions=347146 nbRestartNogoods=39 solvingWckTime=1.44 solvingCpuTime=1.33 expiredTime=no
3.23 totalExploration=yes nbFoundSolutions=0 globalCpuTime=2.52
3.23 => wckTime=2.911 cpuTime=2.47 mem=52M6
3.23
3.23 s UNSATISFIABLE
3.23 d NODES 3716
3.23 d CHECKS 88732
3.23
3.23 totalWckTime=2.993 totalCpuTime=2.52
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-218904-1168253665 -o ROOT/results/node10/solver-218904-1168253665 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218904-1168253665/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.85 1.95 1.98 2/87 7766
/proc/meminfo: memFree=1616712/2055920 swapFree=4178216/4192956
[pid=7765] ppid=7763 vsize=18540 CPUtime=0
/proc/7765/stat : 7765 (runsolver) R 7763 7765 7624 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 173761705 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7765/statm: 4635 279 244 17 0 2626 0
[startup+0.102407 s]
/proc/loadavg: 1.85 1.95 1.98 2/87 7766
/proc/meminfo: memFree=1616712/2055920 swapFree=4178216/4192956
[pid=7765] ppid=7763 vsize=914988 CPUtime=0.08
/proc/7765/stat : 7765 (java) R 7763 7765 7624 0 -1 0 2974 0 1 0 6 2 0 0 17 0 8 0 173761705 936947712 2720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7765/statm: 228747 2720 1421 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510459 s]
/proc/loadavg: 1.85 1.95 1.98 2/87 7766
/proc/meminfo: memFree=1616712/2055920 swapFree=4178216/4192956
[pid=7765] ppid=7763 vsize=915328 CPUtime=0.49
/proc/7765/stat : 7765 (java) R 7763 7765 7624 0 -1 0 6729 0 1 0 44 5 0 0 18 0 8 0 173761705 937295872 6468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7765/statm: 228832 6468 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33157 s]
/proc/loadavg: 1.85 1.95 1.98 4/94 7773
/proc/meminfo: memFree=1558160/2055920 swapFree=4178216/4192956
[pid=7765] ppid=7763 vsize=915624 CPUtime=1.3
/proc/7765/stat : 7765 (java) R 7763 7765 7624 0 -1 0 17006 0 1 0 102 28 0 0 25 0 8 0 173761705 937598976 16744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9117973 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7765/statm: 228906 16744 2177 14 0 215376 0
[pid=7765/tid=7767] ppid=7763 vsize=915624 CPUtime=0.01
/proc/7765/task/7767/stat : 7767 (java) S 7763 7765 7624 0 -1 64 412 0 0 0 1 0 0 0 16 0 8 0 173761709 937598976 16744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7765/tid=7768] ppid=7763 vsize=915624 CPUtime=0
/proc/7765/task/7768/stat : 7768 (java) S 7763 7765 7624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173761710 937598976 16744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7765/tid=7769] ppid=7763 vsize=915624 CPUtime=0
/proc/7765/task/7769/stat : 7769 (java) S 7763 7765 7624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173761710 937598976 16744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7765/tid=7770] ppid=7763 vsize=915624 CPUtime=0
/proc/7765/task/7770/stat : 7770 (java) S 7763 7765 7624 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173761713 937598976 16744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7765/tid=7771] ppid=7763 vsize=915624 CPUtime=0.18
/proc/7765/task/7771/stat : 7771 (java) S 7763 7765 7624 0 -1 64 415 0 0 0 17 1 0 0 16 0 8 0 173761713 937598976 16744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7765/tid=7772] ppid=7763 vsize=915624 CPUtime=0
/proc/7765/task/7772/stat : 7772 (java) S 7763 7765 7624 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173761713 937598976 16744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7765/tid=7773] ppid=7763 vsize=915624 CPUtime=0
/proc/7765/task/7773/stat : 7773 (java) S 7763 7765 7624 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173761713 937598976 16744 18446744073709551615 134512640 134570532 4294956464 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) 915624
[startup+2.9698 s]
/proc/loadavg: 1.85 1.95 1.98 3/94 7773
/proc/meminfo: memFree=1551312/2055920 swapFree=4178216/4192956
[pid=7765] ppid=7763 vsize=915716 CPUtime=2.92
/proc/7765/stat : 7765 (java) R 7763 7765 7624 0 -1 0 19093 0 1 0 261 31 0 0 25 0 8 0 173761705 937693184 18829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073999626 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7765/statm: 228929 18829 2548 14 0 215399 0
[pid=7765/tid=7767] ppid=7763 vsize=915716 CPUtime=0.09
/proc/7765/task/7767/stat : 7767 (java) S 7763 7765 7624 0 -1 64 1940 0 0 0 9 0 0 0 17 0 8 0 173761709 937693184 18829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7765/tid=7768] ppid=7763 vsize=915716 CPUtime=0
/proc/7765/task/7768/stat : 7768 (java) S 7763 7765 7624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173761710 937693184 18829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7765/tid=7769] ppid=7763 vsize=915716 CPUtime=0
/proc/7765/task/7769/stat : 7769 (java) S 7763 7765 7624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173761710 937693184 18829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7765/tid=7770] ppid=7763 vsize=915716 CPUtime=0
/proc/7765/task/7770/stat : 7770 (java) S 7763 7765 7624 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173761713 937693184 18829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7765/tid=7771] ppid=7763 vsize=915716 CPUtime=0.35
/proc/7765/task/7771/stat : 7771 (java) S 7763 7765 7624 0 -1 64 503 0 0 0 33 2 0 0 15 0 8 0 173761713 937693184 18829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7765/tid=7772] ppid=7763 vsize=915716 CPUtime=0
/proc/7765/task/7772/stat : 7772 (java) S 7763 7765 7624 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173761713 937693184 18829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7765/tid=7773] ppid=7763 vsize=915716 CPUtime=0
/proc/7765/task/7773/stat : 7773 (java) S 7763 7765 7624 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173761713 937693184 18829 18446744073709551615 134512640 134570532 4294956464 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) 915716
Child status: 0
Real time (s): 3.27446
CPU time (s): 3.20951
CPU user time (s): 2.87956
CPU system time (s): 0.329949
CPU usage (%): 98.0165
Max. virtual memory (cumulated for all children) (KiB): 915764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.87956
system time used= 0.329949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19102
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= 1500
involuntary context switches= 1748
runsolver used 0.005999 s user time and 0.015997 s system time
The end
Begin job on node10 on Mon Jan 8 10:54:26 UTC 2007
IDJOB= 218904
IDBENCH= 5265
FILE ID= node10/218904-1168253665
PBS_JOBID= 3481711
Free space on /tmp= 66371 MiB
BENCH NAME= HOME/pub/bench/CPAI06/chessboardColoration/cc-12-12-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218904-1168253665/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-218904-1168253665 -o ROOT/results/node10/solver-218904-1168253665 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218904-1168253665/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7fe04cc5f7e36d93c076012093d524a8
RANDOM SEED= 160894588
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.232
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 : 5914.62
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.232
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: 1617192 kB
Buffers: 60632 kB
Cached: 173244 kB
SwapCached: 2628 kB
Active: 252392 kB
Inactive: 131048 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1617192 kB
SwapTotal: 4192956 kB
SwapFree: 4178216 kB
Dirty: 2444 kB
Writeback: 0 kB
Mapped: 159652 kB
Slab: 39936 kB
Committed_AS: 4625600 kB
PageTables: 2452 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= 66371 MiB
End job on node10 on Mon Jan 8 10:54:30 UTC 2007