0.40
0.40 Abscon 109 (November, 2006)
0.40
0.40 configuration
0.40 name=pfc.xml
0.43
0.43 instance
0.43 name=/tmp/evaluation/275684-1169225373/unknown.xml
0.46
0.46 domains being loaded...
0.47
0.47 variables being loaded...
0.50 nbVariables=26 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26
0.52 => wckTime=0.098 cpuTime=0.08 mem=6M910
0.52
0.52 relations being loaded...
0.62
0.62 constraints being loaded...
0.74 nbConstraints=325 nbRelationTypes=325 nbExtensionStructures=325 nbSharedExtensionStructures=0
0.74 nbConflictsStructures=325 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=908 maxDegree=25
0.74 maxArity=2
0.74 => wckTime=0.344 cpuTime=0.26 mem=14M744
0.79
0.79 solver LocalSearchSolver being built...
0.83 => wckTime=0.432 cpuTime=0.31 mem=6M288
0.84
0.84 s SATISFIABLE
0.84 o 265
0.84 c 60
0.84 o 273
0.84 c 52
0.84 o 279
0.84 c 46
0.84 o 285
0.84 c 40
0.84 o 289
0.84 c 36
0.84 o 294
0.84 c 31
0.84 o 298
0.84 c 27
0.85 o 300
0.85 c 25
0.85 o 301
0.85 c 24
0.85 o 304
0.85 c 21
0.85 o 307
0.85 c 18
0.85 o 308
0.85 c 17
0.85 o 310
0.85 c 15
0.86 o 311
0.86 c 14
0.86 o 312
0.86 c 13
0.88 o 313
0.88 c 12
0.89 o 315
0.89 c 10
0.89 o 317
0.89 c 8
0.89 o 318
0.89 c 7
0.92 o 319
0.92 c 6
0.93 o 320
0.93 c 5
0.93 o 321
0.93 c 4
1.25 o 322
1.25 c 3
1.29 o 323
1.29 c 2
4.65
4.66 search
4.66 run=0 nbConstraintChecks=28980010 nbAssignments=10000
4.66 => wckTime=3.824 cpuTime=3.77 mem=6M288
7.51 o 324
7.51 c 1
7.51
7.51 search
7.51 run=1 nbConstraintChecks=51297010 nbAssignments=17529
7.51 => wckTime=6.68 cpuTime=6.62 mem=6M288
7.51
7.51 global
7.51 nbConstraintChecks=51297010 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
7.51 solvingWckTime=6.678 solvingCpuTime=6.62 expiredTime=no totalExploration=no nbFoundSolutions=0
7.51 globalCpuTime=6.98
7.51 => wckTime=7.113 cpuTime=6.93 mem=6M288
7.51
7.51 solver IterativeSystematicSolver being built...
7.64 => wckTime=7.238 cpuTime=7.03 mem=17M229
7.65
7.65 preprocessing
7.65 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
7.65 detectedInconsistency=no
7.65 => wckTime=0.0070 cpuTime=0.0 mem=17M229
7.73
7.73 search
7.73 run=0 nbConstraintChecks=183231 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47
7.73 nbFailedAssignments=31 nbBacktracks=10 nbVisitedNodes=89 nbRestartNogoods=0
7.73 => wckTime=0.092 cpuTime=0.07 mem=17M229
7.82
7.82 search
7.82 run=1 nbConstraintChecks=489998 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=120
7.82 nbFailedAssignments=83 nbBacktracks=25 nbVisitedNodes=229 nbRestartNogoods=10
7.82 => wckTime=0.182 cpuTime=0.14 mem=17M229
7.92
7.92 search
7.92 run=2 nbConstraintChecks=922928 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=225
7.92 nbFailedAssignments=160 nbBacktracks=47 nbVisitedNodes=433 nbRestartNogoods=24
7.92 => wckTime=0.281 cpuTime=0.24 mem=17M229
8.05
8.05 search
8.05 run=3 nbConstraintChecks=1530727 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=371
8.05 nbFailedAssignments=268 nbBacktracks=80 nbVisitedNodes=720 nbRestartNogoods=40
8.05 => wckTime=0.412 cpuTime=0.36 mem=17M229
8.26
8.26 search
8.26 run=4 nbConstraintChecks=2523916 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=604
8.26 nbFailedAssignments=445 nbBacktracks=130 nbVisitedNodes=1180 nbRestartNogoods=62
8.26 => wckTime=0.62 cpuTime=0.57 mem=17M229
8.58
8.58 search
8.58 run=5 nbConstraintChecks=4099636 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=941
8.58 nbFailedAssignments=702 nbBacktracks=205 nbVisitedNodes=1849 nbRestartNogoods=84
8.58 => wckTime=0.943 cpuTime=0.89 mem=17M229
8.98
8.98 search
8.98 run=6 nbConstraintChecks=6057763 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1404
8.98 nbFailedAssignments=1047 nbBacktracks=318 nbVisitedNodes=2770 nbRestartNogoods=108
8.98 => wckTime=1.343 cpuTime=1.29 mem=17M229
9.61
9.61 search
9.61 run=7 nbConstraintChecks=9134076 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2117
9.61 nbFailedAssignments=1584 nbBacktracks=488 nbVisitedNodes=4190 nbRestartNogoods=113
9.61 => wckTime=1.969 cpuTime=1.89 mem=17M229
10.48
10.48 search
10.48 run=8 nbConstraintChecks=13578532 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3070
10.48 nbFailedAssignments=2276 nbBacktracks=744 nbVisitedNodes=6091 nbRestartNogoods=140
10.48 => wckTime=2.841 cpuTime=2.75 mem=17M229
11.95
11.95 search
11.95 run=9 nbConstraintChecks=20886739 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4801
11.95 nbFailedAssignments=3617 nbBacktracks=1128 nbVisitedNodes=9547 nbRestartNogoods=154
11.95 => wckTime=4.312 cpuTime=4.22 mem=17M229
13.90
13.90 search
13.90 run=10 nbConstraintChecks=30670325 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7106
13.90 nbFailedAssignments=5341 nbBacktracks=1704 nbVisitedNodes=14152 nbRestartNogoods=185
13.90 => wckTime=6.263 cpuTime=6.15 mem=17M229
16.91
16.91 search
16.91 run=11 nbConstraintChecks=46175829 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10481
16.91 nbFailedAssignments=7847 nbBacktracks=2568 nbVisitedNodes=20897 nbRestartNogoods=222
16.91 => wckTime=9.27 cpuTime=9.15 mem=17M229
21.53
21.53 search
21.53 run=12 nbConstraintChecks=69954899 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15646
21.53 nbFailedAssignments=11710 nbBacktracks=3865 nbVisitedNodes=31221 nbRestartNogoods=278
21.53 => wckTime=13.891 cpuTime=13.74 mem=17M229
28.43
28.43 search
28.43 run=13 nbConstraintChecks=106068289 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23042
28.43 nbFailedAssignments=17155 nbBacktracks=5811 nbVisitedNodes=45993 nbRestartNogoods=315
28.43 => wckTime=20.793 cpuTime=20.6 mem=17M229
37.02
37.02 search
37.02 run=14 nbConstraintChecks=149540785 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32864
37.02 nbFailedAssignments=24051 nbBacktracks=8730 nbVisitedNodes=65533 nbRestartNogoods=328
37.02 => wckTime=29.386 cpuTime=29.16 mem=17M229
48.58
48.58 search
48.58 run=15 nbConstraintChecks=209070103 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=45450
48.58 nbFailedAssignments=32252 nbBacktracks=13108 nbVisitedNodes=89790 nbRestartNogoods=343
48.58 => wckTime=40.942 cpuTime=40.66 mem=17M229
63.48
63.48 search
63.48 run=16 nbConstraintChecks=286515908 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=60573
63.48 nbFailedAssignments=40801 nbBacktracks=19676 nbVisitedNodes=117213 nbRestartNogoods=359
63.48 => wckTime=55.84 cpuTime=55.48 mem=17M229
83.97
83.97 search
83.97 run=17 nbConstraintChecks=393487627 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=81966
83.97 nbFailedAssignments=52336 nbBacktracks=29528 nbVisitedNodes=155003 nbRestartNogoods=381
83.97 => wckTime=76.329 cpuTime=75.88 mem=17M229
111.04
111.04 search
111.04 run=18 nbConstraintChecks=534736088 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=112050
111.04 nbFailedAssignments=67635 nbBacktracks=44307 nbVisitedNodes=206872 nbRestartNogoods=402
111.04 => wckTime=103.402 cpuTime=102.82 mem=17M229
152.04
152.04 search
152.04 run=19 nbConstraintChecks=750117185 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=156276
152.04 nbFailedAssignments=89687 nbBacktracks=66476 nbVisitedNodes=282345 nbRestartNogoods=419
152.04 => wckTime=144.402 cpuTime=143.63 mem=17M229
210.14
210.14 search
210.14 run=20 nbConstraintChecks=1054431539 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=220484
210.14 nbFailedAssignments=120638 nbBacktracks=99728 nbVisitedNodes=390341 nbRestartNogoods=441
210.14 => wckTime=202.501 cpuTime=201.45 mem=17M229
299.93
299.93 search
299.93 run=21 nbConstraintChecks=1526612557 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=316291
299.93 nbFailedAssignments=166562 nbBacktracks=149606 nbVisitedNodes=552050 nbRestartNogoods=459
299.93 => wckTime=292.296 cpuTime=290.83 mem=17M229
428.34
428.34 search
428.34 run=22 nbConstraintChecks=2200100919 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=458782
428.34 nbFailedAssignments=234229 nbBacktracks=224426 nbVisitedNodes=790982 nbRestartNogoods=477
428.34 => wckTime=420.703 cpuTime=418.64 mem=17M229
625.54
625.54 search
625.54 run=23 nbConstraintChecks=3235731804 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=672737
625.54 nbFailedAssignments=335950 nbBacktracks=336654 nbVisitedNodes=1150014 nbRestartNogoods=494
625.54 => wckTime=617.905 cpuTime=614.91 mem=17M229
912.76
912.76 search
912.76 run=24 nbConstraintChecks=4740726992 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=990981
912.76 nbFailedAssignments=485850 nbBacktracks=504995 nbVisitedNodes=1681338 nbRestartNogoods=521
912.76 => wckTime=905.119 cpuTime=900.59 mem=17M229
1341.60
1341.60 search
1341.60 run=25 nbConstraintChecks=6992192699 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1465710
1341.60 nbFailedAssignments=708061 nbBacktracks=757506 nbVisitedNodes=2474039 nbRestartNogoods=538
1341.60 => wckTime=1333.962 cpuTime=1327.41 mem=17M229
1987.07
1987.07 search
1987.07 run=26 nbConstraintChecks=10390411778 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1987.07 nbAssignments=2177998 nbFailedAssignments=1041575 nbBacktracks=1136274 nbVisitedNodes=3661811
1987.07 nbRestartNogoods=562
1987.07 => wckTime=1979.434 cpuTime=1969.87 mem=17M229
2411.72 v 0 25 7 12 22 18 8 1 22 7 17 23 3 21 8 2 11 8 5 18 10 2 0 8 12 13
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-275684-1169225373 -o ROOT/results/node58/solver-275684-1169225373 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275684-1169225373/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: 0.85 0.97 1.06 4/72 25829
/proc/meminfo: memFree=1371480/2055920 swapFree=4184236/4192956
[pid=25828] ppid=25826 vsize=1784 CPUtime=0
/proc/25828/stat : 25828 (java) D 25826 25828 25687 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 270935277 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/25828/statm: 446 136 102 14 0 91 0
[startup+0.108433 s]
/proc/loadavg: 0.85 0.97 1.06 4/72 25829
/proc/meminfo: memFree=1371480/2055920 swapFree=4184236/4192956
[pid=25828] ppid=25826 vsize=47416 CPUtime=0
/proc/25828/stat : 25828 (java) R 25826 25828 25687 0 -1 0 956 0 1 0 0 0 0 0 17 0 1 0 270935277 48553984 705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5338065 0 4 0 7368 0 0 0 17 1 0 0
/proc/25828/statm: 11854 705 573 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47416
[startup+0.520469 s]
/proc/loadavg: 0.85 0.97 1.06 4/72 25829
/proc/meminfo: memFree=1371480/2055920 swapFree=4184236/4192956
[pid=25828] ppid=25826 vsize=915332 CPUtime=0.41
/proc/25828/stat : 25828 (java) R 25826 25828 25687 0 -1 0 6145 0 1 0 38 3 0 0 17 0 8 0 270935277 937299968 5884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072924360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25828/statm: 228833 5884 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915332
[startup+1.34754 s]
/proc/loadavg: 0.94 0.98 1.06 3/82 25860
/proc/meminfo: memFree=1345160/2055920 swapFree=4184236/4192956
[pid=25828] ppid=25826 vsize=915464 CPUtime=1.23
/proc/25828/stat : 25828 (java) R 25826 25828 25687 0 -1 0 8856 0 1 0 112 11 0 0 22 0 8 0 270935277 937435136 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741498 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25828/statm: 228866 8594 2476 14 0 215336 0
[pid=25828/tid=25830] ppid=25826 vsize=915464 CPUtime=0.03
/proc/25828/task/25830/stat : 25830 (java) S 25826 25828 25687 0 -1 64 348 0 0 0 3 0 0 0 16 0 8 0 270935290 937435136 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25831] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25831/stat : 25831 (java) S 25826 25828 25687 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270935290 937435136 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25832] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25832/stat : 25832 (java) S 25826 25828 25687 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270935290 937435136 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25833] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25833/stat : 25833 (java) S 25826 25828 25687 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270935294 937435136 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25834] ppid=25826 vsize=915464 CPUtime=0.13
/proc/25828/task/25834/stat : 25834 (java) S 25826 25828 25687 0 -1 64 344 0 0 0 13 0 0 0 16 0 8 0 270935294 937435136 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25835] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25835/stat : 25835 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270935294 937435136 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25836] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25836/stat : 25836 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270935294 937435136 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915464
[startup+2.98468 s]
/proc/loadavg: 0.94 0.98 1.06 3/82 25860
/proc/meminfo: memFree=1345096/2055920 swapFree=4184236/4192956
[pid=25828] ppid=25826 vsize=915464 CPUtime=2.86
/proc/25828/stat : 25828 (java) R 25826 25828 25687 0 -1 0 8860 0 1 0 258 28 0 0 25 0 8 0 270935277 937435136 8597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741485 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25828/statm: 228866 8597 2476 14 0 215336 0
[pid=25828/tid=25830] ppid=25826 vsize=915464 CPUtime=0.03
/proc/25828/task/25830/stat : 25830 (java) S 25826 25828 25687 0 -1 64 348 0 0 0 3 0 0 0 16 0 8 0 270935290 937435136 8597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25831] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25831/stat : 25831 (java) S 25826 25828 25687 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270935290 937435136 8597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25832] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25832/stat : 25832 (java) S 25826 25828 25687 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270935290 937435136 8597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25833] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25833/stat : 25833 (java) S 25826 25828 25687 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270935294 937435136 8597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25834] ppid=25826 vsize=915464 CPUtime=0.14
/proc/25828/task/25834/stat : 25834 (java) S 25826 25828 25687 0 -1 64 347 0 0 0 14 0 0 0 16 0 8 0 270935294 937435136 8597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25835] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25835/stat : 25835 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270935294 937435136 8597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25836] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25836/stat : 25836 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270935294 937435136 8597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915464
[startup+6.26397 s]
/proc/loadavg: 0.94 0.98 1.06 3/82 25860
/proc/meminfo: memFree=1344904/2055920 swapFree=4184236/4192956
[pid=25828] ppid=25826 vsize=915468 CPUtime=6.12
/proc/25828/stat : 25828 (java) R 25826 25828 25687 0 -1 0 8862 0 1 0 549 63 0 0 25 0 8 0 270935277 937439232 8599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25828/statm: 228867 8599 2476 14 0 215337 0
[pid=25828/tid=25830] ppid=25826 vsize=915468 CPUtime=0.03
/proc/25828/task/25830/stat : 25830 (java) S 25826 25828 25687 0 -1 64 348 0 0 0 3 0 0 0 16 0 8 0 270935290 937439232 8599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25831] ppid=25826 vsize=915468 CPUtime=0
/proc/25828/task/25831/stat : 25831 (java) S 25826 25828 25687 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270935290 937439232 8599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25832] ppid=25826 vsize=915468 CPUtime=0
/proc/25828/task/25832/stat : 25832 (java) S 25826 25828 25687 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270935290 937439232 8599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25833] ppid=25826 vsize=915468 CPUtime=0
/proc/25828/task/25833/stat : 25833 (java) S 25826 25828 25687 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270935294 937439232 8599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25834] ppid=25826 vsize=915468 CPUtime=0.14
/proc/25828/task/25834/stat : 25834 (java) S 25826 25828 25687 0 -1 64 349 0 0 0 14 0 0 0 16 0 8 0 270935294 937439232 8599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25835] ppid=25826 vsize=915468 CPUtime=0
/proc/25828/task/25835/stat : 25835 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270935294 937439232 8599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25836] ppid=25826 vsize=915468 CPUtime=0
/proc/25828/task/25836/stat : 25836 (java) R 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270935294 937439232 8599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915468
[startup+12.7515 s]
/proc/loadavg: 1.10 1.02 1.07 3/82 25860
/proc/meminfo: memFree=1343752/2055920 swapFree=4184236/4192956
[pid=25828] ppid=25826 vsize=915464 CPUtime=12.57
/proc/25828/stat : 25828 (java) R 25826 25828 25687 0 -1 0 9216 0 1 0 1180 77 0 0 25 0 8 0 270935277 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073870106 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25828/statm: 228866 8949 2527 14 0 215336 0
[pid=25828/tid=25830] ppid=25826 vsize=915464 CPUtime=0.03
/proc/25828/task/25830/stat : 25830 (java) S 25826 25828 25687 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270935290 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25831] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25831/stat : 25831 (java) S 25826 25828 25687 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270935290 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25832] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25832/stat : 25832 (java) S 25826 25828 25687 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270935290 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25833] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25833/stat : 25833 (java) S 25826 25828 25687 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270935294 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25834] ppid=25826 vsize=915464 CPUtime=0.24
/proc/25828/task/25834/stat : 25834 (java) S 25826 25828 25687 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 270935294 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25835] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25835/stat : 25835 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270935294 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25836] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25836/stat : 25836 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270935294 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915464
[startup+25.6107 s]
/proc/loadavg: 1.24 1.05 1.08 3/81 25861
/proc/meminfo: memFree=1342928/2055920 swapFree=4184236/4192956
[pid=25828] ppid=25826 vsize=915464 CPUtime=25.38
/proc/25828/stat : 25828 (java) R 25826 25828 25687 0 -1 0 9228 0 1 0 2460 78 0 0 25 0 8 0 270935277 937435136 8960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844672 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25828/statm: 228866 8960 2527 14 0 215336 0
[pid=25828/tid=25830] ppid=25826 vsize=915464 CPUtime=0.03
/proc/25828/task/25830/stat : 25830 (java) S 25826 25828 25687 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270935290 937435136 8960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25831] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25831/stat : 25831 (java) S 25826 25828 25687 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270935290 937435136 8960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25832] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25832/stat : 25832 (java) S 25826 25828 25687 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270935290 937435136 8960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25833] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25833/stat : 25833 (java) S 25826 25828 25687 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270935294 937435136 8960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25834] ppid=25826 vsize=915464 CPUtime=0.25
/proc/25828/task/25834/stat : 25834 (java) S 25826 25828 25687 0 -1 64 406 0 0 0 24 1 0 0 15 0 8 0 270935294 937435136 8960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25835] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25835/stat : 25835 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270935294 937435136 8960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25836] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25836/stat : 25836 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270935294 937435136 8960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915464
[startup+51.2179 s]
/proc/loadavg: 1.50 1.12 1.10 3/81 25861
/proc/meminfo: memFree=1342864/2055920 swapFree=4184236/4192956
[pid=25828] ppid=25826 vsize=915464 CPUtime=50.86
/proc/25828/stat : 25828 (java) R 25826 25828 25687 0 -1 0 9236 0 1 0 5008 78 0 0 25 0 8 0 270935277 937435136 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073897198 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25828/statm: 228866 8967 2527 14 0 215336 0
[pid=25828/tid=25830] ppid=25826 vsize=915464 CPUtime=0.03
/proc/25828/task/25830/stat : 25830 (java) S 25826 25828 25687 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270935290 937435136 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25831] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25831/stat : 25831 (java) S 25826 25828 25687 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270935290 937435136 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25832] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25832/stat : 25832 (java) S 25826 25828 25687 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270935290 937435136 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25833] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25833/stat : 25833 (java) S 25826 25828 25687 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270935294 937435136 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25834] ppid=25826 vsize=915464 CPUtime=0.25
/proc/25828/task/25834/stat : 25834 (java) S 25826 25828 25687 0 -1 64 406 0 0 0 24 1 0 0 15 0 8 0 270935294 937435136 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25835] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25835/stat : 25835 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270935294 937435136 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25836] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25836/stat : 25836 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270935294 937435136 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915464
[startup+102.423 s]
/proc/loadavg: 1.80 1.27 1.15 3/81 25861
/proc/meminfo: memFree=1342864/2055920 swapFree=4184236/4192956
[pid=25828] ppid=25826 vsize=915464 CPUtime=101.83
/proc/25828/stat : 25828 (java) R 25826 25828 25687 0 -1 0 9242 0 1 0 10105 78 0 0 25 0 8 0 270935277 937435136 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073897193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25828/statm: 228866 8972 2527 14 0 215336 0
[pid=25828/tid=25830] ppid=25826 vsize=915464 CPUtime=0.03
/proc/25828/task/25830/stat : 25830 (java) S 25826 25828 25687 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270935290 937435136 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25831] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25831/stat : 25831 (java) S 25826 25828 25687 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270935290 937435136 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25832] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25832/stat : 25832 (java) S 25826 25828 25687 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270935290 937435136 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25833] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25833/stat : 25833 (java) S 25826 25828 25687 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270935294 937435136 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25834] ppid=25826 vsize=915464 CPUtime=0.25
/proc/25828/task/25834/stat : 25834 (java) S 25826 25828 25687 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 270935294 937435136 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25835] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25835/stat : 25835 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270935294 937435136 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25836] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25836/stat : 25836 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270935294 937435136 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 915464
[startup+162.476 s]
/proc/loadavg: 1.92 1.40 1.20 3/81 25861
/proc/meminfo: memFree=1342864/2055920 swapFree=4184236/4192956
[pid=25828] ppid=25826 vsize=915464 CPUtime=161.6
/proc/25828/stat : 25828 (java) R 25826 25828 25687 0 -1 0 9247 0 1 0 16082 78 0 0 25 0 8 0 270935277 937435136 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853253 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2014.33
Current children cumulated vsize (KiB) 915464
[startup+2084.2 s]
/proc/loadavg: 2.00 2.00 1.87 3/81 26061
/proc/meminfo: memFree=1342480/2055920 swapFree=4184236/4192956
[pid=25828] ppid=25826 vsize=915464 CPUtime=2074.1
/proc/25828/stat : 25828 (java) R 25826 25828 25687 0 -1 0 9264 0 1 0 207329 81 0 0 25 0 8 0 270935277 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25828/statm: 228866 8994 2527 14 0 215336 0
[pid=25828/tid=25830] ppid=25826 vsize=915464 CPUtime=0.03
/proc/25828/task/25830/stat : 25830 (java) S 25826 25828 25687 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25831] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25831/stat : 25831 (java) S 25826 25828 25687 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25832] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25832/stat : 25832 (java) S 25826 25828 25687 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25833] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25833/stat : 25833 (java) S 25826 25828 25687 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25834] ppid=25826 vsize=915464 CPUtime=0.25
/proc/25828/task/25834/stat : 25834 (java) S 25826 25828 25687 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25835] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25835/stat : 25835 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25836] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25836/stat : 25836 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.1
Current children cumulated vsize (KiB) 915464
[startup+2144.25 s]
/proc/loadavg: 2.00 2.00 1.87 3/81 26061
/proc/meminfo: memFree=1342544/2055920 swapFree=4184236/4192956
[pid=25828] ppid=25826 vsize=915464 CPUtime=2133.87
/proc/25828/stat : 25828 (java) R 25826 25828 25687 0 -1 0 9264 0 1 0 213306 81 0 0 25 0 8 0 270935277 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073898015 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25828/statm: 228866 8994 2527 14 0 215336 0
[pid=25828/tid=25830] ppid=25826 vsize=915464 CPUtime=0.03
/proc/25828/task/25830/stat : 25830 (java) S 25826 25828 25687 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25831] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25831/stat : 25831 (java) S 25826 25828 25687 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25832] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25832/stat : 25832 (java) S 25826 25828 25687 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25833] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25833/stat : 25833 (java) S 25826 25828 25687 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25834] ppid=25826 vsize=915464 CPUtime=0.25
/proc/25828/task/25834/stat : 25834 (java) S 25826 25828 25687 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25835] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25835/stat : 25835 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25836] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25836/stat : 25836 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2133.87
Current children cumulated vsize (KiB) 915464
[startup+2204.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/81 26061
/proc/meminfo: memFree=1342480/2055920 swapFree=4184236/4192956
[pid=25828] ppid=25826 vsize=915464 CPUtime=2193.66
/proc/25828/stat : 25828 (java) R 25826 25828 25687 0 -1 0 9264 0 1 0 219284 82 0 0 25 0 8 0 270935277 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073898196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25828/statm: 228866 8994 2527 14 0 215336 0
[pid=25828/tid=25830] ppid=25826 vsize=915464 CPUtime=0.03
/proc/25828/task/25830/stat : 25830 (java) S 25826 25828 25687 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25831] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25831/stat : 25831 (java) S 25826 25828 25687 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25832] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25832/stat : 25832 (java) S 25826 25828 25687 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25833] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25833/stat : 25833 (java) S 25826 25828 25687 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25834] ppid=25826 vsize=915464 CPUtime=0.25
/proc/25828/task/25834/stat : 25834 (java) S 25826 25828 25687 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25835] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25835/stat : 25835 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25836] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25836/stat : 25836 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2193.66
Current children cumulated vsize (KiB) 915464
[startup+2264.35 s]
/proc/loadavg: 2.13 2.03 1.90 3/81 26061
/proc/meminfo: memFree=1342480/2055920 swapFree=4184236/4192956
[pid=25828] ppid=25826 vsize=915464 CPUtime=2253.43
/proc/25828/stat : 25828 (java) R 25826 25828 25687 0 -1 0 9264 0 1 0 225261 82 0 0 25 0 8 0 270935277 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073884014 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25828/statm: 228866 8994 2527 14 0 215336 0
[pid=25828/tid=25830] ppid=25826 vsize=915464 CPUtime=0.03
/proc/25828/task/25830/stat : 25830 (java) S 25826 25828 25687 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25831] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25831/stat : 25831 (java) S 25826 25828 25687 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25832] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25832/stat : 25832 (java) S 25826 25828 25687 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25833] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25833/stat : 25833 (java) S 25826 25828 25687 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25834] ppid=25826 vsize=915464 CPUtime=0.25
/proc/25828/task/25834/stat : 25834 (java) S 25826 25828 25687 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25835] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25835/stat : 25835 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25836] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25836/stat : 25836 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2253.43
Current children cumulated vsize (KiB) 915464
[startup+2324.41 s]
/proc/loadavg: 2.08 2.04 1.91 3/81 26061
/proc/meminfo: memFree=1342480/2055920 swapFree=4184236/4192956
[pid=25828] ppid=25826 vsize=915464 CPUtime=2313.2
/proc/25828/stat : 25828 (java) R 25826 25828 25687 0 -1 0 9264 0 1 0 231238 82 0 0 25 0 8 0 270935277 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853341 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25828/statm: 228866 8994 2527 14 0 215336 0
[pid=25828/tid=25830] ppid=25826 vsize=915464 CPUtime=0.03
/proc/25828/task/25830/stat : 25830 (java) S 25826 25828 25687 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25831] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25831/stat : 25831 (java) S 25826 25828 25687 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25832] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25832/stat : 25832 (java) S 25826 25828 25687 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25833] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25833/stat : 25833 (java) S 25826 25828 25687 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25834] ppid=25826 vsize=915464 CPUtime=0.25
/proc/25828/task/25834/stat : 25834 (java) S 25826 25828 25687 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25835] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25835/stat : 25835 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25836] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25836/stat : 25836 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2313.2
Current children cumulated vsize (KiB) 915464
[startup+2384.46 s]
/proc/loadavg: 2.03 2.03 1.91 3/81 26061
/proc/meminfo: memFree=1342480/2055920 swapFree=4184236/4192956
[pid=25828] ppid=25826 vsize=915464 CPUtime=2372.96
/proc/25828/stat : 25828 (java) R 25826 25828 25687 0 -1 0 9264 0 1 0 237214 82 0 0 25 0 8 0 270935277 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25828/statm: 228866 8994 2527 14 0 215336 0
[pid=25828/tid=25830] ppid=25826 vsize=915464 CPUtime=0.03
/proc/25828/task/25830/stat : 25830 (java) S 25826 25828 25687 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25831] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25831/stat : 25831 (java) S 25826 25828 25687 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25832] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25832/stat : 25832 (java) S 25826 25828 25687 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25833] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25833/stat : 25833 (java) S 25826 25828 25687 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25834] ppid=25826 vsize=915464 CPUtime=0.25
/proc/25828/task/25834/stat : 25834 (java) S 25826 25828 25687 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25835] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25835/stat : 25835 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25836] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25836/stat : 25836 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2372.96
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2411.72 s]
/proc/loadavg: 2.02 2.02 1.91 3/75 26070
/proc/meminfo: memFree=1346104/2055920 swapFree=4184236/4192956
[pid=25828] ppid=25826 vsize=915464 CPUtime=2400.1
/proc/25828/stat : 25828 (java) R 25826 25828 25687 0 -1 0 9264 0 1 0 239928 82 0 0 25 0 8 0 270935277 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073897932 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25828/statm: 228866 8994 2527 14 0 215336 0
[pid=25828/tid=25830] ppid=25826 vsize=915464 CPUtime=0.03
/proc/25828/task/25830/stat : 25830 (java) S 25826 25828 25687 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25831] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25831/stat : 25831 (java) S 25826 25828 25687 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25832] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25832/stat : 25832 (java) S 25826 25828 25687 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270935290 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25833] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25833/stat : 25833 (java) S 25826 25828 25687 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25834] ppid=25826 vsize=915464 CPUtime=0.25
/proc/25828/task/25834/stat : 25834 (java) S 25826 25828 25687 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25835] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25835/stat : 25835 (java) S 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25828/tid=25836] ppid=25826 vsize=915464 CPUtime=0
/proc/25828/task/25836/stat : 25836 (java) R 25826 25828 25687 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270935294 937435136 8994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2411.78
CPU time (s): 2400.17
CPU user time (s): 2399.34
CPU system time (s): 0.830873
CPU usage (%): 99.5183
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.34
system time used= 0.830873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9286
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= 49944
involuntary context switches= 79837
runsolver used 3.41848 s user time and 7.2599 s system time
The end
Begin job on node58 on Fri Jan 19 16:49:33 UTC 2007
IDJOB= 275684
IDBENCH= 4352
IDSOLVER= 69
FILE ID= node58/275684-1169225373
PBS_JOBID= 3589230
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-26/rand-26-26-325-155-56021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275684-1169225373/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-275684-1169225373 -o ROOT/results/node58/solver-275684-1169225373 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275684-1169225373/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0e87c6c27c1f9bb5bfcab323b377dfc4
RANDOM SEED= 139459124
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.223
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.223
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: 1373456 kB
Buffers: 48700 kB
Cached: 549628 kB
SwapCached: 2792 kB
Active: 106372 kB
Inactive: 506368 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1373456 kB
SwapTotal: 4192956 kB
SwapFree: 4184236 kB
Dirty: 4912 kB
Writeback: 0 kB
Mapped: 20488 kB
Slab: 55408 kB
Committed_AS: 4258804 kB
PageTables: 1660 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 node58 on Fri Jan 19 17:29:45 UTC 2007