0.06/0.08
0.06/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mrdac-wdeg.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-1112665-1215872209.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.33
0.28/0.33 variables being loaded...
0.38/0.41 nbVariables=360 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180 nbTotalValues=64800
0.38/0.41 => wckTime=0.167 cpuTime=0.13 mem=9M809
0.38/0.41
0.38/0.41 predicates being loaded...
0.38/0.47
0.38/0.47 constraints being loaded...
9.75/10.67 nbConstraints=48510 nbConvertedConstraints=48510 nbConvertConstraintsChecks=5832000 nbExtensionStructures=180
9.75/10.67 nbSharedExtensionStructures=48330 nbConflictsStructures=180 nbSharedConflictsStructures=48330
9.75/10.67 nbSharedBinaryRepresentations=45810 minDegree=180 maxDegree=359 minArity=2 maxArity=2
9.75/10.67 => wckTime=10.426 cpuTime=8.52 mem=68M349
10.23/11.11
10.23/11.11 solver LocalSearchSolver being built...
10.23/11.16 => wckTime=10.912 cpuTime=8.56 mem=64M934
10.34/11.24
10.34/11.24 s SATISFIABLE
10.34/11.24 o 634
10.34/11.27 o 623
10.44/11.32 o 613
10.44/11.37 o 603
10.54/11.40 o 594
10.54/11.41 o 585
10.54/11.44 o 577
10.64/11.51 o 569
10.64/11.53 o 561
10.64/11.57 o 553
10.74/11.60 o 545
10.74/11.63 o 538
10.74/11.67 o 531
10.74/11.67 o 524
10.84/11.73 o 517
10.84/11.79 o 510
10.94/11.84 o 503
10.94/11.88 o 496
11.03/11.93 o 490
11.03/11.97 o 484
11.13/12.02 o 478
11.13/12.07 o 472
11.23/12.10 o 466
11.23/12.14 o 461
11.23/12.19 o 455
11.33/12.25 o 449
11.43/12.33 o 444
11.53/12.41 o 439
11.53/12.48 o 434
11.63/12.53 o 429
11.63/12.58 o 424
11.73/12.63 o 419
11.73/12.66 o 414
11.73/12.70 o 409
11.83/12.75 o 405
11.83/12.79 o 401
11.93/12.81 o 397
11.93/12.88 o 392
12.03/12.96 o 387
12.12/13.07 o 383
12.22/13.17 o 379
12.33/13.25 o 375
12.43/13.33 o 371
12.53/13.42 o 367
12.53/13.49 o 363
12.63/13.57 o 359
12.73/13.63 o 355
12.73/13.68 o 351
12.83/13.72 o 347
12.83/13.77 o 343
12.93/13.85 o 340
13.03/13.96 o 337
13.13/14.01 o 334
13.13/14.06 o 331
13.13/14.09 o 328
13.22/14.10 o 323
13.22/14.12 o 320
13.32/14.22 o 317
13.42/14.32 o 313
13.52/14.45 o 309
13.62/14.55 o 305
13.72/14.64 o 301
13.82/14.73 o 298
13.92/14.83 o 295
14.02/14.96 o 292
14.12/15.07 o 290
14.22/15.16 o 288
14.32/15.25 o 286
14.42/15.32 o 284
14.42/15.39 o 282
14.52/15.47 o 280
14.62/15.53 o 278
14.62/15.57 o 276
14.72/15.63 o 274
14.72/15.68 o 272
14.81/15.73 o 270
14.81/15.77 o 268
14.91/15.83 o 266
14.91/15.86 o 264
15.01/15.95 o 262
15.11/16.03 o 260
15.21/16.14 o 257
15.31/16.26 o 254
15.40/16.35 o 251
15.50/16.46 o 248
15.60/16.56 o 245
15.70/16.69 o 243
15.90/16.83 o 241
16.00/16.96 o 239
16.10/17.08 o 237
16.30/17.22 o 236
16.40/17.37 o 235
16.59/17.50 o 234
16.69/17.61 o 232
16.79/17.72 o 230
16.89/17.83 o 229
16.99/17.94 o 228
17.09/18.04 o 227
17.19/18.15 o 226
17.29/18.24 o 225
17.39/18.32 o 224
17.49/18.40 o 223
17.49/18.46 o 221
17.59/18.52 o 220
17.59/18.60 o 219
17.69/18.67 o 218
17.79/18.72 o 217
17.79/18.75 o 216
17.89/18.80 o 215
17.89/18.84 o 214
18.08/19.01 o 213
18.08/19.07 o 212
18.18/19.12 o 211
18.18/19.17 o 210
18.28/19.24 o 209
18.38/19.33 o 208
18.48/19.41 o 206
18.58/19.51 o 204
18.58/19.60 o 203
18.78/19.70 o 202
18.98/19.90 o 201
19.68/20.65 o 200
19.68/20.67 o 199
19.97/20.92 o 198
19.97/21.00 o 196
20.07/21.03 o 195
20.17/21.13 o 194
20.17/21.17 o 192
20.27/21.28 o 191
20.37/21.32 o 190
20.37/21.37 o 188
20.47/21.41 o 185
20.57/21.50 o 183
20.57/21.54 o 182
20.67/21.66 o 181
20.77/21.79 o 179
20.86/21.88 o 178
21.06/22.03 o 177
21.06/22.09 o 175
21.46/22.49 o 174
21.66/22.60 o 173
21.66/22.68 o 171
21.86/22.83 o 170
22.05/23.01 o 169
22.05/23.06 o 168
22.05/23.09 o 166
22.15/23.13 o 165
22.15/23.16 o 164
22.15/23.19 o 163
22.25/23.23 o 162
22.25/23.28 o 161
22.75/23.75 o 160
22.75/23.79 o 159
22.85/23.83 o 157
22.85/23.88 o 156
22.96/23.99 o 155
23.16/24.12 o 154
23.36/24.31 o 153
23.36/24.35 o 152
23.76/24.79 o 151
23.96/24.97 o 150
24.15/25.15 o 149
24.75/25.76 o 148
25.04/26.07 o 146
25.93/26.91 o 145
26.03/27.08 o 144
26.42/27.44 o 143
26.52/27.52 o 141
26.82/27.85 o 140
26.82/27.88 o 139
26.92/27.95 o 138
27.31/28.37 o 137
27.70/28.73 o 136
29.19/30.21 o 135
29.19/30.29 o 134
29.29/30.33 o 132
29.39/30.44 o 131
29.99/31.04 o 130
30.18/31.21 o 129
30.18/31.29 o 128
30.58/31.61 o 127
30.88/31.97 o 126
31.18/32.25 o 125
31.28/32.32 o 124
31.38/32.40 o 122
37.34/38.49 o 121
38.33/39.46 o 119
39.13/40.25 o 118
40.53/41.67 o 117
41.72/42.85 o 116
41.92/43.00 o 115
42.42/43.57 o 114
43.61/44.75 o 113
43.61/44.79 o 112
45.20/46.35 o 111
45.20/46.39 o 110
45.50/46.63 o 109
45.80/46.96 o 108
46.69/47.81 o 107
46.89/48.09 o 106
46.99/48.12 o 105
47.09/48.24 o 104
49.78/50.96 o 103
49.88/51.10 o 102
62.80/64.07 o 101
63.60/64.82 o 100
65.89/67.11 o 99
66.98/68.28 o 98
67.38/68.67 o 97
67.78/69.03 o 96
67.87/69.19 o 95
90.06/91.47 o 94
120.12/121.63
120.12/121.64 search
120.12/121.64 run=0 nbConstraintChecks=691334365 nbAssignments=3002
120.12/121.64 => wckTime=110.481 cpuTime=109.84 mem=65M949
120.12/121.64
120.12/121.64 global
120.12/121.64 nbConstraintChecks=691334365 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
120.12/121.64 solvingWckTime=110.478 solvingCpuTime=109.83 expiredTime=no totalExploration=no nbFoundSolutions=0
120.12/121.64 globalCpuTime=118.43
120.12/121.64 => wckTime=121.393 cpuTime=118.39 mem=65M949
120.12/121.64
120.12/121.64 solver DecomposerSolver being built...
120.51/122.01 => wckTime=121.762 cpuTime=118.57 mem=156M578
120.51/122.07
120.51/122.07 preprocessing
120.51/122.07 nbConstraintChecks=0 nbPropagations=360 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
120.51/122.07 detectedInconsistency=no
120.51/122.07 => wckTime=0.06 cpuTime=0.05 mem=156M578
120.91/122.41 s UNKNOWN
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112665-1215872209/watcher-1112665-1215872209 -o /tmp/evaluation-result-1112665-1215872209/solver-1112665-1215872209 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112665-1215872209.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.35 2.62 2.62 3/73 19581
/proc/meminfo: memFree=1847860/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=1616 CPUtime=0
/proc/19581/stat : 19581 (java) D 19579 19581 19283 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 43923098 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099937270 0 0 17 0 0 0
/proc/19581/statm: 404 145 119 9 0 46 0
[startup+0.0800949 s]
/proc/loadavg: 2.35 2.62 2.62 3/73 19581
/proc/meminfo: memFree=1847860/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=865856 CPUtime=0.06
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 3528 0 1 0 5 1 0 0 18 0 9 0 43923098 886636544 3018 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 216464 3018 1627 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856
[startup+0.101097 s]
/proc/loadavg: 2.35 2.62 2.62 3/73 19581
/proc/meminfo: memFree=1847860/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=865988 CPUtime=0.08
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 3720 0 1 0 7 1 0 0 18 0 9 0 43923098 886771712 3193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 216497 3193 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988
[startup+0.301123 s]
/proc/loadavg: 2.35 2.62 2.62 3/73 19581
/proc/meminfo: memFree=1847860/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=866360 CPUtime=0.28
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 5877 0 1 0 24 4 0 0 18 0 9 0 43923098 887152640 5252 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 216590 5253 1955 9 0 211118 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866360
[startup+0.70117 s]
/proc/loadavg: 2.35 2.62 2.62 3/73 19581
/proc/meminfo: memFree=1847860/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=867604 CPUtime=0.69
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 9303 0 1 0 63 6 0 0 18 0 9 0 43923098 888426496 8664 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 216901 8665 2011 9 0 211407 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867604
[startup+1.50226 s]
/proc/loadavg: 2.35 2.62 2.62 3/82 19590
/proc/meminfo: memFree=1804332/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=867516 CPUtime=1.48
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 19255 0 1 0 138 10 0 0 18 0 9 0 43923098 888336384 18591 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 216879 18591 2003 9 0 211407 0
[pid=19581/tid=19583] ppid=19579 vsize=867516 CPUtime=1.23
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15762 0 1 0 115 8 0 0 25 0 9 0 43923099 888336384 18591 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19584] ppid=19579 vsize=867516 CPUtime=0.08
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 2164 0 0 0 8 0 0 0 16 0 9 0 43923100 888336384 18591 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19585] ppid=19579 vsize=867516 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 888336384 18591 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19586] ppid=19579 vsize=867516 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 888336384 18591 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19587] ppid=19579 vsize=867516 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 888336384 18591 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=867516 CPUtime=0.14
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 632 0 0 0 14 0 0 0 16 0 9 0 43923103 888336384 18591 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19589] ppid=19579 vsize=867516 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 888336384 18591 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=867516 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43923103 888336384 18591 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867516
[startup+3.10225 s]
/proc/loadavg: 2.35 2.62 2.62 4/82 19590
/proc/meminfo: memFree=1778668/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=867632 CPUtime=3.08
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 23044 0 1 0 295 13 0 0 18 0 9 0 43923098 888455168 22377 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 216908 22377 2005 9 0 211436 0
[pid=19581/tid=19583] ppid=19579 vsize=867632 CPUtime=2.66
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15802 0 1 0 257 9 0 0 25 0 9 0 43923099 888455168 22377 996147200 134512640 134550740 4294955952 18446744073709551615 4126878438 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19584] ppid=19579 vsize=867632 CPUtime=0.23
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 5890 0 0 0 21 2 0 0 17 0 9 0 43923100 888455168 22377 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19585] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 888455168 22377 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19586] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 888455168 22377 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19587] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 888455168 22377 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=867632 CPUtime=0.16
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 655 0 0 0 16 0 0 0 15 0 9 0 43923103 888455168 22377 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19589] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 888455168 22377 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43923103 888455168 22377 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867632
[startup+6.30682 s]
/proc/loadavg: 2.48 2.64 2.63 3/82 19590
/proc/meminfo: memFree=1755308/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=867632 CPUtime=5.49
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 25678 0 1 0 494 55 0 0 18 0 9 0 43923098 888455168 25007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 216908 25007 2005 9 0 211436 0
[pid=19581/tid=19583] ppid=19579 vsize=867632 CPUtime=4.86
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15807 0 1 0 436 50 0 0 22 0 9 0 43923099 888455168 25007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=867632 CPUtime=0.39
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 8482 0 0 0 36 3 0 0 18 0 9 0 43923100 888455168 25007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 888455168 25007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19586] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 888455168 25007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19587] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 888455168 25007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=867632 CPUtime=0.21
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 692 0 0 0 21 0 0 0 16 0 9 0 43923103 888455168 25007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19589] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 888455168 25007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=867632 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43923103 888455168 25007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 867632
[startup+12.7015 s]
/proc/loadavg: 2.44 2.63 2.63 3/82 19590
/proc/meminfo: memFree=1717740/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=868744 CPUtime=11.83
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 35988 0 1 0 978 205 0 0 18 0 9 0 43923098 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217186 34995 2638 9 0 211692 0
[pid=19581/tid=19583] ppid=19579 vsize=868744 CPUtime=10.26
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15873 0 1 0 832 194 0 0 25 0 9 0 43923099 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4127141792 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868744 CPUtime=1.28
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 18701 0 0 0 119 9 0 0 17 0 9 0 43923100 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868744 CPUtime=0.25
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 716 0 0 0 25 0 0 0 16 0 9 0 43923103 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43923103 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.83
Current children cumulated vsize (KiB) 868744
[startup+25.502 s]
/proc/loadavg: 2.34 2.60 2.62 3/82 19590
/proc/meminfo: memFree=1717548/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=868744 CPUtime=24.55
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 35988 0 1 0 2247 208 0 0 18 0 9 0 43923098 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217186 34995 2638 9 0 211692 0
[pid=19581/tid=19583] ppid=19579 vsize=868744 CPUtime=22.98
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15873 0 1 0 2101 197 0 0 25 0 9 0 43923099 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4127140291 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868744 CPUtime=1.28
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 18701 0 0 0 119 9 0 0 16 0 9 0 43923100 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868744 CPUtime=0.25
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 716 0 0 0 25 0 0 0 16 0 9 0 43923103 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43923103 889593856 34995 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.55
Current children cumulated vsize (KiB) 868744
[startup+51.103 s]
/proc/loadavg: 2.23 2.55 2.60 3/82 19590
/proc/meminfo: memFree=1717228/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=868744 CPUtime=49.98
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 35989 0 1 0 4786 212 0 0 18 0 9 0 43923098 889593856 34996 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217186 34996 2638 9 0 211692 0
[pid=19581/tid=19583] ppid=19579 vsize=868744 CPUtime=48.41
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15873 0 1 0 4640 201 0 0 25 0 9 0 43923099 889593856 34996 996147200 134512640 134550740 4294955952 18446744073709551615 4127140220 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868744 CPUtime=1.28
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 18701 0 0 0 119 9 0 0 16 0 9 0 43923100 889593856 34996 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34996 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34996 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889593856 34996 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868744 CPUtime=0.25
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 717 0 0 0 25 0 0 0 16 0 9 0 43923103 889593856 34996 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868744 CPUtime=0
################
# More data... #
################
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 35991 0 1 0 10056 224 0 0 18 0 9 0 43923098 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217186 34998 2638 9 0 211692 0
[pid=19581/tid=19583] ppid=19579 vsize=868744 CPUtime=101.23
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15873 0 1 0 9910 213 0 0 25 0 9 0 43923099 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4127141792 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868744 CPUtime=1.28
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 18701 0 0 0 119 9 0 0 16 0 9 0 43923100 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868744 CPUtime=0.26
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 719 0 0 0 26 0 0 0 15 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.8
Current children cumulated vsize (KiB) 868744
[startup+110.603 s]
/proc/loadavg: 2.08 2.45 2.56 3/82 19590
/proc/meminfo: memFree=1716716/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=868744 CPUtime=109.17
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 35991 0 1 0 10692 225 0 0 18 0 9 0 43923098 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217186 34998 2638 9 0 211692 0
[pid=19581/tid=19583] ppid=19579 vsize=868744 CPUtime=107.6
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15873 0 1 0 10546 214 0 0 25 0 9 0 43923099 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4127141853 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868744 CPUtime=1.28
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 18701 0 0 0 119 9 0 0 16 0 9 0 43923100 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868744 CPUtime=0.26
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 719 0 0 0 26 0 0 0 15 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 109.17
Current children cumulated vsize (KiB) 868744
[startup+117.002 s]
/proc/loadavg: 2.07 2.44 2.55 3/82 19590
/proc/meminfo: memFree=1716716/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=868744 CPUtime=115.54
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 35991 0 1 0 11328 226 0 0 18 0 9 0 43923098 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217186 34998 2638 9 0 211692 0
[pid=19581/tid=19583] ppid=19579 vsize=868744 CPUtime=113.97
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15873 0 1 0 11182 215 0 0 25 0 9 0 43923099 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4127141733 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868744 CPUtime=1.28
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 18701 0 0 0 119 9 0 0 16 0 9 0 43923100 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868744 CPUtime=0.26
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 719 0 0 0 26 0 0 0 15 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 115.54
Current children cumulated vsize (KiB) 868744
[startup+120.203 s]
/proc/loadavg: 2.07 2.43 2.55 3/82 19592
/proc/meminfo: memFree=1716516/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=868744 CPUtime=118.73
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 35991 0 1 0 11646 227 0 0 18 0 9 0 43923098 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217186 34998 2638 9 0 211692 0
[pid=19581/tid=19583] ppid=19579 vsize=868744 CPUtime=117.15
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15873 0 1 0 11499 216 0 0 25 0 9 0 43923099 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4127140220 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868744 CPUtime=1.28
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 18701 0 0 0 119 9 0 0 16 0 9 0 43923100 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868744 CPUtime=0.26
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 719 0 0 0 26 0 0 0 15 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43923103 889593856 34998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 118.73
Current children cumulated vsize (KiB) 868744
[startup+121.807 s]
/proc/loadavg: 2.07 2.43 2.55 3/82 19592
/proc/meminfo: memFree=1716516/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=868744 CPUtime=120.31
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 36058 0 1 0 11804 227 0 0 18 0 9 0 43923098 889593856 35065 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217186 35065 2640 9 0 211692 0
[pid=19581/tid=19583] ppid=19579 vsize=868744 CPUtime=118.71
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15920 0 1 0 11655 216 0 0 24 0 9 0 43923099 889593856 35065 996147200 134512640 134550740 4294955952 18446744073709551615 104454904 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868744 CPUtime=1.28
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19283 0 -1 64 18701 0 0 0 119 9 0 0 16 0 9 0 43923100 889593856 35065 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 35065 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43923101 889593856 35065 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889593856 35065 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868744 CPUtime=0.28
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 739 0 0 0 28 0 0 0 16 0 9 0 43923103 889593856 35065 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 889593856 35065 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=868744 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43923103 889593856 35065 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 120.31
Current children cumulated vsize (KiB) 868744
[startup+122.202 s]
/proc/loadavg: 2.07 2.43 2.55 3/82 19592
/proc/meminfo: memFree=1716516/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=868996 CPUtime=120.71
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 54447 0 1 0 11837 234 0 0 18 0 9 0 43923098 889851904 53447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217249 53447 2639 9 0 211755 0
[pid=19581/tid=19583] ppid=19579 vsize=868996 CPUtime=118.82
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15924 0 1 0 11666 216 0 0 25 0 9 0 43923099 889851904 53447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868996 CPUtime=1.56
/proc/19581/task/19584/stat : 19584 (java) R 19579 19581 19283 0 -1 64 37080 0 0 0 140 16 0 0 16 0 9 0 43923100 889851904 53447 996147200 134512640 134550740 4294955952 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889851904 53447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 43923101 889851904 53447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889851904 53447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868996 CPUtime=0.29
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 742 0 0 0 29 0 0 0 15 0 9 0 43923103 889851904 53447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 889851904 53447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43923103 889851904 53447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 120.71
Current children cumulated vsize (KiB) 868996
[startup+122.401 s]
/proc/loadavg: 2.07 2.43 2.55 3/82 19592
/proc/meminfo: memFree=1716516/2055920 swapFree=4180120/4192956
[pid=19581] ppid=19579 vsize=868996 CPUtime=120.91
/proc/19581/stat : 19581 (java) S 19579 19581 19283 0 -1 0 57411 0 1 0 11856 235 0 0 18 0 9 0 43923098 889851904 56411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19581/statm: 217249 56411 2639 9 0 211755 0
[pid=19581/tid=19583] ppid=19579 vsize=868996 CPUtime=118.82
/proc/19581/task/19583/stat : 19583 (java) R 19579 19581 19283 0 -1 64 15924 0 1 0 11666 216 0 0 25 0 9 0 43923099 889851904 56411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19584] ppid=19579 vsize=868996 CPUtime=1.76
/proc/19581/task/19584/stat : 19584 (java) R 19579 19581 19283 0 -1 64 40044 0 0 0 159 17 0 0 16 0 9 0 43923100 889851904 56411 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19585] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19283 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43923101 889851904 56411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19586] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19283 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 43923101 889851904 56411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19587] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43923103 889851904 56411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=868996 CPUtime=0.29
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19283 0 -1 64 742 0 0 0 29 0 0 0 15 0 9 0 43923103 889851904 56411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19581/tid=19589] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19283 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43923103 889851904 56411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=868996 CPUtime=0
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19283 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43923103 889851904 56411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 120.91
Current children cumulated vsize (KiB) 868996
Child status: 0
Real time (s): 122.49
CPU time (s): 120.974
CPU user time (s): 118.569
CPU system time (s): 2.40463
CPU usage (%): 98.7617
Max. virtual memory (cumulated for all children) (KiB): 869160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 118.569
system time used= 2.40463
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59726
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= 4088
involuntary context switches= 3590
runsolver used 0.242963 second user time and 0.527919 second system time
The end
Begin job on node28 at 2008-07-12 16:16:49
IDJOB=1112665
IDBENCH=61454
IDSOLVER=359
FILE ID=node28/1112665-1215872209
PBS_JOBID= 7903530
Free space on /tmp= 66500 MiB
SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/super-queens/normalized-super-queens-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112665-1215872209/watcher-1112665-1215872209 -o /tmp/evaluation-result-1112665-1215872209/solver-1112665-1215872209 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112665-1215872209.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= fc9f58475a614e928f4d65ba1e610c18
RANDOM SEED=109934835
node28.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1848340 kB
Buffers: 44852 kB
Cached: 94332 kB
SwapCached: 6064 kB
Active: 92856 kB
Inactive: 71548 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1848340 kB
SwapTotal: 4192956 kB
SwapFree: 4180120 kB
Dirty: 7944 kB
Writeback: 0 kB
Mapped: 29364 kB
Slab: 28124 kB
Committed_AS: 216368 kB
PageTables: 1896 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66496 MiB
End job on node28 at 2008-07-12 16:18:52