Trace number 1112540

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? 306.456 308.668

General information on the benchmark

Namecsp/super-js/super-js-taillard-15/
normalized-super-js-taillard-15-22.xml
MD5SUMb143b6832d0d7021c7c579e11837017e
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.03
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Maximum constraint arity2
Maximum domain size1200
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.25	
0.18/0.25	   configuration
0.18/0.25	     name=mrdac-ddeg.xml
0.26/0.30	   
0.26/0.30	   instance
0.26/0.30	     name=HOME/instance-1112540-1215869951.xml
0.26/0.34	   
0.26/0.34	   domains being loaded...
0.26/0.36	   
0.26/0.36	   variables being loaded...
0.36/0.48	     nbVariables=450  nbDomainTypes=85  minDomainSize=1102  maxDomainSize=1200  nbTotalValues=517738
0.36/0.48	       =>  wckTime=0.225  cpuTime=0.16  mem=17M664
0.36/0.48	   
0.36/0.48	   predicates being loaded...
0.45/0.54	   
0.45/0.54	   constraints being loaded...
10.58/10.74	   
10.58/10.74	   INFO : Stopping converting binary constraints (cpu=10.29, mem = 48M758)
11.17/11.33	     nbConstraints=5580  nbConvertedConstraints=96  nbConvertConstraintsChecks=42899018  nbExtensionStructures=33
11.17/11.33	     nbSharedExtensionStructures=63  nbConflictsStructures=33  nbSharedConflictsStructures=63
11.17/11.33	     nbUnbuiltConflictsStructures=1469  nbSharedBinaryRepresentations=11008  nbEvaluationManagers=1469
11.17/11.33	     nbSharedEvaluationManagers=4015  minDegree=16  maxDegree=33  minArity=2  maxArity=2
11.17/11.33	       =>  wckTime=11.084  cpuTime=10.62  mem=56M723
11.37/11.51	   
11.37/11.51	   solver LocalSearchSolver being built... 
11.37/11.55	       =>  wckTime=11.303  cpuTime=10.65  mem=34M325
11.68/11.81	
11.68/11.81	s SATISFIABLE
11.68/11.81	o 717
11.68/11.89	o 711
11.88/12.09	o 705
12.07/12.21	o 699
12.27/12.41	o 694
12.47/12.62	o 689
12.57/12.78	o 685
12.77/12.93	o 681
12.97/13.13	o 675
13.16/13.37	o 670
13.46/13.61	o 665
13.66/13.82	o 660
13.86/14.06	o 655
14.16/14.33	o 651
14.35/14.57	o 647
14.55/14.76	o 643
14.85/15.00	o 640
15.05/15.29	o 638
15.44/15.60	o 633
15.74/15.90	o 628
15.94/16.19	o 623
16.24/16.50	o 618
16.54/16.77	o 613
16.83/17.04	o 608
17.13/17.33	o 603
17.43/17.64	o 599
17.73/17.94	o 595
18.03/18.25	o 591
18.33/18.52	o 587
18.53/18.78	o 583
18.82/19.04	o 579
19.12/19.32	o 576
19.32/19.59	o 573
19.62/19.82	o 570
19.81/20.04	o 567
20.11/20.34	o 564
20.31/20.55	o 562
20.51/20.75	o 560
20.80/21.05	o 558
21.00/21.25	o 556
21.20/21.45	o 554
21.40/21.68	o 552
21.61/21.84	o 551
22.30/22.55	o 550
22.50/22.71	o 548
22.90/23.18	o 545
23.20/23.42	o 542
23.50/23.76	o 538
23.80/24.04	o 534
24.19/24.44	o 531
24.59/24.82	o 528
24.99/25.24	o 525
25.28/25.58	o 522
25.68/25.90	o 519
25.98/26.29	o 516
26.37/26.61	o 513
26.67/26.96	o 510
27.07/27.31	o 507
27.36/27.70	o 505
27.76/28.04	o 503
28.16/28.40	o 501
28.46/28.74	o 499
28.76/29.06	o 497
29.05/29.35	o 495
29.35/29.63	o 493
29.65/29.92	o 492
29.85/30.18	o 491
30.15/30.43	o 490
30.45/30.71	o 489
30.64/30.98	o 488
30.94/31.23	o 487
31.24/31.54	o 485
32.03/32.33	o 483
32.23/32.55	o 482
32.73/33.04	o 481
33.02/33.30	o 479
33.22/33.58	o 475
33.52/33.90	o 473
34.31/34.64	o 472
34.61/34.91	o 471
35.01/35.34	o 470
35.41/35.80	o 467
35.91/36.23	o 464
36.30/36.60	o 461
36.70/37.00	o 458
37.10/37.41	o 455
37.29/37.67	o 454
37.69/38.04	o 451
38.09/38.44	o 448
38.48/38.88	o 445
38.88/39.27	o 442
39.38/39.71	o 440
39.77/40.14	o 438
40.17/40.58	o 436
40.97/41.31	o 434
41.27/41.67	o 432
41.66/42.03	o 430
41.96/42.36	o 428
42.26/42.70	o 426
42.65/43.02	o 424
42.95/43.33	o 422
43.55/43.99	o 421
43.94/44.32	o 419
44.24/44.63	o 418
44.54/44.95	o 417
44.84/45.24	o 416
45.14/45.54	o 415
45.54/45.91	o 414
45.93/46.38	o 413
46.33/46.71	o 412
48.61/49.06	o 411
49.21/49.62	o 406
49.51/49.93	o 403
49.71/50.18	o 400
50.01/50.48	o 398
50.30/50.75	o 397
50.60/51.00	o 395
51.60/52.07	o 393
51.90/52.32	o 391
52.20/52.63	o 389
52.39/52.89	o 388
52.69/53.19	o 387
52.99/53.46	o 386
53.49/53.91	o 384
53.68/54.15	o 381
53.98/54.40	o 380
54.28/54.70	o 377
54.48/54.92	o 376
55.47/55.92	o 375
55.76/56.26	o 373
56.06/56.55	o 370
56.76/57.25	o 368
57.35/57.88	o 366
57.85/58.32	o 364
58.24/58.77	o 362
58.64/59.14	o 360
59.04/59.56	o 357
59.44/59.98	o 355
59.93/60.43	o 353
60.33/60.86	o 351
60.73/61.26	o 349
61.22/61.73	o 348
61.62/62.18	o 347
62.12/62.64	o 346
62.61/63.10	o 345
63.01/63.56	o 344
63.40/63.99	o 343
63.90/64.43	o 342
64.30/64.85	o 341
65.00/65.59	o 340
66.59/67.13	o 338
68.57/69.11	o 337
68.87/69.43	o 334
69.16/69.76	o 332
72.54/73.17	o 331
74.03/74.63	o 329
75.72/76.32	o 328
76.12/76.71	o 326
77.41/78.05	o 323
81.69/82.32	o 322
82.28/82.98	o 321
83.37/84.05	o 319
83.67/84.35	o 317
84.07/84.71	o 316
86.35/87.07	o 314
86.65/87.38	o 313
86.95/87.67	o 311
92.31/93.04	o 310
93.10/93.84	o 307
93.80/94.59	o 305
96.18/96.98	o 304
96.68/97.46	o 303
97.18/97.93	o 301
97.57/98.33	o 300
103.53/104.32	o 298
110.67/111.51	o 297
111.07/111.95	o 296
111.57/112.44	o 295
112.06/112.92	o 294
112.46/113.37	o 293
112.86/113.79	o 292
113.35/114.21	o 291
114.66/115.53	o 290
119.12/120.06	o 289
123.49/124.40	o 288
124.98/125.99	o 287
126.57/127.60	o 285
127.17/128.14	o 284
128.06/129.00	o 282
129.75/130.70	o 280
130.74/131.79	o 279
131.34/132.36	o 278
131.83/132.90	o 277
133.03/134.10	o 276
133.62/134.68	o 275
136.50/137.53	o 274
139.27/140.36	o 273
139.77/140.89	o 272
140.87/141.96	o 269
141.46/142.56	o 267
142.65/143.79	o 266
143.34/144.41	o 264
143.84/144.99	o 261
144.54/145.61	o 260
149.01/150.11	o 259
150.50/151.61	o 258
151.09/152.21	o 257
152.79/153.96	o 256
153.38/154.53	o 255
154.57/155.74	o 254
155.17/156.34	o 253
155.77/156.98	o 251
156.47/157.64	o 250
157.07/158.28	o 248
157.67/158.87	o 247
158.37/159.52	o 246
158.96/160.15	o 245
160.25/161.41	o 244
160.94/162.12	o 243
162.83/164.09	o 242
164.31/165.52	o 240
165.01/166.23	o 238
165.71/166.93	o 237
166.31/167.57	o 236
167.71/168.94	o 234
168.42/169.62	o 233
169.11/170.31	o 231
170.47/171.74	o 229
173.35/174.70	o 228
174.64/175.94	o 227
181.18/182.57	o 226
184.56/185.92	o 225
196.45/197.96	o 224
197.14/198.61	o 223
198.43/199.95	o 222
199.13/200.64	o 221
201.71/203.23	o 220
203.00/204.52	o 219
203.60/205.19	o 218
204.29/205.82	o 217
205.58/207.13	o 216
216.01/217.66	o 215
219.00/220.66	o 214
238.36/240.13	o 213
239.06/240.86	o 212
242.93/244.72	o 211
245.71/247.54	o 210
246.40/248.23	o 209
247.60/249.48	o 207
248.29/250.18	o 206
252.46/254.35	o 205
254.64/256.54	o 204
255.34/257.25	o 203
256.04/258.00	o 202
257.53/259.49	o 201
258.12/260.04	o 200
269.84/271.89	o 199
300.14/302.36	   
300.14/302.36	   search
300.14/302.36	     run=0  nbConstraintChecks=830404448  nbAssignments=598
300.14/302.36	       =>  wckTime=290.812  cpuTime=288.77  mem=34M325
300.14/302.36	   
300.14/302.36	   global
300.14/302.36	     nbConstraintChecks=830404448  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
300.14/302.36	     solvingWckTime=290.793  solvingCpuTime=288.75  expiredTime=no  totalExploration=no  nbFoundSolutions=0
300.14/302.37	     globalCpuTime=299.46
300.14/302.37	       =>  wckTime=302.115  cpuTime=299.42  mem=34M325
300.14/302.37	   
300.14/302.37	   solver DecomposerSolver being built... 
306.29/308.54	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-1112540-1215869951/watcher-1112540-1215869951 -o /tmp/evaluation-result-1112540-1215869951/solver-1112540-1215869951 -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-1112540-1215869951.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: 3.28 3.14 2.90 4/111 12639
/proc/meminfo: memFree=1508704/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=18572 CPUtime=0
/proc/12639/stat : 12639 (runsolver) R 12637 12639 12566 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 43692245 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 249069890855 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/12639/statm: 4643 292 257 25 0 2626 0

