0.05/0.08
0.05/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mac.xml
0.19/0.27
0.19/0.27 instance
0.19/0.27 name=HOME/instance-2098165-1247414235.xml
0.28/0.30
0.28/0.30 domains being loaded...
0.28/0.31
0.28/0.31 variables being loaded...
0.39/0.43 nbVariables=561 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11 nbTotalValues=6171
0.39/0.43 => wckTime=0.189 cpuTime=0.13 mem=9M843
0.39/0.43
0.39/0.43 predicates being loaded...
0.39/0.48
0.39/0.48 constraints being loaded...
1.17/1.28 nbConstraints=1852 nbGlobalConstraints=224 nbDisconnectedVariables=5 nbConvertedConstraints=1628
1.17/1.28 nbConvertConstraintsChecks=242 nbExtensionStructures=2 nbSharedExtensionStructures=1626 nbConflictsStructures=64
1.17/1.28 nbSharedConflictsStructures=1626 nbSharedBinaryRepresentations=11 minDegree=1 maxDegree=100 minArity=2
1.17/1.28 avgArity=2.04 maxArity=11 nbGenerators=217 nbFusions=63 symmetryWckTime=0.344 symmetryCpuTime=0.15
1.17/1.28 nbCliques=7
1.17/1.28 => wckTime=1.038 cpuTime=0.67 mem=25M495
1.27/1.37
1.27/1.37 solver IterativeSystematicSolver being built...
1.37/1.43
1.37/1.44 INFO : Forward propagation technique limited
1.47/1.52 => wckTime=1.284 cpuTime=0.81 mem=23M986
1.47/1.56
1.47/1.56 preprocessing
1.47/1.56 nbConstraintChecks=1515 nbPropagations=623 nbRevisions=144 nbUselessRevisions=1 nbRemovedValues=194
1.47/1.56 nbRemovedTuples=55 detectedInconsistency=no
1.47/1.56 => wckTime=0.039 cpuTime=0.03 mem=24M954
1.96/2.00
1.96/2.00 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=25M955)
4.63/4.79
4.63/4.79 search
4.63/4.79 run=14 nbConstraintChecks=6736821 minDepth=0 maxDepth=3 nbPropagations=382082 nbRevisions=2203642
4.63/4.79 nbUselessRevisions=172491 nbAssignments=9017 nbFailedAssignments=7877 nbInferredBacktracks=13 nbBacktracks=1103
4.63/4.79 nbVisitedNodes=17877 nbRestartNogoods=123 nbSEliminables=0 nbREliminables=342.64 nbIEliminables=215.5
4.63/4.79 nbDEliminables=0 nbPEliminables=0
4.63/4.79 => wckTime=3.26 cpuTime=3.14 mem=25M955
4.63/4.79
4.63/4.79 global
4.63/4.79 nbConstraintChecks=6738336 nbPropagations=382705 nbRevisions=2203786 nbUselessRevisions=172492
4.63/4.79 nbRestartNogoods=123 solvingWckTime=3.262 solvingCpuTime=3.14 expiredTime=no totalExploration=yes
4.63/4.79 nbFoundSolutions=0 globalCpuTime=3.98
4.63/4.79 => wckTime=4.549 cpuTime=3.95 mem=25M955
4.63/4.79
4.63/4.79 s UNSATISFIABLE
4.63/4.79 d NODES 9017
4.63/4.79 d CHECKS 6738336
4.63/4.79
4.63/4.79 totalWckTime=4.615 totalCpuTime=4.0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098165-1247414235/watcher-2098165-1247414235 -o /tmp/evaluation-result-2098165-1247414235/solver-2098165-1247414235 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2098165-1247414235.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.31 2.07 2.02 4/80 2261
/proc/meminfo: memFree=1669736/2055920 swapFree=4192812/4192956
[pid=2261] ppid=2259 vsize=272 CPUtime=0
/proc/2261/stat : 2261 (java) D 2259 2261 31866 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 28486260 278528 37 996147200 134512640 134550932 4294955968 18446744073709551615 11952932 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/2261/statm: 68 37 28 9 0 6 0
[startup+0.0634351 s]
/proc/loadavg: 2.31 2.07 2.02 4/80 2261
/proc/meminfo: memFree=1669736/2055920 swapFree=4192812/4192956
[pid=2261] ppid=2259 vsize=864144 CPUtime=0.05
/proc/2261/stat : 2261 (java) S 2259 2261 31866 0 -1 0 2921 0 1 0 4 1 0 0 18 0 9 0 28486260 884883456 2431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2261/statm: 216036 2432 1152 9 0 210929 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864144
[startup+0.101445 s]
/proc/loadavg: 2.31 2.07 2.02 4/80 2261
/proc/meminfo: memFree=1669736/2055920 swapFree=4192812/4192956
[pid=2261] ppid=2259 vsize=865980 CPUtime=0.09
/proc/2261/stat : 2261 (java) S 2259 2261 31866 0 -1 0 3837 0 1 0 7 2 0 0 18 0 9 0 28486260 886763520 3280 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2261/statm: 216495 3280 1730 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.301454 s]
/proc/loadavg: 2.31 2.07 2.02 4/80 2261
/proc/meminfo: memFree=1669736/2055920 swapFree=4192812/4192956
[pid=2261] ppid=2259 vsize=866500 CPUtime=0.28
/proc/2261/stat : 2261 (java) S 2259 2261 31866 0 -1 0 6116 0 1 0 25 3 0 0 18 0 9 0 28486260 887296000 5482 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2261/statm: 216625 5484 1987 9 0 211083 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866500
[startup+0.701492 s]
/proc/loadavg: 2.31 2.07 2.02 4/80 2261
/proc/meminfo: memFree=1669736/2055920 swapFree=4192812/4192956
[pid=2261] ppid=2259 vsize=867808 CPUtime=0.69
/proc/2261/stat : 2261 (java) S 2259 2261 31866 0 -1 0 9346 0 1 0 64 5 0 0 18 0 9 0 28486260 888635392 8698 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2261/statm: 216952 8698 2042 9 0 211388 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867808
[startup+1.50255 s]
/proc/loadavg: 2.31 2.07 2.02 3/91 2272
/proc/meminfo: memFree=1637072/2055920 swapFree=4192812/4192956
[pid=2261] ppid=2259 vsize=868132 CPUtime=1.47
/proc/2261/stat : 2261 (java) S 2259 2261 31866 0 -1 0 18944 264 1 0 118 15 14 0 18 0 10 0 28486260 888967168 11973 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2261/statm: 217033 11973 2656 9 0 211469 0
[pid=2261/tid=2263] ppid=2259 vsize=868132 CPUtime=1.1
/proc/2261/task/2263/stat : 2263 (java) R 2259 2261 31866 0 -1 64 13440 264 1 0 84 12 14 0 16 0 10 0 28486260 888967168 11973 996147200 134512640 134550932 4294955968 18446744073709551615 4125950628 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2264] ppid=2259 vsize=868132 CPUtime=0.2
/proc/2261/task/2264/stat : 2264 (java) R 2259 2261 31866 0 -1 64 3711 264 0 0 6 0 14 0 17 0 10 0 28486262 888967168 11973 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2265] ppid=2259 vsize=868132 CPUtime=0.14
/proc/2261/task/2265/stat : 2265 (java) S 2259 2261 31866 0 -1 64 19 264 0 0 0 0 14 0 16 0 10 0 28486262 888967168 11973 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2266] ppid=2259 vsize=868132 CPUtime=0.14
/proc/2261/task/2266/stat : 2266 (java) S 2259 2261 31866 0 -1 64 11 264 0 0 0 0 14 0 16 0 10 0 28486262 888967168 11973 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2267] ppid=2259 vsize=868132 CPUtime=0.14
/proc/2261/task/2267/stat : 2267 (java) S 2259 2261 31866 0 -1 64 2 264 0 0 0 0 14 0 24 0 10 0 28486264 888967168 11973 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2261/tid=2268] ppid=2259 vsize=868132 CPUtime=0.41
/proc/2261/task/2268/stat : 2268 (java) S 2259 2261 31866 0 -1 64 956 264 0 0 27 0 14 0 15 0 10 0 28486264 888967168 11973 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2269] ppid=2259 vsize=868132 CPUtime=0.14
/proc/2261/task/2269/stat : 2269 (java) S 2259 2261 31866 0 -1 64 0 264 0 0 0 0 14 0 25 0 10 0 28486264 888967168 11973 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2261/tid=2270] ppid=2259 vsize=868132 CPUtime=0.14
/proc/2261/task/2270/stat : 2270 (java) S 2259 2261 31866 0 -1 64 11 264 0 0 0 0 14 0 15 0 10 0 28486264 888967168 11973 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 868132
[startup+3.10268 s]
/proc/loadavg: 2.45 2.10 2.03 3/89 2274
/proc/meminfo: memFree=1631512/2055920 swapFree=4192812/4192956
[pid=2261] ppid=2259 vsize=868264 CPUtime=3.05
/proc/2261/stat : 2261 (java) S 2259 2261 31866 0 -1 0 19736 386 1 0 276 15 14 0 18 0 9 0 28486260 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2261/statm: 217066 12050 2658 9 0 211502 0
[pid=2261/tid=2263] ppid=2259 vsize=868264 CPUtime=2.6
/proc/2261/task/2263/stat : 2263 (java) R 2259 2261 31866 0 -1 64 14176 386 1 0 234 12 14 0 25 0 9 0 28486260 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4126383703 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2264] ppid=2259 vsize=868264 CPUtime=0.2
/proc/2261/task/2264/stat : 2264 (java) S 2259 2261 31866 0 -1 64 3712 386 0 0 6 0 14 0 17 0 9 0 28486262 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2265] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2265/stat : 2265 (java) S 2259 2261 31866 0 -1 64 19 386 0 0 0 0 14 0 16 0 9 0 28486262 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2266] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2266/stat : 2266 (java) S 2259 2261 31866 0 -1 64 11 386 0 0 0 0 14 0 16 0 9 0 28486262 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2267] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2267/stat : 2267 (java) S 2259 2261 31866 0 -1 64 2 386 0 0 0 0 14 0 24 0 9 0 28486264 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2261/tid=2268] ppid=2259 vsize=868264 CPUtime=0.49
/proc/2261/task/2268/stat : 2268 (java) S 2259 2261 31866 0 -1 64 1008 386 0 0 35 0 14 0 15 0 9 0 28486264 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2269] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2269/stat : 2269 (java) S 2259 2261 31866 0 -1 64 0 386 0 0 0 0 14 0 25 0 9 0 28486264 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2261/tid=2270] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2270/stat : 2270 (java) S 2259 2261 31866 0 -1 64 11 386 0 0 0 0 14 0 15 0 9 0 28486264 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 868264
Solver just ended. Dumping a history of the last processes samples
[startup+3.90275 s]
/proc/loadavg: 2.45 2.10 2.03 3/89 2274
/proc/meminfo: memFree=1631512/2055920 swapFree=4192812/4192956
[pid=2261] ppid=2259 vsize=868264 CPUtime=3.84
/proc/2261/stat : 2261 (java) S 2259 2261 31866 0 -1 0 19736 386 1 0 355 15 14 0 18 0 9 0 28486260 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2261/statm: 217066 12050 2658 9 0 211502 0
[pid=2261/tid=2263] ppid=2259 vsize=868264 CPUtime=3.39
/proc/2261/task/2263/stat : 2263 (java) R 2259 2261 31866 0 -1 64 14176 386 1 0 313 12 14 0 25 0 9 0 28486260 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4127271356 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2264] ppid=2259 vsize=868264 CPUtime=0.2
/proc/2261/task/2264/stat : 2264 (java) S 2259 2261 31866 0 -1 64 3712 386 0 0 6 0 14 0 17 0 9 0 28486262 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2265] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2265/stat : 2265 (java) S 2259 2261 31866 0 -1 64 19 386 0 0 0 0 14 0 16 0 9 0 28486262 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2266] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2266/stat : 2266 (java) S 2259 2261 31866 0 -1 64 11 386 0 0 0 0 14 0 16 0 9 0 28486262 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2267] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2267/stat : 2267 (java) S 2259 2261 31866 0 -1 64 2 386 0 0 0 0 14 0 24 0 9 0 28486264 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2261/tid=2268] ppid=2259 vsize=868264 CPUtime=0.49
/proc/2261/task/2268/stat : 2268 (java) S 2259 2261 31866 0 -1 64 1008 386 0 0 35 0 14 0 15 0 9 0 28486264 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2269] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2269/stat : 2269 (java) S 2259 2261 31866 0 -1 64 0 386 0 0 0 0 14 0 25 0 9 0 28486264 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2261/tid=2270] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2270/stat : 2270 (java) S 2259 2261 31866 0 -1 64 11 386 0 0 0 0 14 0 15 0 9 0 28486264 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 868264
[startup+4.30278 s]
/proc/loadavg: 2.45 2.10 2.03 3/89 2274
/proc/meminfo: memFree=1631512/2055920 swapFree=4192812/4192956
[pid=2261] ppid=2259 vsize=868264 CPUtime=4.24
/proc/2261/stat : 2261 (java) S 2259 2261 31866 0 -1 0 19739 386 1 0 395 15 14 0 18 0 9 0 28486260 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2261/statm: 217066 12050 2658 9 0 211502 0
[pid=2261/tid=2263] ppid=2259 vsize=868264 CPUtime=3.79
/proc/2261/task/2263/stat : 2263 (java) R 2259 2261 31866 0 -1 64 14178 386 1 0 353 12 14 0 17 0 9 0 28486260 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4127215450 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2264] ppid=2259 vsize=868264 CPUtime=0.2
/proc/2261/task/2264/stat : 2264 (java) S 2259 2261 31866 0 -1 64 3712 386 0 0 6 0 14 0 16 0 9 0 28486262 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2261/tid=2265] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2265/stat : 2265 (java) S 2259 2261 31866 0 -1 64 19 386 0 0 0 0 14 0 16 0 9 0 28486262 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2266] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2266/stat : 2266 (java) S 2259 2261 31866 0 -1 64 11 386 0 0 0 0 14 0 16 0 9 0 28486262 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2267] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2267/stat : 2267 (java) S 2259 2261 31866 0 -1 64 2 386 0 0 0 0 14 0 24 0 9 0 28486264 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2261/tid=2268] ppid=2259 vsize=868264 CPUtime=0.49
/proc/2261/task/2268/stat : 2268 (java) S 2259 2261 31866 0 -1 64 1008 386 0 0 35 0 14 0 15 0 9 0 28486264 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2269] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2269/stat : 2269 (java) S 2259 2261 31866 0 -1 64 0 386 0 0 0 0 14 0 25 0 9 0 28486264 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2261/tid=2270] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2270/stat : 2270 (java) S 2259 2261 31866 0 -1 64 12 386 0 0 0 0 14 0 15 0 9 0 28486264 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 868264
[startup+4.70281 s]
/proc/loadavg: 2.45 2.10 2.03 3/89 2274
/proc/meminfo: memFree=1631512/2055920 swapFree=4192812/4192956
[pid=2261] ppid=2259 vsize=868264 CPUtime=4.63
/proc/2261/stat : 2261 (java) S 2259 2261 31866 0 -1 0 19739 386 1 0 434 15 14 0 18 0 9 0 28486260 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2261/statm: 217066 12050 2658 9 0 211502 0
[pid=2261/tid=2263] ppid=2259 vsize=868264 CPUtime=4.18
/proc/2261/task/2263/stat : 2263 (java) R 2259 2261 31866 0 -1 64 14178 386 1 0 392 12 14 0 20 0 9 0 28486260 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4127217555 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2264] ppid=2259 vsize=868264 CPUtime=0.2
/proc/2261/task/2264/stat : 2264 (java) S 2259 2261 31866 0 -1 64 3712 386 0 0 6 0 14 0 16 0 9 0 28486262 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2261/tid=2265] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2265/stat : 2265 (java) S 2259 2261 31866 0 -1 64 19 386 0 0 0 0 14 0 16 0 9 0 28486262 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2266] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2266/stat : 2266 (java) S 2259 2261 31866 0 -1 64 11 386 0 0 0 0 14 0 16 0 9 0 28486262 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2267] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2267/stat : 2267 (java) S 2259 2261 31866 0 -1 64 2 386 0 0 0 0 14 0 24 0 9 0 28486264 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2261/tid=2268] ppid=2259 vsize=868264 CPUtime=0.49
/proc/2261/task/2268/stat : 2268 (java) S 2259 2261 31866 0 -1 64 1008 386 0 0 35 0 14 0 15 0 9 0 28486264 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2269] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2269/stat : 2269 (java) S 2259 2261 31866 0 -1 64 0 386 0 0 0 0 14 0 25 0 9 0 28486264 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2261/tid=2270] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2270/stat : 2270 (java) S 2259 2261 31866 0 -1 64 12 386 0 0 0 0 14 0 15 0 9 0 28486264 889102336 12050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 868264
[startup+4.80282 s]
/proc/loadavg: 2.45 2.10 2.03 3/89 2274
/proc/meminfo: memFree=1631512/2055920 swapFree=4192812/4192956
[pid=2261] ppid=2259 vsize=868264 CPUtime=4.72
/proc/2261/stat : 2261 (java) S 2259 2261 31866 0 -1 0 19794 386 1 0 443 15 14 0 18 0 9 0 28486260 889102336 12102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2261/statm: 217066 12102 2658 9 0 211502 0
[pid=2261/tid=2263] ppid=2259 vsize=868264 CPUtime=4.28
/proc/2261/task/2263/stat : 2263 (java) S 2259 2261 31866 0 -1 64 14233 386 1 0 401 13 14 0 21 0 9 0 28486260 889102336 12102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2264] ppid=2259 vsize=868264 CPUtime=0.2
/proc/2261/task/2264/stat : 2264 (java) S 2259 2261 31866 0 -1 64 3712 386 0 0 6 0 14 0 16 0 9 0 28486262 889102336 12102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2261/tid=2265] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2265/stat : 2265 (java) S 2259 2261 31866 0 -1 64 19 386 0 0 0 0 14 0 16 0 9 0 28486262 889102336 12102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2266] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2266/stat : 2266 (java) S 2259 2261 31866 0 -1 64 11 386 0 0 0 0 14 0 16 0 9 0 28486262 889102336 12102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2267] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2267/stat : 2267 (java) S 2259 2261 31866 0 -1 64 2 386 0 0 0 0 14 0 24 0 9 0 28486264 889102336 12102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2261/tid=2268] ppid=2259 vsize=868264 CPUtime=0.49
/proc/2261/task/2268/stat : 2268 (java) S 2259 2261 31866 0 -1 64 1008 386 0 0 35 0 14 0 15 0 9 0 28486264 889102336 12102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2261/tid=2269] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2269/stat : 2269 (java) S 2259 2261 31866 0 -1 64 0 386 0 0 0 0 14 0 25 0 9 0 28486264 889102336 12102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2261/tid=2270] ppid=2259 vsize=868264 CPUtime=0.14
/proc/2261/task/2270/stat : 2270 (java) S 2259 2261 31866 0 -1 64 12 386 0 0 0 0 14 0 15 0 9 0 28486264 889102336 12102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 868264
Child status: 0
Real time (s): 4.84109
CPU time (s): 4.75228
CPU user time (s): 4.5773
CPU system time (s): 0.174973
CPU usage (%): 98.1654
Max. virtual memory (cumulated for all children) (KiB): 870124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.5773
system time used= 0.174973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20209
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= 1678
involuntary context switches= 1718
runsolver used 0.016997 second user time and 0.015997 second system time
The end
Begin job on node69 at 2009-07-12 17:57:16
IDJOB=2098165
IDBENCH=58375
IDSOLVER=773
FILE ID=node69/2098165-1247414235
PBS_JOBID= 9510509
Free space on /tmp= 66504 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/graphColoring/sgb/book/normalized-homer-11.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2098165-1247414235/watcher-2098165-1247414235 -o /tmp/evaluation-result-2098165-1247414235/solver-2098165-1247414235 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2098165-1247414235.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 895eca64fc4865f2b9e90fd7eae8fb30
RANDOM SEED=1917381559
node69.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.211
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.211
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: 1670280 kB
Buffers: 40304 kB
Cached: 118000 kB
SwapCached: 0 kB
Active: 263932 kB
Inactive: 64300 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1670280 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2708 kB
Writeback: 0 kB
Mapped: 190396 kB
Slab: 42408 kB
Committed_AS: 1005820 kB
PageTables: 2208 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= 66500 MiB
End job on node69 at 2009-07-12 17:57:20