0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/225015-1168270531/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.40 => wckTime=0.098 cpuTime=0.07 mem=6M951
0.40
0.40 relations being loaded...
0.57
0.57 constraints being loaded...
0.66 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=9 maxArity=2
0.66 => wckTime=0.361 cpuTime=0.3 mem=21M748
0.70
0.70 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.558 cpuTime=0.44 mem=15M362
0.91
0.91 preprocessing
0.91 nbConstraintChecks=204691 nbPropagations=1112 nbRevisions=4228 nbUselessRevisions=2346 nbSingletonTests=54
0.91 nbEffectiveSingletonTests=0 nbESACBranches=11 nbRemovedValues=0 detectedInconsistency=no
0.91 => wckTime=0.053 cpuTime=0.03 mem=15M362
0.94
0.94 search
0.94 run=0 nbConstraintChecks=148321 nbPropagations=2069 nbRevisions=8952 nbUselessRevisions=4883 nbAssignments=29
0.94 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=57 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.083 cpuTime=0.05 mem=15M362
0.97
0.97 search
0.97 run=1 nbConstraintChecks=388366 nbPropagations=5671 nbRevisions=25374 nbUselessRevisions=13899
0.97 nbAssignments=92 nbFailedAssignments=63 nbBacktracks=25 nbVisitedNodes=176 nbRestartNogoods=5 mapSize=22
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.111 cpuTime=0.08 mem=15M362
1.00
1.00 search
1.00 run=2 nbConstraintChecks=700481 nbPropagations=11049 nbRevisions=50440 nbUselessRevisions=27488
1.00 nbAssignments=152 nbFailedAssignments=89 nbBacktracks=49 nbVisitedNodes=271 nbRestartNogoods=16 mapSize=43
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.143 cpuTime=0.1 mem=15M362
1.04
1.04 search
1.04 run=3 nbConstraintChecks=1088267 nbPropagations=18917 nbRevisions=87983 nbUselessRevisions=47756
1.04 nbAssignments=237 nbFailedAssignments=139 nbBacktracks=82 nbVisitedNodes=425 nbRestartNogoods=23 mapSize=73
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.176 cpuTime=0.14 mem=15M362
1.09
1.09 search
1.09 run=4 nbConstraintChecks=1687621 nbPropagations=30761 nbRevisions=144451 nbUselessRevisions=77975
1.09 nbAssignments=386 nbFailedAssignments=237 nbBacktracks=132 nbVisitedNodes=712 nbRestartNogoods=25 mapSize=119
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.229 cpuTime=0.19 mem=15M362
1.15
1.15 search
1.16 run=5 nbConstraintChecks=2403796 nbPropagations=47631 nbRevisions=225700 nbUselessRevisions=121680
1.16 nbAssignments=548 nbFailedAssignments=321 nbBacktracks=207 nbVisitedNodes=1013 nbRestartNogoods=29 mapSize=189
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.294 cpuTime=0.25 mem=15M362
1.27
1.27 search
1.27 run=6 nbConstraintChecks=3876949 nbPropagations=73332 nbRevisions=350258 nbUselessRevisions=188682
1.27 nbAssignments=857 nbFailedAssignments=515 nbBacktracks=320 nbVisitedNodes=1597 nbRestartNogoods=31 mapSize=291
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.41 cpuTime=0.36 mem=15M362
1.45
1.45 search
1.45 run=7 nbConstraintChecks=6119040 nbPropagations=112826 nbRevisions=542908 nbUselessRevisions=292205
1.45 nbAssignments=1314 nbFailedAssignments=796 nbBacktracks=490 nbVisitedNodes=2466 nbRestartNogoods=38
1.45 mapSize=450 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.584 cpuTime=0.53 mem=15M362
1.69
1.69 search
1.69 run=8 nbConstraintChecks=9277206 nbPropagations=172697 nbRevisions=835731 nbUselessRevisions=450420
1.69 nbAssignments=2052 nbFailedAssignments=1276 nbBacktracks=746 nbVisitedNodes=3871 nbRestartNogoods=43
1.69 mapSize=686 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.834 cpuTime=0.77 mem=15M362
2.02
2.02 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=16M337)
2.05
2.05 search
2.05 run=9 nbConstraintChecks=14026956 nbPropagations=262431 nbRevisions=1277282 nbUselessRevisions=688586
2.05 nbAssignments=3026 nbFailedAssignments=1860 nbBacktracks=1130 nbVisitedNodes=5718 nbRestartNogoods=51
2.05 => wckTime=1.184 cpuTime=1.11 mem=16M337
2.54
2.54 search
2.54 run=10 nbConstraintChecks=20801299 nbPropagations=395248 nbRevisions=1937727 nbUselessRevisions=1044713
2.54 nbAssignments=4455 nbFailedAssignments=2713 nbBacktracks=1706 nbVisitedNodes=8430 nbRestartNogoods=53
2.54 => wckTime=1.676 cpuTime=1.59 mem=16M337
3.27
3.27 search
3.27 run=11 nbConstraintChecks=31143731 nbPropagations=593843 nbRevisions=2930967 nbUselessRevisions=1581354
3.27 nbAssignments=6623 nbFailedAssignments=4014 nbBacktracks=2570 nbVisitedNodes=12533 nbRestartNogoods=53
3.27 => wckTime=2.411 cpuTime=2.33 mem=16M337
4.33
4.33 search
4.33 run=12 nbConstraintChecks=46784459 nbPropagations=891597 nbRevisions=4427164 nbUselessRevisions=2390342
4.33 nbAssignments=9877 nbFailedAssignments=5969 nbBacktracks=3867 nbVisitedNodes=18670 nbRestartNogoods=54
4.33 => wckTime=3.47 cpuTime=3.38 mem=16M337
4.77
4.77 search
4.77 run=13 nbConstraintChecks=53392594 nbPropagations=1229140 nbRevisions=6127627 nbUselessRevisions=3309249
4.77 nbAssignments=11131 nbFailedAssignments=6696 nbBacktracks=4392 nbVisitedNodes=21013 nbRestartNogoods=63
4.77 => wckTime=3.907 cpuTime=3.82 mem=16M337
4.77
4.77 global
4.77 nbConstraintChecks=53597285 nbPropagations=1230252 nbRevisions=6131855 nbUselessRevisions=3311595
4.77 nbRestartNogoods=63 solvingWckTime=3.908 solvingCpuTime=3.82 expiredTime=no totalExploration=yes
4.77 nbFoundSolutions=0 globalCpuTime=4.32
4.77 => wckTime=4.47 cpuTime=4.26 mem=16M337
4.77
4.77 s UNSATISFIABLE
4.77 d NODES 11131
4.77 d CHECKS 53597285
4.77
4.77 totalWckTime=4.545 totalCpuTime=4.32
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-225015-1168270531 -o ROOT/results/node61/solver-225015-1168270531 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225015-1168270531/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.04 1.33 1.88 2/65 7017
/proc/meminfo: memFree=1825704/2055920 swapFree=4192812/4192956
[pid=7016] ppid=7014 vsize=168 CPUtime=0
/proc/7016/stat : 7016 (java) R 7014 7016 6603 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 175450924 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 10383659 0 0 4096 0 0 0 0 17 1 0 0
/proc/7016/statm: 42 23 18 14 0 2 0
[startup+0.106145 s]
/proc/loadavg: 1.04 1.33 1.88 2/65 7017
/proc/meminfo: memFree=1825704/2055920 swapFree=4192812/4192956
[pid=7016] ppid=7014 vsize=914988 CPUtime=0.09
/proc/7016/stat : 7016 (java) R 7014 7016 6603 0 -1 0 3036 0 1 0 8 1 0 0 22 0 8 0 175450924 936947712 2782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7016/statm: 228747 2783 1442 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514222 s]
/proc/loadavg: 1.04 1.33 1.88 2/65 7017
/proc/meminfo: memFree=1825704/2055920 swapFree=4192812/4192956
[pid=7016] ppid=7014 vsize=915328 CPUtime=0.49
/proc/7016/stat : 7016 (java) R 7014 7016 6603 0 -1 0 7822 0 1 0 45 4 0 0 17 0 8 0 175450924 937295872 7561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7016/statm: 228832 7561 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33636 s]
/proc/loadavg: 1.04 1.33 1.88 2/72 7024
/proc/meminfo: memFree=1794416/2055920 swapFree=4192812/4192956
[pid=7016] ppid=7014 vsize=915464 CPUtime=1.31
/proc/7016/stat : 7016 (java) R 7014 7016 6603 0 -1 0 10560 0 1 0 124 7 0 0 16 0 8 0 175450924 937435136 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730433 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7016/statm: 228866 10298 2524 14 0 215336 0
[pid=7016/tid=7018] ppid=7014 vsize=915464 CPUtime=0.03
/proc/7016/task/7018/stat : 7018 (java) S 7014 7016 6603 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 175450928 937435136 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7016/tid=7019] ppid=7014 vsize=915464 CPUtime=0
/proc/7016/task/7019/stat : 7019 (java) S 7014 7016 6603 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 175450928 937435136 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7016/tid=7020] ppid=7014 vsize=915464 CPUtime=0
/proc/7016/task/7020/stat : 7020 (java) S 7014 7016 6603 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175450928 937435136 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7016/tid=7021] ppid=7014 vsize=915464 CPUtime=0
/proc/7016/task/7021/stat : 7021 (java) S 7014 7016 6603 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175450931 937435136 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7016/tid=7022] ppid=7014 vsize=915464 CPUtime=0.16
/proc/7016/task/7022/stat : 7022 (java) S 7014 7016 6603 0 -1 64 362 0 0 0 15 1 0 0 16 0 8 0 175450931 937435136 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7016/tid=7023] ppid=7014 vsize=915464 CPUtime=0
/proc/7016/task/7023/stat : 7023 (java) S 7014 7016 6603 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175450931 937435136 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7016/tid=7024] ppid=7014 vsize=915464 CPUtime=0
/proc/7016/task/7024/stat : 7024 (java) S 7014 7016 6603 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175450931 937435136 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.97765 s]
/proc/loadavg: 1.04 1.33 1.88 2/72 7024
/proc/meminfo: memFree=1794288/2055920 swapFree=4192812/4192956
[pid=7016] ppid=7014 vsize=915464 CPUtime=2.94
/proc/7016/stat : 7016 (java) R 7014 7016 6603 0 -1 0 10575 0 1 0 287 7 0 0 17 0 8 0 175450924 937435136 10312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727507 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7016/statm: 228866 10312 2524 14 0 215336 0
[pid=7016/tid=7018] ppid=7014 vsize=915464 CPUtime=0.03
/proc/7016/task/7018/stat : 7018 (java) S 7014 7016 6603 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 175450928 937435136 10312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7016/tid=7019] ppid=7014 vsize=915464 CPUtime=0
/proc/7016/task/7019/stat : 7019 (java) S 7014 7016 6603 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 175450928 937435136 10312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7016/tid=7020] ppid=7014 vsize=915464 CPUtime=0
/proc/7016/task/7020/stat : 7020 (java) S 7014 7016 6603 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175450928 937435136 10312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7016/tid=7021] ppid=7014 vsize=915464 CPUtime=0
/proc/7016/task/7021/stat : 7021 (java) S 7014 7016 6603 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175450931 937435136 10312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7016/tid=7022] ppid=7014 vsize=915464 CPUtime=0.18
/proc/7016/task/7022/stat : 7022 (java) S 7014 7016 6603 0 -1 64 376 0 0 0 17 1 0 0 16 0 8 0 175450931 937435136 10312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7016/tid=7023] ppid=7014 vsize=915464 CPUtime=0
/proc/7016/task/7023/stat : 7023 (java) S 7014 7016 6603 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175450931 937435136 10312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7016/tid=7024] ppid=7014 vsize=915464 CPUtime=0
/proc/7016/task/7024/stat : 7024 (java) S 7014 7016 6603 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175450931 937435136 10312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 4.82099
CPU time (s): 4.75428
CPU user time (s): 4.66929
CPU system time (s): 0.084987
CPU usage (%): 98.6162
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.66929
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10585
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= 872
involuntary context switches= 205
runsolver used 0.005999 s user time and 0.023996 s system time
The end
Begin job on node61 on Mon Jan 8 15:35:31 UTC 2007
IDJOB= 225015
IDBENCH= 5810
FILE ID= node61/225015-1168270531
PBS_JOBID= 3482937
Free space on /tmp= 66520 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225015-1168270531/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-225015-1168270531 -o ROOT/results/node61/solver-225015-1168270531 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225015-1168270531/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e1d30aba5cb0703cc33580f1e32ddfc4
RANDOM SEED= 194189720
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.259
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.259
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: 1826184 kB
Buffers: 43244 kB
Cached: 115604 kB
SwapCached: 0 kB
Active: 100004 kB
Inactive: 74584 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1826184 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2404 kB
Writeback: 0 kB
Mapped: 25904 kB
Slab: 41240 kB
Committed_AS: 3914652 kB
PageTables: 1388 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= 66520 MiB
End job on node61 on Mon Jan 8 15:35:36 UTC 2007