Trace number 1112552

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-d? 445.473 451.073

General information on the benchmark

Namecsp/super-js/super-js-taillard-15/
normalized-super-js-taillard-15-30.xml
MD5SUM008c1f6eb2772a7d547f78fa2d1b705f
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints51
Best CPU time to get the best result obtained on this benchmark3600.02
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Maximum constraint arity2
Maximum domain size1207
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5580
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.04/0.09	
0.04/0.09	Abscon 112 (May, 2008)
0.18/0.23	
0.18/0.23	   configuration
0.18/0.23	     name=mrdac-ddeg.xml
0.29/0.31	   
0.29/0.31	   instance
0.29/0.31	     name=HOME/instance-1112552-1215870066.xml
0.29/0.35	   
0.29/0.35	   domains being loaded...
0.29/0.37	   
0.29/0.37	   variables being loaded...
0.48/0.59	     nbVariables=450  nbDomainTypes=93  minDomainSize=1109  maxDomainSize=1207  nbTotalValues=520888
0.48/0.59	       =>  wckTime=0.353  cpuTime=0.27  mem=17M665
0.48/0.59	   
0.48/0.59	   predicates being loaded...
0.57/0.65	   
0.57/0.65	   constraints being loaded...
10.44/10.68	   
10.44/10.68	   INFO : Stopping converting binary constraints (cpu=10.2, mem = 48M196)
11.14/11.32	     nbConstraints=5580  nbConvertedConstraints=74  nbConvertConstraintsChecks=40062300  nbExtensionStructures=30
11.14/11.32	     nbSharedExtensionStructures=44  nbConflictsStructures=30  nbSharedConflictsStructures=44
11.14/11.32	     nbUnbuiltConflictsStructures=1601  nbSharedBinaryRepresentations=7616  nbEvaluationManagers=1601
11.14/11.32	     nbSharedEvaluationManagers=3905  minDegree=16  maxDegree=33  minArity=2  maxArity=2
11.14/11.32	       =>  wckTime=11.087  cpuTime=10.53  mem=55M784
11.34/11.53	   
11.34/11.53	   solver LocalSearchSolver being built... 
11.34/11.57	       =>  wckTime=11.339  cpuTime=10.57  mem=34M53
11.43/11.69	
11.43/11.69	s SATISFIABLE
11.43/11.69	o 743
11.63/11.83	o 735
11.83/12.02	o 727
11.93/12.13	o 720
12.02/12.23	o 714
12.12/12.36	o 706
12.31/12.56	o 698
12.51/12.73	o 691
12.61/12.82	o 684
12.72/12.99	o 678
12.92/13.16	o 675
13.11/13.32	o 670
13.31/13.53	o 665
13.51/13.72	o 661
13.71/13.90	o 658
13.91/14.11	o 656
14.11/14.36	o 650
14.40/14.64	o 644
14.59/14.89	o 641
14.89/15.12	o 636
15.09/15.32	o 631
15.29/15.54	o 626
15.49/15.71	o 622
15.68/15.94	o 618
15.88/16.19	o 614
16.18/16.44	o 611
16.37/16.61	o 606
16.47/16.78	o 601
16.67/16.91	o 596
16.86/17.13	o 591
17.06/17.34	o 586
17.26/17.58	o 582
17.56/17.89	o 578
17.85/18.13	o 574
18.15/18.41	o 571
18.35/18.65	o 568
18.64/18.90	o 565
18.84/19.15	o 562
19.04/19.39	o 560
19.34/19.60	o 558
19.54/19.82	o 556
19.63/19.98	o 554
19.92/20.25	o 553
20.12/20.47	o 552
20.32/20.67	o 551
20.62/20.98	o 549
21.41/21.75	o 547
21.80/22.13	o 543
22.20/22.52	o 539
22.50/22.85	o 535
22.80/23.19	o 531
23.18/23.53	o 527
23.48/23.90	o 524
23.88/24.28	o 521
24.27/24.63	o 518
24.57/24.96	o 515
24.87/25.29	o 512
25.26/25.63	o 509
25.55/25.97	o 507
25.85/26.30	o 505
26.25/26.63	o 503
26.54/26.95	o 501
26.84/27.25	o 499
27.14/27.54	o 495
27.43/27.84	o 494
27.72/28.12	o 492
28.02/28.46	o 490
28.32/28.73	o 489
28.62/29.03	o 488
28.92/29.30	o 487
29.12/29.59	o 486
30.20/30.60	o 483
30.50/30.91	o 481
31.29/31.73	o 480
31.58/32.03	o 479
31.87/32.32	o 477
32.17/32.62	o 473
32.47/32.94	o 469
32.77/33.21	o 465
33.06/33.54	o 464
33.26/33.77	o 461
34.05/34.50	o 458
34.35/34.85	o 456
34.65/35.19	o 455
35.13/35.61	o 452
35.43/35.99	o 449
35.92/36.41	o 446
36.22/36.74	o 445
36.52/37.09	o 442
36.92/37.44	o 439
37.30/37.85	o 436
37.60/38.20	o 433
38.00/38.58	o 430
38.30/38.89	o 427
38.69/39.26	o 424
39.09/39.62	o 422
39.38/39.95	o 420
39.78/40.32	o 418
40.07/40.64	o 416
40.37/40.95	o 414
40.66/41.26	o 412
40.96/41.55	o 410
41.26/41.85	o 408
41.55/42.14	o 406
41.85/42.42	o 405
42.15/42.73	o 404
42.44/43.03	o 403
42.73/43.37	o 402
43.03/43.66	o 401
43.33/43.95	o 400
43.63/44.29	o 399
45.80/46.43	o 398
46.09/46.76	o 396
46.69/47.31	o 395
46.78/47.40	o 392
46.98/47.69	o 391
47.87/48.59	o 390
48.46/49.18	o 388
49.85/50.59	o 387
50.64/51.30	o 386
51.23/51.93	o 383
52.12/52.83	o 380
52.41/53.16	o 377
52.71/53.47	o 376
53.11/53.82	o 373
53.40/54.17	o 369
53.79/54.56	o 368
54.19/54.92	o 366
55.08/55.89	o 364
55.67/56.43	o 362
57.25/58.04	o 361
57.74/58.51	o 359
58.14/58.95	o 357
58.64/59.48	o 355
60.02/60.82	o 354
60.41/61.30	o 352
60.91/61.76	o 350
61.41/62.22	o 348
61.81/62.67	o 346
62.29/63.10	o 344
62.79/63.61	o 343
64.17/65.06	o 342
64.66/65.56	o 341
65.65/66.51	o 340
66.05/66.95	o 339
67.43/68.34	o 337
67.82/68.80	o 336
70.79/71.74	o 333
75.63/76.65	o 332
77.60/78.68	o 331
80.17/81.23	o 330
80.47/81.59	o 329
80.86/81.97	o 328
81.16/82.26	o 327
84.32/85.45	o 325
84.72/85.88	o 323
85.20/86.34	o 321
85.70/86.84	o 320
86.59/87.74	o 319
87.08/88.21	o 318
87.47/88.65	o 317
88.36/89.53	o 315
88.76/89.92	o 313
89.15/90.39	o 311
89.65/90.81	o 310
94.29/95.57	o 309
101.70/103.06	o 308
104.37/105.71	o 306
104.87/106.20	o 304
105.36/106.74	o 302
106.74/108.19	o 301
107.24/108.69	o 298
107.83/109.22	o 296
109.80/111.27	o 295
111.58/113.02	o 293
112.08/113.54	o 292
112.77/114.27	o 291
113.46/114.93	o 290
113.86/115.39	o 289
114.54/116.01	o 288
115.14/116.63	o 287
116.92/118.46	o 286
117.51/119.06	o 285
118.10/119.67	o 284
118.69/120.29	o 283
119.29/120.88	o 282
119.97/121.53	o 281
120.57/122.12	o 280
121.16/122.73	o 278
122.55/124.20	o 277
123.13/124.77	o 276
123.63/125.29	o 274
124.22/125.85	o 271
128.66/130.37	o 270
134.19/136.00	o 269
145.56/147.45	o 268
146.55/148.48	o 267
147.73/149.63	o 266
149.51/151.46	o 265
150.00/151.91	o 263
151.68/153.62	o 262
152.27/154.21	o 259
152.86/154.83	o 258
153.46/155.42	o 257
155.14/157.19	o 256
162.84/164.93	o 255
164.42/166.51	o 254
165.70/167.82	o 252
166.99/169.10	o 251
167.48/169.62	o 250
168.07/170.23	o 248
168.67/170.85	o 247
169.26/171.45	o 244
169.95/172.12	o 243
172.42/174.60	o 242
176.77/179.01	o 241
177.36/179.63	o 240
177.95/180.27	o 238
179.24/181.53	o 237
179.83/182.16	o 236
181.80/184.17	o 235
183.78/186.19	o 234
185.56/187.91	o 233
187.53/189.94	o 232
188.22/190.61	o 231
193.06/195.52	o 229
194.25/196.79	o 228
213.12/215.88	o 227
214.50/217.25	o 225
215.99/218.70	o 224
216.58/219.36	o 223
220.13/222.93	o 222
222.71/225.55	o 221
223.40/226.23	o 220
224.78/227.64	o 219
226.16/229.07	o 218
227.44/230.30	o 216
227.94/230.82	o 214
238.11/241.17	o 212
245.12/248.24	o 211
246.51/249.69	o 210
247.20/250.36	o 208
247.89/251.07	o 207
249.37/252.53	o 206
262.51/265.88	o 205
263.30/266.60	o 204
265.87/269.22	o 202
278.50/282.09	o 199
285.52/289.18	o 197
287.00/290.61	o 195
287.70/291.36	o 194
294.71/298.45	o 192
295.20/298.99	o 191
296.68/300.47	o 190
297.47/301.22	o 189
301.82/305.63	o 188
304.09/307.96	o 187
324.93/329.00	o 186
325.62/329.73	o 185
326.41/330.52	o 184
327.21/331.35	o 180
328.00/332.17	o 179
328.88/333.00	o 178
329.67/333.82	o 176
330.46/334.67	o 174
331.36/335.52	o 173
337.87/342.18	o 172
340.53/344.82	o 171
343.11/347.43	o 170
345.67/350.00	o 169
347.35/351.75	o 168
352.29/356.78	o 167
354.07/358.52	o 166
355.75/360.29	o 165
369.09/373.71	o 164
376.90/381.68	o 163
378.67/383.44	o 162
379.56/384.33	o 161
380.45/385.28	o 160
384.99/389.86	o 157
385.88/390.77	o 156
399.22/404.28	o 155
400.20/405.23	o 154
401.99/407.07	o 153
402.98/408.01	o 152
403.86/408.93	o 151
407.81/412.91	o 149
438.53/444.04	   
438.53/444.04	   search
438.53/444.04	     run=0  nbConstraintChecks=1186845236  nbAssignments=752
438.53/444.04	       =>  wckTime=432.466  cpuTime=427.14  mem=34M53
438.53/444.04	   
438.53/444.04	   global
438.53/444.04	     nbConstraintChecks=1186845236  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
438.53/444.04	     solvingWckTime=432.446  solvingCpuTime=427.12  expiredTime=no  totalExploration=no  nbFoundSolutions=0
438.53/444.04	     globalCpuTime=437.76
438.53/444.04	       =>  wckTime=443.805  cpuTime=437.71  mem=34M53
438.53/444.04	   
438.53/444.04	   solver DecomposerSolver being built... 
445.35/450.91	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112552-1215870066/watcher-1112552-1215870066 -o /tmp/evaluation-result-1112552-1215870066/solver-1112552-1215870066 -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-ddeg.xml 1 XSax HOME/instance-1112552-1215870066.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: 1.92 1.99 2.00 3/104 13580
/proc/meminfo: memFree=1619744/2055920 swapFree=4192812/4192956
[pid=13580] ppid=13578 vsize=1612 CPUtime=0
/proc/13580/stat : 13580 (java) D 13578 13580 13130 0 -1 0 147 0 0 0 0 0 0 0 18 0 1 0 43703991 1650688 120 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099855350 0 0 17 0 0 0
/proc/13580/statm: 403 120 95 9 0 45 0

