0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/276607-1169242204/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.39 => wckTime=0.098 cpuTime=0.08 mem=6M887
0.39
0.39 relations being loaded...
0.72
0.72 constraints being loaded...
0.85 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.85 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=9 maxArity=2
0.85 => wckTime=0.555 cpuTime=0.5 mem=36M271
0.90
0.90 solver LocalSearchSolver being built...
0.94 => wckTime=0.649 cpuTime=0.54 mem=7M375
0.96
0.96 s SATISFIABLE
0.96 o 13
0.96 c 71
0.96 o 15
0.96 c 69
0.96 o 18
0.96 c 66
0.96 o 22
0.96 c 62
0.96 o 25
0.96 c 59
0.96 o 28
0.96 c 56
0.97 o 31
0.97 c 53
0.97 o 34
0.97 c 50
0.97 o 36
0.97 c 48
0.97 o 38
0.97 c 46
0.97 o 39
0.97 c 45
0.97 o 40
0.97 c 44
0.97 o 42
0.97 c 42
0.98 o 44
0.98 c 40
0.98 o 45
0.98 c 39
0.98 o 47
0.98 c 37
0.98 o 49
0.98 c 35
0.98 o 50
0.98 c 34
0.98 o 51
0.98 c 33
0.98 o 52
0.98 c 32
0.98 o 53
0.98 c 31
0.98 o 55
0.98 c 29
0.99 o 56
0.99 c 28
0.99 o 58
0.99 c 26
0.99 o 59
0.99 c 25
0.99 o 60
0.99 c 24
1.00 o 61
1.00 c 23
1.00 o 62
1.00 c 22
1.00 o 63
1.00 c 21
1.01 o 64
1.01 c 20
1.01 o 65
1.01 c 19
1.02 o 66
1.02 c 18
1.02 o 67
1.02 c 17
1.02 o 68
1.02 c 16
1.05 o 69
1.05 c 15
1.07 o 70
1.07 c 14
1.07 o 71
1.07 c 13
1.07 o 72
1.07 c 12
1.08 o 73
1.08 c 11
1.10 o 74
1.10 c 10
1.11 o 75
1.11 c 9
1.11 o 76
1.11 c 8
1.12 o 77
1.12 c 7
1.17 o 78
1.17 c 6
2.43 o 79
2.43 c 5
2.43 o 80
2.43 c 4
2.45 o 81
2.45 c 3
2.52 o 82
2.52 c 2
9.46
9.46 search
9.46 run=0 nbConstraintChecks=76111142 nbAssignments=10000
9.46 => wckTime=8.514 cpuTime=8.48 mem=7M375
18.80
18.80 search
18.80 run=1 nbConstraintChecks=162231916 nbAssignments=20000
18.80 => wckTime=17.861 cpuTime=17.8 mem=7M375
28.25
28.25 search
28.25 run=2 nbConstraintChecks=249863948 nbAssignments=30000
28.25 => wckTime=27.304 cpuTime=27.23 mem=7M375
32.57
32.57 search
32.57 run=3 nbConstraintChecks=289693417 nbAssignments=34938
32.57 => wckTime=31.627 cpuTime=31.56 mem=7M375
32.57
32.57 global
32.57 nbConstraintChecks=289693417 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.57 solvingWckTime=31.623 solvingCpuTime=31.56 expiredTime=no totalExploration=no nbFoundSolutions=0
32.57 globalCpuTime=32.16
32.57 => wckTime=32.277 cpuTime=32.1 mem=7M375
32.57
32.57 solver IterativeSystematicSolver being built...
32.69 => wckTime=32.396 cpuTime=32.19 mem=18M287
32.86
32.86 preprocessing
32.86 nbConstraintChecks=454352 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
32.86 detectedInconsistency=no
32.86 => wckTime=0.169 cpuTime=0.15 mem=18M287
34.01
34.01 search
34.01 run=0 nbConstraintChecks=8197203 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=294
34.01 nbFailedAssignments=282 nbBacktracks=10 nbVisitedNodes=587 nbRestartNogoods=0
34.01 => wckTime=1.321 cpuTime=1.29 mem=18M287
37.82
37.82 search
37.82 run=1 nbConstraintChecks=32204004 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1115
37.82 nbFailedAssignments=1086 nbBacktracks=25 nbVisitedNodes=2227 nbRestartNogoods=59
37.82 => wckTime=5.132 cpuTime=5.08 mem=18M287
39.78
39.78 search
39.78 run=2 nbConstraintChecks=45516876 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1566
39.78 nbFailedAssignments=1510 nbBacktracks=47 nbVisitedNodes=3124 nbRestartNogoods=79
39.78 => wckTime=7.091 cpuTime=7.02 mem=18M287
50.75
50.75 search
50.75 run=3 nbConstraintChecks=113118283 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3781
50.75 nbFailedAssignments=3686 nbBacktracks=80 nbVisitedNodes=7548 nbRestartNogoods=302
50.75 => wckTime=18.061 cpuTime=17.99 mem=18M287
60.25
60.25 search
60.25 run=4 nbConstraintChecks=173826037 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5753
60.25 nbFailedAssignments=5603 nbBacktracks=130 nbVisitedNodes=11487 nbRestartNogoods=502
60.25 => wckTime=27.562 cpuTime=27.48 mem=18M287
75.53
75.53 search
75.53 run=5 nbConstraintChecks=287757249 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9796
75.53 nbFailedAssignments=9564 nbBacktracks=205 nbVisitedNodes=19566 nbRestartNogoods=689
75.53 => wckTime=42.838 cpuTime=42.73 mem=18M287
92.43
92.43 search
92.43 run=6 nbConstraintChecks=389937916 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13110
92.43 nbFailedAssignments=12759 nbBacktracks=318 nbVisitedNodes=26188 nbRestartNogoods=791
92.43 => wckTime=59.734 cpuTime=59.62 mem=18M287
120.84
120.84 search
120.84 run=7 nbConstraintChecks=564307879 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18555
120.84 nbFailedAssignments=18028 nbBacktracks=488 nbVisitedNodes=37071 nbRestartNogoods=906
120.84 => wckTime=88.147 cpuTime=87.99 mem=18M287
153.38
153.38 search
153.39 run=8 nbConstraintChecks=743874979 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24378
153.39 nbFailedAssignments=23592 nbBacktracks=745 nbVisitedNodes=48711 nbRestartNogoods=946
153.39 => wckTime=120.694 cpuTime=120.51 mem=18M287
190.44
190.47 search
190.47 run=9 nbConstraintChecks=945098527 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31653
190.47 nbFailedAssignments=30480 nbBacktracks=1129 nbVisitedNodes=63202 nbRestartNogoods=952
190.47 => wckTime=157.748 cpuTime=157.54 mem=18M287
230.25
230.25 search
230.25 run=10 nbConstraintChecks=1206518214 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42184
230.25 nbFailedAssignments=40433 nbBacktracks=1705 nbVisitedNodes=84212 nbRestartNogoods=1050
230.25 => wckTime=197.556 cpuTime=197.3 mem=18M287
292.60
292.60 search
292.60 run=11 nbConstraintChecks=1534153461 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54318
292.60 nbFailedAssignments=51701 nbBacktracks=2569 nbVisitedNodes=108342 nbRestartNogoods=1088
292.60 => wckTime=259.911 cpuTime=259.57 mem=18M287
368.04
368.04 search
368.04 run=12 nbConstraintChecks=1937056191 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=69401
368.04 nbFailedAssignments=65485 nbBacktracks=3866 nbVisitedNodes=138276 nbRestartNogoods=1096
368.04 => wckTime=335.354 cpuTime=334.96 mem=18M287
454.59
454.59 search
454.59 run=13 nbConstraintChecks=2392515108 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87426
454.59 nbFailedAssignments=81562 nbBacktracks=5812 nbVisitedNodes=174053 nbRestartNogoods=1159
454.59 => wckTime=421.901 cpuTime=421.42 mem=18M287
549.12
549.12 search
549.12 run=14 nbConstraintChecks=2818794579 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=105490
549.12 nbFailedAssignments=96704 nbBacktracks=8731 nbVisitedNodes=209586 nbRestartNogoods=1231
549.12 => wckTime=516.431 cpuTime=515.86 mem=18M287
684.98
684.98 search
684.98 run=15 nbConstraintChecks=3443080716 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=129120
684.98 nbFailedAssignments=115954 nbBacktracks=13109 nbVisitedNodes=255578 nbRestartNogoods=1254
684.98 => wckTime=652.292 cpuTime=651.59 mem=18M287
875.04
875.04 search
875.04 run=16 nbConstraintChecks=4286703752 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=162323
875.04 nbFailedAssignments=142587 nbBacktracks=19677 nbVisitedNodes=320094 nbRestartNogoods=1267
875.04 => wckTime=842.348 cpuTime=841.42 mem=18M287
879.88 o 83
879.88 c 1
983.65
983.65 search
983.65 run=17 nbConstraintChecks=4727662556 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=178774
983.65 nbFailedAssignments=154071 nbBacktracks=24644 nbVisitedNodes=349865 nbRestartNogoods=1292
983.65 => wckTime=950.962 cpuTime=949.94 mem=18M287
983.65
983.65 global
983.65 nbConstraintChecks=4728116908 nbRestartNogoods=1292 solvingWckTime=950.963 solvingCpuTime=949.94 expiredTime=no
983.65 totalExploration=yes nbFoundSolutions=1 globalCpuTime=982.19
983.65 => wckTime=983.36 cpuTime=982.13 mem=18M287
983.66
983.66 s OPTIMUM FOUND
983.66 v 5 145 52 52 106 16 0 40 2 45 90 28 156 106 173 21 50 156 117 15 87 10 79 32 0 89 127 35 170 163 165 2 107 81 51 93 77 1 95 90
983.66
983.66 totalWckTime=983.436 totalCpuTime=982.19
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-276607-1169242204 -o ROOT/results/node29/solver-276607-1169242204 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276607-1169242204/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.99 2.01 2.00 4/93 13029
/proc/meminfo: memFree=1320400/2055920 swapFree=4161388/4192956
[pid=13028] ppid=13026 vsize=172 CPUtime=0
/proc/13028/stat : 13028 (java) R 13026 13028 12116 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 272614511 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4129572 0 0 4096 0 0 0 0 17 0 0 0
/proc/13028/statm: 43 24 18 14 0 3 0
[startup+0.107423 s]
/proc/loadavg: 1.99 2.01 2.00 4/93 13029
/proc/meminfo: memFree=1320400/2055920 swapFree=4161388/4192956
[pid=13028] ppid=13026 vsize=914988 CPUtime=0.08
/proc/13028/stat : 13028 (java) R 13026 13028 12116 0 -1 0 3068 0 1 0 7 1 0 0 24 0 8 0 272614511 936947712 2814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13028/statm: 228747 2815 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51545 s]
/proc/loadavg: 1.99 2.01 2.00 4/93 13029
/proc/meminfo: memFree=1320400/2055920 swapFree=4161388/4192956
[pid=13028] ppid=13026 vsize=915332 CPUtime=0.5
/proc/13028/stat : 13028 (java) R 13026 13028 12116 0 -1 0 8057 0 1 0 45 5 0 0 25 0 8 0 272614511 937299968 7796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073589150 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13028/statm: 228833 7797 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.3385 s]
/proc/loadavg: 1.99 2.01 2.00 3/100 13036
/proc/meminfo: memFree=1274008/2055920 swapFree=4161388/4192956
[pid=13028] ppid=13026 vsize=915444 CPUtime=1.32
/proc/13028/stat : 13028 (java) R 13026 13028 12116 0 -1 0 14257 0 1 0 122 10 0 0 25 0 8 0 272614511 937414656 13995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13028/statm: 228861 13995 2479 14 0 215331 0
[pid=13028/tid=13030] ppid=13026 vsize=915444 CPUtime=0.03
/proc/13028/task/13030/stat : 13030 (java) S 13026 13028 12116 0 -1 64 616 0 0 0 3 0 0 0 17 0 8 0 272614515 937414656 13995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13031] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13031/stat : 13031 (java) S 13026 13028 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 13995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13032] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13032/stat : 13032 (java) S 13026 13028 12116 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 13995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13033] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12116 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272614518 937414656 13995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915444 CPUtime=0.11
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12116 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 272614518 937414656 13995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272614518 937414656 13995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272614518 937414656 13995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915444
[startup+2.9916 s]
/proc/loadavg: 1.99 2.01 2.00 3/100 13036
/proc/meminfo: memFree=1273944/2055920 swapFree=4161388/4192956
[pid=13028] ppid=13026 vsize=915444 CPUtime=2.97
/proc/13028/stat : 13028 (java) R 13026 13028 12116 0 -1 0 14262 0 1 0 280 17 0 0 25 0 8 0 272614511 937414656 13999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073677909 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13028/statm: 228861 13999 2479 14 0 215331 0
[pid=13028/tid=13030] ppid=13026 vsize=915444 CPUtime=0.03
/proc/13028/task/13030/stat : 13030 (java) S 13026 13028 12116 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272614515 937414656 13999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13031] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13031/stat : 13031 (java) S 13026 13028 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 13999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13032] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13032/stat : 13032 (java) S 13026 13028 12116 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 13999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13033] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12116 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272614518 937414656 13999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915444 CPUtime=0.12
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12116 0 -1 64 334 0 0 0 12 0 0 0 15 0 8 0 272614518 937414656 13999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272614518 937414656 13999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272614518 937414656 13999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915444
[startup+6.27681 s]
/proc/loadavg: 1.99 2.01 2.00 3/100 13036
/proc/meminfo: memFree=1273816/2055920 swapFree=4161388/4192956
[pid=13028] ppid=13026 vsize=915444 CPUtime=6.25
/proc/13028/stat : 13028 (java) R 13026 13028 12116 0 -1 0 14262 0 1 0 592 33 0 0 25 0 8 0 272614511 937414656 13999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13028/statm: 228861 13999 2479 14 0 215331 0
[pid=13028/tid=13030] ppid=13026 vsize=915444 CPUtime=0.03
/proc/13028/task/13030/stat : 13030 (java) S 13026 13028 12116 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272614515 937414656 13999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13031] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13031/stat : 13031 (java) S 13026 13028 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 13999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13032] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13032/stat : 13032 (java) S 13026 13028 12116 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 13999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13033] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12116 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272614518 937414656 13999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915444 CPUtime=0.12
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12116 0 -1 64 334 0 0 0 12 0 0 0 15 0 8 0 272614518 937414656 13999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272614518 937414656 13999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272614518 937414656 13999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915444
[startup+12.7662 s]
/proc/loadavg: 1.99 2.01 2.00 3/100 13036
/proc/meminfo: memFree=1273896/2055920 swapFree=4161388/4192956
[pid=13028] ppid=13026 vsize=915444 CPUtime=12.74
/proc/13028/stat : 13028 (java) R 13026 13028 12116 0 -1 0 14264 0 1 0 1214 60 0 0 25 0 8 0 272614511 937414656 14001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073678094 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13028/statm: 228861 14001 2479 14 0 215331 0
[pid=13028/tid=13030] ppid=13026 vsize=915444 CPUtime=0.03
/proc/13028/task/13030/stat : 13030 (java) S 13026 13028 12116 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272614515 937414656 14001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13031] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13031/stat : 13031 (java) S 13026 13028 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13032] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13032/stat : 13032 (java) S 13026 13028 12116 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13033] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12116 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272614518 937414656 14001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915444 CPUtime=0.12
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12116 0 -1 64 336 0 0 0 12 0 0 0 16 0 8 0 272614518 937414656 14001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272614518 937414656 14001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272614518 937414656 14001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 915444
[startup+25.607 s]
/proc/loadavg: 1.99 2.01 2.00 3/100 13036
/proc/meminfo: memFree=1274024/2055920 swapFree=4161388/4192956
[pid=13028] ppid=13026 vsize=915444 CPUtime=25.54
/proc/13028/stat : 13028 (java) R 13026 13028 12116 0 -1 0 14264 0 1 0 2445 109 0 0 25 0 8 0 272614511 937414656 14001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073679488 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13028/statm: 228861 14001 2479 14 0 215331 0
[pid=13028/tid=13030] ppid=13026 vsize=915448 CPUtime=0.03
/proc/13028/task/13030/stat : 13030 (java) S 13026 13028 12116 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272614515 937418752 14001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13031] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13031/stat : 13031 (java) S 13026 13028 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13032] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13032/stat : 13032 (java) S 13026 13028 12116 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13033] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12116 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272614518 937414656 14001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915444 CPUtime=0.12
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12116 0 -1 64 336 0 0 0 12 0 0 0 16 0 8 0 272614518 937414656 14001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272614518 937414656 14001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272614518 937414656 14001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915444
[startup+51.2226 s]
/proc/loadavg: 1.99 2.01 2.00 4/100 13036
/proc/meminfo: memFree=1273832/2055920 swapFree=4161388/4192956
[pid=13028] ppid=13026 vsize=915444 CPUtime=51.15
/proc/13028/stat : 13028 (java) R 13026 13028 12116 0 -1 0 14423 0 1 0 4972 143 0 0 25 0 8 0 272614511 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13028/statm: 228861 14151 2532 14 0 215331 0
[pid=13028/tid=13030] ppid=13026 vsize=915444 CPUtime=0.03
/proc/13028/task/13030/stat : 13030 (java) S 13026 13028 12116 0 -1 64 617 0 0 0 3 0 0 0 17 0 8 0 272614515 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13031] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13031/stat : 13031 (java) S 13026 13028 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13032] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13032/stat : 13032 (java) S 13026 13028 12116 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13033] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12116 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272614518 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915444 CPUtime=0.22
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12116 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 272614518 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272614518 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272614518 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 915444
[startup+102.452 s]
/proc/loadavg: 1.99 2.00 2.00 3/100 13036
/proc/meminfo: memFree=1273832/2055920 swapFree=4161388/4192956
[pid=13028] ppid=13026 vsize=915444 CPUtime=102.34
/proc/13028/stat : 13028 (java) R 13026 13028 12116 0 -1 0 14427 0 1 0 10091 143 0 0 25 0 8 0 272614511 937414656 14154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793741 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13028/statm: 228861 14154 2532 14 0 215331 0
[pid=13028/tid=13030] ppid=13026 vsize=915444 CPUtime=0.03
/proc/13028/task/13030/stat : 13030 (java) S 13026 13028 12116 0 -1 64 617 0 0 0 3 0 0 0 16 0 8 0 272614515 937414656 14154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13031] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13031/stat : 13031 (java) S 13026 13028 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13032] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13032/stat : 13032 (java) S 13026 13028 12116 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13033] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12116 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272614518 937414656 14154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915444 CPUtime=0.22
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12116 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 272614518 937414656 14154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272614518 937414656 14154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272614518 937414656 14154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 915444
[startup+162.526 s]
/proc/loadavg: 2.13 2.03 2.01 3/100 13036
/proc/meminfo: memFree=1273768/2055920 swapFree=4161388/4192956
[pid=13028] ppid=13026 vsize=915444 CPUtime=162.34
/proc/13028/stat : 13028 (java) R 13026 13028 12116 0 -1 0 14431 0 1 0 16090 144 0 0 25 0 8 0 272614511 937414656 14155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809684 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12116 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915444 CPUtime=0.23
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12116 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.39
Current children cumulated vsize (KiB) 915444
[startup+583.009 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 13036
/proc/meminfo: memFree=1273640/2055920 swapFree=4161388/4192956
[pid=13028] ppid=13026 vsize=915444 CPUtime=582.42
/proc/13028/stat : 13028 (java) R 13026 13028 12116 0 -1 0 14435 0 1 0 58097 145 0 0 25 0 8 0 272614511 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811875 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13028/statm: 228861 14157 2532 14 0 215331 0
[pid=13028/tid=13030] ppid=13026 vsize=915444 CPUtime=0.03
/proc/13028/task/13030/stat : 13030 (java) S 13026 13028 12116 0 -1 64 617 0 0 0 3 0 0 0 16 0 8 0 272614515 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13031] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13031/stat : 13031 (java) S 13026 13028 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13032] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13032/stat : 13032 (java) S 13026 13028 12116 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13033] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12116 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915444 CPUtime=0.23
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12116 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.42
Current children cumulated vsize (KiB) 915444
[startup+643.074 s]
/proc/loadavg: 2.06 2.02 2.00 3/100 13036
/proc/meminfo: memFree=1273704/2055920 swapFree=4161388/4192956
[pid=13028] ppid=13026 vsize=915444 CPUtime=642.43
/proc/13028/stat : 13028 (java) R 13026 13028 12116 0 -1 0 14435 0 1 0 64098 145 0 0 25 0 8 0 272614511 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793607 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13028/statm: 228861 14157 2532 14 0 215331 0
[pid=13028/tid=13030] ppid=13026 vsize=915444 CPUtime=0.03
/proc/13028/task/13030/stat : 13030 (java) S 13026 13028 12116 0 -1 64 617 0 0 0 3 0 0 0 16 0 8 0 272614515 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13031] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13031/stat : 13031 (java) S 13026 13028 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13032] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13032/stat : 13032 (java) S 13026 13028 12116 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13033] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12116 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915444 CPUtime=0.23
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12116 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 642.43
Current children cumulated vsize (KiB) 915444
[startup+703.136 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 13036
/proc/meminfo: memFree=1273704/2055920 swapFree=4161388/4192956
[pid=13028] ppid=13026 vsize=915444 CPUtime=702.43
/proc/13028/stat : 13028 (java) R 13026 13028 12116 0 -1 0 14436 0 1 0 70098 145 0 0 25 0 8 0 272614511 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809684 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13028/statm: 228861 14157 2532 14 0 215331 0
[pid=13028/tid=13030] ppid=13026 vsize=915444 CPUtime=0.03
/proc/13028/task/13030/stat : 13030 (java) S 13026 13028 12116 0 -1 64 617 0 0 0 3 0 0 0 16 0 8 0 272614515 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13031] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13031/stat : 13031 (java) S 13026 13028 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13032] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13032/stat : 13032 (java) S 13026 13028 12116 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13033] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12116 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915444 CPUtime=0.23
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12116 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 702.43
Current children cumulated vsize (KiB) 915444
[startup+763.202 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 13036
/proc/meminfo: memFree=1273704/2055920 swapFree=4161388/4192956
[pid=13028] ppid=13026 vsize=915444 CPUtime=762.43
/proc/13028/stat : 13028 (java) R 13026 13028 12116 0 -1 0 14436 0 1 0 76098 145 0 0 25 0 8 0 272614511 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793615 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13028/statm: 228861 14157 2532 14 0 215331 0
[pid=13028/tid=13030] ppid=13026 vsize=915444 CPUtime=0.03
/proc/13028/task/13030/stat : 13030 (java) S 13026 13028 12116 0 -1 64 617 0 0 0 3 0 0 0 16 0 8 0 272614515 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13031] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13031/stat : 13031 (java) S 13026 13028 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13032] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13032/stat : 13032 (java) S 13026 13028 12116 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13033] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12116 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915444 CPUtime=0.23
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12116 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 762.43
Current children cumulated vsize (KiB) 915444
[startup+823.27 s]
/proc/loadavg: 2.07 2.02 2.00 3/100 13036
/proc/meminfo: memFree=1273704/2055920 swapFree=4161388/4192956
[pid=13028] ppid=13026 vsize=915444 CPUtime=822.45
/proc/13028/stat : 13028 (java) R 13026 13028 12116 0 -1 0 14436 0 1 0 82100 145 0 0 25 0 8 0 272614511 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809771 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13028/statm: 228861 14157 2532 14 0 215331 0
[pid=13028/tid=13030] ppid=13026 vsize=915444 CPUtime=0.03
/proc/13028/task/13030/stat : 13030 (java) S 13026 13028 12116 0 -1 64 617 0 0 0 3 0 0 0 16 0 8 0 272614515 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13031] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13031/stat : 13031 (java) S 13026 13028 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13032] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13032/stat : 13032 (java) S 13026 13028 12116 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13033] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12116 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915444 CPUtime=0.23
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12116 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272614518 937414656 14157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 822.45
Current children cumulated vsize (KiB) 915444
[startup+883.34 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 13036
/proc/meminfo: memFree=1273640/2055920 swapFree=4161388/4192956
[pid=13028] ppid=13026 vsize=915444 CPUtime=882.43
/proc/13028/stat : 13028 (java) R 13026 13028 12116 0 -1 0 14437 0 1 0 88098 145 0 0 25 0 8 0 272614511 937414656 14158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786727 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13028/statm: 228861 14158 2532 14 0 215331 0
[pid=13028/tid=13030] ppid=13026 vsize=915444 CPUtime=0.03
/proc/13028/task/13030/stat : 13030 (java) S 13026 13028 12116 0 -1 64 617 0 0 0 3 0 0 0 16 0 8 0 272614515 937414656 14158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13031] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13031/stat : 13031 (java) S 13026 13028 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13032] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13032/stat : 13032 (java) S 13026 13028 12116 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13033] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12116 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272614518 937414656 14158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915444 CPUtime=0.23
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12116 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 272614518 937414656 14158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272614518 937414656 14158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272614518 937414656 14158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 882.43
Current children cumulated vsize (KiB) 915444
[startup+943.405 s]
/proc/loadavg: 2.01 2.00 2.00 3/100 13036
/proc/meminfo: memFree=1273640/2055920 swapFree=4161388/4192956
[pid=13028] ppid=13026 vsize=915444 CPUtime=942.44
/proc/13028/stat : 13028 (java) R 13026 13028 12116 0 -1 0 14437 0 1 0 94099 145 0 0 25 0 8 0 272614511 937414656 14158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790431 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13028/statm: 228861 14158 2532 14 0 215331 0
[pid=13028/tid=13030] ppid=13026 vsize=915444 CPUtime=0.03
/proc/13028/task/13030/stat : 13030 (java) S 13026 13028 12116 0 -1 64 617 0 0 0 3 0 0 0 16 0 8 0 272614515 937414656 14158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13031] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13031/stat : 13031 (java) S 13026 13028 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13032] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13032/stat : 13032 (java) S 13026 13028 12116 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272614515 937414656 14158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13033] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12116 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272614518 937414656 14158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915444 CPUtime=0.23
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12116 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 272614518 937414656 14158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272614518 937414656 14158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915444 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272614518 937414656 14158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 942.44
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 983.707
CPU time (s): 982.667
CPU user time (s): 981.18
CPU system time (s): 1.48677
CPU usage (%): 99.8942
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 981.18
system time used= 1.48677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14449
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= 21113
involuntary context switches= 47576
runsolver used 1.26481 s user time and 3.09253 s system time
The end
Begin job on node29 on Fri Jan 19 21:30:04 UTC 2007
IDJOB= 276607
IDBENCH= 5891
IDSOLVER= 68
FILE ID= node29/276607-1169242204
PBS_JOBID= 3589311
Free space on /tmp= 66558 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276607-1169242204/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-276607-1169242204 -o ROOT/results/node29/solver-276607-1169242204 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276607-1169242204/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 54797be09cfc54703d39b3ea9948e138
RANDOM SEED= 18003252
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.241
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.241
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: 1320816 kB
Buffers: 39956 kB
Cached: 545984 kB
SwapCached: 2192 kB
Active: 222564 kB
Inactive: 441560 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1320816 kB
SwapTotal: 4192956 kB
SwapFree: 4161388 kB
Dirty: 3504 kB
Writeback: 0 kB
Mapped: 103628 kB
Slab: 55472 kB
Committed_AS: 5855268 kB
PageTables: 2544 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= 66555 MiB
End job on node29 on Fri Jan 19 21:46:28 UTC 2007