0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/227993-1168279249/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.43 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
0.52
0.52 constraints being loaded...
0.62 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8216 maxDegree=29
0.62 maxArity=2
0.62 => wckTime=0.298 cpuTime=0.21 mem=10M852
0.66
0.66 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.5 cpuTime=0.34 mem=14M819
0.89
0.89 preprocessing
0.89 nbConstraintChecks=34439 nbPropagations=939 nbRevisions=5880 nbUselessRevisions=4528 nbSingletonTests=51
0.89 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
0.89 => wckTime=0.061 cpuTime=0.03 mem=14M819
0.91
0.91 search
0.91 run=0 nbConstraintChecks=19978 nbPropagations=1357 nbRevisions=10831 nbUselessRevisions=8509 nbAssignments=27
0.91 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=43 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.085 cpuTime=0.05 mem=14M819
0.93
0.93 search
0.93 run=1 nbConstraintChecks=44045 nbPropagations=3255 nbRevisions=28280 nbUselessRevisions=22444 nbAssignments=60
0.93 nbFailedAssignments=17 nbBacktracks=28 nbVisitedNodes=92 nbRestartNogoods=1 mapSize=22 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.103 cpuTime=0.06 mem=14M819
0.95
0.95 search
0.95 run=2 nbConstraintChecks=79106 nbPropagations=5853 nbRevisions=54888 nbUselessRevisions=43828
0.95 nbAssignments=103 nbFailedAssignments=32 nbBacktracks=51 nbVisitedNodes=163 nbRestartNogoods=4 mapSize=39
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.118 cpuTime=0.07 mem=14M819
0.96
0.96 search
0.96 run=3 nbConstraintChecks=125688 nbPropagations=9351 nbRevisions=93024 nbUselessRevisions=74701
0.96 nbAssignments=159 nbFailedAssignments=49 nbBacktracks=85 nbVisitedNodes=253 nbRestartNogoods=6 mapSize=64
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.133 cpuTime=0.08 mem=14M819
0.98
0.98 search
0.98 run=4 nbConstraintChecks=198094 nbPropagations=14284 nbRevisions=151978 nbUselessRevisions=123128
0.98 nbAssignments=243 nbFailedAssignments=74 nbBacktracks=135 nbVisitedNodes=390 nbRestartNogoods=10 mapSize=104
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.155 cpuTime=0.11 mem=14M819
1.02
1.02 search
1.02 run=5 nbConstraintChecks=300638 nbPropagations=21198 nbRevisions=239185 nbUselessRevisions=194832
1.02 nbAssignments=363 nbFailedAssignments=113 nbBacktracks=211 nbVisitedNodes=590 nbRestartNogoods=15 mapSize=165
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.19 cpuTime=0.13 mem=14M819
1.05
1.05 search
1.05 run=6 nbConstraintChecks=430094 nbPropagations=30633 nbRevisions=362298 nbUselessRevisions=296511
1.05 nbAssignments=548 nbFailedAssignments=174 nbBacktracks=328 nbVisitedNodes=885 nbRestartNogoods=19 mapSize=253
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.227 cpuTime=0.17 mem=14M819
1.11
1.11 search
1.11 run=7 nbConstraintChecks=633168 nbPropagations=44019 nbRevisions=542170 nbUselessRevisions=445108
1.11 nbAssignments=820 nbFailedAssignments=268 nbBacktracks=498 nbVisitedNodes=1330 nbRestartNogoods=22 mapSize=384
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.285 cpuTime=0.23 mem=14M819
1.22
1.22 search
1.22 run=8 nbConstraintChecks=1015121 nbPropagations=64114 nbRevisions=825900 nbUselessRevisions=679905
1.22 nbAssignments=1255 nbFailedAssignments=440 nbBacktracks=755 nbVisitedNodes=2074 nbRestartNogoods=28
1.22 mapSize=602 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.392 cpuTime=0.32 mem=14M819
1.36
1.36 search
1.36 run=9 nbConstraintChecks=1511086 nbPropagations=93129 nbRevisions=1244397 nbUselessRevisions=1026411
1.36 nbAssignments=1846 nbFailedAssignments=640 nbBacktracks=1140 nbVisitedNodes=3059 nbRestartNogoods=34
1.36 mapSize=919 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.53 cpuTime=0.44 mem=14M819
1.40
1.40 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=14M819)
1.53
1.53 search
1.53 run=10 nbConstraintChecks=2225836 nbPropagations=135279 nbRevisions=1862347 nbUselessRevisions=1539912
1.53 nbAssignments=2722 nbFailedAssignments=932 nbBacktracks=1717 nbVisitedNodes=4527 nbRestartNogoods=40
1.53 => wckTime=0.705 cpuTime=0.61 mem=14M819
1.74
1.74 search
1.74 run=11 nbConstraintChecks=3180871 nbPropagations=195133 nbRevisions=2731518 nbUselessRevisions=2259756
1.74 nbAssignments=3994 nbFailedAssignments=1331 nbBacktracks=2582 nbVisitedNodes=6572 nbRestartNogoods=46
1.74 => wckTime=0.917 cpuTime=0.82 mem=14M819
2.09
2.09 search
2.09 run=12 nbConstraintChecks=4729865 nbPropagations=283491 nbRevisions=4023142 nbUselessRevisions=3330678
2.09 nbAssignments=5933 nbFailedAssignments=1966 nbBacktracks=3880 nbVisitedNodes=9790 nbRestartNogoods=54
2.09 => wckTime=1.262 cpuTime=1.16 mem=14M819
2.27
2.27 search
2.27 run=13 nbConstraintChecks=5523929 nbPropagations=386266 nbRevisions=5521560 nbUselessRevisions=4571092
2.27 nbAssignments=6930 nbFailedAssignments=2289 nbBacktracks=4514 nbVisitedNodes=11439 nbRestartNogoods=58
2.27 => wckTime=1.441 cpuTime=1.33 mem=14M819
2.27
2.27 global
2.27 nbConstraintChecks=5558368 nbPropagations=387205 nbRevisions=5527440 nbUselessRevisions=4575620
2.27 nbRestartNogoods=58 solvingWckTime=1.442 solvingCpuTime=1.33 expiredTime=no totalExploration=no
2.27 nbFoundSolutions=1 globalCpuTime=1.73
2.27 => wckTime=1.945 cpuTime=1.67 mem=14M819
2.27
2.27 s SATISFIABLE
2.27 v 6 1 0 1 2 5 0 10 5 9 3 9 8 7 3 4 4 2 2 4 7 5 0 2 2 9 4 8 2 10 6 7 4 5 3 6 4 2 3 6
2.27 d NODES 6930
2.27 d CHECKS 5558368
2.27
2.27 totalWckTime=2.025 totalCpuTime=1.74
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-227993-1168279249 -o ROOT/results/node9/solver-227993-1168279249 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227993-1168279249/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.89 1.90 1.93 4/88 30507
/proc/meminfo: memFree=1752352/2055920 swapFree=4191880/4192956
[pid=30506] ppid=30504 vsize=18540 CPUtime=0
/proc/30506/stat : 30506 (runsolver) R 30504 30506 29510 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 176320085 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30506/statm: 4635 279 244 17 0 2626 0
[startup+0.102909 s]
/proc/loadavg: 1.89 1.90 1.93 4/88 30507
/proc/meminfo: memFree=1752352/2055920 swapFree=4191880/4192956
[pid=30506] ppid=30504 vsize=912432 CPUtime=0.07
/proc/30506/stat : 30506 (java) D 30504 30506 29510 0 -1 0 2745 0 1 0 5 2 0 0 17 0 8 0 176320085 934330368 2491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30506/statm: 228108 2491 1379 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912432
[startup+0.510957 s]
/proc/loadavg: 1.89 1.90 1.93 4/88 30507
/proc/meminfo: memFree=1752352/2055920 swapFree=4191880/4192956
[pid=30506] ppid=30504 vsize=915328 CPUtime=0.47
/proc/30506/stat : 30506 (java) R 30504 30506 29510 0 -1 0 6356 0 1 0 43 4 0 0 18 0 8 0 176320085 937295872 6095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072916939 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30506/statm: 228832 6095 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33405 s]
/proc/loadavg: 1.89 1.90 1.93 3/95 30514
/proc/meminfo: memFree=1728616/2055920 swapFree=4191880/4192956
[pid=30506] ppid=30504 vsize=915456 CPUtime=1.28
/proc/30506/stat : 30506 (java) R 30504 30506 29510 0 -1 0 8670 0 1 0 122 6 0 0 24 0 8 0 176320085 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796071 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30506/statm: 228864 8408 2524 14 0 215334 0
[pid=30506/tid=30508] ppid=30504 vsize=915456 CPUtime=0.03
/proc/30506/task/30508/stat : 30508 (java) S 30504 30506 29510 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 176320090 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30506/tid=30509] ppid=30504 vsize=915456 CPUtime=0
/proc/30506/task/30509/stat : 30509 (java) S 30504 30506 29510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176320090 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30506/tid=30510] ppid=30504 vsize=915456 CPUtime=0
/proc/30506/task/30510/stat : 30510 (java) S 30504 30506 29510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176320090 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30506/tid=30511] ppid=30504 vsize=915456 CPUtime=0
/proc/30506/task/30511/stat : 30511 (java) S 30504 30506 29510 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 176320094 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30506/tid=30512] ppid=30504 vsize=915456 CPUtime=0.23
/proc/30506/task/30512/stat : 30512 (java) S 30504 30506 29510 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 176320094 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30506/tid=30513] ppid=30504 vsize=915456 CPUtime=0
/proc/30506/task/30513/stat : 30513 (java) S 30504 30506 29510 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176320094 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30506/tid=30514] ppid=30504 vsize=915456 CPUtime=0
/proc/30506/task/30514/stat : 30514 (java) S 30504 30506 29510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176320094 937426944 8408 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) 915456
Child status: 0
Real time (s): 2.29156
CPU time (s): 2.22666
CPU user time (s): 2.15467
CPU system time (s): 0.071989
CPU usage (%): 97.168
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.15467
system time used= 0.071989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8790
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= 1166
involuntary context switches= 1396
runsolver used 0.007998 s user time and 0.019996 s system time
The end
Begin job on node9 on Mon Jan 8 18:00:49 UTC 2007
IDJOB= 227993
IDBENCH= 6144
FILE ID= node9/227993-1168279249
PBS_JOBID= 3483158
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227993-1168279249/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-227993-1168279249 -o ROOT/results/node9/solver-227993-1168279249 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227993-1168279249/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c8909460f94d8e661e359cb0f138126f
RANDOM SEED= 128359627
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: 1752768 kB
Buffers: 59156 kB
Cached: 134712 kB
SwapCached: 408 kB
Active: 152236 kB
Inactive: 91144 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1752768 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1856 kB
Writeback: 0 kB
Mapped: 62636 kB
Slab: 44280 kB
Committed_AS: 5125164 kB
PageTables: 2320 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= 66546 MiB
End job on node9 on Mon Jan 8 18:00:52 UTC 2007