[startup+0.0566751 s]
/proc/loadavg: 1.92 1.99 2.00 3/104 13580
/proc/meminfo: memFree=1619744/2055920 swapFree=4192812/4192956
[pid=13580] ppid=13578 vsize=863688 CPUtime=0.04
/proc/13580/stat : 13580 (java) S 13578 13580 13130 0 -1 0 2587 0 1 0 2 2 0 0 18 0 9 0 43703991 884416512 2154 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13580/statm: 215922 2154 1024 9 0 210901 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 863688

[startup+0.102684 s]
/proc/loadavg: 1.92 1.99 2.00 3/104 13580
/proc/meminfo: memFree=1619744/2055920 swapFree=4192812/4192956
[pid=13580] ppid=13578 vsize=865984 CPUtime=0.08
/proc/13580/stat : 13580 (java) S 13578 13580 13130 0 -1 0 3783 0 1 0 6 2 0 0 18 0 9 0 43703991 886767616 3237 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13580/statm: 216496 3237 1711 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301721 s]
/proc/loadavg: 1.92 1.99 2.00 3/104 13580
/proc/meminfo: memFree=1619744/2055920 swapFree=4192812/4192956
[pid=13580] ppid=13578 vsize=866156 CPUtime=0.29
/proc/13580/stat : 13580 (java) S 13578 13580 13130 0 -1 0 5627 0 1 0 25 4 0 0 18 0 9 0 43703991 886943744 5042 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13580/statm: 216539 5042 1906 9 0 211087 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866156

