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/247321-1168085820/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.39 => wckTime=0.093 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.60
0.60 constraints being loaded...
0.70 nbConstraints=5 nbRelationTypes=5 nbSingletonDomainVariables=1 nbDisconnectedVariables=1
0.70 nbExtensionStructures=5 nbSharedExtensionStructures=0 nbUnbuiltConflictsStructures=5
0.70 nbSharedBinaryRepresentations=0 maxDegree=4 maxArity=10
0.70 => wckTime=0.401 cpuTime=0.37 mem=37M911
0.76
0.76 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.617 cpuTime=0.49 mem=19M563
0.92
0.92 preprocessing
0.92 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.92 detectedInconsistency=no
0.92 => wckTime=0.0010 cpuTime=0.0 mem=19M563
0.95
0.95 search
0.95 run=0 nbConstraintChecks=3901 nbValidityChecks=4502 nbPropagations=157 nbRevisions=156 nbUselessRevisions=14
0.95 nbAssignments=37 nbFailedAssignments=25 nbBacktracks=10 nbVisitedNodes=63 nbRestartNogoods=0 mapSize=10
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.035 cpuTime=0.03 mem=20M567
1.01
1.01 search
1.01 run=1 nbConstraintChecks=25534 nbValidityChecks=32305 nbPropagations=602 nbRevisions=992 nbUselessRevisions=40
1.01 nbAssignments=184 nbFailedAssignments=155 nbBacktracks=25 nbVisitedNodes=340 nbRestartNogoods=2 mapSize=25
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.097 cpuTime=0.07 mem=20M567
1.08
1.08 search
1.08 run=2 nbConstraintChecks=57062 nbValidityChecks=71509 nbPropagations=1474 nbRevisions=2712
1.08 nbUselessRevisions=69 nbAssignments=408 nbFailedAssignments=355 nbBacktracks=47 nbVisitedNodes=764
1.08 nbRestartNogoods=7 mapSize=47 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.162 cpuTime=0.12 mem=20M567
1.16
1.16 search
1.16 run=3 nbConstraintChecks=105387 nbValidityChecks=131655 nbPropagations=2983 nbRevisions=5782
1.16 nbUselessRevisions=100 nbAssignments=743 nbFailedAssignments=655 nbBacktracks=80 nbVisitedNodes=1399
1.16 nbRestartNogoods=13 mapSize=80 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.246 cpuTime=0.2 mem=20M567
1.28
1.28 search
1.28 run=4 nbConstraintChecks=178556 nbValidityChecks=223366 nbPropagations=5446 nbRevisions=10970
1.28 nbUselessRevisions=131 nbAssignments=1245 nbFailedAssignments=1105 nbBacktracks=130 nbVisitedNodes=2351
1.28 nbRestartNogoods=20 mapSize=130 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.358 cpuTime=0.3 mem=20M567
1.46
1.46 search
1.46 run=5 nbConstraintChecks=302233 nbValidityChecks=375851 nbPropagations=9347 nbRevisions=19430
1.46 nbUselessRevisions=166 nbAssignments=2002 nbFailedAssignments=1785 nbBacktracks=205 nbVisitedNodes=3788
1.46 nbRestartNogoods=29 mapSize=204 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.542 cpuTime=0.47 mem=20M567
1.71
1.71 search
1.71 run=6 nbConstraintChecks=487733 nbValidityChecks=605546 nbPropagations=15405 nbRevisions=32882
1.71 nbUselessRevisions=206 nbAssignments=3137 nbFailedAssignments=2805 nbBacktracks=318 nbVisitedNodes=5943
1.71 nbRestartNogoods=43 mapSize=317 nbInferences=0 nbTooLargeKeys=0
1.71 => wckTime=0.788 cpuTime=0.72 mem=20M567
2.07
2.07 search
2.07 run=7 nbConstraintChecks=761021 nbValidityChecks=943839 nbPropagations=24651 nbRevisions=53716
2.07 nbUselessRevisions=289 nbAssignments=4809 nbFailedAssignments=4305 nbBacktracks=488 nbVisitedNodes=9115
2.07 nbRestartNogoods=59 mapSize=484 nbInferences=0 nbTooLargeKeys=0
2.07 => wckTime=1.148 cpuTime=1.08 mem=20M567
2.60
2.60 search
2.60 run=8 nbConstraintChecks=1170995 nbValidityChecks=1452708 nbPropagations=38777 nbRevisions=85734
2.60 nbUselessRevisions=390 nbAssignments=7377 nbFailedAssignments=6615 nbBacktracks=745 nbVisitedNodes=13993
2.60 nbRestartNogoods=70 mapSize=740 nbInferences=0 nbTooLargeKeys=0
2.60 => wckTime=1.685 cpuTime=1.61 mem=20M567
3.25
3.25 INFO : Stopping hyperNogood (mapSize=1042, nbTooLargekeys=0, mem=20M567)
3.40
3.40 search
3.40 run=9 nbConstraintChecks=1790041 nbValidityChecks=2219761 nbPropagations=60099 nbRevisions=134684
3.40 nbUselessRevisions=551 nbAssignments=11158 nbFailedAssignments=10015 nbBacktracks=1127 nbVisitedNodes=21173
3.40 nbRestartNogoods=76
3.40 => wckTime=2.487 cpuTime=2.41 mem=20M567
3.41
3.41 global
3.41 nbConstraintChecks=1790041 nbValidityChecks=2219761 nbPropagations=60119 nbRevisions=134684
3.41 nbUselessRevisions=551 nbRestartNogoods=76 solvingWckTime=2.488 solvingCpuTime=2.41 expiredTime=no
3.41 totalExploration=yes nbFoundSolutions=0 globalCpuTime=2.94
3.41 => wckTime=3.107 cpuTime=2.9 mem=20M567
3.41
3.41 s UNSATISFIABLE
3.41 d NODES 11158
3.41 d CHECKS 1790041
3.41
3.41 totalWckTime=3.183 totalCpuTime=2.94
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-247321-1168085820 -o ROOT/results/node42/solver-247321-1168085820 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247321-1168085820/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.00 0.27 0.97 3/65 27602
/proc/meminfo: memFree=1586824/2055920 swapFree=4191892/4192956
[pid=27601] ppid=27599 vsize=1784 CPUtime=0
/proc/27601/stat : 27601 (java) D 27599 27601 27249 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 156982256 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/27601/statm: 446 136 102 14 0 91 0
[startup+0.106499 s]
/proc/loadavg: 0.00 0.27 0.97 3/65 27602
/proc/meminfo: memFree=1586824/2055920 swapFree=4191892/4192956
[pid=27601] ppid=27599 vsize=914988 CPUtime=0.08
/proc/27601/stat : 27601 (java) R 27599 27601 27249 0 -1 0 3034 0 1 0 7 1 0 0 21 0 8 0 156982256 936947712 2780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27601/statm: 228747 2781 1441 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51455 s]
/proc/loadavg: 0.00 0.27 0.97 3/65 27602
/proc/meminfo: memFree=1586824/2055920 swapFree=4191892/4192956
[pid=27601] ppid=27599 vsize=915328 CPUtime=0.48
/proc/27601/stat : 27601 (java) R 27599 27601 27249 0 -1 0 8712 0 1 0 45 3 0 0 17 0 8 0 156982256 937295872 8451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073556629 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27601/statm: 228832 8451 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33463 s]
/proc/loadavg: 0.00 0.27 0.97 2/72 27609
/proc/meminfo: memFree=1534736/2055920 swapFree=4191892/4192956
[pid=27601] ppid=27599 vsize=915460 CPUtime=1.3
/proc/27601/stat : 27601 (java) R 27599 27601 27249 0 -1 0 15782 0 1 0 122 8 0 0 16 0 8 0 156982256 937431040 15520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073341397 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27601/statm: 228865 15520 2518 14 0 215335 0
[pid=27601/tid=27603] ppid=27599 vsize=915460 CPUtime=0.04
/proc/27601/task/27603/stat : 27603 (java) S 27599 27601 27249 0 -1 64 1534 0 0 0 4 0 0 0 16 0 8 0 156982260 937431040 15520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27601/tid=27604] ppid=27599 vsize=915460 CPUtime=0
/proc/27601/task/27604/stat : 27604 (java) S 27599 27601 27249 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156982260 937431040 15520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27601/tid=27605] ppid=27599 vsize=915460 CPUtime=0
/proc/27601/task/27605/stat : 27605 (java) S 27599 27601 27249 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156982260 937431040 15520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27601/tid=27606] ppid=27599 vsize=915460 CPUtime=0
/proc/27601/task/27606/stat : 27606 (java) S 27599 27601 27249 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156982264 937431040 15520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27601/tid=27607] ppid=27599 vsize=915460 CPUtime=0.15
/proc/27601/task/27607/stat : 27607 (java) S 27599 27601 27249 0 -1 64 360 0 0 0 15 0 0 0 16 0 8 0 156982264 937431040 15520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27601/tid=27608] ppid=27599 vsize=915460 CPUtime=0
/proc/27601/task/27608/stat : 27608 (java) S 27599 27601 27249 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156982264 937431040 15520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27601/tid=27609] ppid=27599 vsize=915460 CPUtime=0
/proc/27601/task/27609/stat : 27609 (java) S 27599 27601 27249 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156982264 937431040 15520 18446744073709551615 134512640 134570532 4294956480 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) 915460
[startup+2.97081 s]
/proc/loadavg: 0.00 0.27 0.97 2/72 27609
/proc/meminfo: memFree=1534608/2055920 swapFree=4191892/4192956
[pid=27601] ppid=27599 vsize=915460 CPUtime=2.93
/proc/27601/stat : 27601 (java) R 27599 27601 27249 0 -1 0 15795 0 1 0 285 8 0 0 17 0 8 0 156982256 937431040 15531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073702528 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27601/statm: 228865 15531 2518 14 0 215335 0
[pid=27601/tid=27603] ppid=27599 vsize=915460 CPUtime=0.04
/proc/27601/task/27603/stat : 27603 (java) S 27599 27601 27249 0 -1 64 1534 0 0 0 4 0 0 0 16 0 8 0 156982260 937431040 15531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27601/tid=27604] ppid=27599 vsize=915460 CPUtime=0
/proc/27601/task/27604/stat : 27604 (java) S 27599 27601 27249 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156982260 937431040 15531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27601/tid=27605] ppid=27599 vsize=915460 CPUtime=0
/proc/27601/task/27605/stat : 27605 (java) S 27599 27601 27249 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156982260 937431040 15531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27601/tid=27606] ppid=27599 vsize=915460 CPUtime=0
/proc/27601/task/27606/stat : 27606 (java) S 27599 27601 27249 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156982264 937431040 15531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27601/tid=27607] ppid=27599 vsize=915460 CPUtime=0.17
/proc/27601/task/27607/stat : 27607 (java) S 27599 27601 27249 0 -1 64 371 0 0 0 17 0 0 0 16 0 8 0 156982264 937431040 15531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27601/tid=27608] ppid=27599 vsize=915460 CPUtime=0
/proc/27601/task/27608/stat : 27608 (java) S 27599 27601 27249 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156982264 937431040 15531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27601/tid=27609] ppid=27599 vsize=915460 CPUtime=0
/proc/27601/task/27609/stat : 27609 (java) S 27599 27601 27249 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156982264 937431040 15531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 3.47106
CPU time (s): 3.39048
CPU user time (s): 3.2935
CPU system time (s): 0.096985
CPU usage (%): 97.6786
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.2935
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15802
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= 807
involuntary context switches= 240
runsolver used 0.002999 s user time and 0.017997 s system time
The end
Begin job on node42 on Sat Jan 6 12:17:04 UTC 2007
IDJOB= 247321
IDBENCH= 11097
FILE ID= node42/247321-1168085820
PBS_JOBID= 3476315
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247321-1168085820/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-247321-1168085820 -o ROOT/results/node42/solver-247321-1168085820 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247321-1168085820/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9878667f61c3b4080ef79f2b3273178f
RANDOM SEED= 535318937
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.229
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.229
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: 1587560 kB
Buffers: 29352 kB
Cached: 356688 kB
SwapCached: 268 kB
Active: 42008 kB
Inactive: 358572 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1587560 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2676 kB
Writeback: 0 kB
Mapped: 23480 kB
Slab: 53872 kB
Committed_AS: 2776576 kB
PageTables: 1408 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= 66542 MiB
End job on node42 on Sat Jan 6 12:17:27 UTC 2007