0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/243486-1168085667/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=200 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.106 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.41
0.41 constraints being loaded...
0.53 nbConstraints=389 nbRelationTypes=18 nbExtensionStructures=18 nbSharedExtensionStructures=371
0.53 nbConflictsStructures=18 nbSharedConflictsStructures=371 nbSharedBinaryRepresentations=5 maxDegree=6 maxArity=3
0.53 => wckTime=0.235 cpuTime=0.16 mem=8M902
0.57
0.57 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.466 cpuTime=0.32 mem=17M549
0.78
0.78 preprocessing
0.78 nbConstraintChecks=0 nbPropagations=200 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.78 detectedInconsistency=no
0.78 => wckTime=0.0080 cpuTime=0.0 mem=17M549
0.82
0.82 search
0.82 run=0 nbConstraintChecks=373 nbValidityChecks=88 nbPropagations=363 nbRevisions=421 nbUselessRevisions=281
0.82 nbAssignments=77 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=84 nbRestartNogoods=0 mapSize=3
0.82 nbInferences=0 nbTooLargeKeys=0
0.82 => wckTime=0.05 cpuTime=0.02 mem=17M549
0.83
0.83 search
0.83 run=1 nbConstraintChecks=543 nbValidityChecks=243 nbPropagations=853 nbRevisions=1120 nbUselessRevisions=742
0.83 nbAssignments=162 nbFailedAssignments=8 nbBacktracks=25 nbVisitedNodes=175 nbRestartNogoods=3 mapSize=7
0.83 nbInferences=0 nbTooLargeKeys=0
0.83 => wckTime=0.067 cpuTime=0.04 mem=17M549
0.85
0.85 search
0.85 run=2 nbConstraintChecks=971 nbValidityChecks=631 nbPropagations=1583 nbRevisions=2464 nbUselessRevisions=1624
0.85 nbAssignments=270 nbFailedAssignments=16 nbBacktracks=49 nbVisitedNodes=302 nbRestartNogoods=5 mapSize=23
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.088 cpuTime=0.06 mem=17M549
0.88
0.88 search
0.88 run=3 nbConstraintChecks=1444 nbValidityChecks=1083 nbPropagations=2583 nbRevisions=4536
0.88 nbUselessRevisions=2966 nbAssignments=384 nbFailedAssignments=25 nbBacktracks=83 nbVisitedNodes=433
0.88 nbRestartNogoods=8 mapSize=36 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.11 cpuTime=0.07 mem=17M549
0.89
0.89 search
0.89 run=4 nbConstraintChecks=1902 nbValidityChecks=1646 nbPropagations=3855 nbRevisions=7298
0.89 nbUselessRevisions=4721 nbAssignments=500 nbFailedAssignments=41 nbBacktracks=133 nbVisitedNodes=579
0.89 nbRestartNogoods=12 mapSize=61 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.127 cpuTime=0.09 mem=17M549
0.92
0.92 search
0.92 run=5 nbConstraintChecks=2638 nbValidityChecks=2563 nbPropagations=5536 nbRevisions=11272
0.92 nbUselessRevisions=7273 nbAssignments=683 nbFailedAssignments=56 nbBacktracks=208 nbVisitedNodes=794
0.92 nbRestartNogoods=17 mapSize=87 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.158 cpuTime=0.11 mem=17M549
0.95
0.95 search
0.95 run=6 nbConstraintChecks=3724 nbValidityChecks=4166 nbPropagations=7834 nbRevisions=17132
0.95 nbUselessRevisions=11055 nbAssignments=871 nbFailedAssignments=86 nbBacktracks=327 nbVisitedNodes=1036
0.95 nbRestartNogoods=23 mapSize=139 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.182 cpuTime=0.13 mem=17M549
0.98
0.98 search
0.98 run=7 nbConstraintChecks=5003 nbValidityChecks=6216 nbPropagations=10996 nbRevisions=25191
0.98 nbUselessRevisions=16142 nbAssignments=1109 nbFailedAssignments=125 nbBacktracks=503 nbVisitedNodes=1362
0.98 nbRestartNogoods=25 mapSize=221 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.212 cpuTime=0.16 mem=17M549
1.05
1.05 search
1.05 run=8 nbConstraintChecks=6315 nbValidityChecks=8681 nbPropagations=15028 nbRevisions=36218
1.05 nbUselessRevisions=23309 nbAssignments=1513 nbFailedAssignments=163 nbBacktracks=761 nbVisitedNodes=1846
1.05 nbRestartNogoods=27 mapSize=292 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.284 cpuTime=0.21 mem=17M549
1.10
1.10 search
1.10 run=9 nbConstraintChecks=8941 nbValidityChecks=12961 nbPropagations=20683 nbRevisions=51882
1.10 nbUselessRevisions=33416 nbAssignments=2036 nbFailedAssignments=280 nbBacktracks=1145 nbVisitedNodes=2590
1.10 nbRestartNogoods=36 mapSize=505 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.337 cpuTime=0.26 mem=17M549
1.20
1.20 search
1.20 run=10 nbConstraintChecks=14106 nbValidityChecks=22624 nbPropagations=29652 nbRevisions=78495
1.20 nbUselessRevisions=50969 nbAssignments=2850 nbFailedAssignments=467 nbBacktracks=1724 nbVisitedNodes=3762
1.20 nbRestartNogoods=41 mapSize=851 nbInferences=5 nbTooLargeKeys=0
1.20 => wckTime=0.429 cpuTime=0.34 mem=18M524
1.24
1.24 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=18M524)
1.28
1.28 search
1.28 run=11 nbConstraintChecks=19473 nbValidityChecks=33140 nbPropagations=42049 nbRevisions=116923
1.28 nbUselessRevisions=76704 nbAssignments=3950 nbFailedAssignments=663 nbBacktracks=2589 nbVisitedNodes=5279
1.28 nbRestartNogoods=51
1.28 => wckTime=0.51 cpuTime=0.42 mem=18M524
1.38
1.38 search
1.38 run=12 nbConstraintChecks=31680 nbValidityChecks=58896 nbPropagations=63343 nbRevisions=183611
1.38 nbUselessRevisions=121486 nbAssignments=5583 nbFailedAssignments=974 nbBacktracks=3896 nbVisitedNodes=7615
1.38 nbRestartNogoods=60
1.38 => wckTime=0.614 cpuTime=0.53 mem=18M524
1.50
1.50 search
1.50 run=13 nbConstraintChecks=44443 nbValidityChecks=85737 nbPropagations=93699 nbRevisions=281598
1.50 nbUselessRevisions=187996 nbAssignments=8013 nbFailedAssignments=1420 nbBacktracks=5846 nbVisitedNodes=10988
1.50 nbRestartNogoods=63
1.50 => wckTime=0.738 cpuTime=0.65 mem=18M524
1.73
1.73 search
1.73 run=14 nbConstraintChecks=73029 nbValidityChecks=149702 nbPropagations=143582 nbRevisions=453318
1.73 nbUselessRevisions=307431 nbAssignments=11701 nbFailedAssignments=2148 nbBacktracks=8773 nbVisitedNodes=16243
1.73 nbRestartNogoods=67
1.73 => wckTime=0.96 cpuTime=0.87 mem=18M524
2.00
2.00 search
2.00 run=15 nbConstraintChecks=101456 nbValidityChecks=209726 nbPropagations=212464 nbRevisions=697056
2.00 nbUselessRevisions=479252 nbAssignments=16995 nbFailedAssignments=3005 nbBacktracks=13151 nbVisitedNodes=23355
2.00 nbRestartNogoods=75
2.00 => wckTime=1.23 cpuTime=1.14 mem=18M524
2.30
2.30 search
2.30 run=16 nbConstraintChecks=135673 nbValidityChecks=280555 nbPropagations=304638 nbRevisions=1022233
2.30 nbUselessRevisions=707942 nbAssignments=22187 nbFailedAssignments=3961 nbBacktracks=17187 nbVisitedNodes=30606
2.30 nbRestartNogoods=87
2.30 => wckTime=1.531 cpuTime=1.43 mem=18M524
2.30
2.30 global
2.30 nbConstraintChecks=135673 nbValidityChecks=280555 nbPropagations=304838 nbRevisions=1022233
2.30 nbUselessRevisions=707942 nbRestartNogoods=87 solvingWckTime=1.532 solvingCpuTime=1.44 expiredTime=no
2.30 totalExploration=no nbFoundSolutions=1 globalCpuTime=1.82
2.30 => wckTime=2.0 cpuTime=1.77 mem=18M524
2.30
2.30 s SATISFIABLE
2.30 v 1 1 0 0 0 0 1 0 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 0 1 0 1 1 1 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 1 1 1 0 1 1 1 0 0 0 0 1 1 1 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 1 0 1 1 0 1 0 0 1 1 0 0 0 1 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 0 1 0 1 1 1 1 1 0 1 1 1 0 1 0 0 1 0 1 1 1 1 0 0 1 0
2.30 d NODES 22187
2.30 d CHECKS 135673
2.30
2.30 totalWckTime=2.075 totalCpuTime=1.82
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-243486-1168085667 -o ROOT/results/node9/solver-243486-1168085667 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/243486-1168085667/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.02 0.65 1.31 4/84 20477
/proc/meminfo: memFree=1233912/2055920 swapFree=4191880/4192956
[pid=20476] ppid=20474 vsize=18540 CPUtime=0
/proc/20476/stat : 20476 (runsolver) R 20474 20476 19774 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156962980 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/20476/statm: 4635 279 244 17 0 2626 0
[startup+0.103428 s]
/proc/loadavg: 0.02 0.65 1.31 4/84 20477
/proc/meminfo: memFree=1233912/2055920 swapFree=4191880/4192956
[pid=20476] ppid=20474 vsize=914988 CPUtime=0.09
/proc/20476/stat : 20476 (java) R 20474 20476 19774 0 -1 0 3029 0 1 0 7 2 0 0 16 0 8 0 156962980 936947712 2775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072924719 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20476/statm: 228747 2775 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511478 s]
/proc/loadavg: 0.02 0.65 1.31 4/84 20477
/proc/meminfo: memFree=1233912/2055920 swapFree=4191880/4192956
[pid=20476] ppid=20474 vsize=916352 CPUtime=0.48
/proc/20476/stat : 20476 (java) R 20474 20476 19774 0 -1 0 6560 0 1 0 44 4 0 0 16 0 8 0 156962980 938344448 6299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073659296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20476/statm: 229088 6299 2147 14 0 215558 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 916352
[startup+1.33256 s]
/proc/loadavg: 0.02 0.65 1.31 2/88 20484
/proc/meminfo: memFree=1207896/2055920 swapFree=4191880/4192956
[pid=20476] ppid=20474 vsize=916476 CPUtime=1.3
/proc/20476/stat : 20476 (java) R 20474 20476 19774 0 -1 0 9425 0 1 0 124 6 0 0 16 0 8 0 156962980 938471424 9163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20476/statm: 229119 9163 2515 14 0 215589 0
[pid=20476/tid=20478] ppid=20474 vsize=916476 CPUtime=0.02
/proc/20476/task/20478/stat : 20478 (java) S 20474 20476 19774 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 156962984 938471424 9163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20479] ppid=20474 vsize=916476 CPUtime=0
/proc/20476/task/20479/stat : 20479 (java) S 20474 20476 19774 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156962985 938471424 9163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20476/tid=20480] ppid=20474 vsize=916476 CPUtime=0
/proc/20476/task/20480/stat : 20480 (java) S 20474 20476 19774 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156962985 938471424 9163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20476/tid=20481] ppid=20474 vsize=916476 CPUtime=0
/proc/20476/task/20481/stat : 20481 (java) S 20474 20476 19774 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156962988 938471424 9163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20476/tid=20482] ppid=20474 vsize=916476 CPUtime=0.22
/proc/20476/task/20482/stat : 20482 (java) S 20474 20476 19774 0 -1 64 404 0 0 0 21 1 0 0 16 0 8 0 156962988 938471424 9163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20476/tid=20483] ppid=20474 vsize=916476 CPUtime=0
/proc/20476/task/20483/stat : 20483 (java) S 20474 20476 19774 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156962988 938471424 9163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20476/tid=20484] ppid=20474 vsize=916476 CPUtime=0
/proc/20476/task/20484/stat : 20484 (java) S 20474 20476 19774 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156962988 938471424 9163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 916476
Child status: 0
Real time (s): 2.31983
CPU time (s): 2.29065
CPU user time (s): 2.21466
CPU system time (s): 0.075988
CPU usage (%): 98.7422
Max. virtual memory (cumulated for all children) (KiB): 916476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.21466
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9533
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= 886
involuntary context switches= 174
runsolver used 0.007998 s user time and 0.016997 s system time
The end
Begin job on node9 on Sat Jan 6 12:14:33 UTC 2007
IDJOB= 243486
IDBENCH= 7472
FILE ID= node9/243486-1168085667
PBS_JOBID= 3476290
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/aim-200/aim-200-2-0-sat-4_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/243486-1168085667/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-243486-1168085667 -o ROOT/results/node9/solver-243486-1168085667 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/243486-1168085667/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 05a1b582775e369fe33942e296b723e9
RANDOM SEED= 62123244
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: 1230032 kB
Buffers: 84196 kB
Cached: 587444 kB
SwapCached: 268 kB
Active: 327392 kB
Inactive: 396484 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1230032 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3504 kB
Writeback: 0 kB
Mapped: 69548 kB
Slab: 86792 kB
Committed_AS: 4846064 kB
PageTables: 2304 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= 66542 MiB
End job on node9 on Sat Jan 6 12:14:45 UTC 2007