Trace number 1112845

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-w? 209.181 210.461

General information on the benchmark

Namecsp/fapp/fapp06/
normalized-fapp06-0500-4.xml
MD5SUM5bbba61bcb8f32abe3947428d8a4279f
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints17
Best CPU time to get the best result obtained on this benchmark3600.08
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of constraints6531
Maximum constraint arity2
Maximum domain size290
Number of constraints which are defined in extension0
Number of constraints which are defined in intension6531
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.00/0.17	
0.00/0.17	Abscon 112 (May, 2008)
0.24/0.41	
0.24/0.41	   configuration
0.24/0.41	     name=mrdac-wdeg.xml
0.24/0.49	   
0.24/0.49	   instance
0.24/0.49	     name=HOME/instance-1112845-1215874575.xml
0.29/0.53	   
0.29/0.53	   domains being loaded...
0.29/0.57	   
0.29/0.57	   variables being loaded...
0.38/0.67	     nbVariables=500  nbDomainTypes=16  minDomainSize=42  maxDomainSize=290  nbTotalValues=108024
0.38/0.67	       =>  wckTime=0.261  cpuTime=0.16  mem=11M747
0.38/0.67	   
0.38/0.67	   predicates being loaded...
0.48/0.73	   
0.48/0.73	   constraints being loaded...
10.43/10.79	   
10.43/10.79	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 24M920)
11.92/12.27	     nbConstraints=6531  nbConvertedConstraints=755  nbConvertConstraintsChecks=38936008  nbExtensionStructures=661
11.92/12.27	     nbSharedExtensionStructures=289  nbConflictsStructures=1130  nbSharedConflictsStructures=393
11.92/12.27	     nbUnbuiltConflictsStructures=2722  nbSharedBinaryRepresentations=275148  nbEvaluationManagers=3191
11.92/12.27	     nbSharedEvaluationManagers=2585  minDegree=5  maxDegree=36  minArity=2  maxArity=2
11.92/12.27	       =>  wckTime=11.866  cpuTime=11.35  mem=34M200
12.12/12.44	   
12.12/12.44	   solver LocalSearchSolver being built... 
12.12/12.48	       =>  wckTime=12.073  cpuTime=11.39  mem=21M536
12.21/12.54	
12.21/12.54	s SATISFIABLE
12.21/12.54	o 1379
12.21/12.56	o 1370
12.21/12.59	o 1360
12.32/12.60	o 1352
12.32/12.62	o 1344
12.32/12.63	o 1337
12.32/12.64	o 1331
12.32/12.65	o 1326
12.32/12.67	o 1318
12.32/12.68	o 1311
12.32/12.69	o 1306
12.42/12.70	o 1301
12.42/12.71	o 1296
12.42/12.72	o 1292
12.42/12.73	o 1288
12.42/12.74	o 1286
12.42/12.75	o 1285
12.42/12.76	o 1284
12.42/12.77	o 1281
12.42/12.78	o 1275
12.42/12.79	o 1273
12.52/12.81	o 1267
12.52/12.82	o 1261
12.52/12.84	o 1255
12.52/12.85	o 1250
12.52/12.87	o 1246
12.52/12.89	o 1242
12.62/12.90	o 1240
12.62/12.92	o 1239
12.62/12.93	o 1236
12.62/12.96	o 1231
12.62/12.98	o 1226
12.71/13.01	o 1221
12.71/13.03	o 1216
12.71/13.05	o 1212
12.71/13.08	o 1208
12.81/13.10	o 1204
12.81/13.12	o 1203
12.81/13.15	o 1202
12.81/13.16	o 1199
12.81/13.18	o 1196
12.91/13.21	o 1194
12.91/13.22	o 1192
12.91/13.23	o 1190
12.91/13.25	o 1188
12.91/13.26	o 1186
12.91/13.28	o 1184
12.91/13.29	o 1177
13.01/13.34	o 1176
13.01/13.35	o 1174
13.01/13.36	o 1172
13.01/13.39	o 1169
13.11/13.41	o 1168
13.11/13.42	o 1167
13.11/13.43	o 1162
13.11/13.44	o 1157
13.11/13.46	o 1155
13.11/13.49	o 1152
13.11/13.50	o 1147
13.21/13.52	o 1146
13.21/13.54	o 1140
13.21/13.54	o 1134
13.21/13.55	o 1131
13.21/13.57	o 1128
13.21/13.58	o 1123
13.21/13.60	o 1117
13.30/13.61	o 1112
13.30/13.61	o 1108
13.30/13.62	o 1105
13.30/13.64	o 1102
13.30/13.64	o 1099
13.30/13.65	o 1096
13.30/13.67	o 1093
13.30/13.68	o 1092
13.30/13.69	o 1089
13.40/13.70	o 1087
13.40/13.71	o 1081
13.40/13.72	o 1077
13.40/13.73	o 1073
13.40/13.74	o 1071
13.40/13.76	o 1068
13.40/13.79	o 1062
13.50/13.80	o 1061
13.50/13.81	o 1060
13.50/13.83	o 1054
13.50/13.84	o 1048
13.50/13.85	o 1045
13.50/13.87	o 1043
13.50/13.88	o 1040
13.50/13.89	o 1038
13.60/13.91	o 1036
13.60/13.92	o 1033
13.60/13.97	o 1030
13.60/13.98	o 1028
13.60/13.99	o 1026
13.70/14.00	o 1024
13.70/14.02	o 1023
13.70/14.03	o 1022
13.70/14.08	o 1018
13.80/14.11	o 1015
13.80/14.12	o 1013
13.80/14.13	o 1009
13.80/14.15	o 1007
13.80/14.18	o 1006
13.90/14.21	o 1002
13.90/14.22	o 998
13.90/14.24	o 997
13.90/14.26	o 994
13.90/14.29	o 990
14.00/14.32	o 987
14.00/14.35	o 982
14.00/14.38	o 979
14.00/14.39	o 975
14.09/14.42	o 971
14.09/14.44	o 968
14.09/14.47	o 965
14.09/14.49	o 962
14.19/14.51	o 961
14.19/14.53	o 960
14.19/14.56	o 959
14.19/14.58	o 957
14.29/14.61	o 955
14.29/14.63	o 952
14.29/14.65	o 950
14.29/14.67	o 949
14.29/14.70	o 947
14.39/14.72	o 941
14.39/14.74	o 940
14.39/14.76	o 939
14.49/14.81	o 936
14.49/14.82	o 929
14.49/14.84	o 923
14.49/14.85	o 917
14.49/14.87	o 916
14.49/14.89	o 912
14.59/14.90	o 908
14.59/14.93	o 905
14.59/14.98	o 903
14.69/15.02	o 897
14.69/15.05	o 895
14.69/15.07	o 891
14.69/15.09	o 884
14.79/15.11	o 882
14.79/15.13	o 881
14.79/15.16	o 880
14.79/15.18	o 876
14.89/15.21	o 874
14.89/15.23	o 873
14.89/15.25	o 872
14.89/15.27	o 871
14.89/15.29	o 868
14.99/15.31	o 865
14.99/15.35	o 864
14.99/15.37	o 858
14.99/15.40	o 855
15.09/15.42	o 853
15.09/15.44	o 852
15.19/15.52	o 849
15.19/15.54	o 847
15.19/15.55	o 844
15.19/15.57	o 840
15.19/15.58	o 838
15.29/15.60	o 836
15.29/15.64	o 831
15.29/15.66	o 830
15.29/15.68	o 826
15.39/15.71	o 821
15.39/15.73	o 819
15.39/15.75	o 815
15.39/15.77	o 813
15.39/15.79	o 810
15.48/15.82	o 808
15.48/15.84	o 806
15.48/15.86	o 804
15.48/15.89	o 803
15.58/15.92	o 799
15.58/15.94	o 797
15.58/15.96	o 796
15.78/16.10	o 794
15.78/16.13	o 793
15.78/16.16	o 788
15.78/16.18	o 787
15.88/16.21	o 786
15.88/16.26	o 784
15.88/16.29	o 783
15.98/16.33	o 781
15.98/16.35	o 776
15.98/16.37	o 775
16.08/16.41	o 774
16.08/16.50	o 772
16.18/16.52	o 770
16.18/16.55	o 769
16.18/16.57	o 768
16.28/16.60	o 766
16.28/16.62	o 765
16.28/16.65	o 763
16.28/16.67	o 761
16.38/16.71	o 758
16.38/16.79	o 753
16.48/16.80	o 749
16.48/16.85	o 743
16.48/16.87	o 742
16.48/16.89	o 741
16.58/16.91	o 740
16.58/16.94	o 739
16.58/16.95	o 738
16.68/17.00	o 737
16.68/17.06	o 735
16.68/17.08	o 733
16.78/17.11	o 730
16.78/17.16	o 728
16.78/17.19	o 726
16.88/17.22	o 724
16.88/17.24	o 721
16.88/17.27	o 720
16.98/17.32	o 718
16.98/17.34	o 717
16.98/17.37	o 711
16.98/17.40	o 710
17.08/17.42	o 708
17.08/17.45	o 703
17.18/17.51	o 702
17.18/17.53	o 701
17.18/17.55	o 699
17.37/17.78	o 697
17.47/17.82	o 696
17.57/17.92	o 695
17.57/17.97	o 693
17.57/17.99	o 692
17.67/18.01	o 691
17.67/18.06	o 689
17.77/18.10	o 687
17.77/18.13	o 686
17.77/18.15	o 685
17.77/18.17	o 684
17.77/18.20	o 681
17.87/18.22	o 679
17.87/18.28	o 676
17.97/18.30	o 674
18.07/18.41	o 673
18.27/18.64	o 670
18.27/18.65	o 668
18.27/18.67	o 666
18.37/18.72	o 665
18.37/18.75	o 663
18.37/18.77	o 662
18.47/18.80	o 661
18.47/18.83	o 658
18.47/18.86	o 656
18.47/18.89	o 655
18.57/18.91	o 654
18.57/18.94	o 652
18.57/18.99	o 650
18.67/19.01	o 648
18.77/19.10	o 646
18.77/19.13	o 644
18.87/19.28	o 641
18.97/19.39	o 640
19.07/19.46	o 636
19.07/19.49	o 632
19.16/19.55	o 630
19.16/19.59	o 629
19.26/19.63	o 625
19.26/19.65	o 624
19.26/19.69	o 622
19.66/20.05	o 620
19.66/20.08	o 617
19.76/20.11	o 616
19.76/20.13	o 615
19.76/20.19	o 613
19.96/20.32	o 612
20.07/20.42	o 611
20.07/20.46	o 610
20.16/20.50	o 609
20.16/20.52	o 608
20.26/20.64	o 607
20.36/20.74	o 605
20.36/20.79	o 602
20.46/20.83	o 600
20.46/20.87	o 598
20.46/20.90	o 595
20.56/20.96	o 591
20.66/21.02	o 589
20.86/21.22	o 587
20.86/21.26	o 585
20.96/21.31	o 584
21.56/21.93	o 583
21.56/21.97	o 582
21.65/22.01	o 580
21.65/22.06	o 578
21.75/22.12	o 576
21.75/22.17	o 575
21.85/22.26	o 574
22.05/22.41	o 573
22.05/22.46	o 572
22.15/22.51	o 570
22.35/22.74	o 568
22.65/23.04	o 565
22.65/23.09	o 563
22.84/23.26	o 562
22.94/23.31	o 560
23.04/23.41	o 559
23.04/23.47	o 557
23.54/23.93	o 556
23.54/23.99	o 555
23.64/24.10	o 553
23.74/24.17	o 551
23.94/24.35	o 550
24.04/24.48	o 549
24.14/24.53	o 547
24.14/24.58	o 545
24.83/25.24	o 544
25.13/25.52	o 543
25.44/25.86	o 540
25.64/26.06	o 538
25.74/26.12	o 536
26.03/26.43	o 535
26.03/26.49	o 533
26.33/26.76	o 531
26.43/26.82	o 530
26.53/26.93	o 529
26.63/27.04	o 526
26.73/27.10	o 525
26.83/27.22	o 523
26.83/27.28	o 522
27.13/27.53	o 521
27.22/27.69	o 520
27.42/27.81	o 518
27.42/27.88	o 517
27.52/27.94	o 515
27.62/28.01	o 513
27.62/28.08	o 512
27.72/28.16	o 511
28.52/28.91	o 508
28.82/29.26	o 507
28.92/29.31	o 506
28.92/29.33	o 504
28.92/29.39	o 501
29.02/29.44	o 498
29.02/29.48	o 496
29.12/29.53	o 494
29.22/29.63	o 491
29.22/29.69	o 489
29.31/29.75	o 485
29.41/29.86	o 484
29.51/29.90	o 480
29.61/30.02	o 478
29.71/30.14	o 477
29.81/30.21	o 475
29.91/30.33	o 474
29.91/30.39	o 473
30.01/30.45	o 472
30.11/30.59	o 471
30.21/30.65	o 467
30.90/31.31	o 466
30.90/31.36	o 464
31.00/31.40	o 463
31.00/31.45	o 460
31.00/31.47	o 457
31.51/31.94	o 455
31.51/31.99	o 454
31.60/32.04	o 452
31.70/32.12	o 451
31.70/32.16	o 449
32.20/32.62	o 448
32.30/32.78	o 447
32.40/32.84	o 446
33.70/34.12	o 442
33.70/34.19	o 440
33.79/34.26	o 439
33.89/34.33	o 438
33.89/34.38	o 437
33.99/34.46	o 432
34.09/34.53	o 430
34.69/35.16	o 429
35.08/35.58	o 427
35.18/35.65	o 425
35.28/35.72	o 424
35.38/35.80	o 422
35.38/35.88	o 421
35.48/35.96	o 419
35.58/36.03	o 418
35.68/36.12	o 416
35.98/36.44	o 414
36.08/36.52	o 413
36.08/36.59	o 411
36.18/36.66	o 410
36.28/36.73	o 409
36.38/36.87	o 406
36.48/36.94	o 405
36.97/37.41	o 404
36.97/37.47	o 401
37.07/37.54	o 400
37.17/37.61	o 398
37.27/37.75	o 397
37.57/38.09	o 396
38.26/38.76	o 395
38.66/39.13	o 394
38.66/39.17	o 392
38.76/39.23	o 391
39.45/39.95	o 390
39.66/40.14	o 389
39.86/40.36	o 386
39.96/40.43	o 385
39.96/40.48	o 383
40.06/40.55	o 381
40.16/40.70	o 380
40.45/40.90	o 379
40.85/41.35	o 378
41.15/41.62	o 376
41.15/41.70	o 375
41.25/41.77	o 372
41.45/41.99	o 371
41.65/42.15	o 369
42.05/42.58	o 367
42.35/42.82	o 364
42.35/42.90	o 362
42.45/42.97	o 361
43.04/43.56	o 360
43.14/43.64	o 359
43.24/43.74	o 358
44.24/44.71	o 357
45.23/45.76	o 356
45.33/45.86	o 355
45.43/45.95	o 351
45.53/46.00	o 349
45.62/46.18	o 348
45.83/46.36	o 347
46.03/46.53	o 346
49.41/49.95	o 345
49.51/50.05	o 344
49.71/50.29	o 341
50.11/50.62	o 338
50.30/50.80	o 337
50.30/50.89	o 336
50.40/50.99	o 334
52.20/52.72	o 332
52.30/52.82	o 331
52.59/53.17	o 330
52.69/53.25	o 329
52.79/53.34	o 328
52.89/53.42	o 327
52.89/53.50	o 326
52.99/53.58	o 325
53.09/53.67	o 324
53.48/54.08	o 323
53.58/54.17	o 321
53.98/54.53	o 320
54.97/55.52	o 317
54.97/55.55	o 315
55.18/55.71	o 314
55.28/55.80	o 312
55.28/55.89	o 310
55.38/55.97	o 307
55.77/56.34	o 304
55.87/56.41	o 300
55.87/56.45	o 298
55.97/56.52	o 296
56.27/56.84	o 295
56.37/56.91	o 294
56.47/57.07	o 291
56.57/57.16	o 288
56.87/57.45	o 285
57.67/58.21	o 283
57.76/58.31	o 282
57.96/58.51	o 280
58.16/58.71	o 279
59.35/59.92	o 276
59.45/60.01	o 273
61.35/61.90	o 272
61.45/62.09	o 271
61.55/62.19	o 270
61.65/62.29	o 267
63.44/64.04	o 266
64.24/64.90	o 265
64.33/64.94	o 262
64.43/65.04	o 261
64.83/65.43	o 260
64.93/65.53	o 259
65.52/66.12	o 258
65.62/66.21	o 257
65.62/66.28	o 256
65.72/66.35	o 255
65.82/66.44	o 252
66.02/66.62	o 249
66.22/66.82	o 248
66.22/66.84	o 246
66.42/67.02	o 245
70.61/71.30	o 244
72.79/73.43	o 243
72.89/73.54	o 242
74.28/74.95	o 240
74.38/75.08	o 237
74.58/75.29	o 235
74.78/75.41	o 234
79.56/80.22	o 233
79.56/80.25	o 230
79.95/80.60	o 228
80.55/81.23	o 227
83.55/84.26	o 223
83.65/84.38	o 222
83.75/84.50	o 221
83.95/84.62	o 220
84.44/85.10	o 219
92.80/93.58	o 217
92.90/93.64	o 216
93.49/94.26	o 215
93.59/94.36	o 214
93.69/94.43	o 213
94.09/94.80	o 211
95.08/95.82	o 210
95.38/96.19	o 209
96.38/97.13	o 208
96.98/97.78	o 206
97.08/97.83	o 202
97.18/97.91	o 199
97.47/98.23	o 197
98.07/98.81	o 196
98.07/98.88	o 195
98.17/98.94	o 193
98.17/98.99	o 192
98.27/99.03	o 190
98.27/99.09	o 189
98.56/99.37	o 188
98.66/99.44	o 187
98.76/99.51	o 186
98.86/99.67	o 185
99.36/100.11	o 184
101.45/102.29	o 183
101.55/102.35	o 182
101.75/102.50	o 181
101.75/102.58	o 178
102.15/102.91	o 176
102.74/103.51	o 175
102.74/103.59	o 174
103.05/103.81	o 173
103.05/103.87	o 172
103.25/104.03	o 171
103.35/104.12	o 169
104.14/104.95	o 168
104.24/105.03	o 166
104.34/105.18	o 165
104.54/105.35	o 164
104.64/105.43	o 163
104.74/105.53	o 162
104.74/105.59	o 160
105.23/106.03	o 159
105.43/106.24	o 158
105.53/106.39	o 157
105.73/106.57	o 154
105.83/106.61	o 152
120.46/121.36	o 151
120.66/121.57	o 149
120.76/121.61	o 148
121.45/122.38	o 147
121.85/122.75	o 146
126.33/127.27	o 143
126.43/127.36	o 142
126.53/127.42	o 141
126.63/127.58	o 140
126.82/127.76	o 137
127.32/128.25	o 136
127.42/128.33	o 133
127.91/128.89	o 132
128.01/128.99	o 130
128.11/129.10	o 129
129.21/130.16	o 128
129.41/130.38	o 126
129.91/130.82	o 125
130.01/130.93	o 124
138.67/139.70	o 123
138.96/139.91	o 120
139.06/140.01	o 119
139.16/140.11	o 116
139.36/140.33	o 115
139.46/140.43	o 114
139.66/140.64	o 113
139.96/140.98	o 111
140.56/141.60	o 110
141.25/142.21	o 108
141.25/142.27	o 107
144.04/145.07	o 106
144.24/145.28	o 105
144.73/145.72	o 104
144.83/145.83	o 103
145.03/146.01	o 102
145.13/146.10	o 101
146.43/147.46	o 100
157.57/158.63	o 99
157.67/158.72	o 98
157.97/159.05	o 97
158.57/159.61	o 96
158.57/159.66	o 94
158.67/159.76	o 93
169.02/170.16	o 92
169.22/170.35	o 91
169.81/170.94	o 89
170.21/171.37	o 88
170.31/171.46	o 87
200.37/201.69	   
200.37/201.69	   search
200.37/201.69	     run=0  nbConstraintChecks=530715170  nbAssignments=2493
200.37/201.69	       =>  wckTime=189.212  cpuTime=188.24  mem=22M626
200.37/201.69	   
200.37/201.69	   global
200.37/201.69	     nbConstraintChecks=530715170  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
200.37/201.69	     solvingWckTime=189.209  solvingCpuTime=188.24  expiredTime=no  totalExploration=no  nbFoundSolutions=0
200.37/201.69	     globalCpuTime=199.67
200.37/201.69	       =>  wckTime=201.286  cpuTime=199.63  mem=22M626
200.37/201.70	   
200.37/201.70	   solver DecomposerSolver being built... 
201.17/202.44	       =>  wckTime=202.028  cpuTime=199.95  mem=248M697
208.84/210.13	   
208.84/210.13	   preprocessing
208.84/210.13	     nbConstraintChecks=25809301  nbValidityChecks=150925  nbPropagations=500  nbRevisions=10423
208.84/210.13	     nbUselessRevisions=10419  nbRemovedValues=452  detectedInconsistency=no
208.84/210.13	       =>  wckTime=7.69  cpuTime=7.64  mem=248M697
209.03/210.39	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-1112845-1215874575/watcher-1112845-1215874575 -o /tmp/evaluation-result-1112845-1215874575/solver-1112845-1215874575 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112845-1215874575.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.18 1.92 1.43 4/81 9754
/proc/meminfo: memFree=1712136/2055920 swapFree=4181288/4192956
[pid=9754] ppid=9752 vsize=18572 CPUtime=0
/proc/9754/stat : 9754 (runsolver) D 9752 9754 9619 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 44154106 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 231882681639 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/9754/statm: 4643 292 257 25 0 2626 0

