0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-2095091-1247406586.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.33
0.28/0.33 variables being loaded...
0.38/0.42 nbVariables=540 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=1080
0.38/0.42 => wckTime=0.169 cpuTime=0.12 mem=8M867
0.38/0.42
0.38/0.42 predicates being loaded...
0.38/0.50
0.38/0.50 constraints being loaded...
2.64/2.77 nbConstraints=4481 nbGlobalConstraints=5 nbMergedConstraints=150 nbConvertedConstraints=630
2.64/2.77 nbConvertConstraintsChecks=3256 nbExtensionStructures=2 nbSharedExtensionStructures=628 nbConflictsStructures=17
2.64/2.77 nbSharedConflictsStructures=4417 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5
2.64/2.77 nbEvaluationManagers=16 nbSharedEvaluationManagers=3830 minDegree=13 maxDegree=80 minArity=2 avgArity=5.04
2.64/2.77 maxArity=332 nbGenerators=5 nbFusions=0 symmetryWckTime=0.676 symmetryCpuTime=0.32
2.64/2.77 => wckTime=2.517 cpuTime=1.89 mem=34M33
2.74/2.88
2.74/2.88 solver IterativeSystematicSolver being built...
2.95/3.09
2.95/3.09 INFO : Forward propagation technique limited
3.04/3.20 => wckTime=2.944 cpuTime=2.14 mem=31M683
3.15/3.24
3.15/3.24 preprocessing
3.15/3.24 nbConstraintChecks=882 nbValidityChecks=798 nbPropagations=540 nbRevisions=840 nbUselessRevisions=840
3.15/3.24 nbRemovedValues=0 detectedInconsistency=no
3.15/3.24 => wckTime=0.04 cpuTime=0.03 mem=32M691
8.71/8.81
8.71/8.81 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=34M691)
13.00/13.16
13.00/13.16 search
13.00/13.16 run=7 nbConstraintChecks=583281 nbValidityChecks=3893585 minDepth=55 maxDepth=540 nbPropagations=143516
13.00/13.16 nbRevisions=10066524 nbUselessRevisions=9926850 nbAssignments=8984 nbFailedAssignments=338 nbBacktracks=6678
13.00/13.16 nbVisitedNodes=9921 nbRestartNogoods=20 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=296.6
13.00/13.16 nbIEliminables=144.32 nbDEliminables=0 nbPEliminables=0
13.00/13.16 => wckTime=9.96 cpuTime=9.82 mem=34M691
13.00/13.16
13.00/13.16 global
13.00/13.16 nbConstraintChecks=584163 nbValidityChecks=3894383 nbPropagations=144056 nbRevisions=10067364
13.00/13.16 nbUselessRevisions=9927690 nbRestartNogoods=20 solvingWckTime=9.962 solvingCpuTime=9.82 expiredTime=no
13.00/13.16 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=11.95 globalCpuTime=12.01
13.00/13.16 => wckTime=12.908 cpuTime=11.96 mem=34M691
13.00/13.16
13.00/13.16 s SATISFIABLE
13.00/13.16 v 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1
13.00/13.16 d NODES 8984
13.00/13.16 d CHECKS 584163
13.00/13.16
13.00/13.16 totalWckTime=12.976 totalCpuTime=12.01
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095091-1247406586/watcher-2095091-1247406586 -o /tmp/evaluation-result-2095091-1247406586/solver-2095091-1247406586 -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-2095091-1247406586.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: 1.99 2.00 1.96 4/81 31244
/proc/meminfo: memFree=1598360/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=18576 CPUtime=0
/proc/31244/stat : 31244 (runsolver) R 31242 31244 30436 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 27723867 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 240153849127 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/31244/statm: 4644 284 249 26 0 2626 0
[startup+0.063033 s]
/proc/loadavg: 1.99 2.00 1.96 4/81 31244
/proc/meminfo: memFree=1598360/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=864144 CPUtime=0.04
/proc/31244/stat : 31244 (java) S 31242 31244 30436 0 -1 0 2793 0 1 0 3 1 0 0 20 0 9 0 27723867 884883456 2332 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31244/statm: 216036 2332 1105 9 0 210929 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864144
[startup+0.101035 s]
/proc/loadavg: 1.99 2.00 1.96 4/81 31244
/proc/meminfo: memFree=1598360/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=865980 CPUtime=0.08
/proc/31244/stat : 31244 (java) S 31242 31244 30436 0 -1 0 3730 0 1 0 6 2 0 0 20 0 9 0 27723867 886763520 3198 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31244/statm: 216495 3198 1700 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980
[startup+0.301075 s]
/proc/loadavg: 1.99 2.00 1.96 4/81 31244
/proc/meminfo: memFree=1598360/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=866380 CPUtime=0.28
/proc/31244/stat : 31244 (java) S 31242 31244 30436 0 -1 0 5923 0 1 0 24 4 0 0 20 0 9 0 27723867 887173120 5289 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31244/statm: 216595 5289 1983 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701154 s]
/proc/loadavg: 1.99 2.00 1.96 4/81 31244
/proc/meminfo: memFree=1598360/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=867804 CPUtime=0.68
/proc/31244/stat : 31244 (java) S 31242 31244 30436 0 -1 0 9133 0 1 0 62 6 0 0 20 0 9 0 27723867 888631296 8487 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31244/statm: 216951 8487 2035 9 0 211387 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867804
[startup+1.50231 s]
/proc/loadavg: 1.99 2.00 1.96 3/90 31253
/proc/meminfo: memFree=1552272/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=867720 CPUtime=1.47
/proc/31244/stat : 31244 (java) S 31242 31244 30436 0 -1 0 18997 0 1 0 126 21 0 0 20 0 9 0 27723867 888545280 18323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31244/statm: 216930 18323 2031 9 0 211388 0
[pid=31244/tid=31246] ppid=31242 vsize=867720 CPUtime=1.18
/proc/31244/task/31246/stat : 31246 (java) R 31242 31244 30436 0 -1 64 15822 0 1 0 99 19 0 0 25 0 9 0 27723868 888545280 18323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31244/tid=31247] ppid=31242 vsize=867720 CPUtime=0.06
/proc/31244/task/31247/stat : 31247 (java) S 31242 31244 30436 0 -1 64 1757 0 0 0 6 0 0 0 16 0 9 0 27723870 888545280 18323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31244/tid=31248] ppid=31242 vsize=867720 CPUtime=0
/proc/31244/task/31248/stat : 31248 (java) S 31242 31244 30436 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27723870 888545280 18323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31244/tid=31249] ppid=31242 vsize=867720 CPUtime=0
/proc/31244/task/31249/stat : 31249 (java) S 31242 31244 30436 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27723870 888545280 18323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31244/tid=31250] ppid=31242 vsize=867720 CPUtime=0
/proc/31244/task/31250/stat : 31250 (java) S 31242 31244 30436 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 27723872 888545280 18323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31244/tid=31251] ppid=31242 vsize=867720 CPUtime=0.21
/proc/31244/task/31251/stat : 31251 (java) S 31242 31244 30436 0 -1 64 717 0 0 0 21 0 0 0 16 0 9 0 27723872 888545280 18323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31244/tid=31252] ppid=31242 vsize=867720 CPUtime=0
/proc/31244/task/31252/stat : 31252 (java) S 31242 31244 30436 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 27723872 888545280 18323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31244/tid=31253] ppid=31242 vsize=867720 CPUtime=0
/proc/31244/task/31253/stat : 31253 (java) S 31242 31244 30436 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 27723872 888545280 18323 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) 867720
[startup+3.10262 s]
/proc/loadavg: 1.99 2.00 1.96 3/90 31253
/proc/meminfo: memFree=1532432/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=868128 CPUtime=3.04
/proc/31244/stat : 31244 (java) S 31242 31244 30436 0 -1 0 42822 979 1 0 247 35 21 1 20 0 9 0 27723867 888963072 23812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31244/statm: 217032 23812 2662 9 0 211468 0
[pid=31244/tid=31246] ppid=31242 vsize=868128 CPUtime=2.48
/proc/31244/task/31246/stat : 31246 (java) R 31242 31244 30436 0 -1 64 29875 979 1 0 197 29 21 1 21 0 9 0 27723868 888963072 23812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31244/tid=31247] ppid=31242 vsize=868128 CPUtime=0.47
/proc/31244/task/31247/stat : 31247 (java) R 31242 31244 30436 0 -1 64 11130 979 0 0 22 3 21 1 16 0 9 0 27723870 888963072 23812 996147200 134512640 134550932 4294955968 18446744073709551615 102546957 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31244/tid=31248] ppid=31242 vsize=868128 CPUtime=0.22
/proc/31244/task/31248/stat : 31248 (java) S 31242 31244 30436 0 -1 64 21 979 0 0 0 0 21 1 16 0 9 0 27723870 888963072 23812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31244/tid=31249] ppid=31242 vsize=868128 CPUtime=0.22
/proc/31244/task/31249/stat : 31249 (java) S 31242 31244 30436 0 -1 64 9 979 0 0 0 0 21 1 16 0 9 0 27723870 888963072 23812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31244/tid=31250] ppid=31242 vsize=868128 CPUtime=0.22
/proc/31244/task/31250/stat : 31250 (java) S 31242 31244 30436 0 -1 64 2 979 0 0 0 0 21 1 25 0 9 0 27723872 888963072 23812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31244/tid=31251] ppid=31242 vsize=868128 CPUtime=0.5
/proc/31244/task/31251/stat : 31251 (java) S 31242 31244 30436 0 -1 64 980 979 0 0 28 0 21 1 15 0 9 0 27723872 888963072 23812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31244/tid=31252] ppid=31242 vsize=868128 CPUtime=0.22
/proc/31244/task/31252/stat : 31252 (java) S 31242 31244 30436 0 -1 64 0 979 0 0 0 0 21 1 25 0 9 0 27723872 888963072 23812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31244/tid=31253] ppid=31242 vsize=868128 CPUtime=0.22
/proc/31244/task/31253/stat : 31253 (java) S 31242 31244 30436 0 -1 64 9 979 0 0 0 0 21 1 15 0 9 0 27723872 888963072 23812 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) 868128
[startup+6.30223 s]
/proc/loadavg: 1.99 2.00 1.96 3/90 31257
/proc/meminfo: memFree=1512464/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=868244 CPUtime=6.23
/proc/31244/stat : 31244 (java) S 31242 31244 30436 0 -1 0 43492 979 1 0 565 36 21 1 20 0 9 0 27723867 889081856 23889 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31244/statm: 217061 23889 2662 9 0 211497 0
[pid=31244/tid=31246] ppid=31242 vsize=868244 CPUtime=5.59
/proc/31244/task/31246/stat : 31246 (java) R 31242 31244 30436 0 -1 64 29949 979 1 0 507 30 21 1 17 0 9 0 27723868 889081856 23889 996147200 134512640 134550932 4294955968 18446744073709551615 4127266789 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31244/tid=31247] ppid=31242 vsize=868244 CPUtime=0.48
/proc/31244/task/31247/stat : 31247 (java) S 31242 31244 30436 0 -1 64 11644 979 0 0 23 3 21 1 16 0 9 0 27723870 889081856 23889 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31244/tid=31248] ppid=31242 vsize=868244 CPUtime=0.22
/proc/31244/task/31248/stat : 31248 (java) S 31242 31244 30436 0 -1 64 21 979 0 0 0 0 21 1 16 0 9 0 27723870 889081856 23889 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31244/tid=31249] ppid=31242 vsize=868244 CPUtime=0.22
/proc/31244/task/31249/stat : 31249 (java) S 31242 31244 30436 0 -1 64 9 979 0 0 0 0 21 1 15 0 9 0 27723870 889081856 23889 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31244/tid=31250] ppid=31242 vsize=868244 CPUtime=0.22
/proc/31244/task/31250/stat : 31250 (java) S 31242 31244 30436 0 -1 64 2 979 0 0 0 0 21 1 25 0 9 0 27723872 889081856 23889 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31244/tid=31251] ppid=31242 vsize=868244 CPUtime=0.56
/proc/31244/task/31251/stat : 31251 (java) S 31242 31244 30436 0 -1 64 1030 979 0 0 33 1 21 1 15 0 9 0 27723872 889081856 23889 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31244/tid=31252] ppid=31242 vsize=868244 CPUtime=0.22
/proc/31244/task/31252/stat : 31252 (java) S 31242 31244 30436 0 -1 64 0 979 0 0 0 0 21 1 25 0 9 0 27723872 889081856 23889 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31244/tid=31253] ppid=31242 vsize=868244 CPUtime=0.22
/proc/31244/task/31253/stat : 31253 (java) R 31242 31244 30436 0 -1 64 35 979 0 0 0 0 21 1 15 0 9 0 27723872 889081856 23889 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 868244
[startup+12.7024 s]
/proc/loadavg: 1.99 2.00 1.96 3/90 31257
/proc/meminfo: memFree=1512336/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=868244 CPUtime=12.6
/proc/31244/stat : 31244 (java) S 31242 31244 30436 0 -1 0 43538 979 1 0 1201 37 21 1 20 0 9 0 27723867 889081856 23906 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31244/statm: 217061 23906 2662 9 0 211497 0
[pid=31244/tid=31246] ppid=31242 vsize=868244 CPUtime=11.92
/proc/31244/task/31246/stat : 31246 (java) R 31242 31244 30436 0 -1 64 29953 979 1 0 1140 30 21 1 25 0 9 0 27723868 889081856 23906 996147200 134512640 134550932 4294955968 18446744073709551615 4127399456 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31244/tid=31247] ppid=31242 vsize=868244 CPUtime=0.48
/proc/31244/task/31247/stat : 31247 (java) S 31242 31244 30436 0 -1 64 11644 979 0 0 23 3 21 1 16 0 9 0 27723870 889081856 23906 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31244/tid=31248] ppid=31242 vsize=868244 CPUtime=0.22
/proc/31244/task/31248/stat : 31248 (java) S 31242 31244 30436 0 -1 64 21 979 0 0 0 0 21 1 16 0 9 0 27723870 889081856 23906 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31244/tid=31249] ppid=31242 vsize=868244 CPUtime=0.22
/proc/31244/task/31249/stat : 31249 (java) S 31242 31244 30436 0 -1 64 9 979 0 0 0 0 21 1 15 0 9 0 27723870 889081856 23906 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31244/tid=31250] ppid=31242 vsize=868244 CPUtime=0.22
/proc/31244/task/31250/stat : 31250 (java) S 31242 31244 30436 0 -1 64 2 979 0 0 0 0 21 1 25 0 9 0 27723872 889081856 23906 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31244/tid=31251] ppid=31242 vsize=868244 CPUtime=0.59
/proc/31244/task/31251/stat : 31251 (java) S 31242 31244 30436 0 -1 64 1072 979 0 0 36 1 21 1 16 0 9 0 27723872 889081856 23906 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31244/tid=31252] ppid=31242 vsize=868244 CPUtime=0.22
/proc/31244/task/31252/stat : 31252 (java) S 31242 31244 30436 0 -1 64 0 979 0 0 0 0 21 1 25 0 9 0 27723872 889081856 23906 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31244/tid=31253] ppid=31242 vsize=868244 CPUtime=0.22
/proc/31244/task/31253/stat : 31253 (java) S 31242 31244 30436 0 -1 64 35 979 0 0 0 0 21 1 15 0 9 0 27723872 889081856 23906 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 868244
Solver just ended. Dumping a history of the last processes samples
[startup+13.1025 s]
/proc/loadavg: 1.99 2.00 1.96 3/90 31257
/proc/meminfo: memFree=1512336/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=868244 CPUtime=13
/proc/31244/stat : 31244 (java) S 31242 31244 30436 0 -1 0 43538 979 1 0 1241 37 21 1 20 0 9 0 27723867 889081856 23906 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31244/statm: 217061 23906 2662 9 0 211497 0
[pid=31244/tid=31246] ppid=31242 vsize=868244 CPUtime=12.32
/proc/31244/task/31246/stat : 31246 (java) R 31242 31244 30436 0 -1 64 29953 979 1 0 1180 30 21 1 25 0 9 0 27723868 889081856 23906 996147200 134512640 134550932 4294955968 18446744073709551615 4127273946 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31244/tid=31247] ppid=31242 vsize=868244 CPUtime=0.48
/proc/31244/task/31247/stat : 31247 (java) S 31242 31244 30436 0 -1 64 11644 979 0 0 23 3 21 1 16 0 9 0 27723870 889081856 23906 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31244/tid=31248] ppid=31242 vsize=868244 CPUtime=0.22
/proc/31244/task/31248/stat : 31248 (java) S 31242 31244 30436 0 -1 64 21 979 0 0 0 0 21 1 16 0 9 0 27723870 889081856 23906 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31244/tid=31249] ppid=31242 vsize=868244 CPUtime=0.22
/proc/31244/task/31249/stat : 31249 (java) S 31242 31244 30436 0 -1 64 9 979 0 0 0 0 21 1 15 0 9 0 27723870 889081856 23906 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31244/tid=31250] ppid=31242 vsize=868244 CPUtime=0.22
/proc/31244/task/31250/stat : 31250 (java) S 31242 31244 30436 0 -1 64 2 979 0 0 0 0 21 1 25 0 9 0 27723872 889081856 23906 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31244/tid=31251] ppid=31242 vsize=868244 CPUtime=0.59
/proc/31244/task/31251/stat : 31251 (java) S 31242 31244 30436 0 -1 64 1072 979 0 0 36 1 21 1 16 0 9 0 27723872 889081856 23906 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31244/tid=31252] ppid=31242 vsize=868244 CPUtime=0.22
/proc/31244/task/31252/stat : 31252 (java) S 31242 31244 30436 0 -1 64 0 979 0 0 0 0 21 1 25 0 9 0 27723872 889081856 23906 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31244/tid=31253] ppid=31242 vsize=868244 CPUtime=0.22
/proc/31244/task/31253/stat : 31253 (java) S 31242 31244 30436 0 -1 64 35 979 0 0 0 0 21 1 15 0 9 0 27723872 889081856 23906 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13
Current children cumulated vsize (KiB) 868244
Child status: 0
Real time (s): 13.1919
CPU time (s): 13.095
CPU user time (s): 12.6891
CPU system time (s): 0.405938
CPU usage (%): 99.2656
Max. virtual memory (cumulated for all children) (KiB): 868244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.6891
system time used= 0.405938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44557
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= 2382
involuntary context switches= 2353
runsolver used 0.026995 second user time and 0.043993 second system time
The end
Begin job on node86 at 2009-07-12 15:49:46
IDJOB=2095091
IDBENCH=54864
IDSOLVER=773
FILE ID=node86/2095091-1247406586
PBS_JOBID= 9510479
Free space on /tmp= 66316 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/pseudo/ttp/normalized-circ-6-3.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-2095091-1247406586/watcher-2095091-1247406586 -o /tmp/evaluation-result-2095091-1247406586/solver-2095091-1247406586 -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-2095091-1247406586.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5f02e94dfa7c928ac6b219598e0d8ae8
RANDOM SEED=22874599
node86.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.265
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.265
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1598712 kB
Buffers: 71516 kB
Cached: 223264 kB
SwapCached: 0 kB
Active: 260076 kB
Inactive: 133632 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1598712 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2788 kB
Writeback: 0 kB
Mapped: 119244 kB
Slab: 48500 kB
Committed_AS: 1007340 kB
PageTables: 2052 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= 66312 MiB
End job on node86 at 2009-07-12 15:49:59