[startup+0.701792 s]
/proc/loadavg: 1.92 1.99 2.00 3/104 13580
/proc/meminfo: memFree=1619744/2055920 swapFree=4192812/4192956
[pid=13580] ppid=13578 vsize=867116 CPUtime=0.67
/proc/13580/stat : 13580 (java) S 13578 13580 13130 0 -1 0 9772 0 1 0 61 6 0 0 18 0 9 0 43703991 887926784 9133 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13580/statm: 216779 9133 2006 9 0 211285 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867116

[startup+1.50293 s]
/proc/loadavg: 1.92 1.99 2.00 3/113 13589
/proc/meminfo: memFree=1578200/2055920 swapFree=4192812/4192956
[pid=13580] ppid=13578 vsize=867732 CPUtime=1.46
/proc/13580/stat : 13580 (java) S 13578 13580 13130 0 -1 0 13358 0 1 0 138 8 0 0 18 0 9 0 43703991 888557568 12716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13580/statm: 216933 12716 2014 9 0 211439 0
[pid=13580/tid=13582] ppid=13578 vsize=867732 CPUtime=1.28
/proc/13580/task/13582/stat : 13582 (java) R 13578 13580 13130 0 -1 64 12026 0 1 0 121 7 0 0 25 0 9 0 43703993 888557568 12716 996147200 134512640 134550740 4294955952 18446744073709551615 4126855574 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13583] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13583/stat : 13583 (java) S 13578 13580 13130 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 43703994 888557568 12716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13584] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13584/stat : 13584 (java) S 13578 13580 13130 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43703994 888557568 12716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13585] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13585/stat : 13585 (java) S 13578 13580 13130 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43703994 888557568 12716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13586] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13586/stat : 13586 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43703996 888557568 12716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13587] ppid=13578 vsize=867732 CPUtime=0.16
/proc/13580/task/13587/stat : 13587 (java) S 13578 13580 13130 0 -1 64 635 0 0 0 16 0 0 0 16 0 9 0 43703996 888557568 12716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13588] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13588/stat : 13588 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43703996 888557568 12716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13589] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13589/stat : 13589 (java) S 13578 13580 13130 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43703996 888557568 12716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867732