[startup+0.027183 s]
/proc/loadavg: 2.18 1.92 1.43 4/81 9754
/proc/meminfo: memFree=1712136/2055920 swapFree=4181288/4192956
[pid=9754] ppid=9752 vsize=10780 CPUtime=0
/proc/9754/stat : 9754 (java) S 9752 9754 9619 0 -1 0 749 0 0 0 0 0 0 0 18 0 2 0 44154106 11038720 529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/9754/statm: 2695 529 252 9 0 1196 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10780

[startup+0.101193 s]
/proc/loadavg: 2.18 1.92 1.43 4/81 9754
/proc/meminfo: memFree=1712136/2055920 swapFree=4181288/4192956
[pid=9754] ppid=9752 vsize=11232 CPUtime=0
/proc/9754/stat : 9754 (java) S 9752 9754 9619 0 -1 0 881 0 1 0 0 0 0 0 18 0 2 0 44154106 11501568 633 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/9754/statm: 2808 633 331 9 0 1206 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11232

[startup+0.301238 s]
/proc/loadavg: 2.18 1.92 1.43 4/81 9754
/proc/meminfo: memFree=1712136/2055920 swapFree=4181288/4192956
[pid=9754] ppid=9752 vsize=866012 CPUtime=0.15
/proc/9754/stat : 9754 (java) S 9752 9754 9619 0 -1 0 4287 0 10 0 12 3 0 0 18 0 9 0 44154106 886796288 3732 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9754/statm: 216503 3732 1841 9 0 211051 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 866012

