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/279451-1169293945/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.103 cpuTime=0.08 mem=6M887
0.40
0.40 relations being loaded...
0.46
0.46 constraints being loaded...
0.55 nbConstraints=309 nbRelationTypes=309 nbExtensionStructures=309 nbSharedExtensionStructures=0
0.55 nbConflictsStructures=309 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3058 maxDegree=25
0.55 maxArity=2
0.55 => wckTime=0.261 cpuTime=0.18 mem=9M813
0.59
0.59 solver LocalSearchSolver being built...
0.64 => wckTime=0.343 cpuTime=0.22 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.65 o 208
0.65 c 101
0.65 o 211
0.65 c 98
0.65 o 213
0.65 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.66 o 228
0.66 c 81
0.66 o 230
0.66 c 79
0.66 o 233
0.66 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.67 o 238
0.67 c 71
0.67 o 240
0.67 c 69
0.67 o 242
0.67 c 67
0.67 o 243
0.67 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.73 o 259
0.73 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.86
2.86 search
2.86 run=0 nbConstraintChecks=12538722 nbAssignments=10000
2.86 => wckTime=2.223 cpuTime=2.2 mem=5M660
5.05
5.05 search
5.05 run=1 nbConstraintChecks=25299069 nbAssignments=20000
5.05 => wckTime=4.412 cpuTime=4.39 mem=5M660
6.32 o 263
6.32 c 46
7.20
7.20 search
7.20 run=2 nbConstraintChecks=37765137 nbAssignments=30000
7.20 => wckTime=6.564 cpuTime=6.54 mem=5M660
9.36
9.36 search
9.36 run=3 nbConstraintChecks=50388086 nbAssignments=40000
9.36 => wckTime=8.728 cpuTime=8.7 mem=5M660
11.51
11.51 search
11.51 run=4 nbConstraintChecks=62898832 nbAssignments=50000
11.51 => wckTime=10.874 cpuTime=10.85 mem=5M660
13.65
13.65 search
13.65 run=5 nbConstraintChecks=75446334 nbAssignments=60000
13.65 => wckTime=13.019 cpuTime=12.99 mem=5M660
15.79
15.79 search
15.79 run=6 nbConstraintChecks=87947897 nbAssignments=70000
15.79 => wckTime=15.159 cpuTime=15.14 mem=5M660
17.96
17.96 search
17.96 run=7 nbConstraintChecks=100583757 nbAssignments=80000
17.96 => wckTime=17.321 cpuTime=17.3 mem=5M660
20.11
20.11 search
20.11 run=8 nbConstraintChecks=113022298 nbAssignments=90000
20.11 => wckTime=19.475 cpuTime=19.45 mem=5M660
21.31 o 264
21.31 c 45
22.29
22.29 search
22.29 run=9 nbConstraintChecks=125702371 nbAssignments=100000
22.29 => wckTime=21.655 cpuTime=21.63 mem=5M660
24.45
24.45 search
24.45 run=10 nbConstraintChecks=138240731 nbAssignments=110000
24.45 => wckTime=23.817 cpuTime=23.8 mem=5M660
26.65
26.65 search
26.65 run=11 nbConstraintChecks=151085712 nbAssignments=120000
26.65 => wckTime=26.018 cpuTime=25.99 mem=5M660
28.80
28.80 search
28.80 run=12 nbConstraintChecks=163500939 nbAssignments=130000
28.80 => wckTime=28.162 cpuTime=28.14 mem=5M660
30.95
30.95 search
30.95 run=13 nbConstraintChecks=176071902 nbAssignments=140000
30.95 => wckTime=30.314 cpuTime=30.29 mem=5M660
33.08
33.08 search
33.08 run=14 nbConstraintChecks=188437387 nbAssignments=150000
33.08 => wckTime=32.442 cpuTime=32.41 mem=5M660
35.27
35.27 search
35.27 run=15 nbConstraintChecks=201395609 nbAssignments=160000
35.27 => wckTime=34.637 cpuTime=34.61 mem=5M660
37.40
37.40 search
37.40 run=16 nbConstraintChecks=213758977 nbAssignments=170000
37.40 => wckTime=36.765 cpuTime=36.74 mem=5M660
39.58
39.58 search
39.58 run=17 nbConstraintChecks=226502761 nbAssignments=180000
39.58 => wckTime=38.95 cpuTime=38.92 mem=5M660
41.74
41.74 search
41.74 run=18 nbConstraintChecks=238966420 nbAssignments=190000
41.74 => wckTime=41.106 cpuTime=41.07 mem=5M660
43.93
43.93 search
43.93 run=19 nbConstraintChecks=251713909 nbAssignments=200000
43.93 => wckTime=43.294 cpuTime=43.26 mem=5M660
46.09
46.09 search
46.09 run=20 nbConstraintChecks=264261792 nbAssignments=210000
46.09 => wckTime=45.458 cpuTime=45.43 mem=5M660
48.28
48.28 search
48.28 run=21 nbConstraintChecks=277011713 nbAssignments=220000
48.28 => wckTime=47.65 cpuTime=47.61 mem=5M660
50.42
50.42 search
50.42 run=22 nbConstraintChecks=289468129 nbAssignments=230000
50.42 => wckTime=49.789 cpuTime=49.76 mem=5M660
51.33
51.33 search
51.33 run=23 nbConstraintChecks=294800411 nbAssignments=234134
51.33 => wckTime=50.692 cpuTime=50.66 mem=5M660
51.33
51.33 global
51.33 nbConstraintChecks=294800411 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
51.33 solvingWckTime=50.689 solvingCpuTime=50.65 expiredTime=no totalExploration=no nbFoundSolutions=0
51.33 globalCpuTime=50.94
51.33 => wckTime=51.034 cpuTime=50.88 mem=5M660
51.33
51.33 solver IterativeSystematicSolver being built...
51.45 => wckTime=51.162 cpuTime=50.98 mem=16M682
51.52
51.52 preprocessing
51.52 nbConstraintChecks=51212 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
51.52 detectedInconsistency=no
51.52 => wckTime=0.06 cpuTime=0.04 mem=16M682
51.56
51.56 search
51.56 run=0 nbConstraintChecks=69843 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50
51.56 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=72 nbRestartNogoods=0
51.56 => wckTime=0.105 cpuTime=0.08 mem=16M682
51.62
51.62 search
51.62 run=1 nbConstraintChecks=168919 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=110
51.62 nbFailedAssignments=30 nbBacktracks=25 nbVisitedNodes=166 nbRestartNogoods=2
51.62 => wckTime=0.165 cpuTime=0.13 mem=16M682
51.68
51.68 search
51.68 run=2 nbConstraintChecks=317898 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=190
51.68 nbFailedAssignments=64 nbBacktracks=48 nbVisitedNodes=303 nbRestartNogoods=8
51.68 => wckTime=0.222 cpuTime=0.19 mem=16M682
51.79
51.79 search
51.79 run=3 nbConstraintChecks=570801 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=309
51.79 nbFailedAssignments=128 nbBacktracks=81 nbVisitedNodes=519 nbRestartNogoods=9
51.79 => wckTime=0.334 cpuTime=0.3 mem=16M682
51.89
51.89 search
51.89 run=4 nbConstraintChecks=836613 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=445
51.89 nbFailedAssignments=185 nbBacktracks=131 nbVisitedNodes=762 nbRestartNogoods=11
51.89 => wckTime=0.437 cpuTime=0.4 mem=16M682
52.07
52.07 search
52.07 run=5 nbConstraintChecks=1291908 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=659
52.07 nbFailedAssignments=298 nbBacktracks=206 nbVisitedNodes=1164 nbRestartNogoods=17
52.07 => wckTime=0.609 cpuTime=0.57 mem=16M682
52.45
52.45 search
52.45 run=6 nbConstraintChecks=2160855 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1035
52.45 nbFailedAssignments=540 nbBacktracks=319 nbVisitedNodes=1895 nbRestartNogoods=24
52.45 => wckTime=0.997 cpuTime=0.96 mem=16M682
52.89
52.89 search
52.89 run=7 nbConstraintChecks=3233541 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1496
52.89 nbFailedAssignments=807 nbBacktracks=489 nbVisitedNodes=2793 nbRestartNogoods=32
52.89 => wckTime=1.432 cpuTime=1.38 mem=16M682
53.37
53.37 search
53.37 run=8 nbConstraintChecks=4664807 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2135
53.37 nbFailedAssignments=1164 nbBacktracks=746 nbVisitedNodes=4046 nbRestartNogoods=45
53.37 => wckTime=1.917 cpuTime=1.85 mem=16M682
54.24
54.24 search
54.24 run=9 nbConstraintChecks=6846950 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3056
54.24 nbFailedAssignments=1676 nbBacktracks=1131 nbVisitedNodes=5864 nbRestartNogoods=59
54.24 => wckTime=2.786 cpuTime=2.72 mem=16M682
55.71
55.71 search
55.71 run=10 nbConstraintChecks=10683355 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4669
55.71 nbFailedAssignments=2691 nbBacktracks=1707 nbVisitedNodes=9068 nbRestartNogoods=64
55.71 => wckTime=4.25 cpuTime=4.18 mem=16M682
58.17
58.17 search
58.17 run=11 nbConstraintChecks=16683791 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7214
58.17 nbFailedAssignments=4352 nbBacktracks=2571 nbVisitedNodes=14137 nbRestartNogoods=71
58.17 => wckTime=6.716 cpuTime=6.64 mem=16M682
60.52
60.52 search
60.52 run=12 nbConstraintChecks=23465521 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10160
60.52 nbFailedAssignments=5976 nbBacktracks=3868 nbVisitedNodes=19999 nbRestartNogoods=79
60.52 => wckTime=9.06 cpuTime=8.98 mem=16M682
65.26
65.26 search
65.26 run=13 nbConstraintChecks=35045621 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14899
65.26 nbFailedAssignments=8749 nbBacktracks=5814 nbVisitedNodes=29456 nbRestartNogoods=95
65.26 => wckTime=13.799 cpuTime=13.72 mem=16M682
71.56
71.56 search
71.56 run=14 nbConstraintChecks=51592245 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21882
71.56 nbFailedAssignments=12789 nbBacktracks=8733 nbVisitedNodes=43393 nbRestartNogoods=106
71.56 => wckTime=20.1 cpuTime=20.02 mem=16M682
82.45
82.45 search
82.45 run=15 nbConstraintChecks=79829891 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33693
82.45 nbFailedAssignments=20204 nbBacktracks=13111 nbVisitedNodes=66991 nbRestartNogoods=115
82.45 => wckTime=30.996 cpuTime=30.91 mem=16M682
97.92
97.92 search
97.92 run=16 nbConstraintChecks=117676004 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=49226
97.92 nbFailedAssignments=29150 nbBacktracks=19679 nbVisitedNodes=98038 nbRestartNogoods=128
97.92 => wckTime=46.468 cpuTime=46.38 mem=16M682
118.65
118.65 search
118.65 run=17 nbConstraintChecks=175715791 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73379
118.65 nbFailedAssignments=43428 nbBacktracks=29532 nbVisitedNodes=146291 nbRestartNogoods=140
118.65 => wckTime=67.197 cpuTime=67.1 mem=16M682
151.26
151.26 search
151.26 run=18 nbConstraintChecks=262761363 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=110154
151.26 nbFailedAssignments=65407 nbBacktracks=44310 nbVisitedNodes=219607 nbRestartNogoods=148
151.26 => wckTime=99.808 cpuTime=99.71 mem=16M682
209.74
209.74 search
209.74 run=19 nbConstraintChecks=396371705 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=166909
209.74 nbFailedAssignments=99979 nbBacktracks=66478 nbVisitedNodes=332318 nbRestartNogoods=159
209.74 => wckTime=158.279 cpuTime=158.17 mem=16M682
289.20
289.20 search
289.20 run=20 nbConstraintChecks=586279883 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=247596
289.20 nbFailedAssignments=147397 nbBacktracks=99730 nbVisitedNodes=493361 nbRestartNogoods=167
289.20 => wckTime=237.742 cpuTime=237.61 mem=16M682
394.46
394.46 search
394.46 run=21 nbConstraintChecks=824302529 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=355555
394.46 nbFailedAssignments=205462 nbBacktracks=149608 nbVisitedNodes=706317 nbRestartNogoods=182
394.46 => wckTime=343.008 cpuTime=342.84 mem=16M682
550.72
550.72 search
550.72 run=22 nbConstraintChecks=1181946190 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=526929
550.72 nbFailedAssignments=301996 nbBacktracks=224426 nbVisitedNodes=1045453 nbRestartNogoods=197
550.72 => wckTime=499.269 cpuTime=499.0 mem=16M682
762.15
762.15 search
762.15 run=23 nbConstraintChecks=1615499677 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=764423
762.15 nbFailedAssignments=427248 nbBacktracks=336653 nbVisitedNodes=1511944 nbRestartNogoods=208
762.15 => wckTime=710.693 cpuTime=710.34 mem=16M682
1041.82
1041.82 search
1041.82 run=24 nbConstraintChecks=2178047813 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1103554
1041.82 nbFailedAssignments=598019 nbBacktracks=504994 nbVisitedNodes=2177242 nbRestartNogoods=220
1041.82 => wckTime=990.36 cpuTime=989.93 mem=16M682
1417.56
1417.56 search
1417.56 run=25 nbConstraintChecks=2967424426 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1583355
1417.56 nbFailedAssignments=825289 nbBacktracks=757505 nbVisitedNodes=3101550 nbRestartNogoods=228
1417.56 => wckTime=1366.103 cpuTime=1365.56 mem=16M682
2014.66
2014.66 search
2014.66 run=26 nbConstraintChecks=4202392906 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2321193
2014.66 nbFailedAssignments=1184346 nbBacktracks=1136272 nbVisitedNodes=4535240 nbRestartNogoods=240
2014.66 => wckTime=1963.202 cpuTime=1962.5 mem=16M682
2400.78 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/node66/watcher-279451-1169293945 -o ROOT/results/node66/solver-279451-1169293945 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/279451-1169293945/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.00 3/65 8903
/proc/meminfo: memFree=1364680/2055920 swapFree=4192812/4192956
[pid=8902] ppid=8900 vsize=308 CPUtime=0
/proc/8902/stat : 8902 (java) R 8900 8902 8342 0 -1 0 234 0 0 0 0 0 0 0 18 0 1 0 76891699 315392 40 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9839396 0 0 4096 0 0 0 0 17 1 0 0
/proc/8902/statm: 77 40 31 14 0 5 0
[startup+0.102751 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 8903
/proc/meminfo: memFree=1364680/2055920 swapFree=4192812/4192956
[pid=8902] ppid=8900 vsize=914988 CPUtime=0.09
/proc/8902/stat : 8902 (java) R 8900 8902 8342 0 -1 0 3077 0 1 0 8 1 0 0 16 0 8 0 76891699 936947712 2823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8902/statm: 228747 2823 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.5108 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 8903
/proc/meminfo: memFree=1364680/2055920 swapFree=4192812/4192956
[pid=8902] ppid=8900 vsize=915332 CPUtime=0.51
/proc/8902/stat : 8902 (java) R 8900 8902 8342 0 -1 0 6597 0 1 0 48 3 0 0 16 0 8 0 76891699 937299968 6336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073541325 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8902/statm: 228833 6337 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 915332
[startup+1.33189 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8910
/proc/meminfo: memFree=1345744/2055920 swapFree=4192812/4192956
[pid=8902] ppid=8900 vsize=915464 CPUtime=1.32
/proc/8902/stat : 8902 (java) R 8900 8902 8342 0 -1 0 7402 0 1 0 115 17 0 0 17 0 8 0 76891699 937435136 7140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8902/statm: 228866 7140 2479 14 0 215336 0
[pid=8902/tid=8904] ppid=8900 vsize=915464 CPUtime=0.02
/proc/8902/task/8904/stat : 8904 (java) S 8900 8902 8342 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 76891702 937435136 7140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8902/tid=8905] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8905/stat : 8905 (java) S 8900 8902 8342 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 7140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8906] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8906/stat : 8906 (java) S 8900 8902 8342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 7140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8907] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8907/stat : 8907 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 76891706 937435136 7140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8908] ppid=8900 vsize=915464 CPUtime=0.13
/proc/8902/task/8908/stat : 8908 (java) S 8900 8902 8342 0 -1 64 349 0 0 0 13 0 0 0 16 0 8 0 76891706 937435136 7140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8909] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8909/stat : 8909 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 76891706 937435136 7140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8910] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8910/stat : 8910 (java) S 8900 8902 8342 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76891706 937435136 7140 18446744073709551615 134512640 134570532 4294956464 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) 915464
[startup+2.9801 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8910
/proc/meminfo: memFree=1345680/2055920 swapFree=4192812/4192956
[pid=8902] ppid=8900 vsize=915464 CPUtime=2.97
/proc/8902/stat : 8902 (java) R 8900 8902 8342 0 -1 0 7406 0 1 0 250 47 0 0 19 0 8 0 76891699 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8902/statm: 228867 7143 2479 14 0 215337 0
[pid=8902/tid=8904] ppid=8900 vsize=915464 CPUtime=0.02
/proc/8902/task/8904/stat : 8904 (java) S 8900 8902 8342 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 76891702 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8902/tid=8905] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8905/stat : 8905 (java) S 8900 8902 8342 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8906] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8906/stat : 8906 (java) S 8900 8902 8342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8907] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8907/stat : 8907 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 76891706 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8908] ppid=8900 vsize=915464 CPUtime=0.13
/proc/8902/task/8908/stat : 8908 (java) S 8900 8902 8342 0 -1 64 352 0 0 0 13 0 0 0 16 0 8 0 76891706 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8909] ppid=8900 vsize=915468 CPUtime=0
/proc/8902/task/8909/stat : 8909 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 76891706 937439232 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8910] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8910/stat : 8910 (java) S 8900 8902 8342 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76891706 937435136 7143 18446744073709551615 134512640 134570532 4294956464 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) 915464
[startup+6.2755 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8910
/proc/meminfo: memFree=1345680/2055920 swapFree=4192812/4192956
[pid=8902] ppid=8900 vsize=915464 CPUtime=6.26
/proc/8902/stat : 8902 (java) R 8900 8902 8342 0 -1 0 7406 0 1 0 523 103 0 0 16 0 8 0 76891699 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10050452 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8902/statm: 228867 7143 2479 14 0 215337 0
[pid=8902/tid=8904] ppid=8900 vsize=915464 CPUtime=0.02
/proc/8902/task/8904/stat : 8904 (java) S 8900 8902 8342 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 76891702 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8905] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8905/stat : 8905 (java) S 8900 8902 8342 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8906] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8906/stat : 8906 (java) S 8900 8902 8342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8907] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8907/stat : 8907 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 76891706 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8908] ppid=8900 vsize=915464 CPUtime=0.13
/proc/8902/task/8908/stat : 8908 (java) S 8900 8902 8342 0 -1 64 352 0 0 0 13 0 0 0 16 0 8 0 76891706 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8909] ppid=8900 vsize=915468 CPUtime=0
/proc/8902/task/8909/stat : 8909 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 76891706 937439232 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8910] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8910/stat : 8910 (java) S 8900 8902 8342 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76891706 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915464
[startup+12.7483 s]
/proc/loadavg: 1.08 1.02 1.01 2/72 8910
/proc/meminfo: memFree=1345696/2055920 swapFree=4192812/4192956
[pid=8902] ppid=8900 vsize=915468 CPUtime=12.73
/proc/8902/stat : 8902 (java) R 8900 8902 8342 0 -1 0 7406 0 1 0 1051 222 0 0 22 0 8 0 76891699 937439232 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8902/statm: 228866 7143 2479 14 0 215336 0
[pid=8902/tid=8904] ppid=8900 vsize=915464 CPUtime=0.02
/proc/8902/task/8904/stat : 8904 (java) S 8900 8902 8342 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 76891702 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8905] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8905/stat : 8905 (java) S 8900 8902 8342 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8906] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8906/stat : 8906 (java) S 8900 8902 8342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8907] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8907/stat : 8907 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 76891706 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8908] ppid=8900 vsize=915464 CPUtime=0.13
/proc/8902/task/8908/stat : 8908 (java) S 8900 8902 8342 0 -1 64 352 0 0 0 13 0 0 0 16 0 8 0 76891706 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8909] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8909/stat : 8909 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 76891706 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8910] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8910/stat : 8910 (java) S 8900 8902 8342 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76891706 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915468
[startup+25.5779 s]
/proc/loadavg: 1.07 1.02 1.00 2/72 8910
/proc/meminfo: memFree=1345760/2055920 swapFree=4192812/4192956
[pid=8902] ppid=8900 vsize=915468 CPUtime=25.56
/proc/8902/stat : 8902 (java) R 8900 8902 8342 0 -1 0 7406 0 1 0 2101 455 0 0 16 0 8 0 76891699 937439232 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8902/statm: 228866 7143 2479 14 0 215336 0
[pid=8902/tid=8904] ppid=8900 vsize=915464 CPUtime=0.02
/proc/8902/task/8904/stat : 8904 (java) S 8900 8902 8342 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 76891702 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8905] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8905/stat : 8905 (java) S 8900 8902 8342 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8906] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8906/stat : 8906 (java) S 8900 8902 8342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8907] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8907/stat : 8907 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 76891706 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8908] ppid=8900 vsize=915468 CPUtime=0.13
/proc/8902/task/8908/stat : 8908 (java) S 8900 8902 8342 0 -1 64 352 0 0 0 13 0 0 0 16 0 8 0 76891706 937439232 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8909] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8909/stat : 8909 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 76891706 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8910] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8910/stat : 8910 (java) S 8900 8902 8342 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76891706 937435136 7143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915468
[startup+51.258 s]
/proc/loadavg: 1.04 1.01 1.00 2/72 8910
/proc/meminfo: memFree=1345760/2055920 swapFree=4192812/4192956
[pid=8902] ppid=8900 vsize=915464 CPUtime=51.23
/proc/8902/stat : 8902 (java) R 8900 8902 8342 0 -1 0 7407 0 1 0 4199 924 0 0 20 0 8 0 76891699 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8902/statm: 228866 7144 2479 14 0 215336 0
[pid=8902/tid=8904] ppid=8900 vsize=915468 CPUtime=0.02
/proc/8902/task/8904/stat : 8904 (java) S 8900 8902 8342 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 76891702 937439232 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8905] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8905/stat : 8905 (java) S 8900 8902 8342 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8906] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8906/stat : 8906 (java) S 8900 8902 8342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8907] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8907/stat : 8907 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 76891706 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8908] ppid=8900 vsize=915464 CPUtime=0.13
/proc/8902/task/8908/stat : 8908 (java) S 8900 8902 8342 0 -1 64 353 0 0 0 13 0 0 0 16 0 8 0 76891706 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8909] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8909/stat : 8909 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 76891706 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8910] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8910/stat : 8910 (java) S 8900 8902 8342 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76891706 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915464
[startup+102.511 s]
/proc/loadavg: 1.02 1.01 1.00 2/72 8910
/proc/meminfo: memFree=1339168/2055920 swapFree=4192812/4192956
[pid=8902] ppid=8900 vsize=915464 CPUtime=102.46
/proc/8902/stat : 8902 (java) R 8900 8902 8342 0 -1 0 9146 0 1 0 9319 927 0 0 25 0 8 0 76891699 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073879423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8902/statm: 228866 8877 2532 14 0 215336 0
[pid=8902/tid=8904] ppid=8900 vsize=915464 CPUtime=0.02
/proc/8902/task/8904/stat : 8904 (java) S 8900 8902 8342 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 76891702 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8905] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8905/stat : 8905 (java) S 8900 8902 8342 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8906] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8906/stat : 8906 (java) S 8900 8902 8342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8907] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8907/stat : 8907 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 76891706 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8908] ppid=8900 vsize=915464 CPUtime=0.22
/proc/8902/task/8908/stat : 8908 (java) S 8900 8902 8342 0 -1 64 407 0 0 0 21 1 0 0 16 0 8 0 76891706 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8909] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8909/stat : 8909 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 76891706 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8910] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8910/stat : 8910 (java) S 8900 8902 8342 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76891706 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915464
[startup+162.591 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8910
/proc/meminfo: memFree=1339104/2055920 swapFree=4192812/4192956
[pid=8902] ppid=8900 vsize=915464 CPUtime=162.52
/proc/8902/stat : 8902 (java) R 8900 8902 8342 0 -1 0 9152 0 1 0 15325 927 0 0 25 0 8 0 76891699 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2024.41
Current children cumulated vsize (KiB) 915464
[startup+2085.16 s]
/proc/loadavg: 1.02 1.01 1.00 2/72 9110
/proc/meminfo: memFree=1338848/2055920 swapFree=4192812/4192956
[pid=8902] ppid=8900 vsize=915464 CPUtime=2084.47
/proc/8902/stat : 8902 (java) R 8900 8902 8342 0 -1 0 9174 0 1 0 207516 931 0 0 25 0 8 0 76891699 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852984 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8902/statm: 228866 8904 2532 14 0 215336 0
[pid=8902/tid=8904] ppid=8900 vsize=915464 CPUtime=0.02
/proc/8902/task/8904/stat : 8904 (java) S 8900 8902 8342 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 76891702 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8905] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8905/stat : 8905 (java) S 8900 8902 8342 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8906] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8906/stat : 8906 (java) S 8900 8902 8342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8907] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8907/stat : 8907 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8908] ppid=8900 vsize=915464 CPUtime=0.23
/proc/8902/task/8908/stat : 8908 (java) S 8900 8902 8342 0 -1 64 409 0 0 0 22 1 0 0 16 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8909] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8909/stat : 8909 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8910] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8910/stat : 8910 (java) S 8900 8902 8342 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2084.47
Current children cumulated vsize (KiB) 915464
[startup+2145.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 9110
/proc/meminfo: memFree=1338848/2055920 swapFree=4192812/4192956
[pid=8902] ppid=8900 vsize=915464 CPUtime=2144.54
/proc/8902/stat : 8902 (java) R 8900 8902 8342 0 -1 0 9174 0 1 0 213523 931 0 0 25 0 8 0 76891699 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073943605 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8902/statm: 228866 8904 2532 14 0 215336 0
[pid=8902/tid=8904] ppid=8900 vsize=915464 CPUtime=0.02
/proc/8902/task/8904/stat : 8904 (java) S 8900 8902 8342 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 76891702 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8905] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8905/stat : 8905 (java) S 8900 8902 8342 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8906] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8906/stat : 8906 (java) S 8900 8902 8342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8907] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8907/stat : 8907 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8908] ppid=8900 vsize=915464 CPUtime=0.23
/proc/8902/task/8908/stat : 8908 (java) S 8900 8902 8342 0 -1 64 409 0 0 0 22 1 0 0 16 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8909] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8909/stat : 8909 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8910] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8910/stat : 8910 (java) S 8900 8902 8342 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2144.54
Current children cumulated vsize (KiB) 915464
[startup+2205.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 9110
/proc/meminfo: memFree=1338848/2055920 swapFree=4192812/4192956
[pid=8902] ppid=8900 vsize=915464 CPUtime=2204.6
/proc/8902/stat : 8902 (java) R 8900 8902 8342 0 -1 0 9174 0 1 0 219529 931 0 0 25 0 8 0 76891699 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073922286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8902/statm: 228866 8904 2532 14 0 215336 0
[pid=8902/tid=8904] ppid=8900 vsize=915464 CPUtime=0.02
/proc/8902/task/8904/stat : 8904 (java) S 8900 8902 8342 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 76891702 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8905] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8905/stat : 8905 (java) S 8900 8902 8342 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8906] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8906/stat : 8906 (java) S 8900 8902 8342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8907] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8907/stat : 8907 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8908] ppid=8900 vsize=915464 CPUtime=0.23
/proc/8902/task/8908/stat : 8908 (java) S 8900 8902 8342 0 -1 64 409 0 0 0 22 1 0 0 16 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8909] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8909/stat : 8909 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8910] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8910/stat : 8910 (java) S 8900 8902 8342 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2204.6
Current children cumulated vsize (KiB) 915464
[startup+2265.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 9110
/proc/meminfo: memFree=1338848/2055920 swapFree=4192812/4192956
[pid=8902] ppid=8900 vsize=915464 CPUtime=2264.67
/proc/8902/stat : 8902 (java) R 8900 8902 8342 0 -1 0 9174 0 1 0 225536 931 0 0 25 0 8 0 76891699 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073921196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8902/statm: 228866 8904 2532 14 0 215336 0
[pid=8902/tid=8904] ppid=8900 vsize=915464 CPUtime=0.02
/proc/8902/task/8904/stat : 8904 (java) S 8900 8902 8342 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 76891702 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8905] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8905/stat : 8905 (java) S 8900 8902 8342 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8906] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8906/stat : 8906 (java) S 8900 8902 8342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8907] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8907/stat : 8907 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8908] ppid=8900 vsize=915464 CPUtime=0.23
/proc/8902/task/8908/stat : 8908 (java) S 8900 8902 8342 0 -1 64 409 0 0 0 22 1 0 0 16 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8909] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8909/stat : 8909 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8910] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8910/stat : 8910 (java) S 8900 8902 8342 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2264.67
Current children cumulated vsize (KiB) 915464
[startup+2325.48 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 9110
/proc/meminfo: memFree=1338784/2055920 swapFree=4192812/4192956
[pid=8902] ppid=8900 vsize=915464 CPUtime=2324.73
/proc/8902/stat : 8902 (java) R 8900 8902 8342 0 -1 0 9174 0 1 0 231542 931 0 0 25 0 8 0 76891699 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073879474 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8902/statm: 228866 8904 2532 14 0 215336 0
[pid=8902/tid=8904] ppid=8900 vsize=915464 CPUtime=0.02
/proc/8902/task/8904/stat : 8904 (java) S 8900 8902 8342 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 76891702 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8905] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8905/stat : 8905 (java) S 8900 8902 8342 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8906] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8906/stat : 8906 (java) S 8900 8902 8342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8907] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8907/stat : 8907 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8908] ppid=8900 vsize=915464 CPUtime=0.23
/proc/8902/task/8908/stat : 8908 (java) S 8900 8902 8342 0 -1 64 409 0 0 0 22 1 0 0 16 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8909] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8909/stat : 8909 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8910] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8910/stat : 8910 (java) S 8900 8902 8342 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2324.73
Current children cumulated vsize (KiB) 915464
[startup+2385.56 s]
/proc/loadavg: 1.00 1.00 1.00 3/72 9110
/proc/meminfo: memFree=1338848/2055920 swapFree=4192812/4192956
[pid=8902] ppid=8900 vsize=915464 CPUtime=2384.8
/proc/8902/stat : 8902 (java) R 8900 8902 8342 0 -1 0 9174 0 1 0 237549 931 0 0 25 0 8 0 76891699 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8902/statm: 228866 8904 2532 14 0 215336 0
[pid=8902/tid=8904] ppid=8900 vsize=915464 CPUtime=0.02
/proc/8902/task/8904/stat : 8904 (java) S 8900 8902 8342 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 76891702 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8905] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8905/stat : 8905 (java) S 8900 8902 8342 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8906] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8906/stat : 8906 (java) S 8900 8902 8342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8907] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8907/stat : 8907 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8908] ppid=8900 vsize=915464 CPUtime=0.23
/proc/8902/task/8908/stat : 8908 (java) S 8900 8902 8342 0 -1 64 409 0 0 0 22 1 0 0 16 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8909] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8909/stat : 8909 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8910] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8910/stat : 8910 (java) S 8900 8902 8342 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2384.8
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.77 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 9110
/proc/meminfo: memFree=1338784/2055920 swapFree=4192812/4192956
[pid=8902] ppid=8900 vsize=915464 CPUtime=2400.01
/proc/8902/stat : 8902 (java) R 8900 8902 8342 0 -1 0 9174 0 1 0 239070 931 0 0 25 0 8 0 76891699 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8902/statm: 228866 8904 2532 14 0 215336 0
[pid=8902/tid=8904] ppid=8900 vsize=915464 CPUtime=0.02
/proc/8902/task/8904/stat : 8904 (java) S 8900 8902 8342 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 76891702 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8905] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8905/stat : 8905 (java) S 8900 8902 8342 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8906] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8906/stat : 8906 (java) S 8900 8902 8342 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76891703 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8907] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8907/stat : 8907 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8908] ppid=8900 vsize=915464 CPUtime=0.23
/proc/8902/task/8908/stat : 8908 (java) S 8900 8902 8342 0 -1 64 409 0 0 0 22 1 0 0 16 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8909] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8909/stat : 8909 (java) S 8900 8902 8342 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8902/tid=8910] ppid=8900 vsize=915464 CPUtime=0
/proc/8902/task/8910/stat : 8910 (java) S 8900 8902 8342 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76891706 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2400.83
CPU time (s): 2400.06
CPU user time (s): 2390.74
CPU system time (s): 9.32158
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.74
system time used= 9.32158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9195
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= 49462
involuntary context switches= 1854
runsolver used 2.26565 s user time and 6.25305 s system time
The end
Begin job on node66 on Sat Jan 20 11:52:25 UTC 2007
IDJOB= 279451
IDBENCH= 10078
IDSOLVER= 68
FILE ID= node66/279451-1169293945
PBS_JOBID= 3609770
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/279451-1169293945/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-279451-1169293945 -o ROOT/results/node66/solver-279451-1169293945 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/279451-1169293945/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d8146260e03a2012072dc4b11de60bd5
RANDOM SEED= 128256489
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.230
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.230
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: 1365096 kB
Buffers: 48568 kB
Cached: 556004 kB
SwapCached: 16 kB
Active: 100056 kB
Inactive: 520388 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1365096 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1704 kB
Writeback: 0 kB
Mapped: 26032 kB
Slab: 56424 kB
Committed_AS: 884948 kB
PageTables: 1380 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 node66 on Sat Jan 20 12:32:26 UTC 2007