[startup+3.10122 s]
/proc/loadavg: 1.92 1.99 2.00 3/113 13589
/proc/meminfo: memFree=1575640/2055920 swapFree=4192812/4192956
[pid=13580] ppid=13578 vsize=867732 CPUtime=3.04
/proc/13580/stat : 13580 (java) S 13578 13580 13130 0 -1 0 13860 0 1 0 296 8 0 0 18 0 9 0 43703991 888557568 13217 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13580/statm: 216933 13217 2014 9 0 211439 0
[pid=13580/tid=13582] ppid=13578 vsize=867732 CPUtime=2.86
/proc/13580/task/13582/stat : 13582 (java) R 13578 13580 13130 0 -1 64 12527 0 1 0 279 7 0 0 25 0 9 0 43703993 888557568 13217 996147200 134512640 134550740 4294955952 18446744073709551615 4126855352 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13583] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13583/stat : 13583 (java) S 13578 13580 13130 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43703994 888557568 13217 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13584] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13584/stat : 13584 (java) S 13578 13580 13130 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43703994 888557568 13217 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13585] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13585/stat : 13585 (java) S 13578 13580 13130 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43703994 888557568 13217 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13586] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13586/stat : 13586 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43703996 888557568 13217 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13587] ppid=13578 vsize=867732 CPUtime=0.16
/proc/13580/task/13587/stat : 13587 (java) S 13578 13580 13130 0 -1 64 636 0 0 0 16 0 0 0 17 0 9 0 43703996 888557568 13217 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13588] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13588/stat : 13588 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43703996 888557568 13217 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13589] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13589/stat : 13589 (java) S 13578 13580 13130 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43703996 888557568 13217 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867732

[startup+6.3028 s]
/proc/loadavg: 1.93 1.99 2.00 3/113 13589
/proc/meminfo: memFree=1569624/2055920 swapFree=4192812/4192956
[pid=13580] ppid=13578 vsize=867732 CPUtime=6.2
/proc/13580/stat : 13580 (java) S 13578 13580 13130 0 -1 0 15195 0 1 0 611 9 0 0 18 0 9 0 43703991 888557568 14551 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13580/statm: 216933 14551 2014 9 0 211439 0
[pid=13580/tid=13582] ppid=13578 vsize=867732 CPUtime=6.02
/proc/13580/task/13582/stat : 13582 (java) R 13578 13580 13130 0 -1 64 13860 0 1 0 594 8 0 0 25 0 9 0 43703993 888557568 14551 996147200 134512640 134550740 4294955952 18446744073709551615 4126881742 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13583] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13583/stat : 13583 (java) S 13578 13580 13130 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43703994 888557568 14551 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13584] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13584/stat : 13584 (java) S 13578 13580 13130 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43703994 888557568 14551 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13585] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13585/stat : 13585 (java) S 13578 13580 13130 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43703994 888557568 14551 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13586] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13586/stat : 13586 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43703996 888557568 14551 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13587] ppid=13578 vsize=867732 CPUtime=0.17
/proc/13580/task/13587/stat : 13587 (java) S 13578 13580 13130 0 -1 64 638 0 0 0 17 0 0 0 16 0 9 0 43703996 888557568 14551 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13588] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13588/stat : 13588 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43703996 888557568 14551 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13589] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13589/stat : 13589 (java) S 13578 13580 13130 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43703996 888557568 14551 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 867732