[startup+0.701317 s]
/proc/loadavg: 2.18 1.92 1.43 4/81 9754
/proc/meminfo: memFree=1712136/2055920 swapFree=4181288/4192956
[pid=9754] ppid=9752 vsize=867112 CPUtime=0.48
/proc/9754/stat : 9754 (java) S 9752 9754 9619 0 -1 0 7857 0 18 0 42 6 0 0 18 0 9 0 44154106 887922688 7236 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9754/statm: 216778 7236 1997 9 0 211284 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 867112

[startup+1.50147 s]
/proc/loadavg: 2.18 1.92 1.43 3/90 9763
/proc/meminfo: memFree=1673536/2055920 swapFree=4181288/4192956
[pid=9754] ppid=9752 vsize=867728 CPUtime=1.27
/proc/9754/stat : 9754 (java) S 9752 9754 9619 0 -1 0 14105 0 18 0 118 9 0 0 18 0 9 0 44154106 888553472 13480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9754/statm: 216932 13480 2014 9 0 211438 0
[pid=9754/tid=9756] ppid=9752 vsize=867728 CPUtime=1.09
/proc/9754/task/9756/stat : 9756 (java) R 9752 9754 9619 0 -1 64 12758 0 18 0 101 8 0 0 25 0 9 0 44154109 888553472 13480 996147200 134512640 134550740 4294955952 18446744073709551615 102228409 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9757] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9757/stat : 9757 (java) S 9752 9754 9619 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44154117 888553472 13480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9758] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9758/stat : 9758 (java) S 9752 9754 9619 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44154117 888553472 13480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9759] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9759/stat : 9759 (java) S 9752 9754 9619 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 44154117 888553472 13480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9760] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9760/stat : 9760 (java) S 9752 9754 9619 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44154120 888553472 13480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9761] ppid=9752 vsize=867728 CPUtime=0.17
/proc/9754/task/9761/stat : 9761 (java) S 9752 9754 9619 0 -1 64 650 0 0 0 17 0 0 0 15 0 9 0 44154120 888553472 13480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9762] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9762/stat : 9762 (java) S 9752 9754 9619 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44154120 888553472 13480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9763] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9763/stat : 9763 (java) S 9752 9754 9619 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44154120 888553472 13480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 867728

