0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/280396-1169305544/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.42 => wckTime=0.098 cpuTime=0.09 mem=6M887
0.42
0.42 relations being loaded...
0.64
0.64 constraints being loaded...
0.74 nbConstraints=5 nbRelationTypes=5 nbDisconnectedVariables=2 nbExtensionStructures=5
0.74 nbSharedExtensionStructures=0 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 maxDegree=5
0.74 maxArity=10
0.74 => wckTime=0.42 cpuTime=0.38 mem=38M374
0.81
0.81 solver LocalSearchSolver being built...
0.85 => wckTime=0.527 cpuTime=0.43 mem=10M980
0.85
0.85 s SATISFIABLE
0.85 o 0
0.85 c 5
3.17 o 1
3.17 c 4
6.63
6.63 search
6.63 run=0 nbConstraintChecks=4339262 nbAssignments=10000
6.63 => wckTime=5.783 cpuTime=5.71 mem=10M980
11.90
11.90 search
11.90 run=1 nbConstraintChecks=8703267 nbAssignments=20000
11.90 => wckTime=11.052 cpuTime=10.97 mem=10M980
17.17
17.17 search
17.17 run=2 nbConstraintChecks=13035078 nbAssignments=30000
17.17 => wckTime=16.319 cpuTime=16.22 mem=10M980
22.51
22.51 search
22.51 run=3 nbConstraintChecks=17129989 nbAssignments=40000
22.51 => wckTime=21.668 cpuTime=21.53 mem=10M980
28.24
28.24 search
28.24 run=4 nbConstraintChecks=21492432 nbAssignments=50000
28.24 => wckTime=27.397 cpuTime=27.21 mem=10M980
33.39
33.39 search
33.39 run=5 nbConstraintChecks=25434381 nbAssignments=59767
33.39 => wckTime=32.539 cpuTime=32.3 mem=10M980
33.39
33.39 global
33.39 nbConstraintChecks=25434381 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.39 solvingWckTime=32.539 solvingCpuTime=32.3 expiredTime=no totalExploration=no nbFoundSolutions=0
33.39 globalCpuTime=32.78
33.39 => wckTime=33.068 cpuTime=32.73 mem=10M980
33.39
33.39 solver IterativeSystematicSolver being built...
33.53 => wckTime=33.209 cpuTime=32.83 mem=21M682
34.24
34.24 preprocessing
34.24 nbConstraintChecks=603205 nbValidityChecks=613344 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.24 nbRemovedValues=0 detectedInconsistency=no
34.24 => wckTime=0.709 cpuTime=0.68 mem=21M682
34.30 o 2
34.30 c 3
34.32
34.32 search
34.32 run=0 nbConstraintChecks=52430 nbValidityChecks=59830 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.32 nbAssignments=29 nbFailedAssignments=7 nbBacktracks=18 nbVisitedNodes=45 nbRestartNogoods=0
34.32 => wckTime=0.784 cpuTime=0.75 mem=22M660
34.59
34.59 search
34.59 run=1 nbConstraintChecks=261474 nbValidityChecks=293737 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.59 nbAssignments=81 nbFailedAssignments=38 nbBacktracks=33 nbVisitedNodes=131 nbRestartNogoods=1
34.59 => wckTime=1.058 cpuTime=1.01 mem=22M660
35.07
35.07 search
35.07 run=2 nbConstraintChecks=658715 nbValidityChecks=743903 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.07 nbAssignments=173 nbFailedAssignments=100 nbBacktracks=55 nbVisitedNodes=305 nbRestartNogoods=13
35.07 => wckTime=1.536 cpuTime=1.49 mem=22M660
35.26
35.26 search
35.26 run=3 nbConstraintChecks=792119 nbValidityChecks=928555 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.26 nbAssignments=272 nbFailedAssignments=160 nbBacktracks=88 nbVisitedNodes=485 nbRestartNogoods=33
35.26 => wckTime=1.732 cpuTime=1.66 mem=22M660
35.83
35.83 search
35.83 run=4 nbConstraintChecks=1247305 nbValidityChecks=1490293 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.83 nbAssignments=463 nbFailedAssignments=296 nbBacktracks=138 nbVisitedNodes=852 nbRestartNogoods=46
35.83 => wckTime=2.298 cpuTime=2.23 mem=22M660
36.48
36.48 search
36.48 run=5 nbConstraintChecks=1761985 nbValidityChecks=2123975 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.48 nbAssignments=683 nbFailedAssignments=436 nbBacktracks=213 nbVisitedNodes=1268 nbRestartNogoods=61
36.48 => wckTime=2.95 cpuTime=2.87 mem=22M660
37.54
37.54 search
37.54 run=6 nbConstraintChecks=2594407 nbValidityChecks=3176589 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.54 nbAssignments=1080 nbFailedAssignments=715 nbBacktracks=326 nbVisitedNodes=2036 nbRestartNogoods=68
37.54 => wckTime=4.012 cpuTime=3.91 mem=22M660
39.70
39.70 search
39.70 run=7 nbConstraintChecks=4389006 nbValidityChecks=5251982 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.70 nbAssignments=1610 nbFailedAssignments=1071 nbBacktracks=496 nbVisitedNodes=3046 nbRestartNogoods=87
39.70 => wckTime=6.166 cpuTime=6.04 mem=22M660
42.88
42.88 search
42.88 run=8 nbConstraintChecks=7143381 nbValidityChecks=8464231 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.88 nbAssignments=2460 nbFailedAssignments=1660 nbBacktracks=752 nbVisitedNodes=4670 nbRestartNogoods=103
42.88 => wckTime=9.353 cpuTime=9.2 mem=22M660
49.72
49.72 search
49.72 run=9 nbConstraintChecks=12848860 nbValidityChecks=14889956 nbPropagations=0 nbRevisions=0
49.72 nbUselessRevisions=0 nbAssignments=3801 nbFailedAssignments=2610 nbBacktracks=1137 nbVisitedNodes=7248
49.72 nbRestartNogoods=118
49.72 => wckTime=16.188 cpuTime=15.97 mem=22M660
52.82
52.82 search
52.82 run=10 nbConstraintChecks=15206923 nbValidityChecks=18336215 nbPropagations=0 nbRevisions=0
52.82 nbUselessRevisions=0 nbAssignments=5809 nbFailedAssignments=4037 nbBacktracks=1713 nbVisitedNodes=11129
52.82 nbRestartNogoods=128
52.82 => wckTime=19.293 cpuTime=19.04 mem=22M660
69.92
69.92 search
69.92 run=11 nbConstraintChecks=29634099 nbValidityChecks=34511396 nbPropagations=0 nbRevisions=0
69.92 nbUselessRevisions=0 nbAssignments=8970 nbFailedAssignments=6329 nbBacktracks=2577 nbVisitedNodes=17285
69.92 nbRestartNogoods=131
69.92 => wckTime=36.388 cpuTime=35.97 mem=22M660
79.26
79.26 search
79.26 run=12 nbConstraintChecks=37200491 nbValidityChecks=44380411 nbPropagations=0 nbRevisions=0
79.26 nbUselessRevisions=0 nbAssignments=13207 nbFailedAssignments=9263 nbBacktracks=3876 nbVisitedNodes=25379
79.26 nbRestartNogoods=137
79.26 => wckTime=45.725 cpuTime=45.22 mem=22M660
112.28
112.28 search
112.28 run=13 nbConstraintChecks=66003077 nbValidityChecks=76624371 nbPropagations=0 nbRevisions=0
112.28 nbUselessRevisions=0 nbAssignments=19605 nbFailedAssignments=13707 nbBacktracks=5825 nbVisitedNodes=37713
112.28 nbRestartNogoods=150
112.28 => wckTime=78.752 cpuTime=77.94 mem=22M660
141.87
141.87 search
141.87 run=14 nbConstraintChecks=90433908 nbValidityChecks=106432353 nbPropagations=0 nbRevisions=0
141.87 nbUselessRevisions=0 nbAssignments=29651 nbFailedAssignments=20827 nbBacktracks=8745 nbVisitedNodes=57161
141.87 nbRestartNogoods=170
141.87 => wckTime=108.341 cpuTime=107.26 mem=22M660
172.65
172.65 search
172.65 run=15 nbConstraintChecks=115034878 nbValidityChecks=139089168 nbPropagations=0 nbRevisions=0
172.65 nbUselessRevisions=0 nbAssignments=44242 nbFailedAssignments=31035 nbBacktracks=13123 nbVisitedNodes=85430
172.65 nbRestartNogoods=188
172.65 => wckTime=139.119 cpuTime=137.76 mem=22M660
267.43
267.43 search
267.43 run=16 nbConstraintChecks=196358591 nbValidityChecks=231563654 nbPropagations=0 nbRevisions=0
267.43 nbUselessRevisions=0 nbAssignments=65209 nbFailedAssignments=45428 nbBacktracks=19691 nbVisitedNodes=125763
267.43 nbRestartNogoods=213
267.43 => wckTime=233.9 cpuTime=231.66 mem=22M660
361.86
361.86 search
361.86 run=17 nbConstraintChecks=275706445 nbValidityChecks=327795219 nbPropagations=0 nbRevisions=0
361.86 nbUselessRevisions=0 nbAssignments=96682 nbFailedAssignments=67043 nbBacktracks=29543 nbVisitedNodes=186435
361.86 nbRestartNogoods=231
361.86 => wckTime=328.332 cpuTime=325.23 mem=22M660
519.75
519.75 search
519.75 run=18 nbConstraintChecks=410130459 nbValidityChecks=487468257 nbPropagations=0 nbRevisions=0
519.75 nbUselessRevisions=0 nbAssignments=143814 nbFailedAssignments=99391 nbBacktracks=44321 nbVisitedNodes=277467
519.75 nbRestartNogoods=257
519.75 => wckTime=486.215 cpuTime=481.67 mem=22M660
735.72
735.72 search
735.72 run=19 nbConstraintChecks=588281859 nbValidityChecks=704345075 nbPropagations=0 nbRevisions=0
735.72 nbUselessRevisions=0 nbAssignments=216240 nbFailedAssignments=149643 nbBacktracks=66489 nbVisitedNodes=417429
735.72 nbRestartNogoods=269
735.72 => wckTime=702.185 cpuTime=695.66 mem=22M660
964.98
964.98 search
964.98 run=20 nbConstraintChecks=774357466 nbValidityChecks=946672921 nbPropagations=0 nbRevisions=0
964.98 nbUselessRevisions=0 nbAssignments=321465 nbFailedAssignments=221612 nbBacktracks=99741 nbVisitedNodes=619911
964.98 nbRestartNogoods=287
964.98 => wckTime=931.449 cpuTime=922.82 mem=22M660
1513.48
1513.48 search
1513.48 run=21 nbConstraintChecks=1238467360 nbValidityChecks=1497373869 nbPropagations=0 nbRevisions=0
1513.48 nbUselessRevisions=0 nbAssignments=481754 nbFailedAssignments=332017 nbBacktracks=149620 nbVisitedNodes=931495
1513.48 nbRestartNogoods=299
1513.48 => wckTime=1479.947 cpuTime=1468.55 mem=22M660
2192.94
2192.94 search
2192.94 run=22 nbConstraintChecks=1812369551 nbValidityChecks=2191683003 nbPropagations=0 nbRevisions=0
2192.94 nbUselessRevisions=0 nbAssignments=708114 nbFailedAssignments=483556 nbBacktracks=224439 nbVisitedNodes=1365729
2192.94 nbRestartNogoods=335
2192.94 => wckTime=2159.408 cpuTime=2144.8 mem=22M660
2415.85 v 4 0 0 0 0 0 0 0 9 3 2 3 6 9 5 4 1 0 2 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-280396-1169305544 -o ROOT/results/node43/solver-280396-1169305544 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280396-1169305544/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.85 1.97 1.90 4/80 3386
/proc/meminfo: memFree=1357776/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=18540 CPUtime=0
/proc/3385/stat : 3385 (runsolver) R 3383 3385 2900 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 278953627 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 216849247527 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3385/statm: 4635 279 244 17 0 2626 0
[startup+0.107911 s]
/proc/loadavg: 1.85 1.97 1.90 4/80 3386
/proc/meminfo: memFree=1357776/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=914988 CPUtime=0.08
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 2994 0 1 0 7 1 0 0 17 0 8 0 278953627 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072932851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.519022 s]
/proc/loadavg: 1.85 1.97 1.90 4/80 3386
/proc/meminfo: memFree=1357776/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915332 CPUtime=0.48
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 7993 0 1 0 44 4 0 0 18 0 8 0 278953627 937299968 7732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445393 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228833 7732 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.34011 s]
/proc/loadavg: 1.85 1.97 1.90 3/87 3393
/proc/meminfo: memFree=1305560/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=1.3
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15693 0 1 0 120 10 0 0 25 0 8 0 278953627 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073631027 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15431 2480 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.09
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 278953635 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915436
[startup+2.97738 s]
/proc/loadavg: 1.86 1.97 1.90 3/87 3393
/proc/meminfo: memFree=1305560/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2.92
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15697 0 1 0 272 20 0 0 25 0 8 0 278953627 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15434 2480 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.09
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915436
[startup+6.27693 s]
/proc/loadavg: 1.86 1.97 1.90 2/77 3404
/proc/meminfo: memFree=1331752/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=6.19
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15697 0 1 0 576 43 0 0 25 0 8 0 278953627 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3385/statm: 228859 15434 2480 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.09
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15434 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) 915436
[startup+12.755 s]
/proc/loadavg: 1.81 1.96 1.89 3/79 3516
/proc/meminfo: memFree=1317648/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=12.67
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15701 0 1 0 1177 90 0 0 25 0 8 0 278953627 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3385/statm: 228859 15438 2480 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.09
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915436
[startup+25.6141 s]
/proc/loadavg: 1.84 1.96 1.89 3/87 3583
/proc/meminfo: memFree=1276760/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=25.43
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15701 0 1 0 2360 183 0 0 25 0 8 0 278953627 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15438 2480 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.09
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915436
[startup+51.2344 s]
/proc/loadavg: 1.89 1.96 1.90 3/87 3583
/proc/meminfo: memFree=1276376/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=50.81
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15872 0 1 0 4838 243 0 0 25 0 8 0 278953627 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754092 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15599 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.21
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 278953635 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 915436
[startup+102.458 s]
/proc/loadavg: 1.95 1.96 1.90 3/87 3583
/proc/meminfo: memFree=1276184/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=101.56
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15876 0 1 0 9913 243 0 0 25 0 8 0 278953627 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596030 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15601 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) R 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 387 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915436
[startup+162.539 s]
/proc/loadavg: 2.05 1.99 1.91 3/87 3583
/proc/meminfo: memFree=1276120/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=161.1
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15876 0 1 0 15866 244 0 0 25 0 8 0 278953627 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596046 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2010.42
Current children cumulated vsize (KiB) 915436
[startup+2084.47 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 3585
/proc/meminfo: memFree=1275992/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2070.2
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 206773 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2070.2
Current children cumulated vsize (KiB) 915436
[startup+2144.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 3585
/proc/meminfo: memFree=1275992/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2129.95
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 212748 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2129.95
Current children cumulated vsize (KiB) 915436
[startup+2204.54 s]
/proc/loadavg: 2.07 2.02 1.95 3/87 3585
/proc/meminfo: memFree=1275992/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2189.7
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 218723 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757211 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2189.7
Current children cumulated vsize (KiB) 915436
[startup+2264.59 s]
/proc/loadavg: 2.02 2.01 1.95 3/87 3585
/proc/meminfo: memFree=1275992/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2249.47
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 224700 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2249.47
Current children cumulated vsize (KiB) 915436
[startup+2324.63 s]
/proc/loadavg: 2.01 2.00 1.95 3/87 3585
/proc/meminfo: memFree=1275928/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2309.22
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 230675 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2309.22
Current children cumulated vsize (KiB) 915436
[startup+2384.69 s]
/proc/loadavg: 2.07 2.02 1.95 3/87 3585
/proc/meminfo: memFree=1275992/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2369
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 236653 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2369
Current children cumulated vsize (KiB) 915436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2415.85 s]
/proc/loadavg: 2.04 2.01 1.95 3/87 3585
/proc/meminfo: memFree=1275928/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2400.01
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 239754 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2415.91
CPU time (s): 2400.08
CPU user time (s): 2397.6
CPU system time (s): 2.48662
CPU usage (%): 99.3448
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.6
system time used= 2.48662
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15899
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= 49888
involuntary context switches= 82968
runsolver used 2.32864 s user time and 7.11792 s system time
The end
Begin job on node43 on Sat Jan 20 15:05:45 UTC 2007
IDJOB= 280396
IDBENCH= 11089
IDSOLVER= 68
FILE ID= node43/280396-1169305544
PBS_JOBID= 3610139
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280396-1169305544/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-280396-1169305544 -o ROOT/results/node43/solver-280396-1169305544 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280396-1169305544/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 545fe723477775d9ecb184b6880d6072
RANDOM SEED= 309415255
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.278
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.278
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: 1358192 kB
Buffers: 48944 kB
Cached: 528852 kB
SwapCached: 612 kB
Active: 165368 kB
Inactive: 457924 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1358192 kB
SwapTotal: 4192956 kB
SwapFree: 4190672 kB
Dirty: 2812 kB
Writeback: 0 kB
Mapped: 64304 kB
Slab: 59784 kB
Committed_AS: 6288524 kB
PageTables: 1860 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66560 MiB
End job on node43 on Sat Jan 20 15:46:01 UTC 2007