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/207429-1168074306/unknown.xml
0.36
0.36 domains being loaded...
0.40
0.40 variables being loaded...
0.57 nbVariables=1250 nbDomainTypes=41 minDomainSize=42 maxDomainSize=350
0.57 => wckTime=0.263 cpuTime=0.2 mem=16M649
0.57
0.57 predicates being loaded...
0.57
0.57 constraints being loaded...
4.55
4.55 INFO : Stopping converting binary constraints (cpu=4.05, mem = 41M176)
7.35 nbConstraints=9745 nbMergedConstraints=8614 nbConvertedConstraints=98 nbConvertConstraintsChecks=5357544
7.35 nbExtensionStructures=93 nbSharedExtensionStructures=5 nbConflictsStructures=93 nbSharedConflictsStructures=5
7.35 nbSharedBinaryRepresentations=22590 nbEvaluationManagers=8589 nbSharedEvaluationManagers=1058 maxDegree=25
7.35 maxArity=2
7.35 => wckTime=7.045 cpuTime=6.5 mem=40M721
7.50
7.50 solver IterativeSystematicSolver being built...
7.88 => wckTime=7.579 cpuTime=6.79 mem=71M83
8.30
8.30 preprocessing
8.30 nbConstraintChecks=499545 nbValidityChecks=26674 nbPropagations=53 nbRevisions=1182 nbUselessRevisions=865
8.30 nbRemovedValues=14719 detectedInconsistency=yes
8.30 => wckTime=0.404 cpuTime=0.39 mem=71M83
8.30
8.30 global
8.30 nbConstraintChecks=499545 nbValidityChecks=26674 nbPropagations=53 nbRevisions=1182 nbUselessRevisions=865
8.30 nbRestartNogoods=0 solvingWckTime=0.409 solvingCpuTime=0.4 expiredTime=no totalExploration=yes
8.30 nbFoundSolutions=0 globalCpuTime=7.24
8.30 => wckTime=7.998 cpuTime=7.2 mem=71M83
8.31
8.31 s UNSATISFIABLE
8.31 d NODES 0
8.31 d CHECKS 499545
8.31
8.31 totalWckTime=8.08 totalCpuTime=7.24
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-207429-1168074306 -o ROOT/results/node23/solver-207429-1168074306 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207429-1168074306/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.98 0.99 0.99 4/81 20661
/proc/meminfo: memFree=1562160/2055920 swapFree=4192812/4192956
[pid=20660] ppid=20658 vsize=168 CPUtime=0
/proc/20660/stat : 20660 (java) R 20658 20660 20309 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 155825358 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 2494763 0 0 4096 0 0 0 0 17 1 0 0
/proc/20660/statm: 42 23 18 14 0 2 0
[startup+0.104326 s]
/proc/loadavg: 0.98 0.99 0.99 4/81 20661
/proc/meminfo: memFree=1562160/2055920 swapFree=4192812/4192956
[pid=20660] ppid=20658 vsize=914988 CPUtime=0.08
/proc/20660/stat : 20660 (java) R 20658 20660 20309 0 -1 0 3002 0 1 0 7 1 0 0 16 0 8 0 155825358 936947712 2748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20660/statm: 228747 2749 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512408 s]
/proc/loadavg: 0.98 0.99 0.99 4/81 20661
/proc/meminfo: memFree=1562160/2055920 swapFree=4192812/4192956
[pid=20660] ppid=20658 vsize=915328 CPUtime=0.48
/proc/20660/stat : 20660 (java) S 20658 20660 20309 0 -1 0 7404 0 1 0 44 4 0 0 16 0 8 0 155825358 937295872 7143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20660/statm: 228832 7143 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33456 s]
/proc/loadavg: 1.14 1.02 1.01 3/100 20713
/proc/meminfo: memFree=1480024/2055920 swapFree=4192812/4192956
[pid=20660] ppid=20658 vsize=915628 CPUtime=1.3
/proc/20660/stat : 20660 (java) R 20658 20660 20309 0 -1 0 20956 0 1 0 116 14 0 0 16 0 8 0 155825358 937603072 20693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20660/statm: 228907 20693 2160 14 0 215377 0
[pid=20660/tid=20662] ppid=20658 vsize=915628 CPUtime=0.07
/proc/20660/task/20662/stat : 20662 (java) R 20658 20660 20309 0 -1 64 4421 0 0 0 5 2 0 0 17 0 8 0 155825362 937603072 20693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20660/tid=20663] ppid=20658 vsize=915628 CPUtime=0
/proc/20660/task/20663/stat : 20663 (java) S 20658 20660 20309 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155825363 937603072 20693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20660/tid=20664] ppid=20658 vsize=915628 CPUtime=0
/proc/20660/task/20664/stat : 20664 (java) S 20658 20660 20309 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155825363 937603072 20693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20660/tid=20665] ppid=20658 vsize=915628 CPUtime=0
/proc/20660/task/20665/stat : 20665 (java) S 20658 20660 20309 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155825366 937603072 20693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20660/tid=20666] ppid=20658 vsize=915628 CPUtime=0.14
/proc/20660/task/20666/stat : 20666 (java) S 20658 20660 20309 0 -1 64 402 0 0 0 14 0 0 0 16 0 8 0 155825366 937603072 20693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20660/tid=20667] ppid=20658 vsize=915628 CPUtime=0
/proc/20660/task/20667/stat : 20667 (java) S 20658 20660 20309 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155825366 937603072 20693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20660/tid=20668] ppid=20658 vsize=915628 CPUtime=0
/proc/20660/task/20668/stat : 20668 (java) S 20658 20660 20309 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155825366 937603072 20693 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) 915628
[startup+2.98688 s]
/proc/loadavg: 1.14 1.02 1.01 4/100 20713
/proc/meminfo: memFree=1405272/2055920 swapFree=4192812/4192956
[pid=20660] ppid=20658 vsize=915628 CPUtime=2.95
/proc/20660/stat : 20660 (java) R 20658 20660 20309 0 -1 0 21030 0 1 0 281 14 0 0 17 0 8 0 155825358 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804519 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20660/statm: 228907 20766 2180 14 0 215377 0
[pid=20660/tid=20662] ppid=20658 vsize=915628 CPUtime=0.07
/proc/20660/task/20662/stat : 20662 (java) S 20658 20660 20309 0 -1 64 4421 0 0 0 5 2 0 0 17 0 8 0 155825362 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20660/tid=20663] ppid=20658 vsize=915628 CPUtime=0
/proc/20660/task/20663/stat : 20663 (java) S 20658 20660 20309 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155825363 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20660/tid=20664] ppid=20658 vsize=915628 CPUtime=0
/proc/20660/task/20664/stat : 20664 (java) S 20658 20660 20309 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155825363 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20660/tid=20665] ppid=20658 vsize=915628 CPUtime=0
/proc/20660/task/20665/stat : 20665 (java) S 20658 20660 20309 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155825366 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20660/tid=20666] ppid=20658 vsize=915628 CPUtime=0.17
/proc/20660/task/20666/stat : 20666 (java) S 20658 20660 20309 0 -1 64 415 0 0 0 16 1 0 0 15 0 8 0 155825366 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20660/tid=20667] ppid=20658 vsize=915628 CPUtime=0
/proc/20660/task/20667/stat : 20667 (java) S 20658 20660 20309 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155825366 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20660/tid=20668] ppid=20658 vsize=915628 CPUtime=0
/proc/20660/task/20668/stat : 20668 (java) S 20658 20660 20309 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155825366 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915628
[startup+6.27152 s]
/proc/loadavg: 1.14 1.02 1.01 3/100 20713
/proc/meminfo: memFree=1397288/2055920 swapFree=4192812/4192956
[pid=20660] ppid=20658 vsize=915628 CPUtime=6.23
/proc/20660/stat : 20660 (java) R 20658 20660 20309 0 -1 0 23796 0 1 0 608 15 0 0 23 0 8 0 155825358 937603072 23529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153901235 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20660/statm: 228907 23529 2182 14 0 215377 0
[pid=20660/tid=20662] ppid=20658 vsize=915628 CPUtime=0.24
/proc/20660/task/20662/stat : 20662 (java) S 20658 20660 20309 0 -1 64 7159 0 0 0 21 3 0 0 16 0 8 0 155825362 937603072 23529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20660/tid=20663] ppid=20658 vsize=915628 CPUtime=0
/proc/20660/task/20663/stat : 20663 (java) S 20658 20660 20309 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155825363 937603072 23529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20660/tid=20664] ppid=20658 vsize=915628 CPUtime=0
/proc/20660/task/20664/stat : 20664 (java) S 20658 20660 20309 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155825363 937603072 23529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20660/tid=20665] ppid=20658 vsize=915628 CPUtime=0
/proc/20660/task/20665/stat : 20665 (java) S 20658 20660 20309 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155825366 937603072 23529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20660/tid=20666] ppid=20658 vsize=915628 CPUtime=0.2
/proc/20660/task/20666/stat : 20666 (java) S 20658 20660 20309 0 -1 64 439 0 0 0 19 1 0 0 15 0 8 0 155825366 937603072 23529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20660/tid=20667] ppid=20658 vsize=915628 CPUtime=0
/proc/20660/task/20667/stat : 20667 (java) S 20658 20660 20309 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155825366 937603072 23529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20660/tid=20668] ppid=20658 vsize=915628 CPUtime=0
/proc/20660/task/20668/stat : 20668 (java) S 20658 20660 20309 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155825366 937603072 23529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915628
Child status: 0
Real time (s): 8.37901
CPU time (s): 8.30374
CPU user time (s): 8.08577
CPU system time (s): 0.217966
CPU usage (%): 99.1016
Max. virtual memory (cumulated for all children) (KiB): 915628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.08577
system time used= 0.217966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29987
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= 1337
involuntary context switches= 945
runsolver used 0.006998 s user time and 0.036994 s system time
The end
Begin job on node23 on Sat Jan 6 09:05:08 UTC 2007
IDJOB= 207429
IDBENCH= 4290
FILE ID= node23/207429-1168074306
PBS_JOBID= 3476015
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test04/test04-1250-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207429-1168074306/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-207429-1168074306 -o ROOT/results/node23/solver-207429-1168074306 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207429-1168074306/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4a14d2a0db6e7c48172ae7be2de8a6a3
RANDOM SEED= 543591131
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: 1562640 kB
Buffers: 43232 kB
Cached: 312476 kB
SwapCached: 0 kB
Active: 122864 kB
Inactive: 293476 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1562640 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4392 kB
Writeback: 0 kB
Mapped: 79592 kB
Slab: 62088 kB
Committed_AS: 2939256 kB
PageTables: 2124 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= 66543 MiB
End job on node23 on Sat Jan 6 09:05:18 UTC 2007