[startup+3.10279 s]
/proc/loadavg: 2.18 1.92 1.43 3/90 9763
/proc/meminfo: memFree=1658368/2055920 swapFree=4181288/4192956
[pid=9754] ppid=9752 vsize=867728 CPUtime=2.87
/proc/9754/stat : 9754 (java) S 9752 9754 9619 0 -1 0 15222 0 18 0 277 10 0 0 18 0 9 0 44154106 888553472 14596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9754/statm: 216932 14596 2014 9 0 211438 0
[pid=9754/tid=9756] ppid=9752 vsize=867728 CPUtime=2.66
/proc/9754/task/9756/stat : 9756 (java) R 9752 9754 9619 0 -1 64 13853 0 18 0 257 9 0 0 25 0 9 0 44154109 888553472 14596 996147200 134512640 134550740 4294955952 18446744073709551615 4126863031 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9757] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9757/stat : 9757 (java) S 9752 9754 9619 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44154117 888553472 14596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9758] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9758/stat : 9758 (java) S 9752 9754 9619 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44154117 888553472 14596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9759] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9759/stat : 9759 (java) S 9752 9754 9619 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 44154117 888553472 14596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9760] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9760/stat : 9760 (java) S 9752 9754 9619 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44154120 888553472 14596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9761] ppid=9752 vsize=867728 CPUtime=0.19
/proc/9754/task/9761/stat : 9761 (java) S 9752 9754 9619 0 -1 64 672 0 0 0 19 0 0 0 15 0 9 0 44154120 888553472 14596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9762] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9762/stat : 9762 (java) S 9752 9754 9619 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44154120 888553472 14596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9763] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9763/stat : 9763 (java) S 9752 9754 9619 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44154120 888553472 14596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 867728

