0.30
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/247790-1168394016/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=100 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.41 => wckTime=0.107 cpuTime=0.09 mem=6M951
0.41
0.41 predicates being loaded...
0.44
0.44 constraints being loaded...
0.54 nbConstraints=20 nbSingletonDomainVariables=24 nbDisconnectedVariables=24 nbConflictsStructures=2
0.54 nbSharedConflictsStructures=0 nbUnbuiltConflictsStructures=18 nbSharedBinaryRepresentations=0
0.54 nbEvaluationManagers=20 nbSharedEvaluationManagers=0 maxDegree=5 maxArity=9
0.54 => wckTime=0.229 cpuTime=0.19 mem=8M902
0.57
0.57 solver IterativeSystematicSolver being built...
0.74 => wckTime=0.433 cpuTime=0.34 mem=14M456
8.32
8.32 preprocessing
8.32 nbConstraintChecks=10098117 nbValidityChecks=5322 nbPropagations=438 nbRevisions=327 nbUselessRevisions=127
8.32 nbSingletonTests=153 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=46 detectedInconsistency=no
8.32 => wckTime=7.579 cpuTime=7.54 mem=14M456
113.76
113.76 search
113.76 run=0 nbConstraintChecks=122160068 nbValidityChecks=6487 nbPropagations=1223 nbRevisions=1128
113.76 nbUselessRevisions=350 nbAssignments=208 nbFailedAssignments=183 nbBacktracks=10 nbVisitedNodes=392
113.76 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
113.76 => wckTime=113.015 cpuTime=112.88 mem=15M431
272.34
272.34 search
272.34 run=1 nbConstraintChecks=296861930 nbValidityChecks=9062 nbPropagations=3117 nbRevisions=2682
272.34 nbUselessRevisions=765 nbAssignments=519 nbFailedAssignments=462 nbBacktracks=25 nbVisitedNodes=982
272.34 nbRestartNogoods=9 mapSize=20 nbInferences=0 nbTooLargeKeys=0
272.34 => wckTime=271.595 cpuTime=271.35 mem=15M431
454.64
454.64 search
454.64 run=2 nbConstraintChecks=497521153 nbValidityChecks=34094 nbPropagations=6818 nbRevisions=5914
454.64 nbUselessRevisions=1628 nbAssignments=1097 nbFailedAssignments=738 nbBacktracks=38 nbVisitedNodes=1647
454.64 nbRestartNogoods=38 mapSize=30 nbInferences=0 nbTooLargeKeys=0
454.64 => wckTime=453.897 cpuTime=453.51 mem=15M431
454.64
454.64 global
454.64 nbConstraintChecks=507619270 nbValidityChecks=39416 nbPropagations=7256 nbRevisions=6241
454.64 nbUselessRevisions=1755 nbRestartNogoods=38 solvingWckTime=453.898 solvingCpuTime=453.51 expiredTime=no
454.64 totalExploration=no nbFoundSolutions=1 globalCpuTime=453.89
454.64 => wckTime=454.332 cpuTime=453.85 mem=15M431
454.64
454.64 s SATISFIABLE
454.64 v 21 2 27 2 22 29 6 4 29 16 26 2 2 29 2 2 2 9 2 2 2 29 2 14 2 2 23 17 2 29 25 2 2 29 25 13 2 25 2 14 29 13 2 10 2 2 15 29 4 2 8 2 2 26 28 2 2 2 2 4 2 27 2 16 6 27 16 27 2 12 2 2 3 18 29 13 2 2 2 29 2 29 29 29 12 25 29 2 2 29 20 2 9 17 28 2 2 2 2 2
454.64 d NODES 1097
454.64 d CHECKS 507619270
454.64
454.64 totalWckTime=454.41 totalCpuTime=453.89
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-247790-1168394016 -o ROOT/results/node19/solver-247790-1168394016 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247790-1168394016/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: 1.00 1.11 1.13 3/78 26055
/proc/meminfo: memFree=1760288/2055920 swapFree=4171244/4192956
[pid=26054] ppid=26052 vsize=1496 CPUtime=0
/proc/26054/stat : 26054 (java) R 26052 26054 25522 0 -1 0 64 0 0 0 0 0 0 0 20 0 1 0 187796267 1531904 47 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7466948 0 0 4096 0 0 0 0 17 1 0 0
/proc/26054/statm: 375 58 46 14 0 8 0
[startup+0.105504 s]
/proc/loadavg: 1.00 1.11 1.13 3/78 26055
/proc/meminfo: memFree=1760288/2055920 swapFree=4171244/4192956
[pid=26054] ppid=26052 vsize=914988 CPUtime=0.08
/proc/26054/stat : 26054 (java) R 26052 26054 25522 0 -1 0 2984 0 1 0 6 2 0 0 17 0 8 0 187796267 936947712 2730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582787 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26054/statm: 228747 2730 1425 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51358 s]
/proc/loadavg: 1.00 1.11 1.13 3/78 26055
/proc/meminfo: memFree=1760288/2055920 swapFree=4171244/4192956
[pid=26054] ppid=26052 vsize=915456 CPUtime=0.49
/proc/26054/stat : 26054 (java) R 26052 26054 25522 0 -1 0 6611 0 1 0 44 5 0 0 16 0 8 0 187796267 937426944 6350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153901172 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26054/statm: 228864 6350 2166 14 0 215334 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915456
[startup+1.33473 s]
/proc/loadavg: 1.00 1.11 1.13 2/85 26062
/proc/meminfo: memFree=1736872/2055920 swapFree=4171244/4192956
[pid=26054] ppid=26052 vsize=915456 CPUtime=1.3
/proc/26054/stat : 26054 (java) R 26052 26054 25522 0 -1 0 8593 0 1 0 124 6 0 0 17 0 8 0 187796267 937426944 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073599927 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26054/statm: 228864 8331 2540 14 0 215334 0
[pid=26054/tid=26056] ppid=26052 vsize=915456 CPUtime=0.02
/proc/26054/task/26056/stat : 26056 (java) S 26052 26054 25522 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 187796271 937426944 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26054/tid=26057] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26057/stat : 26057 (java) S 26052 26054 25522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26058] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26058/stat : 26058 (java) S 26052 26054 25522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26059] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26059/stat : 26059 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 187796276 937426944 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26060] ppid=26052 vsize=915456 CPUtime=0.12
/proc/26054/task/26060/stat : 26060 (java) S 26052 26054 25522 0 -1 64 339 0 0 0 11 1 0 0 16 0 8 0 187796276 937426944 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26061] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26061/stat : 26061 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187796276 937426944 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26062] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26062/stat : 26062 (java) S 26052 26054 25522 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187796276 937426944 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.98704 s]
/proc/loadavg: 1.00 1.11 1.13 2/85 26062
/proc/meminfo: memFree=1736808/2055920 swapFree=4171244/4192956
[pid=26054] ppid=26052 vsize=915456 CPUtime=2.95
/proc/26054/stat : 26054 (java) R 26052 26054 25522 0 -1 0 8604 0 1 0 289 6 0 0 17 0 8 0 187796267 937426944 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073595623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26054/statm: 228864 8340 2542 14 0 215334 0
[pid=26054/tid=26056] ppid=26052 vsize=915456 CPUtime=0.02
/proc/26054/task/26056/stat : 26056 (java) S 26052 26054 25522 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 187796271 937426944 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26054/tid=26057] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26057/stat : 26057 (java) S 26052 26054 25522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26058] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26058/stat : 26058 (java) S 26052 26054 25522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26059] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26059/stat : 26059 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 187796276 937426944 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26060] ppid=26052 vsize=915456 CPUtime=0.13
/proc/26054/task/26060/stat : 26060 (java) S 26052 26054 25522 0 -1 64 345 0 0 0 12 1 0 0 15 0 8 0 187796276 937426944 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26061] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26061/stat : 26061 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187796276 937426944 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26062] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26062/stat : 26062 (java) S 26052 26054 25522 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187796276 937426944 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915456
[startup+6.26866 s]
/proc/loadavg: 1.00 1.11 1.13 2/85 26062
/proc/meminfo: memFree=1736744/2055920 swapFree=4171244/4192956
[pid=26054] ppid=26052 vsize=915456 CPUtime=6.22
/proc/26054/stat : 26054 (java) R 26052 26054 25522 0 -1 0 8610 0 1 0 616 6 0 0 17 0 8 0 187796267 937426944 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26054/statm: 228864 8343 2542 14 0 215334 0
[pid=26054/tid=26056] ppid=26052 vsize=915456 CPUtime=0.02
/proc/26054/task/26056/stat : 26056 (java) S 26052 26054 25522 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 187796271 937426944 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26054/tid=26057] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26057/stat : 26057 (java) S 26052 26054 25522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26058] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26058/stat : 26058 (java) S 26052 26054 25522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26059] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26059/stat : 26059 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 187796276 937426944 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26060] ppid=26052 vsize=915456 CPUtime=0.13
/proc/26054/task/26060/stat : 26060 (java) S 26052 26054 25522 0 -1 64 351 0 0 0 12 1 0 0 15 0 8 0 187796276 937426944 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26061] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26061/stat : 26061 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187796276 937426944 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26062] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26062/stat : 26062 (java) S 26052 26054 25522 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187796276 937426944 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915456
[startup+12.7509 s]
/proc/loadavg: 1.00 1.11 1.13 2/85 26062
/proc/meminfo: memFree=1736432/2055920 swapFree=4171244/4192956
[pid=26054] ppid=26052 vsize=915456 CPUtime=12.7
/proc/26054/stat : 26054 (java) R 26052 26054 25522 0 -1 0 8710 0 1 0 1264 6 0 0 22 0 8 0 187796267 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073605209 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26054/statm: 228864 8441 2543 14 0 215334 0
[pid=26054/tid=26056] ppid=26052 vsize=915456 CPUtime=0.02
/proc/26054/task/26056/stat : 26056 (java) S 26052 26054 25522 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 187796271 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26054/tid=26057] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26057/stat : 26057 (java) S 26052 26054 25522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26058] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26058/stat : 26058 (java) S 26052 26054 25522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26059] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26059/stat : 26059 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 187796276 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26060] ppid=26052 vsize=915456 CPUtime=0.14
/proc/26054/task/26060/stat : 26060 (java) S 26052 26054 25522 0 -1 64 356 0 0 0 13 1 0 0 16 0 8 0 187796276 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26061] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26061/stat : 26061 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187796276 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26062] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26062/stat : 26062 (java) S 26052 26054 25522 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187796276 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915456
[startup+25.5953 s]
/proc/loadavg: 1.00 1.10 1.13 2/85 26062
/proc/meminfo: memFree=1736432/2055920 swapFree=4171244/4192956
[pid=26054] ppid=26052 vsize=915456 CPUtime=25.54
/proc/26054/stat : 26054 (java) R 26052 26054 25522 0 -1 0 8714 0 1 0 2548 6 0 0 25 0 8 0 187796267 937426944 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073601888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26054/statm: 228864 8442 2543 14 0 215334 0
[pid=26054/tid=26056] ppid=26052 vsize=915456 CPUtime=0.02
/proc/26054/task/26056/stat : 26056 (java) S 26052 26054 25522 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 187796271 937426944 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26054/tid=26057] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26057/stat : 26057 (java) S 26052 26054 25522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26058] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26058/stat : 26058 (java) S 26052 26054 25522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26059] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26059/stat : 26059 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 187796276 937426944 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26060] ppid=26052 vsize=915456 CPUtime=0.14
/proc/26054/task/26060/stat : 26060 (java) S 26052 26054 25522 0 -1 64 358 0 0 0 13 1 0 0 16 0 8 0 187796276 937426944 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26061] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26061/stat : 26061 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187796276 937426944 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26062] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26062/stat : 26062 (java) S 26052 26054 25522 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187796276 937426944 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915456
[startup+51.2912 s]
/proc/loadavg: 1.00 1.09 1.12 2/85 26062
/proc/meminfo: memFree=1736368/2055920 swapFree=4171244/4192956
[pid=26054] ppid=26052 vsize=915456 CPUtime=51.22
/proc/26054/stat : 26054 (java) R 26052 26054 25522 0 -1 0 8715 0 1 0 5115 7 0 0 20 0 8 0 187796267 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596202 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26054/statm: 228864 8443 2543 14 0 215334 0
[pid=26054/tid=26056] ppid=26052 vsize=915456 CPUtime=0.02
/proc/26054/task/26056/stat : 26056 (java) S 26052 26054 25522 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 187796271 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26054/tid=26057] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26057/stat : 26057 (java) S 26052 26054 25522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26058] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26058/stat : 26058 (java) S 26052 26054 25522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26059] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26059/stat : 26059 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 187796276 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26060] ppid=26052 vsize=915456 CPUtime=0.14
/proc/26054/task/26060/stat : 26060 (java) S 26052 26054 25522 0 -1 64 359 0 0 0 13 1 0 0 16 0 8 0 187796276 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26061] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26061/stat : 26061 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187796276 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26062] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26062/stat : 26062 (java) S 26052 26054 25522 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187796276 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 915456
[startup+102.57 s]
/proc/loadavg: 1.00 1.08 1.11 2/85 26062
/proc/meminfo: memFree=1736432/2055920 swapFree=4171244/4192956
[pid=26054] ppid=26052 vsize=915456 CPUtime=102.46
/proc/26054/stat : 26054 (java) R 26052 26054 25522 0 -1 0 8719 0 1 0 10239 7 0 0 25 0 8 0 187796267 937426944 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596185 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26054/statm: 228864 8445 2543 14 0 215334 0
[pid=26054/tid=26056] ppid=26052 vsize=915456 CPUtime=0.02
/proc/26054/task/26056/stat : 26056 (java) S 26052 26054 25522 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 187796271 937426944 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26054/tid=26057] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26057/stat : 26057 (java) S 26052 26054 25522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26058] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26058/stat : 26058 (java) S 26052 26054 25522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26059] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26059/stat : 26059 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 187796276 937426944 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26060] ppid=26052 vsize=915456 CPUtime=0.15
/proc/26054/task/26060/stat : 26060 (java) S 26052 26054 25522 0 -1 64 362 0 0 0 14 1 0 0 16 0 8 0 187796276 937426944 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26061] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26061/stat : 26061 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187796276 937426944 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26062] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26062/stat : 26062 (java) S 26052 26054 25522 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187796276 937426944 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915456
[startup+162.596 s]
/proc/loadavg: 1.00 1.06 1.10 2/85 26062
/proc/meminfo: memFree=1736368/2055920 swapFree=4171244/4192956
[pid=26054] ppid=26052 vsize=915456 CPUtime=162.44
/proc/26054/stat : 26054 (java) R 26052 26054 25522 0 -1 0 8725 0 1 0 16237 7 0 0 25 0 8 0 187796267 937426944 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073599188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26054/statm: 228864 8450 2543 14 0 215334 0
[pid=26054/tid=26056] ppid=26052 vsize=915456 CPUtime=0.02
/proc/26054/task/26056/stat : 26056 (java) S 26052 26054 25522 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 187796271 937426944 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26054/tid=26057] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26057/stat : 26057 (java) S 26052 26054 25522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26058] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26058/stat : 26058 (java) S 26052 26054 25522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26059] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26059/stat : 26059 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 187796276 937426944 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26060] ppid=26052 vsize=915456 CPUtime=0.15
/proc/26054/task/26060/stat : 26060 (java) S 26052 26054 25522 0 -1 64 362 0 0 0 14 1 0 0 15 0 8 0 187796276 937426944 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26061] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26061/stat : 26061 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187796276 937426944 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26062] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26062/stat : 26062 (java) S 26052 26054 25522 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187796276 937426944 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.44
Current children cumulated vsize (KiB) 915456
[startup+222.623 s]
/proc/loadavg: 1.00 1.05 1.09 2/85 26062
/proc/meminfo: memFree=1736368/2055920 swapFree=4171244/4192956
[pid=26054] ppid=26052 vsize=915456 CPUtime=222.43
/proc/26054/stat : 26054 (java) R 26052 26054 25522 0 -1 0 8730 0 1 0 22236 7 0 0 25 0 8 0 187796267 937426944 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596179 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26054/statm: 228864 8452 2543 14 0 215334 0
[pid=26054/tid=26056] ppid=26052 vsize=915456 CPUtime=0.02
/proc/26054/task/26056/stat : 26056 (java) S 26052 26054 25522 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 187796271 937426944 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26054/tid=26057] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26057/stat : 26057 (java) S 26052 26054 25522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26058] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26058/stat : 26058 (java) S 26052 26054 25522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26059] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26059/stat : 26059 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 187796276 937426944 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26060] ppid=26052 vsize=915456 CPUtime=0.15
/proc/26054/task/26060/stat : 26060 (java) S 26052 26054 25522 0 -1 64 365 0 0 0 14 1 0 0 16 0 8 0 187796276 937426944 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26061] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26061/stat : 26061 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187796276 937426944 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26062] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26062/stat : 26062 (java) S 26052 26054 25522 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187796276 937426944 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.43
Current children cumulated vsize (KiB) 915456
[startup+282.645 s]
/proc/loadavg: 1.00 1.04 1.08 2/85 26062
/proc/meminfo: memFree=1736304/2055920 swapFree=4171244/4192956
[pid=26054] ppid=26052 vsize=915456 CPUtime=282.4
/proc/26054/stat : 26054 (java) R 26052 26054 25522 0 -1 0 8741 0 1 0 28233 7 0 0 25 0 8 0 187796267 937426944 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596211 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26054/statm: 228864 8460 2543 14 0 215334 0
[pid=26054/tid=26056] ppid=26052 vsize=915456 CPUtime=0.02
/proc/26054/task/26056/stat : 26056 (java) S 26052 26054 25522 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 187796271 937426944 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26054/tid=26057] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26057/stat : 26057 (java) S 26052 26054 25522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26058] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26058/stat : 26058 (java) S 26052 26054 25522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26059] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26059/stat : 26059 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 187796276 937426944 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26060] ppid=26052 vsize=915456 CPUtime=0.16
/proc/26054/task/26060/stat : 26060 (java) S 26052 26054 25522 0 -1 64 371 0 0 0 15 1 0 0 16 0 8 0 187796276 937426944 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26061] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26061/stat : 26061 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187796276 937426944 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26062] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26062/stat : 26062 (java) S 26052 26054 25522 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187796276 937426944 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.4
Current children cumulated vsize (KiB) 915456
[startup+342.662 s]
/proc/loadavg: 1.00 1.03 1.08 2/85 26062
/proc/meminfo: memFree=1736304/2055920 swapFree=4171244/4192956
[pid=26054] ppid=26052 vsize=915456 CPUtime=342.38
/proc/26054/stat : 26054 (java) R 26052 26054 25522 0 -1 0 8752 0 1 0 34231 7 0 0 25 0 8 0 187796267 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26054/statm: 228864 8466 2543 14 0 215334 0
[pid=26054/tid=26056] ppid=26052 vsize=915456 CPUtime=0.02
/proc/26054/task/26056/stat : 26056 (java) S 26052 26054 25522 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 187796271 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26054/tid=26057] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26057/stat : 26057 (java) S 26052 26054 25522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26058] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26058/stat : 26058 (java) S 26052 26054 25522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26059] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26059/stat : 26059 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 187796276 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26060] ppid=26052 vsize=915456 CPUtime=0.16
/proc/26054/task/26060/stat : 26060 (java) S 26052 26054 25522 0 -1 64 374 0 0 0 15 1 0 0 15 0 8 0 187796276 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26061] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26061/stat : 26061 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187796276 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26062] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26062/stat : 26062 (java) S 26052 26054 25522 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187796276 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.38
Current children cumulated vsize (KiB) 915456
[startup+402.676 s]
/proc/loadavg: 1.00 1.02 1.07 2/85 26062
/proc/meminfo: memFree=1736240/2055920 swapFree=4171244/4192956
[pid=26054] ppid=26052 vsize=915456 CPUtime=402.36
/proc/26054/stat : 26054 (java) R 26052 26054 25522 0 -1 0 8752 0 1 0 40228 8 0 0 25 0 8 0 187796267 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073601996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26054/statm: 228864 8466 2543 14 0 215334 0
[pid=26054/tid=26056] ppid=26052 vsize=915456 CPUtime=0.02
/proc/26054/task/26056/stat : 26056 (java) S 26052 26054 25522 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 187796271 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26054/tid=26057] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26057/stat : 26057 (java) S 26052 26054 25522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26058] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26058/stat : 26058 (java) S 26052 26054 25522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187796272 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26059] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26059/stat : 26059 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 187796276 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26060] ppid=26052 vsize=915456 CPUtime=0.16
/proc/26054/task/26060/stat : 26060 (java) S 26052 26054 25522 0 -1 64 374 0 0 0 15 1 0 0 16 0 8 0 187796276 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26061] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26061/stat : 26061 (java) S 26052 26054 25522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 187796276 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26054/tid=26062] ppid=26052 vsize=915456 CPUtime=0
/proc/26054/task/26062/stat : 26062 (java) S 26052 26054 25522 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187796276 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.36
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 454.688
CPU time (s): 454.301
CPU user time (s): 454.199
CPU system time (s): 0.101984
CPU usage (%): 99.9148
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 454.199
system time used= 0.101984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8855
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= 10043
involuntary context switches= 18960
runsolver used 0.476927 s user time and 1.15182 s system time
The end
Begin job on node19 on Wed Jan 10 01:53:36 UTC 2007
IDJOB= 247790
IDBENCH= 11657
FILE ID= node19/247790-1168394016
PBS_JOBID= 3522813
Free space on /tmp= 66560 MiB
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-10/primes-10-20-2-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247790-1168394016/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-247790-1168394016 -o ROOT/results/node19/solver-247790-1168394016 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247790-1168394016/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4d5617f10dc26854bc8e3212aa6ab9e6
RANDOM SEED= 571121433
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.260
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.260
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: 1760768 kB
Buffers: 49000 kB
Cached: 159224 kB
SwapCached: 10396 kB
Active: 170076 kB
Inactive: 69140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1760768 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 1684 kB
Writeback: 0 kB
Mapped: 39896 kB
Slab: 41272 kB
Committed_AS: 5578792 kB
PageTables: 1996 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= 66560 MiB
End job on node19 on Wed Jan 10 02:01:11 UTC 2007