0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=esac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-1058321-1215114335.xml
0.29/0.32
0.29/0.32 domains being loaded...
0.29/0.34
0.29/0.34 variables being loaded...
0.39/0.48 nbVariables=700 nbDomainTypes=19 minDomainSize=1 maxDomainSize=45 nbTotalValues=16374
0.39/0.48 => wckTime=0.223 cpuTime=0.15 mem=9M869
0.39/0.48
0.39/0.48 predicates being loaded...
0.48/0.54
0.48/0.54 constraints being loaded...
4.03/4.19 nbConstraints=11595 nbGlobalConstraints=304 nbSingletonDomainVariables=262 nbConflictsStructures=29
4.03/4.19 nbSharedConflictsStructures=4355 nbUnbuiltConflictsStructures=49 nbSharedBinaryRepresentations=0
4.03/4.19 nbEvaluationManagers=78 nbSharedEvaluationManagers=11213 minDegree=17 maxDegree=255 minArity=4 avgArity=4.36
4.03/4.19 maxArity=20 nbGenerators=5 nbFusions=0 symmetryWckTime=0.79 symmetryCpuTime=0.39
4.03/4.19 => wckTime=3.931 cpuTime=2.96 mem=81M216
4.33/4.44
4.33/4.44 solver IterativeSystematicSolver being built...
5.03/5.11
5.03/5.11 INFO : Forward propagation technique limited
5.23/5.30 => wckTime=5.046 cpuTime=3.49 mem=100M300
18.50/18.74
18.50/18.74 preprocessing
18.50/18.74 nbConstraintChecks=5302999 nbValidityChecks=40122843 nbPropagations=30342 nbRevisions=2035205
18.50/18.74 nbUselessRevisions=2027509 nbSingletonTests=1132 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0
18.50/18.74 nbRemovedValues=0 detectedInconsistency=no
18.50/18.74 => wckTime=13.437 cpuTime=13.26 mem=102M298
28.69/29.03
28.69/29.04 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=104M313)
543.51/548.46
543.51/548.46 search
543.51/548.46 run=16 nbConstraintChecks=369162550 nbValidityChecks=963910916 minDepth=248 maxDepth=700
543.51/548.46 nbPropagations=7787504 nbRevisions=301457038 nbUselessRevisions=299035685 nbAssignments=55990
543.51/548.46 nbFailedAssignments=14170 nbInferredBacktracks=13 nbBacktracks=34814 nbVisitedNodes=85403 nbRestartNogoods=100
543.51/548.46 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=604.84 nbIEliminables=43.26 nbDEliminables=0
543.51/548.46 nbPEliminables=0
543.51/548.46 => wckTime=543.154 cpuTime=538.2 mem=104M313
543.51/548.46
543.51/548.46 global
543.51/548.46 nbConstraintChecks=374465549 nbValidityChecks=1004033759 nbPropagations=7817846 nbRevisions=303492243
543.51/548.46 nbUselessRevisions=301063194 nbRestartNogoods=100 solvingWckTime=543.156 solvingCpuTime=538.21 expiredTime=no
543.51/548.46 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=541.67 globalCpuTime=541.76
543.51/548.46 => wckTime=548.205 cpuTime=541.71 mem=104M313
543.51/548.46
543.51/548.46 s SATISFIABLE
543.51/548.46 v 2 1 1 23 3 18 24 40 21 12 8 31 35 36 9 20 1 11 11 6 31 12 15 29 32 13 17 33 1 22 0 5 7 8 7 1 21 3 28 29 6 43 7 4 2 32 44 38 8 39 17 19 8 38 7 4 29 8 16 2 9 11 13 25 3 20 10 0 14 10 41 8 14 9 23 7 30 15 23 17 42 11 5 42 5 26 32 12 20 4 25 11 10 17 2 15 31 26 22 10 27 25 39 14 21 36 5 12 0 23 44 18 8 36 26 27 14 16 42 9 20 4 40 13 25 10 39 12 18 30 16 26 24 17 43 30 4 6 36 13 24 7 11 2 7 12 16 1 27 1 14 14 35 4 5 15 18 9 38 40 34 4 6 24 38 7 16 36 43 10 6 0 28 41 22 10 16 3 6 35 37 10 19 16 4 15 17 3 23 27 13 10 32 25 25 10 30 24 24 18 15 12 3 8 29 3 34 19 39 24 39 33 34 13 41 21 15 19 0 35 15 36 14 6 41 20 30 28 16 38 17 14 13 15 19 11 31 21 30 5 33 41 29 4 0 37 29 18 22 11 19 2 19 0 18 33 27 9 37 4 34 12 35 24 5 44 5 22 18 6 21 30 0 44 1 28 22 23 9 21 12 3 17 23 22 37 21 8 35 35 3 38 36 26 0 14 31 5 22 20 42 28 32 17 33 27 25 19 26 25 19 13 44 9 2 27 8 21 26 31 32 13 34 44 43 20 40 2 0 16 23 13 33 27 27 37 29 14 30 29 28 9 20 28 33 26 43 7 2 39 3 1 3 5 4 0 1 4 7 9 2 7 5 0 7 7 4 4 6 7 1 2 5 7 7 2 6 3 9 2 0 7 6 3 0 2 2 5 0 9 0 7 1 0 0 3 0 0 1 5 1 3 8 6 8 2 5 9 3 2 1 7 4 3 7 1 3 5 0 2 1 0 3 2 3 4 5 7 0 3 4 2 9 5 0 0 9 4 0 7 4 1 0 5 7 2 3 7 5 6 9 9 0 5 6 9 6 3 6 7 4 6 4 6 3 3 1 5 0 0 4 6 5 3 5 9 3 6 2 6 7 6 2 4 0 7 1 4 1 5 4 5 3 6 3 0 2 7 5 0 7 8 9 3 1 9 3 4 5 6 4 9 9 5 4 2 0 5 5 1 1 2 3 9 0 8 4 6 6 7 3 4 5 6 4 4 2 0 1 1 6 7 4 1 0 5 0 9 7 4 1 5 3 6 6 9 3 7 1 3 6 0 6 0 5 3 6 4 4 0 0 3 9 3 0 3 1 7 1 3 7 2 8 3 1 5 6 4 4 3 5 3 0 8 9 9 1 8 3 0 0 5 2 1 5 4 0 5 0 5 0 1 4 0 8 7 4 9 7 2 0 3 8 3 6 9 6 6 6 1 7 1 0 2 4 5 5 5 6 1 2 9 7 5 3 6 5 2 7 5 3 6 0 9 6 4 2 9 9 7 6 1 5 3 1 6 7 9 2 0 6 9 7 6 9 2 3 9 7 9 4 7 1 7 2 7 2 4 9 4 4 9 9 2 9 1 4 7 4 9
543.51/548.46 d NODES 55990
543.51/548.46 d CHECKS 374465549
543.51/548.46
543.51/548.46 totalWckTime=548.276 totalCpuTime=541.76
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058321-1215114335/watcher-1058321-1215114335 -o /tmp/evaluation-result-1058321-1215114335/solver-1058321-1215114335 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1058321-1215114335.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.88 1.99 1.99 4/80 5251
/proc/meminfo: memFree=1457784/2055920 swapFree=4122656/4192956
[pid=5251] ppid=5249 vsize=10616 CPUtime=0
/proc/5251/stat : 5251 (java) S 5249 5251 4636 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 1541108551 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5251/statm: 2654 472 209 9 0 1184 0
[pid=5251/tid=5252] ppid=5249 vsize=10616 CPUtime=0
/proc/5251/task/5252/stat : 5252 (java) R 5249 5251 4636 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 1541108552 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 10543064 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.113467 s]
/proc/loadavg: 1.88 1.99 1.99 4/80 5251
/proc/meminfo: memFree=1457784/2055920 swapFree=4122656/4192956
[pid=5251] ppid=5249 vsize=865884 CPUtime=0.1
/proc/5251/stat : 5251 (java) S 5249 5251 4636 0 -1 0 3879 0 1 0 8 2 0 0 18 0 9 0 1541108551 886665216 3319 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5251/statm: 216471 3319 1746 9 0 211026 0
[pid=5251/tid=5252] ppid=5249 vsize=865884 CPUtime=0.08
/proc/5251/task/5252/stat : 5252 (java) R 5249 5251 4636 0 -1 64 2959 0 1 0 7 1 0 0 20 0 9 0 1541108552 886665216 3319 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 865884
[startup+0.201476 s]
/proc/loadavg: 1.88 1.99 1.99 4/80 5251
/proc/meminfo: memFree=1457784/2055920 swapFree=4122656/4192956
[pid=5251] ppid=5249 vsize=866044 CPUtime=0.18
/proc/5251/stat : 5251 (java) S 5249 5251 4636 0 -1 0 4667 0 1 0 16 2 0 0 18 0 9 0 1541108551 886829056 4094 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5251/statm: 216511 4094 1861 9 0 211059 0
[pid=5251/tid=5252] ppid=5249 vsize=866044 CPUtime=0.16
/proc/5251/task/5252/stat : 5252 (java) R 5249 5251 4636 0 -1 64 3746 0 1 0 15 1 0 0 20 0 9 0 1541108552 886829056 4094 996147200 134512640 134550740 4294955968 18446744073709551615 4125951336 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866044
[startup+0.301482 s]
/proc/loadavg: 1.88 1.99 1.99 4/80 5251
/proc/meminfo: memFree=1457784/2055920 swapFree=4122656/4192956
[pid=5251] ppid=5249 vsize=866284 CPUtime=0.29
/proc/5251/stat : 5251 (java) S 5249 5251 4636 0 -1 0 5825 0 1 0 26 3 0 0 18 0 9 0 1541108551 887074816 5199 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5251/statm: 216571 5199 1953 9 0 211099 0
[pid=5251/tid=5252] ppid=5249 vsize=866284 CPUtime=0.23
/proc/5251/task/5252/stat : 5252 (java) R 5249 5251 4636 0 -1 64 4851 0 1 0 21 2 0 0 18 0 9 0 1541108552 887074816 5199 996147200 134512640 134550740 4294955968 18446744073709551615 10137317 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866284
[startup+0.701523 s]
/proc/loadavg: 1.88 1.99 1.99 4/80 5251
/proc/meminfo: memFree=1457784/2055920 swapFree=4122656/4192956
[pid=5251] ppid=5249 vsize=867680 CPUtime=0.69
/proc/5251/stat : 5251 (java) S 5249 5251 4636 0 -1 0 8938 0 1 0 64 5 0 0 18 0 9 0 1541108551 888504320 8298 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5251/statm: 216920 8298 2011 9 0 211426 0
[pid=5251/tid=5252] ppid=5249 vsize=867680 CPUtime=0.5
/proc/5251/task/5252/stat : 5252 (java) R 5249 5251 4636 0 -1 64 7583 0 1 0 47 3 0 0 19 0 9 0 1541108552 888504320 8298 996147200 134512640 134550740 4294955968 18446744073709551615 102605706 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867680
[startup+1.50381 s]
/proc/loadavg: 1.88 1.99 1.99 3/89 5260
/proc/meminfo: memFree=1408752/2055920 swapFree=4122656/4192956
[pid=5251] ppid=5249 vsize=867592 CPUtime=1.48
/proc/5251/stat : 5251 (java) S 5249 5251 4636 0 -1 0 18498 0 1 0 139 9 0 0 18 0 9 0 1541108551 888414208 17833 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5251/statm: 216898 17833 2005 9 0 211426 0
[pid=5251/tid=5252] ppid=5249 vsize=867592 CPUtime=1.2
/proc/5251/task/5252/stat : 5252 (java) R 5249 5251 4636 0 -1 64 15762 0 1 0 114 6 0 0 25 0 9 0 1541108552 888414208 17833 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5254] ppid=5249 vsize=867592 CPUtime=0.05
/proc/5251/task/5254/stat : 5254 (java) S 5249 5251 4636 0 -1 64 1363 0 0 0 5 0 0 0 16 0 9 0 1541108554 888414208 17833 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5255] ppid=5249 vsize=867592 CPUtime=0
/proc/5251/task/5255/stat : 5255 (java) S 5249 5251 4636 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1541108554 888414208 17833 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5256] ppid=5249 vsize=867592 CPUtime=0
/proc/5251/task/5256/stat : 5256 (java) S 5249 5251 4636 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1541108554 888414208 17833 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5257] ppid=5249 vsize=867592 CPUtime=0
/proc/5251/task/5257/stat : 5257 (java) S 5249 5251 4636 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1541108556 888414208 17833 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5258] ppid=5249 vsize=867592 CPUtime=0.18
/proc/5251/task/5258/stat : 5258 (java) S 5249 5251 4636 0 -1 64 676 0 0 0 18 0 0 0 15 0 9 0 1541108556 888414208 17833 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5259] ppid=5249 vsize=867592 CPUtime=0
/proc/5251/task/5259/stat : 5259 (java) S 5249 5251 4636 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1541108556 888414208 17833 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5260] ppid=5249 vsize=867592 CPUtime=0
/proc/5251/task/5260/stat : 5260 (java) S 5249 5251 4636 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1541108556 888414208 17833 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867592
[startup+3.10177 s]
/proc/loadavg: 1.88 1.99 1.99 3/89 5260
/proc/meminfo: memFree=1393840/2055920 swapFree=4122656/4192956
[pid=5251] ppid=5249 vsize=867596 CPUtime=3.06
/proc/5251/stat : 5251 (java) S 5249 5251 4636 0 -1 0 24191 0 1 0 253 53 0 0 18 0 9 0 1541108551 888418304 23525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5251/statm: 216899 23525 2005 9 0 211427 0
[pid=5251/tid=5252] ppid=5249 vsize=867596 CPUtime=2.6
/proc/5251/task/5252/stat : 5252 (java) R 5249 5251 4636 0 -1 64 15772 0 1 0 213 47 0 0 25 0 9 0 1541108552 888418304 23525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5254] ppid=5249 vsize=867596 CPUtime=0.19
/proc/5251/task/5254/stat : 5254 (java) S 5249 5251 4636 0 -1 64 7004 0 0 0 16 3 0 0 18 0 9 0 1541108554 888418304 23525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5255] ppid=5249 vsize=867596 CPUtime=0
/proc/5251/task/5255/stat : 5255 (java) S 5249 5251 4636 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1541108554 888418304 23525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5256] ppid=5249 vsize=867596 CPUtime=0
/proc/5251/task/5256/stat : 5256 (java) S 5249 5251 4636 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1541108554 888418304 23525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5257] ppid=5249 vsize=867596 CPUtime=0
/proc/5251/task/5257/stat : 5257 (java) S 5249 5251 4636 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1541108556 888418304 23525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5258] ppid=5249 vsize=867596 CPUtime=0.25
/proc/5251/task/5258/stat : 5258 (java) S 5249 5251 4636 0 -1 64 718 0 0 0 24 1 0 0 15 0 9 0 1541108556 888418304 23525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5259] ppid=5249 vsize=867596 CPUtime=0
/proc/5251/task/5259/stat : 5259 (java) S 5249 5251 4636 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1541108556 888418304 23525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5260] ppid=5249 vsize=867596 CPUtime=0
/proc/5251/task/5260/stat : 5260 (java) S 5249 5251 4636 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1541108556 888418304 23525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867596
[startup+6.30208 s]
/proc/loadavg: 1.97 2.00 1.99 3/89 5264
/proc/meminfo: memFree=1301168/2055920 swapFree=4122656/4192956
[pid=5251] ppid=5249 vsize=868012 CPUtime=6.22
/proc/5251/stat : 5251 (java) S 5249 5251 4636 0 -1 0 68599 1309 1 0 515 73 32 2 18 0 9 0 1541108551 888844288 41589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5251/statm: 217003 41589 2615 9 0 211531 0
[pid=5251/tid=5252] ppid=5249 vsize=868012 CPUtime=5
/proc/5251/task/5252/stat : 5252 (java) R 5249 5251 4636 0 -1 64 26290 1309 1 0 411 55 32 2 25 0 9 0 1541108552 888844288 41589 996147200 134512640 134550740 4294955968 18446744073709551615 4127253318 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5254] ppid=5249 vsize=868012 CPUtime=1.17
/proc/5251/task/5254/stat : 5254 (java) S 5249 5251 4636 0 -1 64 40458 1309 0 0 69 14 32 2 17 0 9 0 1541108554 888844288 41589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5255] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5255/stat : 5255 (java) S 5249 5251 4636 0 -1 64 17 1309 0 0 0 0 32 2 16 0 9 0 1541108554 888844288 41589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5256] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5256/stat : 5256 (java) S 5249 5251 4636 0 -1 64 22 1309 0 0 0 0 32 2 15 0 9 0 1541108554 888844288 41589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5257] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5257/stat : 5257 (java) S 5249 5251 4636 0 -1 64 0 1309 0 0 0 0 32 2 18 0 9 0 1541108556 888844288 41589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5258] ppid=5249 vsize=868012 CPUtime=0.69
/proc/5251/task/5258/stat : 5258 (java) S 5249 5251 4636 0 -1 64 971 1309 0 0 34 1 32 2 15 0 9 0 1541108556 888844288 41589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5259] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5259/stat : 5259 (java) S 5249 5251 4636 0 -1 64 2 1309 0 0 0 0 32 2 19 0 9 0 1541108556 888844288 41589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5260] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5260/stat : 5260 (java) S 5249 5251 4636 0 -1 64 35 1309 0 0 0 0 32 2 15 0 9 0 1541108556 888844288 41589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 868012
[startup+12.7027 s]
/proc/loadavg: 1.97 2.00 1.99 3/89 5264
/proc/meminfo: memFree=1300912/2055920 swapFree=4122656/4192956
[pid=5251] ppid=5249 vsize=868012 CPUtime=12.56
/proc/5251/stat : 5251 (java) S 5249 5251 4636 0 -1 0 68618 1309 1 0 1149 73 32 2 18 0 9 0 1541108551 888844288 41599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5251/statm: 217003 41599 2615 9 0 211531 0
[pid=5251/tid=5252] ppid=5249 vsize=868012 CPUtime=11.32
/proc/5251/task/5252/stat : 5252 (java) R 5249 5251 4636 0 -1 64 26299 1309 1 0 1043 55 32 2 25 0 9 0 1541108552 888844288 41599 996147200 134512640 134550740 4294955968 18446744073709551615 4127241995 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5254] ppid=5249 vsize=868012 CPUtime=1.17
/proc/5251/task/5254/stat : 5254 (java) S 5249 5251 4636 0 -1 64 40458 1309 0 0 69 14 32 2 17 0 9 0 1541108554 888844288 41599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5255] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5255/stat : 5255 (java) S 5249 5251 4636 0 -1 64 17 1309 0 0 0 0 32 2 16 0 9 0 1541108554 888844288 41599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5256] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5256/stat : 5256 (java) S 5249 5251 4636 0 -1 64 22 1309 0 0 0 0 32 2 15 0 9 0 1541108554 888844288 41599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5257] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5257/stat : 5257 (java) S 5249 5251 4636 0 -1 64 0 1309 0 0 0 0 32 2 18 0 9 0 1541108556 888844288 41599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5258] ppid=5249 vsize=868012 CPUtime=0.7
/proc/5251/task/5258/stat : 5258 (java) S 5249 5251 4636 0 -1 64 981 1309 0 0 35 1 32 2 16 0 9 0 1541108556 888844288 41599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5259] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5259/stat : 5259 (java) S 5249 5251 4636 0 -1 64 2 1309 0 0 0 0 32 2 19 0 9 0 1541108556 888844288 41599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5260] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5260/stat : 5260 (java) S 5249 5251 4636 0 -1 64 35 1309 0 0 0 0 32 2 15 0 9 0 1541108556 888844288 41599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 868012
[startup+25.503 s]
/proc/loadavg: 1.98 2.00 1.99 3/89 5264
/proc/meminfo: memFree=1300784/2055920 swapFree=4122656/4192956
[pid=5251] ppid=5249 vsize=868012 CPUtime=25.23
/proc/5251/stat : 5251 (java) S 5249 5251 4636 0 -1 0 68671 1309 1 0 2416 73 32 2 18 0 9 0 1541108551 888844288 41619 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5251/statm: 217003 41619 2615 9 0 211531 0
[pid=5251/tid=5252] ppid=5249 vsize=868012 CPUtime=23.95
/proc/5251/task/5252/stat : 5252 (java) R 5249 5251 4636 0 -1 64 26310 1309 1 0 2306 55 32 2 25 0 9 0 1541108552 888844288 41619 996147200 134512640 134550740 4294955968 18446744073709551615 4127254128 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5254] ppid=5249 vsize=868012 CPUtime=1.18
/proc/5251/task/5254/stat : 5254 (java) S 5249 5251 4636 0 -1 64 40458 1309 0 0 70 14 32 2 17 0 9 0 1541108554 888844288 41619 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5255] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5255/stat : 5255 (java) S 5249 5251 4636 0 -1 64 17 1309 0 0 0 0 32 2 16 0 9 0 1541108554 888844288 41619 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5256] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5256/stat : 5256 (java) S 5249 5251 4636 0 -1 64 22 1309 0 0 0 0 32 2 15 0 9 0 1541108554 888844288 41619 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5257] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5257/stat : 5257 (java) S 5249 5251 4636 0 -1 64 0 1309 0 0 0 0 32 2 18 0 9 0 1541108556 888844288 41619 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5258] ppid=5249 vsize=868012 CPUtime=0.74
/proc/5251/task/5258/stat : 5258 (java) S 5249 5251 4636 0 -1 64 1023 1309 0 0 39 1 32 2 15 0 9 0 1541108556 888844288 41619 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5259] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5259/stat : 5259 (java) S 5249 5251 4636 0 -1 64 2 1309 0 0 0 0 32 2 19 0 9 0 1541108556 888844288 41619 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5260] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5260/stat : 5260 (java) S 5249 5251 4636 0 -1 64 35 1309 0 0 0 0 32 2 15 0 9 0 1541108556 888844288 41619 996147200 134512640 134550740 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) 868012
[startup+51.1026 s]
/proc/loadavg: 1.99 2.00 1.99 3/89 5264
/proc/meminfo: memFree=1300784/2055920 swapFree=4122656/4192956
[pid=5251] ppid=5249 vsize=868012 CPUtime=50.6
/proc/5251/stat : 5251 (java) S 5249 5251 4636 0 -1 0 68691 1309 1 0 4952 74 32 2 18 0 9 0 1541108551 888844288 41628 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5251/statm: 217003 41628 2615 9 0 211531 0
[pid=5251/tid=5252] ppid=5249 vsize=868012 CPUtime=49.29
/proc/5251/task/5252/stat : 5252 (java) R 5249 5251 4636 0 -1 64 26314 1309 1 0 4840 55 32 2 25 0 9 0 1541108552 888844288 41628 996147200 134512640 134550740 4294955968 18446744073709551615 4126095752 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5254] ppid=5249 vsize=868012 CPUtime=1.18
################
# More data... #
################
/proc/5251/stat : 5251 (java) S 5249 5251 4636 0 -1 0 68706 1309 1 0 53165 76 32 2 18 0 9 0 1541108551 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5251/statm: 217003 41634 2615 9 0 211531 0
[pid=5251/tid=5252] ppid=5249 vsize=868012 CPUtime=531.43
/proc/5251/task/5252/stat : 5252 (java) R 5249 5251 4636 0 -1 64 26317 1309 1 0 53052 57 32 2 25 0 9 0 1541108552 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4127253287 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5251/tid=5254] ppid=5249 vsize=868012 CPUtime=1.18
/proc/5251/task/5254/stat : 5254 (java) S 5249 5251 4636 0 -1 64 40458 1309 0 0 70 14 32 2 16 0 9 0 1541108554 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5255] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5255/stat : 5255 (java) S 5249 5251 4636 0 -1 64 17 1309 0 0 0 0 32 2 16 0 9 0 1541108554 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5256] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5256/stat : 5256 (java) S 5249 5251 4636 0 -1 64 22 1309 0 0 0 0 32 2 15 0 9 0 1541108554 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5257] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5257/stat : 5257 (java) S 5249 5251 4636 0 -1 64 0 1309 0 0 0 0 32 2 18 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5258] ppid=5249 vsize=868012 CPUtime=0.77
/proc/5251/task/5258/stat : 5258 (java) S 5249 5251 4636 0 -1 64 1051 1309 0 0 42 1 32 2 16 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5259] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5259/stat : 5259 (java) S 5249 5251 4636 0 -1 64 2 1309 0 0 0 0 32 2 19 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5260] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5260/stat : 5260 (java) S 5249 5251 4636 0 -1 64 35 1309 0 0 0 0 32 2 15 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 532.75
Current children cumulated vsize (KiB) 868012
[startup+544.003 s]
/proc/loadavg: 1.96 1.98 1.99 3/81 5293
/proc/meminfo: memFree=1335992/2055920 swapFree=4122656/4192956
[pid=5251] ppid=5249 vsize=868012 CPUtime=539.12
/proc/5251/stat : 5251 (java) S 5249 5251 4636 0 -1 0 68708 1309 1 0 53802 76 32 2 18 0 9 0 1541108551 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5251/statm: 217003 41634 2615 9 0 211531 0
[pid=5251/tid=5252] ppid=5249 vsize=868012 CPUtime=537.81
/proc/5251/task/5252/stat : 5252 (java) R 5249 5251 4636 0 -1 64 26319 1309 1 0 53690 57 32 2 25 0 9 0 1541108552 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4127241946 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5251/tid=5254] ppid=5249 vsize=868012 CPUtime=1.18
/proc/5251/task/5254/stat : 5254 (java) S 5249 5251 4636 0 -1 64 40458 1309 0 0 70 14 32 2 16 0 9 0 1541108554 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5255] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5255/stat : 5255 (java) S 5249 5251 4636 0 -1 64 17 1309 0 0 0 0 32 2 16 0 9 0 1541108554 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5256] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5256/stat : 5256 (java) S 5249 5251 4636 0 -1 64 22 1309 0 0 0 0 32 2 15 0 9 0 1541108554 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5257] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5257/stat : 5257 (java) S 5249 5251 4636 0 -1 64 0 1309 0 0 0 0 32 2 18 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5258] ppid=5249 vsize=868012 CPUtime=0.77
/proc/5251/task/5258/stat : 5258 (java) S 5249 5251 4636 0 -1 64 1051 1309 0 0 42 1 32 2 16 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5251/tid=5259] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5259/stat : 5259 (java) S 5249 5251 4636 0 -1 64 2 1309 0 0 0 0 32 2 19 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5260] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5260/stat : 5260 (java) S 5249 5251 4636 0 -1 64 35 1309 0 0 0 0 32 2 15 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 539.12
Current children cumulated vsize (KiB) 868012
[startup+545.603 s]
/proc/loadavg: 1.96 1.98 1.99 3/81 5293
/proc/meminfo: memFree=1335992/2055920 swapFree=4122656/4192956
[pid=5251] ppid=5249 vsize=868012 CPUtime=540.72
/proc/5251/stat : 5251 (java) S 5249 5251 4636 0 -1 0 68708 1309 1 0 53962 76 32 2 18 0 9 0 1541108551 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5251/statm: 217003 41634 2615 9 0 211531 0
[pid=5251/tid=5252] ppid=5249 vsize=868012 CPUtime=539.4
/proc/5251/task/5252/stat : 5252 (java) R 5249 5251 4636 0 -1 64 26319 1309 1 0 53849 57 32 2 25 0 9 0 1541108552 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4127241995 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5251/tid=5254] ppid=5249 vsize=868012 CPUtime=1.18
/proc/5251/task/5254/stat : 5254 (java) S 5249 5251 4636 0 -1 64 40458 1309 0 0 70 14 32 2 16 0 9 0 1541108554 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5255] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5255/stat : 5255 (java) S 5249 5251 4636 0 -1 64 17 1309 0 0 0 0 32 2 16 0 9 0 1541108554 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5256] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5256/stat : 5256 (java) S 5249 5251 4636 0 -1 64 22 1309 0 0 0 0 32 2 15 0 9 0 1541108554 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5257] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5257/stat : 5257 (java) S 5249 5251 4636 0 -1 64 0 1309 0 0 0 0 32 2 18 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5258] ppid=5249 vsize=868012 CPUtime=0.77
/proc/5251/task/5258/stat : 5258 (java) S 5249 5251 4636 0 -1 64 1051 1309 0 0 42 1 32 2 16 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5251/tid=5259] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5259/stat : 5259 (java) S 5249 5251 4636 0 -1 64 2 1309 0 0 0 0 32 2 19 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5260] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5260/stat : 5260 (java) S 5249 5251 4636 0 -1 64 35 1309 0 0 0 0 32 2 15 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 540.72
Current children cumulated vsize (KiB) 868012
[startup+547.202 s]
/proc/loadavg: 1.96 1.98 1.99 3/81 5293
/proc/meminfo: memFree=1335992/2055920 swapFree=4122656/4192956
[pid=5251] ppid=5249 vsize=868012 CPUtime=542.31
/proc/5251/stat : 5251 (java) S 5249 5251 4636 0 -1 0 68708 1309 1 0 54121 76 32 2 18 0 9 0 1541108551 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5251/statm: 217003 41634 2615 9 0 211531 0
[pid=5251/tid=5252] ppid=5249 vsize=868012 CPUtime=540.99
/proc/5251/task/5252/stat : 5252 (java) R 5249 5251 4636 0 -1 64 26319 1309 1 0 54008 57 32 2 25 0 9 0 1541108552 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4127242083 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5251/tid=5254] ppid=5249 vsize=868012 CPUtime=1.18
/proc/5251/task/5254/stat : 5254 (java) S 5249 5251 4636 0 -1 64 40458 1309 0 0 70 14 32 2 16 0 9 0 1541108554 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5255] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5255/stat : 5255 (java) S 5249 5251 4636 0 -1 64 17 1309 0 0 0 0 32 2 16 0 9 0 1541108554 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5256] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5256/stat : 5256 (java) S 5249 5251 4636 0 -1 64 22 1309 0 0 0 0 32 2 15 0 9 0 1541108554 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5257] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5257/stat : 5257 (java) S 5249 5251 4636 0 -1 64 0 1309 0 0 0 0 32 2 18 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5258] ppid=5249 vsize=868012 CPUtime=0.77
/proc/5251/task/5258/stat : 5258 (java) S 5249 5251 4636 0 -1 64 1051 1309 0 0 42 1 32 2 16 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5251/tid=5259] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5259/stat : 5259 (java) S 5249 5251 4636 0 -1 64 2 1309 0 0 0 0 32 2 19 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5260] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5260/stat : 5260 (java) S 5249 5251 4636 0 -1 64 35 1309 0 0 0 0 32 2 15 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 542.31
Current children cumulated vsize (KiB) 868012
[startup+548.001 s]
/proc/loadavg: 1.96 1.98 1.99 3/81 5293
/proc/meminfo: memFree=1335992/2055920 swapFree=4122656/4192956
[pid=5251] ppid=5249 vsize=868012 CPUtime=543.11
/proc/5251/stat : 5251 (java) S 5249 5251 4636 0 -1 0 68708 1309 1 0 54201 76 32 2 18 0 9 0 1541108551 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5251/statm: 217003 41634 2615 9 0 211531 0
[pid=5251/tid=5252] ppid=5249 vsize=868012 CPUtime=541.79
/proc/5251/task/5252/stat : 5252 (java) R 5249 5251 4636 0 -1 64 26319 1309 1 0 54088 57 32 2 25 0 9 0 1541108552 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4127236432 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5251/tid=5254] ppid=5249 vsize=868012 CPUtime=1.18
/proc/5251/task/5254/stat : 5254 (java) S 5249 5251 4636 0 -1 64 40458 1309 0 0 70 14 32 2 16 0 9 0 1541108554 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5255] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5255/stat : 5255 (java) S 5249 5251 4636 0 -1 64 17 1309 0 0 0 0 32 2 16 0 9 0 1541108554 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5256] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5256/stat : 5256 (java) S 5249 5251 4636 0 -1 64 22 1309 0 0 0 0 32 2 15 0 9 0 1541108554 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5257] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5257/stat : 5257 (java) S 5249 5251 4636 0 -1 64 0 1309 0 0 0 0 32 2 18 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5258] ppid=5249 vsize=868012 CPUtime=0.77
/proc/5251/task/5258/stat : 5258 (java) S 5249 5251 4636 0 -1 64 1051 1309 0 0 42 1 32 2 16 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5251/tid=5259] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5259/stat : 5259 (java) S 5249 5251 4636 0 -1 64 2 1309 0 0 0 0 32 2 19 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5260] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5260/stat : 5260 (java) S 5249 5251 4636 0 -1 64 35 1309 0 0 0 0 32 2 15 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 543.11
Current children cumulated vsize (KiB) 868012
[startup+548.401 s]
/proc/loadavg: 1.96 1.98 1.99 3/81 5293
/proc/meminfo: memFree=1335992/2055920 swapFree=4122656/4192956
[pid=5251] ppid=5249 vsize=868012 CPUtime=543.51
/proc/5251/stat : 5251 (java) S 5249 5251 4636 0 -1 0 68708 1309 1 0 54241 76 32 2 18 0 9 0 1541108551 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5251/statm: 217003 41634 2615 9 0 211531 0
[pid=5251/tid=5252] ppid=5249 vsize=868012 CPUtime=542.19
/proc/5251/task/5252/stat : 5252 (java) R 5249 5251 4636 0 -1 64 26319 1309 1 0 54128 57 32 2 25 0 9 0 1541108552 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4127234421 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5251/tid=5254] ppid=5249 vsize=868012 CPUtime=1.18
/proc/5251/task/5254/stat : 5254 (java) S 5249 5251 4636 0 -1 64 40458 1309 0 0 70 14 32 2 16 0 9 0 1541108554 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5255] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5255/stat : 5255 (java) S 5249 5251 4636 0 -1 64 17 1309 0 0 0 0 32 2 16 0 9 0 1541108554 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5256] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5256/stat : 5256 (java) S 5249 5251 4636 0 -1 64 22 1309 0 0 0 0 32 2 15 0 9 0 1541108554 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5257] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5257/stat : 5257 (java) S 5249 5251 4636 0 -1 64 0 1309 0 0 0 0 32 2 18 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5258] ppid=5249 vsize=868012 CPUtime=0.77
/proc/5251/task/5258/stat : 5258 (java) S 5249 5251 4636 0 -1 64 1051 1309 0 0 42 1 32 2 16 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5251/tid=5259] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5259/stat : 5259 (java) S 5249 5251 4636 0 -1 64 2 1309 0 0 0 0 32 2 19 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5260] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5260/stat : 5260 (java) S 5249 5251 4636 0 -1 64 35 1309 0 0 0 0 32 2 15 0 9 0 1541108556 888844288 41634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 543.51
Current children cumulated vsize (KiB) 868012
[startup+548.501 s]
/proc/loadavg: 1.96 1.98 1.99 3/81 5293
/proc/meminfo: memFree=1335992/2055920 swapFree=4122656/4192956
[pid=5251] ppid=5249 vsize=868012 CPUtime=543.57
/proc/5251/stat : 5251 (java) S 5249 5251 4636 0 -1 0 68717 1309 1 0 54247 76 32 2 18 0 9 0 1541108551 888844288 41640 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5251/statm: 217003 41640 2615 9 0 211531 0
[pid=5251/tid=5252] ppid=5249 vsize=868012 CPUtime=542.25
/proc/5251/task/5252/stat : 5252 (java) S 5249 5251 4636 0 -1 64 26326 1309 1 0 54134 57 32 2 25 0 9 0 1541108552 888844288 41640 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5251/tid=5254] ppid=5249 vsize=868012 CPUtime=1.18
/proc/5251/task/5254/stat : 5254 (java) S 5249 5251 4636 0 -1 64 40458 1309 0 0 70 14 32 2 16 0 9 0 1541108554 888844288 41640 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5255] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5255/stat : 5255 (java) S 5249 5251 4636 0 -1 64 17 1309 0 0 0 0 32 2 16 0 9 0 1541108554 888844288 41640 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5256] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5256/stat : 5256 (java) S 5249 5251 4636 0 -1 64 22 1309 0 0 0 0 32 2 15 0 9 0 1541108554 888844288 41640 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5257] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5257/stat : 5257 (java) S 5249 5251 4636 0 -1 64 0 1309 0 0 0 0 32 2 18 0 9 0 1541108556 888844288 41640 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5258] ppid=5249 vsize=868012 CPUtime=0.77
/proc/5251/task/5258/stat : 5258 (java) S 5249 5251 4636 0 -1 64 1053 1309 0 0 42 1 32 2 16 0 9 0 1541108556 888844288 41640 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5251/tid=5259] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5259/stat : 5259 (java) S 5249 5251 4636 0 -1 64 2 1309 0 0 0 0 32 2 19 0 9 0 1541108556 888844288 41640 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5251/tid=5260] ppid=5249 vsize=868012 CPUtime=0.34
/proc/5251/task/5260/stat : 5260 (java) S 5249 5251 4636 0 -1 64 35 1309 0 0 0 0 32 2 15 0 9 0 1541108556 888844288 41640 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 543.57
Current children cumulated vsize (KiB) 868012
Child status: 0
Real time (s): 548.535
CPU time (s): 543.617
CPU user time (s): 542.804
CPU system time (s): 0.812876
CPU usage (%): 99.1035
Max. virtual memory (cumulated for all children) (KiB): 868248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 542.804
system time used= 0.812876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70054
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= 13270
involuntary context switches= 24555
runsolver used 0.672897 second user time and 1.83272 second system time
The end
Begin job on node12 at 2008-07-03 21:45:35
IDJOB=1058321
IDBENCH=54120
IDSOLVER=364
FILE ID=node12/1058321-1215114335
PBS_JOBID= 7877179
Free space on /tmp= 66536 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/compet02/normalized-patat-02-comp-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058321-1215114335/watcher-1058321-1215114335 -o /tmp/evaluation-result-1058321-1215114335/solver-1058321-1215114335 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1058321-1215114335.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 9ff660f6666838f622d78805b358143b
RANDOM SEED=1002627002
node12.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1458264 kB
Buffers: 37560 kB
Cached: 276804 kB
SwapCached: 64396 kB
Active: 378264 kB
Inactive: 155088 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1458264 kB
SwapTotal: 4192956 kB
SwapFree: 4122656 kB
Dirty: 3884 kB
Writeback: 0 kB
Mapped: 235352 kB
Slab: 49048 kB
Committed_AS: 3640704 kB
PageTables: 2208 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= 66532 MiB
End job on node12 at 2008-07-03 21:54:44