0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/212234-1168076881/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.52 nbVariables=1096 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2
0.52 => wckTime=0.198 cpuTime=0.14 mem=8M869
0.52
0.52 predicates being loaded...
1.66
1.66 constraints being loaded...
4.21 nbConstraints=35 nbMergedConstraints=33 nbSingletonDomainVariables=329 nbConflictsStructures=6
4.21 nbSharedConflictsStructures=1 nbUnbuiltConflictsStructures=27 nbSharedBinaryRepresentations=0
4.21 nbEvaluationManagers=33 nbSharedEvaluationManagers=2 maxDegree=7 maxArity=300
4.21 => wckTime=3.885 cpuTime=3.55 mem=23M484
4.26
4.26 solver IterativeSystematicSolver being built...
4.51 => wckTime=4.183 cpuTime=3.76 mem=32M508
4.55
4.55 preprocessing
4.55 nbConstraintChecks=37 nbValidityChecks=33 nbPropagations=1096 nbRevisions=35 nbUselessRevisions=35
4.55 nbRemovedValues=0 detectedInconsistency=no
4.55 => wckTime=0.036 cpuTime=0.03 mem=35M411
272.59
272.59 search
272.59 run=0 nbConstraintChecks=11875403 nbValidityChecks=5495 nbPropagations=1946 nbRevisions=3026
272.59 nbUselessRevisions=2803 nbAssignments=768 nbFailedAssignments=2 nbBacktracks=21 nbVisitedNodes=784
272.59 nbRestartNogoods=0 mapSize=14 nbInferences=0 nbTooLargeKeys=0
272.59 => wckTime=268.073 cpuTime=265.56 mem=36M379
860.56
860.56 search
860.56 run=1 nbConstraintChecks=28504206 nbValidityChecks=17602 nbPropagations=5148 nbRevisions=12613
860.56 nbUselessRevisions=12001 nbAssignments=1869 nbFailedAssignments=7 nbBacktracks=21 nbVisitedNodes=1890
860.56 nbRestartNogoods=1 mapSize=14 nbInferences=0 nbTooLargeKeys=0
860.56 => wckTime=856.044 cpuTime=848.74 mem=37M347
860.56
860.56 global
860.56 nbConstraintChecks=28504243 nbValidityChecks=17635 nbPropagations=6244 nbRevisions=12648
860.56 nbUselessRevisions=12036 nbRestartNogoods=1 solvingWckTime=856.046 solvingCpuTime=848.74 expiredTime=no
860.56 totalExploration=no nbFoundSolutions=1 globalCpuTime=852.55
860.56 => wckTime=860.233 cpuTime=852.5 mem=37M347
860.56
860.56 s SATISFIABLE
860.56 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0
860.56 d NODES 1869
860.56 d CHECKS 28504243
860.56
860.56 totalWckTime=860.316 totalCpuTime=852.55
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-212234-1168076881 -o ROOT/results/node12/solver-212234-1168076881 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212234-1168076881/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 2.00 2.00 1.92 3/93 21176
/proc/meminfo: memFree=1397920/2055920 swapFree=4160348/4192956
[pid=21175] ppid=21173 vsize=18540 CPUtime=0
/proc/21175/stat : 21175 (runsolver) R 21173 21175 20990 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156083181 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21175/statm: 4635 279 244 17 0 2626 0
[startup+0.107546 s]
/proc/loadavg: 2.00 2.00 1.92 3/93 21176
/proc/meminfo: memFree=1397920/2055920 swapFree=4160348/4192956
[pid=21175] ppid=21173 vsize=914988 CPUtime=0.08
/proc/21175/stat : 21175 (java) R 21173 21175 20990 0 -1 0 2989 0 1 0 6 2 0 0 17 0 8 0 156083181 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21175/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515618 s]
/proc/loadavg: 2.00 2.00 1.92 3/93 21176
/proc/meminfo: memFree=1397920/2055920 swapFree=4160348/4192956
[pid=21175] ppid=21173 vsize=915328 CPUtime=0.49
/proc/21175/stat : 21175 (java) R 21173 21175 20990 0 -1 0 6481 0 1 0 44 5 0 0 18 0 8 0 156083181 937295872 6220 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596190 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21175/statm: 228832 6220 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33777 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 21183
/proc/meminfo: memFree=1340392/2055920 swapFree=4160348/4192956
[pid=21175] ppid=21173 vsize=915328 CPUtime=1.3
/proc/21175/stat : 21175 (java) R 21173 21175 20990 0 -1 0 16876 0 1 0 120 10 0 0 25 0 8 0 156083181 937295872 16613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21175/statm: 228832 16613 2153 14 0 215302 0
[pid=21175/tid=21177] ppid=21173 vsize=915328 CPUtime=0.01
/proc/21175/task/21177/stat : 21177 (java) R 21173 21175 20990 0 -1 64 424 0 0 0 1 0 0 0 16 0 8 0 156083185 937295872 16613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153822964 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21178] ppid=21173 vsize=915328 CPUtime=0
/proc/21175/task/21178/stat : 21178 (java) S 21173 21175 20990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156083186 937295872 16613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21179] ppid=21173 vsize=915328 CPUtime=0
/proc/21175/task/21179/stat : 21179 (java) S 21173 21175 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156083186 937295872 16613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21180] ppid=21173 vsize=915328 CPUtime=0
/proc/21175/task/21180/stat : 21180 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156083189 937295872 16613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21181] ppid=21173 vsize=915328 CPUtime=0.12
/proc/21175/task/21181/stat : 21181 (java) S 21173 21175 20990 0 -1 64 330 0 0 0 12 0 0 0 16 0 8 0 156083189 937295872 16613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21182] ppid=21173 vsize=915328 CPUtime=0
/proc/21175/task/21182/stat : 21182 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156083189 937295872 16613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21183] ppid=21173 vsize=915328 CPUtime=0
/proc/21175/task/21183/stat : 21183 (java) S 21173 21175 20990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156083189 937295872 16613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.99106 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 21183
/proc/meminfo: memFree=1338344/2055920 swapFree=4160348/4192956
[pid=21175] ppid=21173 vsize=915448 CPUtime=2.94
/proc/21175/stat : 21175 (java) R 21173 21175 20990 0 -1 0 17766 0 1 0 283 11 0 0 25 0 8 0 156083181 937418752 17486 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073448238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21175/statm: 228862 17486 2179 14 0 215332 0
[pid=21175/tid=21177] ppid=21173 vsize=915448 CPUtime=0.09
/proc/21175/task/21177/stat : 21177 (java) S 21173 21175 20990 0 -1 64 1201 0 0 0 9 0 0 0 16 0 8 0 156083185 937418752 17486 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21178] ppid=21173 vsize=915448 CPUtime=0
/proc/21175/task/21178/stat : 21178 (java) S 21173 21175 20990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156083186 937418752 17486 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21179] ppid=21173 vsize=915448 CPUtime=0
/proc/21175/task/21179/stat : 21179 (java) S 21173 21175 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156083186 937418752 17486 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21180] ppid=21173 vsize=915448 CPUtime=0
/proc/21175/task/21180/stat : 21180 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156083189 937418752 17486 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21181] ppid=21173 vsize=915448 CPUtime=0.16
/proc/21175/task/21181/stat : 21181 (java) S 21173 21175 20990 0 -1 64 356 0 0 0 16 0 0 0 16 0 8 0 156083189 937418752 17486 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21182] ppid=21173 vsize=915448 CPUtime=0
/proc/21175/task/21182/stat : 21182 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156083189 937418752 17486 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21183] ppid=21173 vsize=915448 CPUtime=0
/proc/21175/task/21183/stat : 21183 (java) S 21173 21175 20990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156083189 937418752 17486 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915448
[startup+6.28065 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 21183
/proc/meminfo: memFree=1333800/2055920 swapFree=4160348/4192956
[pid=21175] ppid=21173 vsize=915580 CPUtime=6.2
/proc/21175/stat : 21175 (java) R 21173 21175 20990 0 -1 0 18744 0 1 0 607 13 0 0 25 0 8 0 156083181 937553920 18449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21175/statm: 228895 18449 2534 14 0 215365 0
[pid=21175/tid=21177] ppid=21173 vsize=915580 CPUtime=0.18
/proc/21175/task/21177/stat : 21177 (java) S 21173 21175 20990 0 -1 64 1670 0 0 0 17 1 0 0 16 0 8 0 156083185 937553920 18449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21178] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21178/stat : 21178 (java) S 21173 21175 20990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21179] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21179/stat : 21179 (java) S 21173 21175 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21180] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21180/stat : 21180 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156083189 937553920 18449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21181] ppid=21173 vsize=915580 CPUtime=0.26
/proc/21175/task/21181/stat : 21181 (java) S 21173 21175 20990 0 -1 64 406 0 0 0 25 1 0 0 15 0 8 0 156083189 937553920 18449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21182] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21182/stat : 21182 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156083189 937553920 18449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21183] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21183/stat : 21183 (java) S 21173 21175 20990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156083189 937553920 18449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915580
[startup+12.7588 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 21183
/proc/meminfo: memFree=1333800/2055920 swapFree=4160348/4192956
[pid=21175] ppid=21173 vsize=915580 CPUtime=12.61
/proc/21175/stat : 21175 (java) R 21173 21175 20990 0 -1 0 18746 0 1 0 1248 13 0 0 25 0 8 0 156083181 937553920 18450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073718370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21175/statm: 228895 18450 2534 14 0 215365 0
[pid=21175/tid=21177] ppid=21173 vsize=915580 CPUtime=0.18
/proc/21175/task/21177/stat : 21177 (java) S 21173 21175 20990 0 -1 64 1670 0 0 0 17 1 0 0 16 0 8 0 156083185 937553920 18450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21178] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21178/stat : 21178 (java) S 21173 21175 20990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21179] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21179/stat : 21179 (java) S 21173 21175 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21180] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21180/stat : 21180 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156083189 937553920 18450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21181] ppid=21173 vsize=915580 CPUtime=0.26
/proc/21175/task/21181/stat : 21181 (java) S 21173 21175 20990 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 156083189 937553920 18450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21182] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21182/stat : 21182 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156083189 937553920 18450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21183] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21183/stat : 21183 (java) S 21173 21175 20990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156083189 937553920 18450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915580
[startup+25.6111 s]
/proc/loadavg: 2.00 2.00 1.92 4/100 21183
/proc/meminfo: memFree=1333800/2055920 swapFree=4160348/4192956
[pid=21175] ppid=21173 vsize=915580 CPUtime=25.35
/proc/21175/stat : 21175 (java) R 21173 21175 20990 0 -1 0 18746 0 1 0 2522 13 0 0 25 0 8 0 156083181 937553920 18450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073724428 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21175/statm: 228895 18450 2534 14 0 215365 0
[pid=21175/tid=21177] ppid=21173 vsize=915580 CPUtime=0.18
/proc/21175/task/21177/stat : 21177 (java) S 21173 21175 20990 0 -1 64 1670 0 0 0 17 1 0 0 16 0 8 0 156083185 937553920 18450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21178] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21178/stat : 21178 (java) S 21173 21175 20990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21179] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21179/stat : 21179 (java) S 21173 21175 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21180] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21180/stat : 21180 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156083189 937553920 18450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21181] ppid=21173 vsize=915580 CPUtime=0.26
/proc/21175/task/21181/stat : 21181 (java) S 21173 21175 20990 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 156083189 937553920 18450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21182] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21182/stat : 21182 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156083189 937553920 18450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21183] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21183/stat : 21183 (java) S 21173 21175 20990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156083189 937553920 18450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915580
[startup+51.2188 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 21183
/proc/meminfo: memFree=1333736/2055920 swapFree=4160348/4192956
[pid=21175] ppid=21173 vsize=915580 CPUtime=50.73
/proc/21175/stat : 21175 (java) R 21173 21175 20990 0 -1 0 18751 0 1 0 5059 14 0 0 25 0 8 0 156083181 937553920 18453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073723767 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21175/statm: 228895 18453 2534 14 0 215365 0
[pid=21175/tid=21177] ppid=21173 vsize=915580 CPUtime=0.18
/proc/21175/task/21177/stat : 21177 (java) S 21173 21175 20990 0 -1 64 1670 0 0 0 17 1 0 0 16 0 8 0 156083185 937553920 18453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21178] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21178/stat : 21178 (java) S 21173 21175 20990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21179] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21179/stat : 21179 (java) S 21173 21175 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21180] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21180/stat : 21180 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156083189 937553920 18453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21181] ppid=21173 vsize=915580 CPUtime=0.27
/proc/21175/task/21181/stat : 21181 (java) S 21173 21175 20990 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 156083189 937553920 18453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21182] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21182/stat : 21182 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156083189 937553920 18453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21183] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21183/stat : 21183 (java) S 21173 21175 20990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156083189 937553920 18453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915580
[startup+102.419 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 21183
/proc/meminfo: memFree=1333800/2055920 swapFree=4160348/4192956
[pid=21175] ppid=21173 vsize=915580 CPUtime=101.45
/proc/21175/stat : 21175 (java) R 21173 21175 20990 0 -1 0 18755 0 1 0 10131 14 0 0 25 0 8 0 156083181 937553920 18454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073718364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21175/statm: 228895 18454 2534 14 0 215365 0
[pid=21175/tid=21177] ppid=21173 vsize=915580 CPUtime=0.18
/proc/21175/task/21177/stat : 21177 (java) S 21173 21175 20990 0 -1 64 1670 0 0 0 17 1 0 0 16 0 8 0 156083185 937553920 18454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21178] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21178/stat : 21178 (java) S 21173 21175 20990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21179] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21179/stat : 21179 (java) S 21173 21175 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21180] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21180/stat : 21180 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156083189 937553920 18454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21181] ppid=21173 vsize=915580 CPUtime=0.27
/proc/21175/task/21181/stat : 21181 (java) S 21173 21175 20990 0 -1 64 414 0 0 0 26 1 0 0 17 0 8 0 156083189 937553920 18454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21182] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21182/stat : 21182 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156083189 937553920 18454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21183] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21183/stat : 21183 (java) S 21173 21175 20990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156083189 937553920 18454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915580
[startup+162.467 s]
/proc/loadavg: 2.06 2.01 1.93 3/100 21183
/proc/meminfo: memFree=1333736/2055920 swapFree=4160348/4192956
[pid=21175] ppid=21173 vsize=915580 CPUtime=160.95
/proc/21175/stat : 21175 (java) R 21173 21175 20990 0 -1 0 18755 0 1 0 16081 14 0 0 25 0 8 0 156083181 937553920 18454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073722983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/21175/task/21180/stat : 21180 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156083189 937553920 18472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21181] ppid=21173 vsize=915580 CPUtime=0.29
/proc/21175/task/21181/stat : 21181 (java) S 21173 21175 20990 0 -1 64 426 0 0 0 28 1 0 0 16 0 8 0 156083189 937553920 18472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21182] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21182/stat : 21182 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156083189 937553920 18472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21183] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21183/stat : 21183 (java) S 21173 21175 20990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156083189 937553920 18472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.9
Current children cumulated vsize (KiB) 915580
[startup+462.673 s]
/proc/loadavg: 2.00 2.01 1.94 3/100 21183
/proc/meminfo: memFree=1333544/2055920 swapFree=4160348/4192956
[pid=21175] ppid=21173 vsize=915580 CPUtime=458.4
/proc/21175/stat : 21175 (java) R 21173 21175 20990 0 -1 0 18781 0 1 0 45823 17 0 0 25 0 8 0 156083181 937553920 18472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073718364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21175/statm: 228895 18472 2538 14 0 215365 0
[pid=21175/tid=21177] ppid=21173 vsize=915580 CPUtime=0.18
/proc/21175/task/21177/stat : 21177 (java) S 21173 21175 20990 0 -1 64 1671 0 0 0 17 1 0 0 16 0 8 0 156083185 937553920 18472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21178] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21178/stat : 21178 (java) S 21173 21175 20990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21179] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21179/stat : 21179 (java) S 21173 21175 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21180] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21180/stat : 21180 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156083189 937553920 18472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21181] ppid=21173 vsize=915580 CPUtime=0.29
/proc/21175/task/21181/stat : 21181 (java) S 21173 21175 20990 0 -1 64 426 0 0 0 28 1 0 0 16 0 8 0 156083189 937553920 18472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21182] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21182/stat : 21182 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156083189 937553920 18472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21183] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21183/stat : 21183 (java) S 21173 21175 20990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156083189 937553920 18472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.4
Current children cumulated vsize (KiB) 915580
[startup+522.719 s]
/proc/loadavg: 2.00 2.01 1.94 3/100 21183
/proc/meminfo: memFree=1333544/2055920 swapFree=4160348/4192956
[pid=21175] ppid=21173 vsize=915580 CPUtime=517.89
/proc/21175/stat : 21175 (java) R 21173 21175 20990 0 -1 0 18782 0 1 0 51772 17 0 0 25 0 8 0 156083181 937553920 18473 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073722983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21175/statm: 228895 18473 2538 14 0 215365 0
[pid=21175/tid=21177] ppid=21173 vsize=915580 CPUtime=0.18
/proc/21175/task/21177/stat : 21177 (java) S 21173 21175 20990 0 -1 64 1671 0 0 0 17 1 0 0 16 0 8 0 156083185 937553920 18473 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21178] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21178/stat : 21178 (java) S 21173 21175 20990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18473 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21179] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21179/stat : 21179 (java) S 21173 21175 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18473 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21180] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21180/stat : 21180 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156083189 937553920 18473 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21181] ppid=21173 vsize=915580 CPUtime=0.29
/proc/21175/task/21181/stat : 21181 (java) S 21173 21175 20990 0 -1 64 427 0 0 0 28 1 0 0 16 0 8 0 156083189 937553920 18473 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21182] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21182/stat : 21182 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156083189 937553920 18473 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21183] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21183/stat : 21183 (java) S 21173 21175 20990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156083189 937553920 18473 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 517.89
Current children cumulated vsize (KiB) 915580
[startup+582.76 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 21183
/proc/meminfo: memFree=1333480/2055920 swapFree=4160348/4192956
[pid=21175] ppid=21173 vsize=915580 CPUtime=577.38
/proc/21175/stat : 21175 (java) R 21173 21175 20990 0 -1 0 18787 0 1 0 57720 18 0 0 25 0 8 0 156083181 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073718352 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21175/statm: 228895 18477 2538 14 0 215365 0
[pid=21175/tid=21177] ppid=21173 vsize=915580 CPUtime=0.18
/proc/21175/task/21177/stat : 21177 (java) S 21173 21175 20990 0 -1 64 1671 0 0 0 17 1 0 0 16 0 8 0 156083185 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21178] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21178/stat : 21178 (java) S 21173 21175 20990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21179] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21179/stat : 21179 (java) S 21173 21175 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21180] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21180/stat : 21180 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21181] ppid=21173 vsize=915580 CPUtime=0.3
/proc/21175/task/21181/stat : 21181 (java) S 21173 21175 20990 0 -1 64 432 0 0 0 29 1 0 0 15 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21182] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21182/stat : 21182 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21183] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21183/stat : 21183 (java) S 21173 21175 20990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 577.38
Current children cumulated vsize (KiB) 915580
[startup+642.793 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 21183
/proc/meminfo: memFree=1333416/2055920 swapFree=4160348/4192956
[pid=21175] ppid=21173 vsize=915580 CPUtime=636.86
/proc/21175/stat : 21175 (java) R 21173 21175 20990 0 -1 0 18787 0 1 0 63668 18 0 0 25 0 8 0 156083181 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073718352 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21175/statm: 228895 18477 2538 14 0 215365 0
[pid=21175/tid=21177] ppid=21173 vsize=915580 CPUtime=0.18
/proc/21175/task/21177/stat : 21177 (java) S 21173 21175 20990 0 -1 64 1671 0 0 0 17 1 0 0 16 0 8 0 156083185 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21178] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21178/stat : 21178 (java) S 21173 21175 20990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21179] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21179/stat : 21179 (java) S 21173 21175 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21180] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21180/stat : 21180 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21181] ppid=21173 vsize=915580 CPUtime=0.3
/proc/21175/task/21181/stat : 21181 (java) S 21173 21175 20990 0 -1 64 432 0 0 0 29 1 0 0 15 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21182] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21182/stat : 21182 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21183] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21183/stat : 21183 (java) S 21173 21175 20990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 636.86
Current children cumulated vsize (KiB) 915580
[startup+702.841 s]
/proc/loadavg: 2.08 2.02 1.94 3/100 21275
/proc/meminfo: memFree=1511392/2055920 swapFree=4160348/4192956
[pid=21175] ppid=21173 vsize=915580 CPUtime=696.41
/proc/21175/stat : 21175 (java) R 21173 21175 20990 0 -1 0 18787 0 1 0 69620 21 0 0 25 0 8 0 156083181 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073718314 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21175/statm: 228895 18477 2538 14 0 215365 0
[pid=21175/tid=21177] ppid=21173 vsize=915580 CPUtime=0.18
/proc/21175/task/21177/stat : 21177 (java) S 21173 21175 20990 0 -1 64 1671 0 0 0 17 1 0 0 16 0 8 0 156083185 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21178] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21178/stat : 21178 (java) S 21173 21175 20990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21179] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21179/stat : 21179 (java) S 21173 21175 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21180] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21180/stat : 21180 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21181] ppid=21173 vsize=915580 CPUtime=0.3
/proc/21175/task/21181/stat : 21181 (java) S 21173 21175 20990 0 -1 64 432 0 0 0 29 1 0 0 15 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21182] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21182/stat : 21182 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21183] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21183/stat : 21183 (java) S 21173 21175 20990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 696.41
Current children cumulated vsize (KiB) 915580
[startup+762.878 s]
/proc/loadavg: 2.03 2.01 1.94 3/100 21275
/proc/meminfo: memFree=1511528/2055920 swapFree=4160348/4192956
[pid=21175] ppid=21173 vsize=915580 CPUtime=756.16
/proc/21175/stat : 21175 (java) R 21173 21175 20990 0 -1 0 18787 0 1 0 75594 22 0 0 25 0 8 0 156083181 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073722976 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21175/statm: 228895 18477 2538 14 0 215365 0
[pid=21175/tid=21177] ppid=21173 vsize=915580 CPUtime=0.18
/proc/21175/task/21177/stat : 21177 (java) S 21173 21175 20990 0 -1 64 1671 0 0 0 17 1 0 0 16 0 8 0 156083185 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21178] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21178/stat : 21178 (java) S 21173 21175 20990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21179] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21179/stat : 21179 (java) S 21173 21175 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21180] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21180/stat : 21180 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21181] ppid=21173 vsize=915580 CPUtime=0.3
/proc/21175/task/21181/stat : 21181 (java) S 21173 21175 20990 0 -1 64 432 0 0 0 29 1 0 0 15 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21182] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21182/stat : 21182 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21183] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21183/stat : 21183 (java) S 21173 21175 20990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 756.16
Current children cumulated vsize (KiB) 915580
[startup+822.931 s]
/proc/loadavg: 2.08 2.02 1.95 3/106 21413
/proc/meminfo: memFree=1510248/2055920 swapFree=4160348/4192956
[pid=21175] ppid=21173 vsize=915580 CPUtime=815.86
/proc/21175/stat : 21175 (java) R 21173 21175 20990 0 -1 0 18788 0 1 0 81557 29 0 0 25 0 8 0 156083181 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073719527 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21175/statm: 228895 18477 2538 14 0 215365 0
[pid=21175/tid=21177] ppid=21173 vsize=915580 CPUtime=0.18
/proc/21175/task/21177/stat : 21177 (java) S 21173 21175 20990 0 -1 64 1671 0 0 0 17 1 0 0 16 0 8 0 156083185 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21178] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21178/stat : 21178 (java) S 21173 21175 20990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21179] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21179/stat : 21179 (java) S 21173 21175 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156083186 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21180] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21180/stat : 21180 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21181] ppid=21173 vsize=915580 CPUtime=0.3
/proc/21175/task/21181/stat : 21181 (java) S 21173 21175 20990 0 -1 64 433 0 0 0 29 1 0 0 16 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21175/tid=21182] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21182/stat : 21182 (java) S 21173 21175 20990 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21175/tid=21183] ppid=21173 vsize=915580 CPUtime=0
/proc/21175/task/21183/stat : 21183 (java) S 21173 21175 20990 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156083189 937553920 18477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 815.86
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 860.599
CPU time (s): 853.293
CPU user time (s): 852.963
CPU system time (s): 0.329949
CPU usage (%): 99.1511
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 852.963
system time used= 0.329949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18795
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= 18997
involuntary context switches= 56194
runsolver used 1.17282 s user time and 2.58961 s system time
The end
Begin job on node12 on Sat Jan 6 09:48:01 UTC 2007
IDJOB= 212234
IDBENCH= 4755
FILE ID= node12/212234-1168076881
PBS_JOBID= 3475795
Free space on /tmp= 66315 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-kb2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212234-1168076881/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-212234-1168076881 -o ROOT/results/node12/solver-212234-1168076881 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212234-1168076881/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9bb757bd864bd7bef5100d4434d05a6c
RANDOM SEED= 897375651
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.265
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.265
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: 1398400 kB
Buffers: 32296 kB
Cached: 253516 kB
SwapCached: 4684 kB
Active: 349972 kB
Inactive: 226404 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1398400 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2100 kB
Writeback: 0 kB
Mapped: 310300 kB
Slab: 65584 kB
Committed_AS: 4745980 kB
PageTables: 2628 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= 66314 MiB
End job on node12 on Sat Jan 6 10:02:24 UTC 2007