[startup+0.0616419 s]
/proc/loadavg: 3.28 3.14 2.90 4/111 12639
/proc/meminfo: memFree=1508704/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=864076 CPUtime=0.04
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 2741 0 1 0 3 1 0 0 20 0 9 0 43692245 884813824 2293 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216019 2293 1090 9 0 210976 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864076

[startup+0.101643 s]
/proc/loadavg: 3.28 3.14 2.90 4/111 12639
/proc/meminfo: memFree=1508704/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=865988 CPUtime=0.07
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 3704 0 1 0 6 1 0 0 20 0 9 0 43692245 886771712 3179 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216497 3179 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865988

[startup+0.301682 s]
/proc/loadavg: 3.28 3.14 2.90 4/111 12639
/proc/meminfo: memFree=1508704/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=866360 CPUtime=0.26
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 5658 0 1 0 23 3 0 0 20 0 9 0 43692245 887152640 5073 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216590 5073 1908 9 0 211118 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 866360

[startup+0.701752 s]
/proc/loadavg: 3.28 3.14 2.90 4/111 12639
/proc/meminfo: memFree=1508704/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867616 CPUtime=0.66
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 10596 0 1 0 60 6 0 0 20 0 9 0 43692245 888438784 9957 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216904 9957 2010 9 0 211410 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 867616

