0.01/0.09
0.01/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-2098346-1247414405.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.37
0.28/0.37 variables being loaded...
0.59/0.64 nbVariables=2016 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=4032
0.59/0.64 => wckTime=0.401 cpuTime=0.26 mem=12M769
0.59/0.64
0.59/0.65 predicates being loaded...
0.69/0.71
0.69/0.71 constraints being loaded...
3.05/3.19 nbConstraints=1722 nbGlobalConstraints=154 nbConflictsStructures=1 nbSharedConflictsStructures=1567
3.05/3.19 nbSharedBinaryRepresentations=0 nbEvaluationManagers=1 nbSharedEvaluationManagers=1567 minDegree=4 maxDegree=13
3.05/3.19 minArity=3 avgArity=9.65 maxArity=784 nbGenerators=62 nbFusions=0 symmetryWckTime=2.008 symmetryCpuTime=1.62
3.05/3.19 => wckTime=2.948 cpuTime=2.32 mem=54M377
3.15/3.28
3.15/3.28 solver IterativeSystematicSolver being built...
3.24/3.39
3.24/3.39 INFO : Forward propagation technique limited
3.43/3.54 => wckTime=3.299 cpuTime=2.54 mem=43M477
4.03/4.13
4.03/4.13 preprocessing
4.03/4.13 nbConstraintChecks=14469 nbValidityChecks=9669 nbPropagations=7560 nbRevisions=10628 nbUselessRevisions=7224
4.03/4.13 nbSingletonTests=2111 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
4.03/4.13 detectedInconsistency=no
4.03/4.13 => wckTime=0.579 cpuTime=0.52 mem=43M477
175.68/177.43
175.68/177.43 search
175.68/177.43 run=20 nbConstraintChecks=34221577 nbValidityChecks=68112193 minDepth=4 maxDepth=2016 nbPropagations=35741766
175.68/177.43 nbRevisions=126902474 nbUselessRevisions=97547009 nbAssignments=230831 nbFailedAssignments=92003
175.68/177.43 nbBacktracks=134733 nbVisitedNodes=361598 nbRestartNogoods=192 nbFoundSolutions=1 nbSEliminables=?
175.68/177.43 nbREliminables=? nbIEliminables=? nbDEliminables=? nbPEliminables=?
175.68/177.43 => wckTime=173.88 cpuTime=172.12 mem=45M456
175.68/177.43
175.68/177.43 global
175.68/177.43 nbConstraintChecks=34236046 nbValidityChecks=68121862 nbPropagations=35749326 nbRevisions=126913102
175.68/177.43 nbUselessRevisions=97554233 nbRestartNogoods=192 solvingWckTime=173.882 solvingCpuTime=172.12 expiredTime=no
175.68/177.43 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=174.65 globalCpuTime=174.72
175.68/177.43 => wckTime=177.189 cpuTime=174.66 mem=45M456
175.68/177.43
175.68/177.43 s SATISFIABLE
175.68/177.43 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 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 1 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 1 1 1 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 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 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
175.68/177.43 d NODES 230831
175.68/177.43 d CHECKS 34236046
175.68/177.44
175.68/177.44 totalWckTime=177.247 totalCpuTime=174.72
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098346-1247414405/watcher-2098346-1247414405 -o /tmp/evaluation-result-2098346-1247414405/solver-2098346-1247414405 -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-2098346-1247414405.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.92 2.01 1.99 3/80 609
/proc/meminfo: memFree=1733424/2055920 swapFree=4192812/4192956
[pid=609] ppid=607 vsize=152 CPUtime=0
/proc/609/stat : 609 (java) D 607 609 31026 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 28503771 155648 26 996147200 134512640 134550932 4294956128 18446744073709551615 7394084 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/609/statm: 38 26 19 9 0 4 0
[startup+0.0325691 s]
/proc/loadavg: 1.92 2.01 1.99 3/80 609
/proc/meminfo: memFree=1733424/2055920 swapFree=4192812/4192956
[pid=609] ppid=607 vsize=861936 CPUtime=0.01
/proc/609/stat : 609 (java) S 607 609 31026 0 -1 0 1876 0 1 0 0 1 0 0 18 0 5 0 28503771 882622464 1561 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/609/statm: 215484 1561 686 9 0 210399 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861936
[startup+0.102633 s]
/proc/loadavg: 1.92 2.01 1.99 3/80 609
/proc/meminfo: memFree=1733424/2055920 swapFree=4192812/4192956
[pid=609] ppid=607 vsize=865984 CPUtime=0.08
/proc/609/stat : 609 (java) S 607 609 31026 0 -1 0 3728 0 1 0 6 2 0 0 18 0 9 0 28503771 886767616 3195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/609/statm: 216496 3195 1690 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301663 s]
/proc/loadavg: 1.92 2.01 1.99 3/80 609
/proc/meminfo: memFree=1733424/2055920 swapFree=4192812/4192956
[pid=609] ppid=607 vsize=866296 CPUtime=0.28
/proc/609/stat : 609 (java) S 607 609 31026 0 -1 0 5695 0 1 0 25 3 0 0 18 0 9 0 28503771 887087104 5098 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/609/statm: 216574 5098 1927 9 0 211052 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866296
[startup+0.70273 s]
/proc/loadavg: 1.92 2.01 1.99 3/80 609
/proc/meminfo: memFree=1733424/2055920 swapFree=4192812/4192956
[pid=609] ppid=607 vsize=867624 CPUtime=0.69
/proc/609/stat : 609 (java) S 607 609 31026 0 -1 0 8669 0 1 0 63 6 0 0 18 0 9 0 28503771 888446976 8024 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/609/statm: 216906 8024 2029 9 0 211342 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867624
[startup+1.50186 s]
/proc/loadavg: 1.92 2.01 1.99 3/89 618
/proc/meminfo: memFree=1700072/2055920 swapFree=4192812/4192956
[pid=609] ppid=607 vsize=867948 CPUtime=1.24
/proc/609/stat : 609 (java) S 607 609 31026 0 -1 0 13484 0 1 0 111 13 0 0 18 0 10 0 28503771 888778752 12644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/609/statm: 216987 12644 2046 9 0 211423 0
[pid=609/tid=611] ppid=607 vsize=867948 CPUtime=0.99
/proc/609/task/611/stat : 611 (java) S 607 609 31026 0 -1 64 11974 0 1 0 87 12 0 0 16 0 10 0 28503773 888778752 12644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=609/tid=612] ppid=607 vsize=867948 CPUtime=0
/proc/609/task/612/stat : 612 (java) S 607 609 31026 0 -1 64 2 0 0 0 0 0 0 0 17 0 10 0 28503774 888778752 12644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=613] ppid=607 vsize=867948 CPUtime=0
/proc/609/task/613/stat : 613 (java) S 607 609 31026 0 -1 64 10 0 0 0 0 0 0 0 19 0 10 0 28503774 888778752 12644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=614] ppid=607 vsize=867948 CPUtime=0
/proc/609/task/614/stat : 614 (java) S 607 609 31026 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 28503774 888778752 12644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=615] ppid=607 vsize=867948 CPUtime=0
/proc/609/task/615/stat : 615 (java) S 607 609 31026 0 -1 64 2 0 0 0 0 0 0 0 18 0 10 0 28503777 888778752 12644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=616] ppid=607 vsize=867948 CPUtime=0.23
/proc/609/task/616/stat : 616 (java) S 607 609 31026 0 -1 64 742 0 0 0 23 0 0 0 15 0 10 0 28503777 888778752 12644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=617] ppid=607 vsize=867948 CPUtime=0
/proc/609/task/617/stat : 617 (java) S 607 609 31026 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 28503777 888778752 12644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=618] ppid=607 vsize=867948 CPUtime=0
/proc/609/task/618/stat : 618 (java) S 607 609 31026 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 28503777 888778752 12644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 867948
[startup+3.10113 s]
/proc/loadavg: 1.92 2.01 1.99 3/89 622
/proc/meminfo: memFree=1670760/2055920 swapFree=4192812/4192956
[pid=609] ppid=607 vsize=867860 CPUtime=3.05
/proc/609/stat : 609 (java) S 607 609 31026 0 -1 0 29262 634 1 0 262 19 23 1 18 0 9 0 28503771 888688640 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/609/statm: 216965 19374 2045 9 0 211423 0
[pid=609/tid=611] ppid=607 vsize=867860 CPUtime=2.67
/proc/609/task/611/stat : 611 (java) R 607 609 31026 0 -1 64 22448 634 1 0 229 14 23 1 25 0 9 0 28503773 888688640 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4127160950 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=612] ppid=607 vsize=867860 CPUtime=0.31
/proc/609/task/612/stat : 612 (java) S 607 609 31026 0 -1 64 5042 634 0 0 5 2 23 1 16 0 9 0 28503774 888688640 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=613] ppid=607 vsize=867860 CPUtime=0.24
/proc/609/task/613/stat : 613 (java) S 607 609 31026 0 -1 64 18 634 0 0 0 0 23 1 16 0 9 0 28503774 888688640 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=614] ppid=607 vsize=867860 CPUtime=0.24
/proc/609/task/614/stat : 614 (java) S 607 609 31026 0 -1 64 14 634 0 0 0 0 23 1 16 0 9 0 28503774 888688640 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=615] ppid=607 vsize=867860 CPUtime=0.24
/proc/609/task/615/stat : 615 (java) S 607 609 31026 0 -1 64 2 634 0 0 0 0 23 1 18 0 9 0 28503777 888688640 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=616] ppid=607 vsize=867860 CPUtime=0.5
/proc/609/task/616/stat : 616 (java) S 607 609 31026 0 -1 64 927 634 0 0 26 0 23 1 15 0 9 0 28503777 888688640 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=617] ppid=607 vsize=867860 CPUtime=0.24
/proc/609/task/617/stat : 617 (java) S 607 609 31026 0 -1 64 1 634 0 0 0 0 23 1 19 0 9 0 28503777 888688640 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=618] ppid=607 vsize=867860 CPUtime=0.24
/proc/609/task/618/stat : 618 (java) S 607 609 31026 0 -1 64 12 634 0 0 0 0 23 1 15 0 9 0 28503777 888688640 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867860
[startup+6.30167 s]
/proc/loadavg: 1.93 2.01 1.99 3/89 622
/proc/meminfo: memFree=1661672/2055920 swapFree=4192812/4192956
[pid=609] ppid=607 vsize=868056 CPUtime=6.21
/proc/609/stat : 609 (java) S 607 609 31026 0 -1 0 31120 634 1 0 577 20 23 1 18 0 9 0 28503771 888889344 20406 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/609/statm: 217014 20406 2663 9 0 211450 0
[pid=609/tid=611] ppid=607 vsize=868056 CPUtime=5.61
/proc/609/task/611/stat : 611 (java) R 607 609 31026 0 -1 64 22673 634 1 0 522 15 23 1 25 0 9 0 28503773 888889344 20406 996147200 134512640 134550932 4294955968 18446744073709551615 4127297997 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=612] ppid=607 vsize=868056 CPUtime=0.38
/proc/609/task/612/stat : 612 (java) S 607 609 31026 0 -1 64 6555 634 0 0 12 2 23 1 17 0 9 0 28503774 888889344 20406 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=613] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/613/stat : 613 (java) S 607 609 31026 0 -1 64 18 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20406 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=614] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/614/stat : 614 (java) S 607 609 31026 0 -1 64 14 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20406 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=615] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/615/stat : 615 (java) S 607 609 31026 0 -1 64 2 634 0 0 0 0 23 1 18 0 9 0 28503777 888889344 20406 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=616] ppid=607 vsize=868056 CPUtime=0.66
/proc/609/task/616/stat : 616 (java) S 607 609 31026 0 -1 64 1027 634 0 0 41 1 23 1 16 0 9 0 28503777 888889344 20406 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=617] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/617/stat : 617 (java) S 607 609 31026 0 -1 64 1 634 0 0 0 0 23 1 19 0 9 0 28503777 888889344 20406 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=618] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/618/stat : 618 (java) S 607 609 31026 0 -1 64 32 634 0 0 0 0 23 1 15 0 9 0 28503777 888889344 20406 996147200 134512640 134550932 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) 868056
[startup+12.7017 s]
/proc/loadavg: 1.93 2.01 1.99 3/89 622
/proc/meminfo: memFree=1661608/2055920 swapFree=4192812/4192956
[pid=609] ppid=607 vsize=868056 CPUtime=12.56
/proc/609/stat : 609 (java) S 607 609 31026 0 -1 0 31126 634 1 0 1211 21 23 1 18 0 9 0 28503771 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/609/statm: 217014 20408 2663 9 0 211450 0
[pid=609/tid=611] ppid=607 vsize=868056 CPUtime=11.95
/proc/609/task/611/stat : 611 (java) R 607 609 31026 0 -1 64 22674 634 1 0 1156 15 23 1 25 0 9 0 28503773 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4127430931 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=612] ppid=607 vsize=868056 CPUtime=0.38
/proc/609/task/612/stat : 612 (java) S 607 609 31026 0 -1 64 6555 634 0 0 12 2 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=613] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/613/stat : 613 (java) S 607 609 31026 0 -1 64 18 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=614] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/614/stat : 614 (java) S 607 609 31026 0 -1 64 14 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=615] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/615/stat : 615 (java) S 607 609 31026 0 -1 64 2 634 0 0 0 0 23 1 18 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=616] ppid=607 vsize=868056 CPUtime=0.66
/proc/609/task/616/stat : 616 (java) S 607 609 31026 0 -1 64 1032 634 0 0 41 1 23 1 16 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=617] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/617/stat : 617 (java) S 607 609 31026 0 -1 64 1 634 0 0 0 0 23 1 19 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=618] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/618/stat : 618 (java) S 607 609 31026 0 -1 64 32 634 0 0 0 0 23 1 15 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 868056
[startup+25.5029 s]
/proc/loadavg: 1.95 2.01 1.99 3/89 622
/proc/meminfo: memFree=1661672/2055920 swapFree=4192812/4192956
[pid=609] ppid=607 vsize=868056 CPUtime=25.23
/proc/609/stat : 609 (java) S 607 609 31026 0 -1 0 31126 634 1 0 2478 21 23 1 18 0 9 0 28503771 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/609/statm: 217014 20408 2663 9 0 211450 0
[pid=609/tid=611] ppid=607 vsize=868056 CPUtime=24.63
/proc/609/task/611/stat : 611 (java) R 607 609 31026 0 -1 64 22674 634 1 0 2424 15 23 1 25 0 9 0 28503773 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4127314344 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=612] ppid=607 vsize=868056 CPUtime=0.38
/proc/609/task/612/stat : 612 (java) S 607 609 31026 0 -1 64 6555 634 0 0 12 2 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=613] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/613/stat : 613 (java) S 607 609 31026 0 -1 64 18 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=614] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/614/stat : 614 (java) S 607 609 31026 0 -1 64 14 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=615] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/615/stat : 615 (java) S 607 609 31026 0 -1 64 2 634 0 0 0 0 23 1 18 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=616] ppid=607 vsize=868056 CPUtime=0.66
/proc/609/task/616/stat : 616 (java) S 607 609 31026 0 -1 64 1032 634 0 0 41 1 23 1 16 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=617] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/617/stat : 617 (java) S 607 609 31026 0 -1 64 1 634 0 0 0 0 23 1 19 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=618] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/618/stat : 618 (java) S 607 609 31026 0 -1 64 32 634 0 0 0 0 23 1 15 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 868056
[startup+51.1022 s]
/proc/loadavg: 1.96 2.00 1.99 3/89 622
/proc/meminfo: memFree=1661736/2055920 swapFree=4192812/4192956
[pid=609] ppid=607 vsize=868056 CPUtime=50.59
/proc/609/stat : 609 (java) S 607 609 31026 0 -1 0 31126 634 1 0 5014 21 23 1 18 0 9 0 28503771 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/609/statm: 217014 20408 2663 9 0 211450 0
[pid=609/tid=611] ppid=607 vsize=868056 CPUtime=49.99
/proc/609/task/611/stat : 611 (java) R 607 609 31026 0 -1 64 22674 634 1 0 4960 15 23 1 25 0 9 0 28503773 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4127368219 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=612] ppid=607 vsize=868056 CPUtime=0.38
/proc/609/task/612/stat : 612 (java) S 607 609 31026 0 -1 64 6555 634 0 0 12 2 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=613] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/613/stat : 613 (java) S 607 609 31026 0 -1 64 18 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=614] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/614/stat : 614 (java) S 607 609 31026 0 -1 64 14 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=615] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/615/stat : 615 (java) S 607 609 31026 0 -1 64 2 634 0 0 0 0 23 1 18 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=616] ppid=607 vsize=868056 CPUtime=0.66
/proc/609/task/616/stat : 616 (java) S 607 609 31026 0 -1 64 1032 634 0 0 41 1 23 1 16 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=617] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/617/stat : 617 (java) S 607 609 31026 0 -1 64 1 634 0 0 0 0 23 1 19 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/609/stat : 609 (java) S 607 609 31026 0 -1 0 31126 634 1 0 16424 21 23 1 18 0 9 0 28503771 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/609/statm: 217014 20408 2663 9 0 211450 0
[pid=609/tid=611] ppid=607 vsize=868056 CPUtime=164.08
/proc/609/task/611/stat : 611 (java) R 607 609 31026 0 -1 64 22674 634 1 0 16369 15 23 1 25 0 9 0 28503773 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4127428469 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=612] ppid=607 vsize=868056 CPUtime=0.38
/proc/609/task/612/stat : 612 (java) S 607 609 31026 0 -1 64 6555 634 0 0 12 2 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=613] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/613/stat : 613 (java) S 607 609 31026 0 -1 64 18 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=614] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/614/stat : 614 (java) S 607 609 31026 0 -1 64 14 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=615] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/615/stat : 615 (java) S 607 609 31026 0 -1 64 2 634 0 0 0 0 23 1 18 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=616] ppid=607 vsize=868056 CPUtime=0.66
/proc/609/task/616/stat : 616 (java) S 607 609 31026 0 -1 64 1032 634 0 0 41 1 23 1 16 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=617] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/617/stat : 617 (java) S 607 609 31026 0 -1 64 1 634 0 0 0 0 23 1 19 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=618] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/618/stat : 618 (java) S 607 609 31026 0 -1 64 32 634 0 0 0 0 23 1 15 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 164.69
Current children cumulated vsize (KiB) 868056
[startup+172.708 s]
/proc/loadavg: 1.99 2.00 1.99 3/89 628
/proc/meminfo: memFree=1661600/2055920 swapFree=4192812/4192956
[pid=609] ppid=607 vsize=868056 CPUtime=171.03
/proc/609/stat : 609 (java) S 607 609 31026 0 -1 0 31126 634 1 0 17058 21 23 1 18 0 9 0 28503771 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/609/statm: 217014 20408 2663 9 0 211450 0
[pid=609/tid=611] ppid=607 vsize=868056 CPUtime=170.43
/proc/609/task/611/stat : 611 (java) R 607 609 31026 0 -1 64 22674 634 1 0 17004 15 23 1 25 0 9 0 28503773 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4127314569 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=612] ppid=607 vsize=868056 CPUtime=0.38
/proc/609/task/612/stat : 612 (java) S 607 609 31026 0 -1 64 6555 634 0 0 12 2 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=613] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/613/stat : 613 (java) S 607 609 31026 0 -1 64 18 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=614] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/614/stat : 614 (java) S 607 609 31026 0 -1 64 14 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=615] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/615/stat : 615 (java) S 607 609 31026 0 -1 64 2 634 0 0 0 0 23 1 18 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=616] ppid=607 vsize=868056 CPUtime=0.66
/proc/609/task/616/stat : 616 (java) S 607 609 31026 0 -1 64 1032 634 0 0 41 1 23 1 16 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=617] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/617/stat : 617 (java) S 607 609 31026 0 -1 64 1 634 0 0 0 0 23 1 19 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=618] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/618/stat : 618 (java) S 607 609 31026 0 -1 64 32 634 0 0 0 0 23 1 15 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 171.03
Current children cumulated vsize (KiB) 868056
[startup+175.901 s]
/proc/loadavg: 1.99 2.00 1.99 3/89 628
/proc/meminfo: memFree=1661600/2055920 swapFree=4192812/4192956
[pid=609] ppid=607 vsize=868056 CPUtime=174.2
/proc/609/stat : 609 (java) S 607 609 31026 0 -1 0 31126 634 1 0 17375 21 23 1 18 0 9 0 28503771 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/609/statm: 217014 20408 2663 9 0 211450 0
[pid=609/tid=611] ppid=607 vsize=868056 CPUtime=173.59
/proc/609/task/611/stat : 611 (java) R 607 609 31026 0 -1 64 22674 634 1 0 17320 15 23 1 25 0 9 0 28503773 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4127297496 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=612] ppid=607 vsize=868056 CPUtime=0.38
/proc/609/task/612/stat : 612 (java) S 607 609 31026 0 -1 64 6555 634 0 0 12 2 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=613] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/613/stat : 613 (java) S 607 609 31026 0 -1 64 18 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=614] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/614/stat : 614 (java) S 607 609 31026 0 -1 64 14 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=615] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/615/stat : 615 (java) S 607 609 31026 0 -1 64 2 634 0 0 0 0 23 1 18 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=616] ppid=607 vsize=868056 CPUtime=0.66
/proc/609/task/616/stat : 616 (java) S 607 609 31026 0 -1 64 1032 634 0 0 41 1 23 1 16 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=617] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/617/stat : 617 (java) S 607 609 31026 0 -1 64 1 634 0 0 0 0 23 1 19 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=618] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/618/stat : 618 (java) S 607 609 31026 0 -1 64 32 634 0 0 0 0 23 1 15 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 174.2
Current children cumulated vsize (KiB) 868056
[startup+176.702 s]
/proc/loadavg: 1.99 2.00 1.99 3/89 628
/proc/meminfo: memFree=1661600/2055920 swapFree=4192812/4192956
[pid=609] ppid=607 vsize=868056 CPUtime=174.99
/proc/609/stat : 609 (java) S 607 609 31026 0 -1 0 31126 634 1 0 17454 21 23 1 18 0 9 0 28503771 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/609/statm: 217014 20408 2663 9 0 211450 0
[pid=609/tid=611] ppid=607 vsize=868056 CPUtime=174.39
/proc/609/task/611/stat : 611 (java) R 607 609 31026 0 -1 64 22674 634 1 0 17400 15 23 1 25 0 9 0 28503773 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4127323116 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=612] ppid=607 vsize=868056 CPUtime=0.38
/proc/609/task/612/stat : 612 (java) S 607 609 31026 0 -1 64 6555 634 0 0 12 2 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=613] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/613/stat : 613 (java) S 607 609 31026 0 -1 64 18 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=614] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/614/stat : 614 (java) S 607 609 31026 0 -1 64 14 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=615] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/615/stat : 615 (java) S 607 609 31026 0 -1 64 2 634 0 0 0 0 23 1 18 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=616] ppid=607 vsize=868056 CPUtime=0.66
/proc/609/task/616/stat : 616 (java) S 607 609 31026 0 -1 64 1032 634 0 0 41 1 23 1 16 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=617] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/617/stat : 617 (java) S 607 609 31026 0 -1 64 1 634 0 0 0 0 23 1 19 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=618] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/618/stat : 618 (java) S 607 609 31026 0 -1 64 32 634 0 0 0 0 23 1 15 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 174.99
Current children cumulated vsize (KiB) 868056
[startup+177.107 s]
/proc/loadavg: 1.99 2.00 1.99 3/89 628
/proc/meminfo: memFree=1661600/2055920 swapFree=4192812/4192956
[pid=609] ppid=607 vsize=868056 CPUtime=175.39
/proc/609/stat : 609 (java) S 607 609 31026 0 -1 0 31126 634 1 0 17494 21 23 1 18 0 9 0 28503771 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/609/statm: 217014 20408 2663 9 0 211450 0
[pid=609/tid=611] ppid=607 vsize=868056 CPUtime=174.78
/proc/609/task/611/stat : 611 (java) R 607 609 31026 0 -1 64 22674 634 1 0 17439 15 23 1 25 0 9 0 28503773 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4126826001 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=612] ppid=607 vsize=868056 CPUtime=0.38
/proc/609/task/612/stat : 612 (java) S 607 609 31026 0 -1 64 6555 634 0 0 12 2 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=613] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/613/stat : 613 (java) S 607 609 31026 0 -1 64 18 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=614] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/614/stat : 614 (java) S 607 609 31026 0 -1 64 14 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=615] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/615/stat : 615 (java) S 607 609 31026 0 -1 64 2 634 0 0 0 0 23 1 18 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=616] ppid=607 vsize=868056 CPUtime=0.66
/proc/609/task/616/stat : 616 (java) S 607 609 31026 0 -1 64 1032 634 0 0 41 1 23 1 16 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=617] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/617/stat : 617 (java) S 607 609 31026 0 -1 64 1 634 0 0 0 0 23 1 19 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=618] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/618/stat : 618 (java) S 607 609 31026 0 -1 64 32 634 0 0 0 0 23 1 15 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 175.39
Current children cumulated vsize (KiB) 868056
[startup+177.302 s]
/proc/loadavg: 1.99 2.00 1.99 3/89 628
/proc/meminfo: memFree=1661600/2055920 swapFree=4192812/4192956
[pid=609] ppid=607 vsize=868056 CPUtime=175.58
/proc/609/stat : 609 (java) S 607 609 31026 0 -1 0 31126 634 1 0 17513 21 23 1 18 0 9 0 28503771 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/609/statm: 217014 20408 2663 9 0 211450 0
[pid=609/tid=611] ppid=607 vsize=868056 CPUtime=174.98
/proc/609/task/611/stat : 611 (java) R 607 609 31026 0 -1 64 22674 634 1 0 17459 15 23 1 25 0 9 0 28503773 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4127430974 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=612] ppid=607 vsize=868056 CPUtime=0.38
/proc/609/task/612/stat : 612 (java) S 607 609 31026 0 -1 64 6555 634 0 0 12 2 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=613] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/613/stat : 613 (java) S 607 609 31026 0 -1 64 18 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=614] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/614/stat : 614 (java) S 607 609 31026 0 -1 64 14 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=615] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/615/stat : 615 (java) S 607 609 31026 0 -1 64 2 634 0 0 0 0 23 1 18 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=616] ppid=607 vsize=868056 CPUtime=0.66
/proc/609/task/616/stat : 616 (java) S 607 609 31026 0 -1 64 1032 634 0 0 41 1 23 1 16 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=617] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/617/stat : 617 (java) S 607 609 31026 0 -1 64 1 634 0 0 0 0 23 1 19 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=618] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/618/stat : 618 (java) S 607 609 31026 0 -1 64 32 634 0 0 0 0 23 1 15 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 175.58
Current children cumulated vsize (KiB) 868056
[startup+177.402 s]
/proc/loadavg: 1.99 2.00 1.99 3/89 628
/proc/meminfo: memFree=1661600/2055920 swapFree=4192812/4192956
[pid=609] ppid=607 vsize=868056 CPUtime=175.68
/proc/609/stat : 609 (java) S 607 609 31026 0 -1 0 31126 634 1 0 17523 21 23 1 18 0 9 0 28503771 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/609/statm: 217014 20408 2663 9 0 211450 0
[pid=609/tid=611] ppid=607 vsize=868056 CPUtime=175.08
/proc/609/task/611/stat : 611 (java) R 607 609 31026 0 -1 64 22674 634 1 0 17469 15 23 1 25 0 9 0 28503773 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4127430934 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=612] ppid=607 vsize=868056 CPUtime=0.38
/proc/609/task/612/stat : 612 (java) S 607 609 31026 0 -1 64 6555 634 0 0 12 2 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=613] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/613/stat : 613 (java) S 607 609 31026 0 -1 64 18 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=614] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/614/stat : 614 (java) S 607 609 31026 0 -1 64 14 634 0 0 0 0 23 1 16 0 9 0 28503774 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=615] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/615/stat : 615 (java) S 607 609 31026 0 -1 64 2 634 0 0 0 0 23 1 18 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=616] ppid=607 vsize=868056 CPUtime=0.66
/proc/609/task/616/stat : 616 (java) S 607 609 31026 0 -1 64 1032 634 0 0 41 1 23 1 16 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=617] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/617/stat : 617 (java) S 607 609 31026 0 -1 64 1 634 0 0 0 0 23 1 19 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=609/tid=618] ppid=607 vsize=868056 CPUtime=0.24
/proc/609/task/618/stat : 618 (java) S 607 609 31026 0 -1 64 32 634 0 0 0 0 23 1 15 0 9 0 28503777 888889344 20408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 175.68
Current children cumulated vsize (KiB) 868056
Child status: 0
Real time (s): 177.494
CPU time (s): 175.752
CPU user time (s): 175.516
CPU system time (s): 0.235964
CPU usage (%): 99.0185
Max. virtual memory (cumulated for all children) (KiB): 868056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 175.516
system time used= 0.235964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31797
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= 5496
involuntary context switches= 9394
runsolver used 0.213967 second user time and 0.604908 second system time
The end
Begin job on node57 at 2009-07-12 18:00:05
IDJOB=2098346
IDBENCH=58582
IDSOLVER=774
FILE ID=node57/2098346-1247414405
PBS_JOBID= 9510531
Free space on /tmp= 66412 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/bibdVariousK/normalized-bibd-8-56-21-3-6_glb.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2098346-1247414405/watcher-2098346-1247414405 -o /tmp/evaluation-result-2098346-1247414405/solver-2098346-1247414405 -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-2098346-1247414405.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 48793c513c456d2116888c675680dbed
RANDOM SEED=2066486409
node57.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.261
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.261
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: 1733904 kB
Buffers: 49252 kB
Cached: 119932 kB
SwapCached: 0 kB
Active: 191176 kB
Inactive: 75448 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1733904 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2372 kB
Writeback: 0 kB
Mapped: 117896 kB
Slab: 40500 kB
Committed_AS: 1023740 kB
PageTables: 1952 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= 66408 MiB
End job on node57 at 2009-07-12 18:03:03