0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/242193-1168377523/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=90 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.40
0.40 constraints being loaded...
0.45 nbConstraints=60 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=58
0.45 nbConflictsStructures=2 nbSharedConflictsStructures=58 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.45 => wckTime=0.14 cpuTime=0.11 mem=6M951
0.48
0.48 solver IterativeSystematicSolver being built...
0.67 => wckTime=0.365 cpuTime=0.27 mem=15M387
0.71
0.71 preprocessing
0.71 nbConstraintChecks=281 nbValidityChecks=1013 nbPropagations=378 nbRevisions=529 nbUselessRevisions=411
0.71 nbSingletonTests=174 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.71 => wckTime=0.034 cpuTime=0.02 mem=15M387
0.73
0.73 search
0.73 run=0 nbConstraintChecks=120 nbValidityChecks=518 nbPropagations=493 nbRevisions=760 nbUselessRevisions=555
0.73 nbAssignments=67 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=74 nbRestartNogoods=0 mapSize=3
0.73 nbInferences=0 nbTooLargeKeys=0
0.73 => wckTime=0.062 cpuTime=0.03 mem=15M387
0.75
0.75 search
0.75 run=1 nbConstraintChecks=285 nbValidityChecks=1154 nbPropagations=1128 nbRevisions=1797
0.75 nbUselessRevisions=1273 nbAssignments=142 nbFailedAssignments=9 nbBacktracks=28 nbVisitedNodes=160
0.75 nbRestartNogoods=2 mapSize=12 nbInferences=0 nbTooLargeKeys=0
0.75 => wckTime=0.08 cpuTime=0.05 mem=15M387
0.76
0.76 search
0.76 run=2 nbConstraintChecks=510 nbValidityChecks=1899 nbPropagations=1928 nbRevisions=3165
0.76 nbUselessRevisions=2187 nbAssignments=223 nbFailedAssignments=15 nbBacktracks=52 nbVisitedNodes=255
0.76 nbRestartNogoods=4 mapSize=24 nbInferences=2 nbTooLargeKeys=0
0.76 => wckTime=0.091 cpuTime=0.06 mem=15M387
0.78
0.78 search
0.78 run=3 nbConstraintChecks=804 nbValidityChecks=2877 nbPropagations=2940 nbRevisions=4952
0.78 nbUselessRevisions=3351 nbAssignments=320 nbFailedAssignments=21 nbBacktracks=86 nbVisitedNodes=372
0.78 nbRestartNogoods=5 mapSize=41 nbInferences=10 nbTooLargeKeys=0
0.78 => wckTime=0.108 cpuTime=0.08 mem=15M387
0.80
0.80 search
0.80 run=4 nbConstraintChecks=1128 nbValidityChecks=3938 nbPropagations=4192 nbRevisions=7191
0.80 nbUselessRevisions=4770 nbAssignments=440 nbFailedAssignments=31 nbBacktracks=139 nbVisitedNodes=517
0.80 nbRestartNogoods=8 mapSize=63 nbInferences=16 nbTooLargeKeys=0
0.80 => wckTime=0.124 cpuTime=0.09 mem=15M387
0.81
0.81 search
0.81 run=5 nbConstraintChecks=1633 nbValidityChecks=5479 nbPropagations=5777 nbRevisions=10072
0.81 nbUselessRevisions=6552 nbAssignments=598 nbFailedAssignments=46 nbBacktracks=214 nbVisitedNodes=716
0.81 nbRestartNogoods=10 mapSize=101 nbInferences=28 nbTooLargeKeys=0
0.81 => wckTime=0.143 cpuTime=0.1 mem=15M387
0.83
0.83 search
0.83 run=6 nbConstraintChecks=2342 nbValidityChecks=7678 nbPropagations=7853 nbRevisions=13884
0.83 nbUselessRevisions=8869 nbAssignments=805 nbFailedAssignments=58 nbBacktracks=330 nbVisitedNodes=981
0.83 nbRestartNogoods=13 mapSize=156 nbInferences=62 nbTooLargeKeys=0
0.83 => wckTime=0.159 cpuTime=0.11 mem=15M387
0.85
0.85 search
0.85 run=7 nbConstraintChecks=4751 nbValidityChecks=14848 nbPropagations=11745 nbRevisions=20774
0.85 nbUselessRevisions=12683 nbAssignments=1111 nbFailedAssignments=60 nbBacktracks=500 nbVisitedNodes=1395
0.86 nbRestartNogoods=16 mapSize=261 nbInferences=167 nbTooLargeKeys=0
0.86 => wckTime=0.184 cpuTime=0.14 mem=15M387
0.91
0.91 search
0.91 run=8 nbConstraintChecks=9923 nbValidityChecks=30033 nbPropagations=19423 nbRevisions=34049
0.91 nbUselessRevisions=19589 nbAssignments=1629 nbFailedAssignments=60 nbBacktracks=757 nbVisitedNodes=2142
0.91 nbRestartNogoods=19 mapSize=487 nbInferences=396 nbTooLargeKeys=0
0.91 => wckTime=0.241 cpuTime=0.18 mem=15M387
0.96
0.96 search
0.96 run=9 nbConstraintChecks=16449 nbValidityChecks=49196 nbPropagations=31898 nbRevisions=55388
0.96 nbUselessRevisions=30365 nbAssignments=2342 nbFailedAssignments=65 nbBacktracks=1143 nbVisitedNodes=3149
0.96 nbRestartNogoods=22 mapSize=777 nbInferences=680 nbTooLargeKeys=0
0.96 => wckTime=0.288 cpuTime=0.22 mem=16M362
1.00
1.00 search
1.00 run=10 nbConstraintChecks=20458 nbValidityChecks=61066 nbPropagations=47267 nbRevisions=81655
1.00 nbUselessRevisions=43571 nbAssignments=3171 nbFailedAssignments=99 nbBacktracks=1725 nbVisitedNodes=4235
1.00 nbRestartNogoods=26 mapSize=1030 nbInferences=869 nbTooLargeKeys=0
1.00 => wckTime=0.328 cpuTime=0.25 mem=16M362
1.07
1.07 search
1.07 run=11 nbConstraintChecks=29905 nbValidityChecks=86172 nbPropagations=68288 nbRevisions=118324
1.07 nbUselessRevisions=62738 nbAssignments=4670 nbFailedAssignments=112 nbBacktracks=2597 nbVisitedNodes=6357
1.07 nbRestartNogoods=30 mapSize=1651 nbInferences=1467 nbTooLargeKeys=0
1.07 => wckTime=0.399 cpuTime=0.32 mem=16M362
1.20
1.20 search
1.20 run=12 nbConstraintChecks=63416 nbValidityChecks=179679 nbPropagations=115056 nbRevisions=192636
1.20 nbUselessRevisions=96254 nbAssignments=7201 nbFailedAssignments=112 nbBacktracks=3894 nbVisitedNodes=10109
1.20 nbRestartNogoods=32 mapSize=2868 nbInferences=2688 nbTooLargeKeys=0
1.20 => wckTime=0.533 cpuTime=0.45 mem=16M362
1.41
1.41 search
1.42 run=13 nbConstraintChecks=118716 nbValidityChecks=333994 nbPropagations=204763 nbRevisions=329082
1.42 nbUselessRevisions=152814 nbAssignments=11081 nbFailedAssignments=112 nbBacktracks=5840 nbVisitedNodes=15908
1.42 nbRestartNogoods=36 mapSize=4779 nbInferences=4607 nbTooLargeKeys=0
1.42 => wckTime=0.744 cpuTime=0.66 mem=16M362
1.73
1.73 search
1.73 run=14 nbConstraintChecks=201709 nbValidityChecks=564519 nbPropagations=358949 nbRevisions=558779
1.73 nbUselessRevisions=243910 nbAssignments=16889 nbFailedAssignments=112 nbBacktracks=8759 nbVisitedNodes=24591
1.73 nbRestartNogoods=44 mapSize=7646 nbInferences=7482 nbTooLargeKeys=0
1.73 => wckTime=1.055 cpuTime=0.97 mem=17M337
2.19
2.19 search
2.19 run=15 nbConstraintChecks=325978 nbValidityChecks=907506 nbPropagations=609671 nbRevisions=928106
2.19 nbUselessRevisions=386734 nbAssignments=25591 nbFailedAssignments=112 nbBacktracks=13139 nbVisitedNodes=37603
2.19 nbRestartNogoods=52 mapSize=11950 nbInferences=11792 nbTooLargeKeys=0
2.19 => wckTime=1.52 cpuTime=1.44 mem=17M337
2.88
2.88 search
2.88 run=16 nbConstraintChecks=508732 nbValidityChecks=1414044 nbPropagations=1002241 nbRevisions=1502663
2.88 nbUselessRevisions=605646 nbAssignments=38395 nbFailedAssignments=112 nbBacktracks=19593 nbVisitedNodes=56757
2.88 nbRestartNogoods=57 mapSize=18300 nbInferences=18143 nbTooLargeKeys=0
2.88 => wckTime=2.206 cpuTime=2.12 mem=18M312
2.88
2.88 global
2.88 nbConstraintChecks=509013 nbValidityChecks=1415057 nbPropagations=1002619 nbRevisions=1503192
2.88 nbUselessRevisions=606057 nbRestartNogoods=57 solvingWckTime=2.207 solvingCpuTime=2.12 expiredTime=no
2.88 totalExploration=yes nbFoundSolutions=0 globalCpuTime=2.44
2.88 => wckTime=2.573 cpuTime=2.39 mem=18M312
2.88
2.88 s UNSATISFIABLE
2.88 d NODES 38395
2.88 d CHECKS 509013
2.88
2.88 totalWckTime=2.652 totalCpuTime=2.44
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-242193-1168377523 -o ROOT/results/node12/solver-242193-1168377523 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242193-1168377523/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.85 0.97 0.84 2/87 29096
/proc/meminfo: memFree=1579816/2055920 swapFree=4160348/4192956
[pid=29095] ppid=29076 vsize=906644 CPUtime=0.03
/proc/29095/stat : 29095 (java) R 29076 29095 28969 0 -1 0 2109 0 1 0 2 1 0 0 18 0 2 0 186147541 928403456 1858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153785378 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/29095/statm: 226661 1858 1059 14 0 214244 0
[pid=29095/tid=29100] ppid=29076 vsize=906644 CPUtime=0
/proc/29095/task/29100/stat : 29100 (java) R 29076 29095 28969 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 186147545 928403456 1859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.102199 s]
/proc/loadavg: 0.85 0.97 0.84 2/87 29096
/proc/meminfo: memFree=1579816/2055920 swapFree=4160348/4192956
[pid=29095] ppid=29076 vsize=914988 CPUtime=0.09
/proc/29095/stat : 29095 (java) R 29076 29095 28969 0 -1 0 3020 0 1 0 7 2 0 0 17 0 8 0 186147541 936947712 2766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29095/statm: 228747 2766 1435 14 0 215242 0
[pid=29095/tid=29100] ppid=29076 vsize=914988 CPUtime=0
/proc/29095/task/29100/stat : 29100 (java) S 29076 29095 28969 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 186147545 936947712 2766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.510276 s]
/proc/loadavg: 0.85 0.97 0.84 2/87 29096
/proc/meminfo: memFree=1579816/2055920 swapFree=4160348/4192956
[pid=29095] ppid=29076 vsize=915460 CPUtime=0.5
/proc/29095/stat : 29095 (java) S 29076 29095 28969 0 -1 0 6597 0 1 0 46 4 0 0 17 0 8 0 186147541 937431040 6335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29095/statm: 228865 6335 2370 14 0 215335 0
[pid=29095/tid=29100] ppid=29076 vsize=915460 CPUtime=0.02
/proc/29095/task/29100/stat : 29100 (java) S 29076 29095 28969 0 -1 64 126 0 0 0 2 0 0 0 16 0 8 0 186147545 937431040 6335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915460
[startup+1.33242 s]
/proc/loadavg: 0.85 0.97 0.84 2/88 29119
/proc/meminfo: memFree=1556752/2055920 swapFree=4160348/4192956
[pid=29095] ppid=29076 vsize=915460 CPUtime=1.31
/proc/29095/stat : 29095 (java) R 29076 29095 28969 0 -1 0 8960 0 1 0 126 5 0 0 17 0 8 0 186147541 937431040 8698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29095/statm: 228865 8698 2527 14 0 215335 0
[pid=29095/tid=29100] ppid=29076 vsize=915460 CPUtime=0.02
/proc/29095/task/29100/stat : 29100 (java) S 29076 29095 28969 0 -1 64 126 0 0 0 2 0 0 0 16 0 8 0 186147545 937431040 8698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29095/tid=29101] ppid=29076 vsize=915460 CPUtime=0
/proc/29095/task/29101/stat : 29101 (java) S 29076 29095 28969 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186147545 937431040 8698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29095/tid=29102] ppid=29076 vsize=915460 CPUtime=0
/proc/29095/task/29102/stat : 29102 (java) S 29076 29095 28969 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186147545 937431040 8698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29095/tid=29107] ppid=29076 vsize=915460 CPUtime=0
/proc/29095/task/29107/stat : 29107 (java) S 29076 29095 28969 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 186147549 937431040 8698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29095/tid=29108] ppid=29076 vsize=915460 CPUtime=0.18
/proc/29095/task/29108/stat : 29108 (java) S 29076 29095 28969 0 -1 64 370 0 0 0 18 0 0 0 15 0 8 0 186147549 937431040 8698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29095/tid=29109] ppid=29076 vsize=915460 CPUtime=0
/proc/29095/task/29109/stat : 29109 (java) S 29076 29095 28969 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186147549 937431040 8698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29095/tid=29110] ppid=29076 vsize=915460 CPUtime=0
/proc/29095/task/29110/stat : 29110 (java) S 29076 29095 28969 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186147549 937431040 8698 18446744073709551615 134512640 134570532 4294956464 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) 915460
Child status: 0
Real time (s): 2.89647
CPU time (s): 2.88656
CPU user time (s): 2.81257
CPU system time (s): 0.073988
CPU usage (%): 99.6579
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.81257
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9549
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= 766
involuntary context switches= 408
runsolver used 0.004999 s user time and 0.016997 s system time
The end
Begin job on node12 on Tue Jan 9 21:18:44 UTC 2007
IDJOB= 242193
IDBENCH= 7374
FILE ID= node12/242193-1168377523
PBS_JOBID= 3522342
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/dubois/dubois-30_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242193-1168377523/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-242193-1168377523 -o ROOT/results/node12/solver-242193-1168377523 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242193-1168377523/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8a013f585cb903582789495f99614f7b
RANDOM SEED= 710021483
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: 1581944 kB
Buffers: 86008 kB
Cached: 293920 kB
SwapCached: 4816 kB
Active: 203988 kB
Inactive: 209296 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1581944 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 5280 kB
Writeback: 0 kB
Mapped: 42916 kB
Slab: 46000 kB
Committed_AS: 5613880 kB
PageTables: 1920 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= 66562 MiB
End job on node12 on Tue Jan 9 21:18:49 UTC 2007