0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/234534-1168081579/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=25 nbDomainTypes=25 minDomainSize=192 maxDomainSize=287
0.43 => wckTime=0.108 cpuTime=0.1 mem=6M919
0.43
0.43 predicates being loaded...
0.44
0.44 constraints being loaded...
2.15 nbConstraints=100 nbConvertedConstraints=100 nbConvertConstraintsChecks=5482843 nbExtensionStructures=100
2.15 nbSharedExtensionStructures=0 nbConflictsStructures=100 nbSharedConflictsStructures=0
2.15 nbSharedBinaryRepresentations=19698 maxDegree=8 maxArity=2
2.15 => wckTime=1.828 cpuTime=1.75 mem=13M943
2.20
2.20 solver IterativeSystematicSolver being built...
2.36 => wckTime=2.037 cpuTime=1.87 mem=15M547
2.37
2.37 preprocessing
2.37 nbConstraintChecks=0 nbPropagations=25 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.37 detectedInconsistency=no
2.37 => wckTime=0.0020 cpuTime=0.0 mem=15M547
2.49
2.49 search
2.49 run=0 nbConstraintChecks=1753525 nbPropagations=1242 nbRevisions=3955 nbUselessRevisions=1485
2.49 nbAssignments=154 nbFailedAssignments=143 nbBacktracks=10 nbVisitedNodes=308 nbRestartNogoods=0 mapSize=10
2.49 nbInferences=0 nbTooLargeKeys=0
2.49 => wckTime=0.128 cpuTime=0.08 mem=15M547
2.59
2.59 search
2.59 run=1 nbConstraintChecks=4324423 nbPropagations=4272 nbRevisions=14142 nbUselessRevisions=5282
2.59 nbAssignments=393 nbFailedAssignments=366 nbBacktracks=25 nbVisitedNodes=785 nbRestartNogoods=10 mapSize=25
2.59 nbInferences=0 nbTooLargeKeys=0
2.59 => wckTime=0.229 cpuTime=0.17 mem=16M522
2.82
2.82 search
2.82 run=2 nbConstraintChecks=10117016 nbPropagations=12144 nbRevisions=39768 nbUselessRevisions=14528
2.82 nbAssignments=1010 nbFailedAssignments=960 nbBacktracks=47 nbVisitedNodes=2018 nbRestartNogoods=17 mapSize=47
2.82 nbInferences=0 nbTooLargeKeys=0
2.82 => wckTime=0.459 cpuTime=0.4 mem=16M522
2.98
2.98 search
2.98 run=3 nbConstraintChecks=14558108 nbPropagations=23273 nbRevisions=76272 nbUselessRevisions=27807
2.98 nbAssignments=1391 nbFailedAssignments=1307 nbBacktracks=80 nbVisitedNodes=2779 nbRestartNogoods=24 mapSize=80
2.98 nbInferences=0 nbTooLargeKeys=0
2.98 => wckTime=0.617 cpuTime=0.55 mem=16M522
3.23
3.23 search
3.23 run=4 nbConstraintChecks=20978182 nbPropagations=39441 nbRevisions=129728 nbUselessRevisions=47306
3.23 nbAssignments=1985 nbFailedAssignments=1850 nbBacktracks=130 nbVisitedNodes=3966 nbRestartNogoods=28
3.23 mapSize=130 nbInferences=0 nbTooLargeKeys=0
3.23 => wckTime=0.862 cpuTime=0.77 mem=16M522
3.61
3.61 search
3.61 run=5 nbConstraintChecks=31795188 nbPropagations=63735 nbRevisions=210749 nbUselessRevisions=76923
3.61 nbAssignments=2960 nbFailedAssignments=2749 nbBacktracks=205 nbVisitedNodes=5915 nbRestartNogoods=29
3.61 mapSize=205 nbInferences=0 nbTooLargeKeys=0
3.61 => wckTime=1.246 cpuTime=1.15 mem=16M522
5.60
5.60 search
5.60 run=6 nbConstraintChecks=87121667 nbPropagations=127883 nbRevisions=430803 nbUselessRevisions=156639
5.60 nbAssignments=8069 nbFailedAssignments=7745 nbBacktracks=318 nbVisitedNodes=16133 nbRestartNogoods=34
5.60 mapSize=318 nbInferences=0 nbTooLargeKeys=0
5.60 => wckTime=3.236 cpuTime=3.12 mem=16M522
6.45
6.45 search
6.45 run=7 nbConstraintChecks=110303884 nbPropagations=205763 nbRevisions=707496 nbUselessRevisions=257191
6.45 nbAssignments=10258 nbFailedAssignments=9847 nbBacktracks=406 nbVisitedNodes=20510 nbRestartNogoods=34
6.45 mapSize=405 nbInferences=0 nbTooLargeKeys=0
6.45 => wckTime=4.08 cpuTime=3.95 mem=16M522
6.45
6.45 global
6.45 nbConstraintChecks=110303884 nbPropagations=205788 nbRevisions=707496 nbUselessRevisions=257191
6.45 nbRestartNogoods=34 solvingWckTime=4.081 solvingCpuTime=3.95 expiredTime=no totalExploration=yes
6.45 nbFoundSolutions=0 globalCpuTime=5.88
6.45 => wckTime=6.122 cpuTime=5.83 mem=16M522
6.45
6.45 s UNSATISFIABLE
6.45 d NODES 10258
6.45 d CHECKS 110303884
6.45
6.45 totalWckTime=6.212 totalCpuTime=5.89
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-234534-1168081579 -o ROOT/results/node22/solver-234534-1168081579 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/234534-1168081579/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.85 1.95 1.84 4/93 9816
/proc/meminfo: memFree=1503384/2055920 swapFree=4157532/4192956
[pid=9815] ppid=9813 vsize=18540 CPUtime=0
/proc/9815/stat : 9815 (runsolver) R 9813 9815 9692 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156552336 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 272467815719 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/9815/statm: 4635 279 244 17 0 2626 0
[startup+0.110509 s]
/proc/loadavg: 1.85 1.95 1.84 4/93 9816
/proc/meminfo: memFree=1503384/2055920 swapFree=4157532/4192956
[pid=9815] ppid=9813 vsize=914988 CPUtime=0.09
/proc/9815/stat : 9815 (java) R 9813 9815 9692 0 -1 0 3031 0 1 0 8 1 0 0 17 0 8 0 156552336 936947712 2777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155184917 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9815/statm: 228747 2777 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.52257 s]
/proc/loadavg: 1.85 1.95 1.84 4/93 9816
/proc/meminfo: memFree=1503384/2055920 swapFree=4157532/4192956
[pid=9815] ppid=9813 vsize=915460 CPUtime=0.5
/proc/9815/stat : 9815 (java) R 9813 9815 9692 0 -1 0 6511 0 1 0 46 4 0 0 18 0 8 0 156552336 937431040 6250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072927925 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9815/statm: 228865 6250 2165 14 0 215335 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915460
[startup+1.3477 s]
/proc/loadavg: 1.85 1.95 1.84 3/100 9823
/proc/meminfo: memFree=1484960/2055920 swapFree=4157532/4192956
[pid=9815] ppid=9813 vsize=915460 CPUtime=1.31
/proc/9815/stat : 9815 (java) R 9813 9815 9692 0 -1 0 7163 0 1 0 127 4 0 0 24 0 8 0 156552336 937431040 6901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153901713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9815/statm: 228865 6901 2167 14 0 215335 0
[pid=9815/tid=9817] ppid=9813 vsize=915460 CPUtime=0
/proc/9815/task/9817/stat : 9817 (java) S 9813 9815 9692 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156552340 937431040 6901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9815/tid=9818] ppid=9813 vsize=915460 CPUtime=0
/proc/9815/task/9818/stat : 9818 (java) S 9813 9815 9692 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156552341 937431040 6901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9815/tid=9819] ppid=9813 vsize=915460 CPUtime=0
/proc/9815/task/9819/stat : 9819 (java) S 9813 9815 9692 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156552341 937431040 6901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9815/tid=9820] ppid=9813 vsize=915460 CPUtime=0
/proc/9815/task/9820/stat : 9820 (java) S 9813 9815 9692 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156552344 937431040 6901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9815/tid=9821] ppid=9813 vsize=915460 CPUtime=0.1
/proc/9815/task/9821/stat : 9821 (java) S 9813 9815 9692 0 -1 64 314 0 0 0 10 0 0 0 16 0 8 0 156552344 937431040 6901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9815/tid=9822] ppid=9813 vsize=915460 CPUtime=0
/proc/9815/task/9822/stat : 9822 (java) S 9813 9815 9692 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156552344 937431040 6901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9815/tid=9823] ppid=9813 vsize=915460 CPUtime=0
/proc/9815/task/9823/stat : 9823 (java) S 9813 9815 9692 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156552344 937431040 6901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.98495 s]
/proc/loadavg: 1.85 1.95 1.84 3/100 9823
/proc/meminfo: memFree=1478944/2055920 swapFree=4157532/4192956
[pid=9815] ppid=9813 vsize=915460 CPUtime=2.94
/proc/9815/stat : 9815 (java) R 9813 9815 9692 0 -1 0 8904 0 1 0 287 7 0 0 25 0 8 0 156552336 937431040 8641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073742806 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9815/statm: 228865 8641 2530 14 0 215335 0
[pid=9815/tid=9817] ppid=9813 vsize=915460 CPUtime=0.03
/proc/9815/task/9817/stat : 9817 (java) S 9813 9815 9692 0 -1 64 659 0 0 0 3 0 0 0 16 0 8 0 156552340 937431040 8641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9815/tid=9818] ppid=9813 vsize=915460 CPUtime=0
/proc/9815/task/9818/stat : 9818 (java) S 9813 9815 9692 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156552341 937431040 8641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9815/tid=9819] ppid=9813 vsize=915460 CPUtime=0
/proc/9815/task/9819/stat : 9819 (java) S 9813 9815 9692 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156552341 937431040 8641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9815/tid=9820] ppid=9813 vsize=915460 CPUtime=0
/proc/9815/task/9820/stat : 9820 (java) S 9813 9815 9692 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156552344 937431040 8641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9815/tid=9821] ppid=9813 vsize=915460 CPUtime=0.21
/proc/9815/task/9821/stat : 9821 (java) S 9813 9815 9692 0 -1 64 359 0 0 0 20 1 0 0 15 0 8 0 156552344 937431040 8641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9815/tid=9822] ppid=9813 vsize=915460 CPUtime=0
/proc/9815/task/9822/stat : 9822 (java) S 9813 9815 9692 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156552344 937431040 8641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9815/tid=9823] ppid=9813 vsize=915460 CPUtime=0
/proc/9815/task/9823/stat : 9823 (java) S 9813 9815 9692 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156552344 937431040 8641 18446744073709551615 134512640 134570532 4294956480 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) 915460
[startup+6.28245 s]
/proc/loadavg: 1.86 1.95 1.84 3/100 9823
/proc/meminfo: memFree=1478432/2055920 swapFree=4157532/4192956
[pid=9815] ppid=9813 vsize=915460 CPUtime=6.21
/proc/9815/stat : 9815 (java) R 9813 9815 9692 0 -1 0 8970 0 1 0 614 7 0 0 25 0 8 0 156552336 937431040 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073724881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9815/statm: 228865 8705 2530 14 0 215335 0
[pid=9815/tid=9817] ppid=9813 vsize=915460 CPUtime=0.03
/proc/9815/task/9817/stat : 9817 (java) S 9813 9815 9692 0 -1 64 659 0 0 0 3 0 0 0 16 0 8 0 156552340 937431040 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9815/tid=9818] ppid=9813 vsize=915460 CPUtime=0
/proc/9815/task/9818/stat : 9818 (java) S 9813 9815 9692 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156552341 937431040 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9815/tid=9819] ppid=9813 vsize=915460 CPUtime=0
/proc/9815/task/9819/stat : 9819 (java) S 9813 9815 9692 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156552341 937431040 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9815/tid=9820] ppid=9813 vsize=915460 CPUtime=0
/proc/9815/task/9820/stat : 9820 (java) S 9813 9815 9692 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156552344 937431040 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9815/tid=9821] ppid=9813 vsize=915460 CPUtime=0.23
/proc/9815/task/9821/stat : 9821 (java) S 9813 9815 9692 0 -1 64 370 0 0 0 22 1 0 0 16 0 8 0 156552344 937431040 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9815/tid=9822] ppid=9813 vsize=915460 CPUtime=0
/proc/9815/task/9822/stat : 9822 (java) S 9813 9815 9692 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156552344 937431040 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9815/tid=9823] ppid=9813 vsize=915460 CPUtime=0
/proc/9815/task/9823/stat : 9823 (java) S 9813 9815 9692 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156552344 937431040 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 6.50005
CPU time (s): 6.38903
CPU user time (s): 6.31304
CPU system time (s): 0.075988
CPU usage (%): 98.292
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.31304
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= 9063
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= 1032
involuntary context switches= 1519
runsolver used 0.008998 s user time and 0.029995 s system time
The end
Begin job on node22 on Sat Jan 6 11:06:19 UTC 2007
IDJOB= 234534
IDBENCH= 6694
FILE ID= node22/234534-1168081579
PBS_JOBID= 3476238
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-5/os-taillard-5-95-6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/234534-1168081579/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-234534-1168081579 -o ROOT/results/node22/solver-234534-1168081579 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/234534-1168081579/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1fe56784646537c7e125bf7c53b21105
RANDOM SEED= 660937148
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.279
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.279
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: 1503800 kB
Buffers: 40668 kB
Cached: 337160 kB
SwapCached: 13648 kB
Active: 158820 kB
Inactive: 325924 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1503800 kB
SwapTotal: 4192956 kB
SwapFree: 4157532 kB
Dirty: 2000 kB
Writeback: 0 kB
Mapped: 132244 kB
Slab: 51908 kB
Committed_AS: 3445656 kB
PageTables: 2448 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= 66547 MiB
End job on node22 on Sat Jan 6 11:06:26 UTC 2007