0.04/0.07
0.04/0.07 Abscon 112 (May, 2008)
0.22/0.20
0.22/0.20 configuration
0.22/0.20 name=esac.xml
0.22/0.23
0.22/0.23 instance
0.22/0.23 name=HOME/instance-2093222-1247401144.xml
0.22/0.26
0.22/0.26 domains being loaded...
0.22/0.27
0.22/0.27 variables being loaded...
0.33/0.35 nbVariables=625 nbDomainTypes=26 minDomainSize=1 maxDomainSize=25 nbTotalValues=6265
0.33/0.35 => wckTime=0.146 cpuTime=0.14 mem=9M842
0.33/0.35
0.33/0.35 relations being loaded...
0.33/0.35
0.33/0.35 constraints being loaded...
1.28/1.18 nbConstraints=9325 nbRelationTypes=26 nbGlobalConstraints=25 nbSingletonDomainVariables=390
1.28/1.18 nbExtensionStructures=51 nbSharedExtensionStructures=9249 nbConflictsStructures=51
1.28/1.18 nbSharedConflictsStructures=9249 nbSharedBinaryRepresentations=1323 minDegree=18 maxDegree=49 minArity=2
1.28/1.18 avgArity=2.02 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.344 symmetryCpuTime=0.21 nbCliques=25
1.28/1.18 => wckTime=0.979 cpuTime=0.74 mem=23M300
1.39/1.29
1.39/1.29 solver IterativeSystematicSolver being built...
1.49/1.35
1.49/1.35 INFO : Forward propagation technique limited
1.61/1.43 => wckTime=1.233 cpuTime=0.88 mem=31M103
2.04/1.88
2.04/1.88 preprocessing
2.04/1.88 nbConstraintChecks=338819 nbPropagations=8418 nbRevisions=99168 nbUselessRevisions=88652 nbSingletonTests=2711
2.04/1.88 nbEffectiveSingletonTests=9 nbACRemovals=4921 nbFoundSingletons=0 nbRemovedValues=4932 detectedInconsistency=no
2.04/1.88 => wckTime=0.442 cpuTime=0.44 mem=32M98
2.47/2.20
2.47/2.20 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=34M136)
1505.32/1519.27
1505.32/1519.27 search
1505.32/1519.27 run=25 nbConstraintChecks=1245731645 minDepth=22 maxDepth=625 nbPropagations=112488021 nbRevisions=2680998562
1505.32/1519.27 nbUselessRevisions=2503382298 nbAssignments=4261464 nbFailedAssignments=690228 nbBacktracks=3569347
1505.32/1519.27 nbVisitedNodes=5647583 nbRestartNogoods=201 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=390
1505.32/1519.27 nbIEliminables=193.12 nbDEliminables=0 nbPEliminables=0
1505.32/1519.27 => wckTime=1517.837 cpuTime=1503.54 mem=35M928
1505.32/1519.28
1505.32/1519.28 global
1505.32/1519.28 nbConstraintChecks=1246070464 nbPropagations=112496439 nbRevisions=2681097730 nbUselessRevisions=2503470950
1505.32/1519.28 nbRestartNogoods=201 solvingWckTime=1517.84 solvingCpuTime=1503.54 expiredTime=no totalExploration=no
1505.32/1519.28 nbFoundSolutions=1 firstSolutionCpuTime=1504.41 globalCpuTime=1504.47
1505.32/1519.28 => wckTime=1519.075 cpuTime=1504.42 mem=35M928
1505.32/1519.28
1505.32/1519.28 s SATISFIABLE
1505.32/1519.28 v 2 20 18 1 16 11 15 17 4 0 7 9 13 10 8 19 12 14 6 23 24 3 5 21 22 22 21 1 3 14 7 6 10 9 8 0 16 5 11 4 12 23 19 18 15 20 17 24 2 13 15 2 0 20 24 12 11 8 23 1 19 21 6 17 14 13 3 4 5 9 16 22 7 10 18 8 3 7 23 11 15 20 4 19 16 17 24 10 18 12 1 5 6 14 21 22 0 9 13 2 3 18 11 12 7 9 10 24 16 14 22 23 1 13 2 6 0 21 20 5 17 19 8 4 15 12 9 15 2 22 8 7 23 6 20 10 3 24 0 16 5 19 17 1 4 21 18 13 14 11 5 17 10 11 19 3 2 18 8 4 21 12 20 7 0 16 24 15 13 14 1 6 22 23 9 18 14 22 4 0 21 13 15 20 12 16 5 7 19 11 23 6 1 8 10 2 24 3 9 17 9 10 13 14 17 6 5 21 11 7 8 15 23 20 3 4 22 18 24 2 19 16 0 1 12 24 19 4 5 8 0 21 12 2 6 23 22 14 1 18 20 13 9 15 11 10 7 16 17 3 17 23 12 16 15 4 24 22 13 10 5 18 0 8 1 3 11 20 2 7 9 14 19 6 21 6 22 3 13 12 14 0 11 10 9 4 20 16 23 5 17 21 8 19 1 18 15 2 7 24 1 15 5 19 9 23 22 13 24 11 6 7 21 12 20 2 14 10 16 0 3 8 17 18 4 14 5 6 9 10 16 4 20 1 19 2 11 3 15 13 24 7 23 22 17 12 21 18 0 8 21 7 20 15 4 5 17 3 18 24 13 2 22 16 10 11 9 0 23 19 6 1 12 8 14 4 12 16 24 6 13 18 1 21 2 11 10 15 3 23 14 17 7 9 22 8 5 20 19 0 10 4 14 22 18 19 8 5 3 15 9 17 12 2 6 21 16 13 0 24 11 23 1 20 7 19 13 23 7 20 24 1 6 14 17 18 0 8 5 21 22 15 2 3 12 4 9 10 11 16 7 16 9 10 13 2 23 14 17 3 1 8 19 6 24 0 18 11 4 20 15 12 21 22 5 16 1 24 21 23 18 12 2 7 13 20 14 9 22 15 10 4 3 17 8 0 11 6 5 19 20 6 19 0 3 17 16 7 22 18 14 1 4 21 9 15 8 24 10 13 5 2 11 12 23 23 8 2 6 5 20 19 9 0 21 3 4 11 24 17 18 10 22 12 16 7 13 14 15 1 13 24 17 18 21 10 9 0 15 22 12 19 2 14 7 8 1 5 11 3 23 20 4 16 6 0 11 21 8 1 22 14 16 5 23 24 6 17 4 19 9 2 12 7 18 13 10 15 3 20 11 0 8 17 2 1 3 19 12 5 15 13 18 9 22 7 20 16 21 6 14 4 23 24 10
1505.32/1519.28 d NODES 4261464
1505.32/1519.28 d CHECKS 1246070464
1505.32/1519.28
1505.32/1519.28 totalWckTime=1519.12 totalCpuTime=1504.48
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093222-1247401144/watcher-2093222-1247401144 -o /tmp/evaluation-result-2093222-1247401144/solver-2093222-1247401144 -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-2093222-1247401144.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: 0.09 0.03 0.04 3/68 31150
/proc/meminfo: memFree=1849464/2055920 swapFree=4192812/4192956
[pid=31150] ppid=31148 vsize=152 CPUtime=0
/proc/31150/stat : 31150 (java) R 31148 31150 30988 0 -1 0 205 0 0 0 0 0 0 0 20 0 1 0 27179747 155648 26 996147200 134512640 134550932 4294955968 18446744073709551615 2601764 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 38 26 19 9 0 4 0
[startup+0.0512249 s]
/proc/loadavg: 0.09 0.03 0.04 3/68 31150
/proc/meminfo: memFree=1849464/2055920 swapFree=4192812/4192956
[pid=31150] ppid=31148 vsize=864144 CPUtime=0.04
/proc/31150/stat : 31150 (java) S 31148 31150 30988 0 -1 0 2811 0 1 0 3 1 0 0 20 0 9 0 27179747 884883456 2347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31150/statm: 216036 2347 1115 9 0 210929 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864144
[startup+0.10223 s]
/proc/loadavg: 0.09 0.03 0.04 3/68 31150
/proc/meminfo: memFree=1849464/2055920 swapFree=4192812/4192956
[pid=31150] ppid=31148 vsize=866108 CPUtime=0.11
/proc/31150/stat : 31150 (java) S 31148 31150 30988 0 -1 0 4065 0 1 0 9 2 0 0 20 0 9 0 27179747 886894592 3494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31150/statm: 216527 3495 1806 9 0 211012 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 866108
[startup+0.302252 s]
/proc/loadavg: 0.09 0.03 0.04 3/68 31150
/proc/meminfo: memFree=1849464/2055920 swapFree=4192812/4192956
[pid=31150] ppid=31148 vsize=867488 CPUtime=0.33
/proc/31150/stat : 31150 (java) S 31148 31150 30988 0 -1 0 6631 0 1 0 30 3 0 0 20 0 9 0 27179747 888307712 5993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31150/statm: 216872 5993 1995 9 0 211330 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 867488
[startup+0.702294 s]
/proc/loadavg: 0.09 0.03 0.04 3/68 31150
/proc/meminfo: memFree=1849464/2055920 swapFree=4192812/4192956
[pid=31150] ppid=31148 vsize=868512 CPUtime=0.87
/proc/31150/stat : 31150 (java) S 31148 31150 30988 0 -1 0 16371 0 1 0 79 8 0 0 20 0 9 0 27179747 889356288 15724 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31150/statm: 217128 15725 2017 9 0 211586 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 868512
[startup+1.50139 s]
/proc/loadavg: 0.09 0.03 0.04 2/79 31161
/proc/meminfo: memFree=1781152/2055920 swapFree=4192812/4192956
[pid=31150] ppid=31148 vsize=868972 CPUtime=1.72
/proc/31150/stat : 31150 (java) S 31148 31150 30988 0 -1 0 31207 707 1 0 148 12 11 1 20 0 9 0 27179747 889827328 21431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31150/statm: 217243 21431 2660 9 0 211679 0
[pid=31150/tid=31152] ppid=31148 vsize=868972 CPUtime=1.25
/proc/31150/task/31152/stat : 31152 (java) R 31148 31150 30988 0 -1 64 21884 707 1 0 105 8 11 1 18 0 9 0 27179748 889827328 21431 996147200 134512640 134550932 4294955968 18446744073709551615 4125976488 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31153] ppid=31148 vsize=868972 CPUtime=0.3
/proc/31150/task/31153/stat : 31153 (java) S 31148 31150 30988 0 -1 64 7557 707 0 0 17 1 11 1 16 0 9 0 27179749 889827328 21431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31154] ppid=31148 vsize=868972 CPUtime=0.12
/proc/31150/task/31154/stat : 31154 (java) S 31148 31150 30988 0 -1 64 20 707 0 0 0 0 11 1 15 0 9 0 27179749 889827328 21431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31155] ppid=31148 vsize=868972 CPUtime=0.12
/proc/31150/task/31155/stat : 31155 (java) S 31148 31150 30988 0 -1 64 10 707 0 0 0 0 11 1 15 0 9 0 27179749 889827328 21431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31156] ppid=31148 vsize=868972 CPUtime=0.12
/proc/31150/task/31156/stat : 31156 (java) S 31148 31150 30988 0 -1 64 2 707 0 0 0 0 11 1 25 0 9 0 27179751 889827328 21431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31157] ppid=31148 vsize=868972 CPUtime=0.36
/proc/31150/task/31157/stat : 31157 (java) S 31148 31150 30988 0 -1 64 905 707 0 0 24 0 11 1 16 0 9 0 27179751 889827328 21431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31158] ppid=31148 vsize=868972 CPUtime=0.12
/proc/31150/task/31158/stat : 31158 (java) S 31148 31150 30988 0 -1 64 0 707 0 0 0 0 11 1 25 0 9 0 27179751 889827328 21431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31159] ppid=31148 vsize=868972 CPUtime=0.12
/proc/31150/task/31159/stat : 31159 (java) S 31148 31150 30988 0 -1 64 10 707 0 0 0 0 11 1 15 0 9 0 27179751 889827328 21431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 868972
[startup+3.10156 s]
/proc/loadavg: 0.16 0.04 0.05 2/77 31163
/proc/meminfo: memFree=1773608/2055920 swapFree=4192812/4192956
[pid=31150] ppid=31148 vsize=868972 CPUtime=3.39
/proc/31150/stat : 31150 (java) S 31148 31150 30988 0 -1 0 32494 707 1 0 314 13 11 1 20 0 9 0 27179747 889827328 21487 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31150/statm: 217243 21487 2660 9 0 211679 0
[pid=31150/tid=31152] ppid=31148 vsize=868972 CPUtime=2.85
/proc/31150/task/31152/stat : 31152 (java) R 31148 31150 30988 0 -1 64 23117 707 1 0 264 9 11 1 25 0 9 0 27179748 889827328 21487 996147200 134512640 134550932 4294955968 18446744073709551615 4127160300 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31153] ppid=31148 vsize=868972 CPUtime=0.3
/proc/31150/task/31153/stat : 31153 (java) S 31148 31150 30988 0 -1 64 7558 707 0 0 17 1 11 1 17 0 9 0 27179749 889827328 21487 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31154] ppid=31148 vsize=868972 CPUtime=0.12
/proc/31150/task/31154/stat : 31154 (java) S 31148 31150 30988 0 -1 64 20 707 0 0 0 0 11 1 15 0 9 0 27179749 889827328 21487 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31155] ppid=31148 vsize=868972 CPUtime=0.12
/proc/31150/task/31155/stat : 31155 (java) S 31148 31150 30988 0 -1 64 10 707 0 0 0 0 11 1 15 0 9 0 27179749 889827328 21487 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31156] ppid=31148 vsize=868972 CPUtime=0.12
/proc/31150/task/31156/stat : 31156 (java) S 31148 31150 30988 0 -1 64 2 707 0 0 0 0 11 1 25 0 9 0 27179751 889827328 21487 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31157] ppid=31148 vsize=868972 CPUtime=0.43
/proc/31150/task/31157/stat : 31157 (java) S 31148 31150 30988 0 -1 64 958 707 0 0 31 0 11 1 16 0 9 0 27179751 889827328 21487 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31158] ppid=31148 vsize=868972 CPUtime=0.12
/proc/31150/task/31158/stat : 31158 (java) S 31148 31150 30988 0 -1 64 0 707 0 0 0 0 11 1 25 0 9 0 27179751 889827328 21487 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31159] ppid=31148 vsize=868972 CPUtime=0.12
/proc/31150/task/31159/stat : 31159 (java) S 31148 31150 30988 0 -1 64 10 707 0 0 0 0 11 1 15 0 9 0 27179751 889827328 21487 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 868972
[startup+6.30293 s]
/proc/loadavg: 0.16 0.04 0.05 2/77 31163
/proc/meminfo: memFree=1773288/2055920 swapFree=4192812/4192956
[pid=31150] ppid=31148 vsize=868972 CPUtime=6.59
/proc/31150/stat : 31150 (java) S 31148 31150 30988 0 -1 0 34426 707 1 0 633 14 11 1 20 0 9 0 27179747 889827328 21490 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31150/statm: 217243 21490 2660 9 0 211679 0
[pid=31150/tid=31152] ppid=31148 vsize=868972 CPUtime=6.06
/proc/31150/task/31152/stat : 31152 (java) R 31148 31150 30988 0 -1 64 25027 707 1 0 584 10 11 1 25 0 9 0 27179748 889827328 21490 996147200 134512640 134550932 4294955968 18446744073709551615 4126726838 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31153] ppid=31148 vsize=868972 CPUtime=0.3
/proc/31150/task/31153/stat : 31153 (java) S 31148 31150 30988 0 -1 64 7558 707 0 0 17 1 11 1 16 0 9 0 27179749 889827328 21490 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31154] ppid=31148 vsize=868972 CPUtime=0.12
/proc/31150/task/31154/stat : 31154 (java) S 31148 31150 30988 0 -1 64 20 707 0 0 0 0 11 1 15 0 9 0 27179749 889827328 21490 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31155] ppid=31148 vsize=868972 CPUtime=0.12
/proc/31150/task/31155/stat : 31155 (java) S 31148 31150 30988 0 -1 64 10 707 0 0 0 0 11 1 15 0 9 0 27179749 889827328 21490 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31156] ppid=31148 vsize=868972 CPUtime=0.12
/proc/31150/task/31156/stat : 31156 (java) S 31148 31150 30988 0 -1 64 2 707 0 0 0 0 11 1 25 0 9 0 27179751 889827328 21490 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31157] ppid=31148 vsize=868972 CPUtime=0.43
/proc/31150/task/31157/stat : 31157 (java) S 31148 31150 30988 0 -1 64 961 707 0 0 31 0 11 1 16 0 9 0 27179751 889827328 21490 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31158] ppid=31148 vsize=868972 CPUtime=0.12
/proc/31150/task/31158/stat : 31158 (java) S 31148 31150 30988 0 -1 64 0 707 0 0 0 0 11 1 25 0 9 0 27179751 889827328 21490 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31159] ppid=31148 vsize=868972 CPUtime=0.12
/proc/31150/task/31159/stat : 31159 (java) S 31148 31150 30988 0 -1 64 29 707 0 0 0 0 11 1 15 0 9 0 27179751 889827328 21490 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.59
Current children cumulated vsize (KiB) 868972
[startup+12.7017 s]
/proc/loadavg: 0.45 0.11 0.07 2/77 31165
/proc/meminfo: memFree=1772904/2055920 swapFree=4192812/4192956
[pid=31150] ppid=31148 vsize=868884 CPUtime=12.98
/proc/31150/stat : 31150 (java) S 31148 31150 30988 0 -1 0 39161 707 1 0 1270 16 11 1 20 0 9 0 27179747 889737216 22568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31150/statm: 217221 22568 2638 9 0 211679 0
[pid=31150/tid=31152] ppid=31148 vsize=868884 CPUtime=12.43
/proc/31150/task/31152/stat : 31152 (java) R 31148 31150 30988 0 -1 64 28658 707 1 0 1219 12 11 1 20 0 9 0 27179748 889737216 22568 996147200 134512640 134550932 4294955968 18446744073709551615 4127139807 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31153] ppid=31148 vsize=868884 CPUtime=0.32
/proc/31150/task/31153/stat : 31153 (java) S 31148 31150 30988 0 -1 64 8659 707 0 0 18 2 11 1 16 0 9 0 27179749 889737216 22568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31154] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31154/stat : 31154 (java) S 31148 31150 30988 0 -1 64 20 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 22568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31155] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31155/stat : 31155 (java) S 31148 31150 30988 0 -1 64 11 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 22568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31156] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31156/stat : 31156 (java) S 31148 31150 30988 0 -1 64 2 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 22568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31157] ppid=31148 vsize=868884 CPUtime=0.43
/proc/31150/task/31157/stat : 31157 (java) S 31148 31150 30988 0 -1 64 963 707 0 0 31 0 11 1 16 0 9 0 27179751 889737216 22568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31158] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31158/stat : 31158 (java) S 31148 31150 30988 0 -1 64 0 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 22568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31159] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31159/stat : 31159 (java) S 31148 31150 30988 0 -1 64 29 707 0 0 0 0 11 1 15 0 9 0 27179751 889737216 22568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.98
Current children cumulated vsize (KiB) 868884
[startup+25.5021 s]
/proc/loadavg: 0.69 0.17 0.09 4/90 31224
/proc/meminfo: memFree=1707904/2055920 swapFree=4192812/4192956
[pid=31150] ppid=31148 vsize=868884 CPUtime=25.64
/proc/31150/stat : 31150 (java) S 31148 31150 30988 0 -1 0 39171 707 1 0 2535 17 11 1 20 0 9 0 27179747 889737216 22568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31150/statm: 217221 22568 2638 9 0 211679 0
[pid=31150/tid=31152] ppid=31148 vsize=868884 CPUtime=25.09
/proc/31150/task/31152/stat : 31152 (java) R 31148 31150 30988 0 -1 64 28668 707 1 0 2485 12 11 1 25 0 9 0 27179748 889737216 22568 996147200 134512640 134550932 4294955968 18446744073709551615 4127142196 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31153] ppid=31148 vsize=868884 CPUtime=0.32
/proc/31150/task/31153/stat : 31153 (java) S 31148 31150 30988 0 -1 64 8659 707 0 0 18 2 11 1 16 0 9 0 27179749 889737216 22568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31154] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31154/stat : 31154 (java) S 31148 31150 30988 0 -1 64 20 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 22568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31155] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31155/stat : 31155 (java) S 31148 31150 30988 0 -1 64 11 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 22568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31156] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31156/stat : 31156 (java) S 31148 31150 30988 0 -1 64 2 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 22568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31157] ppid=31148 vsize=868884 CPUtime=0.43
/proc/31150/task/31157/stat : 31157 (java) S 31148 31150 30988 0 -1 64 963 707 0 0 31 0 11 1 16 0 9 0 27179751 889737216 22568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31158] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31158/stat : 31158 (java) S 31148 31150 30988 0 -1 64 0 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 22568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31159] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31159/stat : 31159 (java) S 31148 31150 30988 0 -1 64 29 707 0 0 0 0 11 1 15 0 9 0 27179751 889737216 22568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.64
Current children cumulated vsize (KiB) 868884
[startup+51.103 s]
/proc/loadavg: 1.14 0.32 0.14 3/90 31224
/proc/meminfo: memFree=1685952/2055920 swapFree=4192812/4192956
[pid=31150] ppid=31148 vsize=868884 CPUtime=51
/proc/31150/stat : 31150 (java) S 31148 31150 30988 0 -1 0 40277 707 1 0 5071 17 11 1 20 0 9 0 27179747 889737216 23669 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31150/statm: 217221 23669 2638 9 0 211679 0
[pid=31150/tid=31152] ppid=31148 vsize=868884 CPUtime=50.44
/proc/31150/task/31152/stat : 31152 (java) R 31148 31150 30988 0 -1 64 28670 707 1 0 5020 12 11 1 25 0 9 0 27179748 889737216 23669 996147200 134512640 134550932 4294955968 18446744073709551615 4127141903 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31153] ppid=31148 vsize=868884 CPUtime=0.33
/proc/31150/task/31153/stat : 31153 (java) S 31148 31150 30988 0 -1 64 9762 707 0 0 19 2 11 1 16 0 9 0 27179749 889737216 23669 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31154] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31154/stat : 31154 (java) S 31148 31150 30988 0 -1 64 20 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 23669 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31155] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31155/stat : 31155 (java) S 31148 31150 30988 0 -1 64 11 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 23669 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31156] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31156/stat : 31156 (java) S 31148 31150 30988 0 -1 64 2 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 23669 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31157] ppid=31148 vsize=868884 CPUtime=0.43
/proc/31150/task/31157/stat : 31157 (java) S 31148 31150 30988 0 -1 64 964 707 0 0 31 0 11 1 15 0 9 0 27179751 889737216 23669 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31158] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31158/stat : 31158 (java) S 31148 31150 30988 0 -1 64 0 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 23669 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/31150/stat : 31150 (java) S 31148 31150 30988 0 -1 0 40359 707 1 0 148353 18 11 1 20 0 9 0 27179747 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31150/statm: 217221 23677 2638 9 0 211679 0
[pid=31150/tid=31152] ppid=31148 vsize=868884 CPUtime=1483.17
/proc/31150/task/31152/stat : 31152 (java) R 31148 31150 30988 0 -1 64 28740 707 1 0 148293 12 11 1 25 0 9 0 27179748 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4127244819 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31153] ppid=31148 vsize=868884 CPUtime=0.42
/proc/31150/task/31153/stat : 31153 (java) S 31148 31150 30988 0 -1 64 9774 707 0 0 27 3 11 1 16 0 9 0 27179749 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31154] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31154/stat : 31154 (java) S 31148 31150 30988 0 -1 64 20 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31155] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31155/stat : 31155 (java) S 31148 31150 30988 0 -1 64 11 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31156] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31156/stat : 31156 (java) S 31148 31150 30988 0 -1 64 2 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31157] ppid=31148 vsize=868884 CPUtime=0.44
/proc/31150/task/31157/stat : 31157 (java) S 31148 31150 30988 0 -1 64 964 707 0 0 32 0 11 1 16 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31158] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31158/stat : 31158 (java) S 31148 31150 30988 0 -1 64 0 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31159] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31159/stat : 31159 (java) S 31148 31150 30988 0 -1 64 29 707 0 0 0 0 11 1 15 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1483.83
Current children cumulated vsize (KiB) 868884
[startup+1510.31 s]
/proc/loadavg: 1.99 1.97 1.58 3/90 31224
/proc/meminfo: memFree=1684416/2055920 swapFree=4192812/4192956
[pid=31150] ppid=31148 vsize=868884 CPUtime=1496.5
/proc/31150/stat : 31150 (java) S 31148 31150 30988 0 -1 0 40360 707 1 0 149620 18 11 1 20 0 9 0 27179747 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31150/statm: 217221 23677 2638 9 0 211679 0
[pid=31150/tid=31152] ppid=31148 vsize=868884 CPUtime=1495.84
/proc/31150/task/31152/stat : 31152 (java) R 31148 31150 30988 0 -1 64 28741 707 1 0 149560 12 11 1 25 0 9 0 27179748 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4127146098 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31153] ppid=31148 vsize=868884 CPUtime=0.42
/proc/31150/task/31153/stat : 31153 (java) S 31148 31150 30988 0 -1 64 9774 707 0 0 27 3 11 1 16 0 9 0 27179749 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31154] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31154/stat : 31154 (java) S 31148 31150 30988 0 -1 64 20 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31155] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31155/stat : 31155 (java) S 31148 31150 30988 0 -1 64 11 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31156] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31156/stat : 31156 (java) S 31148 31150 30988 0 -1 64 2 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31157] ppid=31148 vsize=868884 CPUtime=0.44
/proc/31150/task/31157/stat : 31157 (java) S 31148 31150 30988 0 -1 64 964 707 0 0 32 0 11 1 16 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31158] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31158/stat : 31158 (java) S 31148 31150 30988 0 -1 64 0 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31159] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31159/stat : 31159 (java) S 31148 31150 30988 0 -1 64 29 707 0 0 0 0 11 1 15 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1496.5
Current children cumulated vsize (KiB) 868884
[startup+1513.5 s]
/proc/loadavg: 1.99 1.97 1.58 3/90 31224
/proc/meminfo: memFree=1684416/2055920 swapFree=4192812/4192956
[pid=31150] ppid=31148 vsize=868884 CPUtime=1499.68
/proc/31150/stat : 31150 (java) S 31148 31150 30988 0 -1 0 40360 707 1 0 149938 18 11 1 20 0 9 0 27179747 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31150/statm: 217221 23677 2638 9 0 211679 0
[pid=31150/tid=31152] ppid=31148 vsize=868884 CPUtime=1499.01
/proc/31150/task/31152/stat : 31152 (java) R 31148 31150 30988 0 -1 64 28741 707 1 0 149877 12 11 1 25 0 9 0 27179748 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4127014362 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31153] ppid=31148 vsize=868884 CPUtime=0.42
/proc/31150/task/31153/stat : 31153 (java) S 31148 31150 30988 0 -1 64 9774 707 0 0 27 3 11 1 16 0 9 0 27179749 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31154] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31154/stat : 31154 (java) S 31148 31150 30988 0 -1 64 20 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31155] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31155/stat : 31155 (java) S 31148 31150 30988 0 -1 64 11 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31156] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31156/stat : 31156 (java) S 31148 31150 30988 0 -1 64 2 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31157] ppid=31148 vsize=868884 CPUtime=0.44
/proc/31150/task/31157/stat : 31157 (java) S 31148 31150 30988 0 -1 64 964 707 0 0 32 0 11 1 16 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31158] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31158/stat : 31158 (java) S 31148 31150 30988 0 -1 64 0 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31159] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31159/stat : 31159 (java) S 31148 31150 30988 0 -1 64 29 707 0 0 0 0 11 1 15 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1499.68
Current children cumulated vsize (KiB) 868884
[startup+1516.7 s]
/proc/loadavg: 1.99 1.97 1.58 3/90 31224
/proc/meminfo: memFree=1684416/2055920 swapFree=4192812/4192956
[pid=31150] ppid=31148 vsize=868884 CPUtime=1502.84
/proc/31150/stat : 31150 (java) S 31148 31150 30988 0 -1 0 40360 707 1 0 150254 18 11 1 20 0 9 0 27179747 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31150/statm: 217221 23677 2638 9 0 211679 0
[pid=31150/tid=31152] ppid=31148 vsize=868884 CPUtime=1502.18
/proc/31150/task/31152/stat : 31152 (java) R 31148 31150 30988 0 -1 64 28741 707 1 0 150194 12 11 1 25 0 9 0 27179748 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4127141329 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31153] ppid=31148 vsize=868884 CPUtime=0.42
/proc/31150/task/31153/stat : 31153 (java) S 31148 31150 30988 0 -1 64 9774 707 0 0 27 3 11 1 16 0 9 0 27179749 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31154] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31154/stat : 31154 (java) S 31148 31150 30988 0 -1 64 20 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31155] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31155/stat : 31155 (java) S 31148 31150 30988 0 -1 64 11 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31156] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31156/stat : 31156 (java) S 31148 31150 30988 0 -1 64 2 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31157] ppid=31148 vsize=868884 CPUtime=0.44
/proc/31150/task/31157/stat : 31157 (java) S 31148 31150 30988 0 -1 64 964 707 0 0 32 0 11 1 16 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31158] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31158/stat : 31158 (java) S 31148 31150 30988 0 -1 64 0 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31159] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31159/stat : 31159 (java) S 31148 31150 30988 0 -1 64 29 707 0 0 0 0 11 1 15 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1502.84
Current children cumulated vsize (KiB) 868884
[startup+1518.3 s]
/proc/loadavg: 1.99 1.97 1.58 3/90 31224
/proc/meminfo: memFree=1684416/2055920 swapFree=4192812/4192956
[pid=31150] ppid=31148 vsize=868884 CPUtime=1504.43
/proc/31150/stat : 31150 (java) S 31148 31150 30988 0 -1 0 40360 707 1 0 150413 18 11 1 20 0 9 0 27179747 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31150/statm: 217221 23677 2638 9 0 211679 0
[pid=31150/tid=31152] ppid=31148 vsize=868884 CPUtime=1503.77
/proc/31150/task/31152/stat : 31152 (java) R 31148 31150 30988 0 -1 64 28741 707 1 0 150353 12 11 1 25 0 9 0 27179748 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4127141900 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31153] ppid=31148 vsize=868884 CPUtime=0.42
/proc/31150/task/31153/stat : 31153 (java) S 31148 31150 30988 0 -1 64 9774 707 0 0 27 3 11 1 16 0 9 0 27179749 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31154] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31154/stat : 31154 (java) S 31148 31150 30988 0 -1 64 20 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31155] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31155/stat : 31155 (java) S 31148 31150 30988 0 -1 64 11 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31156] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31156/stat : 31156 (java) S 31148 31150 30988 0 -1 64 2 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31157] ppid=31148 vsize=868884 CPUtime=0.44
/proc/31150/task/31157/stat : 31157 (java) S 31148 31150 30988 0 -1 64 964 707 0 0 32 0 11 1 16 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31158] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31158/stat : 31158 (java) S 31148 31150 30988 0 -1 64 0 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31159] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31159/stat : 31159 (java) S 31148 31150 30988 0 -1 64 29 707 0 0 0 0 11 1 15 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1504.43
Current children cumulated vsize (KiB) 868884
[startup+1519.11 s]
/proc/loadavg: 1.99 1.97 1.58 3/90 31224
/proc/meminfo: memFree=1684416/2055920 swapFree=4192812/4192956
[pid=31150] ppid=31148 vsize=868884 CPUtime=1505.22
/proc/31150/stat : 31150 (java) S 31148 31150 30988 0 -1 0 40360 707 1 0 150492 18 11 1 20 0 9 0 27179747 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31150/statm: 217221 23677 2638 9 0 211679 0
[pid=31150/tid=31152] ppid=31148 vsize=868884 CPUtime=1504.56
/proc/31150/task/31152/stat : 31152 (java) R 31148 31150 30988 0 -1 64 28741 707 1 0 150432 12 11 1 25 0 9 0 27179748 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4127164396 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31153] ppid=31148 vsize=868884 CPUtime=0.42
/proc/31150/task/31153/stat : 31153 (java) S 31148 31150 30988 0 -1 64 9774 707 0 0 27 3 11 1 16 0 9 0 27179749 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31154] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31154/stat : 31154 (java) S 31148 31150 30988 0 -1 64 20 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31155] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31155/stat : 31155 (java) S 31148 31150 30988 0 -1 64 11 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31156] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31156/stat : 31156 (java) S 31148 31150 30988 0 -1 64 2 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31157] ppid=31148 vsize=868884 CPUtime=0.44
/proc/31150/task/31157/stat : 31157 (java) S 31148 31150 30988 0 -1 64 964 707 0 0 32 0 11 1 16 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31158] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31158/stat : 31158 (java) S 31148 31150 30988 0 -1 64 0 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31159] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31159/stat : 31159 (java) S 31148 31150 30988 0 -1 64 29 707 0 0 0 0 11 1 15 0 9 0 27179751 889737216 23677 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1505.22
Current children cumulated vsize (KiB) 868884
[startup+1519.3 s]
/proc/loadavg: 1.99 1.97 1.58 3/90 31224
/proc/meminfo: memFree=1684416/2055920 swapFree=4192812/4192956
[pid=31150] ppid=31148 vsize=868884 CPUtime=1505.4
/proc/31150/stat : 31150 (java) S 31148 31150 30988 0 -1 0 40366 707 1 0 150510 18 11 1 20 0 9 0 27179747 889737216 23682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31150/statm: 217221 23682 2638 9 0 211679 0
[pid=31150/tid=31152] ppid=31148 vsize=868884 CPUtime=1504.74
/proc/31150/task/31152/stat : 31152 (java) S 31148 31150 30988 0 -1 64 28745 707 1 0 150449 13 11 1 24 0 9 0 27179748 889737216 23682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31153] ppid=31148 vsize=868884 CPUtime=0.42
/proc/31150/task/31153/stat : 31153 (java) S 31148 31150 30988 0 -1 64 9774 707 0 0 27 3 11 1 16 0 9 0 27179749 889737216 23682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31154] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31154/stat : 31154 (java) S 31148 31150 30988 0 -1 64 20 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 23682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31155] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31155/stat : 31155 (java) S 31148 31150 30988 0 -1 64 11 707 0 0 0 0 11 1 16 0 9 0 27179749 889737216 23682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31156] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31156/stat : 31156 (java) S 31148 31150 30988 0 -1 64 2 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 23682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31157] ppid=31148 vsize=868884 CPUtime=0.44
/proc/31150/task/31157/stat : 31157 (java) S 31148 31150 30988 0 -1 64 966 707 0 0 32 0 11 1 16 0 9 0 27179751 889737216 23682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31150/tid=31158] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31158/stat : 31158 (java) S 31148 31150 30988 0 -1 64 0 707 0 0 0 0 11 1 25 0 9 0 27179751 889737216 23682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31150/tid=31159] ppid=31148 vsize=868884 CPUtime=0.12
/proc/31150/task/31159/stat : 31159 (java) S 31148 31150 30988 0 -1 64 29 707 0 0 0 0 11 1 15 0 9 0 27179751 889737216 23682 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1505.4
Current children cumulated vsize (KiB) 868884
Child status: 0
Real time (s): 1519.34
CPU time (s): 1505.43
CPU user time (s): 1505.21
CPU system time (s): 0.216967
CPU usage (%): 99.0846
Max. virtual memory (cumulated for all children) (KiB): 870292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1505.21
system time used= 0.216967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41100
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= 31773
involuntary context switches= 69499
runsolver used 1.90971 second user time and 5.00124 second system time
The end
Begin job on node85 at 2009-07-12 14:19:04
IDJOB=2093222
IDBENCH=53449
IDSOLVER=774
FILE ID=node85/2093222-1247401144
PBS_JOBID= 9510482
Free space on /tmp= 126556 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/QWH-25/normalized-qwh-25-235-2_ext.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-2093222-1247401144/watcher-2093222-1247401144 -o /tmp/evaluation-result-2093222-1247401144/solver-2093222-1247401144 -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-2093222-1247401144.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 07b505ed201785e60800a6bec1aa0f3d
RANDOM SEED=385905840
node85.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.220
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.220
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1850008 kB
Buffers: 31912 kB
Cached: 103612 kB
SwapCached: 0 kB
Active: 103080 kB
Inactive: 47816 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1850008 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2924 kB
Writeback: 0 kB
Mapped: 25008 kB
Slab: 40732 kB
Committed_AS: 169264 kB
PageTables: 1580 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= 126548 MiB
End job on node85 at 2009-07-12 14:44:24