[startup+12.702 s]
/proc/loadavg: 1.93 1.99 2.00 3/113 13589
/proc/meminfo: memFree=1524504/2055920 swapFree=4192812/4192956
[pid=13580] ppid=13578 vsize=867732 CPUtime=12.51
/proc/13580/stat : 13580 (java) S 13578 13580 13130 0 -1 0 26772 0 1 0 1237 14 0 0 18 0 9 0 43703991 888557568 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13580/statm: 216933 25910 2640 9 0 211439 0
[pid=13580/tid=13582] ppid=13578 vsize=867732 CPUtime=11.86
/proc/13580/task/13582/stat : 13582 (java) R 13578 13580 13130 0 -1 64 15881 0 1 0 1176 10 0 0 25 0 9 0 43703993 888557568 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4126888335 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13583] ppid=13578 vsize=867732 CPUtime=0.36
/proc/13580/task/13583/stat : 13583 (java) S 13578 13580 13130 0 -1 64 9491 0 0 0 33 3 0 0 17 0 9 0 43703994 888557568 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13584] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13584/stat : 13584 (java) S 13578 13580 13130 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43703994 888557568 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13585] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13585/stat : 13585 (java) S 13578 13580 13130 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43703994 888557568 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13586] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13586/stat : 13586 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43703996 888557568 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13587] ppid=13578 vsize=867732 CPUtime=0.27
/proc/13580/task/13587/stat : 13587 (java) S 13578 13580 13130 0 -1 64 704 0 0 0 27 0 0 0 15 0 9 0 43703996 888557568 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13588] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13588/stat : 13588 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43703996 888557568 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13589] ppid=13578 vsize=867732 CPUtime=0
/proc/13580/task/13589/stat : 13589 (java) S 13578 13580 13130 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43703996 888557568 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 867732

[startup+25.5023 s]
/proc/loadavg: 1.95 1.99 2.00 3/113 13589
/proc/meminfo: memFree=1523416/2055920 swapFree=4192812/4192956
[pid=13580] ppid=13578 vsize=867700 CPUtime=25.16
/proc/13580/stat : 13580 (java) S 13578 13580 13130 0 -1 0 26772 0 1 0 2501 15 0 0 18 0 9 0 43703991 888524800 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13580/statm: 216925 25910 2640 9 0 211431 0
[pid=13580/tid=13582] ppid=13578 vsize=867700 CPUtime=24.51
/proc/13580/task/13582/stat : 13582 (java) R 13578 13580 13130 0 -1 64 15881 0 1 0 2440 11 0 0 25 0 9 0 43703993 888524800 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4126855552 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13583] ppid=13578 vsize=867700 CPUtime=0.36
/proc/13580/task/13583/stat : 13583 (java) S 13578 13580 13130 0 -1 64 9491 0 0 0 33 3 0 0 16 0 9 0 43703994 888524800 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13584] ppid=13578 vsize=867700 CPUtime=0
/proc/13580/task/13584/stat : 13584 (java) S 13578 13580 13130 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43703994 888524800 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13585] ppid=13578 vsize=867700 CPUtime=0
/proc/13580/task/13585/stat : 13585 (java) S 13578 13580 13130 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43703994 888524800 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13586] ppid=13578 vsize=867700 CPUtime=0
/proc/13580/task/13586/stat : 13586 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43703996 888524800 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13587] ppid=13578 vsize=867700 CPUtime=0.27
/proc/13580/task/13587/stat : 13587 (java) S 13578 13580 13130 0 -1 64 704 0 0 0 27 0 0 0 16 0 9 0 43703996 888524800 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13588] ppid=13578 vsize=867700 CPUtime=0
/proc/13580/task/13588/stat : 13588 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43703996 888524800 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13589] ppid=13578 vsize=867700 CPUtime=0
/proc/13580/task/13589/stat : 13589 (java) S 13578 13580 13130 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43703996 888524800 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 867700

[startup+51.103 s]
/proc/loadavg: 1.96 1.99 2.00 3/113 13589
/proc/meminfo: memFree=1521048/2055920 swapFree=4192812/4192956
[pid=13580] ppid=13578 vsize=867700 CPUtime=50.44
/proc/13580/stat : 13580 (java) S 13578 13580 13130 0 -1 0 26772 0 1 0 5028 16 0 0 18 0 9 0 43703991 888524800 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13580/statm: 216925 25910 2640 9 0 211431 0
[pid=13580/tid=13582] ppid=13578 vsize=867700 CPUtime=49.79
/proc/13580/task/13582/stat : 13582 (java) R 13578 13580 13130 0 -1 64 15881 0 1 0 4967 12 0 0 25 0 9 0 43703993 888524800 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4126888316 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13583] ppid=13578 vsize=867700 CPUtime=0.36
/proc/13580/task/13583/stat : 13583 (java) S 13578 13580 13130 0 -1 64 9491 0 0 0 33 3 0 0 16 0 9 0 43703994 888524800 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13584] ppid=13578 vsize=867700 CPUtime=0
/proc/13580/task/13584/stat : 13584 (java) S 13578 13580 13130 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43703994 888524800 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13585] ppid=13578 vsize=867700 CPUtime=0
/proc/13580/task/13585/stat : 13585 (java) S 13578 13580 13130 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43703994 888524800 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13586] ppid=13578 vsize=867700 CPUtime=0
/proc/13580/task/13586/stat : 13586 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43703996 888524800 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13587] ppid=13578 vsize=867700 CPUtime=0.27
/proc/13580/task/13587/stat : 13587 (java) S 13578 13580 13130 0 -1 64 704 0 0 0 27 0 0 0 16 0 9 0 43703996 888524800 25910 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13588] ppid=13578 vsize=867700 CPUtime=0

