0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/208293-1168074673/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.41 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.52
0.52 constraints being loaded...
0.64 nbConstraints=333 nbRelationTypes=333 nbExtensionStructures=333 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=333 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2782 maxDegree=23
0.64 maxArity=2
0.64 => wckTime=0.322 cpuTime=0.25 mem=12M803
0.68
0.68 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.521 cpuTime=0.37 mem=13M916
0.84
0.84 preprocessing
0.84 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.84 detectedInconsistency=no
0.84 => wckTime=0.0050 cpuTime=0.01 mem=13M916
0.89
0.89 search
0.89 run=0 nbConstraintChecks=25455 nbPropagations=411 nbRevisions=3826 nbUselessRevisions=3096 nbAssignments=20
0.89 nbFailedAssignments=3 nbBacktracks=10 nbVisitedNodes=30 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.049 cpuTime=0.04 mem=14M891
0.91
0.91 search
0.91 run=1 nbConstraintChecks=74643 nbPropagations=1476 nbRevisions=15330 nbUselessRevisions=12211 nbAssignments=51
0.91 nbFailedAssignments=13 nbBacktracks=26 nbVisitedNodes=80 nbRestartNogoods=2 mapSize=20 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.075 cpuTime=0.06 mem=14M891
0.94
0.94 search
0.94 run=2 nbConstraintChecks=139122 nbPropagations=3384 nbRevisions=36859 nbUselessRevisions=29253
0.94 nbAssignments=92 nbFailedAssignments=25 nbBacktracks=49 nbVisitedNodes=147 nbRestartNogoods=5 mapSize=39
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.1 cpuTime=0.07 mem=14M891
0.96
0.96 search
0.96 run=3 nbConstraintChecks=219328 nbPropagations=6376 nbRevisions=71461 nbUselessRevisions=56569
0.96 nbAssignments=152 nbFailedAssignments=46 nbBacktracks=83 nbVisitedNodes=243 nbRestartNogoods=9 mapSize=65
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.118 cpuTime=0.09 mem=14M891
0.99
0.99 search
0.99 run=4 nbConstraintChecks=384413 nbPropagations=11342 nbRevisions=131602 nbUselessRevisions=103854
0.99 nbAssignments=250 nbFailedAssignments=87 nbBacktracks=133 nbVisitedNodes=414 nbRestartNogoods=13 mapSize=113
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.15 cpuTime=0.12 mem=14M891
1.03
1.03 search
1.03 run=5 nbConstraintChecks=574276 nbPropagations=18887 nbRevisions=224702 nbUselessRevisions=177181
1.03 nbAssignments=392 nbFailedAssignments=143 nbBacktracks=210 nbVisitedNodes=655 nbRestartNogoods=18 mapSize=179
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.192 cpuTime=0.15 mem=14M891
1.08
1.08 search
1.08 run=6 nbConstraintChecks=850333 nbPropagations=29937 nbRevisions=364377 nbUselessRevisions=287403
1.08 nbAssignments=587 nbFailedAssignments=218 nbBacktracks=323 nbVisitedNodes=985 nbRestartNogoods=28 mapSize=268
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.245 cpuTime=0.21 mem=14M891
1.17
1.17 search
1.17 run=7 nbConstraintChecks=1300396 nbPropagations=46653 nbRevisions=580753 nbUselessRevisions=458550
1.17 nbAssignments=893 nbFailedAssignments=347 nbBacktracks=494 nbVisitedNodes=1524 nbRestartNogoods=34 mapSize=408
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.332 cpuTime=0.29 mem=14M891
1.29
1.29 search
1.29 run=8 nbConstraintChecks=1951604 nbPropagations=71201 nbRevisions=901048 nbUselessRevisions=711217
1.29 nbAssignments=1329 nbFailedAssignments=520 nbBacktracks=751 nbVisitedNodes=2275 nbRestartNogoods=38
1.29 mapSize=618 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.454 cpuTime=0.4 mem=14M891
1.48
1.48 search
1.48 run=9 nbConstraintChecks=2935538 nbPropagations=108339 nbRevisions=1388798 nbUselessRevisions=1096430
1.48 nbAssignments=1977 nbFailedAssignments=778 nbBacktracks=1136 nbVisitedNodes=3406 nbRestartNogoods=47
1.48 mapSize=942 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.64 cpuTime=0.57 mem=14M891
1.53
1.53 INFO : Stopping hyperNogood (mapSize=1045, nbTooLargekeys=0, mem=14M891)
1.71
1.71 search
1.72 run=10 nbConstraintChecks=4351001 nbPropagations=163664 nbRevisions=2124200 nbUselessRevisions=1678731
1.72 nbAssignments=2952 nbFailedAssignments=1169 nbBacktracks=1713 nbVisitedNodes=5105 nbRestartNogoods=55
1.72 => wckTime=0.877 cpuTime=0.79 mem=14M891
2.03
2.03 search
2.03 run=11 nbConstraintChecks=6342715 nbPropagations=245009 nbRevisions=3212533 nbUselessRevisions=2541809
2.03 nbAssignments=4384 nbFailedAssignments=1730 nbBacktracks=2577 nbVisitedNodes=7573 nbRestartNogoods=61
2.03 => wckTime=1.189 cpuTime=1.1 mem=14M891
2.49
2.49 search
2.49 run=12 nbConstraintChecks=9191292 nbPropagations=365243 nbRevisions=4815657 nbUselessRevisions=3812621
2.49 nbAssignments=6544 nbFailedAssignments=2588 nbBacktracks=3874 nbVisitedNodes=11316 nbRestartNogoods=68
2.49 => wckTime=1.649 cpuTime=1.56 mem=14M891
3.24
3.24 search
3.24 run=13 nbConstraintChecks=14197962 nbPropagations=547507 nbRevisions=7269093 nbUselessRevisions=5758271
3.24 nbAssignments=9862 nbFailedAssignments=3952 nbBacktracks=5820 nbVisitedNodes=17141 nbRestartNogoods=74
3.24 => wckTime=2.401 cpuTime=2.32 mem=14M891
4.34
4.34 search
4.34 run=14 nbConstraintChecks=21354387 nbPropagations=821369 nbRevisions=10957645 nbUselessRevisions=8684958
4.34 nbAssignments=14662 nbFailedAssignments=5829 nbBacktracks=8739 nbVisitedNodes=25484 nbRestartNogoods=86
4.34 => wckTime=3.498 cpuTime=3.41 mem=14M891
5.18
5.18 search
5.18 run=15 nbConstraintChecks=26835900 nbPropagations=1165997 nbRevisions=15591587 nbUselessRevisions=12359222
5.18 nbAssignments=18560 nbFailedAssignments=7374 nbBacktracks=11052 nbVisitedNodes=32206 nbRestartNogoods=95
5.18 => wckTime=4.345 cpuTime=4.25 mem=14M891
5.18
5.18 global
5.18 nbConstraintChecks=26835900 nbPropagations=1166037 nbRevisions=15591587 nbUselessRevisions=12359222
5.18 nbRestartNogoods=95 solvingWckTime=4.346 solvingCpuTime=4.25 expiredTime=no totalExploration=no
5.19 nbFoundSolutions=1 globalCpuTime=4.67
5.19 => wckTime=4.871 cpuTime=4.62 mem=14M891
5.19
5.19 s SATISFIABLE
5.19 v 8 6 11 2 18 4 11 3 15 4 12 15 0 14 0 14 3 2 9 16 10 13 6 3 0 8 11 11 12 9 9 5 3 4 8 12 18 10 14 2
5.19 d NODES 18560
5.19 d CHECKS 26835900
5.19
5.19 totalWckTime=4.952 totalCpuTime=4.67
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-208293-1168074673 -o ROOT/results/node12/solver-208293-1168074673 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208293-1168074673/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.04 2.01 1.93 4/93 20654
/proc/meminfo: memFree=1540576/2055920 swapFree=4160348/4192956
[pid=20653] ppid=20651 vsize=18540 CPUtime=0
/proc/20653/stat : 20653 (runsolver) R 20651 20653 20104 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155862301 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20653/statm: 4635 279 244 17 0 2626 0
[startup+0.109529 s]
/proc/loadavg: 2.04 2.01 1.93 4/93 20654
/proc/meminfo: memFree=1540576/2055920 swapFree=4160348/4192956
[pid=20653] ppid=20651 vsize=914988 CPUtime=0.09
/proc/20653/stat : 20653 (java) R 20651 20653 20104 0 -1 0 3046 0 1 0 7 2 0 0 17 0 8 0 155862301 936947712 2792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155477441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20653/statm: 228747 2792 1445 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517599 s]
/proc/loadavg: 2.04 2.01 1.93 4/93 20654
/proc/meminfo: memFree=1540576/2055920 swapFree=4160348/4192956
[pid=20653] ppid=20651 vsize=915328 CPUtime=0.5
/proc/20653/stat : 20653 (java) R 20651 20653 20104 0 -1 0 6875 0 1 0 44 6 0 0 18 0 8 0 155862301 937295872 6614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073559453 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20653/statm: 228832 6614 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34075 s]
/proc/loadavg: 2.04 2.01 1.93 4/100 20661
/proc/meminfo: memFree=1516968/2055920 swapFree=4160348/4192956
[pid=20653] ppid=20651 vsize=915456 CPUtime=1.32
/proc/20653/stat : 20653 (java) R 20651 20653 20104 0 -1 0 8625 0 1 0 124 8 0 0 20 0 8 0 155862301 937426944 8363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072928610 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20653/statm: 228864 8363 2513 14 0 215334 0
[pid=20653/tid=20655] ppid=20651 vsize=915456 CPUtime=0.03
/proc/20653/task/20655/stat : 20655 (java) S 20651 20653 20104 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155862304 937426944 8363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20653/tid=20656] ppid=20651 vsize=915456 CPUtime=0
/proc/20653/task/20656/stat : 20656 (java) S 20651 20653 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155862305 937426944 8363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20653/tid=20657] ppid=20651 vsize=915456 CPUtime=0
/proc/20653/task/20657/stat : 20657 (java) S 20651 20653 20104 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155862305 937426944 8363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20653/tid=20658] ppid=20651 vsize=915456 CPUtime=0
/proc/20653/task/20658/stat : 20658 (java) S 20651 20653 20104 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155862308 937426944 8363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20653/tid=20659] ppid=20651 vsize=915456 CPUtime=0.2
/proc/20653/task/20659/stat : 20659 (java) S 20651 20653 20104 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 155862308 937426944 8363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20653/tid=20660] ppid=20651 vsize=915456 CPUtime=0
/proc/20653/task/20660/stat : 20660 (java) S 20651 20653 20104 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155862308 937426944 8363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20653/tid=20661] ppid=20651 vsize=915456 CPUtime=0
/proc/20653/task/20661/stat : 20661 (java) S 20651 20653 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155862308 937426944 8363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915456
[startup+2.99404 s]
/proc/loadavg: 2.04 2.01 1.93 3/100 20661
/proc/meminfo: memFree=1516584/2055920 swapFree=4160348/4192956
[pid=20653] ppid=20651 vsize=915456 CPUtime=2.95
/proc/20653/stat : 20653 (java) R 20651 20653 20104 0 -1 0 8668 0 1 0 287 8 0 0 25 0 8 0 155862301 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818312 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20653/statm: 228864 8405 2513 14 0 215334 0
[pid=20653/tid=20655] ppid=20651 vsize=915456 CPUtime=0.03
/proc/20653/task/20655/stat : 20655 (java) S 20651 20653 20104 0 -1 64 286 0 0 0 3 0 0 0 17 0 8 0 155862304 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20653/tid=20656] ppid=20651 vsize=915456 CPUtime=0
/proc/20653/task/20656/stat : 20656 (java) S 20651 20653 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155862305 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20653/tid=20657] ppid=20651 vsize=915456 CPUtime=0
/proc/20653/task/20657/stat : 20657 (java) S 20651 20653 20104 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155862305 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20653/tid=20658] ppid=20651 vsize=915456 CPUtime=0
/proc/20653/task/20658/stat : 20658 (java) S 20651 20653 20104 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155862308 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20653/tid=20659] ppid=20651 vsize=915456 CPUtime=0.23
/proc/20653/task/20659/stat : 20659 (java) S 20651 20653 20104 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 155862308 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20653/tid=20660] ppid=20651 vsize=915456 CPUtime=0
/proc/20653/task/20660/stat : 20660 (java) S 20651 20653 20104 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155862308 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20653/tid=20661] ppid=20651 vsize=915456 CPUtime=0
/proc/20653/task/20661/stat : 20661 (java) S 20651 20653 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155862308 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 5.20188
CPU time (s): 5.16021
CPU user time (s): 5.06423
CPU system time (s): 0.095985
CPU usage (%): 99.199
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.06423
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8768
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= 931
involuntary context switches= 1235
runsolver used 0.014997 s user time and 0.019996 s system time
The end
Begin job on node12 on Sat Jan 6 09:11:13 UTC 2007
IDJOB= 208293
IDBENCH= 4368
FILE ID= node12/208293-1168074673
PBS_JOBID= 3475754
Free space on /tmp= 66310 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208293-1168074673/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-208293-1168074673 -o ROOT/results/node12/solver-208293-1168074673 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208293-1168074673/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 66e986fd846fc81697d2cd1c2dfa6b7b
RANDOM SEED= 798995998
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: 1540992 kB
Buffers: 29924 kB
Cached: 250380 kB
SwapCached: 4684 kB
Active: 210748 kB
Inactive: 223228 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1540992 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 1992 kB
Writeback: 0 kB
Mapped: 173492 kB
Slab: 65624 kB
Committed_AS: 4727744 kB
PageTables: 2360 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= 66310 MiB
End job on node12 on Sat Jan 6 09:11:18 UTC 2007