[startup+1.50289 s]
/proc/loadavg: 3.28 3.14 2.90 4/120 12648
/proc/meminfo: memFree=1467288/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867720 CPUtime=1.45
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 13329 0 1 0 137 8 0 0 20 0 9 0 43692245 888545280 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216930 12687 2014 9 0 211436 0
[pid=12639/tid=12641] ppid=12637 vsize=867720 CPUtime=1.26
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 12566 0 -1 64 11986 0 1 0 119 7 0 0 25 0 9 0 43692247 888545280 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4126880729 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 12566 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 43692248 888545280 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 43692249 888545280 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 43692249 888545280 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888545280 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867720 CPUtime=0.17
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 646 0 0 0 17 0 0 0 16 0 9 0 43692251 888545280 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888545280 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888545280 12687 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 867720

[startup+3.10118 s]
/proc/loadavg: 3.28 3.14 2.90 4/120 12648
/proc/meminfo: memFree=1464344/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867720 CPUtime=3.04
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 13967 0 1 0 296 8 0 0 20 0 9 0 43692245 888545280 13324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216930 13324 2014 9 0 211436 0
[pid=12639/tid=12641] ppid=12637 vsize=867720 CPUtime=2.85
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 12566 0 -1 64 12624 0 1 0 278 7 0 0 25 0 9 0 43692247 888545280 13324 996147200 134512640 134550740 4294955952 18446744073709551615 4126886680 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 12566 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43692248 888545280 13324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 43692249 888545280 13324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 43692249 888545280 13324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888545280 13324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867720 CPUtime=0.17
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 646 0 0 0 17 0 0 0 16 0 9 0 43692251 888545280 13324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888545280 13324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888545280 13324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867720

