0.06/0.09
0.06/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=esac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-2098196-1247414244.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.38/0.47 nbVariables=701 nbDomainTypes=1 minDomainSize=6 maxDomainSize=6 nbTotalValues=4206
0.38/0.47 => wckTime=0.212 cpuTime=0.16 mem=10M818
0.38/0.47
0.38/0.47 predicates being loaded...
0.49/0.53
0.49/0.53 constraints being loaded...
2.26/2.36 nbConstraints=6783 nbGlobalConstraints=11 nbMergedConstraints=293 nbConvertedConstraints=6772
2.26/2.36 nbConvertConstraintsChecks=10584 nbExtensionStructures=294 nbSharedExtensionStructures=6771
2.26/2.36 nbConflictsStructures=294 nbSharedConflictsStructures=6771 nbSharedBinaryRepresentations=3522 minDegree=6
2.26/2.36 maxDegree=39 minArity=2 avgArity=2 maxArity=5 nbGenerators=6 nbFusions=0 symmetryWckTime=0.55
2.26/2.36 symmetryCpuTime=0.17 nbCliques=5
2.26/2.36 => wckTime=2.101 cpuTime=1.49 mem=17M576
2.35/2.47
2.35/2.47 solver IterativeSystematicSolver being built...
2.45/2.54
2.45/2.54 INFO : Forward propagation technique limited
2.55/2.65 => wckTime=2.386 cpuTime=1.64 mem=28M785
2.75/2.87
2.75/2.87 preprocessing
2.75/2.87 nbConstraintChecks=42290 nbPropagations=5366 nbRevisions=9892 nbUselessRevisions=5686 nbSingletonTests=706
2.75/2.87 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0 detectedInconsistency=no
2.75/2.87 => wckTime=0.224 cpuTime=0.19 mem=29M773
3.04/3.10
3.04/3.10 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=30M791)
4.24/4.34
4.24/4.34 search
4.24/4.34 run=9 nbConstraintChecks=1944464 minDepth=0 maxDepth=6 nbPropagations=225801 nbRevisions=1826238
4.24/4.34 nbUselessRevisions=798167 nbAssignments=2194 nbFailedAssignments=909 nbBacktracks=1256 nbVisitedNodes=3968
4.24/4.34 nbRestartNogoods=42 nbSEliminables=0 nbREliminables=623.4 nbIEliminables=73.47 nbDEliminables=0
4.24/4.34 nbPEliminables=0
4.24/4.34 => wckTime=1.691 cpuTime=1.58 mem=30M791
4.24/4.34
4.24/4.34 global
4.24/4.34 nbConstraintChecks=1986754 nbPropagations=231167 nbRevisions=1836130 nbUselessRevisions=803853
4.24/4.34 nbRestartNogoods=42 solvingWckTime=1.693 solvingCpuTime=1.58 expiredTime=no totalExploration=yes
4.24/4.34 nbFoundSolutions=0 globalCpuTime=3.25
4.24/4.34 => wckTime=4.081 cpuTime=3.22 mem=30M791
4.24/4.34
4.24/4.34 s UNSATISFIABLE
4.24/4.34 d NODES 2194
4.24/4.34 d CHECKS 1986754
4.24/4.34
4.24/4.34 totalWckTime=4.151 totalCpuTime=3.26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098196-1247414244/watcher-2098196-1247414244 -o /tmp/evaluation-result-2098196-1247414244/solver-2098196-1247414244 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2098196-1247414244.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 2.00 2.04 2.00 4/80 30213
/proc/meminfo: memFree=1725408/2055920 swapFree=4192812/4192956
[pid=30213] ppid=30211 vsize=18576 CPUtime=0
/proc/30213/stat : 30213 (runsolver) R 30211 30213 27929 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28491451 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30213/statm: 4644 284 249 26 0 2626 0
[startup+0.0807571 s]
/proc/loadavg: 2.00 2.04 2.00 4/80 30213
/proc/meminfo: memFree=1725408/2055920 swapFree=4192812/4192956
[pid=30213] ppid=30211 vsize=864148 CPUtime=0.06
/proc/30213/stat : 30213 (java) S 30211 30213 27929 0 -1 0 3105 0 1 0 5 1 0 0 18 0 9 0 28491451 884887552 2590 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30213/statm: 216037 2590 1239 9 0 210930 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 864148
[startup+0.102759 s]
/proc/loadavg: 2.00 2.04 2.00 4/80 30213
/proc/meminfo: memFree=1725408/2055920 swapFree=4192812/4192956
[pid=30213] ppid=30211 vsize=865984 CPUtime=0.08
/proc/30213/stat : 30213 (java) S 30211 30213 27929 0 -1 0 3733 0 1 0 7 1 0 0 18 0 9 0 28491451 886767616 3201 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30213/statm: 216496 3201 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301776 s]
/proc/loadavg: 2.00 2.04 2.00 4/80 30213
/proc/meminfo: memFree=1725408/2055920 swapFree=4192812/4192956
[pid=30213] ppid=30211 vsize=866380 CPUtime=0.28
/proc/30213/stat : 30213 (java) S 30211 30213 27929 0 -1 0 5864 0 1 0 26 2 0 0 18 0 9 0 28491451 887173120 5230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30213/statm: 216595 5230 1981 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.706326 s]
/proc/loadavg: 2.00 2.04 2.00 4/80 30213
/proc/meminfo: memFree=1725408/2055920 swapFree=4192812/4192956
[pid=30213] ppid=30211 vsize=867808 CPUtime=0.68
/proc/30213/stat : 30213 (java) S 30211 30213 27929 0 -1 0 8782 0 1 0 64 4 0 0 18 0 9 0 28491451 888635392 8136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30213/statm: 216952 8136 2038 9 0 211388 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867808
[startup+1.5029 s]
/proc/loadavg: 2.00 2.03 2.00 3/89 30222
/proc/meminfo: memFree=1685336/2055920 swapFree=4192812/4192956
[pid=30213] ppid=30211 vsize=867808 CPUtime=1.48
/proc/30213/stat : 30213 (java) S 30211 30213 27929 0 -1 0 14908 0 1 0 122 26 0 0 18 0 9 0 28491451 888635392 14259 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30213/statm: 216952 14259 2043 9 0 211388 0
[pid=30213/tid=30215] ppid=30211 vsize=867808 CPUtime=1.2
/proc/30213/task/30215/stat : 30215 (java) R 30211 30213 27929 0 -1 64 13481 0 1 0 96 24 0 0 25 0 9 0 28491452 888635392 14259 996147200 134512640 134550932 4294955968 18446744073709551615 103206528 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30216] ppid=30211 vsize=867808 CPUtime=0
/proc/30213/task/30216/stat : 30216 (java) S 30211 30213 27929 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 28491454 888635392 14259 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30217] ppid=30211 vsize=867808 CPUtime=0
/proc/30213/task/30217/stat : 30217 (java) S 30211 30213 27929 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28491454 888635392 14259 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30218] ppid=30211 vsize=867808 CPUtime=0
/proc/30213/task/30218/stat : 30218 (java) S 30211 30213 27929 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28491454 888635392 14259 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30219] ppid=30211 vsize=867808 CPUtime=0
/proc/30213/task/30219/stat : 30219 (java) S 30211 30213 27929 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28491456 888635392 14259 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30220] ppid=30211 vsize=867808 CPUtime=0.25
/proc/30213/task/30220/stat : 30220 (java) S 30211 30213 27929 0 -1 64 728 0 0 0 25 0 0 0 15 0 9 0 28491456 888635392 14259 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30221] ppid=30211 vsize=867808 CPUtime=0
/proc/30213/task/30221/stat : 30221 (java) S 30211 30213 27929 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28491456 888635392 14259 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30222] ppid=30211 vsize=867808 CPUtime=0
/proc/30213/task/30222/stat : 30222 (java) S 30211 30213 27929 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28491456 888635392 14259 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867808
[startup+3.10106 s]
/proc/loadavg: 2.00 2.03 2.00 4/91 30224
/proc/meminfo: memFree=1657032/2055920 swapFree=4192812/4192956
[pid=30213] ppid=30211 vsize=868212 CPUtime=3.04
/proc/30213/stat : 30213 (java) S 30211 30213 27929 0 -1 0 30737 606 1 0 236 46 21 1 18 0 9 0 28491451 889049088 21033 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30213/statm: 217053 21033 2661 9 0 211489 0
[pid=30213/tid=30215] ppid=30211 vsize=868212 CPUtime=2.43
/proc/30213/task/30215/stat : 30215 (java) R 30211 30213 27929 0 -1 64 22541 606 1 0 179 42 21 1 25 0 9 0 28491452 889049088 21033 996147200 134512640 134550932 4294955968 18446744073709551615 4127149865 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30216] ppid=30211 vsize=868212 CPUtime=0.41
/proc/30213/task/30216/stat : 30216 (java) S 30211 30213 27929 0 -1 64 6360 606 0 0 18 1 21 1 16 0 9 0 28491454 889049088 21033 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30217] ppid=30211 vsize=868212 CPUtime=0.22
/proc/30213/task/30217/stat : 30217 (java) S 30211 30213 27929 0 -1 64 20 606 0 0 0 0 21 1 16 0 9 0 28491454 889049088 21033 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30218] ppid=30211 vsize=868212 CPUtime=0.22
/proc/30213/task/30218/stat : 30218 (java) S 30211 30213 27929 0 -1 64 9 606 0 0 0 0 21 1 15 0 9 0 28491454 889049088 21033 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30219] ppid=30211 vsize=868212 CPUtime=0.22
/proc/30213/task/30219/stat : 30219 (java) S 30211 30213 27929 0 -1 64 2 606 0 0 0 0 21 1 18 0 9 0 28491456 889049088 21033 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30220] ppid=30211 vsize=868212 CPUtime=0.61
/proc/30213/task/30220/stat : 30220 (java) S 30211 30213 27929 0 -1 64 988 606 0 0 38 1 21 1 15 0 9 0 28491456 889049088 21033 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30221] ppid=30211 vsize=868212 CPUtime=0.22
/proc/30213/task/30221/stat : 30221 (java) S 30211 30213 27929 0 -1 64 0 606 0 0 0 0 21 1 19 0 9 0 28491456 889049088 21033 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30222] ppid=30211 vsize=868212 CPUtime=0.22
/proc/30213/task/30222/stat : 30222 (java) S 30211 30213 27929 0 -1 64 10 606 0 0 0 0 21 1 15 0 9 0 28491456 889049088 21033 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 868212
Solver just ended. Dumping a history of the last processes samples
[startup+3.90113 s]
/proc/loadavg: 2.00 2.03 2.00 3/89 30226
/proc/meminfo: memFree=1651280/2055920 swapFree=4192812/4192956
[pid=30213] ppid=30211 vsize=868212 CPUtime=3.84
/proc/30213/stat : 30213 (java) S 30211 30213 27929 0 -1 0 30750 606 1 0 316 46 21 1 18 0 9 0 28491451 889049088 21041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30213/statm: 217053 21041 2661 9 0 211489 0
[pid=30213/tid=30215] ppid=30211 vsize=868212 CPUtime=3.21
/proc/30213/task/30215/stat : 30215 (java) R 30211 30213 27929 0 -1 64 22546 606 1 0 257 42 21 1 25 0 9 0 28491452 889049088 21041 996147200 134512640 134550932 4294955968 18446744073709551615 4127350606 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30216] ppid=30211 vsize=868212 CPUtime=0.41
/proc/30213/task/30216/stat : 30216 (java) S 30211 30213 27929 0 -1 64 6360 606 0 0 18 1 21 1 17 0 9 0 28491454 889049088 21041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30217] ppid=30211 vsize=868212 CPUtime=0.22
/proc/30213/task/30217/stat : 30217 (java) S 30211 30213 27929 0 -1 64 20 606 0 0 0 0 21 1 16 0 9 0 28491454 889049088 21041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30218] ppid=30211 vsize=868212 CPUtime=0.22
/proc/30213/task/30218/stat : 30218 (java) S 30211 30213 27929 0 -1 64 9 606 0 0 0 0 21 1 15 0 9 0 28491454 889049088 21041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30219] ppid=30211 vsize=868212 CPUtime=0.22
/proc/30213/task/30219/stat : 30219 (java) S 30211 30213 27929 0 -1 64 2 606 0 0 0 0 21 1 18 0 9 0 28491456 889049088 21041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30220] ppid=30211 vsize=868212 CPUtime=0.63
/proc/30213/task/30220/stat : 30220 (java) S 30211 30213 27929 0 -1 64 996 606 0 0 40 1 21 1 15 0 9 0 28491456 889049088 21041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30221] ppid=30211 vsize=868212 CPUtime=0.22
/proc/30213/task/30221/stat : 30221 (java) S 30211 30213 27929 0 -1 64 0 606 0 0 0 0 21 1 19 0 9 0 28491456 889049088 21041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30222] ppid=30211 vsize=868212 CPUtime=0.22
/proc/30213/task/30222/stat : 30222 (java) S 30211 30213 27929 0 -1 64 10 606 0 0 0 0 21 1 15 0 9 0 28491456 889049088 21041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 868212
[startup+4.30117 s]
/proc/loadavg: 2.00 2.03 2.00 3/89 30226
/proc/meminfo: memFree=1651216/2055920 swapFree=4192812/4192956
[pid=30213] ppid=30211 vsize=868212 CPUtime=4.24
/proc/30213/stat : 30213 (java) S 30211 30213 27929 0 -1 0 30758 606 1 0 355 47 21 1 18 0 9 0 28491451 889049088 21048 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30213/statm: 217053 21048 2661 9 0 211489 0
[pid=30213/tid=30215] ppid=30211 vsize=868212 CPUtime=3.59
/proc/30213/task/30215/stat : 30215 (java) R 30211 30213 27929 0 -1 64 22546 606 1 0 295 42 21 1 25 0 9 0 28491452 889049088 21048 996147200 134512640 134550932 4294955968 18446744073709551615 4126381335 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30216] ppid=30211 vsize=868212 CPUtime=0.41
/proc/30213/task/30216/stat : 30216 (java) S 30211 30213 27929 0 -1 64 6360 606 0 0 18 1 21 1 16 0 9 0 28491454 889049088 21048 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30217] ppid=30211 vsize=868212 CPUtime=0.22
/proc/30213/task/30217/stat : 30217 (java) S 30211 30213 27929 0 -1 64 20 606 0 0 0 0 21 1 16 0 9 0 28491454 889049088 21048 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30218] ppid=30211 vsize=868212 CPUtime=0.22
/proc/30213/task/30218/stat : 30218 (java) S 30211 30213 27929 0 -1 64 9 606 0 0 0 0 21 1 15 0 9 0 28491454 889049088 21048 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30219] ppid=30211 vsize=868212 CPUtime=0.22
/proc/30213/task/30219/stat : 30219 (java) S 30211 30213 27929 0 -1 64 2 606 0 0 0 0 21 1 18 0 9 0 28491456 889049088 21048 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30220] ppid=30211 vsize=868212 CPUtime=0.64
/proc/30213/task/30220/stat : 30220 (java) S 30211 30213 27929 0 -1 64 1003 606 0 0 41 1 21 1 15 0 9 0 28491456 889049088 21048 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30221] ppid=30211 vsize=868212 CPUtime=0.22
/proc/30213/task/30221/stat : 30221 (java) S 30211 30213 27929 0 -1 64 0 606 0 0 0 0 21 1 19 0 9 0 28491456 889049088 21048 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30213/tid=30222] ppid=30211 vsize=868212 CPUtime=0.22
/proc/30213/task/30222/stat : 30222 (java) S 30211 30213 27929 0 -1 64 11 606 0 0 0 0 21 1 15 0 9 0 28491456 889049088 21048 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 868212
Child status: 0
Real time (s): 4.39926
CPU time (s): 4.30834
CPU user time (s): 3.81142
CPU system time (s): 0.496924
CPU usage (%): 97.9334
Max. virtual memory (cumulated for all children) (KiB): 871564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.81142
system time used= 0.496924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31479
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= 1978
involuntary context switches= 2186
runsolver used 0.008998 second user time and 0.022996 second system time
The end
Begin job on node12 at 2009-07-12 17:57:24
IDJOB=2098196
IDBENCH=58441
IDSOLVER=774
FILE ID=node12/2098196-1247414244
PBS_JOBID= 9510619
Free space on /tmp= 66216 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/graphColoring/hos/normalized-will199GPIA-6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2098196-1247414244/watcher-2098196-1247414244 -o /tmp/evaluation-result-2098196-1247414244/solver-2098196-1247414244 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2098196-1247414244.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 036da40d841ea653e24931fca0357400
RANDOM SEED=2114501174
node12.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.240
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.240
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: 1725888 kB
Buffers: 45132 kB
Cached: 144992 kB
SwapCached: 140 kB
Active: 164864 kB
Inactive: 95428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1725888 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5428 kB
Writeback: 0 kB
Mapped: 90520 kB
Slab: 55000 kB
Committed_AS: 996388 kB
PageTables: 1880 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= 66212 MiB
End job on node12 at 2009-07-12 17:57:29