0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/218814-1168079724/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=81 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.44 => wckTime=0.097 cpuTime=0.08 mem=6M951
0.44
0.44 predicates being loaded...
0.44
0.44 constraints being loaded...
0.89 nbConstraints=1296 nbConflictsStructures=1 nbSharedConflictsStructures=1295 nbSharedBinaryRepresentations=0
0.89 nbEvaluationManagers=1 nbSharedEvaluationManagers=1295 maxDegree=64 maxArity=4
0.89 => wckTime=0.554 cpuTime=0.42 mem=32M306
0.95
0.95 solver IterativeSystematicSolver being built...
1.17 => wckTime=0.828 cpuTime=0.59 mem=24M502
1.18
1.18 preprocessing
1.18 nbConstraintChecks=0 nbPropagations=81 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.18 detectedInconsistency=no
1.18 => wckTime=0.016 cpuTime=0.0 mem=24M502
1.24
1.24 search
1.24 run=0 nbConstraintChecks=1010 nbValidityChecks=243 nbPropagations=125 nbRevisions=666 nbUselessRevisions=573
1.24 nbAssignments=33 nbFailedAssignments=8 nbBacktracks=16 nbVisitedNodes=43 nbRestartNogoods=0 mapSize=8
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.07 cpuTime=0.03 mem=24M502
1.26
1.26 search
1.26 run=1 nbConstraintChecks=1828 nbValidityChecks=999 nbPropagations=309 nbRevisions=1960 nbUselessRevisions=1709
1.26 nbAssignments=76 nbFailedAssignments=13 nbBacktracks=39 nbVisitedNodes=95 nbRestartNogoods=1 mapSize=16
1.26 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.094 cpuTime=0.05 mem=25M475
1.27
1.28 search
1.28 run=2 nbConstraintChecks=2513 nbValidityChecks=1728 nbPropagations=554 nbRevisions=3782
1.28 nbUselessRevisions=3307 nbAssignments=118 nbFailedAssignments=22 nbBacktracks=61 nbVisitedNodes=148
1.28 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.108 cpuTime=0.05 mem=25M475
1.29
1.29 search
1.29 run=3 nbConstraintChecks=3199 nbValidityChecks=2698 nbPropagations=899 nbRevisions=6277
1.29 nbUselessRevisions=5449 nbAssignments=177 nbFailedAssignments=35 nbBacktracks=99 nbVisitedNodes=227
1.29 nbRestartNogoods=4 mapSize=42 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.121 cpuTime=0.07 mem=25M475
1.31
1.31 search
1.31 run=4 nbConstraintChecks=4329 nbValidityChecks=4307 nbPropagations=1400 nbRevisions=9786
1.31 nbUselessRevisions=8439 nbAssignments=255 nbFailedAssignments=52 nbBacktracks=152 nbVisitedNodes=332
1.31 nbRestartNogoods=7 mapSize=67 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.136 cpuTime=0.09 mem=25M475
1.33
1.33 search
1.33 run=5 nbConstraintChecks=6674 nbValidityChecks=7877 nbPropagations=2183 nbRevisions=15540
1.33 nbUselessRevisions=13320 nbAssignments=366 nbFailedAssignments=78 nbBacktracks=227 nbVisitedNodes=489
1.33 nbRestartNogoods=9 mapSize=109 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.162 cpuTime=0.11 mem=25M475
1.36
1.36 search
1.36 run=6 nbConstraintChecks=8847 nbValidityChecks=11402 nbPropagations=3233 nbRevisions=23653
1.36 nbUselessRevisions=20234 nbAssignments=504 nbFailedAssignments=96 nbBacktracks=340 nbVisitedNodes=664
1.36 nbRestartNogoods=13 mapSize=143 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.19 cpuTime=0.13 mem=25M475
1.42
1.42 search
1.42 run=7 nbConstraintChecks=13841 nbValidityChecks=19371 nbPropagations=4884 nbRevisions=36951
1.42 nbUselessRevisions=31601 nbAssignments=726 nbFailedAssignments=138 nbBacktracks=513 nbVisitedNodes=970
1.42 nbRestartNogoods=16 mapSize=224 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.249 cpuTime=0.18 mem=25M475
1.47
1.47 search
1.47 run=8 nbConstraintChecks=19286 nbValidityChecks=28039 nbPropagations=7193 nbRevisions=55981
1.47 nbUselessRevisions=47891 nbAssignments=1038 nbFailedAssignments=185 nbBacktracks=772 nbVisitedNodes=1378
1.47 nbRestartNogoods=19 mapSize=316 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.303 cpuTime=0.23 mem=25M475
1.57
1.57 search
1.57 run=9 nbConstraintChecks=28526 nbValidityChecks=41965 nbPropagations=10579 nbRevisions=83715
1.57 nbUselessRevisions=71658 nbAssignments=1518 nbFailedAssignments=265 nbBacktracks=1162 nbVisitedNodes=2008
1.57 nbRestartNogoods=23 mapSize=462 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.4 cpuTime=0.32 mem=25M475
1.71
1.71 search
1.71 run=10 nbConstraintChecks=46358 nbValidityChecks=70583 nbPropagations=16080 nbRevisions=129960
1.71 nbUselessRevisions=111438 nbAssignments=2252 nbFailedAssignments=412 nbBacktracks=1742 nbVisitedNodes=3021
1.71 nbRestartNogoods=27 mapSize=736 nbInferences=0 nbTooLargeKeys=0
1.71 => wckTime=0.543 cpuTime=0.44 mem=25M475
1.83
1.83 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=25M475)
1.86
1.86 search
1.86 run=11 nbConstraintChecks=68242 nbValidityChecks=105186 nbPropagations=24197 nbRevisions=198624
1.86 nbUselessRevisions=170545 nbAssignments=3300 nbFailedAssignments=582 nbBacktracks=2611 nbVisitedNodes=4440
1.86 nbRestartNogoods=32
1.86 => wckTime=0.693 cpuTime=0.59 mem=25M475
1.95
1.95 search
1.95 run=12 nbConstraintChecks=81107 nbValidityChecks=125774 nbPropagations=33863 nbRevisions=280632
1.95 nbUselessRevisions=241114 nbAssignments=3880 nbFailedAssignments=689 nbBacktracks=3085 nbVisitedNodes=5237
1.95 nbRestartNogoods=38
1.95 => wckTime=0.781 cpuTime=0.68 mem=25M475
1.95
1.95 global
1.95 nbConstraintChecks=81107 nbValidityChecks=125774 nbPropagations=33944 nbRevisions=280632
1.95 nbUselessRevisions=241114 nbRestartNogoods=38 solvingWckTime=0.782 solvingCpuTime=0.68 expiredTime=no
1.95 totalExploration=yes nbFoundSolutions=0 globalCpuTime=1.34
1.95 => wckTime=1.612 cpuTime=1.28 mem=25M475
1.95
1.95 s UNSATISFIABLE
1.95 d NODES 3880
1.95 d CHECKS 81107
1.95
1.95 totalWckTime=1.692 totalCpuTime=1.34
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-218814-1168079724 -o ROOT/results/node9/solver-218814-1168079724 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218814-1168079724/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.95 1.98 1.99 4/93 17695
/proc/meminfo: memFree=1187632/2055920 swapFree=4191880/4192956
[pid=17694] ppid=17692 vsize=9948 CPUtime=0
/proc/17694/stat : 17694 (java) S 17692 17694 17571 0 -1 0 723 0 0 0 0 0 0 0 16 0 1 0 156367714 10186752 472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/17694/statm: 2487 472 386 14 0 1142 0
[startup+0.103201 s]
/proc/loadavg: 1.95 1.98 1.99 4/93 17695
/proc/meminfo: memFree=1187632/2055920 swapFree=4191880/4192956
[pid=17694] ppid=17692 vsize=911488 CPUtime=0.07
/proc/17694/stat : 17694 (java) D 17692 17694 17571 0 -1 0 2637 0 1 0 6 1 0 0 20 0 8 0 156367714 933363712 2384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17694/statm: 227872 2384 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488
[startup+0.511248 s]
/proc/loadavg: 1.95 1.98 1.99 4/93 17695
/proc/meminfo: memFree=1187632/2055920 swapFree=4191880/4192956
[pid=17694] ppid=17692 vsize=915328 CPUtime=0.46
/proc/17694/stat : 17694 (java) R 17692 17694 17571 0 -1 0 6582 0 1 0 42 4 0 0 18 0 8 0 156367714 937295872 6321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17694/statm: 228832 6321 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33335 s]
/proc/loadavg: 1.95 1.98 1.99 3/100 17702
/proc/meminfo: memFree=1145656/2055920 swapFree=4191880/4192956
[pid=17694] ppid=17692 vsize=915580 CPUtime=1.28
/proc/17694/stat : 17694 (java) R 17692 17694 17571 0 -1 0 13297 0 1 0 113 15 0 0 24 0 8 0 156367714 937553920 13034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17694/statm: 228895 13034 2533 14 0 215365 0
[pid=17694/tid=17696] ppid=17692 vsize=915580 CPUtime=0.04
/proc/17694/task/17696/stat : 17696 (java) S 17692 17694 17571 0 -1 64 458 0 0 0 4 0 0 0 16 0 8 0 156367719 937553920 13034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17694/tid=17697] ppid=17692 vsize=915580 CPUtime=0
/proc/17694/task/17697/stat : 17697 (java) S 17692 17694 17571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156367719 937553920 13034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17694/tid=17698] ppid=17692 vsize=915580 CPUtime=0
/proc/17694/task/17698/stat : 17698 (java) S 17692 17694 17571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156367719 937553920 13034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17694/tid=17699] ppid=17692 vsize=915580 CPUtime=0
/proc/17694/task/17699/stat : 17699 (java) S 17692 17694 17571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156367722 937553920 13034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17694/tid=17700] ppid=17692 vsize=915580 CPUtime=0.25
/proc/17694/task/17700/stat : 17700 (java) S 17692 17694 17571 0 -1 64 417 0 0 0 24 1 0 0 15 0 8 0 156367722 937553920 13034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17694/tid=17701] ppid=17692 vsize=915580 CPUtime=0
/proc/17694/task/17701/stat : 17701 (java) S 17692 17694 17571 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156367722 937553920 13034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17694/tid=17702] ppid=17692 vsize=915580 CPUtime=0
/proc/17694/task/17702/stat : 17702 (java) S 17692 17694 17571 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156367722 937553920 13034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 1.97795
CPU time (s): 1.91371
CPU user time (s): 1.74873
CPU system time (s): 0.164974
CPU usage (%): 96.7521
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.74873
system time used= 0.164974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13328
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= 1427
involuntary context switches= 1592
runsolver used 0.004999 s user time and 0.012998 s system time
The end
Begin job on node9 on Sat Jan 6 10:35:24 UTC 2007
IDJOB= 218814
IDBENCH= 5258
FILE ID= node9/218814-1168079724
PBS_JOBID= 3475840
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/chessboardColoration/cc-9-9-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218814-1168079724/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-218814-1168079724 -o ROOT/results/node9/solver-218814-1168079724 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218814-1168079724/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c4173727a6ec0cd98f872aeaa7cc40fb
RANDOM SEED= 511968513
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.231
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.231
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: 1188112 kB
Buffers: 83684 kB
Cached: 560280 kB
SwapCached: 268 kB
Active: 396672 kB
Inactive: 368868 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1188112 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1872 kB
Writeback: 0 kB
Mapped: 143252 kB
Slab: 86644 kB
Committed_AS: 4762232 kB
PageTables: 2484 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= 66542 MiB
End job on node9 on Sat Jan 6 10:35:29 UTC 2007