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/211668-1168075838/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.68 nbVariables=8411 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2
0.68 => wckTime=0.353 cpuTime=0.27 mem=24M441
0.68
0.68 predicates being loaded...
1.09
1.09 constraints being loaded...
4.73
4.73 INFO : Stopping converting binary constraints (cpu=4.01, mem = 34M761)
4.81 nbConstraints=1402 nbMergedConstraints=1807 nbSingletonDomainVariables=4478 nbConvertedConstraints=96
4.81 nbConvertConstraintsChecks=137565 nbExtensionStructures=4 nbSharedExtensionStructures=92
4.81 nbConflictsStructures=44 nbSharedConflictsStructures=735 nbUnbuiltConflictsStructures=75
4.81 nbSharedBinaryRepresentations=12 nbEvaluationManagers=120 nbSharedEvaluationManagers=1186 maxDegree=66
4.81 maxArity=270
4.81 => wckTime=4.485 cpuTime=4.04 mem=68M348
4.91
4.91 solver IterativeSystematicSolver being built...
5.48 => wckTime=5.152 cpuTime=4.53 mem=101M23
7.14
7.14 preprocessing
7.14 nbConstraintChecks=284545 nbValidityChecks=303 nbPropagations=1 nbRevisions=305 nbUselessRevisions=304
7.14 nbRemovedValues=2 detectedInconsistency=yes
7.14 => wckTime=1.652 cpuTime=1.61 mem=59M822
7.14
7.14 global
7.14 nbConstraintChecks=284545 nbValidityChecks=303 nbPropagations=1 nbRevisions=305 nbUselessRevisions=304
7.14 nbRestartNogoods=0 solvingWckTime=1.655 solvingCpuTime=1.61 expiredTime=no totalExploration=yes
7.14 nbFoundSolutions=0 globalCpuTime=6.18
7.14 => wckTime=6.815 cpuTime=6.14 mem=59M822
7.15
7.15 s UNSATISFIABLE
7.15 d NODES 0
7.15 d CHECKS 284545
7.15
7.15 totalWckTime=6.894 totalCpuTime=6.19
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-211668-1168075838 -o ROOT/results/node44/solver-211668-1168075838 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211668-1168075838/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.92 0.99 1.22 4/65 9545
/proc/meminfo: memFree=1645152/2055920 swapFree=4192812/4192956
[pid=9544] ppid=9542 vsize=308 CPUtime=0
/proc/9544/stat : 9544 (java) R 9542 9544 8872 0 -1 0 54 0 0 0 0 0 0 0 19 0 1 0 155983039 315392 37 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 11283085 0 0 4096 0 0 0 0 17 1 0 0
/proc/9544/statm: 77 40 31 14 0 5 0
[startup+0.105539 s]
/proc/loadavg: 0.92 0.99 1.22 4/65 9545
/proc/meminfo: memFree=1645152/2055920 swapFree=4192812/4192956
[pid=9544] ppid=9542 vsize=915848 CPUtime=0.08
/proc/9544/stat : 9544 (java) D 9542 9544 8872 0 -1 0 2985 0 1 0 7 1 0 0 17 0 8 0 155983039 937828352 2731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9544/statm: 228962 2731 1426 14 0 215457 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 915848
[startup+0.513584 s]
/proc/loadavg: 0.92 0.99 1.22 4/65 9545
/proc/meminfo: memFree=1645152/2055920 swapFree=4192812/4192956
[pid=9544] ppid=9542 vsize=916076 CPUtime=0.46
/proc/9544/stat : 9544 (java) S 9542 9544 8872 0 -1 0 6630 0 1 0 42 4 0 0 16 0 8 0 155983039 938061824 6369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9544/statm: 229019 6369 2136 14 0 215489 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 916076
[startup+1.33567 s]
/proc/loadavg: 0.92 0.99 1.22 2/72 9552
/proc/meminfo: memFree=1584040/2055920 swapFree=4192812/4192956
[pid=9544] ppid=9542 vsize=916232 CPUtime=1.28
/proc/9544/stat : 9544 (java) R 9542 9544 8872 0 -1 0 18734 0 1 0 118 10 0 0 17 0 8 0 155983039 938221568 18470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073551003 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9544/statm: 229058 18470 2160 14 0 215528 0
[pid=9544/tid=9546] ppid=9542 vsize=916232 CPUtime=0.07
/proc/9544/task/9546/stat : 9546 (java) S 9542 9544 8872 0 -1 64 2170 0 0 0 6 1 0 0 16 0 8 0 155983043 938221568 18470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9544/tid=9547] ppid=9542 vsize=916232 CPUtime=0
/proc/9544/task/9547/stat : 9547 (java) S 9542 9544 8872 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155983044 938221568 18470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9544/tid=9548] ppid=9542 vsize=916232 CPUtime=0
/proc/9544/task/9548/stat : 9548 (java) S 9542 9544 8872 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155983044 938221568 18470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9544/tid=9549] ppid=9542 vsize=916232 CPUtime=0
/proc/9544/task/9549/stat : 9549 (java) S 9542 9544 8872 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155983047 938221568 18470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9544/tid=9550] ppid=9542 vsize=916232 CPUtime=0.16
/proc/9544/task/9550/stat : 9550 (java) S 9542 9544 8872 0 -1 64 416 0 0 0 16 0 0 0 16 0 8 0 155983047 938221568 18470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9544/tid=9551] ppid=9542 vsize=916232 CPUtime=0
/proc/9544/task/9551/stat : 9551 (java) S 9542 9544 8872 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155983047 938221568 18470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9544/tid=9552] ppid=9542 vsize=916232 CPUtime=0
/proc/9544/task/9552/stat : 9552 (java) S 9542 9544 8872 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155983047 938221568 18470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 916232
[startup+2.98783 s]
/proc/loadavg: 0.92 0.99 1.22 2/72 9552
/proc/meminfo: memFree=1575144/2055920 swapFree=4192812/4192956
[pid=9544] ppid=9542 vsize=916356 CPUtime=2.93
/proc/9544/stat : 9544 (java) R 9542 9544 8872 0 -1 0 21547 0 1 0 279 14 0 0 17 0 8 0 155983039 938348544 21265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841383 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9544/statm: 229089 21265 2180 14 0 215559 0
[pid=9544/tid=9546] ppid=9542 vsize=916356 CPUtime=0.17
/proc/9544/task/9546/stat : 9546 (java) S 9542 9544 8872 0 -1 64 4876 0 0 0 15 2 0 0 16 0 8 0 155983043 938348544 21265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9544/tid=9547] ppid=9542 vsize=916356 CPUtime=0
/proc/9544/task/9547/stat : 9547 (java) S 9542 9544 8872 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155983044 938348544 21265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9544/tid=9548] ppid=9542 vsize=916356 CPUtime=0
/proc/9544/task/9548/stat : 9548 (java) S 9542 9544 8872 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155983044 938348544 21265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9544/tid=9549] ppid=9542 vsize=916356 CPUtime=0
/proc/9544/task/9549/stat : 9549 (java) S 9542 9544 8872 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155983047 938348544 21265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9544/tid=9550] ppid=9542 vsize=916356 CPUtime=0.2
/proc/9544/task/9550/stat : 9550 (java) S 9542 9544 8872 0 -1 64 448 0 0 0 20 0 0 0 15 0 8 0 155983047 938348544 21265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9544/tid=9551] ppid=9542 vsize=916356 CPUtime=0
/proc/9544/task/9551/stat : 9551 (java) S 9542 9544 8872 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155983047 938348544 21265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9544/tid=9552] ppid=9542 vsize=916356 CPUtime=0
/proc/9544/task/9552/stat : 9552 (java) S 9542 9544 8872 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155983047 938348544 21265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 916356
[startup+6.28917 s]
/proc/loadavg: 0.93 0.99 1.22 2/72 9552
/proc/meminfo: memFree=1525544/2055920 swapFree=4192812/4192956
[pid=9544] ppid=9542 vsize=916424 CPUtime=6.23
/proc/9544/stat : 9544 (java) R 9542 9544 8872 0 -1 0 32579 0 1 0 601 22 0 0 17 0 8 0 155983039 938418176 32284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836868 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9544/statm: 229106 32284 2527 14 0 215576 0
[pid=9544/tid=9546] ppid=9542 vsize=916424 CPUtime=0.41
/proc/9544/task/9546/stat : 9546 (java) S 9542 9544 8872 0 -1 64 15436 0 0 0 35 6 0 0 16 0 8 0 155983043 938418176 32284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9544/tid=9547] ppid=9542 vsize=916424 CPUtime=0
/proc/9544/task/9547/stat : 9547 (java) S 9542 9544 8872 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155983044 938418176 32284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9544/tid=9548] ppid=9542 vsize=916424 CPUtime=0
/proc/9544/task/9548/stat : 9548 (java) S 9542 9544 8872 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155983044 938418176 32284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9544/tid=9549] ppid=9542 vsize=916424 CPUtime=0
/proc/9544/task/9549/stat : 9549 (java) S 9542 9544 8872 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155983047 938418176 32284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9544/tid=9550] ppid=9542 vsize=916424 CPUtime=0.3
/proc/9544/task/9550/stat : 9550 (java) S 9542 9544 8872 0 -1 64 498 0 0 0 28 2 0 0 16 0 8 0 155983047 938418176 32284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9544/tid=9551] ppid=9542 vsize=916424 CPUtime=0
/proc/9544/task/9551/stat : 9551 (java) S 9542 9544 8872 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155983047 938418176 32284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9544/tid=9552] ppid=9542 vsize=916424 CPUtime=0
/proc/9544/task/9552/stat : 9552 (java) S 9542 9544 8872 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155983047 938418176 32284 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) 916424
Child status: 0
Real time (s): 7.18088
CPU time (s): 7.12692
CPU user time (s): 6.87595
CPU system time (s): 0.250961
CPU usage (%): 99.2485
Max. virtual memory (cumulated for all children) (KiB): 916516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.87595
system time used= 0.250961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32591
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= 1222
involuntary context switches= 332
runsolver used 0.008998 s user time and 0.023996 s system time
The end
Begin job on node44 on Sat Jan 6 09:30:40 UTC 2007
IDJOB= 211668
IDBENCH= 4712
FILE ID= node44/211668-1168075838
PBS_JOBID= 3475971
Free space on /tmp= 66538 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-neos20.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211668-1168075838/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-211668-1168075838 -o ROOT/results/node44/solver-211668-1168075838 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211668-1168075838/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ad8ca07b5db74c307d79945a4c71bcdb
RANDOM SEED= 363629948
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.213
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.213
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: 1645632 kB
Buffers: 20280 kB
Cached: 306052 kB
SwapCached: 0 kB
Active: 61352 kB
Inactive: 280792 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1645632 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3164 kB
Writeback: 0 kB
Mapped: 25964 kB
Slab: 54224 kB
Committed_AS: 2889356 kB
PageTables: 1396 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= 66538 MiB
End job on node44 on Sat Jan 6 09:30:49 UTC 2007