0.00/0.08
0.00/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-2095578-1247407786.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.35 nbVariables=8 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26 nbTotalValues=208
0.28/0.35 => wckTime=0.105 cpuTime=0.09 mem=7M892
0.28/0.35
0.28/0.35 predicates being loaded...
0.38/0.41
0.38/0.41 constraints being loaded...
0.58/0.67 nbConstraints=155 nbGlobalConstraints=1 nbMergedConstraints=196 nbConvertedConstraints=28
0.58/0.67 nbConvertConstraintsChecks=676 nbExtensionStructures=1 nbSharedExtensionStructures=27 nbConflictsStructures=1
0.58/0.67 nbSharedConflictsStructures=27 nbUnbuiltConflictsStructures=2 nbSharedBinaryRepresentations=1
0.58/0.67 nbEvaluationManagers=2 nbSharedEvaluationManagers=124 minDegree=64 maxDegree=64 minArity=2 avgArity=3.3
0.58/0.67 maxArity=8 nbGenerators=0 nbFusions=0 symmetryWckTime=0.045 symmetryCpuTime=0.03 nbCliques=1
0.58/0.67 => wckTime=0.424 cpuTime=0.3 mem=16M745
0.68/0.72
0.68/0.72 solver IterativeSystematicSolver being built...
0.77/0.80
0.77/0.80 INFO : Forward propagation technique limited
0.77/0.87 => wckTime=0.627 cpuTime=0.43 mem=21M726
0.97/1.07
0.97/1.07 preprocessing
0.97/1.07 nbConstraintChecks=129447 nbValidityChecks=237917 nbPropagations=209 nbRevisions=22949 nbUselessRevisions=22275
0.97/1.07 nbSingletonTests=53 nbEffectiveSingletonTests=7 nbACRemovals=56 nbFoundSingletons=0 nbRemovedValues=73
0.97/1.07 detectedInconsistency=no
0.97/1.07 => wckTime=0.2 cpuTime=0.17 mem=21M726
1.36/1.47
1.36/1.48 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=22M701)
2.86/2.97
2.86/2.97 search
2.86/2.97 run=9 nbConstraintChecks=1603253 nbValidityChecks=3121568 minDepth=0 maxDepth=4 nbPropagations=24081
2.86/2.97 nbRevisions=2064980 nbUselessRevisions=1981430 nbAssignments=1571 nbFailedAssignments=931 nbBacktracks=613
2.86/2.97 nbVisitedNodes=2935 nbRestartNogoods=74 nbSEliminables=0 nbREliminables=0 nbIEliminables=4.05 nbDEliminables=0
2.86/2.97 nbPEliminables=0
2.86/2.97 => wckTime=2.104 cpuTime=2.01 mem=22M701
2.86/2.98
2.86/2.98 global
2.86/2.98 nbConstraintChecks=1732700 nbValidityChecks=3359485 nbPropagations=24290 nbRevisions=2087929
2.86/2.98 nbUselessRevisions=2003705 nbRestartNogoods=74 solvingWckTime=2.106 solvingCpuTime=2.01 expiredTime=no
2.86/2.98 totalExploration=yes nbFoundSolutions=0 globalCpuTime=2.49
2.86/2.98 => wckTime=2.735 cpuTime=2.45 mem=22M701
2.86/2.98
2.86/2.98 s UNSATISFIABLE
2.86/2.98 d NODES 1571
2.86/2.98 d CHECKS 1732700
2.86/2.98
2.86/2.98 totalWckTime=2.801 totalCpuTime=2.49
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095578-1247407786/watcher-2095578-1247407786 -o /tmp/evaluation-result-2095578-1247407786/solver-2095578-1247407786 -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-2095578-1247407786.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.07 1.99 1.91 4/80 2926
/proc/meminfo: memFree=1796392/2055920 swapFree=4192812/4192956
[pid=2926] ppid=2924 vsize=152 CPUtime=0
/proc/2926/stat : 2926 (java) R 2924 2926 32668 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 27842801 155648 26 996147200 134512640 134550932 4294955968 18446744073709551615 3166507 0 0 4096 0 0 0 0 17 0 0 0
/proc/2926/statm: 38 26 19 9 0 4 0
[startup+0.0981309 s]
/proc/loadavg: 2.07 1.99 1.91 4/80 2926
/proc/meminfo: memFree=1796392/2055920 swapFree=4192812/4192956
[pid=2926] ppid=2924 vsize=865980 CPUtime=0.08
/proc/2926/stat : 2926 (java) S 2924 2926 32668 0 -1 0 3747 0 1 0 7 1 0 0 18 0 9 0 27842801 886763520 3213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2926/statm: 216495 3213 1700 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980
[startup+0.101127 s]
/proc/loadavg: 2.07 1.99 1.91 4/80 2926
/proc/meminfo: memFree=1796392/2055920 swapFree=4192812/4192956
[pid=2926] ppid=2924 vsize=865980 CPUtime=0.08
/proc/2926/stat : 2926 (java) S 2924 2926 32668 0 -1 0 3797 0 1 0 7 1 0 0 18 0 9 0 27842801 886763520 3250 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2926/statm: 216495 3254 1718 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980
[startup+0.30117 s]
/proc/loadavg: 2.07 1.99 1.91 4/80 2926
/proc/meminfo: memFree=1796392/2055920 swapFree=4192812/4192956
[pid=2926] ppid=2924 vsize=866380 CPUtime=0.28
/proc/2926/stat : 2926 (java) S 2924 2926 32668 0 -1 0 5984 0 1 0 25 3 0 0 18 0 9 0 27842801 887173120 5350 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2926/statm: 216595 5350 1984 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701249 s]
/proc/loadavg: 2.07 1.99 1.91 4/80 2926
/proc/meminfo: memFree=1796392/2055920 swapFree=4192812/4192956
[pid=2926] ppid=2924 vsize=867592 CPUtime=0.68
/proc/2926/stat : 2926 (java) S 2924 2926 32668 0 -1 0 11174 156 1 0 62 6 0 0 18 0 10 0 27842801 888414208 8166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2926/statm: 216898 8166 2133 9 0 211334 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867592
[startup+1.5024 s]
/proc/loadavg: 2.07 1.99 1.91 5/91 2939
/proc/meminfo: memFree=1763920/2055920 swapFree=4192812/4192956
[pid=2926] ppid=2924 vsize=867592 CPUtime=1.46
/proc/2926/stat : 2926 (java) S 2924 2926 32668 0 -1 0 16539 279 1 0 139 7 0 0 18 0 9 0 27842801 888414208 10957 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2926/statm: 216898 10957 2657 9 0 211334 0
[pid=2926/tid=2928] ppid=2924 vsize=867592 CPUtime=1.18
/proc/2926/task/2928/stat : 2928 (java) R 2924 2926 32668 0 -1 64 12209 279 1 0 112 6 0 0 21 0 9 0 27842802 888414208 10957 996147200 134512640 134550932 4294955968 18446744073709551615 4126914606 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2929] ppid=2924 vsize=867592 CPUtime=0.04
/proc/2926/task/2929/stat : 2929 (java) S 2924 2926 32668 0 -1 64 2770 279 0 0 4 0 0 0 17 0 9 0 27842804 888414208 10957 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2930] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2930/stat : 2930 (java) S 2924 2926 32668 0 -1 64 19 279 0 0 0 0 0 0 16 0 9 0 27842804 888414208 10957 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2931] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2931/stat : 2931 (java) S 2924 2926 32668 0 -1 64 11 279 0 0 0 0 0 0 16 0 9 0 27842804 888414208 10957 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2932] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2932/stat : 2932 (java) S 2924 2926 32668 0 -1 64 1 279 0 0 0 0 0 0 24 0 9 0 27842806 888414208 10957 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2926/tid=2933] ppid=2924 vsize=867592 CPUtime=0.21
/proc/2926/task/2933/stat : 2933 (java) S 2924 2926 32668 0 -1 64 725 279 0 0 21 0 0 0 15 0 9 0 27842806 888414208 10957 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2934] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2934/stat : 2934 (java) S 2924 2926 32668 0 -1 64 0 279 0 0 0 0 0 0 25 0 9 0 27842806 888414208 10957 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2926/tid=2935] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2935/stat : 2935 (java) S 2924 2926 32668 0 -1 64 4 279 0 0 0 0 0 0 15 0 9 0 27842806 888414208 10957 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867592
Solver just ended. Dumping a history of the last processes samples
[startup+2.30255 s]
/proc/loadavg: 2.07 1.99 1.91 3/89 2939
/proc/meminfo: memFree=1762648/2055920 swapFree=4192812/4192956
[pid=2926] ppid=2924 vsize=867592 CPUtime=2.25
/proc/2926/stat : 2926 (java) S 2924 2926 32668 0 -1 0 16549 279 1 0 218 7 0 0 18 0 9 0 27842801 888414208 10966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2926/statm: 216898 10966 2657 9 0 211334 0
[pid=2926/tid=2928] ppid=2924 vsize=867592 CPUtime=1.96
/proc/2926/task/2928/stat : 2928 (java) R 2924 2926 32668 0 -1 64 12213 279 1 0 190 6 0 0 25 0 9 0 27842802 888414208 10966 996147200 134512640 134550932 4294955968 18446744073709551615 4126467365 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2929] ppid=2924 vsize=867592 CPUtime=0.04
/proc/2926/task/2929/stat : 2929 (java) S 2924 2926 32668 0 -1 64 2770 279 0 0 4 0 0 0 17 0 9 0 27842804 888414208 10966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2930] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2930/stat : 2930 (java) S 2924 2926 32668 0 -1 64 19 279 0 0 0 0 0 0 16 0 9 0 27842804 888414208 10966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2931] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2931/stat : 2931 (java) S 2924 2926 32668 0 -1 64 11 279 0 0 0 0 0 0 16 0 9 0 27842804 888414208 10966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2932] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2932/stat : 2932 (java) S 2924 2926 32668 0 -1 64 1 279 0 0 0 0 0 0 24 0 9 0 27842806 888414208 10966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2926/tid=2933] ppid=2924 vsize=867592 CPUtime=0.22
/proc/2926/task/2933/stat : 2933 (java) S 2924 2926 32668 0 -1 64 731 279 0 0 22 0 0 0 15 0 9 0 27842806 888414208 10966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2934] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2934/stat : 2934 (java) S 2924 2926 32668 0 -1 64 0 279 0 0 0 0 0 0 25 0 9 0 27842806 888414208 10966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2926/tid=2935] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2935/stat : 2935 (java) S 2924 2926 32668 0 -1 64 4 279 0 0 0 0 0 0 15 0 9 0 27842806 888414208 10966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 867592
[startup+2.70262 s]
/proc/loadavg: 2.07 1.99 1.91 3/89 2939
/proc/meminfo: memFree=1762648/2055920 swapFree=4192812/4192956
[pid=2926] ppid=2924 vsize=867592 CPUtime=2.66
/proc/2926/stat : 2926 (java) S 2924 2926 32668 0 -1 0 16551 279 1 0 258 8 0 0 18 0 9 0 27842801 888414208 10968 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2926/statm: 216898 10968 2657 9 0 211334 0
[pid=2926/tid=2928] ppid=2924 vsize=867592 CPUtime=2.36
/proc/2926/task/2928/stat : 2928 (java) R 2924 2926 32668 0 -1 64 12213 279 1 0 230 6 0 0 25 0 9 0 27842802 888414208 10968 996147200 134512640 134550932 4294955968 18446744073709551615 4126900324 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2929] ppid=2924 vsize=867592 CPUtime=0.04
/proc/2926/task/2929/stat : 2929 (java) S 2924 2926 32668 0 -1 64 2770 279 0 0 4 0 0 0 17 0 9 0 27842804 888414208 10968 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2930] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2930/stat : 2930 (java) S 2924 2926 32668 0 -1 64 19 279 0 0 0 0 0 0 16 0 9 0 27842804 888414208 10968 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2931] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2931/stat : 2931 (java) S 2924 2926 32668 0 -1 64 11 279 0 0 0 0 0 0 16 0 9 0 27842804 888414208 10968 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2932] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2932/stat : 2932 (java) S 2924 2926 32668 0 -1 64 1 279 0 0 0 0 0 0 24 0 9 0 27842806 888414208 10968 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2926/tid=2933] ppid=2924 vsize=867592 CPUtime=0.23
/proc/2926/task/2933/stat : 2933 (java) S 2924 2926 32668 0 -1 64 733 279 0 0 23 0 0 0 15 0 9 0 27842806 888414208 10968 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2934] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2934/stat : 2934 (java) S 2924 2926 32668 0 -1 64 0 279 0 0 0 0 0 0 25 0 9 0 27842806 888414208 10968 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2926/tid=2935] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2935/stat : 2935 (java) S 2924 2926 32668 0 -1 64 4 279 0 0 0 0 0 0 15 0 9 0 27842806 888414208 10968 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 867592
[startup+2.90266 s]
/proc/loadavg: 2.07 1.99 1.91 3/89 2939
/proc/meminfo: memFree=1762648/2055920 swapFree=4192812/4192956
[pid=2926] ppid=2924 vsize=867592 CPUtime=2.86
/proc/2926/stat : 2926 (java) S 2924 2926 32668 0 -1 0 16557 279 1 0 278 8 0 0 18 0 9 0 27842801 888414208 10973 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2926/statm: 216898 10973 2657 9 0 211334 0
[pid=2926/tid=2928] ppid=2924 vsize=867592 CPUtime=2.55
/proc/2926/task/2928/stat : 2928 (java) R 2924 2926 32668 0 -1 64 12213 279 1 0 249 6 0 0 25 0 9 0 27842802 888414208 10973 996147200 134512640 134550932 4294955968 18446744073709551615 4126929280 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2929] ppid=2924 vsize=867592 CPUtime=0.04
/proc/2926/task/2929/stat : 2929 (java) S 2924 2926 32668 0 -1 64 2770 279 0 0 4 0 0 0 17 0 9 0 27842804 888414208 10973 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2930] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2930/stat : 2930 (java) S 2924 2926 32668 0 -1 64 19 279 0 0 0 0 0 0 16 0 9 0 27842804 888414208 10973 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2931] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2931/stat : 2931 (java) S 2924 2926 32668 0 -1 64 11 279 0 0 0 0 0 0 16 0 9 0 27842804 888414208 10973 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2932] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2932/stat : 2932 (java) S 2924 2926 32668 0 -1 64 1 279 0 0 0 0 0 0 24 0 9 0 27842806 888414208 10973 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2926/tid=2933] ppid=2924 vsize=867592 CPUtime=0.23
/proc/2926/task/2933/stat : 2933 (java) S 2924 2926 32668 0 -1 64 739 279 0 0 23 0 0 0 16 0 9 0 27842806 888414208 10973 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2934] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2934/stat : 2934 (java) S 2924 2926 32668 0 -1 64 0 279 0 0 0 0 0 0 25 0 9 0 27842806 888414208 10973 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2926/tid=2935] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2935/stat : 2935 (java) S 2924 2926 32668 0 -1 64 4 279 0 0 0 0 0 0 15 0 9 0 27842806 888414208 10973 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 867592
[startup+3.00268 s]
/proc/loadavg: 2.07 1.99 1.91 3/89 2939
/proc/meminfo: memFree=1762648/2055920 swapFree=4192812/4192956
[pid=2926] ppid=2924 vsize=867592 CPUtime=2.94
/proc/2926/stat : 2926 (java) S 2924 2926 32668 0 -1 0 16649 279 1 0 286 8 0 0 18 0 9 0 27842801 888414208 11064 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2926/statm: 216898 11064 2657 9 0 211334 0
[pid=2926/tid=2928] ppid=2924 vsize=867592 CPUtime=2.63
/proc/2926/task/2928/stat : 2928 (java) S 2924 2926 32668 0 -1 64 12303 279 1 0 257 6 0 0 25 0 9 0 27842802 888414208 11064 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2929] ppid=2924 vsize=867592 CPUtime=0.04
/proc/2926/task/2929/stat : 2929 (java) S 2924 2926 32668 0 -1 64 2770 279 0 0 4 0 0 0 17 0 9 0 27842804 888414208 11064 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2930] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2930/stat : 2930 (java) S 2924 2926 32668 0 -1 64 19 279 0 0 0 0 0 0 16 0 9 0 27842804 888414208 11064 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2931] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2931/stat : 2931 (java) S 2924 2926 32668 0 -1 64 11 279 0 0 0 0 0 0 16 0 9 0 27842804 888414208 11064 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2932] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2932/stat : 2932 (java) S 2924 2926 32668 0 -1 64 1 279 0 0 0 0 0 0 24 0 9 0 27842806 888414208 11064 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2926/tid=2933] ppid=2924 vsize=867592 CPUtime=0.24
/proc/2926/task/2933/stat : 2933 (java) S 2924 2926 32668 0 -1 64 741 279 0 0 24 0 0 0 16 0 9 0 27842806 888414208 11064 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2926/tid=2934] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2934/stat : 2934 (java) S 2924 2926 32668 0 -1 64 0 279 0 0 0 0 0 0 25 0 9 0 27842806 888414208 11064 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2926/tid=2935] ppid=2924 vsize=867592 CPUtime=0
/proc/2926/task/2935/stat : 2935 (java) S 2924 2926 32668 0 -1 64 4 279 0 0 0 0 0 0 15 0 9 0 27842806 888414208 11064 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 867592
Child status: 0
Real time (s): 3.02037
CPU time (s): 2.96055
CPU user time (s): 2.86656
CPU system time (s): 0.093985
CPU usage (%): 98.0194
Max. virtual memory (cumulated for all children) (KiB): 867636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.86656
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16957
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= 1214
involuntary context switches= 1269
runsolver used 0.009998 second user time and 0.011998 second system time
The end
Begin job on node37 at 2009-07-12 16:09:46
IDJOB=2095578
IDBENCH=55435
IDSOLVER=774
FILE ID=node37/2095578-1247407786
PBS_JOBID= 9510569
Free space on /tmp= 66428 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/golombRulerArity4/normalized-ruler-25-8-a4.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-2095578-1247407786/watcher-2095578-1247407786 -o /tmp/evaluation-result-2095578-1247407786/solver-2095578-1247407786 -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-2095578-1247407786.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 911be6f11691798737b435362407e4b1
RANDOM SEED=586623612
node37.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.260
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.260
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: 1796872 kB
Buffers: 33688 kB
Cached: 118700 kB
SwapCached: 0 kB
Active: 136960 kB
Inactive: 68872 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1796872 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4432 kB
Writeback: 0 kB
Mapped: 73928 kB
Slab: 38572 kB
Committed_AS: 1021484 kB
PageTables: 1844 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= 66428 MiB
End job on node37 at 2009-07-12 16:09:49