0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=epfc.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/277138-1169257584/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.44 => wckTime=0.094 cpuTime=0.07 mem=6M887
0.44
0.44 relations being loaded...
0.51
0.51 constraints being loaded...
0.61 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1448 maxDegree=18
0.61 maxArity=2
0.61 => wckTime=0.269 cpuTime=0.19 mem=11M763
0.65
0.65 solver LocalSearchSolver being built...
0.69 => wckTime=0.351 cpuTime=0.23 mem=5M870
0.70
0.70 s SATISFIABLE
0.70 o 176
0.70 c 74
0.70 o 181
0.70 c 69
0.70 o 184
0.70 c 66
0.70 o 187
0.70 c 63
0.70 o 192
0.70 c 58
0.70 o 196
0.70 c 54
0.70 o 197
0.70 c 53
0.71 o 200
0.71 c 50
0.71 o 202
0.71 c 48
0.71 o 203
0.71 c 47
0.71 o 204
0.71 c 46
0.71 o 208
0.71 c 42
0.71 o 212
0.71 c 38
0.71 o 214
0.71 c 36
0.71 o 216
0.71 c 34
0.71 o 220
0.71 c 30
0.71 o 222
0.71 c 28
0.71 o 225
0.71 c 25
0.72 o 226
0.72 c 24
0.72 o 227
0.72 c 23
0.72 o 229
0.72 c 21
0.72 o 231
0.72 c 19
0.72 o 232
0.72 c 18
0.73 o 233
0.73 c 17
0.73 o 234
0.73 c 16
0.73 o 235
0.73 c 15
0.73 o 237
0.73 c 13
0.73 o 238
0.73 c 12
0.73 o 240
0.73 c 10
0.73 o 241
0.73 c 9
0.73 o 242
0.73 c 8
0.73 o 243
0.73 c 7
0.74 o 244
0.74 c 6
0.77 o 245
0.77 c 5
0.77 o 246
0.77 c 4
0.77 o 247
0.77 c 3
0.77 o 248
0.77 c 2
1.68 o 249
1.68 c 1
1.68
1.68 search
1.68 run=0 nbConstraintChecks=6324291 nbAssignments=4563
1.68 => wckTime=0.985 cpuTime=0.96 mem=5M870
1.68
1.68 global
1.68 nbConstraintChecks=6324291 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.68 solvingWckTime=0.983 solvingCpuTime=0.96 expiredTime=no totalExploration=no nbFoundSolutions=0
1.68 globalCpuTime=1.25
1.68 => wckTime=1.337 cpuTime=1.19 mem=5M870
1.68
1.68 solver IterativeSystematicSolver being built...
1.80 => wckTime=1.46 cpuTime=1.29 mem=16M843
1.88
1.88 preprocessing
1.88 nbConstraintChecks=102286 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.88 detectedInconsistency=no
1.88 => wckTime=0.076 cpuTime=0.05 mem=16M843
1.92
1.92 search
1.92 run=0 nbConstraintChecks=126945 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33
1.92 nbFailedAssignments=19 nbBacktracks=10 nbVisitedNodes=63 nbRestartNogoods=0
1.92 => wckTime=0.118 cpuTime=0.1 mem=16M843
1.98
1.98 search
1.98 run=1 nbConstraintChecks=309573 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87
1.98 nbFailedAssignments=52 nbBacktracks=25 nbVisitedNodes=165 nbRestartNogoods=10
1.98 => wckTime=0.179 cpuTime=0.15 mem=16M843
2.06
2.06 search
2.06 run=2 nbConstraintChecks=607444 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=163
2.06 nbFailedAssignments=100 nbBacktracks=47 nbVisitedNodes=307 nbRestartNogoods=23
2.06 => wckTime=0.26 cpuTime=0.23 mem=16M843
2.17
2.17 search
2.17 run=3 nbConstraintChecks=1071697 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=266
2.17 nbFailedAssignments=167 nbBacktracks=80 nbVisitedNodes=508 nbRestartNogoods=31
2.17 => wckTime=0.37 cpuTime=0.34 mem=16M843
2.31
2.31 search
2.31 run=4 nbConstraintChecks=1619673 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=398
2.31 nbFailedAssignments=245 nbBacktracks=130 nbVisitedNodes=764 nbRestartNogoods=34
2.31 => wckTime=0.502 cpuTime=0.47 mem=16M843
2.49
2.49 search
2.49 run=5 nbConstraintChecks=2466284 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=613
2.49 nbFailedAssignments=379 nbBacktracks=205 nbVisitedNodes=1188 nbRestartNogoods=44
2.49 => wckTime=0.69 cpuTime=0.65 mem=16M843
2.79
2.79 search
2.79 run=6 nbConstraintChecks=3809703 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=929
2.79 nbFailedAssignments=578 nbBacktracks=318 nbVisitedNodes=1811 nbRestartNogoods=61
2.79 => wckTime=0.989 cpuTime=0.95 mem=16M843
3.20
3.20 search
3.20 run=7 nbConstraintChecks=5681229 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1409
3.20 nbFailedAssignments=882 nbBacktracks=488 nbVisitedNodes=2754 nbRestartNogoods=68
3.20 => wckTime=1.394 cpuTime=1.35 mem=16M843
3.87
3.87 search
3.87 run=8 nbConstraintChecks=8475768 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2122
3.87 nbFailedAssignments=1332 nbBacktracks=745 nbVisitedNodes=4135 nbRestartNogoods=82
3.87 => wckTime=2.064 cpuTime=2.01 mem=16M843
4.86
4.86 search
4.86 run=9 nbConstraintChecks=12846870 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3153
4.86 nbFailedAssignments=1973 nbBacktracks=1129 nbVisitedNodes=6142 nbRestartNogoods=100
4.86 => wckTime=3.057 cpuTime=3.0 mem=16M843
6.34
6.34 search
6.34 run=10 nbConstraintChecks=19358214 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4723
6.34 nbFailedAssignments=2961 nbBacktracks=1705 nbVisitedNodes=9169 nbRestartNogoods=126
6.34 => wckTime=4.54 cpuTime=4.48 mem=16M843
8.43
8.43 search
8.43 run=11 nbConstraintChecks=28208168 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6862
8.43 nbFailedAssignments=4231 nbBacktracks=2570 nbVisitedNodes=13199 nbRestartNogoods=142
8.43 => wckTime=6.63 cpuTime=6.56 mem=16M843
11.27
11.27 search
11.27 run=12 nbConstraintChecks=39978374 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9904
11.27 nbFailedAssignments=5971 nbBacktracks=3867 nbVisitedNodes=18778 nbRestartNogoods=165
11.27 => wckTime=9.472 cpuTime=9.38 mem=16M843
15.39
15.39 search
15.39 run=13 nbConstraintChecks=57557833 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14142
15.39 nbFailedAssignments=8259 nbBacktracks=5813 nbVisitedNodes=26326 nbRestartNogoods=187
15.39 => wckTime=13.589 cpuTime=13.5 mem=16M843
20.88
20.88 search
20.88 run=14 nbConstraintChecks=79529783 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19748
20.88 nbFailedAssignments=10939 nbBacktracks=8733 nbVisitedNodes=35734 nbRestartNogoods=201
20.88 => wckTime=19.074 cpuTime=18.98 mem=16M843
29.26
29.26 search
29.26 run=15 nbConstraintChecks=113089313 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28180
29.26 nbFailedAssignments=14989 nbBacktracks=13112 nbVisitedNodes=49601 nbRestartNogoods=205
29.26 => wckTime=27.458 cpuTime=27.36 mem=16M843
40.21
40.21 search
40.21 run=16 nbConstraintChecks=157427304 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=40041
40.21 nbFailedAssignments=20278 nbBacktracks=19680 nbVisitedNodes=68459 nbRestartNogoods=223
40.21 => wckTime=38.403 cpuTime=38.29 mem=16M843
56.29
56.29 search
56.29 run=17 nbConstraintChecks=223479655 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57766
56.29 nbFailedAssignments=28146 nbBacktracks=29533 nbVisitedNodes=96541 nbRestartNogoods=250
56.29 => wckTime=54.49 cpuTime=54.35 mem=16M843
79.93
79.93 search
79.93 run=18 nbConstraintChecks=320270083 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=84013
79.93 nbFailedAssignments=39610 nbBacktracks=44312 nbVisitedNodes=137755 nbRestartNogoods=257
79.93 => wckTime=78.128 cpuTime=77.97 mem=16M843
116.90
116.90 search
116.90 run=19 nbConstraintChecks=471551880 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=123645
116.90 nbFailedAssignments=57070 nbBacktracks=66480 nbVisitedNodes=200231 nbRestartNogoods=271
116.90 => wckTime=115.093 cpuTime=114.9 mem=16M843
170.58
170.58 search
170.58 run=20 nbConstraintChecks=690583316 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=182445
170.58 nbFailedAssignments=82613 nbBacktracks=99733 nbVisitedNodes=292197 nbRestartNogoods=287
170.58 => wckTime=168.782 cpuTime=168.53 mem=16M843
245.59
245.59 search
245.59 run=21 nbConstraintChecks=997303523 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=268280
245.59 nbFailedAssignments=118567 nbBacktracks=149612 nbVisitedNodes=424797 nbRestartNogoods=313
245.59 => wckTime=243.786 cpuTime=243.46 mem=16M843
366.25
366.25 search
366.25 run=22 nbConstraintChecks=1489919413 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=399294
366.25 nbFailedAssignments=174757 nbBacktracks=224431 nbVisitedNodes=628709 nbRestartNogoods=349
366.25 => wckTime=364.45 cpuTime=364.0 mem=16M843
551.53
551.53 search
551.53 run=23 nbConstraintChecks=2236296726 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=596116
551.53 nbFailedAssignments=259347 nbBacktracks=336658 nbVisitedNodes=935785 nbRestartNogoods=355
551.53 => wckTime=549.725 cpuTime=549.07 mem=16M843
832.01
832.01 search
832.01 run=24 nbConstraintChecks=3364271000 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=890895
832.01 nbFailedAssignments=385780 nbBacktracks=505000 nbVisitedNodes=1395589 nbRestartNogoods=370
832.01 => wckTime=830.206 cpuTime=829.27 mem=16M843
889.66
889.66 search
889.66 run=25 nbConstraintChecks=3590662002 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=947498
889.66 nbFailedAssignments=409963 nbBacktracks=537421 nbVisitedNodes=1483744 nbRestartNogoods=401
889.66 => wckTime=887.856 cpuTime=886.84 mem=16M843
889.66
889.66 global
889.66 nbConstraintChecks=3590764288 nbRestartNogoods=401 solvingWckTime=887.857 solvingCpuTime=886.84 expiredTime=no
889.66 totalExploration=yes nbFoundSolutions=0 globalCpuTime=888.19
889.66 => wckTime=889.317 cpuTime=888.13 mem=16M843
889.66
889.66 s OPTIMUM FOUND
889.66 v 3 12 3 8 6 9 0 2 7 8 3 3 6 0 7 15 2 11 5 10 11 2 12 15 0 9 9 8 10 0 9 4 11 4 0 0 7 13 3 5
889.66
889.66 totalWckTime=889.393 totalCpuTime=888.19
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-277138-1169257584 -o ROOT/results/node1/solver-277138-1169257584 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277138-1169257584/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.26 1.08 1.29 4/86 8890
/proc/meminfo: memFree=1307904/2055920 swapFree=4165612/4192956
[pid=8889] ppid=8887 vsize=172 CPUtime=0
/proc/8889/stat : 8889 (java) R 8887 8889 8576 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 274154161 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5828907 0 0 4096 0 0 0 0 17 0 0 0
/proc/8889/statm: 43 24 18 14 0 3 0
[startup+0.107674 s]
/proc/loadavg: 1.26 1.08 1.29 4/86 8890
/proc/meminfo: memFree=1307904/2055920 swapFree=4165612/4192956
[pid=8889] ppid=8887 vsize=907676 CPUtime=0.04
/proc/8889/stat : 8889 (java) R 8887 8889 8576 0 -1 0 2373 0 1 0 3 1 0 0 20 0 4 0 274154161 929460224 2120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155581175 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/8889/statm: 226919 2120 1184 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676
[startup+0.515724 s]
/proc/loadavg: 1.26 1.08 1.29 4/86 8890
/proc/meminfo: memFree=1307904/2055920 swapFree=4165612/4192956
[pid=8889] ppid=8887 vsize=915332 CPUtime=0.44
/proc/8889/stat : 8889 (java) R 8887 8889 8576 0 -1 0 6652 0 1 0 41 3 0 0 25 0 8 0 274154161 937299968 6391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567198 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8889/statm: 228833 6392 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915332
[startup+1.33682 s]
/proc/loadavg: 1.26 1.08 1.29 3/93 8897
/proc/meminfo: memFree=1287240/2055920 swapFree=4165612/4192956
[pid=8889] ppid=8887 vsize=915464 CPUtime=1.26
/proc/8889/stat : 8889 (java) R 8887 8889 8576 0 -1 0 7896 0 1 0 111 15 0 0 25 0 8 0 274154161 937435136 7634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8889/statm: 228866 7634 2479 14 0 215336 0
[pid=8889/tid=8891] ppid=8887 vsize=915464 CPUtime=0.02
/proc/8889/task/8891/stat : 8891 (java) S 8887 8889 8576 0 -1 64 245 0 0 0 2 0 0 0 16 0 8 0 274154170 937435136 7634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8892] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8892/stat : 8892 (java) S 8887 8889 8576 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274154171 937435136 7634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8893] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8893/stat : 8893 (java) S 8887 8889 8576 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274154171 937435136 7634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8894] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8894/stat : 8894 (java) S 8887 8889 8576 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274154174 937435136 7634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8895] ppid=8887 vsize=915464 CPUtime=0.13
/proc/8889/task/8895/stat : 8895 (java) S 8887 8889 8576 0 -1 64 347 0 0 0 13 0 0 0 16 0 8 0 274154174 937435136 7634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8896] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8896/stat : 8896 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274154174 937435136 7634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8897] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8897/stat : 8897 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274154174 937435136 7634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915464
[startup+2.98901 s]
/proc/loadavg: 1.26 1.08 1.29 3/93 8897
/proc/meminfo: memFree=1282568/2055920 swapFree=4165612/4192956
[pid=8889] ppid=8887 vsize=915464 CPUtime=2.91
/proc/8889/stat : 8889 (java) R 8887 8889 8576 0 -1 0 9129 0 1 0 268 23 0 0 25 0 8 0 274154161 937435136 8864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8889/statm: 228866 8864 2532 14 0 215336 0
[pid=8889/tid=8891] ppid=8887 vsize=915464 CPUtime=0.02
/proc/8889/task/8891/stat : 8891 (java) S 8887 8889 8576 0 -1 64 246 0 0 0 2 0 0 0 17 0 8 0 274154170 937435136 8864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8892] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8892/stat : 8892 (java) S 8887 8889 8576 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274154171 937435136 8864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8893] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8893/stat : 8893 (java) S 8887 8889 8576 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274154171 937435136 8864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8894] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8894/stat : 8894 (java) S 8887 8889 8576 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274154174 937435136 8864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8895] ppid=8887 vsize=915464 CPUtime=0.2
/proc/8889/task/8895/stat : 8895 (java) S 8887 8889 8576 0 -1 64 390 0 0 0 19 1 0 0 15 0 8 0 274154174 937435136 8864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8896] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8896/stat : 8896 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274154174 937435136 8864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8897] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8897/stat : 8897 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274154174 937435136 8864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915464
[startup+6.2844 s]
/proc/loadavg: 1.32 1.10 1.29 3/93 8897
/proc/meminfo: memFree=1282456/2055920 swapFree=4165612/4192956
[pid=8889] ppid=8887 vsize=915464 CPUtime=6.2
/proc/8889/stat : 8889 (java) R 8887 8889 8576 0 -1 0 9149 0 1 0 597 23 0 0 25 0 8 0 274154161 937435136 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836523 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8889/statm: 228866 8882 2532 14 0 215336 0
[pid=8889/tid=8891] ppid=8887 vsize=915464 CPUtime=0.02
/proc/8889/task/8891/stat : 8891 (java) S 8887 8889 8576 0 -1 64 246 0 0 0 2 0 0 0 16 0 8 0 274154170 937435136 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8892] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8892/stat : 8892 (java) S 8887 8889 8576 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274154171 937435136 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8893] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8893/stat : 8893 (java) S 8887 8889 8576 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274154171 937435136 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8894] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8894/stat : 8894 (java) S 8887 8889 8576 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274154174 937435136 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8895] ppid=8887 vsize=915464 CPUtime=0.22
/proc/8889/task/8895/stat : 8895 (java) S 8887 8889 8576 0 -1 64 403 0 0 0 21 1 0 0 15 0 8 0 274154174 937435136 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8896] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8896/stat : 8896 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274154174 937435136 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8897] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8897/stat : 8897 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274154174 937435136 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915464
[startup+12.7672 s]
/proc/loadavg: 1.37 1.11 1.30 3/93 8897
/proc/meminfo: memFree=1282456/2055920 swapFree=4165612/4192956
[pid=8889] ppid=8887 vsize=915464 CPUtime=12.66
/proc/8889/stat : 8889 (java) R 8887 8889 8576 0 -1 0 9159 0 1 0 1243 23 0 0 25 0 8 0 274154161 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073894864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8889/statm: 228866 8891 2532 14 0 215336 0
[pid=8889/tid=8891] ppid=8887 vsize=915464 CPUtime=0.02
/proc/8889/task/8891/stat : 8891 (java) S 8887 8889 8576 0 -1 64 246 0 0 0 2 0 0 0 17 0 8 0 274154170 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8892] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8892/stat : 8892 (java) S 8887 8889 8576 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274154171 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8893] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8893/stat : 8893 (java) S 8887 8889 8576 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274154171 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8894] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8894/stat : 8894 (java) S 8887 8889 8576 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274154174 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8895] ppid=8887 vsize=915464 CPUtime=0.22
/proc/8889/task/8895/stat : 8895 (java) S 8887 8889 8576 0 -1 64 406 0 0 0 21 1 0 0 16 0 8 0 274154174 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8896] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8896/stat : 8896 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274154174 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8897] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8897/stat : 8897 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274154174 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915464
[startup+25.6167 s]
/proc/loadavg: 1.51 1.15 1.31 3/93 8897
/proc/meminfo: memFree=1282456/2055920 swapFree=4165612/4192956
[pid=8889] ppid=8887 vsize=915464 CPUtime=25.51
/proc/8889/stat : 8889 (java) R 8887 8889 8576 0 -1 0 9164 0 1 0 2527 24 0 0 25 0 8 0 274154161 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073738246 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8889/statm: 228866 8896 2532 14 0 215336 0
[pid=8889/tid=8891] ppid=8887 vsize=915464 CPUtime=0.02
/proc/8889/task/8891/stat : 8891 (java) S 8887 8889 8576 0 -1 64 246 0 0 0 2 0 0 0 16 0 8 0 274154170 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8892] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8892/stat : 8892 (java) S 8887 8889 8576 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274154171 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8893] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8893/stat : 8893 (java) S 8887 8889 8576 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274154171 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8894] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8894/stat : 8894 (java) S 8887 8889 8576 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274154174 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8895] ppid=8887 vsize=915464 CPUtime=0.22
/proc/8889/task/8895/stat : 8895 (java) S 8887 8889 8576 0 -1 64 406 0 0 0 21 1 0 0 16 0 8 0 274154174 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8896] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8896/stat : 8896 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274154174 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8897] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8897/stat : 8897 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274154174 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915464
[startup+51.2247 s]
/proc/loadavg: 1.68 1.22 1.33 3/93 8897
/proc/meminfo: memFree=1282456/2055920 swapFree=4165612/4192956
[pid=8889] ppid=8887 vsize=915464 CPUtime=51.1
/proc/8889/stat : 8889 (java) R 8887 8889 8576 0 -1 0 9170 0 1 0 5086 24 0 0 25 0 8 0 274154161 937435136 8901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842903 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8889/statm: 228866 8901 2532 14 0 215336 0
[pid=8889/tid=8891] ppid=8887 vsize=915464 CPUtime=0.02
/proc/8889/task/8891/stat : 8891 (java) S 8887 8889 8576 0 -1 64 246 0 0 0 2 0 0 0 16 0 8 0 274154170 937435136 8901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8892] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8892/stat : 8892 (java) S 8887 8889 8576 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274154171 937435136 8901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8893] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8893/stat : 8893 (java) S 8887 8889 8576 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274154171 937435136 8901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8894] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8894/stat : 8894 (java) S 8887 8889 8576 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274154174 937435136 8901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8895] ppid=8887 vsize=915464 CPUtime=0.23
/proc/8889/task/8895/stat : 8895 (java) S 8887 8889 8576 0 -1 64 406 0 0 0 22 1 0 0 16 0 8 0 274154174 937435136 8901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8896] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8896/stat : 8896 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274154174 937435136 8901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8897] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8897/stat : 8897 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274154174 937435136 8901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 915464
[startup+102.441 s]
/proc/loadavg: 1.86 1.34 1.36 3/93 8897
/proc/meminfo: memFree=1282520/2055920 swapFree=4165612/4192956
[pid=8889] ppid=8887 vsize=915464 CPUtime=102.25
/proc/8889/stat : 8889 (java) R 8887 8889 8576 0 -1 0 9175 0 1 0 10201 24 0 0 25 0 8 0 274154161 937435136 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861624 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8889/statm: 228866 8905 2532 14 0 215336 0
[pid=8889/tid=8891] ppid=8887 vsize=915464 CPUtime=0.02
/proc/8889/task/8891/stat : 8891 (java) S 8887 8889 8576 0 -1 64 246 0 0 0 2 0 0 0 16 0 8 0 274154170 937435136 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8892] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8892/stat : 8892 (java) S 8887 8889 8576 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274154171 937435136 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8893] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8893/stat : 8893 (java) S 8887 8889 8576 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274154171 937435136 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8894] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8894/stat : 8894 (java) S 8887 8889 8576 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274154174 937435136 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8895] ppid=8887 vsize=915464 CPUtime=0.23
/proc/8889/task/8895/stat : 8895 (java) S 8887 8889 8576 0 -1 64 406 0 0 0 22 1 0 0 16 0 8 0 274154174 937435136 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8896] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8896/stat : 8896 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274154174 937435136 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8897] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8897/stat : 8897 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274154174 937435136 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 915464
[startup+162.5 s]
/proc/loadavg: 2.00 1.47 1.40 3/93 8897
/proc/meminfo: memFree=1282456/2055920 swapFree=4165612/4192956
[pid=8889] ppid=8887 vsize=915464 CPUtime=162.25
/proc/8889/stat : 8889 (java) R 8887 8889 8576 0 -1 0 9178 0 1 0 16201 24 0 0 25 0 8 0 274154161 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/8889/task/8894/stat : 8894 (java) S 8887 8889 8576 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274154174 937435136 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8895] ppid=8887 vsize=915464 CPUtime=0.23
/proc/8889/task/8895/stat : 8895 (java) S 8887 8889 8576 0 -1 64 408 0 0 0 22 1 0 0 16 0 8 0 274154174 937435136 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8896] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8896/stat : 8896 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274154174 937435136 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8897] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8897/stat : 8897 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274154174 937435136 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 915464
[startup+522.823 s]
/proc/loadavg: 2.01 1.84 1.58 3/93 8897
/proc/meminfo: memFree=1282456/2055920 swapFree=4165612/4192956
[pid=8889] ppid=8887 vsize=915464 CPUtime=522.2
/proc/8889/stat : 8889 (java) R 8887 8889 8576 0 -1 0 9188 0 1 0 52195 25 0 0 25 0 8 0 274154161 937435136 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842665 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8889/statm: 228866 8917 2532 14 0 215336 0
[pid=8889/tid=8891] ppid=8887 vsize=915464 CPUtime=0.02
/proc/8889/task/8891/stat : 8891 (java) S 8887 8889 8576 0 -1 64 246 0 0 0 2 0 0 0 16 0 8 0 274154170 937435136 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8892] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8892/stat : 8892 (java) S 8887 8889 8576 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274154171 937435136 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8893] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8893/stat : 8893 (java) S 8887 8889 8576 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274154171 937435136 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8894] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8894/stat : 8894 (java) S 8887 8889 8576 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274154174 937435136 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8895] ppid=8887 vsize=915464 CPUtime=0.23
/proc/8889/task/8895/stat : 8895 (java) S 8887 8889 8576 0 -1 64 408 0 0 0 22 1 0 0 16 0 8 0 274154174 937435136 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8896] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8896/stat : 8896 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274154174 937435136 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8897] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8897/stat : 8897 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274154174 937435136 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 915464
[startup+582.879 s]
/proc/loadavg: 2.00 1.87 1.61 3/93 8897
/proc/meminfo: memFree=1282456/2055920 swapFree=4165612/4192956
[pid=8889] ppid=8887 vsize=915464 CPUtime=582.2
/proc/8889/stat : 8889 (java) R 8887 8889 8576 0 -1 0 9190 0 1 0 58195 25 0 0 25 0 8 0 274154161 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842973 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8889/statm: 228866 8919 2532 14 0 215336 0
[pid=8889/tid=8891] ppid=8887 vsize=915464 CPUtime=0.02
/proc/8889/task/8891/stat : 8891 (java) S 8887 8889 8576 0 -1 64 246 0 0 0 2 0 0 0 16 0 8 0 274154170 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8892] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8892/stat : 8892 (java) S 8887 8889 8576 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274154171 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8893] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8893/stat : 8893 (java) S 8887 8889 8576 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274154171 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8894] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8894/stat : 8894 (java) S 8887 8889 8576 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8895] ppid=8887 vsize=915464 CPUtime=0.23
/proc/8889/task/8895/stat : 8895 (java) S 8887 8889 8576 0 -1 64 408 0 0 0 22 1 0 0 16 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8896] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8896/stat : 8896 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8897] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8897/stat : 8897 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 915464
[startup+642.928 s]
/proc/loadavg: 2.00 1.89 1.63 3/93 8897
/proc/meminfo: memFree=1282392/2055920 swapFree=4165612/4192956
[pid=8889] ppid=8887 vsize=915464 CPUtime=642.17
/proc/8889/stat : 8889 (java) R 8887 8889 8576 0 -1 0 9190 0 1 0 64192 25 0 0 25 0 8 0 274154161 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835439 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8889/statm: 228866 8919 2532 14 0 215336 0
[pid=8889/tid=8891] ppid=8887 vsize=915464 CPUtime=0.02
/proc/8889/task/8891/stat : 8891 (java) S 8887 8889 8576 0 -1 64 246 0 0 0 2 0 0 0 16 0 8 0 274154170 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8892] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8892/stat : 8892 (java) S 8887 8889 8576 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274154171 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8893] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8893/stat : 8893 (java) S 8887 8889 8576 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274154171 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8894] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8894/stat : 8894 (java) S 8887 8889 8576 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8895] ppid=8887 vsize=915464 CPUtime=0.23
/proc/8889/task/8895/stat : 8895 (java) S 8887 8889 8576 0 -1 64 408 0 0 0 22 1 0 0 16 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8896] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8896/stat : 8896 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8897] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8897/stat : 8897 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 642.17
Current children cumulated vsize (KiB) 915464
[startup+702.979 s]
/proc/loadavg: 2.00 1.91 1.65 3/93 8897
/proc/meminfo: memFree=1282456/2055920 swapFree=4165612/4192956
[pid=8889] ppid=8887 vsize=915464 CPUtime=702.17
/proc/8889/stat : 8889 (java) R 8887 8889 8576 0 -1 0 9190 0 1 0 70192 25 0 0 25 0 8 0 274154161 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073738406 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8889/statm: 228866 8919 2532 14 0 215336 0
[pid=8889/tid=8891] ppid=8887 vsize=915464 CPUtime=0.02
/proc/8889/task/8891/stat : 8891 (java) S 8887 8889 8576 0 -1 64 246 0 0 0 2 0 0 0 16 0 8 0 274154170 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8892] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8892/stat : 8892 (java) S 8887 8889 8576 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274154171 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8893] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8893/stat : 8893 (java) S 8887 8889 8576 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274154171 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8894] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8894/stat : 8894 (java) S 8887 8889 8576 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8895] ppid=8887 vsize=915464 CPUtime=0.23
/proc/8889/task/8895/stat : 8895 (java) S 8887 8889 8576 0 -1 64 408 0 0 0 22 1 0 0 16 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8896] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8896/stat : 8896 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8897] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8897/stat : 8897 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 915464
[startup+763.033 s]
/proc/loadavg: 2.00 1.92 1.67 3/93 8897
/proc/meminfo: memFree=1282392/2055920 swapFree=4165612/4192956
[pid=8889] ppid=8887 vsize=915464 CPUtime=762.17
/proc/8889/stat : 8889 (java) R 8887 8889 8576 0 -1 0 9190 0 1 0 76192 25 0 0 25 0 8 0 274154161 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842820 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8889/statm: 228866 8919 2532 14 0 215336 0
[pid=8889/tid=8891] ppid=8887 vsize=915464 CPUtime=0.02
/proc/8889/task/8891/stat : 8891 (java) S 8887 8889 8576 0 -1 64 246 0 0 0 2 0 0 0 16 0 8 0 274154170 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8892] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8892/stat : 8892 (java) S 8887 8889 8576 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274154171 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8893] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8893/stat : 8893 (java) S 8887 8889 8576 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274154171 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8894] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8894/stat : 8894 (java) S 8887 8889 8576 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8895] ppid=8887 vsize=915464 CPUtime=0.23
/proc/8889/task/8895/stat : 8895 (java) S 8887 8889 8576 0 -1 64 408 0 0 0 22 1 0 0 16 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8896] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8896/stat : 8896 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8897] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8897/stat : 8897 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 915464
[startup+823.09 s]
/proc/loadavg: 2.04 1.94 1.69 3/93 8897
/proc/meminfo: memFree=1282456/2055920 swapFree=4165612/4192956
[pid=8889] ppid=8887 vsize=915464 CPUtime=822.15
/proc/8889/stat : 8889 (java) R 8887 8889 8576 0 -1 0 9190 0 1 0 82190 25 0 0 25 0 8 0 274154161 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073877311 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8889/statm: 228866 8919 2532 14 0 215336 0
[pid=8889/tid=8891] ppid=8887 vsize=915464 CPUtime=0.02
/proc/8889/task/8891/stat : 8891 (java) S 8887 8889 8576 0 -1 64 246 0 0 0 2 0 0 0 16 0 8 0 274154170 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8892] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8892/stat : 8892 (java) S 8887 8889 8576 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274154171 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8893] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8893/stat : 8893 (java) S 8887 8889 8576 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274154171 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8894] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8894/stat : 8894 (java) S 8887 8889 8576 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8895] ppid=8887 vsize=915464 CPUtime=0.23
/proc/8889/task/8895/stat : 8895 (java) S 8887 8889 8576 0 -1 64 408 0 0 0 22 1 0 0 16 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8896] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8896/stat : 8896 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8897] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8897/stat : 8897 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274154174 937435136 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 915464
[startup+883.147 s]
/proc/loadavg: 2.01 1.95 1.71 3/99 8961
/proc/meminfo: memFree=1281160/2055920 swapFree=4165612/4192956
[pid=8889] ppid=8887 vsize=915464 CPUtime=882.12
/proc/8889/stat : 8889 (java) R 8887 8889 8576 0 -1 0 9193 0 1 0 88183 29 0 0 25 0 8 0 274154161 937435136 8922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861654 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8889/statm: 228866 8922 2532 14 0 215336 0
[pid=8889/tid=8891] ppid=8887 vsize=915464 CPUtime=0.02
/proc/8889/task/8891/stat : 8891 (java) S 8887 8889 8576 0 -1 64 246 0 0 0 2 0 0 0 16 0 8 0 274154170 937435136 8922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8892] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8892/stat : 8892 (java) S 8887 8889 8576 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274154171 937435136 8922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8893] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8893/stat : 8893 (java) S 8887 8889 8576 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274154171 937435136 8922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8894] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8894/stat : 8894 (java) S 8887 8889 8576 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274154174 937435136 8922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8895] ppid=8887 vsize=915464 CPUtime=0.23
/proc/8889/task/8895/stat : 8895 (java) S 8887 8889 8576 0 -1 64 408 0 0 0 22 1 0 0 16 0 8 0 274154174 937435136 8922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8896] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8896/stat : 8896 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274154174 937435136 8922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8889/tid=8897] ppid=8887 vsize=915464 CPUtime=0
/proc/8889/task/8897/stat : 8897 (java) S 8887 8889 8576 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274154174 937435136 8922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 889.708
CPU time (s): 888.654
CPU user time (s): 888.346
CPU system time (s): 0.307953
CPU usage (%): 99.8815
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 888.346
system time used= 0.307953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9290
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= 19258
involuntary context switches= 41829
runsolver used 1.16782 s user time and 2.79458 s system time
The end
Begin job on node1 on Sat Jan 20 01:46:24 UTC 2007
IDJOB= 277138
IDBENCH= 6288
IDSOLVER= 68
FILE ID= node1/277138-1169257584
PBS_JOBID= 3607270
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277138-1169257584/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-277138-1169257584 -o ROOT/results/node1/solver-277138-1169257584 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277138-1169257584/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d4f87ac654423fce43e15062f9d6d02d
RANDOM SEED= 152546452
TIME LIMIT= 2400 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.234
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.234
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: 1308384 kB
Buffers: 51916 kB
Cached: 577540 kB
SwapCached: 4372 kB
Active: 283520 kB
Inactive: 387940 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1308384 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 4456 kB
Writeback: 0 kB
Mapped: 52904 kB
Slab: 60708 kB
Committed_AS: 7994524 kB
PageTables: 2292 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= 66561 MiB
End job on node1 on Sat Jan 20 02:01:14 UTC 2007