[startup+6.30142 s]
/proc/loadavg: 2.25 1.94 1.44 3/90 9763
/proc/meminfo: memFree=1648768/2055920 swapFree=4181288/4192956
[pid=9754] ppid=9752 vsize=867640 CPUtime=6.05
/proc/9754/stat : 9754 (java) S 9752 9754 9619 0 -1 0 19389 0 18 0 593 12 0 0 18 0 9 0 44154106 888463360 18735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9754/statm: 216910 18735 2005 9 0 211438 0
[pid=9754/tid=9756] ppid=9752 vsize=867640 CPUtime=5.75
/proc/9754/task/9756/stat : 9756 (java) R 9752 9754 9619 0 -1 64 15787 0 18 0 565 10 0 0 25 0 9 0 44154109 888463360 18735 996147200 134512640 134550740 4294955952 18446744073709551615 4126888601 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9757] ppid=9752 vsize=867640 CPUtime=0.07
/proc/9754/task/9757/stat : 9757 (java) S 9752 9754 9619 0 -1 64 2228 0 0 0 7 0 0 0 16 0 9 0 44154117 888463360 18735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9758] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9758/stat : 9758 (java) S 9752 9754 9619 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 44154117 888463360 18735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9759] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9759/stat : 9759 (java) S 9752 9754 9619 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44154117 888463360 18735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9760] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9760/stat : 9760 (java) S 9752 9754 9619 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44154120 888463360 18735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9761] ppid=9752 vsize=867640 CPUtime=0.2
/proc/9754/task/9761/stat : 9761 (java) S 9752 9754 9619 0 -1 64 677 0 0 0 20 0 0 0 15 0 9 0 44154120 888463360 18735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9762] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9762/stat : 9762 (java) S 9752 9754 9619 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44154120 888463360 18735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9763] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9763/stat : 9763 (java) S 9752 9754 9619 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44154120 888463360 18735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 867640

[startup+12.7027 s]
/proc/loadavg: 2.23 1.94 1.44 3/90 9763
/proc/meminfo: memFree=1627072/2055920 swapFree=4181288/4192956
[pid=9754] ppid=9752 vsize=867728 CPUtime=12.42
/proc/9754/stat : 9754 (java) S 9752 9754 9619 0 -1 0 25256 0 20 0 1226 16 0 0 18 0 9 0 44154106 888553472 24408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9754/statm: 216932 24408 2640 9 0 211438 0
[pid=9754/tid=9756] ppid=9752 vsize=867728 CPUtime=11.79
/proc/9754/task/9756/stat : 9756 (java) R 9752 9754 9619 0 -1 64 15860 0 20 0 1167 12 0 0 25 0 9 0 44154109 888553472 24408 996147200 134512640 134550740 4294955952 18446744073709551615 4126867087 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9757] ppid=9752 vsize=867728 CPUtime=0.31
/proc/9754/task/9757/stat : 9757 (java) S 9752 9754 9619 0 -1 64 7976 0 0 0 29 2 0 0 17 0 9 0 44154117 888553472 24408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9758] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9758/stat : 9758 (java) S 9752 9754 9619 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44154117 888553472 24408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9759] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9759/stat : 9759 (java) S 9752 9754 9619 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44154117 888553472 24408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9760] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9760/stat : 9760 (java) S 9752 9754 9619 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44154120 888553472 24408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9761] ppid=9752 vsize=867728 CPUtime=0.28
/proc/9754/task/9761/stat : 9761 (java) S 9752 9754 9619 0 -1 64 723 0 0 0 28 0 0 0 15 0 9 0 44154120 888553472 24408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9762] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9762/stat : 9762 (java) S 9752 9754 9619 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44154120 888553472 24408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9763] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9763/stat : 9763 (java) S 9752 9754 9619 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44154120 888553472 24408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 867728