################
# More data... #
################

/proc/13580/task/13585/stat : 13585 (java) S 13578 13580 13130 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43703994 888524800 25911 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13586] ppid=13578 vsize=867700 CPUtime=0
/proc/13580/task/13586/stat : 13586 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43703996 888524800 25911 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13587] ppid=13578 vsize=867700 CPUtime=0.27
/proc/13580/task/13587/stat : 13587 (java) S 13578 13580 13130 0 -1 64 705 0 0 0 27 0 0 0 16 0 9 0 43703996 888524800 25911 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13588] ppid=13578 vsize=867700 CPUtime=0
/proc/13580/task/13588/stat : 13588 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43703996 888524800 25911 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13589] ppid=13578 vsize=867700 CPUtime=0
/proc/13580/task/13589/stat : 13589 (java) S 13578 13580 13130 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43703996 888524800 25911 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 429.74
Current children cumulated vsize (KiB) 867700

[startup+441.501 s]
/proc/loadavg: 1.99 1.99 2.00 3/113 13589
/proc/meminfo: memFree=1487832/2055920 swapFree=4192812/4192956
[pid=13580] ppid=13578 vsize=867700 CPUtime=436.05
/proc/13580/stat : 13580 (java) S 13578 13580 13130 0 -1 0 26773 0 1 0 43585 20 0 0 18 0 9 0 43703991 888524800 25911 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13580/statm: 216925 25911 2640 9 0 211431 0
[pid=13580/tid=13582] ppid=13578 vsize=867700 CPUtime=435.4
/proc/13580/task/13582/stat : 13582 (java) R 13578 13580 13130 0 -1 64 15881 0 1 0 43524 16 0 0 25 0 9 0 43703993 888524800 25911 996147200 134512640 134550740 4294955952 18446744073709551615 4126855542 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13583] ppid=13578 vsize=867700 CPUtime=0.36
/proc/13580/task/13583/stat : 13583 (java) S 13578 13580 13130 0 -1 64 9491 0 0 0 33 3 0 0 16 0 9 0 43703994 888524800 25911 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13584] ppid=13578 vsize=867700 CPUtime=0
/proc/13580/task/13584/stat : 13584 (java) S 13578 13580 13130 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43703994 888524800 25911 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13585] ppid=13578 vsize=867700 CPUtime=0
/proc/13580/task/13585/stat : 13585 (java) S 13578 13580 13130 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43703994 888524800 25911 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13586] ppid=13578 vsize=867700 CPUtime=0
/proc/13580/task/13586/stat : 13586 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43703996 888524800 25911 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13587] ppid=13578 vsize=867700 CPUtime=0.27
/proc/13580/task/13587/stat : 13587 (java) S 13578 13580 13130 0 -1 64 705 0 0 0 27 0 0 0 16 0 9 0 43703996 888524800 25911 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13588] ppid=13578 vsize=867700 CPUtime=0
/proc/13580/task/13588/stat : 13588 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43703996 888524800 25911 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13589] ppid=13578 vsize=867700 CPUtime=0
/proc/13580/task/13589/stat : 13589 (java) S 13578 13580 13130 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43703996 888524800 25911 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 436.05
Current children cumulated vsize (KiB) 867700

