0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=epfc.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/281971-1169316366/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.49 nbVariables=257 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2
0.49 => wckTime=0.13 cpuTime=0.1 mem=7M879
0.49
0.49 relations being loaded...
0.49
0.49 constraints being loaded...
0.68 nbConstraints=1280 nbRelationTypes=2 nbSingletonDomainVariables=1 nbExtensionStructures=2
0.68 nbSharedExtensionStructures=1278 nbConflictsStructures=2 nbSharedConflictsStructures=1278
0.68 nbSharedBinaryRepresentations=3 maxDegree=256 maxArity=2
0.68 => wckTime=0.327 cpuTime=0.22 mem=11M813
0.73
0.73 solver LocalSearchSolver being built...
0.78 => wckTime=0.424 cpuTime=0.26 mem=6M94
0.78
0.78 s SATISFIABLE
0.78 o 889
0.78 c 391
0.79 o 896
0.79 c 384
0.79 o 902
0.79 c 378
0.79 o 908
0.79 c 372
0.79 o 914
0.79 c 366
0.79 o 919
0.79 c 361
0.80 o 924
0.80 c 356
0.80 o 929
0.80 c 351
0.80 o 934
0.80 c 346
0.80 o 939
0.80 c 341
0.80 o 944
0.80 c 336
0.80 o 949
0.80 c 331
0.80 o 954
0.80 c 326
0.80 o 959
0.80 c 321
0.80 o 964
0.80 c 316
0.80 o 969
0.80 c 311
0.80 o 973
0.80 c 307
0.80 o 977
0.80 c 303
0.80 o 981
0.80 c 299
0.81 o 985
0.81 c 295
0.81 o 989
0.81 c 291
0.81 o 993
0.81 c 287
0.81 o 997
0.81 c 283
0.81 o 1001
0.81 c 279
0.81 o 1005
0.81 c 275
0.81 o 1009
0.81 c 271
0.81 o 1012
0.81 c 268
0.81 o 1015
0.81 c 265
0.81 o 1018
0.81 c 262
0.81 o 1021
0.81 c 259
0.81 o 1024
0.81 c 256
0.81 o 1027
0.81 c 253
0.81 o 1030
0.81 c 250
0.81 o 1033
0.81 c 247
0.81 o 1036
0.81 c 244
0.82 o 1038
0.82 c 242
0.82 o 1040
0.82 c 240
0.82 o 1042
0.82 c 238
0.82 o 1044
0.82 c 236
0.82 o 1046
0.82 c 234
0.82 o 1048
0.82 c 232
0.82 o 1050
0.82 c 230
0.82 o 1052
0.82 c 228
0.82 o 1054
0.82 c 226
0.82 o 1056
0.82 c 224
0.82 o 1058
0.82 c 222
0.82 o 1060
0.82 c 220
0.82 o 1062
0.82 c 218
0.82 o 1064
0.82 c 216
0.82 o 1066
0.82 c 214
0.82 o 1068
0.82 c 212
0.82 o 1070
0.82 c 210
0.82 o 1071
0.82 c 209
0.82 o 1072
0.82 c 208
0.82 o 1073
0.82 c 207
0.82 o 1074
0.82 c 206
0.83 o 1075
0.83 c 205
0.83 o 1076
0.83 c 204
0.83 o 1077
0.83 c 203
0.83 o 1078
0.83 c 202
0.83 o 1079
0.83 c 201
0.83 o 1080
0.83 c 200
0.83 o 1081
0.83 c 199
0.83 o 1082
0.83 c 198
0.83 o 1083
0.83 c 197
0.83 o 1084
0.83 c 196
0.83 o 1085
0.83 c 195
0.83 o 1086
0.83 c 194
0.83 o 1087
0.83 c 193
0.83 o 1088
0.83 c 192
0.83 o 1089
0.83 c 191
0.83 o 1090
0.83 c 190
0.83 o 1091
0.83 c 189
0.83 o 1092
0.83 c 188
0.83 o 1093
0.83 c 187
0.83 o 1094
0.83 c 186
0.83 o 1095
0.83 c 185
0.84 o 1096
0.84 c 184
0.84 o 1097
0.84 c 183
0.84 o 1098
0.84 c 182
0.84 o 1099
0.84 c 181
0.84 o 1100
0.84 c 180
0.84 o 1101
0.84 c 179
0.84 o 1102
0.84 c 178
0.90 o 1106
0.90 c 174
0.90 o 1111
0.90 c 169
0.90 o 1112
0.90 c 168
0.90 o 1114
0.90 c 166
0.90 o 1120
0.90 c 160
0.90 o 1125
0.90 c 155
0.90 o 1126
0.90 c 154
0.90 o 1132
0.90 c 148
0.90 o 1138
0.90 c 142
0.90 o 1145
0.90 c 135
0.91 o 1152
0.91 c 128
3.22
3.22 search
3.22 run=0 nbConstraintChecks=10121756 nbAssignments=10000
3.22 => wckTime=2.443 cpuTime=2.39 mem=6M94
5.73
5.73 search
5.73 run=1 nbConstraintChecks=21342270 nbAssignments=20000
5.73 => wckTime=4.953 cpuTime=4.87 mem=6M94
8.09
8.09 search
8.09 run=2 nbConstraintChecks=31520926 nbAssignments=30000
8.09 => wckTime=7.317 cpuTime=7.22 mem=6M94
10.61
10.61 search
10.61 run=3 nbConstraintChecks=42831984 nbAssignments=40000
10.61 => wckTime=9.835 cpuTime=9.71 mem=6M94
12.96
12.96 search
12.96 run=4 nbConstraintChecks=52900225 nbAssignments=50000
12.96 => wckTime=12.181 cpuTime=12.04 mem=6M94
15.44
15.44 search
15.44 run=5 nbConstraintChecks=64217558 nbAssignments=60000
15.44 => wckTime=14.667 cpuTime=14.51 mem=6M94
17.77
17.77 search
17.77 run=6 nbConstraintChecks=74389566 nbAssignments=70000
17.77 => wckTime=16.995 cpuTime=16.83 mem=6M94
20.25
20.25 search
20.25 run=7 nbConstraintChecks=85708820 nbAssignments=80000
20.25 => wckTime=19.475 cpuTime=19.3 mem=6M94
22.60
22.60 search
22.60 run=8 nbConstraintChecks=96021781 nbAssignments=90000
22.60 => wckTime=21.822 cpuTime=21.64 mem=6M94
25.04
25.04 search
25.04 run=9 nbConstraintChecks=107039355 nbAssignments=100000
25.04 => wckTime=24.267 cpuTime=24.07 mem=6M94
27.39
27.39 search
27.39 run=10 nbConstraintChecks=117223156 nbAssignments=110000
27.39 => wckTime=26.618 cpuTime=26.42 mem=6M94
29.87
29.87 search
29.87 run=11 nbConstraintChecks=128521040 nbAssignments=120000
29.87 => wckTime=29.092 cpuTime=28.88 mem=6M94
31.11
31.11 search
31.11 run=12 nbConstraintChecks=133792176 nbAssignments=125481
31.11 => wckTime=30.33 cpuTime=30.12 mem=6M94
31.11
31.11 global
31.11 nbConstraintChecks=133792176 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.11 solvingWckTime=30.327 solvingCpuTime=30.12 expiredTime=no totalExploration=no nbFoundSolutions=0
31.11 globalCpuTime=30.43
31.11 => wckTime=30.753 cpuTime=30.38 mem=6M94
31.11
31.11 solver IterativeSystematicSolver being built...
31.27 => wckTime=30.914 cpuTime=30.5 mem=18M74
31.61
31.61 preprocessing
31.61 nbConstraintChecks=562278 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.61 detectedInconsistency=no
31.61 => wckTime=0.335 cpuTime=0.31 mem=18M74
31.80
31.80 search
31.80 run=0 nbConstraintChecks=147044 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=96
31.80 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=115 nbRestartNogoods=0
31.80 => wckTime=0.53 cpuTime=0.5 mem=18M74
31.99
31.99 search
31.99 run=1 nbConstraintChecks=257692 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=168
31.99 nbFailedAssignments=18 nbBacktracks=26 nbVisitedNodes=207 nbRestartNogoods=1
31.99 => wckTime=0.72 cpuTime=0.68 mem=18M74
32.13
32.13 search
32.13 run=2 nbConstraintChecks=351161 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=235
32.13 nbFailedAssignments=31 nbBacktracks=48 nbVisitedNodes=294 nbRestartNogoods=3
32.13 => wckTime=0.857 cpuTime=0.82 mem=18M74
32.35
32.35 search
32.35 run=3 nbConstraintChecks=482513 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=319
32.35 nbFailedAssignments=48 nbBacktracks=83 nbVisitedNodes=406 nbRestartNogoods=5
32.35 => wckTime=1.082 cpuTime=1.04 mem=18M74
32.65
32.65 search
32.65 run=4 nbConstraintChecks=659243 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=428
32.65 nbFailedAssignments=81 nbBacktracks=136 nbVisitedNodes=567 nbRestartNogoods=6
32.65 => wckTime=1.383 cpuTime=1.34 mem=18M74
33.03
33.03 search
33.03 run=5 nbConstraintChecks=887809 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=577
33.03 nbFailedAssignments=127 nbBacktracks=212 nbVisitedNodes=786 nbRestartNogoods=11
33.03 => wckTime=1.759 cpuTime=1.71 mem=18M74
33.44
33.44 search
33.44 run=6 nbConstraintChecks=1171332 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=783
33.44 nbFailedAssignments=196 nbBacktracks=331 nbVisitedNodes=1083 nbRestartNogoods=16
33.44 => wckTime=2.172 cpuTime=2.13 mem=18M74
34.11
34.11 search
34.11 run=7 nbConstraintChecks=1624261 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1073
34.11 nbFailedAssignments=291 nbBacktracks=501 nbVisitedNodes=1505 nbRestartNogoods=19
34.11 => wckTime=2.843 cpuTime=2.79 mem=18M74
35.12
35.12 search
35.12 run=8 nbConstraintChecks=2299095 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1499
35.12 nbFailedAssignments=432 nbBacktracks=764 nbVisitedNodes=2133 nbRestartNogoods=24
35.12 => wckTime=3.851 cpuTime=3.78 mem=18M74
36.65
36.65 search
36.65 run=9 nbConstraintChecks=3270110 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2108
36.65 nbFailedAssignments=631 nbBacktracks=1154 nbVisitedNodes=3027 nbRestartNogoods=32
36.65 => wckTime=5.379 cpuTime=5.3 mem=18M74
38.46
38.46 search
38.46 run=10 nbConstraintChecks=4595134 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2983
38.46 nbFailedAssignments=911 nbBacktracks=1731 nbVisitedNodes=4284 nbRestartNogoods=38
38.46 => wckTime=7.194 cpuTime=7.1 mem=18M74
41.24
41.24 search
41.24 run=11 nbConstraintChecks=6742631 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4328
41.24 nbFailedAssignments=1360 nbBacktracks=2605 nbVisitedNodes=6233 nbRestartNogoods=41
41.24 => wckTime=9.968 cpuTime=9.87 mem=18M74
45.36
45.36 search
45.36 run=12 nbConstraintChecks=9784208 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6248
45.36 nbFailedAssignments=1961 nbBacktracks=3902 nbVisitedNodes=8973 nbRestartNogoods=52
45.36 => wckTime=14.089 cpuTime=13.97 mem=18M74
51.65
51.65 search
51.65 run=13 nbConstraintChecks=14394256 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9180
51.65 nbFailedAssignments=2921 nbBacktracks=5849 nbVisitedNodes=13198 nbRestartNogoods=58
51.65 => wckTime=20.377 cpuTime=20.23 mem=18M74
61.08
61.08 search
61.08 run=14 nbConstraintChecks=20871132 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13315
61.08 nbFailedAssignments=4115 nbBacktracks=8769 nbVisitedNodes=19032 nbRestartNogoods=65
61.08 => wckTime=29.81 cpuTime=29.62 mem=18M74
113.68
113.68 search
113.68 run=15 nbConstraintChecks=46146368 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20819
113.68 nbFailedAssignments=7185 nbBacktracks=13147 nbVisitedNodes=33287 nbRestartNogoods=76
113.68 => wckTime=82.411 cpuTime=82.02 mem=18M74
133.26
133.26 search
133.27 run=16 nbConstraintChecks=60878866 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30244
133.27 nbFailedAssignments=10013 nbBacktracks=19726 nbVisitedNodes=46597 nbRestartNogoods=85
133.27 => wckTime=101.995 cpuTime=101.53 mem=18M74
231.52
231.52 search
231.52 run=17 nbConstraintChecks=108529520 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47645
231.52 nbFailedAssignments=17525 nbBacktracks=29582 nbVisitedNodes=78145 nbRestartNogoods=96
231.52 => wckTime=200.246 cpuTime=199.4 mem=18M74
342.02
342.02 search
342.02 run=18 nbConstraintChecks=171612701 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=76256
342.02 nbFailedAssignments=31329 nbBacktracks=44360 nbVisitedNodes=127960 nbRestartNogoods=115
342.02 => wckTime=310.753 cpuTime=309.49 mem=18M74
490.63
490.64 search
490.64 run=19 nbConstraintChecks=262220287 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=118416
490.64 nbFailedAssignments=51287 nbBacktracks=66529 nbVisitedNodes=199305 nbRestartNogoods=123
490.64 => wckTime=459.365 cpuTime=457.54 mem=18M74
673.69
673.69 search
673.69 run=20 nbConstraintChecks=391795514 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=178674
673.69 nbFailedAssignments=78251 nbBacktracks=99781 nbVisitedNodes=300531 nbRestartNogoods=131
673.69 => wckTime=642.418 cpuTime=639.89 mem=18M74
1040.91
1040.91 search
1040.91 run=21 nbConstraintChecks=617468863 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=270825
1040.91 nbFailedAssignments=120474 nbBacktracks=149660 nbVisitedNodes=461621 nbRestartNogoods=143
1040.91 => wckTime=1009.64 cpuTime=1005.53 mem=18M74
1309.65
1309.65 search
1309.65 run=22 nbConstraintChecks=841663549 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=374508
1309.65 nbFailedAssignments=149278 nbBacktracks=224481 nbVisitedNodes=635875 nbRestartNogoods=155
1309.65 => wckTime=1278.379 cpuTime=1272.81 mem=18M74
1552.12
1552.12 search
1552.12 run=23 nbConstraintChecks=1099128045 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=514513
1552.12 nbFailedAssignments=177017 nbBacktracks=336709 nbVisitedNodes=838801 nbRestartNogoods=165
1552.12 => wckTime=1520.852 cpuTime=1513.94 mem=18M74
2148.42
2148.42 search
2148.42 run=24 nbConstraintChecks=1596224616 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=752026
2148.42 nbFailedAssignments=246123 nbBacktracks=505054 nbVisitedNodes=1227941 nbRestartNogoods=184
2148.42 => wckTime=2117.153 cpuTime=2107.0 mem=18M74
2411.82 v 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 -1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-281971-1169316366 -o ROOT/results/node9/solver-281971-1169316366 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281971-1169316366/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.86 1.97 1.98 4/86 11037
/proc/meminfo: memFree=1254712/2055920 swapFree=4191880/4192956
[pid=11036] ppid=11034 vsize=1784 CPUtime=0
/proc/11036/stat : 11036 (java) D 11034 11036 10968 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 280031757 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/11036/statm: 446 140 106 14 0 91 0
[startup+0.114546 s]
/proc/loadavg: 1.86 1.97 1.98 4/86 11037
/proc/meminfo: memFree=1254712/2055920 swapFree=4191880/4192956
[pid=11036] ppid=11034 vsize=907808 CPUtime=0.05
/proc/11036/stat : 11036 (java) D 11034 11036 10968 0 -1 0 2457 0 1 0 4 1 0 0 16 0 4 0 280031757 929595392 2204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/11036/statm: 226952 2204 1214 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.522035 s]
/proc/loadavg: 1.86 1.97 1.98 4/86 11037
/proc/meminfo: memFree=1254712/2055920 swapFree=4191880/4192956
[pid=11036] ppid=11034 vsize=915332 CPUtime=0.46
/proc/11036/stat : 11036 (java) S 11034 11036 10968 0 -1 0 6292 0 1 0 42 4 0 0 17 0 8 0 280031757 937299968 6031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11036/statm: 228833 6031 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915332
[startup+1.34313 s]
/proc/loadavg: 1.86 1.97 1.98 3/93 11044
/proc/meminfo: memFree=1233664/2055920 swapFree=4191880/4192956
[pid=11036] ppid=11034 vsize=915428 CPUtime=1.26
/proc/11036/stat : 11036 (java) R 11034 11036 10968 0 -1 0 7936 0 1 0 111 15 0 0 20 0 8 0 280031757 937398272 7674 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792344 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11036/statm: 228857 7674 2479 14 0 215327 0
[pid=11036/tid=11038] ppid=11034 vsize=915428 CPUtime=0.03
/proc/11036/task/11038/stat : 11038 (java) S 11034 11036 10968 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 280031766 937398272 7674 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11039] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11039/stat : 11039 (java) S 11034 11036 10968 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 7674 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11040] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11040/stat : 11040 (java) S 11034 11036 10968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 7674 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11041] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11041/stat : 11041 (java) S 11034 11036 10968 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280031769 937398272 7674 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11042] ppid=11034 vsize=915428 CPUtime=0.17
/proc/11036/task/11042/stat : 11042 (java) S 11034 11036 10968 0 -1 64 366 0 0 0 17 0 0 0 17 0 8 0 280031769 937398272 7674 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11043] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11043/stat : 11043 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280031769 937398272 7674 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11044] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11044/stat : 11044 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280031770 937398272 7674 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915428
[startup+2.98031 s]
/proc/loadavg: 1.95 1.98 1.99 3/93 11044
/proc/meminfo: memFree=1233600/2055920 swapFree=4191880/4192956
[pid=11036] ppid=11034 vsize=915428 CPUtime=2.88
/proc/11036/stat : 11036 (java) R 11034 11036 10968 0 -1 0 7937 0 1 0 248 40 0 0 25 0 8 0 280031757 937398272 7674 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155497985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11036/statm: 228857 7674 2479 14 0 215327 0
[pid=11036/tid=11038] ppid=11034 vsize=915428 CPUtime=0.03
/proc/11036/task/11038/stat : 11038 (java) S 11034 11036 10968 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 280031766 937398272 7674 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11039] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11039/stat : 11039 (java) S 11034 11036 10968 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 7674 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11040] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11040/stat : 11040 (java) S 11034 11036 10968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 7674 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11041] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11041/stat : 11041 (java) S 11034 11036 10968 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280031769 937398272 7674 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11042] ppid=11034 vsize=915428 CPUtime=0.17
/proc/11036/task/11042/stat : 11042 (java) S 11034 11036 10968 0 -1 64 366 0 0 0 17 0 0 0 17 0 8 0 280031769 937398272 7674 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11043] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11043/stat : 11043 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280031769 937398272 7674 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11044] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11044/stat : 11044 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280031770 937398272 7674 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915428
[startup+6.18268 s]
/proc/loadavg: 1.95 1.98 1.99 3/93 11044
/proc/meminfo: memFree=1233600/2055920 swapFree=4191880/4192956
[pid=11036] ppid=11034 vsize=915428 CPUtime=6.06
/proc/11036/stat : 11036 (java) R 11034 11036 10968 0 -1 0 7939 0 1 0 511 95 0 0 25 0 8 0 280031757 937398272 7676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11036/statm: 228857 7676 2479 14 0 215327 0
[pid=11036/tid=11038] ppid=11034 vsize=915428 CPUtime=0.03
/proc/11036/task/11038/stat : 11038 (java) S 11034 11036 10968 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 280031766 937398272 7676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11039] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11039/stat : 11039 (java) S 11034 11036 10968 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 7676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11040] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11040/stat : 11040 (java) S 11034 11036 10968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 7676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11041] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11041/stat : 11041 (java) S 11034 11036 10968 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280031769 937398272 7676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11042] ppid=11034 vsize=915428 CPUtime=0.18
/proc/11036/task/11042/stat : 11042 (java) S 11034 11036 10968 0 -1 64 368 0 0 0 18 0 0 0 16 0 8 0 280031769 937398272 7676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11043] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11043/stat : 11043 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280031769 937398272 7676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11044] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11044/stat : 11044 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280031770 937398272 7676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 915428
[startup+12.6504 s]
/proc/loadavg: 1.96 1.98 1.99 3/93 11044
/proc/meminfo: memFree=1233616/2055920 swapFree=4191880/4192956
[pid=11036] ppid=11034 vsize=915428 CPUtime=12.47
/proc/11036/stat : 11036 (java) R 11034 11036 10968 0 -1 0 7939 0 1 0 1042 205 0 0 25 0 8 0 280031757 937398272 7676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803318 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11036/statm: 228857 7676 2479 14 0 215327 0
[pid=11036/tid=11038] ppid=11034 vsize=915428 CPUtime=0.03
/proc/11036/task/11038/stat : 11038 (java) S 11034 11036 10968 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 280031766 937398272 7676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11039] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11039/stat : 11039 (java) S 11034 11036 10968 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 7676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11040] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11040/stat : 11040 (java) S 11034 11036 10968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 7676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11041] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11041/stat : 11041 (java) S 11034 11036 10968 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280031769 937398272 7676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11042] ppid=11034 vsize=915428 CPUtime=0.18
/proc/11036/task/11042/stat : 11042 (java) S 11034 11036 10968 0 -1 64 368 0 0 0 18 0 0 0 16 0 8 0 280031769 937398272 7676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11043] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11043/stat : 11043 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280031769 937398272 7676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11044] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11044/stat : 11044 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280031770 937398272 7676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 915428
[startup+25.5287 s]
/proc/loadavg: 1.96 1.98 1.99 3/93 11044
/proc/meminfo: memFree=1233744/2055920 swapFree=4191880/4192956
[pid=11036] ppid=11034 vsize=915428 CPUtime=25.3
/proc/11036/stat : 11036 (java) R 11034 11036 10968 0 -1 0 7945 0 1 0 2103 427 0 0 25 0 8 0 280031757 937398272 7682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792904 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11036/statm: 228858 7682 2479 14 0 215328 0
[pid=11036/tid=11038] ppid=11034 vsize=915428 CPUtime=0.03
/proc/11036/task/11038/stat : 11038 (java) S 11034 11036 10968 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 280031766 937398272 7682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11039] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11039/stat : 11039 (java) S 11034 11036 10968 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 7682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11040] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11040/stat : 11040 (java) S 11034 11036 10968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 7682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11041] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11041/stat : 11041 (java) S 11034 11036 10968 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280031769 937398272 7682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11042] ppid=11034 vsize=915428 CPUtime=0.19
/proc/11036/task/11042/stat : 11042 (java) S 11034 11036 10968 0 -1 64 374 0 0 0 19 0 0 0 16 0 8 0 280031769 937398272 7682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11043] ppid=11034 vsize=915432 CPUtime=0
/proc/11036/task/11043/stat : 11043 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280031769 937402368 7682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11044] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11044/stat : 11044 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280031770 937398272 7682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915428
[startup+51.1416 s]
/proc/loadavg: 1.97 1.98 1.99 3/93 11044
/proc/meminfo: memFree=1227792/2055920 swapFree=4191880/4192956
[pid=11036] ppid=11034 vsize=915428 CPUtime=50.81
/proc/11036/stat : 11036 (java) R 11034 11036 10968 0 -1 0 9499 0 1 0 4561 520 0 0 25 0 8 0 280031757 937398272 9227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073949984 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11036/statm: 228857 9227 2532 14 0 215327 0
[pid=11036/tid=11038] ppid=11034 vsize=915428 CPUtime=0.03
/proc/11036/task/11038/stat : 11038 (java) S 11034 11036 10968 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 280031766 937398272 9227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11039] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11039/stat : 11039 (java) S 11034 11036 10968 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 9227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11040] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11040/stat : 11040 (java) S 11034 11036 10968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 9227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11041] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11041/stat : 11041 (java) S 11034 11036 10968 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280031769 937398272 9227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11042] ppid=11034 vsize=915428 CPUtime=0.3
/proc/11036/task/11042/stat : 11042 (java) S 11034 11036 10968 0 -1 64 442 0 0 0 29 1 0 0 16 0 8 0 280031769 937398272 9227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11043] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11043/stat : 11043 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280031769 937398272 9227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11044] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11044/stat : 11044 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280031770 937398272 9227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 915428
[startup+102.368 s]
/proc/loadavg: 1.99 1.98 1.99 3/93 11044
/proc/meminfo: memFree=1227792/2055920 swapFree=4191880/4192956
[pid=11036] ppid=11034 vsize=915428 CPUtime=101.84
/proc/11036/stat : 11036 (java) R 11034 11036 10968 0 -1 0 9505 0 1 0 9663 521 0 0 25 0 8 0 280031757 937398272 9233 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470923 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11036/statm: 228857 9233 2532 14 0 215327 0
[pid=11036/tid=11038] ppid=11034 vsize=915428 CPUtime=0.03
/proc/11036/task/11038/stat : 11038 (java) S 11034 11036 10968 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 280031766 937398272 9233 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11039] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11039/stat : 11039 (java) S 11034 11036 10968 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 9233 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11040] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11040/stat : 11040 (java) S 11034 11036 10968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 9233 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11041] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11041/stat : 11041 (java) S 11034 11036 10968 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280031769 937398272 9233 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11042] ppid=11034 vsize=915428 CPUtime=0.3
/proc/11036/task/11042/stat : 11042 (java) S 11034 11036 10968 0 -1 64 442 0 0 0 29 1 0 0 16 0 8 0 280031769 937398272 9233 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11043] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11043/stat : 11043 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280031769 937398272 9233 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11044] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11044/stat : 11044 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280031770 937398272 9233 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 915428
[startup+162.446 s]
/proc/loadavg: 2.06 2.00 1.99 3/93 11044
/proc/meminfo: memFree=1227728/2055920 swapFree=4191880/4192956
[pid=11036] ppid=11034 vsize=915428 CPUtime=161.69
/proc/11036/stat : 11036 (java) R 11034 11036 10968 0 -1 0 9511 0 1 0 15648 521 0 0 25 0 8 0 280031757 937398272 9238 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074010870 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2014.44
Current children cumulated vsize (KiB) 915428
[startup+2084.15 s]
/proc/loadavg: 2.00 2.02 2.00 3/94 11171
/proc/meminfo: memFree=1191000/2055920 swapFree=4191880/4192956
[pid=11036] ppid=11034 vsize=915428 CPUtime=2074.16
/proc/11036/stat : 11036 (java) R 11034 11036 10968 0 -1 0 9532 0 1 0 206884 532 0 0 25 0 8 0 280031757 937398272 9259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073946349 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11036/statm: 228857 9259 2532 14 0 215327 0
[pid=11036/tid=11038] ppid=11034 vsize=915428 CPUtime=0.03
/proc/11036/task/11038/stat : 11038 (java) S 11034 11036 10968 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 280031766 937398272 9259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11039] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11039/stat : 11039 (java) S 11034 11036 10968 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 9259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11040] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11040/stat : 11040 (java) S 11034 11036 10968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 9259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11041] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11041/stat : 11041 (java) S 11034 11036 10968 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280031769 937398272 9259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11042] ppid=11034 vsize=915428 CPUtime=0.3
/proc/11036/task/11042/stat : 11042 (java) S 11034 11036 10968 0 -1 64 443 0 0 0 29 1 0 0 16 0 8 0 280031769 937398272 9259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11036/tid=11043] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11043/stat : 11043 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280031769 937398272 9259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11044] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11044/stat : 11044 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280031770 937398272 9259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.16
Current children cumulated vsize (KiB) 915428
[startup+2144.19 s]
/proc/loadavg: 2.08 2.03 2.01 3/94 11171
/proc/meminfo: memFree=1191064/2055920 swapFree=4191880/4192956
[pid=11036] ppid=11034 vsize=915428 CPUtime=2133.88
/proc/11036/stat : 11036 (java) R 11034 11036 10968 0 -1 0 9532 0 1 0 212856 532 0 0 25 0 8 0 280031757 937398272 9259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073949984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11036/statm: 228857 9259 2532 14 0 215327 0
[pid=11036/tid=11038] ppid=11034 vsize=915428 CPUtime=0.03
/proc/11036/task/11038/stat : 11038 (java) S 11034 11036 10968 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 280031766 937398272 9259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11039] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11039/stat : 11039 (java) S 11034 11036 10968 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 9259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11040] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11040/stat : 11040 (java) S 11034 11036 10968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 9259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11041] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11041/stat : 11041 (java) S 11034 11036 10968 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280031769 937398272 9259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11042] ppid=11034 vsize=915428 CPUtime=0.3
/proc/11036/task/11042/stat : 11042 (java) S 11034 11036 10968 0 -1 64 443 0 0 0 29 1 0 0 16 0 8 0 280031769 937398272 9259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11036/tid=11043] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11043/stat : 11043 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280031769 937398272 9259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11044] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11044/stat : 11044 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280031770 937398272 9259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2133.88
Current children cumulated vsize (KiB) 915428
[startup+2204.23 s]
/proc/loadavg: 2.03 2.02 2.00 3/94 11171
/proc/meminfo: memFree=1191000/2055920 swapFree=4191880/4192956
[pid=11036] ppid=11034 vsize=915428 CPUtime=2193.57
/proc/11036/stat : 11036 (java) R 11034 11036 10968 0 -1 0 9534 0 1 0 218825 532 0 0 25 0 8 0 280031757 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810472 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11036/statm: 228857 9261 2532 14 0 215327 0
[pid=11036/tid=11038] ppid=11034 vsize=915428 CPUtime=0.03
/proc/11036/task/11038/stat : 11038 (java) S 11034 11036 10968 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 280031766 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11039] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11039/stat : 11039 (java) S 11034 11036 10968 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11040] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11040/stat : 11040 (java) S 11034 11036 10968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11041] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11041/stat : 11041 (java) S 11034 11036 10968 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280031769 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11042] ppid=11034 vsize=915428 CPUtime=0.3
/proc/11036/task/11042/stat : 11042 (java) S 11034 11036 10968 0 -1 64 443 0 0 0 29 1 0 0 16 0 8 0 280031769 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11036/tid=11043] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11043/stat : 11043 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280031769 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11044] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11044/stat : 11044 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280031770 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2193.57
Current children cumulated vsize (KiB) 915428
[startup+2264.27 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 11171
/proc/meminfo: memFree=1191000/2055920 swapFree=4191880/4192956
[pid=11036] ppid=11034 vsize=915428 CPUtime=2253.29
/proc/11036/stat : 11036 (java) R 11034 11036 10968 0 -1 0 9534 0 1 0 224797 532 0 0 25 0 8 0 280031757 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073943241 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11036/statm: 228857 9261 2532 14 0 215327 0
[pid=11036/tid=11038] ppid=11034 vsize=915428 CPUtime=0.03
/proc/11036/task/11038/stat : 11038 (java) S 11034 11036 10968 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 280031766 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11039] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11039/stat : 11039 (java) S 11034 11036 10968 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11040] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11040/stat : 11040 (java) S 11034 11036 10968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11041] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11041/stat : 11041 (java) S 11034 11036 10968 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280031769 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11042] ppid=11034 vsize=915428 CPUtime=0.3
/proc/11036/task/11042/stat : 11042 (java) S 11034 11036 10968 0 -1 64 443 0 0 0 29 1 0 0 16 0 8 0 280031769 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11036/tid=11043] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11043/stat : 11043 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280031769 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11044] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11044/stat : 11044 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280031770 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2253.29
Current children cumulated vsize (KiB) 915428
[startup+2324.31 s]
/proc/loadavg: 2.07 2.03 2.00 3/94 11171
/proc/meminfo: memFree=1191064/2055920 swapFree=4191880/4192956
[pid=11036] ppid=11034 vsize=915428 CPUtime=2313.01
/proc/11036/stat : 11036 (java) R 11034 11036 10968 0 -1 0 9534 0 1 0 230769 532 0 0 25 0 8 0 280031757 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074020083 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11036/statm: 228857 9261 2532 14 0 215327 0
[pid=11036/tid=11038] ppid=11034 vsize=915428 CPUtime=0.03
/proc/11036/task/11038/stat : 11038 (java) S 11034 11036 10968 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 280031766 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11039] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11039/stat : 11039 (java) S 11034 11036 10968 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11040] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11040/stat : 11040 (java) S 11034 11036 10968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11041] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11041/stat : 11041 (java) S 11034 11036 10968 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280031769 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11042] ppid=11034 vsize=915428 CPUtime=0.3
/proc/11036/task/11042/stat : 11042 (java) S 11034 11036 10968 0 -1 64 443 0 0 0 29 1 0 0 16 0 8 0 280031769 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11036/tid=11043] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11043/stat : 11043 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280031769 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11044] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11044/stat : 11044 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280031770 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2313.01
Current children cumulated vsize (KiB) 915428
[startup+2384.35 s]
/proc/loadavg: 2.23 2.07 2.02 3/94 11171
/proc/meminfo: memFree=1191000/2055920 swapFree=4191880/4192956
[pid=11036] ppid=11034 vsize=915428 CPUtime=2372.71
/proc/11036/stat : 11036 (java) R 11034 11036 10968 0 -1 0 9534 0 1 0 236738 533 0 0 25 0 8 0 280031757 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073966551 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11036/statm: 228857 9261 2532 14 0 215327 0
[pid=11036/tid=11038] ppid=11034 vsize=915428 CPUtime=0.03
/proc/11036/task/11038/stat : 11038 (java) S 11034 11036 10968 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 280031766 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11039] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11039/stat : 11039 (java) S 11034 11036 10968 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11040] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11040/stat : 11040 (java) S 11034 11036 10968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11041] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11041/stat : 11041 (java) S 11034 11036 10968 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280031769 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11042] ppid=11034 vsize=915428 CPUtime=0.3
/proc/11036/task/11042/stat : 11042 (java) S 11034 11036 10968 0 -1 64 443 0 0 0 29 1 0 0 16 0 8 0 280031769 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11036/tid=11043] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11043/stat : 11043 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280031769 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11044] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11044/stat : 11044 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280031770 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2372.71
Current children cumulated vsize (KiB) 915428
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2411.81 s]
/proc/loadavg: 2.14 2.06 2.01 3/94 11171
/proc/meminfo: memFree=1191000/2055920 swapFree=4191880/4192956
[pid=11036] ppid=11034 vsize=915428 CPUtime=2400.04
/proc/11036/stat : 11036 (java) R 11034 11036 10968 0 -1 0 9534 0 1 0 239471 533 0 0 25 0 8 0 280031757 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073949984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11036/statm: 228857 9261 2532 14 0 215327 0
[pid=11036/tid=11038] ppid=11034 vsize=915428 CPUtime=0.03
/proc/11036/task/11038/stat : 11038 (java) S 11034 11036 10968 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 280031766 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11039] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11039/stat : 11039 (java) S 11034 11036 10968 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11040] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11040/stat : 11040 (java) S 11034 11036 10968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280031766 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11041] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11041/stat : 11041 (java) S 11034 11036 10968 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280031769 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11042] ppid=11034 vsize=915428 CPUtime=0.3
/proc/11036/task/11042/stat : 11042 (java) S 11034 11036 10968 0 -1 64 443 0 0 0 29 1 0 0 16 0 8 0 280031769 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11036/tid=11043] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11043/stat : 11043 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280031769 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11036/tid=11044] ppid=11034 vsize=915428 CPUtime=0
/proc/11036/task/11044/stat : 11044 (java) S 11034 11036 10968 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280031770 937398272 9261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915428
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2411.85
CPU time (s): 2400.07
CPU user time (s): 2394.74
CPU system time (s): 5.33819
CPU usage (%): 99.5117
Max. virtual memory (cumulated for all children) (KiB): 915432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.73
system time used= 5.33819
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9556
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= 49910
involuntary context switches= 55923
runsolver used 2.98255 s user time and 7.68983 s system time
The end
Begin job on node9 on Sat Jan 20 18:06:06 UTC 2007
IDJOB= 281971
IDBENCH= 12332
IDSOLVER= 68
FILE ID= node9/281971-1169316366
PBS_JOBID= 3610032
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/maxclique/hamming-8-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281971-1169316366/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-281971-1169316366 -o ROOT/results/node9/solver-281971-1169316366 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281971-1169316366/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0f57b407e2f88fe86688ee94d763e1be
RANDOM SEED= 699958278
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.231
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.231
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: 1255192 kB
Buffers: 61072 kB
Cached: 598124 kB
SwapCached: 268 kB
Active: 302628 kB
Inactive: 412168 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1255192 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2120 kB
Writeback: 0 kB
Mapped: 68648 kB
Slab: 70788 kB
Committed_AS: 8881184 kB
PageTables: 2260 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= 66561 MiB
End job on node9 on Sat Jan 20 18:46:19 UTC 2007