0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/226023-1168274253/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.44 => wckTime=0.106 cpuTime=0.09 mem=6M951
0.44
0.44 relations being loaded...
0.81
0.81 constraints being loaded...
0.95 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.95 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=8 maxArity=2
0.95 => wckTime=0.617 cpuTime=0.56 mem=36M294
1.01
1.01 solver IterativeSystematicSolver being built...
1.20 => wckTime=0.871 cpuTime=0.7 mem=16M389
1.29
1.29 preprocessing
1.29 nbConstraintChecks=654357 nbPropagations=1222 nbRevisions=4907 nbUselessRevisions=2684 nbSingletonTests=56
1.29 nbEffectiveSingletonTests=0 nbESACBranches=13 nbRemovedValues=0 detectedInconsistency=no
1.29 => wckTime=0.084 cpuTime=0.06 mem=16M389
1.37
1.37 search
1.37 run=0 nbConstraintChecks=709254 nbPropagations=2832 nbRevisions=11839 nbUselessRevisions=5869 nbAssignments=47
1.37 nbFailedAssignments=37 nbBacktracks=10 nbVisitedNodes=95 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.37 nbTooLargeKeys=0
1.37 => wckTime=0.164 cpuTime=0.12 mem=16M389
1.40
1.40 search
1.40 run=1 nbConstraintChecks=1230019 nbPropagations=7125 nbRevisions=29766 nbUselessRevisions=14462
1.40 nbAssignments=87 nbFailedAssignments=59 nbBacktracks=26 nbVisitedNodes=169 nbRestartNogoods=0 mapSize=25
1.40 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.198 cpuTime=0.16 mem=16M389
1.48
1.48 search
1.48 run=2 nbConstraintChecks=2386939 nbPropagations=14377 nbRevisions=59480 nbUselessRevisions=28724
1.48 nbAssignments=181 nbFailedAssignments=130 nbBacktracks=48 nbVisitedNodes=355 nbRestartNogoods=5 mapSize=46
1.48 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.273 cpuTime=0.23 mem=16M389
1.57
1.57 search
1.57 run=3 nbConstraintChecks=3978424 nbPropagations=25354 nbRevisions=105278 nbUselessRevisions=50284
1.57 nbAssignments=293 nbFailedAssignments=207 nbBacktracks=81 nbVisitedNodes=567 nbRestartNogoods=26 mapSize=74
1.57 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.366 cpuTime=0.32 mem=16M389
1.69
1.69 search
1.69 run=4 nbConstraintChecks=6011570 nbPropagations=41253 nbRevisions=171833 nbUselessRevisions=81576
1.69 nbAssignments=447 nbFailedAssignments=310 nbBacktracks=131 nbVisitedNodes=864 nbRestartNogoods=26 mapSize=118
1.69 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.482 cpuTime=0.43 mem=16M389
1.85
1.85 search
1.85 run=5 nbConstraintChecks=9011758 nbPropagations=64584 nbRevisions=269810 nbUselessRevisions=127230
1.86 nbAssignments=670 nbFailedAssignments=453 nbBacktracks=206 nbVisitedNodes=1287 nbRestartNogoods=39 mapSize=186
1.86 nbInferences=0 nbTooLargeKeys=0
1.86 => wckTime=0.649 cpuTime=0.6 mem=16M389
2.14
2.14 search
2.14 run=6 nbConstraintChecks=14228571 nbPropagations=101298 nbRevisions=423846 nbUselessRevisions=198977
2.14 nbAssignments=1086 nbFailedAssignments=753 nbBacktracks=321 nbVisitedNodes=2094 nbRestartNogoods=39
2.14 mapSize=297 nbInferences=0 nbTooLargeKeys=0
2.14 => wckTime=0.935 cpuTime=0.88 mem=17M362
2.58
2.58 search
2.59 run=7 nbConstraintChecks=21859957 nbPropagations=157156 nbRevisions=658786 nbUselessRevisions=308035
2.59 nbAssignments=1670 nbFailedAssignments=1166 nbBacktracks=492 nbVisitedNodes=3241 nbRestartNogoods=43
2.59 mapSize=456 nbInferences=0 nbTooLargeKeys=0
2.59 => wckTime=1.379 cpuTime=1.3 mem=17M362
3.26
3.26 search
3.26 run=8 nbConstraintChecks=34710892 nbPropagations=243385 nbRevisions=1026029 nbUselessRevisions=477199
3.26 nbAssignments=2594 nbFailedAssignments=1834 nbBacktracks=748 nbVisitedNodes=5043 nbRestartNogoods=43
3.26 mapSize=695 nbInferences=0 nbTooLargeKeys=0
3.26 => wckTime=2.056 cpuTime=1.97 mem=17M362
4.24
4.24 INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=17M362)
4.35
4.35 search
4.35 run=9 nbConstraintChecks=55386070 nbPropagations=378718 nbRevisions=1608038 nbUselessRevisions=744332
4.35 nbAssignments=4053 nbFailedAssignments=2908 nbBacktracks=1132 nbVisitedNodes=7898 nbRestartNogoods=43
4.35 => wckTime=3.148 cpuTime=3.05 mem=17M362
4.93
4.93 search
4.93 run=10 nbConstraintChecks=66273016 nbPropagations=540077 nbRevisions=2302595 nbUselessRevisions=1064065
4.93 nbAssignments=4833 nbFailedAssignments=3492 nbBacktracks=1329 nbVisitedNodes=9427 nbRestartNogoods=48
4.93 => wckTime=3.727 cpuTime=3.61 mem=17M362
4.93
4.93 global
4.93 nbConstraintChecks=66927373 nbPropagations=541299 nbRevisions=2307502 nbUselessRevisions=1066749
4.93 nbRestartNogoods=48 solvingWckTime=3.728 solvingCpuTime=3.61 expiredTime=no totalExploration=yes
4.93 nbFoundSolutions=0 globalCpuTime=4.37
4.93 => wckTime=4.605 cpuTime=4.31 mem=17M362
4.94
4.94 s UNSATISFIABLE
4.94 d NODES 4833
4.94 d CHECKS 66927373
4.94
4.94 totalWckTime=4.687 totalCpuTime=4.38
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-226023-1168274253 -o ROOT/results/node12/solver-226023-1168274253 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226023-1168274253/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: 2.40 2.74 2.86 4/94 987
/proc/meminfo: memFree=1150992/2055920 swapFree=4160348/4192956
[pid=986] ppid=984 vsize=18540 CPUtime=0
/proc/986/stat : 986 (runsolver) R 984 986 919 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 175820370 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/986/statm: 4635 279 244 17 0 2626 0
[startup+0.103576 s]
/proc/loadavg: 2.40 2.74 2.86 4/94 987
/proc/meminfo: memFree=1150992/2055920 swapFree=4160348/4192956
[pid=986] ppid=984 vsize=912588 CPUtime=0.07
/proc/986/stat : 986 (java) R 984 986 919 0 -1 0 2750 0 1 0 6 1 0 0 17 0 8 0 175820370 934490112 2496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/986/statm: 228147 2496 1382 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912588
[startup+0.511653 s]
/proc/loadavg: 2.40 2.74 2.86 4/94 987
/proc/meminfo: memFree=1150992/2055920 swapFree=4160348/4192956
[pid=986] ppid=984 vsize=915328 CPUtime=0.48
/proc/986/stat : 986 (java) R 984 986 919 0 -1 0 7034 0 1 0 44 4 0 0 18 0 8 0 175820370 937295872 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073584151 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/986/statm: 228832 6773 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3348 s]
/proc/loadavg: 2.40 2.74 2.86 3/101 994
/proc/meminfo: memFree=1104536/2055920 swapFree=4160348/4192956
[pid=986] ppid=984 vsize=915464 CPUtime=1.29
/proc/986/stat : 986 (java) R 984 986 919 0 -1 0 14358 0 1 0 118 11 0 0 24 0 8 0 175820370 937435136 14096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073739523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/986/statm: 228866 14096 2524 14 0 215336 0
[pid=986/tid=988] ppid=984 vsize=915464 CPUtime=0.04
/proc/986/task/988/stat : 988 (java) S 984 986 919 0 -1 64 611 0 0 0 4 0 0 0 17 0 8 0 175820375 937435136 14096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=986/tid=989] ppid=984 vsize=915464 CPUtime=0
/proc/986/task/989/stat : 989 (java) S 984 986 919 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 175820376 937435136 14096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=986/tid=990] ppid=984 vsize=915464 CPUtime=0
/proc/986/task/990/stat : 990 (java) S 984 986 919 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175820376 937435136 14096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=986/tid=991] ppid=984 vsize=915464 CPUtime=0
/proc/986/task/991/stat : 991 (java) S 984 986 919 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175820379 937435136 14096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=986/tid=992] ppid=984 vsize=915464 CPUtime=0.17
/proc/986/task/992/stat : 992 (java) S 984 986 919 0 -1 64 353 0 0 0 17 0 0 0 16 0 8 0 175820379 937435136 14096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=986/tid=993] ppid=984 vsize=915464 CPUtime=0
/proc/986/task/993/stat : 993 (java) S 984 986 919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175820379 937435136 14096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=986/tid=994] ppid=984 vsize=915464 CPUtime=0
/proc/986/task/994/stat : 994 (java) S 984 986 919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175820379 937435136 14096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
[startup+2.98809 s]
/proc/loadavg: 2.52 2.76 2.87 4/101 994
/proc/meminfo: memFree=1104280/2055920 swapFree=4160348/4192956
[pid=986] ppid=984 vsize=915464 CPUtime=2.93
/proc/986/stat : 986 (java) R 984 986 919 0 -1 0 14380 0 1 0 281 12 0 0 25 0 8 0 175820370 937435136 14117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073732411 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/986/statm: 228866 14117 2524 14 0 215336 0
[pid=986/tid=988] ppid=984 vsize=915464 CPUtime=0.04
/proc/986/task/988/stat : 988 (java) S 984 986 919 0 -1 64 611 0 0 0 4 0 0 0 17 0 8 0 175820375 937435136 14117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=986/tid=989] ppid=984 vsize=915464 CPUtime=0
/proc/986/task/989/stat : 989 (java) S 984 986 919 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 175820376 937435136 14117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=986/tid=990] ppid=984 vsize=915464 CPUtime=0
/proc/986/task/990/stat : 990 (java) S 984 986 919 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175820376 937435136 14117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=986/tid=991] ppid=984 vsize=915464 CPUtime=0
/proc/986/task/991/stat : 991 (java) S 984 986 919 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175820379 937435136 14117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=986/tid=992] ppid=984 vsize=915464 CPUtime=0.22
/proc/986/task/992/stat : 992 (java) S 984 986 919 0 -1 64 374 0 0 0 21 1 0 0 16 0 8 0 175820379 937435136 14117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=986/tid=993] ppid=984 vsize=915464 CPUtime=0
/proc/986/task/993/stat : 993 (java) S 984 986 919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175820379 937435136 14117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=986/tid=994] ppid=984 vsize=915464 CPUtime=0
/proc/986/task/994/stat : 994 (java) S 984 986 919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175820379 937435136 14117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 4.97441
CPU time (s): 4.88426
CPU user time (s): 4.74928
CPU system time (s): 0.134979
CPU usage (%): 98.1877
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.74928
system time used= 0.134979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14390
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= 1110
involuntary context switches= 1454
runsolver used 0.005999 s user time and 0.026995 s system time
The end
Begin job on node12 on Mon Jan 8 16:37:33 UTC 2007
IDJOB= 226023
IDBENCH= 5924
FILE ID= node12/226023-1168274253
PBS_JOBID= 3483050
Free space on /tmp= 66314 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-75_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226023-1168274253/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-226023-1168274253 -o ROOT/results/node12/solver-226023-1168274253 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226023-1168274253/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b7c1c41dbc3e9546e44459527f1aa21c
RANDOM SEED= 478645198
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.265
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.265
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: 1151472 kB
Buffers: 54368 kB
Cached: 162996 kB
SwapCached: 5132 kB
Active: 757360 kB
Inactive: 94872 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1151472 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 3644 kB
Writeback: 0 kB
Mapped: 650764 kB
Slab: 35808 kB
Committed_AS: 5727464 kB
PageTables: 3324 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= 66314 MiB
End job on node12 on Mon Jan 8 16:37:38 UTC 2007