[startup+6.30275 s]
/proc/loadavg: 3.25 3.14 2.90 4/120 12648
/proc/meminfo: memFree=1458584/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867720 CPUtime=6.22
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 15319 0 1 0 613 9 0 0 20 0 9 0 43692245 888545280 14675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216930 14675 2014 9 0 211436 0
[pid=12639/tid=12641] ppid=12637 vsize=867720 CPUtime=6.02
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 12566 0 -1 64 13974 0 1 0 594 8 0 0 25 0 9 0 43692247 888545280 14675 996147200 134512640 134550740 4294955952 18446744073709551615 4126880919 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 12566 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43692248 888545280 14675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 43692249 888545280 14675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 43692249 888545280 14675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888545280 14675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867720 CPUtime=0.18
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 648 0 0 0 18 0 0 0 15 0 9 0 43692251 888545280 14675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888545280 14675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888545280 14675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867720

[startup+12.7019 s]
/proc/loadavg: 3.15 3.12 2.90 4/120 12648
/proc/meminfo: memFree=1414424/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867720 CPUtime=12.57
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 26839 0 1 0 1244 13 0 0 20 0 9 0 43692245 888545280 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216930 25976 2640 9 0 211436 0
[pid=12639/tid=12641] ppid=12637 vsize=867720 CPUtime=11.97
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 12566 0 -1 64 15872 0 1 0 1188 9 0 0 25 0 9 0 43692247 888545280 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4126886158 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867720 CPUtime=0.31
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 12566 0 -1 64 9558 0 0 0 28 3 0 0 17 0 9 0 43692248 888545280 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43692249 888545280 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43692249 888545280 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888545280 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867720 CPUtime=0.26
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 713 0 0 0 26 0 0 0 15 0 9 0 43692251 888545280 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888545280 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867720 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888545280 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867720

[startup+25.5022 s]
/proc/loadavg: 3.12 3.12 2.90 4/120 12648
/proc/meminfo: memFree=1414424/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867688 CPUtime=25.28
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 26839 0 1 0 2514 14 0 0 20 0 9 0 43692245 888512512 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216922 25976 2640 9 0 211428 0
[pid=12639/tid=12641] ppid=12637 vsize=867688 CPUtime=24.67
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 12566 0 -1 64 15872 0 1 0 2458 9 0 0 25 0 9 0 43692247 888512512 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4126854892 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867688 CPUtime=0.31
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 12566 0 -1 64 9558 0 0 0 28 3 0 0 16 0 9 0 43692248 888512512 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43692249 888512512 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43692249 888512512 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888512512 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867688 CPUtime=0.26
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 713 0 0 0 26 0 0 0 16 0 9 0 43692251 888512512 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888512512 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888512512 25976 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 867688

[startup+51.1028 s]
/proc/loadavg: 3.08 3.11 2.90 4/120 12648
/proc/meminfo: memFree=1414424/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867688 CPUtime=50.7
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 26840 0 1 0 5055 15 0 0 20 0 9 0 43692245 888512512 25977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216922 25977 2640 9 0 211428 0
[pid=12639/tid=12641] ppid=12637 vsize=867688 CPUtime=50.09
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 12566 0 -1 64 15872 0 1 0 4999 10 0 0 25 0 9 0 43692247 888512512 25977 996147200 134512640 134550740 4294955952 18446744073709551615 4127136604 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867688 CPUtime=0.31
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 12566 0 -1 64 9558 0 0 0 28 3 0 0 16 0 9 0 43692248 888512512 25977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43692249 888512512 25977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43692249 888512512 25977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888512512 25977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867688 CPUtime=0.26
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 714 0 0 0 26 0 0 0 16 0 9 0 43692251 888512512 25977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867688 CPUtime=0

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

