0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/244833-1168085740/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.46 nbVariables=100 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.46 => wckTime=0.125 cpuTime=0.08 mem=6M951
0.46
0.46 relations being loaded...
0.50
0.50 constraints being loaded...
0.67 nbConstraints=848 nbRelationTypes=242 nbExtensionStructures=242 nbSharedExtensionStructures=606
0.67 nbConflictsStructures=242 nbSharedConflictsStructures=606 nbSharedBinaryRepresentations=20 maxDegree=61
0.67 maxArity=11
0.67 => wckTime=0.339 cpuTime=0.21 mem=11M827
0.71
0.71 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.588 cpuTime=0.38 mem=22M55
0.93
0.93 preprocessing
0.93 nbConstraintChecks=18 nbPropagations=101 nbRevisions=9 nbUselessRevisions=7 nbRemovedValues=2
0.93 detectedInconsistency=no
0.93 => wckTime=0.014 cpuTime=0.01 mem=23M30
0.99
0.99 search
0.99 run=0 nbConstraintChecks=804 nbValidityChecks=148 nbPropagations=204 nbRevisions=946 nbUselessRevisions=824
0.99 nbAssignments=46 nbFailedAssignments=1 nbBacktracks=34 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=2
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.065 cpuTime=0.03 mem=23M30
1.01
1.01 search
1.01 run=1 nbConstraintChecks=1279 nbValidityChecks=451 nbPropagations=489 nbRevisions=2493 nbUselessRevisions=2145
1.01 nbAssignments=95 nbFailedAssignments=3 nbBacktracks=68 nbVisitedNodes=102 nbRestartNogoods=1 mapSize=4
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.087 cpuTime=0.05 mem=23M30
1.03
1.03 search
1.03 run=2 nbConstraintChecks=2005 nbValidityChecks=1136 nbPropagations=916 nbRevisions=5186
1.03 nbUselessRevisions=4452 nbAssignments=160 nbFailedAssignments=5 nbBacktracks=117 nbVisitedNodes=173
1.03 nbRestartNogoods=2 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.111 cpuTime=0.07 mem=23M30
1.05
1.05 search
1.05 run=3 nbConstraintChecks=2551 nbValidityChecks=1588 nbPropagations=1450 nbRevisions=8578
1.05 nbUselessRevisions=7329 nbAssignments=219 nbFailedAssignments=9 nbBacktracks=170 nbVisitedNodes=238
1.05 nbRestartNogoods=4 mapSize=13 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.127 cpuTime=0.08 mem=23M30
1.09
1.09 search
1.09 run=4 nbConstraintChecks=5161 nbValidityChecks=4596 nbPropagations=2387 nbRevisions=16546
1.09 nbUselessRevisions=14281 nbAssignments=319 nbFailedAssignments=19 nbBacktracks=232 nbVisitedNodes=356
1.09 nbRestartNogoods=5 mapSize=27 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.168 cpuTime=0.12 mem=23M30
1.14
1.14 search
1.14 run=5 nbConstraintChecks=8042 nbValidityChecks=8696 nbPropagations=3817 nbRevisions=29723
1.14 nbUselessRevisions=25776 nbAssignments=422 nbFailedAssignments=30 nbBacktracks=308 nbVisitedNodes=486
1.14 nbRestartNogoods=9 mapSize=52 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.217 cpuTime=0.17 mem=23M30
1.19
1.19 search
1.19 run=6 nbConstraintChecks=11400 nbValidityChecks=12818 nbPropagations=5846 nbRevisions=48229
1.19 nbUselessRevisions=41805 nbAssignments=564 nbFailedAssignments=46 nbBacktracks=421 nbVisitedNodes=658
1.19 nbRestartNogoods=11 mapSize=79 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.271 cpuTime=0.22 mem=23M30
1.26
1.26 search
1.26 run=7 nbConstraintChecks=16456 nbValidityChecks=18879 nbPropagations=8695 nbRevisions=74692
1.26 nbUselessRevisions=64784 nbAssignments=788 nbFailedAssignments=71 nbBacktracks=613 nbVisitedNodes=923
1.26 nbRestartNogoods=14 mapSize=117 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.342 cpuTime=0.29 mem=23M30
1.37
1.38 search
1.38 run=8 nbConstraintChecks=24315 nbValidityChecks=28308 nbPropagations=12958 nbRevisions=113549
1.38 nbUselessRevisions=98418 nbAssignments=1115 nbFailedAssignments=111 nbBacktracks=871 nbVisitedNodes=1321
1.38 nbRestartNogoods=17 mapSize=183 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.456 cpuTime=0.41 mem=23M30
1.43
1.43 search
1.43 run=9 nbConstraintChecks=27720 nbValidityChecks=32754 nbPropagations=17907 nbRevisions=158019
1.43 nbUselessRevisions=136857 nbAssignments=1269 nbFailedAssignments=128 nbBacktracks=1009 nbVisitedNodes=1508
1.43 nbRestartNogoods=22 mapSize=216 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.51 cpuTime=0.46 mem=23M30
1.43
1.43 global
1.43 nbConstraintChecks=27738 nbValidityChecks=32754 nbPropagations=18008 nbRevisions=158028
1.43 nbUselessRevisions=136864 nbRestartNogoods=22 solvingWckTime=0.512 solvingCpuTime=0.46 expiredTime=no
1.43 totalExploration=yes nbFoundSolutions=0 globalCpuTime=0.89
1.43 => wckTime=1.101 cpuTime=0.84 mem=23M30
1.43
1.43 s UNSATISFIABLE
1.43 d NODES 1269
1.43 d CHECKS 27738
1.43
1.43 totalWckTime=1.177 totalCpuTime=0.89
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-244833-1168085740 -o ROOT/results/node60/solver-244833-1168085740 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/244833-1168085740/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: 0.03 0.39 1.09 2/65 14491
/proc/meminfo: memFree=1468192/2055920 swapFree=4192812/4192956
[pid=14490] ppid=14488 vsize=168 CPUtime=0
/proc/14490/stat : 14490 (java) R 14488 14490 14249 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 156973906 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 5533995 0 0 4096 0 0 0 0 17 1 0 0
/proc/14490/statm: 42 23 18 14 0 2 0
[startup+0.102101 s]
/proc/loadavg: 0.03 0.39 1.09 2/65 14491
/proc/meminfo: memFree=1468192/2055920 swapFree=4192812/4192956
[pid=14490] ppid=14488 vsize=912760 CPUtime=0.06
/proc/14490/stat : 14490 (java) R 14488 14490 14249 0 -1 0 2751 0 1 0 5 1 0 0 22 0 8 0 156973906 934666240 2497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151971088 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14490/statm: 228190 2497 1383 14 0 215091 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 912760
[startup+0.510137 s]
/proc/loadavg: 0.03 0.39 1.09 2/65 14491
/proc/meminfo: memFree=1468192/2055920 swapFree=4192812/4192956
[pid=14490] ppid=14488 vsize=915328 CPUtime=0.41
/proc/14490/stat : 14490 (java) R 14488 14490 14249 0 -1 0 6106 0 1 0 39 2 0 0 16 0 8 0 156973906 937295872 5845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072924607 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14490/statm: 228832 5845 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328
[startup+1.33022 s]
/proc/loadavg: 0.03 0.39 1.09 2/72 14498
/proc/meminfo: memFree=1436584/2055920 swapFree=4192812/4192956
[pid=14490] ppid=14488 vsize=915556 CPUtime=1.22
/proc/14490/stat : 14490 (java) R 14488 14490 14249 0 -1 0 10638 0 1 0 117 5 0 0 16 0 8 0 156973906 937529344 10375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073863722 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14490/statm: 228889 10375 2516 14 0 215359 0
[pid=14490/tid=14492] ppid=14488 vsize=915556 CPUtime=0.03
/proc/14490/task/14492/stat : 14492 (java) S 14488 14490 14249 0 -1 64 354 0 0 0 3 0 0 0 16 0 8 0 156973911 937529344 10375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14490/tid=14493] ppid=14488 vsize=915556 CPUtime=0
/proc/14490/task/14493/stat : 14493 (java) S 14488 14490 14249 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156973911 937529344 10375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14490/tid=14494] ppid=14488 vsize=915556 CPUtime=0
/proc/14490/task/14494/stat : 14494 (java) S 14488 14490 14249 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156973911 937529344 10375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14490/tid=14495] ppid=14488 vsize=915556 CPUtime=0
/proc/14490/task/14495/stat : 14495 (java) S 14488 14490 14249 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156973914 937529344 10375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14490/tid=14496] ppid=14488 vsize=915556 CPUtime=0.21
/proc/14490/task/14496/stat : 14496 (java) S 14488 14490 14249 0 -1 64 401 0 0 0 21 0 0 0 16 0 8 0 156973914 937529344 10375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14490/tid=14497] ppid=14488 vsize=915556 CPUtime=0
/proc/14490/task/14497/stat : 14497 (java) S 14488 14490 14249 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156973914 937529344 10375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14490/tid=14498] ppid=14488 vsize=915556 CPUtime=0
/proc/14490/task/14498/stat : 14498 (java) S 14488 14490 14249 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156973914 937529344 10375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915556
Child status: 0
Real time (s): 1.49899
CPU time (s): 1.35279
CPU user time (s): 1.2848
CPU system time (s): 0.067989
CPU usage (%): 90.247
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.2848
system time used= 0.067989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10743
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= 882
involuntary context switches= 105
runsolver used 0.001999 s user time and 0.012998 s system time
The end
Begin job on node60 on Sat Jan 6 12:15:51 UTC 2007
IDJOB= 244833
IDBENCH= 8505
FILE ID= node60/244833-1168085740
PBS_JOBID= 3476318
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/jnhUnsat/jnh03_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/244833-1168085740/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-244833-1168085740 -o ROOT/results/node60/solver-244833-1168085740 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/244833-1168085740/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7bd490f86ce70f2b334b0413a8a9f06a
RANDOM SEED= 598334492
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.236
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.236
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: 1468672 kB
Buffers: 48752 kB
Cached: 449348 kB
SwapCached: 0 kB
Active: 62928 kB
Inactive: 450496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1468672 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1808 kB
Writeback: 0 kB
Mapped: 25456 kB
Slab: 59792 kB
Committed_AS: 3323432 kB
PageTables: 1464 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= 66552 MiB
End job on node60 on Sat Jan 6 12:16:10 UTC 2007