0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/279362-1169292715/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=58 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.42 => wckTime=0.111 cpuTime=0.09 mem=6M910
0.42
0.42 relations being loaded...
0.49
0.49 constraints being loaded...
0.59 nbConstraints=309 nbRelationTypes=309 nbExtensionStructures=309 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=309 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3058 maxDegree=25
0.59 maxArity=2
0.59 => wckTime=0.282 cpuTime=0.19 mem=9M852
0.63
0.63 solver LocalSearchSolver being built...
0.68 => wckTime=0.367 cpuTime=0.23 mem=5M660
0.68
0.68 s SATISFIABLE
0.68 o 219
0.68 c 90
0.68 o 223
0.68 c 86
0.69 o 228
0.69 c 81
0.69 o 232
0.69 c 77
0.69 o 236
0.69 c 73
0.69 o 239
0.69 c 70
0.69 o 242
0.69 c 67
0.69 o 243
0.69 c 66
0.69 o 247
0.69 c 62
0.69 o 250
0.69 c 59
0.69 o 252
0.69 c 57
0.69 o 256
0.69 c 53
0.69 o 258
0.69 c 51
0.69 o 261
0.70 c 48
0.70 o 263
0.70 c 46
0.70 o 265
0.70 c 44
0.70 o 267
0.70 c 42
0.70 o 268
0.70 c 41
0.70 o 269
0.70 c 40
0.70 o 272
0.70 c 37
0.70 o 274
0.70 c 35
0.70 o 275
0.70 c 34
0.70 o 278
0.70 c 31
0.70 o 279
0.70 c 30
0.70 o 280
0.70 c 29
0.71 o 281
0.71 c 28
0.71 o 282
0.71 c 27
0.71 o 283
0.71 c 26
0.71 o 284
0.71 c 25
0.71 o 285
0.71 c 24
0.71 o 286
0.71 c 23
0.71 o 289
0.71 c 20
0.72 o 290
0.72 c 19
0.72 o 291
0.72 c 18
0.72 o 292
0.72 c 17
0.72 o 293
0.72 c 16
0.73 o 295
0.73 c 14
0.73 o 297
0.73 c 12
0.73 o 299
0.73 c 10
0.73 o 300
0.73 c 9
0.73 o 302
0.73 c 7
0.85 o 303
0.85 c 6
0.92 o 304
0.92 c 5
2.14
2.14 search
2.14 run=0 nbConstraintChecks=6199055 nbAssignments=10000
2.14 => wckTime=1.464 cpuTime=1.43 mem=5M660
3.58
3.58 search
3.58 run=1 nbConstraintChecks=12747224 nbAssignments=20000
3.58 => wckTime=2.9 cpuTime=2.84 mem=5M660
4.93
4.93 search
4.93 run=2 nbConstraintChecks=18779737 nbAssignments=30000
4.93 => wckTime=4.252 cpuTime=4.18 mem=5M660
6.41
6.41 search
6.41 run=3 nbConstraintChecks=25741335 nbAssignments=40000
6.41 => wckTime=5.73 cpuTime=5.64 mem=5M660
7.76
7.76 search
7.76 run=4 nbConstraintChecks=31810351 nbAssignments=50000
7.76 => wckTime=7.087 cpuTime=6.99 mem=5M660
9.27
9.27 search
9.27 run=5 nbConstraintChecks=38980535 nbAssignments=60000
9.27 => wckTime=8.591 cpuTime=8.49 mem=5M660
10.66
10.66 search
10.66 run=6 nbConstraintChecks=45302285 nbAssignments=70000
10.66 => wckTime=9.988 cpuTime=9.87 mem=5M660
12.09
12.09 search
12.09 run=7 nbConstraintChecks=51875188 nbAssignments=80000
12.09 => wckTime=11.412 cpuTime=11.28 mem=5M660
13.46
13.46 search
13.46 run=8 nbConstraintChecks=58052744 nbAssignments=90000
13.46 => wckTime=12.786 cpuTime=12.65 mem=5M660
14.92
14.92 search
14.92 run=9 nbConstraintChecks=64771430 nbAssignments=100000
14.92 => wckTime=14.243 cpuTime=14.08 mem=5M660
16.30
16.30 search
16.30 run=10 nbConstraintChecks=70889900 nbAssignments=110000
16.30 => wckTime=15.625 cpuTime=15.45 mem=5M660
17.67
17.67 search
17.67 run=11 nbConstraintChecks=76985160 nbAssignments=120000
17.67 => wckTime=16.996 cpuTime=16.82 mem=5M660
19.04
19.04 search
19.04 run=12 nbConstraintChecks=83070378 nbAssignments=130000
19.04 => wckTime=18.368 cpuTime=18.18 mem=5M660
20.53
20.53 search
20.53 run=13 nbConstraintChecks=89978945 nbAssignments=140000
20.53 => wckTime=19.854 cpuTime=19.65 mem=5M660
21.90
21.90 search
21.90 run=14 nbConstraintChecks=96030013 nbAssignments=150000
21.90 => wckTime=21.227 cpuTime=21.01 mem=5M660
23.34
23.34 search
23.34 run=15 nbConstraintChecks=102642657 nbAssignments=160000
23.34 => wckTime=22.665 cpuTime=22.44 mem=5M660
24.66
24.66 search
24.66 run=16 nbConstraintChecks=108370360 nbAssignments=170000
24.66 => wckTime=23.982 cpuTime=23.75 mem=5M660
26.18
26.18 search
26.18 run=17 nbConstraintChecks=115667394 nbAssignments=180000
26.18 => wckTime=25.503 cpuTime=25.25 mem=5M660
27.51
27.51 search
27.51 run=18 nbConstraintChecks=121548173 nbAssignments=190000
27.51 => wckTime=26.838 cpuTime=26.57 mem=5M660
28.99
28.99 search
28.99 run=19 nbConstraintChecks=128507646 nbAssignments=200000
28.99 => wckTime=28.316 cpuTime=28.04 mem=5M660
30.34
30.34 search
30.34 run=20 nbConstraintChecks=134488109 nbAssignments=210000
30.34 => wckTime=29.664 cpuTime=29.37 mem=5M660
31.19
31.19 search
31.19 run=21 nbConstraintChecks=138325408 nbAssignments=216128
31.19 => wckTime=30.516 cpuTime=30.22 mem=5M660
31.19
31.19 global
31.19 nbConstraintChecks=138325408 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.19 solvingWckTime=30.515 solvingCpuTime=30.22 expiredTime=no totalExploration=no nbFoundSolutions=0
31.19 globalCpuTime=30.5
31.20 => wckTime=30.884 cpuTime=30.45 mem=5M660
31.20
31.20 solver IterativeSystematicSolver being built...
31.33 => wckTime=31.016 cpuTime=30.56 mem=16M682
31.34
31.34 preprocessing
31.34 nbConstraintChecks=10 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.34 detectedInconsistency=no
31.34 => wckTime=0.0070 cpuTime=0.01 mem=16M682
31.42
31.42 search
31.42 run=0 nbConstraintChecks=46986 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39
31.42 nbFailedAssignments=15 nbBacktracks=10 nbVisitedNodes=65 nbRestartNogoods=0
31.42 => wckTime=0.088 cpuTime=0.06 mem=16M682
31.48
31.48 search
31.48 run=1 nbConstraintChecks=115697 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=89
31.48 nbFailedAssignments=42 nbBacktracks=25 nbVisitedNodes=157 nbRestartNogoods=7
31.48 => wckTime=0.155 cpuTime=0.12 mem=16M682
31.55
31.55 search
31.55 run=2 nbConstraintChecks=208594 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=163
31.55 nbFailedAssignments=83 nbBacktracks=47 nbVisitedNodes=294 nbRestartNogoods=10
31.55 => wckTime=0.219 cpuTime=0.18 mem=16M682
31.65
31.65 search
31.65 run=3 nbConstraintChecks=345209 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=269
31.65 nbFailedAssignments=142 nbBacktracks=81 nbVisitedNodes=493 nbRestartNogoods=16
31.65 => wckTime=0.323 cpuTime=0.28 mem=16M682
31.82
31.82 search
31.82 run=4 nbConstraintChecks=630058 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=440
31.82 nbFailedAssignments=246 nbBacktracks=131 nbVisitedNodes=818 nbRestartNogoods=21
31.83 => wckTime=0.497 cpuTime=0.45 mem=16M682
32.02
32.02 search
32.02 run=5 nbConstraintChecks=961462 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=631
32.02 nbFailedAssignments=353 nbBacktracks=208 nbVisitedNodes=1193 nbRestartNogoods=26
32.02 => wckTime=0.693 cpuTime=0.64 mem=16M682
32.20
32.20 search
32.20 run=6 nbConstraintChecks=1249370 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=841
32.20 nbFailedAssignments=440 nbBacktracks=321 nbVisitedNodes=1603 nbRestartNogoods=28
32.20 => wckTime=0.87 cpuTime=0.81 mem=16M682
32.73
32.73 search
32.73 run=7 nbConstraintChecks=2188424 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1417
32.73 nbFailedAssignments=828 nbBacktracks=491 nbVisitedNodes=2737 nbRestartNogoods=32
32.73 => wckTime=1.406 cpuTime=1.34 mem=16M682
33.53
33.53 search
33.53 run=8 nbConstraintChecks=3840596 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2332
33.53 nbFailedAssignments=1468 nbBacktracks=748 nbVisitedNodes=4549 nbRestartNogoods=47
33.53 => wckTime=2.198 cpuTime=2.11 mem=16M682
34.77
34.77 search
34.77 run=9 nbConstraintChecks=6112023 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3627
34.77 nbFailedAssignments=2365 nbBacktracks=1133 nbVisitedNodes=7126 nbRestartNogoods=56
34.77 => wckTime=3.446 cpuTime=3.34 mem=16M682
36.08
36.08 search
36.08 run=10 nbConstraintChecks=8145341 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5005
36.08 nbFailedAssignments=3156 nbBacktracks=1709 nbVisitedNodes=9871 nbRestartNogoods=71
36.08 => wckTime=4.756 cpuTime=4.64 mem=16M682
38.23
38.23 search
38.23 run=11 nbConstraintChecks=12040323 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7336
38.23 nbFailedAssignments=4607 nbBacktracks=2574 nbVisitedNodes=14518 nbRestartNogoods=85
38.23 => wckTime=6.905 cpuTime=6.77 mem=16M682
42.11
42.11 search
42.11 run=12 nbConstraintChecks=18317245 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11108
42.11 nbFailedAssignments=7073 nbBacktracks=3871 nbVisitedNodes=22053 nbRestartNogoods=97
42.11 => wckTime=10.785 cpuTime=10.61 mem=16M682
47.10
47.10 search
47.10 run=13 nbConstraintChecks=26608296 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16225
47.10 nbFailedAssignments=10225 nbBacktracks=5818 nbVisitedNodes=32269 nbRestartNogoods=108
47.10 => wckTime=15.77 cpuTime=15.56 mem=16M682
54.08
54.08 search
54.08 run=14 nbConstraintChecks=39171248 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23747
54.09 nbFailedAssignments=14819 nbBacktracks=8738 nbVisitedNodes=47295 nbRestartNogoods=122
54.09 => wckTime=22.757 cpuTime=22.48 mem=16M682
64.98
64.98 search
64.98 run=15 nbConstraintChecks=58642005 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35079
64.98 nbFailedAssignments=21763 nbBacktracks=13116 nbVisitedNodes=69829 nbRestartNogoods=131
64.98 => wckTime=33.656 cpuTime=33.34 mem=16M682
78.19
78.19 search
78.19 run=16 nbConstraintChecks=86686615 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=51952
78.19 nbFailedAssignments=32054 nbBacktracks=19684 nbVisitedNodes=103493 nbRestartNogoods=145
78.19 => wckTime=46.863 cpuTime=46.53 mem=16M682
96.82
96.82 search
96.82 run=17 nbConstraintChecks=123735742 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=75286
96.82 nbFailedAssignments=45516 nbBacktracks=29536 nbVisitedNodes=149695 nbRestartNogoods=157
96.82 => wckTime=65.491 cpuTime=65.15 mem=16M682
120.19
120.20 search
120.20 run=18 nbConstraintChecks=169259045 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=105691
120.20 nbFailedAssignments=61126 nbBacktracks=44314 nbVisitedNodes=209590 nbRestartNogoods=169
120.20 => wckTime=88.867 cpuTime=88.51 mem=16M682
149.28
149.28 search
149.28 run=19 nbConstraintChecks=223658743 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=149273
149.28 nbFailedAssignments=82521 nbBacktracks=66483 nbVisitedNodes=293404 nbRestartNogoods=186
149.28 => wckTime=117.954 cpuTime=117.55 mem=16M682
183.15
183.15 search
183.15 run=20 nbConstraintChecks=286365984 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=205765
183.15 nbFailedAssignments=105747 nbBacktracks=99740 nbVisitedNodes=398229 nbRestartNogoods=193
183.15 => wckTime=151.821 cpuTime=151.38 mem=16M682
223.75
223.75 search
223.75 run=21 nbConstraintChecks=367512475 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=285263
223.75 nbFailedAssignments=135348 nbBacktracks=149621 nbVisitedNodes=543307 nbRestartNogoods=203
223.75 => wckTime=192.42 cpuTime=191.94 mem=16M682
231.53
231.53 search
231.53 run=22 nbConstraintChecks=378394489 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=297340
231.53 nbFailedAssignments=140248 nbBacktracks=156799 nbVisitedNodes=565243 nbRestartNogoods=216
231.53 => wckTime=200.2 cpuTime=199.72 mem=16M682
231.53
231.53 global
231.53 nbConstraintChecks=378394499 nbRestartNogoods=216 solvingWckTime=200.201 solvingCpuTime=199.72 expiredTime=no
231.53 totalExploration=yes nbFoundSolutions=0 globalCpuTime=230.33
231.53 => wckTime=231.218 cpuTime=230.28 mem=16M682
231.53
231.53 s OPTIMUM FOUND
231.53 v 0 3 3 3 2 3 2 3 0 1 3 2 1 4 1 3 0 2 4 1 2 0 1 4 4 2 0 1 0 3 2 4 4 0 0 3 3 0 3 4 3 1 3 1 0 1 4 0 4 0 2 1 2 2 2 3 2 4
231.53
231.53 totalWckTime=231.298 totalCpuTime=230.33
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-279362-1169292715 -o ROOT/results/node14/solver-279362-1169292715 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279362-1169292715/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.89 1.99 1.97 4/87 30452
/proc/meminfo: memFree=1236672/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=11820 CPUtime=0
/proc/30451/stat : 30451 (java) D 30449 30451 30155 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 277666423 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 6927140 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/30451/statm: 2955 510 421 14 0 1602 0
[startup+0.104183 s]
/proc/loadavg: 1.89 1.99 1.97 4/87 30452
/proc/meminfo: memFree=1236672/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=914988 CPUtime=0.09
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 2996 0 1 0 7 2 0 0 17 0 8 0 277666423 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072934896 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30451/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515222 s]
/proc/loadavg: 1.89 1.99 1.97 4/87 30452
/proc/meminfo: memFree=1236672/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915332 CPUtime=0.49
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 6283 0 1 0 44 5 0 0 18 0 8 0 277666423 937299968 6022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30451/statm: 228833 6022 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.3443 s]
/proc/loadavg: 1.89 1.99 1.97 3/94 30459
/proc/meminfo: memFree=1217992/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915464 CPUtime=1.31
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 7364 0 1 0 106 25 0 0 25 0 8 0 277666423 937435136 7102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073736873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30451/statm: 228866 7102 2476 14 0 215336 0
[pid=30451/tid=30453] ppid=30449 vsize=915464 CPUtime=0.02
/proc/30451/task/30453/stat : 30453 (java) S 30449 30451 30155 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277666427 937435136 7102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30454] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30454/stat : 30454 (java) S 30449 30451 30155 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277666427 937435136 7102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30455] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30455/stat : 30455 (java) S 30449 30451 30155 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277666428 937435136 7102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30456] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30456/stat : 30456 (java) S 30449 30451 30155 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277666431 937435136 7102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30457] ppid=30449 vsize=915464 CPUtime=0.15
/proc/30451/task/30457/stat : 30457 (java) S 30449 30451 30155 0 -1 64 349 0 0 0 14 1 0 0 16 0 8 0 277666431 937435136 7102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30458] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30458/stat : 30458 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277666431 937435136 7102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30459] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30459/stat : 30459 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277666431 937435136 7102 18446744073709551615 134512640 134570532 4294956464 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) 915464
[startup+2.98245 s]
/proc/loadavg: 1.89 1.99 1.97 3/94 30459
/proc/meminfo: memFree=1217992/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915464 CPUtime=2.94
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 7368 0 1 0 225 69 0 0 25 0 8 0 277666423 937435136 7105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073736873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30451/statm: 228866 7105 2476 14 0 215336 0
[pid=30451/tid=30453] ppid=30449 vsize=915464 CPUtime=0.02
/proc/30451/task/30453/stat : 30453 (java) S 30449 30451 30155 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277666427 937435136 7105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30454] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30454/stat : 30454 (java) S 30449 30451 30155 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277666427 937435136 7105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30455] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30455/stat : 30455 (java) S 30449 30451 30155 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277666428 937435136 7105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30456] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30456/stat : 30456 (java) S 30449 30451 30155 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277666431 937435136 7105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30457] ppid=30449 vsize=915464 CPUtime=0.16
/proc/30451/task/30457/stat : 30457 (java) S 30449 30451 30155 0 -1 64 351 0 0 0 15 1 0 0 16 0 8 0 277666431 937435136 7105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30458] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30458/stat : 30458 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277666431 937435136 7105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30459] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30459/stat : 30459 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277666431 937435136 7105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.26176 s]
/proc/loadavg: 1.90 1.99 1.97 3/94 30459
/proc/meminfo: memFree=1217928/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915464 CPUtime=6.19
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 7369 0 1 0 463 156 0 0 25 0 8 0 277666423 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7137829 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30451/statm: 228866 7106 2476 14 0 215336 0
[pid=30451/tid=30453] ppid=30449 vsize=915464 CPUtime=0.02
/proc/30451/task/30453/stat : 30453 (java) S 30449 30451 30155 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277666427 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30454] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30454/stat : 30454 (java) S 30449 30451 30155 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277666427 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30455] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30455/stat : 30455 (java) S 30449 30451 30155 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277666428 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30456] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30456/stat : 30456 (java) S 30449 30451 30155 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30457] ppid=30449 vsize=915464 CPUtime=0.16
/proc/30451/task/30457/stat : 30457 (java) S 30449 30451 30155 0 -1 64 352 0 0 0 15 1 0 0 16 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30458] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30458/stat : 30458 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30459] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30459/stat : 30459 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915464
[startup+12.7504 s]
/proc/loadavg: 1.90 1.99 1.97 3/94 30459
/proc/meminfo: memFree=1217928/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915464 CPUtime=12.62
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 7369 0 1 0 926 336 0 0 25 0 8 0 277666423 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073740386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30451/statm: 228866 7106 2476 14 0 215336 0
[pid=30451/tid=30453] ppid=30449 vsize=915464 CPUtime=0.02
/proc/30451/task/30453/stat : 30453 (java) S 30449 30451 30155 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277666427 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30454] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30454/stat : 30454 (java) S 30449 30451 30155 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277666427 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30455] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30455/stat : 30455 (java) S 30449 30451 30155 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277666428 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30456] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30456/stat : 30456 (java) S 30449 30451 30155 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30457] ppid=30449 vsize=915464 CPUtime=0.16
/proc/30451/task/30457/stat : 30457 (java) S 30449 30451 30155 0 -1 64 352 0 0 0 15 1 0 0 17 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30458] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30458/stat : 30458 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30459] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30459/stat : 30459 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915464
[startup+25.6036 s]
/proc/loadavg: 1.93 1.99 1.97 3/94 30459
/proc/meminfo: memFree=1217992/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915464 CPUtime=25.37
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 7369 0 1 0 1841 696 0 0 25 0 8 0 277666423 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073736745 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30451/statm: 228866 7106 2476 14 0 215336 0
[pid=30451/tid=30453] ppid=30449 vsize=915464 CPUtime=0.02
/proc/30451/task/30453/stat : 30453 (java) S 30449 30451 30155 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277666427 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30454] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30454/stat : 30454 (java) S 30449 30451 30155 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277666427 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30455] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30455/stat : 30455 (java) S 30449 30451 30155 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277666428 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30456] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30456/stat : 30456 (java) S 30449 30451 30155 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30457] ppid=30449 vsize=915464 CPUtime=0.16
/proc/30451/task/30457/stat : 30457 (java) S 30449 30451 30155 0 -1 64 352 0 0 0 15 1 0 0 16 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30458] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30458/stat : 30458 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30459] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30459/stat : 30459 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277666431 937435136 7106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915464
[startup+51.211 s]
/proc/loadavg: 1.95 1.99 1.97 3/94 30459
/proc/meminfo: memFree=1211208/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915464 CPUtime=50.76
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 9127 0 1 0 4215 861 0 0 25 0 8 0 277666423 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073883638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30451/statm: 228866 8859 2527 14 0 215336 0
[pid=30451/tid=30453] ppid=30449 vsize=915464 CPUtime=0.02
/proc/30451/task/30453/stat : 30453 (java) S 30449 30451 30155 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277666427 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30454] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30454/stat : 30454 (java) S 30449 30451 30155 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277666427 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30455] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30455/stat : 30455 (java) S 30449 30451 30155 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277666428 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30456] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30456/stat : 30456 (java) S 30449 30451 30155 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277666431 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30457] ppid=30449 vsize=915464 CPUtime=0.27
/proc/30451/task/30457/stat : 30457 (java) S 30449 30451 30155 0 -1 64 410 0 0 0 25 2 0 0 16 0 8 0 277666431 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30458] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30458/stat : 30458 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277666431 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30459] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30459/stat : 30459 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277666431 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915464
[startup+102.419 s]
/proc/loadavg: 2.07 2.02 1.98 3/100 30568
/proc/meminfo: memFree=1244512/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915464 CPUtime=101.87
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 9137 0 1 0 9325 862 0 0 25 0 8 0 277666423 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073916018 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30451/statm: 228866 8868 2527 14 0 215336 0
[pid=30451/tid=30453] ppid=30449 vsize=915464 CPUtime=0.02
/proc/30451/task/30453/stat : 30453 (java) S 30449 30451 30155 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277666427 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30454] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30454/stat : 30454 (java) S 30449 30451 30155 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277666427 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30455] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30455/stat : 30455 (java) S 30449 30451 30155 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277666428 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30456] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30456/stat : 30456 (java) S 30449 30451 30155 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277666431 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30457] ppid=30449 vsize=915464 CPUtime=0.27
/proc/30451/task/30457/stat : 30457 (java) S 30449 30451 30155 0 -1 64 410 0 0 0 25 2 0 0 16 0 8 0 277666431 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30458] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30458/stat : 30458 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277666431 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30459] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30459/stat : 30459 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277666431 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 915464
[startup+162.478 s]
/proc/loadavg: 2.02 2.02 1.98 3/100 30568
/proc/meminfo: memFree=1237664/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915464 CPUtime=161.87
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 9144 0 1 0 15325 862 0 0 25 0 8 0 277666423 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856922 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30451/statm: 228866 8874 2527 14 0 215336 0
[pid=30451/tid=30453] ppid=30449 vsize=915464 CPUtime=0.02
/proc/30451/task/30453/stat : 30453 (java) S 30449 30451 30155 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277666427 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30451/tid=30454] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30454/stat : 30454 (java) S 30449 30451 30155 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277666427 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30455] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30455/stat : 30455 (java) S 30449 30451 30155 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277666428 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30456] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30456/stat : 30456 (java) S 30449 30451 30155 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277666431 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30457] ppid=30449 vsize=915464 CPUtime=0.27
/proc/30451/task/30457/stat : 30457 (java) S 30449 30451 30155 0 -1 64 411 0 0 0 25 2 0 0 16 0 8 0 277666431 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30451/tid=30458] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30458/stat : 30458 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277666431 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30459] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30459/stat : 30459 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277666431 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.87
Current children cumulated vsize (KiB) 915464
[startup+222.53 s]
/proc/loadavg: 2.01 2.01 1.98 3/100 30568
/proc/meminfo: memFree=1237536/2055920 swapFree=4158792/4192956
[pid=30451] ppid=30449 vsize=915464 CPUtime=221.84
/proc/30451/stat : 30451 (java) R 30449 30451 30155 0 -1 0 9146 0 1 0 21322 862 0 0 25 0 8 0 277666423 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073883647 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30451/statm: 228866 8876 2527 14 0 215336 0
[pid=30451/tid=30453] ppid=30449 vsize=915464 CPUtime=0.02
/proc/30451/task/30453/stat : 30453 (java) S 30449 30451 30155 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277666427 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30451/tid=30454] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30454/stat : 30454 (java) S 30449 30451 30155 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277666427 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30455] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30455/stat : 30455 (java) S 30449 30451 30155 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277666428 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30456] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30456/stat : 30456 (java) S 30449 30451 30155 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277666431 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30457] ppid=30449 vsize=915464 CPUtime=0.27
/proc/30451/task/30457/stat : 30457 (java) S 30449 30451 30155 0 -1 64 411 0 0 0 25 2 0 0 16 0 8 0 277666431 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30451/tid=30458] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30458/stat : 30458 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277666431 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30451/tid=30459] ppid=30449 vsize=915464 CPUtime=0
/proc/30451/task/30459/stat : 30459 (java) S 30449 30451 30155 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277666431 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.84
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 231.557
CPU time (s): 230.859
CPU user time (s): 222.228
CPU system time (s): 8.63069
CPU usage (%): 99.6986
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 222.228
system time used= 8.63069
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9245
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= 5900
involuntary context switches= 8903
runsolver used 0.298954 s user time and 0.745886 s system time
The end
Begin job on node14 on Sat Jan 20 11:31:55 UTC 2007
IDJOB= 279362
IDBENCH= 9916
IDSOLVER= 69
FILE ID= node14/279362-1169292715
PBS_JOBID= 3609615
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-30/kbtree-9-2-3-5-30-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279362-1169292715/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-279362-1169292715 -o ROOT/results/node14/solver-279362-1169292715 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279362-1169292715/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7f860c7c06c69375dc1bcdfdb1b2370b
RANDOM SEED= 523235180
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.227
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.227
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: 1237152 kB
Buffers: 53476 kB
Cached: 600556 kB
SwapCached: 9104 kB
Active: 251788 kB
Inactive: 489560 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1237152 kB
SwapTotal: 4192956 kB
SwapFree: 4158792 kB
Dirty: 1800 kB
Writeback: 0 kB
Mapped: 96240 kB
Slab: 62084 kB
Committed_AS: 9389744 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 node14 on Sat Jan 20 11:35:47 UTC 2007