[startup+447.902 s]
/proc/loadavg: 1.99 1.99 2.00 4/113 13589
/proc/meminfo: memFree=791576/2055920 swapFree=4192812/4192956
[pid=13580] ppid=13578 vsize=867912 CPUtime=442.38
/proc/13580/stat : 13580 (java) S 13578 13580 13130 0 -1 0 200449 0 1 0 44134 104 0 0 18 0 9 0 43703991 888741888 199504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13580/statm: 216978 199504 2618 9 0 211506 0
[pid=13580/tid=13582] ppid=13578 vsize=867912 CPUtime=438.8
/proc/13580/task/13582/stat : 13582 (java) R 13578 13580 13130 0 -1 64 15978 0 1 0 43864 16 0 0 25 0 9 0 43703993 888741888 199504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13583] ppid=13578 vsize=867912 CPUtime=3.26
/proc/13580/task/13583/stat : 13583 (java) R 13578 13580 13130 0 -1 64 183044 0 0 0 240 86 0 0 17 0 9 0 43703994 888741888 199504 996147200 134512640 134550740 4294955952 18446744073709551615 102731896 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13584] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13584/stat : 13584 (java) S 13578 13580 13130 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43703994 888741888 199504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13585] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13585/stat : 13585 (java) S 13578 13580 13130 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43703994 888741888 199504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13586] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13586/stat : 13586 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43703996 888741888 199504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13587] ppid=13578 vsize=867912 CPUtime=0.29
/proc/13580/task/13587/stat : 13587 (java) S 13578 13580 13130 0 -1 64 713 0 0 0 29 0 0 0 15 0 9 0 43703996 888741888 199504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13588] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13588/stat : 13588 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43703996 888741888 199504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13589] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13589/stat : 13589 (java) S 13578 13580 13130 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43703996 888741888 199504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 442.38
Current children cumulated vsize (KiB) 867912

[startup+449.502 s]
/proc/loadavg: 2.07 2.01 2.01 3/113 13589
/proc/meminfo: memFree=791448/2055920 swapFree=4192812/4192956
[pid=13580] ppid=13578 vsize=867912 CPUtime=443.96
/proc/13580/stat : 13580 (java) S 13578 13580 13130 0 -1 0 200453 0 1 0 44292 104 0 0 18 0 9 0 43703991 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13580/statm: 216978 199507 2618 9 0 211506 0
[pid=13580/tid=13582] ppid=13578 vsize=867912 CPUtime=438.8
/proc/13580/task/13582/stat : 13582 (java) S 13578 13580 13130 0 -1 64 15979 0 1 0 43864 16 0 0 24 0 9 0 43703993 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13583] ppid=13578 vsize=867912 CPUtime=4.84
/proc/13580/task/13583/stat : 13583 (java) R 13578 13580 13130 0 -1 64 183047 0 0 0 398 86 0 0 19 0 9 0 43703994 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13584] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13584/stat : 13584 (java) S 13578 13580 13130 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43703994 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13585] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13585/stat : 13585 (java) S 13578 13580 13130 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43703994 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13586] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13586/stat : 13586 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43703996 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13587] ppid=13578 vsize=867912 CPUtime=0.29
/proc/13580/task/13587/stat : 13587 (java) S 13578 13580 13130 0 -1 64 713 0 0 0 29 0 0 0 15 0 9 0 43703996 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13588] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13588/stat : 13588 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43703996 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13589] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13589/stat : 13589 (java) S 13578 13580 13130 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43703996 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.96
Current children cumulated vsize (KiB) 867912

[startup+450.302 s]
/proc/loadavg: 2.07 2.01 2.01 3/113 13589
/proc/meminfo: memFree=791384/2055920 swapFree=4192812/4192956
[pid=13580] ppid=13578 vsize=867912 CPUtime=444.75
/proc/13580/stat : 13580 (java) S 13578 13580 13130 0 -1 0 200453 0 1 0 44371 104 0 0 18 0 9 0 43703991 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13580/statm: 216978 199507 2618 9 0 211506 0
[pid=13580/tid=13582] ppid=13578 vsize=867912 CPUtime=438.8
/proc/13580/task/13582/stat : 13582 (java) S 13578 13580 13130 0 -1 64 15979 0 1 0 43864 16 0 0 24 0 9 0 43703993 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13583] ppid=13578 vsize=867912 CPUtime=5.62
/proc/13580/task/13583/stat : 13583 (java) R 13578 13580 13130 0 -1 64 183047 0 0 0 476 86 0 0 20 0 9 0 43703994 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13584] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13584/stat : 13584 (java) S 13578 13580 13130 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43703994 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13585] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13585/stat : 13585 (java) S 13578 13580 13130 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43703994 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13586] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13586/stat : 13586 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43703996 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13587] ppid=13578 vsize=867912 CPUtime=0.29
/proc/13580/task/13587/stat : 13587 (java) S 13578 13580 13130 0 -1 64 713 0 0 0 29 0 0 0 15 0 9 0 43703996 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13588] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13588/stat : 13588 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43703996 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13589] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13589/stat : 13589 (java) S 13578 13580 13130 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43703996 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 444.75
Current children cumulated vsize (KiB) 867912

