0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/224950-1168080573/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.43 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.61
0.61 constraints being loaded...
0.70 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.70 => wckTime=0.377 cpuTime=0.32 mem=21M596
0.74
0.74 solver IterativeSystematicSolver being built...
0.90 => wckTime=0.577 cpuTime=0.45 mem=15M148
0.91
0.91 preprocessing
0.91 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.91 detectedInconsistency=no
0.91 => wckTime=0.0020 cpuTime=0.0 mem=15M148
0.97
0.97 search
0.97 run=0 nbConstraintChecks=105006 nbPropagations=685 nbRevisions=3144 nbUselessRevisions=1792 nbAssignments=29
0.97 nbFailedAssignments=14 nbBacktracks=14 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.059 cpuTime=0.03 mem=15M148
0.99
0.99 search
0.99 run=1 nbConstraintChecks=226183 nbPropagations=2207 nbRevisions=10397 nbUselessRevisions=5832 nbAssignments=65
0.99 nbFailedAssignments=30 nbBacktracks=29 nbVisitedNodes=109 nbRestartNogoods=3 mapSize=16 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.086 cpuTime=0.05 mem=15M148
1.02
1.02 search
1.02 run=2 nbConstraintChecks=435394 nbPropagations=5051 nbRevisions=24253 nbUselessRevisions=13533
1.02 nbAssignments=115 nbFailedAssignments=54 nbBacktracks=52 nbVisitedNodes=195 nbRestartNogoods=8 mapSize=35
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.11 cpuTime=0.07 mem=15M148
1.05
1.05 search
1.05 run=3 nbConstraintChecks=815684 nbPropagations=10561 nbRevisions=51589 nbUselessRevisions=28596
1.05 nbAssignments=220 nbFailedAssignments=121 nbBacktracks=87 nbVisitedNodes=387 nbRestartNogoods=14 mapSize=61
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.148 cpuTime=0.1 mem=15M148
1.12
1.12 search
1.12 run=4 nbConstraintChecks=1550464 nbPropagations=20617 nbRevisions=102883 nbUselessRevisions=57142
1.12 nbAssignments=382 nbFailedAssignments=231 nbBacktracks=137 nbVisitedNodes=697 nbRestartNogoods=20 mapSize=106
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.211 cpuTime=0.16 mem=15M148
1.17
1.17 search
1.17 run=5 nbConstraintChecks=2036477 nbPropagations=34216 nbRevisions=171879 nbUselessRevisions=95379
1.17 nbAssignments=529 nbFailedAssignments=301 nbBacktracks=214 nbVisitedNodes=948 nbRestartNogoods=31 mapSize=159
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.261 cpuTime=0.21 mem=15M148
1.27
1.27 search
1.27 run=6 nbConstraintChecks=3171273 nbPropagations=55534 nbRevisions=280363 nbUselessRevisions=155474
1.27 nbAssignments=832 nbFailedAssignments=489 nbBacktracks=328 nbVisitedNodes=1506 nbRestartNogoods=31 mapSize=248
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.364 cpuTime=0.3 mem=15M148
1.45
1.45 search
1.45 run=7 nbConstraintChecks=5197718 nbPropagations=90152 nbRevisions=459410 nbUselessRevisions=255228
1.45 nbAssignments=1383 nbFailedAssignments=869 nbBacktracks=498 nbVisitedNodes=2544 nbRestartNogoods=42
1.45 mapSize=389 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.542 cpuTime=0.47 mem=15M148
1.68
1.68 search
1.68 run=8 nbConstraintChecks=7886688 nbPropagations=142915 nbRevisions=731917 nbUselessRevisions=407130
1.68 nbAssignments=2100 nbFailedAssignments=1327 nbBacktracks=755 nbVisitedNodes=3869 nbRestartNogoods=47
1.68 mapSize=592 nbInferences=0 nbTooLargeKeys=0
1.68 => wckTime=0.771 cpuTime=0.69 mem=15M148
2.00
2.00 search
2.00 run=9 nbConstraintChecks=12100718 nbPropagations=222410 nbRevisions=1142631 nbUselessRevisions=635607
2.00 nbAssignments=3098 nbFailedAssignments=1938 nbBacktracks=1140 nbVisitedNodes=5717 nbRestartNogoods=51
2.00 mapSize=902 nbInferences=0 nbTooLargeKeys=0
2.00 => wckTime=1.09 cpuTime=1.0 mem=16M123
2.13
2.13 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=16M123)
2.47
2.47 search
2.47 run=10 nbConstraintChecks=18289694 nbPropagations=341778 nbRevisions=1760574 nbUselessRevisions=979936
2.47 nbAssignments=4628 nbFailedAssignments=2890 nbBacktracks=1716 nbVisitedNodes=8549 nbRestartNogoods=56
2.47 => wckTime=1.565 cpuTime=1.46 mem=16M123
3.17
3.17 search
3.17 run=11 nbConstraintChecks=27902641 nbPropagations=520023 nbRevisions=2684462 nbUselessRevisions=1493320
3.17 nbAssignments=6967 nbFailedAssignments=4364 nbBacktracks=2581 nbVisitedNodes=12838 nbRestartNogoods=64
3.17 => wckTime=2.261 cpuTime=2.15 mem=16M123
3.18
3.18 search
3.18 run=12 nbConstraintChecks=28047385 nbPropagations=699374 nbRevisions=3614024 nbUselessRevisions=2009893
3.18 nbAssignments=7010 nbFailedAssignments=4391 nbBacktracks=2598 nbVisitedNodes=12917 nbRestartNogoods=64
3.18 => wckTime=2.273 cpuTime=2.16 mem=16M123
3.18
3.18 global
3.18 nbConstraintChecks=28047385 nbPropagations=699414 nbRevisions=3614024 nbUselessRevisions=2009893
3.18 nbRestartNogoods=64 solvingWckTime=2.274 solvingCpuTime=2.16 expiredTime=no totalExploration=yes
3.18 nbFoundSolutions=0 globalCpuTime=2.66
3.18 => wckTime=2.856 cpuTime=2.61 mem=16M123
3.18
3.18 s UNSATISFIABLE
3.18 d NODES 7010
3.18 d CHECKS 28047385
3.18
3.18 totalWckTime=2.936 totalCpuTime=2.66
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-224950-1168080573 -o ROOT/results/node18/solver-224950-1168080573 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224950-1168080573/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.26 1.47 1.65 5/93 26592
/proc/meminfo: memFree=1055376/2055920 swapFree=4192812/4192956
[pid=26591] ppid=26589 vsize=18540 CPUtime=0
/proc/26591/stat : 26591 (runsolver) R 26589 26591 26468 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156452634 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26591/statm: 4635 279 244 17 0 2626 0
[startup+0.102961 s]
/proc/loadavg: 1.26 1.47 1.65 5/93 26592
/proc/meminfo: memFree=1055376/2055920 swapFree=4192812/4192956
[pid=26591] ppid=26589 vsize=912760 CPUtime=0.07
/proc/26591/stat : 26591 (java) S 26589 26591 26468 0 -1 0 2779 0 1 0 6 1 0 0 18 0 8 0 156452634 934666240 2525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26591/statm: 228190 2525 1387 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760
[startup+0.511004 s]
/proc/loadavg: 1.26 1.47 1.65 5/93 26592
/proc/meminfo: memFree=1055376/2055920 swapFree=4192812/4192956
[pid=26591] ppid=26589 vsize=915328 CPUtime=0.48
/proc/26591/stat : 26591 (java) R 26589 26591 26468 0 -1 0 7170 0 1 0 44 4 0 0 18 0 8 0 156452634 937295872 6909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26591/statm: 228832 6909 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33408 s]
/proc/loadavg: 1.26 1.47 1.65 3/100 26599
/proc/meminfo: memFree=1024088/2055920 swapFree=4192812/4192956
[pid=26591] ppid=26589 vsize=915464 CPUtime=1.29
/proc/26591/stat : 26591 (java) R 26589 26591 26468 0 -1 0 10527 0 1 0 123 6 0 0 24 0 8 0 156452634 937435136 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747584 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26591/statm: 228866 10265 2513 14 0 215336 0
[pid=26591/tid=26593] ppid=26589 vsize=915464 CPUtime=0.03
/proc/26591/task/26593/stat : 26593 (java) S 26589 26591 26468 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 156452638 937435136 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26591/tid=26594] ppid=26589 vsize=915464 CPUtime=0
/proc/26591/task/26594/stat : 26594 (java) S 26589 26591 26468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452639 937435136 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26591/tid=26595] ppid=26589 vsize=915464 CPUtime=0
/proc/26591/task/26595/stat : 26595 (java) S 26589 26591 26468 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156452639 937435136 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26591/tid=26596] ppid=26589 vsize=915464 CPUtime=0
/proc/26591/task/26596/stat : 26596 (java) S 26589 26591 26468 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156452642 937435136 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26591/tid=26597] ppid=26589 vsize=915464 CPUtime=0.18
/proc/26591/task/26597/stat : 26597 (java) S 26589 26591 26468 0 -1 64 361 0 0 0 18 0 0 0 15 0 8 0 156452643 937435136 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26591/tid=26598] ppid=26589 vsize=915464 CPUtime=0
/proc/26591/task/26598/stat : 26598 (java) S 26589 26591 26468 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156452643 937435136 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26591/tid=26599] ppid=26589 vsize=915464 CPUtime=0
/proc/26591/task/26599/stat : 26599 (java) S 26589 26591 26468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156452643 937435136 10265 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.98723 s]
/proc/loadavg: 1.32 1.48 1.65 3/100 26599
/proc/meminfo: memFree=1024024/2055920 swapFree=4192812/4192956
[pid=26591] ppid=26589 vsize=915464 CPUtime=2.93
/proc/26591/stat : 26591 (java) R 26589 26591 26468 0 -1 0 10544 0 1 0 287 6 0 0 25 0 8 0 156452634 937435136 10280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073748950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26591/statm: 228866 10280 2513 14 0 215336 0
[pid=26591/tid=26593] ppid=26589 vsize=915464 CPUtime=0.03
/proc/26591/task/26593/stat : 26593 (java) S 26589 26591 26468 0 -1 64 352 0 0 0 3 0 0 0 17 0 8 0 156452638 937435136 10280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26591/tid=26594] ppid=26589 vsize=915464 CPUtime=0
/proc/26591/task/26594/stat : 26594 (java) S 26589 26591 26468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452639 937435136 10280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26591/tid=26595] ppid=26589 vsize=915464 CPUtime=0
/proc/26591/task/26595/stat : 26595 (java) S 26589 26591 26468 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156452639 937435136 10280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26591/tid=26596] ppid=26589 vsize=915464 CPUtime=0
/proc/26591/task/26596/stat : 26596 (java) S 26589 26591 26468 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156452642 937435136 10280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26591/tid=26597] ppid=26589 vsize=915464 CPUtime=0.21
/proc/26591/task/26597/stat : 26597 (java) S 26589 26591 26468 0 -1 64 376 0 0 0 21 0 0 0 15 0 8 0 156452643 937435136 10280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26591/tid=26598] ppid=26589 vsize=915464 CPUtime=0
/proc/26591/task/26598/stat : 26598 (java) S 26589 26591 26468 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156452643 937435136 10280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26591/tid=26599] ppid=26589 vsize=915464 CPUtime=0
/proc/26591/task/26599/stat : 26599 (java) S 26589 26591 26468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156452643 937435136 10280 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): 3.23434
CPU time (s): 3.14252
CPU user time (s): 3.06753
CPU system time (s): 0.074988
CPU usage (%): 97.1611
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.06753
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10551
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= 1066
involuntary context switches= 1322
runsolver used 0.006998 s user time and 0.018997 s system time
The end
Begin job on node18 on Sat Jan 6 10:49:37 UTC 2007
IDJOB= 224950
IDBENCH= 5803
FILE ID= node18/224950-1168080573
PBS_JOBID= 3475866
Free space on /tmp= 66285 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224950-1168080573/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-224950-1168080573 -o ROOT/results/node18/solver-224950-1168080573 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224950-1168080573/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8e7cbddc90b4e2781e7f5481f3b737fb
RANDOM SEED= 481442910
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: 1055792 kB
Buffers: 70616 kB
Cached: 712064 kB
SwapCached: 0 kB
Active: 495404 kB
Inactive: 405476 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1055792 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2488 kB
Writeback: 0 kB
Mapped: 147224 kB
Slab: 83976 kB
Committed_AS: 4941312 kB
PageTables: 2244 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= 66285 MiB
End job on node18 on Sat Jan 6 10:49:46 UTC 2007