0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/279452-1169293951/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=58 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.40 => wckTime=0.105 cpuTime=0.08 mem=6M910
0.40
0.40 relations being loaded...
0.46
0.46 constraints being loaded...
0.56 nbConstraints=309 nbRelationTypes=309 nbExtensionStructures=309 nbSharedExtensionStructures=0
0.56 nbConflictsStructures=309 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3058 maxDegree=25
0.56 maxArity=2
0.56 => wckTime=0.262 cpuTime=0.17 mem=9M852
0.60
0.60 solver LocalSearchSolver being built...
0.64 => wckTime=0.344 cpuTime=0.21 mem=5M660
0.64
0.64 s SATISFIABLE
0.64 o 166
0.64 c 143
0.64 o 168
0.64 c 141
0.64 o 174
0.64 c 135
0.65 o 179
0.65 c 130
0.65 o 180
0.65 c 129
0.65 o 185
0.65 c 124
0.65 o 186
0.65 c 123
0.65 o 191
0.65 c 118
0.65 o 192
0.65 c 117
0.65 o 194
0.65 c 115
0.65 o 199
0.65 c 110
0.65 o 202
0.65 c 107
0.65 o 204
0.65 c 105
0.66 o 208
0.66 c 101
0.66 o 211
0.66 c 98
0.66 o 213
0.66 c 96
0.66 o 215
0.66 c 94
0.66 o 216
0.66 c 93
0.66 o 217
0.66 c 92
0.66 o 219
0.66 c 90
0.66 o 220
0.66 c 89
0.66 o 222
0.66 c 87
0.66 o 226
0.66 c 83
0.66 o 227
0.66 c 82
0.67 o 228
0.67 c 81
0.67 o 230
0.67 c 79
0.67 o 233
0.67 c 76
0.67 o 234
0.67 c 75
0.67 o 236
0.67 c 73
0.67 o 237
0.67 c 72
0.68 o 238
0.68 c 71
0.68 o 240
0.68 c 69
0.68 o 242
0.68 c 67
0.68 o 243
0.68 c 66
0.68 o 245
0.68 c 64
0.68 o 246
0.68 c 63
0.68 o 248
0.68 c 61
0.68 o 249
0.68 c 60
0.68 o 250
0.68 c 59
0.68 o 251
0.68 c 58
0.68 o 252
0.68 c 57
0.70 o 253
0.70 c 56
0.71 o 254
0.71 c 55
0.73 o 256
0.73 c 53
0.73 o 257
0.73 c 52
0.74 o 259
0.74 c 50
0.87 o 260
0.87 c 49
0.87 o 261
0.87 c 48
1.66 o 262
1.66 c 47
2.88
2.88 search
2.88 run=0 nbConstraintChecks=12538722 nbAssignments=10000
2.88 => wckTime=2.241 cpuTime=2.23 mem=5M660
5.07
5.07 search
5.07 run=1 nbConstraintChecks=25299069 nbAssignments=20000
5.07 => wckTime=4.434 cpuTime=4.42 mem=5M660
6.35 o 263
6.35 c 46
7.23
7.23 search
7.23 run=2 nbConstraintChecks=37765137 nbAssignments=30000
7.23 => wckTime=6.589 cpuTime=6.57 mem=5M660
9.39
9.39 search
9.39 run=3 nbConstraintChecks=50388086 nbAssignments=40000
9.39 => wckTime=8.754 cpuTime=8.74 mem=5M660
11.54
11.54 search
11.54 run=4 nbConstraintChecks=62898832 nbAssignments=50000
11.54 => wckTime=10.906 cpuTime=10.89 mem=5M660
13.70
13.70 search
13.70 run=5 nbConstraintChecks=75446334 nbAssignments=60000
13.70 => wckTime=13.059 cpuTime=13.04 mem=5M660
15.84
15.84 search
15.84 run=6 nbConstraintChecks=87947897 nbAssignments=70000
15.84 => wckTime=15.205 cpuTime=15.19 mem=5M660
18.02
18.02 search
18.02 run=7 nbConstraintChecks=100583757 nbAssignments=80000
18.02 => wckTime=17.386 cpuTime=17.36 mem=5M660
20.18
20.18 search
20.18 run=8 nbConstraintChecks=113022298 nbAssignments=90000
20.18 => wckTime=19.545 cpuTime=19.52 mem=5M660
21.38 o 264
21.38 c 45
22.37
22.37 search
22.37 run=9 nbConstraintChecks=125702371 nbAssignments=100000
22.37 => wckTime=21.731 cpuTime=21.71 mem=5M660
24.54
24.54 search
24.54 run=10 nbConstraintChecks=138240731 nbAssignments=110000
24.54 => wckTime=23.899 cpuTime=23.88 mem=5M660
26.75
26.75 search
26.75 run=11 nbConstraintChecks=151085712 nbAssignments=120000
26.75 => wckTime=26.109 cpuTime=26.08 mem=5M660
28.89
28.89 search
28.89 run=12 nbConstraintChecks=163500939 nbAssignments=130000
28.89 => wckTime=28.249 cpuTime=28.22 mem=5M660
31.04
31.04 search
31.04 run=13 nbConstraintChecks=176071902 nbAssignments=140000
31.04 => wckTime=30.406 cpuTime=30.38 mem=5M660
33.18
33.18 search
33.18 run=14 nbConstraintChecks=188437387 nbAssignments=150000
33.18 => wckTime=32.539 cpuTime=32.52 mem=5M660
35.38
35.38 search
35.38 run=15 nbConstraintChecks=201395609 nbAssignments=160000
35.38 => wckTime=34.741 cpuTime=34.71 mem=5M660
37.52
37.52 search
37.52 run=16 nbConstraintChecks=213758977 nbAssignments=170000
37.52 => wckTime=36.883 cpuTime=36.86 mem=5M660
39.72
39.72 search
39.72 run=17 nbConstraintChecks=226502761 nbAssignments=180000
39.72 => wckTime=39.08 cpuTime=39.05 mem=5M660
41.88
41.88 search
41.88 run=18 nbConstraintChecks=238966420 nbAssignments=190000
41.88 => wckTime=41.242 cpuTime=41.22 mem=5M660
44.07
44.07 search
44.07 run=19 nbConstraintChecks=251713909 nbAssignments=200000
44.07 => wckTime=43.434 cpuTime=43.41 mem=5M660
46.24
46.24 search
46.24 run=20 nbConstraintChecks=264261792 nbAssignments=210000
46.24 => wckTime=45.604 cpuTime=45.57 mem=5M660
48.42
48.42 search
48.42 run=21 nbConstraintChecks=277011713 nbAssignments=220000
48.42 => wckTime=47.786 cpuTime=47.75 mem=5M660
50.57
50.57 search
50.57 run=22 nbConstraintChecks=289468129 nbAssignments=230000
50.57 => wckTime=49.93 cpuTime=49.9 mem=5M660
51.40
51.40 search
51.40 run=23 nbConstraintChecks=294372814 nbAssignments=233819
51.40 => wckTime=50.764 cpuTime=50.74 mem=5M660
51.40
51.40 global
51.40 nbConstraintChecks=294372814 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
51.40 solvingWckTime=50.763 solvingCpuTime=50.73 expiredTime=no totalExploration=no nbFoundSolutions=0
51.40 globalCpuTime=51.0
51.40 => wckTime=51.109 cpuTime=50.95 mem=5M660
51.40
51.40 solver IterativeSystematicSolver being built...
51.53 => wckTime=51.233 cpuTime=51.04 mem=16M682
51.54
51.54 preprocessing
51.54 nbConstraintChecks=270 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
51.54 detectedInconsistency=no
51.54 => wckTime=0.0070 cpuTime=0.01 mem=16M682
51.60
51.60 search
51.60 run=0 nbConstraintChecks=70745 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48
51.60 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=70 nbRestartNogoods=0
51.60 => wckTime=0.076 cpuTime=0.06 mem=16M682
51.65
51.65 search
51.65 run=1 nbConstraintChecks=163726 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=104
51.65 nbFailedAssignments=30 nbBacktracks=25 nbVisitedNodes=160 nbRestartNogoods=3
51.65 => wckTime=0.127 cpuTime=0.1 mem=16M682
51.71
51.71 search
51.71 run=2 nbConstraintChecks=297630 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=175
51.71 nbFailedAssignments=56 nbBacktracks=47 nbVisitedNodes=279 nbRestartNogoods=5
51.71 => wckTime=0.182 cpuTime=0.15 mem=16M682
51.79
51.79 search
51.79 run=3 nbConstraintChecks=517927 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=284
51.79 nbFailedAssignments=110 nbBacktracks=80 nbVisitedNodes=475 nbRestartNogoods=7
51.80 => wckTime=0.266 cpuTime=0.24 mem=16M682
51.91
51.91 search
51.91 run=4 nbConstraintChecks=828043 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=427
51.91 nbFailedAssignments=179 nbBacktracks=130 nbVisitedNodes=737 nbRestartNogoods=14
51.91 => wckTime=0.384 cpuTime=0.36 mem=16M682
52.18
52.18 search
52.18 run=5 nbConstraintChecks=1471991 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=720
52.18 nbFailedAssignments=378 nbBacktracks=205 nbVisitedNodes=1304 nbRestartNogoods=22
52.18 => wckTime=0.652 cpuTime=0.62 mem=16M682
52.42
52.42 search
52.43 run=6 nbConstraintChecks=2112447 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1004
52.43 nbFailedAssignments=526 nbBacktracks=318 nbVisitedNodes=1849 nbRestartNogoods=24
52.43 => wckTime=0.897 cpuTime=0.86 mem=16M682
52.93
52.93 search
52.93 run=7 nbConstraintChecks=3346930 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1536
52.93 nbFailedAssignments=866 nbBacktracks=488 nbVisitedNodes=2891 nbRestartNogoods=29
52.93 => wckTime=1.405 cpuTime=1.36 mem=16M682
53.61
53.61 search
53.61 run=8 nbConstraintChecks=5064947 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2292
53.61 nbFailedAssignments=1343 nbBacktracks=744 nbVisitedNodes=4380 nbRestartNogoods=32
53.61 => wckTime=2.085 cpuTime=2.03 mem=16M682
54.56
54.56 search
54.56 run=9 nbConstraintChecks=7534055 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3343
54.56 nbFailedAssignments=1986 nbBacktracks=1128 nbVisitedNodes=6458 nbRestartNogoods=36
54.56 => wckTime=3.032 cpuTime=2.97 mem=16M682
55.94
55.94 search
55.94 run=10 nbConstraintChecks=11273782 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4910
55.94 nbFailedAssignments=2954 nbBacktracks=1704 nbVisitedNodes=9569 nbRestartNogoods=45
55.94 => wckTime=4.41 cpuTime=4.34 mem=16M682
58.29
58.29 search
58.29 run=11 nbConstraintChecks=17205815 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7406
58.29 nbFailedAssignments=4566 nbBacktracks=2568 nbVisitedNodes=14541 nbRestartNogoods=53
58.29 => wckTime=6.76 cpuTime=6.69 mem=16M682
60.93
60.93 search
60.93 run=12 nbConstraintChecks=24511151 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10467
60.93 nbFailedAssignments=6305 nbBacktracks=3865 nbVisitedNodes=20638 nbRestartNogoods=68
60.93 => wckTime=9.397 cpuTime=9.33 mem=16M682
66.05
66.05 search
66.05 run=13 nbConstraintChecks=38883439 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16390
66.05 nbFailedAssignments=10260 nbBacktracks=5811 nbVisitedNodes=32462 nbRestartNogoods=77
66.05 => wckTime=14.52 cpuTime=14.45 mem=16M682
72.26
72.26 search
72.26 run=14 nbConstraintChecks=55722406 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23526
72.26 nbFailedAssignments=14455 nbBacktracks=8730 nbVisitedNodes=46712 nbRestartNogoods=90
72.26 => wckTime=20.737 cpuTime=20.66 mem=16M682
84.11
84.11 search
84.11 run=15 nbConstraintChecks=86864474 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36437
84.11 nbFailedAssignments=22966 nbBacktracks=13108 nbVisitedNodes=72512 nbRestartNogoods=94
84.11 => wckTime=32.582 cpuTime=32.51 mem=16M682
99.54
99.54 search
99.54 run=16 nbConstraintChecks=128584282 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54145
99.54 nbFailedAssignments=34085 nbBacktracks=19676 nbVisitedNodes=107907 nbRestartNogoods=101
99.54 => wckTime=48.011 cpuTime=47.93 mem=16M682
120.21
120.21 search
120.21 run=17 nbConstraintChecks=183564050 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=77474
120.21 nbFailedAssignments=47539 nbBacktracks=29528 nbVisitedNodes=154542 nbRestartNogoods=108
120.21 => wckTime=68.684 cpuTime=68.6 mem=16M682
157.47
157.47 search
157.47 run=18 nbConstraintChecks=281848068 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=117792
157.47 nbFailedAssignments=73057 nbBacktracks=44307 nbVisitedNodes=235157 nbRestartNogoods=118
157.47 => wckTime=105.939 cpuTime=105.84 mem=16M682
214.47
214.47 search
214.47 run=19 nbConstraintChecks=413457042 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=172334
214.47 nbFailedAssignments=105413 nbBacktracks=66475 nbVisitedNodes=344221 nbRestartNogoods=126
214.47 => wckTime=162.943 cpuTime=162.83 mem=16M682
299.70
299.70 search
299.70 run=20 nbConstraintChecks=610016624 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=258328
299.70 nbFailedAssignments=158141 nbBacktracks=99727 nbVisitedNodes=516080 nbRestartNogoods=141
299.70 => wckTime=248.17 cpuTime=248.03 mem=16M682
424.91
424.91 search
424.91 run=21 nbConstraintChecks=878624595 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=385276
424.91 nbFailedAssignments=235196 nbBacktracks=149606 nbVisitedNodes=768873 nbRestartNogoods=157
424.91 => wckTime=373.383 cpuTime=373.21 mem=16M682
585.47
585.47 search
585.47 run=22 nbConstraintChecks=1227888550 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=570835
585.47 nbFailedAssignments=345918 nbBacktracks=224424 nbVisitedNodes=1133871 nbRestartNogoods=169
585.47 => wckTime=533.942 cpuTime=533.64 mem=16M682
782.30
782.30 search
782.30 run=23 nbConstraintChecks=1630467784 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=809129
782.30 nbFailedAssignments=471968 nbBacktracks=336651 nbVisitedNodes=1594010 nbRestartNogoods=183
782.30 => wckTime=730.768 cpuTime=730.42 mem=16M682
1053.04
1053.04 search
1053.04 run=24 nbConstraintChecks=2148329592 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1140777
1053.04 nbFailedAssignments=635256 nbBacktracks=504994 nbVisitedNodes=2243867 nbRestartNogoods=191
1053.04 => wckTime=1001.512 cpuTime=1001.1 mem=16M682
1397.33
1397.33 search
1397.33 run=25 nbConstraintChecks=2918984479 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1604500
1397.33 nbFailedAssignments=846445 nbBacktracks=757505 nbVisitedNodes=3135023 nbRestartNogoods=202
1397.33 => wckTime=1345.799 cpuTime=1345.29 mem=16M682
1868.45
1868.45 search
1868.45 run=26 nbConstraintChecks=3904395249 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2257614
1868.45 nbFailedAssignments=1120774 nbBacktracks=1136272 nbVisitedNodes=4367807 nbRestartNogoods=215
1868.45 => wckTime=1816.921 cpuTime=1816.3 mem=16M682
2400.84 v 4 0 3 0 2 4 4 4 4 4 3 1 2 2 1 0 0 3 4 1 2 2 0 4 4 4 3 0 2 3 1 2 2 1 4 4 4 3 3 3 3 1 0 4 4 2 0 0 2 0 1 2 0 2 1 1 2 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-279452-1169293951 -o ROOT/results/node47/solver-279452-1169293951 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279452-1169293951/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.00 1.00 1.12 3/65 28811
/proc/meminfo: memFree=1402208/2055920 swapFree=4184008/4192956
[pid=28810] ppid=28808 vsize=18540 CPUtime=0
/proc/28810/stat : 28810 (runsolver) R 28808 28810 27898 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 277794361 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 208717540647 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/28810/statm: 4635 279 244 17 0 2626 0
[startup+0.103676 s]
/proc/loadavg: 1.00 1.00 1.12 3/65 28811
/proc/meminfo: memFree=1402208/2055920 swapFree=4184008/4192956
[pid=28810] ppid=28808 vsize=914988 CPUtime=0.08
/proc/28810/stat : 28810 (java) R 28808 28810 27898 0 -1 0 3001 0 1 0 7 1 0 0 23 0 8 0 277794361 936947712 2747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925084 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28810/statm: 228747 2747 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512719 s]
/proc/loadavg: 1.00 1.00 1.12 3/65 28811
/proc/meminfo: memFree=1402208/2055920 swapFree=4184008/4192956
[pid=28810] ppid=28808 vsize=915332 CPUtime=0.49
/proc/28810/stat : 28810 (java) R 28808 28810 27898 0 -1 0 6590 0 1 0 46 3 0 0 16 0 8 0 277794361 937299968 6329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073666477 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28810/statm: 228833 6330 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.3378 s]
/proc/loadavg: 1.00 1.00 1.12 2/72 28818
/proc/meminfo: memFree=1383272/2055920 swapFree=4184008/4192956
[pid=28810] ppid=28808 vsize=916488 CPUtime=1.32
/proc/28810/stat : 28810 (java) R 28808 28810 27898 0 -1 0 7398 0 1 0 114 18 0 0 17 0 8 0 277794361 938483712 7136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28810/statm: 229122 7136 2476 14 0 215592 0
[pid=28810/tid=28812] ppid=28808 vsize=916488 CPUtime=0.02
/proc/28810/task/28812/stat : 28812 (java) S 28808 28810 27898 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277794365 938483712 7136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28810/tid=28813] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 27898 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 7136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 27898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 7136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 27898 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277794369 938483712 7136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=916488 CPUtime=0.14
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 27898 0 -1 64 349 0 0 0 14 0 0 0 16 0 8 0 277794369 938483712 7136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28817] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 27898 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277794369 938483712 7136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 27898 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277794369 938483712 7136 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) 916488
[startup+2.97898 s]
/proc/loadavg: 1.00 1.00 1.12 2/72 28818
/proc/meminfo: memFree=1383272/2055920 swapFree=4184008/4192956
[pid=28810] ppid=28808 vsize=916488 CPUtime=2.96
/proc/28810/stat : 28810 (java) R 28808 28810 27898 0 -1 0 7403 0 1 0 247 49 0 0 17 0 8 0 277794361 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28810/statm: 229122 7140 2476 14 0 215592 0
[pid=28810/tid=28812] ppid=28808 vsize=916488 CPUtime=0.02
/proc/28810/task/28812/stat : 28812 (java) S 28808 28810 27898 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277794365 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28810/tid=28813] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 27898 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=916492 CPUtime=0
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 27898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277794366 938487808 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 27898 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277794369 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=916488 CPUtime=0.14
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 27898 0 -1 64 352 0 0 0 14 0 0 0 16 0 8 0 277794369 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28817] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 27898 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277794369 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 27898 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277794369 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 916488
[startup+6.25532 s]
/proc/loadavg: 1.00 1.00 1.12 2/72 28818
/proc/meminfo: memFree=1383208/2055920 swapFree=4184008/4192956
[pid=28810] ppid=28808 vsize=916488 CPUtime=6.24
/proc/28810/stat : 28810 (java) R 28808 28810 27898 0 -1 0 7403 0 1 0 515 109 0 0 19 0 8 0 277794361 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28810/statm: 229122 7140 2476 14 0 215592 0
[pid=28810/tid=28812] ppid=28808 vsize=916488 CPUtime=0.02
/proc/28810/task/28812/stat : 28812 (java) S 28808 28810 27898 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277794365 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28813] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 27898 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=916492 CPUtime=0
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 27898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277794366 938487808 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 27898 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277794369 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=916488 CPUtime=0.14
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 27898 0 -1 64 352 0 0 0 14 0 0 0 16 0 8 0 277794369 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28817] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 27898 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277794369 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 27898 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277794369 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 916488
[startup+12.736 s]
/proc/loadavg: 1.00 1.00 1.11 2/72 28818
/proc/meminfo: memFree=1383224/2055920 swapFree=4184008/4192956
[pid=28810] ppid=28808 vsize=916488 CPUtime=12.71
/proc/28810/stat : 28810 (java) R 28808 28810 27898 0 -1 0 7403 0 1 0 1044 227 0 0 25 0 8 0 277794361 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28810/statm: 229122 7140 2476 14 0 215592 0
[pid=28810/tid=28812] ppid=28808 vsize=916488 CPUtime=0.02
/proc/28810/task/28812/stat : 28812 (java) S 28808 28810 27898 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277794365 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28813] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 27898 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 27898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=916492 CPUtime=0
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 27898 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277794369 938487808 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=916488 CPUtime=0.15
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 27898 0 -1 64 352 0 0 0 15 0 0 0 16 0 8 0 277794369 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28817] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 27898 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277794369 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 27898 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277794369 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 916488
[startup+25.5724 s]
/proc/loadavg: 1.00 1.00 1.11 2/72 28818
/proc/meminfo: memFree=1383224/2055920 swapFree=4184008/4192956
[pid=28810] ppid=28808 vsize=916488 CPUtime=25.54
/proc/28810/stat : 28810 (java) R 28808 28810 27898 0 -1 0 7403 0 1 0 2102 452 0 0 25 0 8 0 277794361 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28810/statm: 229122 7140 2476 14 0 215592 0
[pid=28810/tid=28812] ppid=28808 vsize=916492 CPUtime=0.02
/proc/28810/task/28812/stat : 28812 (java) S 28808 28810 27898 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277794365 938487808 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28813] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 27898 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 27898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 27898 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277794369 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=916488 CPUtime=0.15
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 27898 0 -1 64 352 0 0 0 15 0 0 0 16 0 8 0 277794369 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28817] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 27898 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277794369 938483712 7140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=916492 CPUtime=0
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 27898 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277794369 938487808 7140 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) 916488
[startup+51.2541 s]
/proc/loadavg: 1.00 1.00 1.11 2/72 28818
/proc/meminfo: memFree=1383224/2055920 swapFree=4184008/4192956
[pid=28810] ppid=28808 vsize=916492 CPUtime=51.22
/proc/28810/stat : 28810 (java) R 28808 28810 27898 0 -1 0 7404 0 1 0 4201 921 0 0 19 0 8 0 277794361 938487808 7141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28810/statm: 229122 7141 2476 14 0 215592 0
[pid=28810/tid=28812] ppid=28808 vsize=916488 CPUtime=0.02
/proc/28810/task/28812/stat : 28812 (java) S 28808 28810 27898 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277794365 938483712 7141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28813] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 27898 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 7141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 27898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 7141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 27898 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277794369 938483712 7141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=916492 CPUtime=0.15
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 27898 0 -1 64 353 0 0 0 15 0 0 0 16 0 8 0 277794369 938487808 7141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28817] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 27898 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277794369 938483712 7141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 27898 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277794369 938483712 7141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 916492
[startup+102.503 s]
/proc/loadavg: 1.06 1.01 1.10 2/72 28818
/proc/meminfo: memFree=1376632/2055920 swapFree=4184008/4192956
[pid=28810] ppid=28808 vsize=916488 CPUtime=102.45
/proc/28810/stat : 28810 (java) R 28808 28810 27898 0 -1 0 9135 0 1 0 9319 926 0 0 25 0 8 0 277794361 938483712 8868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073924836 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28810/statm: 229122 8868 2527 14 0 215592 0
[pid=28810/tid=28812] ppid=28808 vsize=916488 CPUtime=0.02
/proc/28810/task/28812/stat : 28812 (java) S 28808 28810 27898 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 277794365 938483712 8868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28813] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 27898 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 8868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 27898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 8868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 27898 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277794369 938483712 8868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=916488 CPUtime=0.24
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 27898 0 -1 64 410 0 0 0 23 1 0 0 17 0 8 0 277794369 938483712 8868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28810/tid=28817] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 27898 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277794369 938483712 8868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 27898 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277794369 938483712 8868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 916488
[startup+162.587 s]
/proc/loadavg: 1.02 1.01 1.09 2/72 28818
/proc/meminfo: memFree=1376632/2055920 swapFree=4184008/4192956
[pid=28810] ppid=28808 vsize=916488 CPUtime=162.52
/proc/28810/stat : 28810 (java) R 28808 28810 27898 0 -1 0 9140 0 1 0 15326 926 0 0 25 0 8 0 277794361 938483712 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855026 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2024.49
Current children cumulated vsize (KiB) 916488
[startup+2085.2 s]
/proc/loadavg: 1.04 1.01 1.00 2/72 29018
/proc/meminfo: memFree=1376184/2055920 swapFree=4184008/4192956
[pid=28810] ppid=28808 vsize=916488 CPUtime=2084.55
/proc/28810/stat : 28810 (java) R 28808 28810 27898 0 -1 0 9163 0 1 0 207527 928 0 0 25 0 8 0 277794361 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28810/statm: 229122 8894 2527 14 0 215592 0
[pid=28810/tid=28812] ppid=28808 vsize=916488 CPUtime=0.02
/proc/28810/task/28812/stat : 28812 (java) S 28808 28810 27898 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 277794365 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28813] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 27898 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 27898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 27898 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=916488 CPUtime=0.25
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 27898 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28810/tid=28817] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 27898 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 27898 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2084.55
Current children cumulated vsize (KiB) 916488
[startup+2145.29 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 29018
/proc/meminfo: memFree=1376184/2055920 swapFree=4184008/4192956
[pid=28810] ppid=28808 vsize=916488 CPUtime=2144.62
/proc/28810/stat : 28810 (java) R 28808 28810 27898 0 -1 0 9163 0 1 0 213534 928 0 0 25 0 8 0 277794361 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854961 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28810/statm: 229122 8894 2527 14 0 215592 0
[pid=28810/tid=28812] ppid=28808 vsize=916488 CPUtime=0.02
/proc/28810/task/28812/stat : 28812 (java) S 28808 28810 27898 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 277794365 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28813] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 27898 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 27898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 27898 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=916488 CPUtime=0.25
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 27898 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28810/tid=28817] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 27898 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 27898 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2144.62
Current children cumulated vsize (KiB) 916488
[startup+2205.37 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 29018
/proc/meminfo: memFree=1376184/2055920 swapFree=4184008/4192956
[pid=28810] ppid=28808 vsize=916488 CPUtime=2204.69
/proc/28810/stat : 28810 (java) R 28808 28810 27898 0 -1 0 9163 0 1 0 219541 928 0 0 25 0 8 0 277794361 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073871431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28810/statm: 229122 8894 2527 14 0 215592 0
[pid=28810/tid=28812] ppid=28808 vsize=916488 CPUtime=0.02
/proc/28810/task/28812/stat : 28812 (java) S 28808 28810 27898 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 277794365 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28813] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 27898 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 27898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 27898 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=916488 CPUtime=0.25
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 27898 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28810/tid=28817] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 27898 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 27898 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2204.69
Current children cumulated vsize (KiB) 916488
[startup+2265.45 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 29018
/proc/meminfo: memFree=1376184/2055920 swapFree=4184008/4192956
[pid=28810] ppid=28808 vsize=916488 CPUtime=2264.76
/proc/28810/stat : 28810 (java) R 28808 28810 27898 0 -1 0 9163 0 1 0 225548 928 0 0 25 0 8 0 277794361 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073912252 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28810/statm: 229122 8894 2527 14 0 215592 0
[pid=28810/tid=28812] ppid=28808 vsize=916488 CPUtime=0.02
/proc/28810/task/28812/stat : 28812 (java) S 28808 28810 27898 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 277794365 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28813] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 27898 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 27898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 27898 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=916488 CPUtime=0.25
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 27898 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28810/tid=28817] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 27898 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 27898 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2264.76
Current children cumulated vsize (KiB) 916488
[startup+2325.54 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 29018
/proc/meminfo: memFree=1376184/2055920 swapFree=4184008/4192956
[pid=28810] ppid=28808 vsize=916488 CPUtime=2324.82
/proc/28810/stat : 28810 (java) R 28808 28810 27898 0 -1 0 9163 0 1 0 231554 928 0 0 25 0 8 0 277794361 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073745664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28810/statm: 229122 8894 2527 14 0 215592 0
[pid=28810/tid=28812] ppid=28808 vsize=916488 CPUtime=0.02
/proc/28810/task/28812/stat : 28812 (java) S 28808 28810 27898 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 277794365 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28813] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 27898 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 27898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 27898 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=916488 CPUtime=0.25
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 27898 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28810/tid=28817] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 27898 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 27898 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2324.82
Current children cumulated vsize (KiB) 916488
[startup+2385.62 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 29018
/proc/meminfo: memFree=1376184/2055920 swapFree=4184008/4192956
[pid=28810] ppid=28808 vsize=916488 CPUtime=2384.89
/proc/28810/stat : 28810 (java) R 28808 28810 27898 0 -1 0 9163 0 1 0 237561 928 0 0 25 0 8 0 277794361 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073745514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28810/statm: 229122 8894 2527 14 0 215592 0
[pid=28810/tid=28812] ppid=28808 vsize=916488 CPUtime=0.02
/proc/28810/task/28812/stat : 28812 (java) S 28808 28810 27898 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 277794365 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28813] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 27898 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 27898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 27898 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=916488 CPUtime=0.25
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 27898 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28810/tid=28817] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 27898 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 27898 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2384.89
Current children cumulated vsize (KiB) 916488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.83 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 29018
/proc/meminfo: memFree=1376184/2055920 swapFree=4184008/4192956
[pid=28810] ppid=28808 vsize=916488 CPUtime=2400.1
/proc/28810/stat : 28810 (java) R 28808 28810 27898 0 -1 0 9163 0 1 0 239082 928 0 0 25 0 8 0 277794361 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073911394 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28810/statm: 229122 8894 2527 14 0 215592 0
[pid=28810/tid=28812] ppid=28808 vsize=916488 CPUtime=0.02
/proc/28810/task/28812/stat : 28812 (java) S 28808 28810 27898 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 277794365 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28813] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28813/stat : 28813 (java) S 28808 28810 27898 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28814] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28814/stat : 28814 (java) S 28808 28810 27898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277794366 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28815] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28815/stat : 28815 (java) S 28808 28810 27898 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28816] ppid=28808 vsize=916488 CPUtime=0.25
/proc/28810/task/28816/stat : 28816 (java) S 28808 28810 27898 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28810/tid=28817] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28817/stat : 28817 (java) S 28808 28810 27898 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28810/tid=28818] ppid=28808 vsize=916488 CPUtime=0
/proc/28810/task/28818/stat : 28818 (java) S 28808 28810 27898 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277794369 938483712 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 916488
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2400.88
CPU time (s): 2400.15
CPU user time (s): 2390.86
CPU system time (s): 9.29359
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 916492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.86
system time used= 9.29359
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9186
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= 49548
involuntary context switches= 3101
runsolver used 2.47362 s user time and 6.04808 s system time
The end
Begin job on node47 on Sat Jan 20 11:52:31 UTC 2007
IDJOB= 279452
IDBENCH= 10078
IDSOLVER= 69
FILE ID= node47/279452-1169293951
PBS_JOBID= 3609741
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-50/kbtree-9-2-3-5-50-01_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279452-1169293951/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-279452-1169293951 -o ROOT/results/node47/solver-279452-1169293951 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279452-1169293951/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d8146260e03a2012072dc4b11de60bd5
RANDOM SEED= 865286635
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.240
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.240
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: 1402688 kB
Buffers: 43404 kB
Cached: 526084 kB
SwapCached: 2936 kB
Active: 128560 kB
Inactive: 451104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1402688 kB
SwapTotal: 4192956 kB
SwapFree: 4184008 kB
Dirty: 1900 kB
Writeback: 0 kB
Mapped: 16192 kB
Slab: 59616 kB
Committed_AS: 4952252 kB
PageTables: 1456 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= 66563 MiB
End job on node47 on Sat Jan 20 12:32:32 UTC 2007