[startup+450.703 s]
/proc/loadavg: 2.07 2.01 2.01 3/113 13589
/proc/meminfo: memFree=791384/2055920 swapFree=4192812/4192956
[pid=13580] ppid=13578 vsize=867912 CPUtime=445.15
/proc/13580/stat : 13580 (java) S 13578 13580 13130 0 -1 0 200453 0 1 0 44411 104 0 0 18 0 9 0 43703991 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13580/statm: 216978 199507 2618 9 0 211506 0
[pid=13580/tid=13582] ppid=13578 vsize=867912 CPUtime=438.8
/proc/13580/task/13582/stat : 13582 (java) S 13578 13580 13130 0 -1 64 15979 0 1 0 43864 16 0 0 24 0 9 0 43703993 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13583] ppid=13578 vsize=867912 CPUtime=6.03
/proc/13580/task/13583/stat : 13583 (java) R 13578 13580 13130 0 -1 64 183047 0 0 0 517 86 0 0 21 0 9 0 43703994 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 104182524 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13584] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13584/stat : 13584 (java) S 13578 13580 13130 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43703994 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13585] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13585/stat : 13585 (java) S 13578 13580 13130 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43703994 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13586] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13586/stat : 13586 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43703996 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13587] ppid=13578 vsize=867912 CPUtime=0.29
/proc/13580/task/13587/stat : 13587 (java) S 13578 13580 13130 0 -1 64 713 0 0 0 29 0 0 0 15 0 9 0 43703996 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13588] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13588/stat : 13588 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43703996 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13589] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13589/stat : 13589 (java) S 13578 13580 13130 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43703996 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 445.15
Current children cumulated vsize (KiB) 867912

[startup+450.902 s]
/proc/loadavg: 2.07 2.01 2.01 3/113 13589
/proc/meminfo: memFree=791320/2055920 swapFree=4192812/4192956
[pid=13580] ppid=13578 vsize=867912 CPUtime=445.35
/proc/13580/stat : 13580 (java) S 13578 13580 13130 0 -1 0 200453 0 1 0 44431 104 0 0 18 0 9 0 43703991 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13580/statm: 216978 199507 2618 9 0 211506 0
[pid=13580/tid=13582] ppid=13578 vsize=867912 CPUtime=438.8
/proc/13580/task/13582/stat : 13582 (java) S 13578 13580 13130 0 -1 64 15979 0 1 0 43864 16 0 0 16 0 9 0 43703993 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13583] ppid=13578 vsize=867912 CPUtime=6.22
/proc/13580/task/13583/stat : 13583 (java) R 13578 13580 13130 0 -1 64 183047 0 0 0 536 86 0 0 22 0 9 0 43703994 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13584] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13584/stat : 13584 (java) S 13578 13580 13130 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43703994 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13585] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13585/stat : 13585 (java) S 13578 13580 13130 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43703994 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13586] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13586/stat : 13586 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43703996 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13587] ppid=13578 vsize=867912 CPUtime=0.29
/proc/13580/task/13587/stat : 13587 (java) S 13578 13580 13130 0 -1 64 713 0 0 0 29 0 0 0 15 0 9 0 43703996 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13588] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13588/stat : 13588 (java) S 13578 13580 13130 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43703996 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13580/tid=13589] ppid=13578 vsize=867912 CPUtime=0
/proc/13580/task/13589/stat : 13589 (java) S 13578 13580 13130 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43703996 888741888 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 445.35
Current children cumulated vsize (KiB) 867912

[startup+451.01 s]
/proc/loadavg: 2.07 2.01 2.01 3/113 13589
/proc/meminfo: memFree=791320/2055920 swapFree=4192812/4192956
[pid=13580] ppid=13578 vsize=0 CPUtime=445.4
/proc/13580/stat : 13580 (java) Z 13578 13580 13130 0 -1 12 200461 0 1 0 44431 109 0 0 16 0 2 0 43703991 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13580/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 445.4
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 451.073
CPU time (s): 445.473
CPU user time (s): 444.314
CPU system time (s): 1.15882
CPU usage (%): 98.7587
Max. virtual memory (cumulated for all children) (KiB): 867912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 444.314
system time used= 1.15882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200461
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= 10500
involuntary context switches= 20493

runsolver used 0.777881 second user time and 2.14567 second system time

The end

Launcher Data (download as text)

Begin job on node84 at 2008-07-12 15:41:06
IDJOB=1112552
IDBENCH=61435
IDSOLVER=360
FILE ID=node84/1112552-1215870066
PBS_JOBID= 7903521
Free space on /tmp= 66552 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/super-js/super-js-taillard-15/normalized-super-js-taillard-15-30.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112552-1215870066/watcher-1112552-1215870066 -o /tmp/evaluation-result-1112552-1215870066/solver-1112552-1215870066 -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-ddeg.xml 1 XSax HOME/instance-1112552-1215870066.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 008c1f6eb2772a7d547f78fa2d1b705f
RANDOM SEED=173848229

node84.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.259
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.259
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1620160 kB
Buffers:         40440 kB
Cached:          98484 kB
SwapCached:          0 kB
Active:         304460 kB
Inactive:        64576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1620160 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2676 kB
Writeback:           0 kB
Mapped:         242628 kB
Slab:            48216 kB
Committed_AS:   502288 kB
PageTables:       4688 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= 66552 MiB
End job on node84 at 2008-07-12 15:48:38