0.06/0.09
0.06/0.09 Abscon 112 (May, 2008)
0.19/0.26
0.19/0.26 configuration
0.19/0.26 name=esac.xml
0.19/0.30
0.19/0.30 instance
0.19/0.30 name=HOME/instance-2098774-1247417033.xml
0.29/0.33
0.29/0.33 domains being loaded...
0.29/0.34
0.29/0.34 variables being loaded...
0.49/0.57 nbVariables=1890 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=3780
0.49/0.57 => wckTime=0.304 cpuTime=0.19 mem=12M768
0.49/0.57
0.49/0.57 predicates being loaded...
0.58/0.63
0.58/0.63 constraints being loaded...
2.96/3.00 nbConstraints=1555 nbGlobalConstraints=205 nbConflictsStructures=1 nbSharedConflictsStructures=1349
2.96/3.00 nbSharedBinaryRepresentations=0 nbEvaluationManagers=1 nbSharedEvaluationManagers=1349 minDegree=4 maxDegree=11
2.96/3.00 minArity=3 avgArity=9.46 maxArity=900 nbGenerators=94 nbFusions=0 symmetryWckTime=1.962 symmetryCpuTime=1.53
2.96/3.00 => wckTime=2.741 cpuTime=2.13 mem=44M866
2.96/3.08
2.96/3.08 solver IterativeSystematicSolver being built...
3.05/3.19
3.05/3.19 INFO : Forward propagation technique limited
3.25/3.35 => wckTime=3.085 cpuTime=2.35 mem=41M109
3.75/3.87
3.75/3.87 preprocessing
3.75/3.87 nbConstraintChecks=14328 nbValidityChecks=14023 nbPropagations=6989 nbRevisions=12166 nbUselessRevisions=9434
3.75/3.87 nbSingletonTests=2059 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
3.75/3.87 detectedInconsistency=no
3.75/3.87 => wckTime=0.518 cpuTime=0.46 mem=42M105
820.57/828.36
820.57/828.36 search
820.57/828.36 run=23 nbConstraintChecks=85558880 nbValidityChecks=177906637 minDepth=35 maxDepth=1890
820.57/828.36 nbPropagations=183797455 nbRevisions=469718187 nbUselessRevisions=321262788 nbAssignments=1415265
820.57/828.36 nbFailedAssignments=281465 nbBacktracks=1126653 nbVisitedNodes=1870246 nbRestartNogoods=308 nbFoundSolutions=1
820.57/828.36 nbSEliminables=? nbREliminables=? nbIEliminables=? nbDEliminables=? nbPEliminables=?
820.57/828.36 => wckTime=825.003 cpuTime=817.21 mem=43M84
820.57/828.36
820.57/828.36 global
820.57/828.36 nbConstraintChecks=85573208 nbValidityChecks=177920660 nbPropagations=183804444 nbRevisions=469730353
820.57/828.36 nbUselessRevisions=321272222 nbRestartNogoods=308 solvingWckTime=825.005 solvingCpuTime=817.21 expiredTime=no
820.57/828.36 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=819.55 globalCpuTime=819.6
820.57/828.36 => wckTime=828.097 cpuTime=819.56 mem=43M84
820.57/828.36
820.57/828.36 s SATISFIABLE
820.57/828.36 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
820.57/828.36 d NODES 1415265
820.57/828.36 d CHECKS 85573208
820.57/828.36
820.57/828.36 totalWckTime=828.172 totalCpuTime=819.6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098774-1247417033/watcher-2098774-1247417033 -o /tmp/evaluation-result-2098774-1247417033/solver-2098774-1247417033 -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-2098774-1247417033.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.93 1.99 1.99 4/80 31666
/proc/meminfo: memFree=1698464/2055920 swapFree=4192812/4192956
[pid=31666] ppid=31664 vsize=10676 CPUtime=0
/proc/31666/stat : 31666 (java) S 31664 31666 31590 0 -1 0 678 0 0 0 0 0 0 0 18 0 2 0 28767393 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31666/statm: 2669 474 207 9 0 1184 0
[pid=31666/tid=31667] ppid=31664 vsize=10676 CPUtime=0
/proc/31666/task/31667/stat : 31667 (java) R 31664 31666 31590 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 28767394 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 13066200 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0690209 s]
/proc/loadavg: 1.93 1.99 1.99 4/80 31666
/proc/meminfo: memFree=1698464/2055920 swapFree=4192812/4192956
[pid=31666] ppid=31664 vsize=864024 CPUtime=0.06
/proc/31666/stat : 31666 (java) S 31664 31666 31590 0 -1 0 2902 0 1 0 5 1 0 0 18 0 9 0 28767393 884760576 2417 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31666/statm: 216006 2417 1148 9 0 210899 0
[pid=31666/tid=31667] ppid=31664 vsize=864024 CPUtime=0.04
/proc/31666/task/31667/stat : 31667 (java) R 31664 31666 31590 0 -1 64 1990 0 1 0 4 0 0 0 20 0 9 0 28767394 884760576 2417 996147200 134512640 134550932 4294955968 18446744073709551615 102337896 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 864024
[startup+0.101021 s]
/proc/loadavg: 1.93 1.99 1.99 4/80 31666
/proc/meminfo: memFree=1698464/2055920 swapFree=4192812/4192956
[pid=31666] ppid=31664 vsize=865984 CPUtime=0.09
/proc/31666/stat : 31666 (java) S 31664 31666 31590 0 -1 0 3738 0 1 0 8 1 0 0 18 0 9 0 28767393 886767616 3204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31666/statm: 216496 3204 1695 9 0 210981 0
[pid=31666/tid=31667] ppid=31664 vsize=865984 CPUtime=0.07
/proc/31666/task/31667/stat : 31667 (java) R 31664 31666 31590 0 -1 64 2822 0 1 0 6 1 0 0 18 0 9 0 28767394 886767616 3204 996147200 134512640 134550932 4294955968 18446744073709551615 4125965793 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301033 s]
/proc/loadavg: 1.93 1.99 1.99 4/80 31666
/proc/meminfo: memFree=1698464/2055920 swapFree=4192812/4192956
[pid=31666] ppid=31664 vsize=866380 CPUtime=0.29
/proc/31666/stat : 31666 (java) S 31664 31666 31590 0 -1 0 5845 0 1 0 26 3 0 0 18 0 9 0 28767393 887173120 5211 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31666/statm: 216595 5211 1981 9 0 211053 0
[pid=31666/tid=31667] ppid=31664 vsize=866380 CPUtime=0.24
/proc/31666/task/31667/stat : 31667 (java) R 31664 31666 31590 0 -1 64 4866 0 1 0 21 3 0 0 18 0 9 0 28767394 887173120 5211 996147200 134512640 134550932 4294955968 18446744073709551615 4125978817 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701064 s]
/proc/loadavg: 1.93 1.99 1.99 4/80 31666
/proc/meminfo: memFree=1698464/2055920 swapFree=4192812/4192956
[pid=31666] ppid=31664 vsize=867508 CPUtime=0.68
/proc/31666/stat : 31666 (java) S 31664 31666 31590 0 -1 0 9004 0 1 0 63 5 0 0 18 0 9 0 28767393 888328192 8358 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31666/statm: 216877 8358 2037 9 0 211313 0
[pid=31666/tid=31667] ppid=31664 vsize=867508 CPUtime=0.5
/proc/31666/task/31667/stat : 31667 (java) R 31664 31666 31590 0 -1 64 7674 0 1 0 46 4 0 0 19 0 9 0 28767394 888328192 8358 996147200 134512640 134550932 4294955968 18446744073709551615 4126543281 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867508
[startup+1.50212 s]
/proc/loadavg: 1.93 1.99 1.99 3/89 31675
/proc/meminfo: memFree=1663640/2055920 swapFree=4192812/4192956
[pid=31666] ppid=31664 vsize=867956 CPUtime=1.46
/proc/31666/stat : 31666 (java) S 31664 31666 31590 0 -1 0 16639 469 1 0 105 14 27 0 18 0 10 0 28767393 888786944 12823 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31666/statm: 216989 12823 2056 9 0 211425 0
[pid=31666/tid=31667] ppid=31664 vsize=867956 CPUtime=1.2
/proc/31666/task/31667/stat : 31667 (java) R 31664 31666 31590 0 -1 64 14895 469 1 0 80 13 27 0 17 0 10 0 28767394 888786944 12823 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31669] ppid=31664 vsize=867956 CPUtime=0.27
/proc/31666/task/31669/stat : 31669 (java) S 31664 31666 31590 0 -1 64 3 469 0 0 0 0 27 0 16 0 10 0 28767395 888786944 12823 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31670] ppid=31664 vsize=867956 CPUtime=0.27
/proc/31666/task/31670/stat : 31670 (java) S 31664 31666 31590 0 -1 64 11 469 0 0 0 0 27 0 19 0 10 0 28767395 888786944 12823 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31671] ppid=31664 vsize=867956 CPUtime=0.27
/proc/31666/task/31671/stat : 31671 (java) S 31664 31666 31590 0 -1 64 3 469 0 0 0 0 27 0 20 0 10 0 28767395 888786944 12823 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31672] ppid=31664 vsize=867956 CPUtime=0.27
/proc/31666/task/31672/stat : 31672 (java) S 31664 31666 31590 0 -1 64 1 469 0 0 0 0 27 0 18 0 10 0 28767397 888786944 12823 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31673] ppid=31664 vsize=867956 CPUtime=0.5
/proc/31666/task/31673/stat : 31673 (java) R 31664 31666 31590 0 -1 64 915 469 0 0 23 0 27 0 16 0 10 0 28767397 888786944 12823 996147200 134512640 134550932 4294955968 18446744073709551615 101699150 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31674] ppid=31664 vsize=867956 CPUtime=0.27
/proc/31666/task/31674/stat : 31674 (java) S 31664 31666 31590 0 -1 64 1 469 0 0 0 0 27 0 19 0 10 0 28767398 888786944 12823 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31675] ppid=31664 vsize=867956 CPUtime=0.27
/proc/31666/task/31675/stat : 31675 (java) S 31664 31666 31590 0 -1 64 13 469 0 0 0 0 27 0 15 0 10 0 28767398 888786944 12823 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867956
[startup+3.10223 s]
/proc/loadavg: 1.93 1.99 1.99 3/89 31679
/proc/meminfo: memFree=1635928/2055920 swapFree=4192812/4192956
[pid=31666] ppid=31664 vsize=867956 CPUtime=3.05
/proc/31666/stat : 31666 (java) S 31664 31666 31590 0 -1 0 30199 591 1 0 258 19 27 1 18 0 9 0 28767393 888786944 20183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31666/statm: 216989 20183 2661 9 0 211425 0
[pid=31666/tid=31667] ppid=31664 vsize=867956 CPUtime=2.63
/proc/31666/task/31667/stat : 31667 (java) R 31664 31666 31590 0 -1 64 22106 591 1 0 220 15 27 1 25 0 9 0 28767394 888786944 20183 996147200 134512640 134550932 4294955968 18446744073709551615 4125977971 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31669] ppid=31664 vsize=867956 CPUtime=0.42
/proc/31666/task/31669/stat : 31669 (java) S 31664 31666 31590 0 -1 64 6321 591 0 0 12 2 27 1 16 0 9 0 28767395 888786944 20183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31670] ppid=31664 vsize=867956 CPUtime=0.28
/proc/31666/task/31670/stat : 31670 (java) S 31664 31666 31590 0 -1 64 21 591 0 0 0 0 27 1 16 0 9 0 28767395 888786944 20183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31671] ppid=31664 vsize=867956 CPUtime=0.28
/proc/31666/task/31671/stat : 31671 (java) S 31664 31666 31590 0 -1 64 13 591 0 0 0 0 27 1 16 0 9 0 28767395 888786944 20183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31672] ppid=31664 vsize=867956 CPUtime=0.28
/proc/31666/task/31672/stat : 31672 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 18 0 9 0 28767397 888786944 20183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31673] ppid=31664 vsize=867956 CPUtime=0.53
/proc/31666/task/31673/stat : 31673 (java) S 31664 31666 31590 0 -1 64 922 591 0 0 25 0 27 1 15 0 9 0 28767397 888786944 20183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31674] ppid=31664 vsize=867956 CPUtime=0.28
/proc/31666/task/31674/stat : 31674 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 19 0 9 0 28767398 888786944 20183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31675] ppid=31664 vsize=867956 CPUtime=0.28
/proc/31666/task/31675/stat : 31675 (java) S 31664 31666 31590 0 -1 64 13 591 0 0 0 0 27 1 15 0 9 0 28767398 888786944 20183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867956
[startup+6.30144 s]
/proc/loadavg: 1.93 1.99 1.99 3/89 31679
/proc/meminfo: memFree=1626904/2055920 swapFree=4192812/4192956
[pid=31666] ppid=31664 vsize=868088 CPUtime=6.23
/proc/31666/stat : 31666 (java) S 31664 31666 31590 0 -1 0 30412 591 1 0 574 21 27 1 18 0 9 0 28767393 888922112 20350 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31666/statm: 217022 20350 2663 9 0 211458 0
[pid=31666/tid=31667] ppid=31664 vsize=868088 CPUtime=5.64
/proc/31666/task/31667/stat : 31667 (java) R 31664 31666 31590 0 -1 64 22206 591 1 0 520 16 27 1 25 0 9 0 28767394 888922112 20350 996147200 134512640 134550932 4294955968 18446744073709551615 4127373184 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31669] ppid=31664 vsize=868088 CPUtime=0.42
/proc/31666/task/31669/stat : 31669 (java) S 31664 31666 31590 0 -1 64 6321 591 0 0 12 2 27 1 17 0 9 0 28767395 888922112 20350 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31670] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31670/stat : 31670 (java) S 31664 31666 31590 0 -1 64 21 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20350 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31671] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31671/stat : 31671 (java) S 31664 31666 31590 0 -1 64 13 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20350 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31672] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31672/stat : 31672 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 18 0 9 0 28767397 888922112 20350 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31673] ppid=31664 vsize=868088 CPUtime=0.68
/proc/31666/task/31673/stat : 31673 (java) S 31664 31666 31590 0 -1 64 1014 591 0 0 39 1 27 1 15 0 9 0 28767397 888922112 20350 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31674] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31674/stat : 31674 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 19 0 9 0 28767398 888922112 20350 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31675] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31675/stat : 31675 (java) S 31664 31666 31590 0 -1 64 34 591 0 0 0 0 27 1 15 0 9 0 28767398 888922112 20350 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 868088
[startup+12.7029 s]
/proc/loadavg: 1.94 1.99 1.99 4/89 31679
/proc/meminfo: memFree=1626712/2055920 swapFree=4192812/4192956
[pid=31666] ppid=31664 vsize=868088 CPUtime=12.56
/proc/31666/stat : 31666 (java) S 31664 31666 31590 0 -1 0 30417 591 1 0 1207 21 27 1 18 0 9 0 28767393 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31666/statm: 217022 20352 2663 9 0 211458 0
[pid=31666/tid=31667] ppid=31664 vsize=868088 CPUtime=11.98
/proc/31666/task/31667/stat : 31667 (java) R 31664 31666 31590 0 -1 64 22209 591 1 0 1154 16 27 1 25 0 9 0 28767394 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4127296343 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31669] ppid=31664 vsize=868088 CPUtime=0.42
/proc/31666/task/31669/stat : 31669 (java) S 31664 31666 31590 0 -1 64 6321 591 0 0 12 2 27 1 16 0 9 0 28767395 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31670] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31670/stat : 31670 (java) S 31664 31666 31590 0 -1 64 21 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31671] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31671/stat : 31671 (java) S 31664 31666 31590 0 -1 64 13 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31672] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31672/stat : 31672 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 18 0 9 0 28767397 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31673] ppid=31664 vsize=868088 CPUtime=0.69
/proc/31666/task/31673/stat : 31673 (java) S 31664 31666 31590 0 -1 64 1016 591 0 0 40 1 27 1 17 0 9 0 28767397 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31674] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31674/stat : 31674 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 19 0 9 0 28767398 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31675] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31675/stat : 31675 (java) S 31664 31666 31590 0 -1 64 34 591 0 0 0 0 27 1 15 0 9 0 28767398 888922112 20352 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) 868088
[startup+25.5017 s]
/proc/loadavg: 1.95 1.99 1.99 4/89 31679
/proc/meminfo: memFree=1626776/2055920 swapFree=4192812/4192956
[pid=31666] ppid=31664 vsize=868088 CPUtime=25.24
/proc/31666/stat : 31666 (java) S 31664 31666 31590 0 -1 0 30418 591 1 0 2475 21 27 1 18 0 9 0 28767393 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31666/statm: 217022 20352 2663 9 0 211458 0
[pid=31666/tid=31667] ppid=31664 vsize=868088 CPUtime=24.66
/proc/31666/task/31667/stat : 31667 (java) R 31664 31666 31590 0 -1 64 22210 591 1 0 2422 16 27 1 25 0 9 0 28767394 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4127265068 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31669] ppid=31664 vsize=868088 CPUtime=0.42
/proc/31666/task/31669/stat : 31669 (java) S 31664 31666 31590 0 -1 64 6321 591 0 0 12 2 27 1 16 0 9 0 28767395 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31670] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31670/stat : 31670 (java) S 31664 31666 31590 0 -1 64 21 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31671] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31671/stat : 31671 (java) S 31664 31666 31590 0 -1 64 13 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31672] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31672/stat : 31672 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 18 0 9 0 28767397 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31673] ppid=31664 vsize=868088 CPUtime=0.69
/proc/31666/task/31673/stat : 31673 (java) S 31664 31666 31590 0 -1 64 1016 591 0 0 40 1 27 1 17 0 9 0 28767397 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31674] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31674/stat : 31674 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 19 0 9 0 28767398 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31675] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31675/stat : 31675 (java) S 31664 31666 31590 0 -1 64 34 591 0 0 0 0 27 1 15 0 9 0 28767398 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 868088
[startup+51.1014 s]
/proc/loadavg: 1.97 1.99 1.99 3/89 31679
/proc/meminfo: memFree=1626840/2055920 swapFree=4192812/4192956
[pid=31666] ppid=31664 vsize=868088 CPUtime=50.61
/proc/31666/stat : 31666 (java) S 31664 31666 31590 0 -1 0 30418 591 1 0 5012 21 27 1 18 0 9 0 28767393 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31666/statm: 217022 20352 2663 9 0 211458 0
[pid=31666/tid=31667] ppid=31664 vsize=868088 CPUtime=50.03
/proc/31666/task/31667/stat : 31667 (java) R 31664 31666 31590 0 -1 64 22210 591 1 0 4958 17 27 1 25 0 9 0 28767394 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4127373203 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31669] ppid=31664 vsize=868088 CPUtime=0.42
/proc/31666/task/31669/stat : 31669 (java) S 31664 31666 31590 0 -1 64 6321 591 0 0 12 2 27 1 16 0 9 0 28767395 888922112 20352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=31666/tid=31667] ppid=31664 vsize=868088 CPUtime=695.16
/proc/31666/task/31667/stat : 31667 (java) R 31664 31666 31590 0 -1 64 22210 591 1 0 69471 17 27 1 25 0 9 0 28767394 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4127246551 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31669] ppid=31664 vsize=868088 CPUtime=0.42
/proc/31666/task/31669/stat : 31669 (java) S 31664 31666 31590 0 -1 64 6321 591 0 0 12 2 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31670] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31670/stat : 31670 (java) S 31664 31666 31590 0 -1 64 21 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31671] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31671/stat : 31671 (java) S 31664 31666 31590 0 -1 64 13 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31672] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31672/stat : 31672 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 18 0 9 0 28767397 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31673] ppid=31664 vsize=868088 CPUtime=0.69
/proc/31666/task/31673/stat : 31673 (java) S 31664 31666 31590 0 -1 64 1017 591 0 0 40 1 27 1 16 0 9 0 28767397 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31674] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31674/stat : 31674 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 19 0 9 0 28767398 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31675] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31675/stat : 31675 (java) S 31664 31666 31590 0 -1 64 34 591 0 0 0 0 27 1 15 0 9 0 28767398 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 695.74
Current children cumulated vsize (KiB) 868088
[startup+762.306 s]
/proc/loadavg: 2.10 2.02 2.00 3/89 31681
/proc/meminfo: memFree=1626400/2055920 swapFree=4192812/4192956
[pid=31666] ppid=31664 vsize=868088 CPUtime=755.19
/proc/31666/stat : 31666 (java) S 31664 31666 31590 0 -1 0 30419 591 1 0 75469 22 27 1 18 0 9 0 28767393 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31666/statm: 217022 20353 2663 9 0 211458 0
[pid=31666/tid=31667] ppid=31664 vsize=868088 CPUtime=754.6
/proc/31666/task/31667/stat : 31667 (java) R 31664 31666 31590 0 -1 64 22210 591 1 0 75415 17 27 1 25 0 9 0 28767394 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4127376914 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31669] ppid=31664 vsize=868088 CPUtime=0.42
/proc/31666/task/31669/stat : 31669 (java) S 31664 31666 31590 0 -1 64 6321 591 0 0 12 2 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31670] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31670/stat : 31670 (java) S 31664 31666 31590 0 -1 64 21 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31671] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31671/stat : 31671 (java) S 31664 31666 31590 0 -1 64 13 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31672] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31672/stat : 31672 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 18 0 9 0 28767397 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31673] ppid=31664 vsize=868088 CPUtime=0.69
/proc/31666/task/31673/stat : 31673 (java) S 31664 31666 31590 0 -1 64 1017 591 0 0 40 1 27 1 16 0 9 0 28767397 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31674] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31674/stat : 31674 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 19 0 9 0 28767398 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31675] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31675/stat : 31675 (java) S 31664 31666 31590 0 -1 64 34 591 0 0 0 0 27 1 15 0 9 0 28767398 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 755.19
Current children cumulated vsize (KiB) 868088
[startup+822.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/89 31681
/proc/meminfo: memFree=1626400/2055920 swapFree=4192812/4192956
[pid=31666] ppid=31664 vsize=868088 CPUtime=814.62
/proc/31666/stat : 31666 (java) S 31664 31666 31590 0 -1 0 30419 591 1 0 81412 22 27 1 18 0 9 0 28767393 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31666/statm: 217022 20353 2663 9 0 211458 0
[pid=31666/tid=31667] ppid=31664 vsize=868088 CPUtime=814.04
/proc/31666/task/31667/stat : 31667 (java) R 31664 31666 31590 0 -1 64 22210 591 1 0 81359 17 27 1 25 0 9 0 28767394 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4127373246 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31669] ppid=31664 vsize=868088 CPUtime=0.42
/proc/31666/task/31669/stat : 31669 (java) S 31664 31666 31590 0 -1 64 6321 591 0 0 12 2 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31670] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31670/stat : 31670 (java) S 31664 31666 31590 0 -1 64 21 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31671] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31671/stat : 31671 (java) S 31664 31666 31590 0 -1 64 13 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31672] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31672/stat : 31672 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 18 0 9 0 28767397 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31673] ppid=31664 vsize=868088 CPUtime=0.69
/proc/31666/task/31673/stat : 31673 (java) S 31664 31666 31590 0 -1 64 1017 591 0 0 40 1 27 1 16 0 9 0 28767397 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31674] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31674/stat : 31674 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 19 0 9 0 28767398 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31675] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31675/stat : 31675 (java) S 31664 31666 31590 0 -1 64 34 591 0 0 0 0 27 1 15 0 9 0 28767398 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 814.62
Current children cumulated vsize (KiB) 868088
Solver just ended. Dumping a history of the last processes samples
[startup+825.502 s]
/proc/loadavg: 2.03 2.01 2.00 3/89 31681
/proc/meminfo: memFree=1626400/2055920 swapFree=4192812/4192956
[pid=31666] ppid=31664 vsize=868088 CPUtime=817.8
/proc/31666/stat : 31666 (java) S 31664 31666 31590 0 -1 0 30419 591 1 0 81730 22 27 1 18 0 9 0 28767393 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31666/statm: 217022 20353 2663 9 0 211458 0
[pid=31666/tid=31667] ppid=31664 vsize=868088 CPUtime=817.21
/proc/31666/task/31667/stat : 31667 (java) R 31664 31666 31590 0 -1 64 22210 591 1 0 81676 17 27 1 25 0 9 0 28767394 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4127256248 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31669] ppid=31664 vsize=868088 CPUtime=0.42
/proc/31666/task/31669/stat : 31669 (java) S 31664 31666 31590 0 -1 64 6321 591 0 0 12 2 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31670] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31670/stat : 31670 (java) S 31664 31666 31590 0 -1 64 21 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31671] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31671/stat : 31671 (java) S 31664 31666 31590 0 -1 64 13 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31672] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31672/stat : 31672 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 18 0 9 0 28767397 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31673] ppid=31664 vsize=868088 CPUtime=0.69
/proc/31666/task/31673/stat : 31673 (java) S 31664 31666 31590 0 -1 64 1017 591 0 0 40 1 27 1 16 0 9 0 28767397 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31674] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31674/stat : 31674 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 19 0 9 0 28767398 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31675] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31675/stat : 31675 (java) S 31664 31666 31590 0 -1 64 34 591 0 0 0 0 27 1 15 0 9 0 28767398 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 817.8
Current children cumulated vsize (KiB) 868088
[startup+827.101 s]
/proc/loadavg: 2.03 2.01 2.00 3/89 31681
/proc/meminfo: memFree=1626400/2055920 swapFree=4192812/4192956
[pid=31666] ppid=31664 vsize=868088 CPUtime=819.38
/proc/31666/stat : 31666 (java) S 31664 31666 31590 0 -1 0 30419 591 1 0 81888 22 27 1 18 0 9 0 28767393 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31666/statm: 217022 20353 2663 9 0 211458 0
[pid=31666/tid=31667] ppid=31664 vsize=868088 CPUtime=818.8
/proc/31666/task/31667/stat : 31667 (java) R 31664 31666 31590 0 -1 64 22210 591 1 0 81835 17 27 1 25 0 9 0 28767394 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4127373203 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31669] ppid=31664 vsize=868088 CPUtime=0.42
/proc/31666/task/31669/stat : 31669 (java) S 31664 31666 31590 0 -1 64 6321 591 0 0 12 2 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31670] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31670/stat : 31670 (java) S 31664 31666 31590 0 -1 64 21 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31671] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31671/stat : 31671 (java) S 31664 31666 31590 0 -1 64 13 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31672] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31672/stat : 31672 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 18 0 9 0 28767397 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31673] ppid=31664 vsize=868088 CPUtime=0.69
/proc/31666/task/31673/stat : 31673 (java) S 31664 31666 31590 0 -1 64 1017 591 0 0 40 1 27 1 16 0 9 0 28767397 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31674] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31674/stat : 31674 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 19 0 9 0 28767398 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31675] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31675/stat : 31675 (java) S 31664 31666 31590 0 -1 64 34 591 0 0 0 0 27 1 15 0 9 0 28767398 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 819.38
Current children cumulated vsize (KiB) 868088
[startup+827.901 s]
/proc/loadavg: 2.03 2.01 2.00 3/89 31681
/proc/meminfo: memFree=1626400/2055920 swapFree=4192812/4192956
[pid=31666] ppid=31664 vsize=868088 CPUtime=820.17
/proc/31666/stat : 31666 (java) S 31664 31666 31590 0 -1 0 30419 591 1 0 81967 22 27 1 18 0 9 0 28767393 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31666/statm: 217022 20353 2663 9 0 211458 0
[pid=31666/tid=31667] ppid=31664 vsize=868088 CPUtime=819.58
/proc/31666/task/31667/stat : 31667 (java) R 31664 31666 31590 0 -1 64 22210 591 1 0 81913 17 27 1 25 0 9 0 28767394 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4127265068 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31669] ppid=31664 vsize=868088 CPUtime=0.42
/proc/31666/task/31669/stat : 31669 (java) S 31664 31666 31590 0 -1 64 6321 591 0 0 12 2 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31670] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31670/stat : 31670 (java) S 31664 31666 31590 0 -1 64 21 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31671] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31671/stat : 31671 (java) S 31664 31666 31590 0 -1 64 13 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31672] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31672/stat : 31672 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 18 0 9 0 28767397 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31673] ppid=31664 vsize=868088 CPUtime=0.69
/proc/31666/task/31673/stat : 31673 (java) S 31664 31666 31590 0 -1 64 1017 591 0 0 40 1 27 1 16 0 9 0 28767397 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31674] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31674/stat : 31674 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 19 0 9 0 28767398 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31675] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31675/stat : 31675 (java) S 31664 31666 31590 0 -1 64 34 591 0 0 0 0 27 1 15 0 9 0 28767398 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 820.17
Current children cumulated vsize (KiB) 868088
[startup+828.306 s]
/proc/loadavg: 2.03 2.01 2.00 3/89 31681
/proc/meminfo: memFree=1626400/2055920 swapFree=4192812/4192956
[pid=31666] ppid=31664 vsize=868088 CPUtime=820.57
/proc/31666/stat : 31666 (java) S 31664 31666 31590 0 -1 0 30419 591 1 0 82007 22 27 1 18 0 9 0 28767393 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31666/statm: 217022 20353 2663 9 0 211458 0
[pid=31666/tid=31667] ppid=31664 vsize=868088 CPUtime=819.98
/proc/31666/task/31667/stat : 31667 (java) R 31664 31666 31590 0 -1 64 22210 591 1 0 81953 17 27 1 25 0 9 0 28767394 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4127237658 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31669] ppid=31664 vsize=868088 CPUtime=0.42
/proc/31666/task/31669/stat : 31669 (java) S 31664 31666 31590 0 -1 64 6321 591 0 0 12 2 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31670] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31670/stat : 31670 (java) S 31664 31666 31590 0 -1 64 21 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31671] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31671/stat : 31671 (java) S 31664 31666 31590 0 -1 64 13 591 0 0 0 0 27 1 16 0 9 0 28767395 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31672] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31672/stat : 31672 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 18 0 9 0 28767397 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31673] ppid=31664 vsize=868088 CPUtime=0.69
/proc/31666/task/31673/stat : 31673 (java) S 31664 31666 31590 0 -1 64 1017 591 0 0 40 1 27 1 16 0 9 0 28767397 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31674] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31674/stat : 31674 (java) S 31664 31666 31590 0 -1 64 1 591 0 0 0 0 27 1 19 0 9 0 28767398 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31666/tid=31675] ppid=31664 vsize=868088 CPUtime=0.28
/proc/31666/task/31675/stat : 31675 (java) S 31664 31666 31590 0 -1 64 34 591 0 0 0 0 27 1 15 0 9 0 28767398 888922112 20353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 820.57
Current children cumulated vsize (KiB) 868088
Child status: 0
Real time (s): 828.389
CPU time (s): 820.658
CPU user time (s): 820.412
CPU system time (s): 0.245962
CPU usage (%): 99.0667
Max. virtual memory (cumulated for all children) (KiB): 868088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 820.412
system time used= 0.245962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31049
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= 18778
involuntary context switches= 35131
runsolver used 1.19682 second user time and 2.57761 second system time
The end
Begin job on node39 at 2009-07-12 18:43:54
IDJOB=2098774
IDBENCH=58949
IDSOLVER=774
FILE ID=node39/2098774-1247417033
PBS_JOBID= 9510808
Free space on /tmp= 66424 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/bibd6/normalized-bibd-6-90-45-3-18_glb.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-2098774-1247417033/watcher-2098774-1247417033 -o /tmp/evaluation-result-2098774-1247417033/solver-2098774-1247417033 -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-2098774-1247417033.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 19a873aab8208c6282428bea80e0f8a3
RANDOM SEED=557175570
node39.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.236
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.236
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: 1698944 kB
Buffers: 39620 kB
Cached: 120044 kB
SwapCached: 0 kB
Active: 226216 kB
Inactive: 65392 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1698944 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2616 kB
Writeback: 0 kB
Mapped: 152372 kB
Slab: 50576 kB
Committed_AS: 995316 kB
PageTables: 2008 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= 66424 MiB
End job on node39 at 2009-07-12 18:57:42