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=esac.xml
0.19/0.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-2094080-1247402480.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.28/0.37 nbVariables=147 nbDomainTypes=2 minDomainSize=7 maxDomainSize=49 nbTotalValues=3087
0.28/0.37 => wckTime=0.126 cpuTime=0.11 mem=7M892
0.28/0.37
0.28/0.37 relations being loaded...
0.28/0.38
0.28/0.38 constraints being loaded...
0.47/0.53 nbConstraints=90 nbRelationTypes=1 nbGlobalConstraints=90 nbExtensionStructures=1
0.47/0.53 nbSharedExtensionStructures=48 nbConflictsStructures=1 nbSharedConflictsStructures=48
0.47/0.53 nbSharedBinaryRepresentations=0 minDegree=3 maxDegree=8 minArity=3 avgArity=10.89 maxArity=126
0.47/0.53 nbGenerators=12 nbFusions=0 symmetryWckTime=0.087 symmetryCpuTime=0.04
0.47/0.53 => wckTime=0.284 cpuTime=0.2 mem=14M734
0.47/0.59
0.47/0.59 solver IterativeSystematicSolver being built...
0.57/0.66
0.57/0.66 INFO : Forward propagation technique limited
0.67/0.73 => wckTime=0.489 cpuTime=0.35 mem=19M911
0.87/0.91
0.87/0.92 preprocessing
0.87/0.92 nbConstraintChecks=0 nbValidityChecks=124432 nbPropagations=8688 nbRevisions=0 nbUselessRevisions=0
0.87/0.92 nbSingletonTests=643 nbEffectiveSingletonTests=58 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=1152
0.87/0.92 detectedInconsistency=no
0.87/0.92 => wckTime=0.178 cpuTime=0.12 mem=20M919
0.97/1.10
0.97/1.10 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=21M911)
9.38/9.51
9.38/9.51 search
9.38/9.51 run=15 nbConstraintChecks=144365 nbValidityChecks=2075795 minDepth=48 maxDepth=147 nbPropagations=2721367
9.38/9.51 nbRevisions=0 nbUselessRevisions=0 nbAssignments=63343 nbFailedAssignments=11774 nbBacktracks=50384
9.38/9.51 nbVisitedNodes=86271 nbRestartNogoods=86 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=9.72
9.38/9.51 nbIEliminables=113.92 nbDEliminables=0 nbPEliminables=0
9.38/9.51 => wckTime=8.77 cpuTime=8.56 mem=23M861
9.38/9.51
9.38/9.51 global
9.38/9.51 nbConstraintChecks=144365 nbValidityChecks=2200227 nbPropagations=2730055 nbRestartNogoods=86
9.38/9.51 solvingWckTime=8.773 solvingCpuTime=8.56 expiredTime=no totalExploration=no nbFoundSolutions=1
9.38/9.51 firstSolutionCpuTime=8.91 globalCpuTime=8.94
9.38/9.51 => wckTime=9.263 cpuTime=8.91 mem=23M861
9.38/9.51
9.38/9.51 s SATISFIABLE
9.38/9.51 v 1 2 3 4 5 6 7 2 6 4 1 7 3 5 3 5 6 2 1 7 4 4 1 2 7 3 5 6 5 3 7 6 4 1 2 6 7 1 5 2 4 3 7 4 5 3 6 2 1 6 3 4 1 2 5 7 7 1 2 5 6 3 4 1 5 7 6 4 2 3 4 2 5 3 7 1 6 3 6 1 4 5 7 2 2 4 3 7 1 6 5 5 7 6 2 3 4 1 6 10 18 22 30 40 49 14 36 23 5 48 17 32 15 33 42 13 4 44 24 25 2 12 45 21 29 41 31 20 43 39 26 7 9 37 46 3 35 8 27 19 47 28 34 16 38 11 1
9.38/9.51 d NODES 63343
9.38/9.51 d CHECKS 144365
9.38/9.51
9.38/9.51 totalWckTime=9.33 totalCpuTime=8.95
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2094080-1247402480/watcher-2094080-1247402480 -o /tmp/evaluation-result-2094080-1247402480/solver-2094080-1247402480 -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-2094080-1247402480.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 1.97 1.53 4/80 28223
/proc/meminfo: memFree=1757344/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=152 CPUtime=0
/proc/28223/stat : 28223 (java) R 28221 28223 28083 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 27312650 155648 26 996147200 134512640 134550932 4294955968 18446744073709551615 8921387 0 0 4096 0 0 0 0 17 0 0 0
/proc/28223/statm: 38 26 19 9 0 4 0
[startup+0.064502 s]
/proc/loadavg: 2.00 1.97 1.53 4/80 28223
/proc/meminfo: memFree=1757344/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=864104 CPUtime=0.05
/proc/28223/stat : 28223 (java) S 28221 28223 28083 0 -1 0 2841 0 1 0 4 1 0 0 18 0 9 0 27312650 884842496 2374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28223/statm: 216026 2376 1126 9 0 210919 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864104
[startup+0.101501 s]
/proc/loadavg: 2.00 1.97 1.53 4/80 28223
/proc/meminfo: memFree=1757344/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=865940 CPUtime=0.09
/proc/28223/stat : 28223 (java) S 28221 28223 28083 0 -1 0 3749 0 1 0 7 2 0 0 18 0 9 0 27312650 886722560 3215 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28223/statm: 216485 3215 1700 9 0 210970 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865940
[startup+0.30152 s]
/proc/loadavg: 2.00 1.97 1.53 4/80 28223
/proc/meminfo: memFree=1757344/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=866432 CPUtime=0.28
/proc/28223/stat : 28223 (java) S 28221 28223 28083 0 -1 0 5978 0 1 0 25 3 0 0 18 0 9 0 27312650 887226368 5344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28223/statm: 216608 5345 1984 9 0 211066 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866432
[startup+0.701561 s]
/proc/loadavg: 2.00 1.97 1.53 4/80 28223
/proc/meminfo: memFree=1757344/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=867104 CPUtime=0.67
/proc/28223/stat : 28223 (java) S 28221 28223 28083 0 -1 0 13876 170 1 0 61 6 0 0 18 0 10 0 27312650 887914496 8718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28223/statm: 216776 8718 2651 9 0 211212 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867104
[startup+1.50264 s]
/proc/loadavg: 2.00 1.97 1.53 3/89 28236
/proc/meminfo: memFree=1725528/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=867104 CPUtime=1.45
/proc/28223/stat : 28223 (java) S 28221 28223 28083 0 -1 0 15730 292 1 0 138 7 0 0 18 0 9 0 27312650 887914496 10564 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28223/statm: 216776 10564 2655 9 0 211212 0
[pid=28223/tid=28225] ppid=28221 vsize=867104 CPUtime=1.17
/proc/28223/task/28225/stat : 28225 (java) R 28221 28223 28083 0 -1 64 11821 292 1 0 112 5 0 0 23 0 9 0 27312651 887914496 10564 996147200 134512640 134550932 4294955968 18446744073709551615 4126913692 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28226] ppid=28221 vsize=867104 CPUtime=0.03
/proc/28223/task/28226/stat : 28226 (java) S 28221 28223 28083 0 -1 64 2360 292 0 0 3 0 0 0 16 0 9 0 27312652 887914496 10564 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28227] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28227/stat : 28227 (java) S 28221 28223 28083 0 -1 64 19 292 0 0 0 0 0 0 16 0 9 0 27312652 887914496 10564 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28228] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28228/stat : 28228 (java) S 28221 28223 28083 0 -1 64 9 292 0 0 0 0 0 0 16 0 9 0 27312652 887914496 10564 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28229] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28229/stat : 28229 (java) S 28221 28223 28083 0 -1 64 2 292 0 0 0 0 0 0 23 0 9 0 27312655 887914496 10564 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28230] ppid=28221 vsize=867104 CPUtime=0.22
/proc/28223/task/28230/stat : 28230 (java) S 28221 28223 28083 0 -1 64 710 292 0 0 22 0 0 0 15 0 9 0 27312655 887914496 10564 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28231] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28231/stat : 28231 (java) S 28221 28223 28083 0 -1 64 0 292 0 0 0 0 0 0 24 0 9 0 27312655 887914496 10564 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28232] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28232/stat : 28232 (java) S 28221 28223 28083 0 -1 64 10 292 0 0 0 0 0 0 15 0 9 0 27312655 887914496 10564 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 867104
[startup+3.10279 s]
/proc/loadavg: 2.00 1.97 1.53 3/89 28236
/proc/meminfo: memFree=1725016/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=867104 CPUtime=3.04
/proc/28223/stat : 28223 (java) S 28221 28223 28083 0 -1 0 15812 292 1 0 297 7 0 0 18 0 9 0 27312650 887914496 10644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28223/statm: 216776 10644 2655 9 0 211212 0
[pid=28223/tid=28225] ppid=28221 vsize=867104 CPUtime=2.75
/proc/28223/task/28225/stat : 28225 (java) R 28221 28223 28083 0 -1 64 11900 292 1 0 270 5 0 0 20 0 9 0 27312651 887914496 10644 996147200 134512640 134550932 4294955968 18446744073709551615 4126786786 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28226] ppid=28221 vsize=867104 CPUtime=0.03
/proc/28223/task/28226/stat : 28226 (java) S 28221 28223 28083 0 -1 64 2360 292 0 0 3 0 0 0 16 0 9 0 27312652 887914496 10644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28227] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28227/stat : 28227 (java) S 28221 28223 28083 0 -1 64 19 292 0 0 0 0 0 0 16 0 9 0 27312652 887914496 10644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28228] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28228/stat : 28228 (java) S 28221 28223 28083 0 -1 64 9 292 0 0 0 0 0 0 16 0 9 0 27312652 887914496 10644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28229] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28229/stat : 28229 (java) S 28221 28223 28083 0 -1 64 2 292 0 0 0 0 0 0 23 0 9 0 27312655 887914496 10644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28230] ppid=28221 vsize=867104 CPUtime=0.22
/proc/28223/task/28230/stat : 28230 (java) S 28221 28223 28083 0 -1 64 713 292 0 0 22 0 0 0 16 0 9 0 27312655 887914496 10644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28231] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28231/stat : 28231 (java) S 28221 28223 28083 0 -1 64 0 292 0 0 0 0 0 0 24 0 9 0 27312655 887914496 10644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28232] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28232/stat : 28232 (java) S 28221 28223 28083 0 -1 64 10 292 0 0 0 0 0 0 15 0 9 0 27312655 887914496 10644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867104
[startup+6.30111 s]
/proc/loadavg: 2.00 1.97 1.53 3/89 28236
/proc/meminfo: memFree=1724184/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=867104 CPUtime=6.21
/proc/28223/stat : 28223 (java) S 28221 28223 28083 0 -1 0 15955 292 1 0 613 8 0 0 18 0 9 0 27312650 887914496 10784 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28223/statm: 216776 10784 2655 9 0 211212 0
[pid=28223/tid=28225] ppid=28221 vsize=867104 CPUtime=5.92
/proc/28223/task/28225/stat : 28225 (java) R 28221 28223 28083 0 -1 64 12042 292 1 0 586 6 0 0 17 0 9 0 27312651 887914496 10784 996147200 134512640 134550932 4294955968 18446744073709551615 4126787867 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28226] ppid=28221 vsize=867104 CPUtime=0.03
/proc/28223/task/28226/stat : 28226 (java) S 28221 28223 28083 0 -1 64 2360 292 0 0 3 0 0 0 16 0 9 0 27312652 887914496 10784 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28227] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28227/stat : 28227 (java) S 28221 28223 28083 0 -1 64 19 292 0 0 0 0 0 0 16 0 9 0 27312652 887914496 10784 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28228] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28228/stat : 28228 (java) S 28221 28223 28083 0 -1 64 9 292 0 0 0 0 0 0 16 0 9 0 27312652 887914496 10784 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28229] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28229/stat : 28229 (java) S 28221 28223 28083 0 -1 64 2 292 0 0 0 0 0 0 23 0 9 0 27312655 887914496 10784 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28230] ppid=28221 vsize=867104 CPUtime=0.23
/proc/28223/task/28230/stat : 28230 (java) S 28221 28223 28083 0 -1 64 714 292 0 0 23 0 0 0 15 0 9 0 27312655 887914496 10784 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28231] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28231/stat : 28231 (java) S 28221 28223 28083 0 -1 64 0 292 0 0 0 0 0 0 24 0 9 0 27312655 887914496 10784 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28232] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28232/stat : 28232 (java) S 28221 28223 28083 0 -1 64 10 292 0 0 0 0 0 0 15 0 9 0 27312655 887914496 10784 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867104
Solver just ended. Dumping a history of the last processes samples
[startup+7.90127 s]
/proc/loadavg: 2.00 1.97 1.53 3/89 28236
/proc/meminfo: memFree=1723736/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=867104 CPUtime=7.8
/proc/28223/stat : 28223 (java) S 28221 28223 28083 0 -1 0 16023 292 1 0 772 8 0 0 18 0 9 0 27312650 887914496 10852 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28223/statm: 216776 10852 2655 9 0 211212 0
[pid=28223/tid=28225] ppid=28221 vsize=867104 CPUtime=7.5
/proc/28223/task/28225/stat : 28225 (java) R 28221 28223 28083 0 -1 64 12110 292 1 0 744 6 0 0 25 0 9 0 27312651 887914496 10852 996147200 134512640 134550932 4294955968 18446744073709551615 4126909987 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28226] ppid=28221 vsize=867104 CPUtime=0.03
/proc/28223/task/28226/stat : 28226 (java) S 28221 28223 28083 0 -1 64 2360 292 0 0 3 0 0 0 16 0 9 0 27312652 887914496 10852 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28227] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28227/stat : 28227 (java) S 28221 28223 28083 0 -1 64 19 292 0 0 0 0 0 0 16 0 9 0 27312652 887914496 10852 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28228] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28228/stat : 28228 (java) S 28221 28223 28083 0 -1 64 9 292 0 0 0 0 0 0 16 0 9 0 27312652 887914496 10852 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28229] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28229/stat : 28229 (java) S 28221 28223 28083 0 -1 64 2 292 0 0 0 0 0 0 23 0 9 0 27312655 887914496 10852 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28230] ppid=28221 vsize=867104 CPUtime=0.23
/proc/28223/task/28230/stat : 28230 (java) S 28221 28223 28083 0 -1 64 714 292 0 0 23 0 0 0 15 0 9 0 27312655 887914496 10852 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28231] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28231/stat : 28231 (java) S 28221 28223 28083 0 -1 64 0 292 0 0 0 0 0 0 24 0 9 0 27312655 887914496 10852 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28232] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28232/stat : 28232 (java) S 28221 28223 28083 0 -1 64 10 292 0 0 0 0 0 0 15 0 9 0 27312655 887914496 10852 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.8
Current children cumulated vsize (KiB) 867104
[startup+8.70235 s]
/proc/loadavg: 2.00 1.97 1.53 3/89 28236
/proc/meminfo: memFree=1723544/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=867104 CPUtime=8.59
/proc/28223/stat : 28223 (java) S 28221 28223 28083 0 -1 0 16059 292 1 0 851 8 0 0 18 0 9 0 27312650 887914496 10888 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28223/statm: 216776 10888 2655 9 0 211212 0
[pid=28223/tid=28225] ppid=28221 vsize=867104 CPUtime=8.3
/proc/28223/task/28225/stat : 28225 (java) R 28221 28223 28083 0 -1 64 12146 292 1 0 824 6 0 0 25 0 9 0 27312651 887914496 10888 996147200 134512640 134550932 4294955968 18446744073709551615 4126837034 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28226] ppid=28221 vsize=867104 CPUtime=0.03
/proc/28223/task/28226/stat : 28226 (java) S 28221 28223 28083 0 -1 64 2360 292 0 0 3 0 0 0 16 0 9 0 27312652 887914496 10888 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28227] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28227/stat : 28227 (java) S 28221 28223 28083 0 -1 64 19 292 0 0 0 0 0 0 16 0 9 0 27312652 887914496 10888 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28228] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28228/stat : 28228 (java) S 28221 28223 28083 0 -1 64 9 292 0 0 0 0 0 0 16 0 9 0 27312652 887914496 10888 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28229] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28229/stat : 28229 (java) S 28221 28223 28083 0 -1 64 2 292 0 0 0 0 0 0 23 0 9 0 27312655 887914496 10888 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28230] ppid=28221 vsize=867104 CPUtime=0.23
/proc/28223/task/28230/stat : 28230 (java) S 28221 28223 28083 0 -1 64 714 292 0 0 23 0 0 0 15 0 9 0 27312655 887914496 10888 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28231] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28231/stat : 28231 (java) S 28221 28223 28083 0 -1 64 0 292 0 0 0 0 0 0 24 0 9 0 27312655 887914496 10888 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28232] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28232/stat : 28232 (java) S 28221 28223 28083 0 -1 64 10 292 0 0 0 0 0 0 15 0 9 0 27312655 887914496 10888 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.59
Current children cumulated vsize (KiB) 867104
[startup+9.10239 s]
/proc/loadavg: 2.00 1.97 1.53 3/89 28236
/proc/meminfo: memFree=1723544/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=867104 CPUtime=8.99
/proc/28223/stat : 28223 (java) S 28221 28223 28083 0 -1 0 16078 292 1 0 891 8 0 0 18 0 9 0 27312650 887914496 10907 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28223/statm: 216776 10907 2655 9 0 211212 0
[pid=28223/tid=28225] ppid=28221 vsize=867104 CPUtime=8.69
/proc/28223/task/28225/stat : 28225 (java) R 28221 28223 28083 0 -1 64 12165 292 1 0 863 6 0 0 25 0 9 0 27312651 887914496 10907 996147200 134512640 134550932 4294955968 18446744073709551615 4126907534 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28226] ppid=28221 vsize=867104 CPUtime=0.03
/proc/28223/task/28226/stat : 28226 (java) S 28221 28223 28083 0 -1 64 2360 292 0 0 3 0 0 0 16 0 9 0 27312652 887914496 10907 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28227] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28227/stat : 28227 (java) S 28221 28223 28083 0 -1 64 19 292 0 0 0 0 0 0 16 0 9 0 27312652 887914496 10907 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28228] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28228/stat : 28228 (java) S 28221 28223 28083 0 -1 64 9 292 0 0 0 0 0 0 16 0 9 0 27312652 887914496 10907 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28229] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28229/stat : 28229 (java) S 28221 28223 28083 0 -1 64 2 292 0 0 0 0 0 0 23 0 9 0 27312655 887914496 10907 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28230] ppid=28221 vsize=867104 CPUtime=0.23
/proc/28223/task/28230/stat : 28230 (java) S 28221 28223 28083 0 -1 64 714 292 0 0 23 0 0 0 15 0 9 0 27312655 887914496 10907 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28231] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28231/stat : 28231 (java) S 28221 28223 28083 0 -1 64 0 292 0 0 0 0 0 0 24 0 9 0 27312655 887914496 10907 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28232] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28232/stat : 28232 (java) S 28221 28223 28083 0 -1 64 10 292 0 0 0 0 0 0 15 0 9 0 27312655 887914496 10907 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.99
Current children cumulated vsize (KiB) 867104
[startup+9.50243 s]
/proc/loadavg: 2.00 1.97 1.53 3/89 28236
/proc/meminfo: memFree=1723544/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=867104 CPUtime=9.38
/proc/28223/stat : 28223 (java) S 28221 28223 28083 0 -1 0 16097 292 1 0 930 8 0 0 18 0 9 0 27312650 887914496 10926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28223/statm: 216776 10926 2655 9 0 211212 0
[pid=28223/tid=28225] ppid=28221 vsize=867104 CPUtime=9.09
/proc/28223/task/28225/stat : 28225 (java) R 28221 28223 28083 0 -1 64 12184 292 1 0 903 6 0 0 25 0 9 0 27312651 887914496 10926 996147200 134512640 134550932 4294955968 18446744073709551615 4126799656 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28226] ppid=28221 vsize=867104 CPUtime=0.03
/proc/28223/task/28226/stat : 28226 (java) S 28221 28223 28083 0 -1 64 2360 292 0 0 3 0 0 0 16 0 9 0 27312652 887914496 10926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28227] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28227/stat : 28227 (java) S 28221 28223 28083 0 -1 64 19 292 0 0 0 0 0 0 16 0 9 0 27312652 887914496 10926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28228] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28228/stat : 28228 (java) S 28221 28223 28083 0 -1 64 9 292 0 0 0 0 0 0 16 0 9 0 27312652 887914496 10926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28229] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28229/stat : 28229 (java) S 28221 28223 28083 0 -1 64 2 292 0 0 0 0 0 0 23 0 9 0 27312655 887914496 10926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28230] ppid=28221 vsize=867104 CPUtime=0.23
/proc/28223/task/28230/stat : 28230 (java) S 28221 28223 28083 0 -1 64 714 292 0 0 23 0 0 0 15 0 9 0 27312655 887914496 10926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28231] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28231/stat : 28231 (java) S 28221 28223 28083 0 -1 64 0 292 0 0 0 0 0 0 24 0 9 0 27312655 887914496 10926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28223/tid=28232] ppid=28221 vsize=867104 CPUtime=0
/proc/28223/task/28232/stat : 28232 (java) S 28221 28223 28083 0 -1 64 10 292 0 0 0 0 0 0 15 0 9 0 27312655 887914496 10926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.38
Current children cumulated vsize (KiB) 867104
Child status: 0
Real time (s): 9.53429
CPU time (s): 9.42557
CPU user time (s): 9.32658
CPU system time (s): 0.098984
CPU usage (%): 98.8596
Max. virtual memory (cumulated for all children) (KiB): 867104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.32658
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16516
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= 1456
involuntary context switches= 1478
runsolver used 0.024996 second user time and 0.026995 second system time
The end
Begin job on node36 at 2009-07-12 14:41:20
IDJOB=2094080
IDBENCH=53938
IDSOLVER=774
FILE ID=node36/2094080-1247402480
PBS_JOBID= 9510572
Free space on /tmp= 66392 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/ortholatin/normalized-ortholatin-7.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-2094080-1247402480/watcher-2094080-1247402480 -o /tmp/evaluation-result-2094080-1247402480/solver-2094080-1247402480 -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-2094080-1247402480.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ecb6f233f61e5d259266e5fb1cd34725
RANDOM SEED=1777465953
node36.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.238
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.238
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: 1757824 kB
Buffers: 29476 kB
Cached: 112576 kB
SwapCached: 0 kB
Active: 185392 kB
Inactive: 57360 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1757824 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2028 kB
Writeback: 0 kB
Mapped: 121144 kB
Slab: 40580 kB
Committed_AS: 996392 kB
PageTables: 1904 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= 66392 MiB
End job on node36 at 2009-07-12 14:41:29