[startup+25.5012 s]
/proc/loadavg: 2.17 1.94 1.45 3/90 9763
/proc/meminfo: memFree=1617856/2055920 swapFree=4181288/4192956
[pid=9754] ppid=9752 vsize=867728 CPUtime=25.13
/proc/9754/stat : 9754 (java) S 9752 9754 9619 0 -1 0 25261 0 20 0 2494 19 0 0 18 0 9 0 44154106 888553472 24412 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9754/statm: 216932 24412 2640 9 0 211438 0
[pid=9754/tid=9756] ppid=9752 vsize=867728 CPUtime=24.49
/proc/9754/task/9756/stat : 9756 (java) R 9752 9754 9619 0 -1 64 15860 0 20 0 2434 15 0 0 25 0 9 0 44154109 888553472 24412 996147200 134512640 134550740 4294955952 18446744073709551615 4127179060 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9757] ppid=9752 vsize=867728 CPUtime=0.31
/proc/9754/task/9757/stat : 9757 (java) S 9752 9754 9619 0 -1 64 7976 0 0 0 29 2 0 0 16 0 9 0 44154117 888553472 24412 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9758] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9758/stat : 9758 (java) S 9752 9754 9619 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44154117 888553472 24412 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9759] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9759/stat : 9759 (java) S 9752 9754 9619 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44154117 888553472 24412 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9760] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9760/stat : 9760 (java) S 9752 9754 9619 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44154120 888553472 24412 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9761] ppid=9752 vsize=867728 CPUtime=0.29
/proc/9754/task/9761/stat : 9761 (java) S 9752 9754 9619 0 -1 64 728 0 0 0 29 0 0 0 15 0 9 0 44154120 888553472 24412 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9762] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9762/stat : 9762 (java) S 9752 9754 9619 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44154120 888553472 24412 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9763] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9763/stat : 9763 (java) S 9752 9754 9619 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44154120 888553472 24412 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 867728

[startup+51.1013 s]
/proc/loadavg: 2.11 1.95 1.46 3/90 9763
/proc/meminfo: memFree=1617920/2055920 swapFree=4181288/4192956
[pid=9754] ppid=9752 vsize=867728 CPUtime=50.6
/proc/9754/stat : 9754 (java) S 9752 9754 9619 0 -1 0 25263 0 20 0 5037 23 0 0 18 0 9 0 44154106 888553472 24413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9754/statm: 216932 24413 2640 9 0 211438 0
[pid=9754/tid=9756] ppid=9752 vsize=867728 CPUtime=49.96
/proc/9754/task/9756/stat : 9756 (java) R 9752 9754 9619 0 -1 64 15861 0 20 0 4977 19 0 0 25 0 9 0 44154109 888553472 24413 996147200 134512640 134550740 4294955952 18446744073709551615 4126866220 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9757] ppid=9752 vsize=867728 CPUtime=0.31
/proc/9754/task/9757/stat : 9757 (java) S 9752 9754 9619 0 -1 64 7976 0 0 0 29 2 0 0 16 0 9 0 44154117 888553472 24413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9758] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9758/stat : 9758 (java) S 9752 9754 9619 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44154117 888553472 24413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9759] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9759/stat : 9759 (java) S 9752 9754 9619 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44154117 888553472 24413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9760] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9760/stat : 9760 (java) S 9752 9754 9619 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44154120 888553472 24413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9761] ppid=9752 vsize=867728 CPUtime=0.29
/proc/9754/task/9761/stat : 9761 (java) S 9752 9754 9619 0 -1 64 729 0 0 0 29 0 0 0 16 0 9 0 44154120 888553472 24413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9762] ppid=9752 vsize=867728 CPUtime=0

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

/proc/9754/stat : 9754 (java) S 9752 9754 9619 0 -1 0 25266 0 20 0 19671 38 0 0 18 0 9 0 44154106 888553472 24416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9754/statm: 216932 24416 2640 9 0 211438 0
[pid=9754/tid=9756] ppid=9752 vsize=867728 CPUtime=196.44
/proc/9754/task/9756/stat : 9756 (java) R 9752 9754 9619 0 -1 64 15861 0 20 0 19611 33 0 0 25 0 9 0 44154109 888553472 24416 996147200 134512640 134550740 4294955952 18446744073709551615 4126867122 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9757] ppid=9752 vsize=867728 CPUtime=0.31
/proc/9754/task/9757/stat : 9757 (java) S 9752 9754 9619 0 -1 64 7976 0 0 0 29 2 0 0 16 0 9 0 44154117 888553472 24416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9758] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9758/stat : 9758 (java) S 9752 9754 9619 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44154117 888553472 24416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9759] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9759/stat : 9759 (java) S 9752 9754 9619 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44154117 888553472 24416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9760] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9760/stat : 9760 (java) S 9752 9754 9619 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44154120 888553472 24416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9761] ppid=9752 vsize=867728 CPUtime=0.29
/proc/9754/task/9761/stat : 9761 (java) S 9752 9754 9619 0 -1 64 732 0 0 0 29 0 0 0 15 0 9 0 44154120 888553472 24416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9762] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9762/stat : 9762 (java) S 9752 9754 9619 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44154120 888553472 24416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9763] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9763/stat : 9763 (java) S 9752 9754 9619 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44154120 888553472 24416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 197.09
Current children cumulated vsize (KiB) 867728

