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/228079-1168080853/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.43 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
0.52
0.52 constraints being loaded...
0.62 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8229 maxDegree=29
0.62 maxArity=2
0.62 => wckTime=0.298 cpuTime=0.22 mem=10M852
0.66
0.66 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.494 cpuTime=0.35 mem=13M696
0.83
0.83 preprocessing
0.83 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.83 detectedInconsistency=no
0.83 => wckTime=0.0080 cpuTime=0.01 mem=13M696
0.87
0.87 search
0.87 run=0 nbConstraintChecks=15916 nbPropagations=406 nbRevisions=4024 nbUselessRevisions=3343 nbAssignments=25
0.87 nbFailedAssignments=5 nbBacktracks=13 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.046 cpuTime=0.03 mem=14M671
0.89
0.89 search
0.89 run=1 nbConstraintChecks=40038 nbPropagations=1295 nbRevisions=13768 nbUselessRevisions=11414 nbAssignments=55
0.89 nbFailedAssignments=13 nbBacktracks=29 nbVisitedNodes=82 nbRestartNogoods=1 mapSize=20 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.07 cpuTime=0.04 mem=14M671
0.91
0.91 search
0.91 run=2 nbConstraintChecks=79009 nbPropagations=2886 nbRevisions=32926 nbUselessRevisions=27132 nbAssignments=98
0.91 nbFailedAssignments=29 nbBacktracks=52 nbVisitedNodes=153 nbRestartNogoods=4 mapSize=42 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.093 cpuTime=0.06 mem=14M671
0.93
0.93 search
0.93 run=3 nbConstraintChecks=123601 nbPropagations=5344 nbRevisions=63434 nbUselessRevisions=52244
0.93 nbAssignments=154 nbFailedAssignments=45 nbBacktracks=88 nbVisitedNodes=241 nbRestartNogoods=6 mapSize=70
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.108 cpuTime=0.07 mem=14M671
0.95
0.95 search
0.95 run=4 nbConstraintChecks=201769 nbPropagations=9213 nbRevisions=114140 nbUselessRevisions=93955
0.95 nbAssignments=240 nbFailedAssignments=73 nbBacktracks=140 nbVisitedNodes=386 nbRestartNogoods=8 mapSize=114
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.13 cpuTime=0.09 mem=14M671
0.98
0.98 search
0.98 run=5 nbConstraintChecks=286366 nbPropagations=14750 nbRevisions=188488 nbUselessRevisions=155267
0.98 nbAssignments=359 nbFailedAssignments=110 nbBacktracks=217 nbVisitedNodes=581 nbRestartNogoods=11 mapSize=171
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.16 cpuTime=0.12 mem=14M671
1.03
1.03 search
1.03 run=6 nbConstraintChecks=432729 nbPropagations=22993 nbRevisions=301918 nbUselessRevisions=249073
1.03 nbAssignments=541 nbFailedAssignments=171 nbBacktracks=331 nbVisitedNodes=883 nbRestartNogoods=12 mapSize=267
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.206 cpuTime=0.16 mem=14M671
1.08
1.08 search
1.08 run=7 nbConstraintChecks=623107 nbPropagations=34939 nbRevisions=469631 nbUselessRevisions=388335
1.08 nbAssignments=797 nbFailedAssignments=248 nbBacktracks=502 nbVisitedNodes=1309 nbRestartNogoods=16 mapSize=400
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.26 cpuTime=0.21 mem=14M671
1.17
1.17 search
1.17 run=8 nbConstraintChecks=944301 nbPropagations=52759 nbRevisions=721727 nbUselessRevisions=596864
1.17 nbAssignments=1191 nbFailedAssignments=379 nbBacktracks=760 nbVisitedNodes=1971 nbRestartNogoods=23
1.17 mapSize=615 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.353 cpuTime=0.29 mem=14M671
1.31
1.31 search
1.31 run=9 nbConstraintChecks=1403487 nbPropagations=79077 nbRevisions=1100543 nbUselessRevisions=911521
1.31 nbAssignments=1761 nbFailedAssignments=557 nbBacktracks=1146 nbVisitedNodes=2922 nbRestartNogoods=26
1.31 mapSize=923 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.488 cpuTime=0.41 mem=14M671
1.35
1.35 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=14M671)
1.50
1.50 search
1.50 run=10 nbConstraintChecks=2208466 nbPropagations=119512 nbRevisions=1689969 nbUselessRevisions=1400735
1.50 nbAssignments=2659 nbFailedAssignments=870 nbBacktracks=1725 nbVisitedNodes=4446 nbRestartNogoods=32
1.50 => wckTime=0.679 cpuTime=0.59 mem=14M671
1.73
1.73 search
1.73 run=11 nbConstraintChecks=3205062 nbPropagations=178696 nbRevisions=2553735 nbUselessRevisions=2117905
1.73 nbAssignments=3959 nbFailedAssignments=1302 nbBacktracks=2589 nbVisitedNodes=6614 nbRestartNogoods=39
1.73 => wckTime=0.904 cpuTime=0.81 mem=14M671
2.07
2.07 search
2.07 run=12 nbConstraintChecks=4775106 nbPropagations=266874 nbRevisions=3848385 nbUselessRevisions=3193770
2.07 nbAssignments=5911 nbFailedAssignments=1947 nbBacktracks=3887 nbVisitedNodes=9862 nbRestartNogoods=42
2.07 => wckTime=1.253 cpuTime=1.16 mem=14M671
2.65
2.65 search
2.65 run=13 nbConstraintChecks=7427886 nbPropagations=401242 nbRevisions=5833395 nbUselessRevisions=4839404
2.65 nbAssignments=8869 nbFailedAssignments=2951 nbBacktracks=5834 nbVisitedNodes=14838 nbRestartNogoods=49
2.65 => wckTime=1.828 cpuTime=1.72 mem=14M671
3.47
3.48 search
3.48 run=14 nbConstraintChecks=11194078 nbPropagations=602832 nbRevisions=8823941 nbUselessRevisions=7319827
3.48 nbAssignments=13291 nbFailedAssignments=4447 nbBacktracks=8753 nbVisitedNodes=22276 nbRestartNogoods=54
3.48 => wckTime=2.654 cpuTime=2.54 mem=14M671
4.75
4.75 search
4.75 run=15 nbConstraintChecks=17064132 nbPropagations=908274 nbRevisions=13388687 nbUselessRevisions=11108821
4.75 nbAssignments=20015 nbFailedAssignments=6787 nbBacktracks=13133 nbVisitedNodes=33645 nbRestartNogoods=64
4.75 => wckTime=3.933 cpuTime=3.8 mem=14M671
4.89
4.89 search
4.89 run=16 nbConstraintChecks=17664528 nbPropagations=1225215 nbRevisions=18121621 nbUselessRevisions=15038188
4.89 nbAssignments=20845 nbFailedAssignments=7036 nbBacktracks=13674 nbVisitedNodes=35000 nbRestartNogoods=71
4.89 => wckTime=4.071 cpuTime=3.94 mem=14M671
4.89
4.89 global
4.89 nbConstraintChecks=17664528 nbPropagations=1225255 nbRevisions=18121621 nbUselessRevisions=15038188
4.89 nbRestartNogoods=71 solvingWckTime=4.072 solvingCpuTime=3.94 expiredTime=no totalExploration=no
4.89 nbFoundSolutions=1 globalCpuTime=4.35
4.89 => wckTime=4.569 cpuTime=4.29 mem=14M671
4.90
4.90 s SATISFIABLE
4.90 v 2 5 1 8 7 1 1 2 2 10 0 0 4 1 2 9 7 7 0 10 5 7 8 7 0 0 0 0 4 0 2 0 2 6 0 2 8 5 9 1
4.90 d NODES 20845
4.90 d CHECKS 17664528
4.90
4.90 totalWckTime=4.65 totalCpuTime=4.36
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-228079-1168080853 -o ROOT/results/node11/solver-228079-1168080853 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228079-1168080853/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.10 1.39 1.70 4/93 30458
/proc/meminfo: memFree=1591288/2055920 swapFree=4192812/4192956
[pid=30457] ppid=30455 vsize=18540 CPUtime=0
/proc/30457/stat : 30457 (runsolver) R 30455 30457 30222 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156481286 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30457/statm: 4635 279 244 17 0 2626 0
[startup+0.108069 s]
/proc/loadavg: 1.10 1.39 1.70 4/93 30458
/proc/meminfo: memFree=1591288/2055920 swapFree=4192812/4192956
[pid=30457] ppid=30455 vsize=913068 CPUtime=0.08
/proc/30457/stat : 30457 (java) S 30455 30457 30222 0 -1 0 2879 0 1 0 7 1 0 0 17 0 8 0 156481286 934981632 2625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30457/statm: 228267 2625 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.516113 s]
/proc/loadavg: 1.10 1.39 1.70 4/93 30458
/proc/meminfo: memFree=1591288/2055920 swapFree=4192812/4192956
[pid=30457] ppid=30455 vsize=915328 CPUtime=0.48
/proc/30457/stat : 30457 (java) R 30455 30457 30222 0 -1 0 6364 0 1 0 44 4 0 0 18 0 8 0 156481286 937295872 6103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30457/statm: 228832 6103 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33927 s]
/proc/loadavg: 1.10 1.39 1.70 4/100 30465
/proc/meminfo: memFree=1568000/2055920 swapFree=4192812/4192956
[pid=30457] ppid=30455 vsize=915456 CPUtime=1.3
/proc/30457/stat : 30457 (java) R 30455 30457 30222 0 -1 0 8578 0 1 0 123 7 0 0 24 0 8 0 156481286 937426944 8316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808333 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30457/statm: 228864 8316 2513 14 0 215334 0
[pid=30457/tid=30459] ppid=30455 vsize=915456 CPUtime=0.03
/proc/30457/task/30459/stat : 30459 (java) S 30455 30457 30222 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 156481290 937426944 8316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30457/tid=30460] ppid=30455 vsize=915456 CPUtime=0
/proc/30457/task/30460/stat : 30460 (java) S 30455 30457 30222 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156481291 937426944 8316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30457/tid=30461] ppid=30455 vsize=915456 CPUtime=0
/proc/30457/task/30461/stat : 30461 (java) S 30455 30457 30222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156481291 937426944 8316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30457/tid=30462] ppid=30455 vsize=915456 CPUtime=0
/proc/30457/task/30462/stat : 30462 (java) S 30455 30457 30222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156481294 937426944 8316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30457/tid=30463] ppid=30455 vsize=915456 CPUtime=0.22
/proc/30457/task/30463/stat : 30463 (java) S 30455 30457 30222 0 -1 64 386 0 0 0 21 1 0 0 15 0 8 0 156481294 937426944 8316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30457/tid=30464] ppid=30455 vsize=915456 CPUtime=0
/proc/30457/task/30464/stat : 30464 (java) S 30455 30457 30222 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156481294 937426944 8316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30457/tid=30465] ppid=30455 vsize=915456 CPUtime=0
/proc/30457/task/30465/stat : 30465 (java) S 30455 30457 30222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156481294 937426944 8316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.9916 s]
/proc/loadavg: 1.10 1.39 1.70 3/100 30465
/proc/meminfo: memFree=1567744/2055920 swapFree=4192812/4192956
[pid=30457] ppid=30455 vsize=915456 CPUtime=2.94
/proc/30457/stat : 30457 (java) R 30455 30457 30222 0 -1 0 8595 0 1 0 287 7 0 0 25 0 8 0 156481286 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30457/statm: 228864 8332 2513 14 0 215334 0
[pid=30457/tid=30459] ppid=30455 vsize=915456 CPUtime=0.03
/proc/30457/task/30459/stat : 30459 (java) S 30455 30457 30222 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 156481290 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30457/tid=30460] ppid=30455 vsize=915456 CPUtime=0
/proc/30457/task/30460/stat : 30460 (java) S 30455 30457 30222 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156481291 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30457/tid=30461] ppid=30455 vsize=915456 CPUtime=0
/proc/30457/task/30461/stat : 30461 (java) S 30455 30457 30222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156481291 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30457/tid=30462] ppid=30455 vsize=915456 CPUtime=0
/proc/30457/task/30462/stat : 30462 (java) S 30455 30457 30222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156481294 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30457/tid=30463] ppid=30455 vsize=915456 CPUtime=0.23
/proc/30457/task/30463/stat : 30463 (java) S 30455 30457 30222 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156481294 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30457/tid=30464] ppid=30455 vsize=915456 CPUtime=0
/proc/30457/task/30464/stat : 30464 (java) S 30455 30457 30222 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156481294 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30457/tid=30465] ppid=30455 vsize=915456 CPUtime=0
/proc/30457/task/30465/stat : 30465 (java) S 30455 30457 30222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156481294 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 4.94253
CPU time (s): 4.83726
CPU user time (s): 4.76128
CPU system time (s): 0.075988
CPU usage (%): 97.8702
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.76128
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= 8694
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= 1254
involuntary context switches= 1711
runsolver used 0.011998 s user time and 0.018997 s system time
The end
Begin job on node11 on Sat Jan 6 10:54:17 UTC 2007
IDJOB= 228079
IDBENCH= 6151
FILE ID= node11/228079-1168080853
PBS_JOBID= 3475869
Free space on /tmp= 66319 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-73_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228079-1168080853/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-228079-1168080853 -o ROOT/results/node11/solver-228079-1168080853 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228079-1168080853/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 18cdec4a44dbd85a17a73f80789fc1ca
RANDOM SEED= 980452405
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.261
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 : 5931.00
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.261
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: 1591832 kB
Buffers: 40936 kB
Cached: 250308 kB
SwapCached: 0 kB
Active: 163380 kB
Inactive: 216876 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1591832 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1828 kB
Writeback: 0 kB
Mapped: 118004 kB
Slab: 68392 kB
Committed_AS: 5153476 kB
PageTables: 2480 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= 66319 MiB
End job on node11 on Sat Jan 6 10:54:36 UTC 2007