0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mac.xml
0.18/0.28
0.18/0.29 instance
0.18/0.29 name=HOME/instance-2094995-1247405864.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.33
0.28/0.33 variables being loaded...
0.28/0.40 nbVariables=400 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=800
0.28/0.40 => wckTime=0.148 cpuTime=0.12 mem=8M867
0.28/0.40
0.28/0.40 predicates being loaded...
0.38/0.46
0.38/0.46 constraints being loaded...
0.87/0.91 nbConstraints=600 nbConvertedConstraints=201 nbConvertConstraintsChecks=16 nbExtensionStructures=2
0.87/0.92 nbSharedExtensionStructures=199 nbConflictsStructures=3 nbSharedConflictsStructures=597
0.87/0.92 nbSharedBinaryRepresentations=5 nbEvaluationManagers=1 nbSharedEvaluationManagers=398 minDegree=3 maxDegree=4
0.87/0.95 minArity=2 avgArity=2.66 maxArity=3 nbGenerators=0 nbFusions=0 symmetryWckTime=0.133 symmetryCpuTime=0.05
0.87/0.95 => wckTime=0.647 cpuTime=0.41 mem=19M687
0.94/1.08
0.94/1.08 solver IterativeSystematicSolver being built...
1.12/1.25 => wckTime=0.998 cpuTime=0.58 mem=25M117
1.12/1.26
1.12/1.26 preprocessing
1.12/1.26 nbConstraintChecks=0 nbPropagations=400 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.12/1.26 detectedInconsistency=no
1.12/1.26 => wckTime=0.013 cpuTime=0.01 mem=26M92
1.31/1.44
1.31/1.44 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=27M67)
14.45/14.66
14.45/14.66 search
14.45/14.66 run=18 nbConstraintChecks=4472539 nbValidityChecks=2277661 minDepth=3 maxDepth=400 nbPropagations=5468159
14.45/14.66 nbRevisions=12222384 nbUselessRevisions=7006370 nbAssignments=176919 nbFailedAssignments=33089
14.45/14.67 nbInferredBacktracks=253 nbBacktracks=142544 nbVisitedNodes=240066 nbRestartNogoods=112 nbFoundSolutions=1
14.45/14.67 nbSEliminables=27.86 nbREliminables=308.2 nbIEliminables=26.8 nbDEliminables=0 nbPEliminables=0
14.45/14.67 => wckTime=13.414 cpuTime=13.26 mem=27M67
14.45/14.67
14.45/14.67 global
14.45/14.67 nbConstraintChecks=4472539 nbValidityChecks=2277661 nbPropagations=5468559 nbRevisions=12222384
14.45/14.67 nbUselessRevisions=7006370 nbRestartNogoods=112 solvingWckTime=13.416 solvingCpuTime=13.26 expiredTime=no
14.45/14.67 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=13.84 globalCpuTime=13.88
14.45/14.67 => wckTime=14.415 cpuTime=13.84 mem=27M67
14.45/14.67
14.45/14.67 s SATISFIABLE
14.45/14.67 v 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1
14.45/14.67 d NODES 176919
14.45/14.67 d CHECKS 4472539
14.45/14.67
14.45/14.67 totalWckTime=14.486 totalCpuTime=13.88
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2094995-1247405864/watcher-2094995-1247405864 -o /tmp/evaluation-result-2094995-1247405864/solver-2094995-1247405864 -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-2094995-1247405864.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.75 2.24 2.08 4/80 31005
/proc/meminfo: memFree=1600180/2055920 swapFree=4192812/4192956
[pid=31005] ppid=31003 vsize=18576 CPUtime=0
/proc/31005/stat : 31005 (runsolver) R 31003 31005 29977 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 27651117 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 256364834087 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/31005/statm: 4644 284 249 26 0 2626 0
[startup+0.018502 s]
/proc/loadavg: 2.75 2.24 2.08 4/80 31005
/proc/meminfo: memFree=1600180/2055920 swapFree=4192812/4192956
[pid=31005] ppid=31003 vsize=44540 CPUtime=0
/proc/31005/stat : 31005 (java) S 31003 31005 29977 0 -1 0 919 0 1 0 0 0 0 0 18 0 2 0 27651117 45608960 672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/31005/statm: 11135 672 364 9 0 9518 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 44540
[startup+0.101509 s]
/proc/loadavg: 2.75 2.24 2.08 4/80 31005
/proc/meminfo: memFree=1600180/2055920 swapFree=4192812/4192956
[pid=31005] ppid=31003 vsize=865984 CPUtime=0.08
/proc/31005/stat : 31005 (java) S 31003 31005 29977 0 -1 0 3834 0 1 0 7 1 0 0 18 0 9 0 27651117 886767616 3277 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31005/statm: 216496 3281 1726 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301853 s]
/proc/loadavg: 2.75 2.24 2.08 4/80 31005
/proc/meminfo: memFree=1600180/2055920 swapFree=4192812/4192956
[pid=31005] ppid=31003 vsize=866380 CPUtime=0.28
/proc/31005/stat : 31005 (java) S 31003 31005 29977 0 -1 0 5943 0 1 0 24 4 0 0 18 0 9 0 27651117 887173120 5310 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31005/statm: 216595 5321 1983 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.705758 s]
/proc/loadavg: 2.75 2.24 2.08 4/80 31005
/proc/meminfo: memFree=1600180/2055920 swapFree=4192812/4192956
[pid=31005] ppid=31003 vsize=867776 CPUtime=0.68
/proc/31005/stat : 31005 (java) S 31003 31005 29977 0 -1 0 8760 0 1 0 62 6 0 0 18 0 9 0 27651117 888602624 8112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31005/statm: 216944 8121 2039 9 0 211380 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867776
[startup+1.50266 s]
/proc/loadavg: 2.75 2.24 2.08 4/89 31018
/proc/meminfo: memFree=1571692/2055920 swapFree=4192812/4192956
[pid=31005] ppid=31003 vsize=869448 CPUtime=1.42
/proc/31005/stat : 31005 (java) S 31003 31005 29977 0 -1 0 18581 321 1 0 124 13 0 5 18 0 9 0 27651117 890314752 12102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31005/statm: 217362 12102 2658 9 0 211798 0
[pid=31005/tid=31007] ppid=31003 vsize=869448 CPUtime=1.01
/proc/31005/task/31007/stat : 31007 (java) R 31003 31005 29977 0 -1 64 13478 321 1 0 86 10 0 5 20 0 9 0 27651118 890314752 12102 996147200 134512640 134550932 4294955968 18446744073709551615 4127200023 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31008] ppid=31003 vsize=869448 CPUtime=0.12
/proc/31005/task/31008/stat : 31008 (java) S 31003 31005 29977 0 -1 64 3332 321 0 0 6 1 0 5 17 0 9 0 27651119 890314752 12102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31009] ppid=31003 vsize=869448 CPUtime=0.05
/proc/31005/task/31009/stat : 31009 (java) S 31003 31005 29977 0 -1 64 19 321 0 0 0 0 0 5 17 0 9 0 27651120 890314752 12102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31010] ppid=31003 vsize=869448 CPUtime=0.05
/proc/31005/task/31010/stat : 31010 (java) S 31003 31005 29977 0 -1 64 11 321 0 0 0 0 0 5 16 0 9 0 27651120 890314752 12102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31011] ppid=31003 vsize=869448 CPUtime=0.05
/proc/31005/task/31011/stat : 31011 (java) S 31003 31005 29977 0 -1 64 2 321 0 0 0 0 0 5 18 0 9 0 27651122 890314752 12102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31005/tid=31012] ppid=31003 vsize=869448 CPUtime=0.36
/proc/31005/task/31012/stat : 31012 (java) S 31003 31005 29977 0 -1 64 916 321 0 0 30 1 0 5 15 0 9 0 27651122 890314752 12102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31013] ppid=31003 vsize=869448 CPUtime=0.05
/proc/31005/task/31013/stat : 31013 (java) S 31003 31005 29977 0 -1 64 0 321 0 0 0 0 0 5 19 0 9 0 27651122 890314752 12102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31005/tid=31014] ppid=31003 vsize=869448 CPUtime=0.05
/proc/31005/task/31014/stat : 31014 (java) S 31003 31005 29977 0 -1 64 10 321 0 0 0 0 0 5 15 0 9 0 27651122 890314752 12102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 869448
[startup+3.10282 s]
/proc/loadavg: 2.75 2.24 2.08 3/89 31018
/proc/meminfo: memFree=1561516/2055920 swapFree=4192812/4192956
[pid=31005] ppid=31003 vsize=869580 CPUtime=3
/proc/31005/stat : 31005 (java) S 31003 31005 29977 0 -1 0 18616 321 1 0 282 13 0 5 18 0 9 0 27651117 890449920 12136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31005/statm: 217395 12136 2658 9 0 211831 0
[pid=31005/tid=31007] ppid=31003 vsize=869580 CPUtime=2.56
/proc/31005/task/31007/stat : 31007 (java) R 31003 31005 29977 0 -1 64 13486 321 1 0 241 10 0 5 25 0 9 0 27651118 890449920 12136 996147200 134512640 134550932 4294955968 18446744073709551615 4127102739 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31008] ppid=31003 vsize=869580 CPUtime=0.12
/proc/31005/task/31008/stat : 31008 (java) S 31003 31005 29977 0 -1 64 3332 321 0 0 6 1 0 5 17 0 9 0 27651119 890449920 12136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31009] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31009/stat : 31009 (java) S 31003 31005 29977 0 -1 64 19 321 0 0 0 0 0 5 17 0 9 0 27651120 890449920 12136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31010] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31010/stat : 31010 (java) S 31003 31005 29977 0 -1 64 11 321 0 0 0 0 0 5 16 0 9 0 27651120 890449920 12136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31011] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31011/stat : 31011 (java) S 31003 31005 29977 0 -1 64 2 321 0 0 0 0 0 5 18 0 9 0 27651122 890449920 12136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31005/tid=31012] ppid=31003 vsize=869580 CPUtime=0.4
/proc/31005/task/31012/stat : 31012 (java) S 31003 31005 29977 0 -1 64 943 321 0 0 34 1 0 5 15 0 9 0 27651122 890449920 12136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31013] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31013/stat : 31013 (java) S 31003 31005 29977 0 -1 64 0 321 0 0 0 0 0 5 19 0 9 0 27651122 890449920 12136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31005/tid=31014] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31014/stat : 31014 (java) S 31003 31005 29977 0 -1 64 10 321 0 0 0 0 0 5 15 0 9 0 27651122 890449920 12136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 869580
[startup+6.30215 s]
/proc/loadavg: 2.68 2.24 2.08 3/89 31018
/proc/meminfo: memFree=1561324/2055920 swapFree=4192812/4192956
[pid=31005] ppid=31003 vsize=869580 CPUtime=6.19
/proc/31005/stat : 31005 (java) S 31003 31005 29977 0 -1 0 18652 321 1 0 601 13 0 5 18 0 9 0 27651117 890449920 12139 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31005/statm: 217395 12139 2658 9 0 211831 0
[pid=31005/tid=31007] ppid=31003 vsize=869580 CPUtime=5.75
/proc/31005/task/31007/stat : 31007 (java) R 31003 31005 29977 0 -1 64 13491 321 1 0 560 10 0 5 25 0 9 0 27651118 890449920 12139 996147200 134512640 134550932 4294955968 18446744073709551615 4127194008 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31008] ppid=31003 vsize=869580 CPUtime=0.12
/proc/31005/task/31008/stat : 31008 (java) S 31003 31005 29977 0 -1 64 3332 321 0 0 6 1 0 5 16 0 9 0 27651119 890449920 12139 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31005/tid=31009] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31009/stat : 31009 (java) S 31003 31005 29977 0 -1 64 19 321 0 0 0 0 0 5 17 0 9 0 27651120 890449920 12139 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31010] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31010/stat : 31010 (java) S 31003 31005 29977 0 -1 64 11 321 0 0 0 0 0 5 16 0 9 0 27651120 890449920 12139 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31011] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31011/stat : 31011 (java) S 31003 31005 29977 0 -1 64 2 321 0 0 0 0 0 5 18 0 9 0 27651122 890449920 12139 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31005/tid=31012] ppid=31003 vsize=869580 CPUtime=0.4
/proc/31005/task/31012/stat : 31012 (java) S 31003 31005 29977 0 -1 64 943 321 0 0 34 1 0 5 15 0 9 0 27651122 890449920 12139 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31013] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31013/stat : 31013 (java) S 31003 31005 29977 0 -1 64 0 321 0 0 0 0 0 5 19 0 9 0 27651122 890449920 12139 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31005/tid=31014] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31014/stat : 31014 (java) S 31003 31005 29977 0 -1 64 41 321 0 0 0 0 0 5 15 0 9 0 27651122 890449920 12139 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 869580
[startup+12.7028 s]
/proc/loadavg: 2.63 2.23 2.08 3/89 31018
/proc/meminfo: memFree=1561284/2055920 swapFree=4192812/4192956
[pid=31005] ppid=31003 vsize=869580 CPUtime=12.56
/proc/31005/stat : 31005 (java) S 31003 31005 29977 0 -1 0 18654 321 1 0 1238 13 0 5 18 0 9 0 27651117 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31005/statm: 217395 12141 2658 9 0 211831 0
[pid=31005/tid=31007] ppid=31003 vsize=869580 CPUtime=12.12
/proc/31005/task/31007/stat : 31007 (java) R 31003 31005 29977 0 -1 64 13493 321 1 0 1197 10 0 5 25 0 9 0 27651118 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4127186506 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31008] ppid=31003 vsize=869580 CPUtime=0.12
/proc/31005/task/31008/stat : 31008 (java) S 31003 31005 29977 0 -1 64 3332 321 0 0 6 1 0 5 16 0 9 0 27651119 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31005/tid=31009] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31009/stat : 31009 (java) S 31003 31005 29977 0 -1 64 19 321 0 0 0 0 0 5 17 0 9 0 27651120 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31010] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31010/stat : 31010 (java) S 31003 31005 29977 0 -1 64 11 321 0 0 0 0 0 5 16 0 9 0 27651120 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31011] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31011/stat : 31011 (java) S 31003 31005 29977 0 -1 64 2 321 0 0 0 0 0 5 18 0 9 0 27651122 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31005/tid=31012] ppid=31003 vsize=869580 CPUtime=0.4
/proc/31005/task/31012/stat : 31012 (java) S 31003 31005 29977 0 -1 64 943 321 0 0 34 1 0 5 15 0 9 0 27651122 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31013] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31013/stat : 31013 (java) S 31003 31005 29977 0 -1 64 0 321 0 0 0 0 0 5 19 0 9 0 27651122 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31005/tid=31014] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31014/stat : 31014 (java) S 31003 31005 29977 0 -1 64 41 321 0 0 0 0 0 5 15 0 9 0 27651122 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 869580
Solver just ended. Dumping a history of the last processes samples
[startup+13.5029 s]
/proc/loadavg: 2.63 2.23 2.08 3/89 31018
/proc/meminfo: memFree=1561284/2055920 swapFree=4192812/4192956
[pid=31005] ppid=31003 vsize=869580 CPUtime=13.35
/proc/31005/stat : 31005 (java) S 31003 31005 29977 0 -1 0 18654 321 1 0 1317 13 0 5 18 0 9 0 27651117 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31005/statm: 217395 12141 2658 9 0 211831 0
[pid=31005/tid=31007] ppid=31003 vsize=869580 CPUtime=12.91
/proc/31005/task/31007/stat : 31007 (java) R 31003 31005 29977 0 -1 64 13493 321 1 0 1276 10 0 5 25 0 9 0 27651118 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4127123800 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31008] ppid=31003 vsize=869580 CPUtime=0.12
/proc/31005/task/31008/stat : 31008 (java) S 31003 31005 29977 0 -1 64 3332 321 0 0 6 1 0 5 16 0 9 0 27651119 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31005/tid=31009] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31009/stat : 31009 (java) S 31003 31005 29977 0 -1 64 19 321 0 0 0 0 0 5 17 0 9 0 27651120 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31010] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31010/stat : 31010 (java) S 31003 31005 29977 0 -1 64 11 321 0 0 0 0 0 5 16 0 9 0 27651120 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31011] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31011/stat : 31011 (java) S 31003 31005 29977 0 -1 64 2 321 0 0 0 0 0 5 18 0 9 0 27651122 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31005/tid=31012] ppid=31003 vsize=869580 CPUtime=0.4
/proc/31005/task/31012/stat : 31012 (java) S 31003 31005 29977 0 -1 64 943 321 0 0 34 1 0 5 15 0 9 0 27651122 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31013] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31013/stat : 31013 (java) S 31003 31005 29977 0 -1 64 0 321 0 0 0 0 0 5 19 0 9 0 27651122 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31005/tid=31014] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31014/stat : 31014 (java) S 31003 31005 29977 0 -1 64 41 321 0 0 0 0 0 5 15 0 9 0 27651122 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.35
Current children cumulated vsize (KiB) 869580
[startup+14.307 s]
/proc/loadavg: 2.63 2.23 2.08 3/89 31018
/proc/meminfo: memFree=1561284/2055920 swapFree=4192812/4192956
[pid=31005] ppid=31003 vsize=869580 CPUtime=14.15
/proc/31005/stat : 31005 (java) S 31003 31005 29977 0 -1 0 18654 321 1 0 1397 13 0 5 18 0 9 0 27651117 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31005/statm: 217395 12141 2658 9 0 211831 0
[pid=31005/tid=31007] ppid=31003 vsize=869580 CPUtime=13.71
/proc/31005/task/31007/stat : 31007 (java) R 31003 31005 29977 0 -1 64 13493 321 1 0 1356 10 0 5 25 0 9 0 27651118 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4127102739 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31008] ppid=31003 vsize=869580 CPUtime=0.12
/proc/31005/task/31008/stat : 31008 (java) S 31003 31005 29977 0 -1 64 3332 321 0 0 6 1 0 5 16 0 9 0 27651119 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31005/tid=31009] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31009/stat : 31009 (java) S 31003 31005 29977 0 -1 64 19 321 0 0 0 0 0 5 17 0 9 0 27651120 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31010] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31010/stat : 31010 (java) S 31003 31005 29977 0 -1 64 11 321 0 0 0 0 0 5 16 0 9 0 27651120 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31011] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31011/stat : 31011 (java) S 31003 31005 29977 0 -1 64 2 321 0 0 0 0 0 5 18 0 9 0 27651122 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31005/tid=31012] ppid=31003 vsize=869580 CPUtime=0.4
/proc/31005/task/31012/stat : 31012 (java) S 31003 31005 29977 0 -1 64 943 321 0 0 34 1 0 5 15 0 9 0 27651122 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31013] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31013/stat : 31013 (java) S 31003 31005 29977 0 -1 64 0 321 0 0 0 0 0 5 19 0 9 0 27651122 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31005/tid=31014] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31014/stat : 31014 (java) S 31003 31005 29977 0 -1 64 41 321 0 0 0 0 0 5 15 0 9 0 27651122 890449920 12141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.15
Current children cumulated vsize (KiB) 869580
[startup+14.703 s]
/proc/loadavg: 2.63 2.23 2.08 3/89 31018
/proc/meminfo: memFree=1561284/2055920 swapFree=4192812/4192956
[pid=31005] ppid=31003 vsize=869580 CPUtime=14.53
/proc/31005/stat : 31005 (java) S 31003 31005 29977 0 -1 0 18753 321 1 0 1434 14 0 5 18 0 9 0 27651117 890449920 12237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31005/statm: 217395 12237 2658 9 0 211831 0
[pid=31005/tid=31007] ppid=31003 vsize=869580 CPUtime=14.07
/proc/31005/task/31007/stat : 31007 (java) S 31003 31005 29977 0 -1 64 13592 321 1 0 1392 10 0 5 25 0 9 0 27651118 890449920 12237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31008] ppid=31003 vsize=869580 CPUtime=0.12
/proc/31005/task/31008/stat : 31008 (java) S 31003 31005 29977 0 -1 64 3332 321 0 0 6 1 0 5 16 0 9 0 27651119 890449920 12237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31005/tid=31009] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31009/stat : 31009 (java) S 31003 31005 29977 0 -1 64 19 321 0 0 0 0 0 5 17 0 9 0 27651120 890449920 12237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31010] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31010/stat : 31010 (java) S 31003 31005 29977 0 -1 64 11 321 0 0 0 0 0 5 16 0 9 0 27651120 890449920 12237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31011] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31011/stat : 31011 (java) S 31003 31005 29977 0 -1 64 2 321 0 0 0 0 0 5 18 0 9 0 27651122 890449920 12237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31005/tid=31012] ppid=31003 vsize=869580 CPUtime=0.4
/proc/31005/task/31012/stat : 31012 (java) S 31003 31005 29977 0 -1 64 943 321 0 0 34 1 0 5 16 0 9 0 27651122 890449920 12237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31005/tid=31013] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31013/stat : 31013 (java) S 31003 31005 29977 0 -1 64 0 321 0 0 0 0 0 5 19 0 9 0 27651122 890449920 12237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31005/tid=31014] ppid=31003 vsize=869580 CPUtime=0.05
/proc/31005/task/31014/stat : 31014 (java) S 31003 31005 29977 0 -1 64 41 321 0 0 0 0 0 5 15 0 9 0 27651122 890449920 12237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.53
Current children cumulated vsize (KiB) 869580
Child status: 0
Real time (s): 14.7315
CPU time (s): 14.5578
CPU user time (s): 14.3508
CPU system time (s): 0.206968
CPU usage (%): 98.8211
Max. virtual memory (cumulated for all children) (KiB): 869580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.3508
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19101
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= 1893
involuntary context switches= 1874
runsolver used 0.052991 second user time and 0.081987 second system time
The end
Begin job on node90 at 2009-07-12 15:37:44
IDJOB=2094995
IDBENCH=54727
IDSOLVER=773
FILE ID=node90/2094995-1247405864
PBS_JOBID= 9510472
Free space on /tmp= 66296 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/pseudo/aim/normalized-aim-200-2-0-2.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-2094995-1247405864/watcher-2094995-1247405864 -o /tmp/evaluation-result-2094995-1247405864/solver-2094995-1247405864 -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-2094995-1247405864.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 855100c75029bcef1508f6d80866717f
RANDOM SEED=425371254
node90.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.212
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.212
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: 1600596 kB
Buffers: 62364 kB
Cached: 230240 kB
SwapCached: 0 kB
Active: 246400 kB
Inactive: 143536 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1600596 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2272 kB
Writeback: 0 kB
Mapped: 111636 kB
Slab: 50600 kB
Committed_AS: 1015196 kB
PageTables: 1988 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= 66296 MiB
End job on node90 at 2009-07-12 15:37:59