[startup+204.702 s]
/proc/loadavg: 2.12 2.02 1.56 3/90 9763
/proc/meminfo: memFree=1424256/2055920 swapFree=4181288/4192956
[pid=9754] ppid=9752 vsize=867640 CPUtime=203.46
/proc/9754/stat : 9754 (java) S 9752 9754 9619 0 -1 0 73544 0 20 0 20288 58 0 0 18 0 9 0 44154106 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9754/statm: 216910 72626 2619 9 0 211438 0
[pid=9754/tid=9756] ppid=9752 vsize=867640 CPUtime=202.37
/proc/9754/task/9756/stat : 9756 (java) R 9752 9754 9619 0 -1 64 15939 0 20 0 20203 34 0 0 25 0 9 0 44154109 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4126866103 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9757] ppid=9752 vsize=867640 CPUtime=0.72
/proc/9754/task/9757/stat : 9757 (java) S 9752 9754 9619 0 -1 64 56140 0 0 0 50 22 0 0 16 0 9 0 44154117 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9758] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9758/stat : 9758 (java) S 9752 9754 9619 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44154117 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9759] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9759/stat : 9759 (java) S 9752 9754 9619 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44154117 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9760] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9760/stat : 9760 (java) S 9752 9754 9619 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44154120 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9761] ppid=9752 vsize=867640 CPUtime=0.33
/proc/9754/task/9761/stat : 9761 (java) S 9752 9754 9619 0 -1 64 750 0 0 0 33 0 0 0 15 0 9 0 44154120 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9762] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9762/stat : 9762 (java) S 9752 9754 9619 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44154120 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9763] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9763/stat : 9763 (java) S 9752 9754 9619 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44154120 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.46
Current children cumulated vsize (KiB) 867640

[startup+207.905 s]
/proc/loadavg: 2.12 2.02 1.56 3/90 9763
/proc/meminfo: memFree=1424256/2055920 swapFree=4181288/4192956
[pid=9754] ppid=9752 vsize=867640 CPUtime=206.65
/proc/9754/stat : 9754 (java) S 9752 9754 9619 0 -1 0 73544 0 20 0 20607 58 0 0 18 0 9 0 44154106 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9754/statm: 216910 72626 2619 9 0 211438 0
[pid=9754/tid=9756] ppid=9752 vsize=867640 CPUtime=205.56
/proc/9754/task/9756/stat : 9756 (java) R 9752 9754 9619 0 -1 64 15939 0 20 0 20522 34 0 0 25 0 9 0 44154109 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4127275756 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9757] ppid=9752 vsize=867640 CPUtime=0.72
/proc/9754/task/9757/stat : 9757 (java) S 9752 9754 9619 0 -1 64 56140 0 0 0 50 22 0 0 16 0 9 0 44154117 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9758] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9758/stat : 9758 (java) S 9752 9754 9619 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44154117 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9759] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9759/stat : 9759 (java) S 9752 9754 9619 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44154117 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9760] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9760/stat : 9760 (java) S 9752 9754 9619 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44154120 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9761] ppid=9752 vsize=867640 CPUtime=0.33
/proc/9754/task/9761/stat : 9761 (java) S 9752 9754 9619 0 -1 64 750 0 0 0 33 0 0 0 15 0 9 0 44154120 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9762] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9762/stat : 9762 (java) S 9752 9754 9619 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44154120 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9763] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9763/stat : 9763 (java) S 9752 9754 9619 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44154120 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 206.65
Current children cumulated vsize (KiB) 867640

[startup+209.502 s]
/proc/loadavg: 2.12 2.02 1.56 3/90 9763
/proc/meminfo: memFree=1424256/2055920 swapFree=4181288/4192956
[pid=9754] ppid=9752 vsize=867640 CPUtime=208.24
/proc/9754/stat : 9754 (java) S 9752 9754 9619 0 -1 0 73544 0 20 0 20766 58 0 0 18 0 9 0 44154106 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9754/statm: 216910 72626 2619 9 0 211438 0
[pid=9754/tid=9756] ppid=9752 vsize=867640 CPUtime=207.15
/proc/9754/task/9756/stat : 9756 (java) R 9752 9754 9619 0 -1 64 15939 0 20 0 20681 34 0 0 25 0 9 0 44154109 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4127047800 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9757] ppid=9752 vsize=867640 CPUtime=0.72
/proc/9754/task/9757/stat : 9757 (java) S 9752 9754 9619 0 -1 64 56140 0 0 0 50 22 0 0 16 0 9 0 44154117 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9758] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9758/stat : 9758 (java) S 9752 9754 9619 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44154117 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9759] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9759/stat : 9759 (java) S 9752 9754 9619 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44154117 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9760] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9760/stat : 9760 (java) S 9752 9754 9619 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44154120 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9761] ppid=9752 vsize=867640 CPUtime=0.33
/proc/9754/task/9761/stat : 9761 (java) S 9752 9754 9619 0 -1 64 750 0 0 0 33 0 0 0 15 0 9 0 44154120 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9762] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9762/stat : 9762 (java) S 9752 9754 9619 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44154120 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9763] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9763/stat : 9763 (java) S 9752 9754 9619 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44154120 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 208.24
Current children cumulated vsize (KiB) 867640

[startup+209.902 s]
/proc/loadavg: 2.12 2.02 1.56 3/90 9763
/proc/meminfo: memFree=1424256/2055920 swapFree=4181288/4192956
[pid=9754] ppid=9752 vsize=867640 CPUtime=208.64
/proc/9754/stat : 9754 (java) S 9752 9754 9619 0 -1 0 73544 0 20 0 20806 58 0 0 18 0 9 0 44154106 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9754/statm: 216910 72626 2619 9 0 211438 0
[pid=9754/tid=9756] ppid=9752 vsize=867640 CPUtime=207.55
/proc/9754/task/9756/stat : 9756 (java) R 9752 9754 9619 0 -1 64 15939 0 20 0 20721 34 0 0 25 0 9 0 44154109 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4126457485 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9757] ppid=9752 vsize=867640 CPUtime=0.72
/proc/9754/task/9757/stat : 9757 (java) S 9752 9754 9619 0 -1 64 56140 0 0 0 50 22 0 0 16 0 9 0 44154117 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9758] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9758/stat : 9758 (java) S 9752 9754 9619 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44154117 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9759] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9759/stat : 9759 (java) S 9752 9754 9619 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44154117 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9760] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9760/stat : 9760 (java) S 9752 9754 9619 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44154120 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9761] ppid=9752 vsize=867640 CPUtime=0.33
/proc/9754/task/9761/stat : 9761 (java) S 9752 9754 9619 0 -1 64 750 0 0 0 33 0 0 0 15 0 9 0 44154120 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9762] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9762/stat : 9762 (java) S 9752 9754 9619 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44154120 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9763] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9763/stat : 9763 (java) S 9752 9754 9619 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44154120 888463360 72626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 208.64
Current children cumulated vsize (KiB) 867640

