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=esac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-1091983-1215263877.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.33
0.28/0.33 variables being loaded...
0.48/0.56 nbVariables=2720 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=5440
0.48/0.56 => wckTime=0.308 cpuTime=0.2 mem=14M680
0.48/0.56
0.48/0.56 predicates being loaded...
0.58/0.63
0.58/0.63 constraints being loaded...
3.84/3.92 nbConstraints=2590 nbGlobalConstraints=190 nbConflictsStructures=1 nbSharedConflictsStructures=2399
3.84/3.92 nbSharedBinaryRepresentations=0 nbEvaluationManagers=1 nbSharedEvaluationManagers=2399 minDegree=4 maxDegree=21
3.84/3.92 minArity=3 avgArity=9.42 maxArity=600 nbGenerators=34 nbFusions=0 symmetryWckTime=2.704 symmetryCpuTime=2.21
3.84/3.92 => wckTime=3.67 cpuTime=2.97 mem=20M379
3.94/4.00
3.94/4.00 solver IterativeSystematicSolver being built...
4.03/4.13
4.03/4.13 INFO : Forward propagation technique limited
4.24/4.31 => wckTime=4.057 cpuTime=3.23 mem=53M938
5.62/5.76
5.62/5.76 preprocessing
5.62/5.76 nbConstraintChecks=26541 nbValidityChecks=20054 nbPropagations=12846 nbRevisions=21121 nbUselessRevisions=14209
5.62/5.76 nbSingletonTests=2961 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
5.62/5.76 detectedInconsistency=no
5.62/5.76 => wckTime=1.445 cpuTime=1.39 mem=54M945
648.13/653.78
648.13/653.78 search
648.13/653.78 run=19 nbConstraintChecks=51292236 nbValidityChecks=79201404 minDepth=67 maxDepth=2720 nbPropagations=47649269
648.13/653.78 nbRevisions=185647826 nbUselessRevisions=138875646 nbAssignments=1651895 nbFailedAssignments=58960
648.13/653.78 nbBacktracks=1586683 nbVisitedNodes=1808979 nbRestartNogoods=184 nbFoundSolutions=1 nbSEliminables=?
648.13/653.78 nbREliminables=? nbIEliminables=? nbDEliminables=? nbPEliminables=?
648.13/653.78 => wckTime=649.465 cpuTime=643.85 mem=55M984
648.13/653.78
648.13/653.78 global
648.13/653.78 nbConstraintChecks=51318777 nbValidityChecks=79221458 nbPropagations=47662115 nbRevisions=185668947
648.13/653.78 nbUselessRevisions=138889855 nbRestartNogoods=184 solvingWckTime=649.467 solvingCpuTime=643.85 expiredTime=no
648.13/653.78 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=647.07 globalCpuTime=647.13
648.13/653.79 => wckTime=653.532 cpuTime=647.08 mem=55M984
648.13/653.79
648.13/653.79 s SATISFIABLE
648.13/653.79 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 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 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 1 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 1 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 1 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 1 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 1 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 0 0 1 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 1 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 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 0 0 0 1 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 0 0 1 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 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 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 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 1 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 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 1 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 1 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 1 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 0 0 0 0 0 1 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 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 1 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 1 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 1 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 1 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 0 0 0 0 1 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 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 1 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 0 1 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 1 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 0 0 0 0 0 1 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 1 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 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 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 0 0 0 0 0 0 1 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 1 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 1 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 0 1 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 0 0 1 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 0 0 0 0 0 1 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 1 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 1 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 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 1 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 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 1 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 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 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 1 0 0 0 0 0 0 0 0 1 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 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 1 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 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 1 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 0 0 0 0 0 0 1 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 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 1 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 0 1 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 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 1 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 0 1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
648.13/653.79 d NODES 1651895
648.13/653.79 d CHECKS 51318777
648.13/653.79
648.13/653.79 totalWckTime=653.602 totalCpuTime=647.13
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1091983-1215263877/watcher-1091983-1215263877 -o /tmp/evaluation-result-1091983-1215263877/solver-1091983-1215263877 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1091983-1215263877.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13845
/proc/meminfo: memFree=1755784/2055920 swapFree=4180436/4192956
[pid=13845] ppid=13843 vsize=10616 CPUtime=0
/proc/13845/stat : 13845 (java) S 13843 13845 11703 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 2005359924 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13845/statm: 2654 472 209 9 0 1184 0
[pid=13845/tid=13846] ppid=13843 vsize=10616 CPUtime=0
/proc/13845/task/13846/stat : 13846 (java) R 13843 13845 11703 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 2005359926 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4378584 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.096593 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13845
/proc/meminfo: memFree=1755784/2055920 swapFree=4180436/4192956
[pid=13845] ppid=13843 vsize=865884 CPUtime=0.08
/proc/13845/stat : 13845 (java) S 13843 13845 11703 0 -1 0 3687 0 1 0 6 2 0 0 18 0 9 0 2005359924 886665216 3162 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13845/statm: 216471 3162 1685 9 0 211026 0
[pid=13845/tid=13846] ppid=13843 vsize=865884 CPUtime=0.06
/proc/13845/task/13846/stat : 13846 (java) R 13843 13845 11703 0 -1 64 2772 0 1 0 5 1 0 0 20 0 9 0 2005359926 886665216 3162 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.101591 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13845
/proc/meminfo: memFree=1755784/2055920 swapFree=4180436/4192956
[pid=13845] ppid=13843 vsize=865884 CPUtime=0.09
/proc/13845/stat : 13845 (java) S 13843 13845 11703 0 -1 0 3694 0 1 0 7 2 0 0 18 0 9 0 2005359924 886665216 3169 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13845/statm: 216471 3169 1685 9 0 211026 0
[pid=13845/tid=13846] ppid=13843 vsize=865884 CPUtime=0.06
/proc/13845/task/13846/stat : 13846 (java) R 13843 13845 11703 0 -1 64 2775 0 1 0 5 1 0 0 20 0 9 0 2005359926 886665216 3169 996147200 134512640 134550740 4294955968 18446744073709551615 102876992 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301613 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13845
/proc/meminfo: memFree=1755784/2055920 swapFree=4180436/4192956
[pid=13845] ppid=13843 vsize=866284 CPUtime=0.28
/proc/13845/stat : 13845 (java) S 13843 13845 11703 0 -1 0 5835 0 1 0 24 4 0 0 18 0 9 0 2005359924 887074816 5209 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13845/statm: 216571 5209 1953 9 0 211099 0
[pid=13845/tid=13846] ppid=13843 vsize=866284 CPUtime=0.22
/proc/13845/task/13846/stat : 13846 (java) R 13843 13845 11703 0 -1 64 4862 0 1 0 19 3 0 0 18 0 9 0 2005359926 887074816 5209 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866284
[startup+0.70165 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13845
/proc/meminfo: memFree=1755784/2055920 swapFree=4180436/4192956
[pid=13845] ppid=13843 vsize=867408 CPUtime=0.68
/proc/13845/stat : 13845 (java) S 13843 13845 11703 0 -1 0 9481 0 1 0 61 7 0 0 18 0 9 0 2005359924 888225792 8841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13845/statm: 216852 8841 2008 9 0 211358 0
[pid=13845/tid=13846] ppid=13843 vsize=867408 CPUtime=0.49
/proc/13845/task/13846/stat : 13846 (java) R 13843 13845 11703 0 -1 64 8160 0 1 0 44 5 0 0 19 0 9 0 2005359926 888225792 8841 996147200 134512640 134550740 4294955968 18446744073709551615 3998684 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867408
[startup+1.50172 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 13854
/proc/meminfo: memFree=1716032/2055920 swapFree=4180436/4192956
[pid=13845] ppid=13843 vsize=867860 CPUtime=1.31
/proc/13845/stat : 13845 (java) S 13843 13845 11703 0 -1 0 15780 0 1 0 113 18 0 0 18 0 10 0 2005359924 888688640 14955 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13845/statm: 216965 14955 2019 9 0 211471 0
[pid=13845/tid=13846] ppid=13843 vsize=867860 CPUtime=1.04
/proc/13845/task/13846/stat : 13846 (java) S 13843 13845 11703 0 -1 64 14283 0 1 0 87 17 0 0 17 0 10 0 2005359926 888688640 14955 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=13845/tid=13848] ppid=13843 vsize=867860 CPUtime=0
/proc/13845/task/13848/stat : 13848 (java) S 13843 13845 11703 0 -1 64 5 0 0 0 0 0 0 0 17 0 10 0 2005359927 888688640 14955 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13849] ppid=13843 vsize=867860 CPUtime=0
/proc/13845/task/13849/stat : 13849 (java) S 13843 13845 11703 0 -1 64 10 0 0 0 0 0 0 0 19 0 10 0 2005359927 888688640 14955 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13850] ppid=13843 vsize=867860 CPUtime=0
/proc/13845/task/13850/stat : 13850 (java) S 13843 13845 11703 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 2005359927 888688640 14955 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13851] ppid=13843 vsize=867860 CPUtime=0
/proc/13845/task/13851/stat : 13851 (java) S 13843 13845 11703 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2005359929 888688640 14955 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13852] ppid=13843 vsize=867860 CPUtime=0.25
/proc/13845/task/13852/stat : 13852 (java) S 13843 13845 11703 0 -1 64 727 0 0 0 25 0 0 0 15 0 10 0 2005359929 888688640 14955 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13853] ppid=13843 vsize=867860 CPUtime=0
/proc/13845/task/13853/stat : 13853 (java) S 13843 13845 11703 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2005359929 888688640 14955 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13854] ppid=13843 vsize=867860 CPUtime=0
/proc/13845/task/13854/stat : 13854 (java) S 13843 13845 11703 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2005359929 888688640 14955 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 867860
[startup+3.10288 s]
/proc/loadavg: 2.08 2.02 2.01 3/81 13858
/proc/meminfo: memFree=1691072/2055920 swapFree=4180436/4192956
[pid=13845] ppid=13843 vsize=867772 CPUtime=3.04
/proc/13845/stat : 13845 (java) S 13843 13845 11703 0 -1 0 32758 799 1 0 252 24 27 1 18 0 9 0 2005359924 888598528 20062 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13845/statm: 216943 20062 2017 9 0 211471 0
[pid=13845/tid=13846] ppid=13843 vsize=867772 CPUtime=2.64
/proc/13845/task/13846/stat : 13846 (java) R 13843 13845 11703 0 -1 64 24332 799 1 0 216 20 27 1 25 0 9 0 2005359926 888598528 20062 996147200 134512640 134550740 4294955968 18446744073709551615 4127119059 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13848] ppid=13843 vsize=867772 CPUtime=0.37
/proc/13845/task/13848/stat : 13848 (java) S 13843 13845 11703 0 -1 64 6668 799 0 0 8 1 27 1 16 0 9 0 2005359927 888598528 20062 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13849] ppid=13843 vsize=867772 CPUtime=0.28
/proc/13845/task/13849/stat : 13849 (java) S 13843 13845 11703 0 -1 64 18 799 0 0 0 0 27 1 16 0 9 0 2005359927 888598528 20062 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13850] ppid=13843 vsize=867772 CPUtime=0.28
/proc/13845/task/13850/stat : 13850 (java) S 13843 13845 11703 0 -1 64 17 799 0 0 0 0 27 1 16 0 9 0 2005359927 888598528 20062 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13851] ppid=13843 vsize=867772 CPUtime=0.28
/proc/13845/task/13851/stat : 13851 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 18 0 9 0 2005359929 888598528 20062 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13852] ppid=13843 vsize=867772 CPUtime=0.55
/proc/13845/task/13852/stat : 13852 (java) S 13843 13845 11703 0 -1 64 913 799 0 0 27 0 27 1 15 0 9 0 2005359929 888598528 20062 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13853] ppid=13843 vsize=867772 CPUtime=0.28
/proc/13845/task/13853/stat : 13853 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 19 0 9 0 2005359929 888598528 20062 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13854] ppid=13843 vsize=867772 CPUtime=0.28
/proc/13845/task/13854/stat : 13854 (java) S 13843 13845 11703 0 -1 64 8 799 0 0 0 0 27 1 15 0 9 0 2005359929 888598528 20062 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867772
[startup+6.30117 s]
/proc/loadavg: 2.08 2.02 2.01 3/81 13858
/proc/meminfo: memFree=1680648/2055920 swapFree=4180436/4192956
[pid=13845] ppid=13843 vsize=867976 CPUtime=6.21
/proc/13845/stat : 13845 (java) S 13843 13845 11703 0 -1 0 34742 799 1 0 567 26 27 1 18 0 9 0 2005359924 888807424 21204 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13845/statm: 216994 21204 2638 9 0 211500 0
[pid=13845/tid=13846] ppid=13843 vsize=867976 CPUtime=5.59
/proc/13845/task/13846/stat : 13846 (java) R 13843 13845 11703 0 -1 64 24546 799 1 0 510 21 27 1 25 0 9 0 2005359926 888807424 21204 996147200 134512640 134550740 4294955968 18446744073709551615 4127273479 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13848] ppid=13843 vsize=867976 CPUtime=0.46
/proc/13845/task/13848/stat : 13848 (java) S 13843 13845 11703 0 -1 64 8325 799 0 0 16 2 27 1 17 0 9 0 2005359927 888807424 21204 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13849] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13849/stat : 13849 (java) S 13843 13845 11703 0 -1 64 18 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21204 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13850] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13850/stat : 13850 (java) S 13843 13845 11703 0 -1 64 17 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21204 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13851] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13851/stat : 13851 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 18 0 9 0 2005359929 888807424 21204 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13852] ppid=13843 vsize=867976 CPUtime=0.69
/proc/13845/task/13852/stat : 13852 (java) S 13843 13845 11703 0 -1 64 1004 799 0 0 40 1 27 1 15 0 9 0 2005359929 888807424 21204 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13853] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13853/stat : 13853 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 19 0 9 0 2005359929 888807424 21204 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13854] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13854/stat : 13854 (java) S 13843 13845 11703 0 -1 64 30 799 0 0 0 0 27 1 15 0 9 0 2005359929 888807424 21204 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867976
[startup+12.7028 s]
/proc/loadavg: 2.07 2.02 2.00 3/81 13858
/proc/meminfo: memFree=1680520/2055920 swapFree=4180436/4192956
[pid=13845] ppid=13843 vsize=867976 CPUtime=12.56
/proc/13845/stat : 13845 (java) S 13843 13845 11703 0 -1 0 34763 799 1 0 1202 26 27 1 18 0 9 0 2005359924 888807424 21217 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13845/statm: 216994 21217 2638 9 0 211500 0
[pid=13845/tid=13846] ppid=13843 vsize=867976 CPUtime=11.91
/proc/13845/task/13846/stat : 13846 (java) R 13843 13845 11703 0 -1 64 24549 799 1 0 1142 21 27 1 25 0 9 0 2005359926 888807424 21217 996147200 134512640 134550740 4294955968 18446744073709551615 4127375763 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13848] ppid=13843 vsize=867976 CPUtime=0.46
/proc/13845/task/13848/stat : 13848 (java) S 13843 13845 11703 0 -1 64 8325 799 0 0 16 2 27 1 16 0 9 0 2005359927 888807424 21217 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13849] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13849/stat : 13849 (java) S 13843 13845 11703 0 -1 64 18 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21217 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13850] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13850/stat : 13850 (java) S 13843 13845 11703 0 -1 64 17 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21217 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13851] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13851/stat : 13851 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 18 0 9 0 2005359929 888807424 21217 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13852] ppid=13843 vsize=867976 CPUtime=0.72
/proc/13845/task/13852/stat : 13852 (java) S 13843 13845 11703 0 -1 64 1022 799 0 0 43 1 27 1 16 0 9 0 2005359929 888807424 21217 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13853] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13853/stat : 13853 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 19 0 9 0 2005359929 888807424 21217 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13854] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13854/stat : 13854 (java) S 13843 13845 11703 0 -1 64 30 799 0 0 0 0 27 1 15 0 9 0 2005359929 888807424 21217 996147200 134512640 134550740 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) 867976
[startup+25.502 s]
/proc/loadavg: 2.06 2.01 2.00 3/81 13858
/proc/meminfo: memFree=1680584/2055920 swapFree=4180436/4192956
[pid=13845] ppid=13843 vsize=867976 CPUtime=25.26
/proc/13845/stat : 13845 (java) S 13843 13845 11703 0 -1 0 34767 799 1 0 2471 27 27 1 18 0 9 0 2005359924 888807424 21219 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13845/statm: 216994 21219 2638 9 0 211500 0
[pid=13845/tid=13846] ppid=13843 vsize=867976 CPUtime=24.6
/proc/13845/task/13846/stat : 13846 (java) R 13843 13845 11703 0 -1 64 24550 799 1 0 2410 22 27 1 25 0 9 0 2005359926 888807424 21219 996147200 134512640 134550740 4294955968 18446744073709551615 4126799549 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13848] ppid=13843 vsize=867976 CPUtime=0.46
/proc/13845/task/13848/stat : 13848 (java) S 13843 13845 11703 0 -1 64 8325 799 0 0 16 2 27 1 16 0 9 0 2005359927 888807424 21219 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13849] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13849/stat : 13849 (java) S 13843 13845 11703 0 -1 64 18 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21219 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13850] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13850/stat : 13850 (java) S 13843 13845 11703 0 -1 64 17 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21219 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13851] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13851/stat : 13851 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 18 0 9 0 2005359929 888807424 21219 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13852] ppid=13843 vsize=867976 CPUtime=0.72
/proc/13845/task/13852/stat : 13852 (java) S 13843 13845 11703 0 -1 64 1025 799 0 0 43 1 27 1 16 0 9 0 2005359929 888807424 21219 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13853] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13853/stat : 13853 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 19 0 9 0 2005359929 888807424 21219 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13854] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13854/stat : 13854 (java) S 13843 13845 11703 0 -1 64 30 799 0 0 0 0 27 1 15 0 9 0 2005359929 888807424 21219 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 867976
[startup+51.1013 s]
/proc/loadavg: 2.04 2.01 2.00 3/81 13858
/proc/meminfo: memFree=1680648/2055920 swapFree=4180436/4192956
[pid=13845] ppid=13843 vsize=867976 CPUtime=50.64
/proc/13845/stat : 13845 (java) S 13843 13845 11703 0 -1 0 34767 799 1 0 5009 27 27 1 18 0 9 0 2005359924 888807424 21219 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13845/statm: 216994 21219 2638 9 0 211500 0
[pid=13845/tid=13846] ppid=13843 vsize=867976 CPUtime=49.99
/proc/13845/task/13846/stat : 13846 (java) R 13843 13845 11703 0 -1 64 24550 799 1 0 4949 22 27 1 25 0 9 0 2005359926 888807424 21219 996147200 134512640 134550740 4294955968 18446744073709551615 4127287780 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13848] ppid=13843 vsize=867976 CPUtime=0.46
################
# More data... #
################
/proc/13845/stat : 13845 (java) S 13843 13845 11703 0 -1 0 34768 799 1 0 64021 30 27 1 18 0 9 0 2005359924 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13845/statm: 216994 21220 2638 9 0 211500 0
[pid=13845/tid=13846] ppid=13843 vsize=867976 CPUtime=640.13
/proc/13845/task/13846/stat : 13846 (java) R 13843 13845 11703 0 -1 64 24550 799 1 0 63960 25 27 1 25 0 9 0 2005359926 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4127274249 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13848] ppid=13843 vsize=867976 CPUtime=0.46
/proc/13845/task/13848/stat : 13848 (java) S 13843 13845 11703 0 -1 64 8325 799 0 0 16 2 27 1 16 0 9 0 2005359927 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13849] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13849/stat : 13849 (java) S 13843 13845 11703 0 -1 64 18 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13850] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13850/stat : 13850 (java) S 13843 13845 11703 0 -1 64 17 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13851] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13851/stat : 13851 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 18 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13852] ppid=13843 vsize=867976 CPUtime=0.72
/proc/13845/task/13852/stat : 13852 (java) S 13843 13845 11703 0 -1 64 1026 799 0 0 43 1 27 1 16 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13853] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13853/stat : 13853 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 19 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13854] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13854/stat : 13854 (java) S 13843 13845 11703 0 -1 64 30 799 0 0 0 0 27 1 15 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 640.79
Current children cumulated vsize (KiB) 867976
[startup+649.501 s]
/proc/loadavg: 2.00 2.03 2.00 3/81 13858
/proc/meminfo: memFree=1679816/2055920 swapFree=4180436/4192956
[pid=13845] ppid=13843 vsize=867976 CPUtime=643.97
/proc/13845/stat : 13845 (java) S 13843 13845 11703 0 -1 0 34768 799 1 0 64339 30 27 1 18 0 9 0 2005359924 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13845/statm: 216994 21220 2638 9 0 211500 0
[pid=13845/tid=13846] ppid=13843 vsize=867976 CPUtime=643.31
/proc/13845/task/13846/stat : 13846 (java) R 13843 13845 11703 0 -1 64 24550 799 1 0 64278 25 27 1 25 0 9 0 2005359926 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4127307628 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13848] ppid=13843 vsize=867976 CPUtime=0.46
/proc/13845/task/13848/stat : 13848 (java) S 13843 13845 11703 0 -1 64 8325 799 0 0 16 2 27 1 16 0 9 0 2005359927 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13849] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13849/stat : 13849 (java) S 13843 13845 11703 0 -1 64 18 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13850] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13850/stat : 13850 (java) S 13843 13845 11703 0 -1 64 17 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13851] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13851/stat : 13851 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 18 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13852] ppid=13843 vsize=867976 CPUtime=0.72
/proc/13845/task/13852/stat : 13852 (java) S 13843 13845 11703 0 -1 64 1026 799 0 0 43 1 27 1 16 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13853] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13853/stat : 13853 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 19 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13854] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13854/stat : 13854 (java) S 13843 13845 11703 0 -1 64 30 799 0 0 0 0 27 1 15 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 643.97
Current children cumulated vsize (KiB) 867976
[startup+651.101 s]
/proc/loadavg: 2.00 2.03 2.00 3/81 13858
/proc/meminfo: memFree=1679816/2055920 swapFree=4180436/4192956
[pid=13845] ppid=13843 vsize=867976 CPUtime=645.55
/proc/13845/stat : 13845 (java) S 13843 13845 11703 0 -1 0 34768 799 1 0 64497 30 27 1 18 0 9 0 2005359924 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13845/statm: 216994 21220 2638 9 0 211500 0
[pid=13845/tid=13846] ppid=13843 vsize=867976 CPUtime=644.9
/proc/13845/task/13846/stat : 13846 (java) R 13843 13845 11703 0 -1 64 24550 799 1 0 64437 25 27 1 25 0 9 0 2005359926 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4127257840 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13848] ppid=13843 vsize=867976 CPUtime=0.46
/proc/13845/task/13848/stat : 13848 (java) S 13843 13845 11703 0 -1 64 8325 799 0 0 16 2 27 1 16 0 9 0 2005359927 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13849] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13849/stat : 13849 (java) S 13843 13845 11703 0 -1 64 18 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13850] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13850/stat : 13850 (java) S 13843 13845 11703 0 -1 64 17 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13851] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13851/stat : 13851 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 18 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13852] ppid=13843 vsize=867976 CPUtime=0.72
/proc/13845/task/13852/stat : 13852 (java) S 13843 13845 11703 0 -1 64 1026 799 0 0 43 1 27 1 16 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13853] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13853/stat : 13853 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 19 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13854] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13854/stat : 13854 (java) S 13843 13845 11703 0 -1 64 30 799 0 0 0 0 27 1 15 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 645.55
Current children cumulated vsize (KiB) 867976
[startup+652.702 s]
/proc/loadavg: 2.00 2.03 2.00 3/81 13858
/proc/meminfo: memFree=1679816/2055920 swapFree=4180436/4192956
[pid=13845] ppid=13843 vsize=867976 CPUtime=647.14
/proc/13845/stat : 13845 (java) S 13843 13845 11703 0 -1 0 34768 799 1 0 64656 30 27 1 18 0 9 0 2005359924 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13845/statm: 216994 21220 2638 9 0 211500 0
[pid=13845/tid=13846] ppid=13843 vsize=867976 CPUtime=646.48
/proc/13845/task/13846/stat : 13846 (java) R 13843 13845 11703 0 -1 64 24550 799 1 0 64595 25 27 1 25 0 9 0 2005359926 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4127343553 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13848] ppid=13843 vsize=867976 CPUtime=0.46
/proc/13845/task/13848/stat : 13848 (java) S 13843 13845 11703 0 -1 64 8325 799 0 0 16 2 27 1 16 0 9 0 2005359927 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13849] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13849/stat : 13849 (java) S 13843 13845 11703 0 -1 64 18 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13850] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13850/stat : 13850 (java) S 13843 13845 11703 0 -1 64 17 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13851] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13851/stat : 13851 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 18 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13852] ppid=13843 vsize=867976 CPUtime=0.72
/proc/13845/task/13852/stat : 13852 (java) S 13843 13845 11703 0 -1 64 1026 799 0 0 43 1 27 1 16 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13853] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13853/stat : 13853 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 19 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13854] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13854/stat : 13854 (java) S 13843 13845 11703 0 -1 64 30 799 0 0 0 0 27 1 15 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 647.14
Current children cumulated vsize (KiB) 867976
[startup+653.502 s]
/proc/loadavg: 2.00 2.03 2.00 3/81 13858
/proc/meminfo: memFree=1679816/2055920 swapFree=4180436/4192956
[pid=13845] ppid=13843 vsize=867976 CPUtime=647.93
/proc/13845/stat : 13845 (java) S 13843 13845 11703 0 -1 0 34768 799 1 0 64735 30 27 1 18 0 9 0 2005359924 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13845/statm: 216994 21220 2638 9 0 211500 0
[pid=13845/tid=13846] ppid=13843 vsize=867976 CPUtime=647.27
/proc/13845/task/13846/stat : 13846 (java) R 13843 13845 11703 0 -1 64 24550 799 1 0 64674 25 27 1 25 0 9 0 2005359926 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4127262952 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13848] ppid=13843 vsize=867976 CPUtime=0.46
/proc/13845/task/13848/stat : 13848 (java) S 13843 13845 11703 0 -1 64 8325 799 0 0 16 2 27 1 16 0 9 0 2005359927 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13849] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13849/stat : 13849 (java) S 13843 13845 11703 0 -1 64 18 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13850] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13850/stat : 13850 (java) S 13843 13845 11703 0 -1 64 17 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13851] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13851/stat : 13851 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 18 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13852] ppid=13843 vsize=867976 CPUtime=0.72
/proc/13845/task/13852/stat : 13852 (java) S 13843 13845 11703 0 -1 64 1026 799 0 0 43 1 27 1 16 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13853] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13853/stat : 13853 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 19 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13854] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13854/stat : 13854 (java) S 13843 13845 11703 0 -1 64 30 799 0 0 0 0 27 1 15 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 647.93
Current children cumulated vsize (KiB) 867976
[startup+653.702 s]
/proc/loadavg: 2.00 2.03 2.00 3/81 13858
/proc/meminfo: memFree=1679816/2055920 swapFree=4180436/4192956
[pid=13845] ppid=13843 vsize=867976 CPUtime=648.13
/proc/13845/stat : 13845 (java) S 13843 13845 11703 0 -1 0 34768 799 1 0 64755 30 27 1 18 0 9 0 2005359924 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13845/statm: 216994 21220 2638 9 0 211500 0
[pid=13845/tid=13846] ppid=13843 vsize=867976 CPUtime=647.47
/proc/13845/task/13846/stat : 13846 (java) R 13843 13845 11703 0 -1 64 24550 799 1 0 64694 25 27 1 25 0 9 0 2005359926 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4127375779 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13848] ppid=13843 vsize=867976 CPUtime=0.46
/proc/13845/task/13848/stat : 13848 (java) S 13843 13845 11703 0 -1 64 8325 799 0 0 16 2 27 1 16 0 9 0 2005359927 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13849] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13849/stat : 13849 (java) S 13843 13845 11703 0 -1 64 18 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13850] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13850/stat : 13850 (java) S 13843 13845 11703 0 -1 64 17 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13851] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13851/stat : 13851 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 18 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13852] ppid=13843 vsize=867976 CPUtime=0.72
/proc/13845/task/13852/stat : 13852 (java) S 13843 13845 11703 0 -1 64 1026 799 0 0 43 1 27 1 16 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13853] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13853/stat : 13853 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 19 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13854] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13854/stat : 13854 (java) S 13843 13845 11703 0 -1 64 30 799 0 0 0 0 27 1 15 0 9 0 2005359929 888807424 21220 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 648.13
Current children cumulated vsize (KiB) 867976
[startup+653.802 s]
/proc/loadavg: 2.00 2.03 2.00 3/81 13858
/proc/meminfo: memFree=1679816/2055920 swapFree=4180436/4192956
[pid=13845] ppid=13843 vsize=867976 CPUtime=648.22
/proc/13845/stat : 13845 (java) S 13843 13845 11703 0 -1 0 34793 799 1 0 64764 30 27 1 18 0 9 0 2005359924 888807424 21228 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13845/statm: 216994 21228 2638 9 0 211500 0
[pid=13845/tid=13846] ppid=13843 vsize=867976 CPUtime=647.55
/proc/13845/task/13846/stat : 13846 (java) S 13843 13845 11703 0 -1 64 24556 799 1 0 64702 25 27 1 23 0 9 0 2005359926 888807424 21228 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13848] ppid=13843 vsize=867976 CPUtime=0.46
/proc/13845/task/13848/stat : 13848 (java) S 13843 13845 11703 0 -1 64 8325 799 0 0 16 2 27 1 16 0 9 0 2005359927 888807424 21228 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13849] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13849/stat : 13849 (java) S 13843 13845 11703 0 -1 64 18 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21228 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13850] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13850/stat : 13850 (java) S 13843 13845 11703 0 -1 64 17 799 0 0 0 0 27 1 16 0 9 0 2005359927 888807424 21228 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13851] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13851/stat : 13851 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 18 0 9 0 2005359929 888807424 21228 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13852] ppid=13843 vsize=867976 CPUtime=0.73
/proc/13845/task/13852/stat : 13852 (java) S 13843 13845 11703 0 -1 64 1045 799 0 0 44 1 27 1 16 0 9 0 2005359929 888807424 21228 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13853] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13853/stat : 13853 (java) S 13843 13845 11703 0 -1 64 1 799 0 0 0 0 27 1 19 0 9 0 2005359929 888807424 21228 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13845/tid=13854] ppid=13843 vsize=867976 CPUtime=0.28
/proc/13845/task/13854/stat : 13854 (java) S 13843 13845 11703 0 -1 64 30 799 0 0 0 0 27 1 15 0 9 0 2005359929 888807424 21228 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 648.22
Current children cumulated vsize (KiB) 867976
Child status: 0
Real time (s): 653.854
CPU time (s): 648.254
CPU user time (s): 647.919
CPU system time (s): 0.334949
CPU usage (%): 99.1435
Max. virtual memory (cumulated for all children) (KiB): 867976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 647.92
system time used= 0.334949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35620
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= 15503
involuntary context switches= 29264
runsolver used 0.805877 second user time and 2.17967 second system time
The end
Begin job on node48 at 2008-07-05 15:17:57
IDJOB=1091983
IDBENCH=58588
IDSOLVER=364
FILE ID=node48/1091983-1215263877
PBS_JOBID= 7882012
Free space on /tmp= 66540 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/bibdVariousK/normalized-bibd-16-20-5-4-1_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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1091983-1215263877/watcher-1091983-1215263877 -o /tmp/evaluation-result-1091983-1215263877/solver-1091983-1215263877 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1091983-1215263877.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 42e6d699610a4f375f7190359d9d43b3
RANDOM SEED=1274587255
node48.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.231
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.231
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: 1756200 kB
Buffers: 28356 kB
Cached: 197632 kB
SwapCached: 6436 kB
Active: 152416 kB
Inactive: 94120 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1756200 kB
SwapTotal: 4192956 kB
SwapFree: 4180436 kB
Dirty: 2804 kB
Writeback: 0 kB
Mapped: 28060 kB
Slab: 38520 kB
Committed_AS: 4234828 kB
PageTables: 1696 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= 66540 MiB
End job on node48 at 2008-07-05 15:28:51