/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43692249 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867688 CPUtime=0.27
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 715 0 0 0 27 0 0 0 16 0 9 0 43692251 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 292.19
Current children cumulated vsize (KiB) 867688

[startup+300.703 s]
/proc/loadavg: 2.69 2.84 2.83 3/120 12858
/proc/meminfo: memFree=1664016/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867688 CPUtime=298.55
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 26841 0 1 0 29834 21 0 0 20 0 9 0 43692245 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216922 25978 2640 9 0 211428 0
[pid=12639/tid=12641] ppid=12637 vsize=867688 CPUtime=297.94
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 12566 0 -1 64 15872 0 1 0 29778 16 0 0 25 0 9 0 43692247 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4127140748 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867688 CPUtime=0.31
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 12566 0 -1 64 9558 0 0 0 28 3 0 0 16 0 9 0 43692248 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43692249 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43692249 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867688 CPUtime=0.27
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 715 0 0 0 27 0 0 0 16 0 9 0 43692251 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867688 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888512512 25978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 298.55
Current children cumulated vsize (KiB) 867688

[startup+303.902 s]
/proc/loadavg: 2.69 2.84 2.83 5/120 12858
/proc/meminfo: memFree=1288592/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867600 CPUtime=301.72
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 160219 0 1 0 30104 68 0 0 20 0 9 0 43692245 888422400 159280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216900 159280 2619 9 0 211428 0
[pid=12639/tid=12641] ppid=12637 vsize=867600 CPUtime=300.09
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 12566 0 -1 64 15957 0 1 0 29992 17 0 0 25 0 9 0 43692247 888422400 159280 996147200 134512640 134550740 4294955952 18446744073709551615 104454845 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867600 CPUtime=1.31
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 12566 0 -1 64 142826 0 0 0 82 49 0 0 16 0 9 0 43692248 888422400 159280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867600 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43692249 888422400 159280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867600 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 43692249 888422400 159280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867600 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888422400 159280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867600 CPUtime=0.28
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 722 0 0 0 28 0 0 0 15 0 9 0 43692251 888422400 159280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867600 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888422400 159280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867600 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888422400 159280 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 301.72
Current children cumulated vsize (KiB) 867600

[startup+307.102 s]
/proc/loadavg: 2.87 2.87 2.85 4/120 12858
/proc/meminfo: memFree=968656/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867904 CPUtime=304.9
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 200454 0 1 0 30408 82 0 0 20 0 9 0 43692245 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216976 199507 2618 9 0 211504 0
[pid=12639/tid=12641] ppid=12637 vsize=867904 CPUtime=300.22
/proc/12639/task/12641/stat : 12641 (java) S 12637 12639 12566 0 -1 64 15970 0 1 0 30005 17 0 0 24 0 9 0 43692247 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867904 CPUtime=4.36
/proc/12639/task/12642/stat : 12642 (java) R 12637 12639 12566 0 -1 64 183048 0 0 0 373 63 0 0 19 0 9 0 43692248 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43692249 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43692249 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867904 CPUtime=0.28
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 722 0 0 0 28 0 0 0 15 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 304.9
Current children cumulated vsize (KiB) 867904

[startup+307.902 s]
/proc/loadavg: 2.87 2.87 2.85 3/120 12858
/proc/meminfo: memFree=968656/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867904 CPUtime=305.7
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 200455 0 1 0 30488 82 0 0 20 0 9 0 43692245 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216976 199507 2618 9 0 211504 0
[pid=12639/tid=12641] ppid=12637 vsize=867904 CPUtime=300.22
/proc/12639/task/12641/stat : 12641 (java) S 12637 12639 12566 0 -1 64 15971 0 1 0 30005 17 0 0 24 0 9 0 43692247 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867904 CPUtime=5.16
/proc/12639/task/12642/stat : 12642 (java) R 12637 12639 12566 0 -1 64 183048 0 0 0 453 63 0 0 20 0 9 0 43692248 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43692249 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43692249 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867904 CPUtime=0.28
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 722 0 0 0 28 0 0 0 15 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 305.7
Current children cumulated vsize (KiB) 867904