[startup+210.303 s]
/proc/loadavg: 2.11 2.02 1.56 3/90 9763
/proc/meminfo: memFree=1424256/2055920 swapFree=4181288/4192956
[pid=9754] ppid=9752 vsize=867728 CPUtime=209.03
/proc/9754/stat : 9754 (java) S 9752 9754 9619 0 -1 0 73589 0 20 0 20845 58 0 0 18 0 9 0 44154106 888553472 72668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9754/statm: 216932 72668 2640 9 0 211438 0
[pid=9754/tid=9756] ppid=9752 vsize=867728 CPUtime=207.78
/proc/9754/task/9756/stat : 9756 (java) R 9752 9754 9619 0 -1 64 15965 0 20 0 20744 34 0 0 25 0 9 0 44154109 888553472 72668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9757] ppid=9752 vsize=867728 CPUtime=0.88
/proc/9754/task/9757/stat : 9757 (java) R 9752 9754 9619 0 -1 64 56158 0 0 0 66 22 0 0 16 0 9 0 44154117 888553472 72668 996147200 134512640 134550740 4294955952 18446744073709551615 104456976 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9758] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9758/stat : 9758 (java) S 9752 9754 9619 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44154117 888553472 72668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9759] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9759/stat : 9759 (java) S 9752 9754 9619 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44154117 888553472 72668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9760] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9760/stat : 9760 (java) S 9752 9754 9619 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44154120 888553472 72668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9761] ppid=9752 vsize=867728 CPUtime=0.33
/proc/9754/task/9761/stat : 9761 (java) S 9752 9754 9619 0 -1 64 751 0 0 0 33 0 0 0 16 0 9 0 44154120 888553472 72668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9762] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9762/stat : 9762 (java) S 9752 9754 9619 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44154120 888553472 72668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9763] ppid=9752 vsize=867728 CPUtime=0
/proc/9754/task/9763/stat : 9763 (java) S 9752 9754 9619 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44154120 888553472 72668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 209.03
Current children cumulated vsize (KiB) 867728

[startup+210.403 s]
/proc/loadavg: 2.11 2.02 1.56 3/90 9763
/proc/meminfo: memFree=1424256/2055920 swapFree=4181288/4192956
[pid=9754] ppid=9752 vsize=867640 CPUtime=209.12
/proc/9754/stat : 9754 (java) S 9752 9754 9619 0 -1 0 82094 0 20 0 20851 61 0 0 18 0 9 0 44154106 888463360 81149 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9754/statm: 216910 81149 2618 9 0 211438 0
[pid=9754/tid=9756] ppid=9752 vsize=867640 CPUtime=207.78
/proc/9754/task/9756/stat : 9756 (java) S 9752 9754 9619 0 -1 64 15968 0 20 0 20744 34 0 0 25 0 9 0 44154109 888463360 81149 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9757] ppid=9752 vsize=867640 CPUtime=0.97
/proc/9754/task/9757/stat : 9757 (java) S 9752 9754 9619 0 -1 64 64660 0 0 0 72 25 0 0 16 0 9 0 44154117 888463360 81149 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9758] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9758/stat : 9758 (java) S 9752 9754 9619 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 44154117 888463360 81149 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9759] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9759/stat : 9759 (java) S 9752 9754 9619 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44154117 888463360 81149 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9760] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9760/stat : 9760 (java) S 9752 9754 9619 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44154120 888463360 81149 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9761] ppid=9752 vsize=867640 CPUtime=0.33
/proc/9754/task/9761/stat : 9761 (java) S 9752 9754 9619 0 -1 64 751 0 0 0 33 0 0 0 16 0 9 0 44154120 888463360 81149 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9762] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9762/stat : 9762 (java) S 9752 9754 9619 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44154120 888463360 81149 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9754/tid=9763] ppid=9752 vsize=867640 CPUtime=0
/proc/9754/task/9763/stat : 9763 (java) S 9752 9754 9619 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44154120 888463360 81149 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 209.12
Current children cumulated vsize (KiB) 867640

Child status: 0
Real time (s): 210.461
CPU time (s): 209.181
CPU user time (s): 208.514
CPU system time (s): 0.666898
CPU usage (%): 99.3921
Max. virtual memory (cumulated for all children) (KiB): 867728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 208.514
system time used= 0.666898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82100
page faults= 20
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6500
involuntary context switches= 9727

runsolver used 0.297954 second user time and 0.676897 second system time

The end

Launcher Data (download as text)

Begin job on node75 at 2008-07-12 16:56:16
IDJOB=1112845
IDBENCH=61484
IDSOLVER=359
FILE ID=node75/1112845-1215874575
PBS_JOBID= 7903586
Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/fapp/fapp06/normalized-fapp06-0500-4.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112845-1215874575/watcher-1112845-1215874575 -o /tmp/evaluation-result-1112845-1215874575/solver-1112845-1215874575 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112845-1215874575.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 5bbba61bcb8f32abe3947428d8a4279f
RANDOM SEED=978190787

node75.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:       1712808 kB
Buffers:          2672 kB
Cached:          33012 kB
SwapCached:       4300 kB
Active:         296108 kB
Inactive:         6628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1712808 kB
SwapTotal:     4192956 kB
SwapFree:      4181288 kB
Dirty:            2896 kB
Writeback:           0 kB
Mapped:         284320 kB
Slab:            25060 kB
Committed_AS:   523688 kB
PageTables:       2380 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= 66556 MiB
End job on node75 at 2008-07-12 16:59:46