0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.17/0.25
0.17/0.25 configuration
0.17/0.25 name=esac.xml
0.17/0.28
0.17/0.28 instance
0.17/0.28 name=HOME/instance-2098512-1247416017.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.47/0.51 nbVariables=1566 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=3132
0.47/0.51 => wckTime=0.258 cpuTime=0.16 mem=9M842
0.47/0.51
0.47/0.51 predicates being loaded...
0.47/0.57
0.47/0.57 constraints being loaded...
3.65/3.75 nbConstraints=5856 nbGlobalConstraints=51 nbConflictsStructures=3 nbSharedConflictsStructures=5766
3.65/3.75 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=0 nbEvaluationManagers=4
3.65/3.75 nbSharedEvaluationManagers=5801 minDegree=9 maxDegree=25 minArity=3 avgArity=4.59 maxArity=522
3.65/3.75 nbGenerators=51 nbFusions=0 symmetryWckTime=1.974 symmetryCpuTime=0.95
3.65/3.75 => wckTime=3.499 cpuTime=2.21 mem=54M821
3.76/3.87
3.76/3.87 solver IterativeSystematicSolver being built...
3.95/4.05
3.95/4.06 INFO : Forward propagation technique limited
4.15/4.21 => wckTime=3.966 cpuTime=2.49 mem=31M176
4.94/5.09
5.04/5.11 preprocessing
5.04/5.11 nbConstraintChecks=67460 nbValidityChecks=26844 nbPropagations=3293 nbRevisions=18742 nbUselessRevisions=18533
5.04/5.11 nbSingletonTests=1576 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
5.04/5.11 detectedInconsistency=no
5.04/5.11 => wckTime=0.867 cpuTime=0.82 mem=32M155
965.25/970.12
965.25/970.12 search
965.25/970.12 run=23 nbConstraintChecks=246481628 nbValidityChecks=241378926 minDepth=0 maxDepth=1566
965.25/970.12 nbPropagations=33399565 nbRevisions=537853777 nbUselessRevisions=496237805 nbAssignments=2337871
965.25/970.12 nbFailedAssignments=321084 nbBacktracks=2011805 nbVisitedNodes=2838263 nbRestartNogoods=135 nbFoundSolutions=1
965.25/970.12 nbSEliminables=? nbREliminables=? nbIEliminables=? nbDEliminables=? nbPEliminables=?
965.25/970.12 => wckTime=965.903 cpuTime=961.0 mem=34M129
965.25/970.12
965.25/970.12 global
965.25/970.12 nbConstraintChecks=246549088 nbValidityChecks=241405770 nbPropagations=33402858 nbRevisions=537872519
965.25/970.12 nbUselessRevisions=496256338 nbRestartNogoods=135 solvingWckTime=965.906 solvingCpuTime=961.0 expiredTime=no
965.25/970.12 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=963.48 globalCpuTime=963.53
965.25/970.12 => wckTime=969.876 cpuTime=963.49 mem=34M129
965.25/970.13
965.25/970.13 s SATISFIABLE
965.25/970.13 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 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 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 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 0 1 1 1 0 0 1 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 1 1 0 1 1 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 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 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 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 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 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 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 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0
965.25/970.13 d NODES 2337871
965.25/970.13 d CHECKS 246549088
965.25/970.13
965.25/970.13 totalWckTime=969.946 totalCpuTime=963.54
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098512-1247416017/watcher-2098512-1247416017 -o /tmp/evaluation-result-2098512-1247416017/solver-2098512-1247416017 -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-2098512-1247416017.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.77 1.95 1.98 3/80 31643
/proc/meminfo: memFree=1735696/2055920 swapFree=4192812/4192956
[pid=31643] ppid=31641 vsize=18576 CPUtime=0
/proc/31643/stat : 31643 (runsolver) R 31641 31643 31606 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 28664328 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/31643/statm: 4644 284 249 26 0 2626 0
[startup+0.0518209 s]
/proc/loadavg: 1.77 1.95 1.98 3/80 31643
/proc/meminfo: memFree=1735696/2055920 swapFree=4192812/4192956
[pid=31643] ppid=31641 vsize=863836 CPUtime=0.03
/proc/31643/stat : 31643 (java) S 31641 31643 31606 0 -1 0 2500 0 1 0 2 1 0 0 21 0 9 0 28664328 884568064 2061 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31643/statm: 215959 2061 952 9 0 210852 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 863836
[startup+0.101825 s]
/proc/loadavg: 1.77 1.95 1.98 3/80 31643
/proc/meminfo: memFree=1735696/2055920 swapFree=4192812/4192956
[pid=31643] ppid=31641 vsize=865940 CPUtime=0.08
/proc/31643/stat : 31643 (java) S 31641 31643 31606 0 -1 0 3738 0 1 0 7 1 0 0 21 0 9 0 28664328 886722560 3206 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31643/statm: 216485 3206 1700 9 0 210970 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865940
[startup+0.301856 s]
/proc/loadavg: 1.77 1.95 1.98 3/80 31643
/proc/meminfo: memFree=1735696/2055920 swapFree=4192812/4192956
[pid=31643] ppid=31641 vsize=866432 CPUtime=0.28
/proc/31643/stat : 31643 (java) S 31641 31643 31606 0 -1 0 5979 0 1 0 25 3 0 0 21 0 9 0 28664328 887226368 5345 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31643/statm: 216608 5345 1984 9 0 211066 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866432
[startup+0.70191 s]
/proc/loadavg: 1.77 1.95 1.98 3/80 31643
/proc/meminfo: memFree=1735696/2055920 swapFree=4192812/4192956
[pid=31643] ppid=31641 vsize=867536 CPUtime=0.67
/proc/31643/stat : 31643 (java) S 31641 31643 31606 0 -1 0 9123 0 1 0 63 4 0 0 21 0 9 0 28664328 888356864 8477 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31643/statm: 216884 8477 2038 9 0 211320 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867536
[startup+1.50302 s]
/proc/loadavg: 1.77 1.95 1.98 4/91 31656
/proc/meminfo: memFree=1691376/2055920 swapFree=4192812/4192956
[pid=31643] ppid=31641 vsize=867668 CPUtime=1.47
/proc/31643/stat : 31643 (java) S 31641 31643 31606 0 -1 0 17477 0 1 0 120 27 0 0 21 0 9 0 28664328 888492032 16829 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31643/statm: 216917 16829 2048 9 0 211353 0
[pid=31643/tid=31645] ppid=31641 vsize=867668 CPUtime=1.24
/proc/31643/task/31645/stat : 31645 (java) R 31641 31643 31606 0 -1 64 15804 0 1 0 98 26 0 0 25 0 9 0 28664329 888492032 16829 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31646] ppid=31641 vsize=867668 CPUtime=0.01
/proc/31643/task/31646/stat : 31646 (java) R 31641 31643 31606 0 -1 64 294 0 0 0 1 0 0 0 16 0 9 0 28664331 888492032 16829 996147200 134512640 134550932 4294955968 18446744073709551615 102549400 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31647] ppid=31641 vsize=867668 CPUtime=0
/proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31606 0 -1 64 11 0 0 0 0 0 0 0 24 0 9 0 28664331 888492032 16829 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31648] ppid=31641 vsize=867668 CPUtime=0
/proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31606 0 -1 64 4 0 0 0 0 0 0 0 25 0 9 0 28664331 888492032 16829 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31649] ppid=31641 vsize=867668 CPUtime=0
/proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31606 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28664333 888492032 16829 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31650] ppid=31641 vsize=867668 CPUtime=0.2
/proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31606 0 -1 64 683 0 0 0 20 0 0 0 16 0 9 0 28664333 888492032 16829 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31651] ppid=31641 vsize=867668 CPUtime=0
/proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31606 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28664333 888492032 16829 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31652] ppid=31641 vsize=867668 CPUtime=0
/proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31606 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28664333 888492032 16829 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867668
[startup+3.10224 s]
/proc/loadavg: 1.94 1.98 1.99 4/93 31658
/proc/meminfo: memFree=1650272/2055920 swapFree=4192812/4192956
[pid=31643] ppid=31641 vsize=868228 CPUtime=3.06
/proc/31643/stat : 31643 (java) S 31641 31643 31606 0 -1 0 25629 1143 1 0 183 34 88 1 21 0 10 0 28664328 889065472 18430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31643/statm: 217057 18430 2043 9 0 211515 0
[pid=31643/tid=31645] ppid=31641 vsize=868228 CPUtime=2.71
/proc/31643/task/31645/stat : 31645 (java) R 31641 31643 31606 0 -1 64 21978 1143 1 0 150 32 88 1 16 0 10 0 28664329 889065472 18430 996147200 134512640 134550932 4294955968 18446744073709551615 4127150164 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31646] ppid=31641 vsize=868228 CPUtime=0.96
/proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31606 0 -1 64 1865 1143 0 0 7 0 88 1 16 0 10 0 28664331 889065472 18430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31647] ppid=31641 vsize=868228 CPUtime=0.89
/proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31606 0 -1 64 16 1143 0 0 0 0 88 1 16 0 10 0 28664331 889065472 18430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31648] ppid=31641 vsize=868228 CPUtime=0.89
/proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31606 0 -1 64 5 1143 0 0 0 0 88 1 16 0 10 0 28664331 889065472 18430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31649] ppid=31641 vsize=868228 CPUtime=0.89
/proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31606 0 -1 64 1 1143 0 0 0 0 88 1 25 0 10 0 28664333 889065472 18430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31650] ppid=31641 vsize=868228 CPUtime=1.13
/proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31606 0 -1 64 943 1143 0 0 24 0 88 1 15 0 10 0 28664333 889065472 18430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31643/tid=31651] ppid=31641 vsize=868228 CPUtime=0.89
/proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31606 0 -1 64 1 1143 0 0 0 0 88 1 25 0 10 0 28664333 889065472 18430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31652] ppid=31641 vsize=868228 CPUtime=0.89
/proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31606 0 -1 64 11 1143 0 0 0 0 88 1 15 0 10 0 28664333 889065472 18430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 868228
[startup+6.30167 s]
/proc/loadavg: 1.94 1.98 1.99 3/89 31660
/proc/meminfo: memFree=1637288/2055920 swapFree=4192812/4192956
[pid=31643] ppid=31641 vsize=868384 CPUtime=6.23
/proc/31643/stat : 31643 (java) S 31641 31643 31606 0 -1 0 41716 1266 1 0 495 39 88 1 21 0 9 0 28664328 889225216 23050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31643/statm: 217096 23050 2662 9 0 211532 0
[pid=31643/tid=31645] ppid=31641 vsize=868384 CPUtime=5.55
/proc/31643/task/31645/stat : 31645 (java) R 31641 31643 31606 0 -1 64 29112 1266 1 0 432 34 88 1 18 0 9 0 28664329 889225216 23050 996147200 134512640 134550932 4294955968 18446744073709551615 4127448578 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31646] ppid=31641 vsize=868384 CPUtime=1.17
/proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31606 0 -1 64 10671 1266 0 0 25 3 88 1 17 0 9 0 28664331 889225216 23050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31647] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31606 0 -1 64 22 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31648] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31606 0 -1 64 8 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31649] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31650] ppid=31641 vsize=868384 CPUtime=1.26
/proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31606 0 -1 64 1062 1266 0 0 37 0 88 1 15 0 9 0 28664333 889225216 23050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31651] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31652] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31606 0 -1 64 30 1266 0 0 0 0 88 1 15 0 9 0 28664333 889225216 23050 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 868384
[startup+12.7025 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 31660
/proc/meminfo: memFree=1635328/2055920 swapFree=4192812/4192956
[pid=31643] ppid=31641 vsize=868384 CPUtime=12.6
/proc/31643/stat : 31643 (java) S 31641 31643 31606 0 -1 0 41730 1266 1 0 1132 39 88 1 21 0 9 0 28664328 889225216 23057 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31643/statm: 217096 23057 2662 9 0 211532 0
[pid=31643/tid=31645] ppid=31641 vsize=868384 CPUtime=11.9
/proc/31643/task/31645/stat : 31645 (java) R 31641 31643 31606 0 -1 64 29114 1266 1 0 1067 34 88 1 25 0 9 0 28664329 889225216 23057 996147200 134512640 134550932 4294955968 18446744073709551615 4127448521 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31646] ppid=31641 vsize=868384 CPUtime=1.17
/proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31606 0 -1 64 10671 1266 0 0 25 3 88 1 17 0 9 0 28664331 889225216 23057 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31647] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31606 0 -1 64 22 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23057 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31648] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31606 0 -1 64 8 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23057 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31649] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23057 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31650] ppid=31641 vsize=868384 CPUtime=1.28
/proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31606 0 -1 64 1074 1266 0 0 39 0 88 1 17 0 9 0 28664333 889225216 23057 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31651] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23057 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31652] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31606 0 -1 64 30 1266 0 0 0 0 88 1 15 0 9 0 28664333 889225216 23057 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 868384
[startup+25.5013 s]
/proc/loadavg: 1.96 1.98 1.99 3/89 31660
/proc/meminfo: memFree=1635264/2055920 swapFree=4192812/4192956
[pid=31643] ppid=31641 vsize=868384 CPUtime=25.33
/proc/31643/stat : 31643 (java) S 31641 31643 31606 0 -1 0 41730 1266 1 0 2405 39 88 1 21 0 9 0 28664328 889225216 23057 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31643/statm: 217096 23057 2662 9 0 211532 0
[pid=31643/tid=31645] ppid=31641 vsize=868384 CPUtime=24.63
/proc/31643/task/31645/stat : 31645 (java) R 31641 31643 31606 0 -1 64 29114 1266 1 0 2340 34 88 1 25 0 9 0 28664329 889225216 23057 996147200 134512640 134550932 4294955968 18446744073709551615 4127448574 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31646] ppid=31641 vsize=868384 CPUtime=1.17
/proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31606 0 -1 64 10671 1266 0 0 25 3 88 1 16 0 9 0 28664331 889225216 23057 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31647] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31606 0 -1 64 22 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23057 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31648] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31606 0 -1 64 8 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23057 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31649] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23057 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31650] ppid=31641 vsize=868384 CPUtime=1.28
/proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31606 0 -1 64 1074 1266 0 0 39 0 88 1 16 0 9 0 28664333 889225216 23057 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31651] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23057 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31652] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31606 0 -1 64 30 1266 0 0 0 0 88 1 15 0 9 0 28664333 889225216 23057 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 868384
[startup+51.1018 s]
/proc/loadavg: 1.97 1.98 1.99 3/89 31660
/proc/meminfo: memFree=1635328/2055920 swapFree=4192812/4192956
[pid=31643] ppid=31641 vsize=868384 CPUtime=50.81
/proc/31643/stat : 31643 (java) S 31641 31643 31606 0 -1 0 41732 1266 1 0 4953 39 88 1 21 0 9 0 28664328 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31643/statm: 217096 23058 2662 9 0 211532 0
[pid=31643/tid=31645] ppid=31641 vsize=868384 CPUtime=50.1
/proc/31643/task/31645/stat : 31645 (java) R 31641 31643 31606 0 -1 64 29115 1266 1 0 4887 34 88 1 25 0 9 0 28664329 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4127332212 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31646] ppid=31641 vsize=868384 CPUtime=1.17
/proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31606 0 -1 64 10671 1266 0 0 25 3 88 1 16 0 9 0 28664331 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31647] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31606 0 -1 64 22 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31648] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31606 0 -1 64 8 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31649] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31650] ppid=31641 vsize=868384 CPUtime=1.28
/proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31606 0 -1 64 1075 1266 0 0 39 0 88 1 16 0 9 0 28664333 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31651] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/31643/stat : 31643 (java) S 31641 31643 31606 0 -1 0 41732 1266 1 0 94106 41 88 1 21 0 9 0 28664328 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31643/statm: 217096 23058 2662 9 0 211532 0
[pid=31643/tid=31645] ppid=31641 vsize=868384 CPUtime=941.66
/proc/31643/task/31645/stat : 31645 (java) R 31641 31643 31606 0 -1 64 29115 1266 1 0 94041 36 88 1 25 0 9 0 28664329 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4127334494 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31646] ppid=31641 vsize=868384 CPUtime=1.17
/proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31606 0 -1 64 10671 1266 0 0 25 3 88 1 16 0 9 0 28664331 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31647] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31606 0 -1 64 22 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31648] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31606 0 -1 64 8 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31649] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31650] ppid=31641 vsize=868384 CPUtime=1.28
/proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31606 0 -1 64 1075 1266 0 0 39 0 88 1 16 0 9 0 28664333 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31651] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31652] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31606 0 -1 64 30 1266 0 0 0 0 88 1 15 0 9 0 28664333 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 868384
[startup+959.902 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 31660
/proc/meminfo: memFree=1634752/2055920 swapFree=4192812/4192956
[pid=31643] ppid=31641 vsize=868384 CPUtime=955.1
/proc/31643/stat : 31643 (java) S 31641 31643 31606 0 -1 0 41732 1266 1 0 95380 41 88 1 21 0 9 0 28664328 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31643/statm: 217096 23058 2662 9 0 211532 0
[pid=31643/tid=31645] ppid=31641 vsize=868384 CPUtime=954.4
/proc/31643/task/31645/stat : 31645 (java) R 31641 31643 31606 0 -1 64 29115 1266 1 0 95315 36 88 1 25 0 9 0 28664329 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4127364928 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31646] ppid=31641 vsize=868384 CPUtime=1.17
/proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31606 0 -1 64 10671 1266 0 0 25 3 88 1 16 0 9 0 28664331 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31647] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31606 0 -1 64 22 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31648] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31606 0 -1 64 8 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31649] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31650] ppid=31641 vsize=868384 CPUtime=1.28
/proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31606 0 -1 64 1075 1266 0 0 39 0 88 1 16 0 9 0 28664333 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31651] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31652] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31606 0 -1 64 30 1266 0 0 0 0 88 1 15 0 9 0 28664333 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 955.1
Current children cumulated vsize (KiB) 868384
[startup+966.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 31660
/proc/meminfo: memFree=1634752/2055920 swapFree=4192812/4192956
[pid=31643] ppid=31641 vsize=868384 CPUtime=961.46
/proc/31643/stat : 31643 (java) S 31641 31643 31606 0 -1 0 41732 1266 1 0 96016 41 88 1 21 0 9 0 28664328 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31643/statm: 217096 23058 2662 9 0 211532 0
[pid=31643/tid=31645] ppid=31641 vsize=868384 CPUtime=960.76
/proc/31643/task/31645/stat : 31645 (java) R 31641 31643 31606 0 -1 64 29115 1266 1 0 95951 36 88 1 25 0 9 0 28664329 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4127448481 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31646] ppid=31641 vsize=868384 CPUtime=1.17
/proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31606 0 -1 64 10671 1266 0 0 25 3 88 1 16 0 9 0 28664331 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31647] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31606 0 -1 64 22 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31648] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31606 0 -1 64 8 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31649] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31650] ppid=31641 vsize=868384 CPUtime=1.28
/proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31606 0 -1 64 1075 1266 0 0 39 0 88 1 16 0 9 0 28664333 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31651] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31652] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31606 0 -1 64 30 1266 0 0 0 0 88 1 15 0 9 0 28664333 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 961.46
Current children cumulated vsize (KiB) 868384
[startup+967.902 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 31660
/proc/meminfo: memFree=1634752/2055920 swapFree=4192812/4192956
[pid=31643] ppid=31641 vsize=868384 CPUtime=963.06
/proc/31643/stat : 31643 (java) S 31641 31643 31606 0 -1 0 41732 1266 1 0 96176 41 88 1 21 0 9 0 28664328 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31643/statm: 217096 23058 2662 9 0 211532 0
[pid=31643/tid=31645] ppid=31641 vsize=868384 CPUtime=962.36
/proc/31643/task/31645/stat : 31645 (java) R 31641 31643 31606 0 -1 64 29115 1266 1 0 96111 36 88 1 25 0 9 0 28664329 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4127341000 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31646] ppid=31641 vsize=868384 CPUtime=1.17
/proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31606 0 -1 64 10671 1266 0 0 25 3 88 1 16 0 9 0 28664331 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31647] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31606 0 -1 64 22 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31648] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31606 0 -1 64 8 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31649] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31650] ppid=31641 vsize=868384 CPUtime=1.28
/proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31606 0 -1 64 1075 1266 0 0 39 0 88 1 16 0 9 0 28664333 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31651] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31652] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31606 0 -1 64 30 1266 0 0 0 0 88 1 15 0 9 0 28664333 889225216 23058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 963.06
Current children cumulated vsize (KiB) 868384
[startup+969.503 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 31660
/proc/meminfo: memFree=1634752/2055920 swapFree=4192812/4192956
[pid=31643] ppid=31641 vsize=868384 CPUtime=964.65
/proc/31643/stat : 31643 (java) S 31641 31643 31606 0 -1 0 41735 1266 1 0 96335 41 88 1 21 0 9 0 28664328 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31643/statm: 217096 23060 2662 9 0 211532 0
[pid=31643/tid=31645] ppid=31641 vsize=868384 CPUtime=963.94
/proc/31643/task/31645/stat : 31645 (java) R 31641 31643 31606 0 -1 64 29115 1266 1 0 96269 36 88 1 25 0 9 0 28664329 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4127448531 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31646] ppid=31641 vsize=868384 CPUtime=1.17
/proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31606 0 -1 64 10671 1266 0 0 25 3 88 1 16 0 9 0 28664331 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31647] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31606 0 -1 64 22 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31648] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31606 0 -1 64 8 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31649] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31650] ppid=31641 vsize=868384 CPUtime=1.28
/proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31606 0 -1 64 1078 1266 0 0 39 0 88 1 16 0 9 0 28664333 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31651] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31652] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31606 0 -1 64 30 1266 0 0 0 0 88 1 15 0 9 0 28664333 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 964.65
Current children cumulated vsize (KiB) 868384
[startup+969.903 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 31660
/proc/meminfo: memFree=1634752/2055920 swapFree=4192812/4192956
[pid=31643] ppid=31641 vsize=868384 CPUtime=965.05
/proc/31643/stat : 31643 (java) S 31641 31643 31606 0 -1 0 41735 1266 1 0 96375 41 88 1 21 0 9 0 28664328 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31643/statm: 217096 23060 2662 9 0 211532 0
[pid=31643/tid=31645] ppid=31641 vsize=868384 CPUtime=964.34
/proc/31643/task/31645/stat : 31645 (java) R 31641 31643 31606 0 -1 64 29115 1266 1 0 96309 36 88 1 25 0 9 0 28664329 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4127351227 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31646] ppid=31641 vsize=868384 CPUtime=1.17
/proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31606 0 -1 64 10671 1266 0 0 25 3 88 1 16 0 9 0 28664331 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31647] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31606 0 -1 64 22 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31648] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31606 0 -1 64 8 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31649] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31650] ppid=31641 vsize=868384 CPUtime=1.28
/proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31606 0 -1 64 1078 1266 0 0 39 0 88 1 16 0 9 0 28664333 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31651] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31652] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31606 0 -1 64 30 1266 0 0 0 0 88 1 15 0 9 0 28664333 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 965.05
Current children cumulated vsize (KiB) 868384
[startup+970.103 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 31660
/proc/meminfo: memFree=1634752/2055920 swapFree=4192812/4192956
[pid=31643] ppid=31641 vsize=868384 CPUtime=965.25
/proc/31643/stat : 31643 (java) S 31641 31643 31606 0 -1 0 41735 1266 1 0 96395 41 88 1 21 0 9 0 28664328 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31643/statm: 217096 23060 2662 9 0 211532 0
[pid=31643/tid=31645] ppid=31641 vsize=868384 CPUtime=964.54
/proc/31643/task/31645/stat : 31645 (java) R 31641 31643 31606 0 -1 64 29115 1266 1 0 96329 36 88 1 25 0 9 0 28664329 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4127448578 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31646] ppid=31641 vsize=868384 CPUtime=1.17
/proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31606 0 -1 64 10671 1266 0 0 25 3 88 1 16 0 9 0 28664331 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31647] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31606 0 -1 64 22 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31648] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31606 0 -1 64 8 1266 0 0 0 0 88 1 16 0 9 0 28664331 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31649] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31650] ppid=31641 vsize=868384 CPUtime=1.28
/proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31606 0 -1 64 1078 1266 0 0 39 0 88 1 16 0 9 0 28664333 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31651] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31606 0 -1 64 1 1266 0 0 0 0 88 1 25 0 9 0 28664333 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31643/tid=31652] ppid=31641 vsize=868384 CPUtime=0.89
/proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31606 0 -1 64 30 1266 0 0 0 0 88 1 15 0 9 0 28664333 889225216 23060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 965.25
Current children cumulated vsize (KiB) 868384
Child status: 0
Real time (s): 970.185
CPU time (s): 965.31
CPU user time (s): 964.864
CPU system time (s): 0.445932
CPU usage (%): 99.4975
Max. virtual memory (cumulated for all children) (KiB): 873800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 964.864
system time used= 0.445932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43037
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= 21579
involuntary context switches= 33964
runsolver used 1.3298 second user time and 3.09553 second system time
The end
Begin job on node71 at 2009-07-12 18:26:58
IDJOB=2098512
IDBENCH=58706
IDSOLVER=774
FILE ID=node71/2098512-1247416017
PBS_JOBID= 9510702
Free space on /tmp= 66396 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/socialGolfers/normalized-socialGolfer-6-3-6.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-2098512-1247416017/watcher-2098512-1247416017 -o /tmp/evaluation-result-2098512-1247416017/solver-2098512-1247416017 -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-2098512-1247416017.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 540e899c23a691b2c9820bc69ef83b89
RANDOM SEED=1823274615
node71.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.222
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.222
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: 1736240 kB
Buffers: 45064 kB
Cached: 136292 kB
SwapCached: 0 kB
Active: 176420 kB
Inactive: 87908 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1736240 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5980 kB
Writeback: 0 kB
Mapped: 100956 kB
Slab: 40588 kB
Committed_AS: 1015984 kB
PageTables: 1992 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= 66392 MiB
End job on node71 at 2009-07-12 18:43:08