0.31
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/199829-1168136795/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.41 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
1.05
1.05 constraints being loaded...
1.32 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
1.32 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
1.32 => wckTime=1.004 cpuTime=0.88 mem=48M602
1.44
1.44 solver IterativeSystematicSolver being built...
1.61 => wckTime=1.293 cpuTime=1.03 mem=34M639
1.70
1.70 preprocessing
1.70 nbConstraintChecks=26507 nbValidityChecks=42923 nbPropagations=165 nbRevisions=1673 nbUselessRevisions=1476
1.70 nbSingletonTests=29 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.70 => wckTime=0.093 cpuTime=0.06 mem=34M639
1.77
1.77 search
1.77 run=0 nbConstraintChecks=32945 nbValidityChecks=68022 nbPropagations=466 nbRevisions=5309
1.77 nbUselessRevisions=4285 nbAssignments=32 nbFailedAssignments=17 nbBacktracks=11 nbVisitedNodes=55
1.77 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.164 cpuTime=0.12 mem=35M627
1.84
1.84 search
1.84 run=1 nbConstraintChecks=72359 nbValidityChecks=146698 nbPropagations=1334 nbRevisions=15557
1.84 nbUselessRevisions=12593 nbAssignments=66 nbFailedAssignments=31 nbBacktracks=26 nbVisitedNodes=113
1.84 nbRestartNogoods=2 mapSize=20 nbInferences=0 nbTooLargeKeys=0
1.84 => wckTime=0.23 cpuTime=0.18 mem=35M627
1.96
1.96 search
1.96 run=2 nbConstraintChecks=139006 nbValidityChecks=282535 nbPropagations=2832 nbRevisions=33576
1.96 nbUselessRevisions=27127 nbAssignments=116 nbFailedAssignments=55 nbBacktracks=48 nbVisitedNodes=204
1.96 nbRestartNogoods=5 mapSize=39 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=0.35 cpuTime=0.29 mem=35M627
2.10
2.10 search
2.10 run=3 nbConstraintChecks=235662 nbValidityChecks=477805 nbPropagations=5289 nbRevisions=64194
2.10 nbUselessRevisions=51919 nbAssignments=198 nbFailedAssignments=101 nbBacktracks=81 nbVisitedNodes=355
2.10 nbRestartNogoods=6 mapSize=69 nbInferences=0 nbTooLargeKeys=0
2.10 => wckTime=0.494 cpuTime=0.43 mem=35M627
2.30
2.30 search
2.30 run=4 nbConstraintChecks=364426 nbValidityChecks=740037 nbPropagations=9054 nbRevisions=110440
2.30 nbUselessRevisions=89078 nbAssignments=320 nbFailedAssignments=168 nbBacktracks=131 nbVisitedNodes=573
2.30 nbRestartNogoods=8 mapSize=111 nbInferences=0 nbTooLargeKeys=0
2.30 => wckTime=0.688 cpuTime=0.62 mem=35M627
2.57
2.57 search
2.57 run=5 nbConstraintChecks=548557 nbValidityChecks=1121869 nbPropagations=14733 nbRevisions=179240
2.57 nbUselessRevisions=143680 nbAssignments=503 nbFailedAssignments=269 nbBacktracks=208 nbVisitedNodes=905
2.57 nbRestartNogoods=14 mapSize=176 nbInferences=0 nbTooLargeKeys=0
2.57 => wckTime=0.961 cpuTime=0.89 mem=35M627
3.05
3.05 search
3.05 run=6 nbConstraintChecks=875934 nbValidityChecks=1780120 nbPropagations=23680 nbRevisions=292360
3.05 nbUselessRevisions=234034 nbAssignments=770 nbFailedAssignments=420 nbBacktracks=321 nbVisitedNodes=1406
3.05 nbRestartNogoods=22 mapSize=274 nbInferences=0 nbTooLargeKeys=0
3.05 => wckTime=1.437 cpuTime=1.35 mem=35M627
3.81
3.81 search
3.81 run=7 nbConstraintChecks=1395665 nbValidityChecks=2843067 nbPropagations=37435 nbRevisions=467461
3.81 nbUselessRevisions=374465 nbAssignments=1197 nbFailedAssignments=671 nbBacktracks=492 nbVisitedNodes=2197
3.81 nbRestartNogoods=27 mapSize=424 nbInferences=0 nbTooLargeKeys=0
3.81 => wckTime=2.197 cpuTime=2.11 mem=35M627
4.68
4.68 search
4.68 run=8 nbConstraintChecks=1989782 nbValidityChecks=4040514 nbPropagations=58167 nbRevisions=727431
4.68 nbUselessRevisions=583007 nbAssignments=1782 nbFailedAssignments=994 nbBacktracks=748 nbVisitedNodes=3267
4.68 nbRestartNogoods=34 mapSize=649 nbInferences=0 nbTooLargeKeys=0
4.68 => wckTime=3.069 cpuTime=2.95 mem=35M627
6.11
6.11 search
6.11 run=9 nbConstraintChecks=3001353 nbValidityChecks=6102528 nbPropagations=88998 nbRevisions=1110263
6.11 nbUselessRevisions=888082 nbAssignments=2706 nbFailedAssignments=1518 nbBacktracks=1132 nbVisitedNodes=4949
6.11 nbRestartNogoods=44 mapSize=981 nbInferences=0 nbTooLargeKeys=0
6.11 => wckTime=4.502 cpuTime=4.38 mem=35M627
6.41
6.41 INFO : Stopping hyperNogood (mapSize=1041, nbTooLargekeys=0, mem=35M627)
8.82
8.82 search
8.82 run=10 nbConstraintChecks=4954330 nbValidityChecks=9911072 nbPropagations=135697 nbRevisions=1710204
8.82 nbUselessRevisions=1367952 nbAssignments=4036 nbFailedAssignments=2267 nbBacktracks=1708 nbVisitedNodes=7443
8.82 nbRestartNogoods=54
8.82 => wckTime=7.207 cpuTime=7.06 mem=35M627
11.66
11.66 search
11.66 run=11 nbConstraintChecks=6915146 nbValidityChecks=14067424 nbPropagations=203505 nbRevisions=2570418
11.66 nbUselessRevisions=2055832 nbAssignments=5768 nbFailedAssignments=3131 nbBacktracks=2572 nbVisitedNodes=10559
11.66 nbRestartNogoods=61
11.66 => wckTime=10.048 cpuTime=9.88 mem=35M627
15.78
15.78 search
15.78 run=12 nbConstraintChecks=10030824 nbValidityChecks=20373962 nbPropagations=305683 nbRevisions=3853694
15.78 nbUselessRevisions=3081337 nbAssignments=8607 nbFailedAssignments=4669 nbBacktracks=3870 nbVisitedNodes=15748
15.78 nbRestartNogoods=70
15.78 => wckTime=14.168 cpuTime=14.0 mem=35M627
22.14
22.14 search
22.14 run=13 nbConstraintChecks=14892232 nbValidityChecks=30388744 nbPropagations=456848 nbRevisions=5728327
22.14 nbUselessRevisions=4572377 nbAssignments=13168 nbFailedAssignments=7278 nbBacktracks=5816 nbVisitedNodes=24110
22.14 nbRestartNogoods=78
22.14 => wckTime=20.531 cpuTime=20.36 mem=35M627
32.84
32.84 search
32.84 run=14 nbConstraintChecks=23116134 nbValidityChecks=47353491 nbPropagations=689045 nbRevisions=8645100
32.84 nbUselessRevisions=6907158 nbAssignments=20544 nbFailedAssignments=11709 nbBacktracks=8735 nbVisitedNodes=37829
32.84 nbRestartNogoods=95
32.84 => wckTime=31.233 cpuTime=31.04 mem=35M627
48.66
48.66 search
48.66 run=15 nbConstraintChecks=35062564 nbValidityChecks=71421573 nbPropagations=1035158 nbRevisions=13032309
48.66 nbUselessRevisions=10426541 nbAssignments=30185 nbFailedAssignments=16967 nbBacktracks=13114
48.66 nbVisitedNodes=55502 nbRestartNogoods=105
48.66 => wckTime=47.046 cpuTime=46.84 mem=35M627
70.41
70.41 search
70.41 run=16 nbConstraintChecks=51924419 nbValidityChecks=105527832 nbPropagations=1563461 nbRevisions=19732838
70.41 nbUselessRevisions=15810779 nbAssignments=45229 nbFailedAssignments=25439 nbBacktracks=19682
70.41 nbVisitedNodes=83431 nbRestartNogoods=126
70.41 => wckTime=68.797 cpuTime=68.59 mem=35M627
103.45
103.45 search
103.45 run=17 nbConstraintChecks=76993254 nbValidityChecks=158237374 nbPropagations=2351921 nbRevisions=29587302
103.45 nbUselessRevisions=23670466 nbAssignments=68916 nbFailedAssignments=39269 nbBacktracks=29534
103.45 nbVisitedNodes=127149 nbRestartNogoods=136
103.45 => wckTime=101.836 cpuTime=101.58 mem=35M627
154.13
154.13 search
154.13 run=18 nbConstraintChecks=114581457 nbValidityChecks=237819324 nbPropagations=3536960 nbRevisions=44398263
154.13 nbUselessRevisions=35517501 nbAssignments=102774 nbFailedAssignments=58344 nbBacktracks=44312
154.13 nbVisitedNodes=189461 nbRestartNogoods=152
154.13 => wckTime=152.516 cpuTime=152.21 mem=35M627
232.77
232.77 search
232.77 run=19 nbConstraintChecks=175522938 nbValidityChecks=357582228 nbPropagations=5272151 nbRevisions=66525078
232.77 nbUselessRevisions=53274587 nbAssignments=150692 nbFailedAssignments=84084 nbBacktracks=66481
232.77 nbVisitedNodes=277022 nbRestartNogoods=178
232.77 => wckTime=231.165 cpuTime=230.78 mem=35M627
351.04
351.04 search
351.04 run=20 nbConstraintChecks=267079694 nbValidityChecks=543014976 nbPropagations=7913100 nbRevisions=100689082
351.04 nbUselessRevisions=80796153 nbAssignments=228986 nbFailedAssignments=129119 nbBacktracks=99735
351.04 nbVisitedNodes=422606 nbRestartNogoods=207
351.04 => wckTime=349.428 cpuTime=348.93 mem=35M627
492.75
492.75 search
492.75 run=21 nbConstraintChecks=375795717 nbValidityChecks=761074407 nbPropagations=11579974 nbRevisions=148244288
492.75 nbUselessRevisions=119118376 nbAssignments=318986 nbFailedAssignments=179291 nbBacktracks=139539
492.75 nbVisitedNodes=588210 nbRestartNogoods=219
492.75 => wckTime=491.141 cpuTime=490.51 mem=35M627
492.75
492.75 global
492.75 nbConstraintChecks=375822224 nbValidityChecks=761117330 nbPropagations=11580139 nbRevisions=148245961
492.75 nbUselessRevisions=119119852 nbRestartNogoods=219 solvingWckTime=491.142 solvingCpuTime=490.51 expiredTime=no
492.75 totalExploration=no nbFoundSolutions=1 globalCpuTime=491.58
492.75 => wckTime=492.438 cpuTime=491.54 mem=35M627
492.76
492.76 s SATISFIABLE
492.76 v 11 15 2 10 12 8 18 8 14 14 14 9 8 4 15 0 16 10 5 1 7 5 18 10
492.76 d NODES 318986
492.76 d CHECKS 375822224
492.76
492.76 totalWckTime=492.52 totalCpuTime=491.58
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-199829-1168136795 -o ROOT/results/node39/solver-199829-1168136795 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199829-1168136795/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 4/73 6827
/proc/meminfo: memFree=1619936/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=1784 CPUtime=0
/proc/6826/stat : 6826 (java) D 6824 6826 6276 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 162079148 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/6826/statm: 446 140 106 14 0 91 0
[startup+0.106685 s]
/proc/loadavg: 2.00 2.00 1.92 4/73 6827
/proc/meminfo: memFree=1619936/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=914988 CPUtime=0.08
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 2995 0 1 0 6 2 0 0 17 0 8 0 162079148 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072932359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6826/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51472 s]
/proc/loadavg: 2.00 2.00 1.92 4/73 6827
/proc/meminfo: memFree=1619936/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915328 CPUtime=0.49
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 7647 0 1 0 43 6 0 0 18 0 8 0 162079148 937295872 7386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153473364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6826/statm: 228832 7386 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3418 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 6834
/proc/meminfo: memFree=1552808/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=1.31
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 19133 0 1 0 120 11 0 0 25 0 8 0 162079148 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6826/statm: 228854 18870 2168 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.06
/proc/6826/task/6828/stat : 6828 (java) R 6824 6826 6276 0 -1 64 2646 0 0 0 6 0 0 0 16 0 8 0 162079152 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134174 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.1
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 162079156 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915416
[startup+2.98895 s]
/proc/loadavg: 2.08 2.02 1.93 3/80 6834
/proc/meminfo: memFree=1536744/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=2.95
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23479 0 1 0 281 14 0 0 25 0 8 0 162079148 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761320 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6826/statm: 228854 23215 2531 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 17 0 8 0 162079152 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.21
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 373 0 0 0 20 1 0 0 15 0 8 0 162079156 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915416
[startup+6.26825 s]
/proc/loadavg: 2.08 2.02 1.93 3/80 6834
/proc/meminfo: memFree=1536560/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=6.21
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23496 0 1 0 607 14 0 0 25 0 8 0 162079148 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6826/statm: 228854 23229 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 17 0 8 0 162079152 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.24
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 386 0 0 0 23 1 0 0 15 0 8 0 162079156 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915416
[startup+12.7618 s]
/proc/loadavg: 1.99 2.00 1.92 2/75 6846
/proc/meminfo: memFree=1543632/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=12.68
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23500 0 1 0 1254 14 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915416
[startup+25.621 s]
/proc/loadavg: 1.99 2.00 1.92 3/88 6905
/proc/meminfo: memFree=1504808/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=25.53
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23500 0 1 0 2539 14 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915416
[startup+51.2354 s]
/proc/loadavg: 2.05 2.01 1.93 3/88 6905
/proc/meminfo: memFree=1504936/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=51.11
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23501 0 1 0 5096 15 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768380 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 915416
[startup+102.459 s]
/proc/loadavg: 2.02 2.01 1.93 3/88 6905
/proc/meminfo: memFree=1505000/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=102.29
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23501 0 1 0 10214 15 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627981 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 915416
[startup+162.546 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 6905
/proc/meminfo: memFree=1505000/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=162.32
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23501 0 1 0 16217 15 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 915416
[startup+222.558 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 6905
/proc/meminfo: memFree=1505000/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=222.25
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23501 0 1 0 22210 15 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786297 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 915416
[startup+282.57 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 6905
/proc/meminfo: memFree=1505000/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=282.23
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23501 0 1 0 28207 16 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 915416
[startup+342.578 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 6905
/proc/meminfo: memFree=1504936/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=342.18
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23501 0 1 0 34202 16 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832088 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 915416
[startup+402.588 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 6905
/proc/meminfo: memFree=1505000/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=402.11
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23501 0 1 0 40195 16 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 915416
[startup+462.675 s]
/proc/loadavg: 2.16 2.04 1.94 3/88 6905
/proc/meminfo: memFree=1504936/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=462.15
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23501 0 1 0 46199 16 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768371 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 915416
Child status: 0
Real time (s): 492.797
CPU time (s): 492.231
CPU user time (s): 492.049
CPU system time (s): 0.181972
CPU usage (%): 99.8853
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 492.049
system time used= 0.181972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23510
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= 11097
involuntary context switches= 3644
runsolver used 0.58791 s user time and 1.60776 s system time
The end
Begin job on node39 on Sun Jan 7 02:26:35 UTC 2007
IDJOB= 199829
IDBENCH= 3642
FILE ID= node39/199829-1168136795
PBS_JOBID= 3478025
Free space on /tmp= 66525 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199829-1168136795/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-199829-1168136795 -o ROOT/results/node39/solver-199829-1168136795 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199829-1168136795/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6c246e478e2e2eba7091099f69119992
RANDOM SEED= 697238494
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.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: 1620416 kB
Buffers: 25628 kB
Cached: 341544 kB
SwapCached: 1388 kB
Active: 121156 kB
Inactive: 265332 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1620416 kB
SwapTotal: 4192956 kB
SwapFree: 4187312 kB
Dirty: 4520 kB
Writeback: 0 kB
Mapped: 30004 kB
Slab: 34596 kB
Committed_AS: 3287448 kB
PageTables: 1740 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= 66526 MiB
End job on node39 on Sun Jan 7 02:34:48 UTC 2007