[startup+308.302 s]
/proc/loadavg: 2.87 2.87 2.85 3/120 12858
/proc/meminfo: memFree=968656/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867904 CPUtime=306.09
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 200455 0 1 0 30527 82 0 0 20 0 9 0 43692245 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216976 199507 2618 9 0 211504 0
[pid=12639/tid=12641] ppid=12637 vsize=867904 CPUtime=300.22
/proc/12639/task/12641/stat : 12641 (java) S 12637 12639 12566 0 -1 64 15971 0 1 0 30005 17 0 0 24 0 9 0 43692247 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867904 CPUtime=5.56
/proc/12639/task/12642/stat : 12642 (java) R 12637 12639 12566 0 -1 64 183048 0 0 0 493 63 0 0 21 0 9 0 43692248 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43692249 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43692249 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867904 CPUtime=0.28
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 722 0 0 0 28 0 0 0 15 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 306.09
Current children cumulated vsize (KiB) 867904

[startup+308.502 s]
/proc/loadavg: 2.87 2.87 2.85 3/120 12858
/proc/meminfo: memFree=968656/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=867904 CPUtime=306.29
/proc/12639/stat : 12639 (java) S 12637 12639 12566 0 -1 0 200456 0 1 0 30547 82 0 0 20 0 9 0 43692245 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 216976 199507 2618 9 0 211504 0
[pid=12639/tid=12641] ppid=12637 vsize=867904 CPUtime=300.22
/proc/12639/task/12641/stat : 12641 (java) S 12637 12639 12566 0 -1 64 15972 0 1 0 30005 17 0 0 23 0 9 0 43692247 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12642] ppid=12637 vsize=867904 CPUtime=5.76
/proc/12639/task/12642/stat : 12642 (java) R 12637 12639 12566 0 -1 64 183048 0 0 0 513 63 0 0 21 0 9 0 43692248 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 102496415 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12643] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 12566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43692249 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12644] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 12566 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43692249 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12645] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12646] ppid=12637 vsize=867904 CPUtime=0.28
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 12566 0 -1 64 722 0 0 0 28 0 0 0 15 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12647] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 12566 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12639/tid=12648] ppid=12637 vsize=867904 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 12566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43692251 888733696 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 306.29
Current children cumulated vsize (KiB) 867904

[startup+308.603 s]
/proc/loadavg: 2.87 2.87 2.85 3/120 12858
/proc/meminfo: memFree=968656/2055920 swapFree=4192812/4192956
[pid=12639] ppid=12637 vsize=0 CPUtime=306.38
/proc/12639/stat : 12639 (java) Z 12637 12639 12566 0 -1 12 200463 0 1 0 30551 87 0 0 16 0 2 0 43692245 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12639/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 306.38
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 308.668
CPU time (s): 306.456
CPU user time (s): 305.518
CPU system time (s): 0.938857
CPU usage (%): 99.2837
Max. virtual memory (cumulated for all children) (KiB): 867904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 305.518
system time used= 0.938857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200463
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= 7902
involuntary context switches= 15910

runsolver used 0.557915 second user time and 1.43678 second system time

The end

Launcher Data (download as text)

Begin job on node89 at 2008-07-12 15:39:12
IDJOB=1112540
IDBENCH=61433
IDSOLVER=360
FILE ID=node89/1112540-1215869951
PBS_JOBID= 7903554
Free space on /tmp= 66516 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/super-js/super-js-taillard-15/normalized-super-js-taillard-15-22.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-1112540-1215869951/watcher-1112540-1215869951 -o /tmp/evaluation-result-1112540-1215869951/solver-1112540-1215869951 -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-1112540-1215869951.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= b143b6832d0d7021c7c579e11837017e
RANDOM SEED=1565288215

node89.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.266
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.266
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:       1509184 kB
Buffers:         26400 kB
Cached:          68936 kB
SwapCached:          0 kB
Active:         453828 kB
Inactive:        32948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1509184 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2780 kB
Writeback:           0 kB
Mapped:         413080 kB
Slab:            40992 kB
Committed_AS:  1134556 kB
PageTables:       5176 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= 66516 MiB
End job on node89 at 2008-07-12 15:44:20