Trace number 1112846

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? 223.496 225.929

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.07/0.21	
0.07/0.21	Abscon 112 (May, 2008)
0.23/0.42	
0.23/0.42	   configuration
0.23/0.42	     name=mrdac-ddeg.xml
0.23/0.48	   
0.23/0.48	   instance
0.23/0.48	     name=HOME/instance-1112846-1215874577.xml
0.30/0.52	   
0.30/0.52	   domains being loaded...
0.30/0.57	   
0.30/0.57	   variables being loaded...
0.41/0.67	     nbVariables=500  nbDomainTypes=16  minDomainSize=42  maxDomainSize=290  nbTotalValues=108024
0.41/0.67	       =>  wckTime=0.243  cpuTime=0.18  mem=11M747
0.41/0.67	   
0.41/0.67	   predicates being loaded...
0.50/0.74	   
0.50/0.74	   constraints being loaded...
10.52/10.84	   
10.52/10.84	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 22M969)
12.09/12.42	     nbConstraints=6531  nbConvertedConstraints=708  nbConvertConstraintsChecks=36563808  nbExtensionStructures=619
12.09/12.42	     nbSharedExtensionStructures=262  nbConflictsStructures=1088  nbSharedConflictsStructures=366
12.09/12.42	     nbUnbuiltConflictsStructures=2740  nbSharedBinaryRepresentations=254960  nbEvaluationManagers=3209
12.09/12.42	     nbSharedEvaluationManagers=2614  minDegree=5  maxDegree=36  minArity=2  maxArity=2
12.09/12.42	       =>  wckTime=11.995  cpuTime=11.46  mem=32M370
12.19/12.59	   
12.19/12.59	   solver LocalSearchSolver being built... 
12.28/12.64	       =>  wckTime=12.212  cpuTime=11.5  mem=21M465
12.38/12.71	
12.38/12.71	s SATISFIABLE
12.38/12.71	o 1379
12.38/12.73	o 1370
12.38/12.75	o 1360
12.38/12.77	o 1352
12.38/12.78	o 1344
12.38/12.80	o 1337
12.48/12.81	o 1331
12.48/12.82	o 1326
12.48/12.84	o 1318
12.48/12.85	o 1311
12.48/12.86	o 1306
12.48/12.87	o 1301
12.48/12.88	o 1296
12.48/12.89	o 1292
12.59/12.91	o 1288
12.59/12.92	o 1286
12.59/12.92	o 1285
12.59/12.94	o 1284
12.59/12.95	o 1281
12.59/12.96	o 1275
12.59/12.97	o 1273
12.59/12.99	o 1267
12.69/13.01	o 1261
12.69/13.02	o 1255
12.69/13.03	o 1250
12.69/13.06	o 1246
12.69/13.08	o 1242
12.69/13.09	o 1240
12.78/13.12	o 1239
12.78/13.13	o 1236
12.78/13.16	o 1231
12.78/13.19	o 1226
12.88/13.22	o 1221
12.88/13.24	o 1216
12.88/13.26	o 1212
12.88/13.29	o 1208
12.98/13.31	o 1204
12.98/13.34	o 1203
12.98/13.36	o 1202
12.98/13.38	o 1199
13.08/13.40	o 1196
13.08/13.42	o 1194
13.08/13.44	o 1192
13.08/13.45	o 1190
13.08/13.47	o 1188
13.08/13.49	o 1186
13.18/13.50	o 1184
13.18/13.52	o 1177
13.18/13.57	o 1176
13.18/13.58	o 1174
13.18/13.59	o 1172
13.27/13.62	o 1169
13.27/13.64	o 1168
13.27/13.66	o 1167
13.27/13.67	o 1162
13.27/13.69	o 1157
13.37/13.70	o 1155
13.37/13.74	o 1152
13.37/13.74	o 1147
13.37/13.77	o 1146
13.37/13.79	o 1140
13.37/13.80	o 1134
13.47/13.81	o 1131
13.47/13.82	o 1128
13.47/13.84	o 1123
13.47/13.85	o 1117
13.47/13.86	o 1112
13.47/13.87	o 1108
13.47/13.88	o 1105
13.56/13.90	o 1102
13.56/13.90	o 1099
13.56/13.92	o 1096
13.56/13.93	o 1093
13.56/13.94	o 1092
13.56/13.96	o 1089
13.56/13.97	o 1087
13.56/13.98	o 1081
13.56/13.99	o 1077
13.67/14.00	o 1073
13.67/14.01	o 1071
13.67/14.02	o 1068
13.67/14.06	o 1062
13.67/14.08	o 1061
13.67/14.09	o 1060
13.77/14.10	o 1054
13.77/14.11	o 1048
13.77/14.12	o 1045
13.77/14.15	o 1043
13.77/14.16	o 1040
13.77/14.17	o 1038
13.77/14.19	o 1036
13.87/14.21	o 1033
13.87/14.26	o 1030
13.87/14.27	o 1028
13.87/14.29	o 1026
13.87/14.29	o 1024
13.97/14.32	o 1023
13.97/14.33	o 1022
13.97/14.39	o 1018
14.06/14.41	o 1015
14.06/14.43	o 1013
14.06/14.44	o 1009
14.06/14.45	o 1007
14.06/14.49	o 1006
14.16/14.52	o 1002
14.16/14.53	o 998
14.16/14.55	o 997
14.16/14.58	o 994
14.26/14.61	o 990
14.26/14.64	o 987
14.26/14.67	o 982
14.36/14.71	o 979
14.36/14.72	o 975
14.36/14.75	o 971
14.36/14.78	o 968
14.46/14.81	o 965
14.46/14.83	o 962
14.46/14.85	o 961
14.46/14.88	o 960
14.56/14.91	o 959
14.56/14.93	o 957
14.56/14.96	o 955
14.56/14.99	o 952
14.66/15.01	o 950
14.66/15.03	o 949
14.66/15.06	o 947
14.66/15.09	o 941
14.75/15.11	o 940
14.75/15.14	o 939
14.75/15.18	o 936
14.75/15.20	o 929
14.85/15.22	o 923
14.85/15.23	o 917
14.85/15.25	o 916
14.85/15.27	o 912
14.85/15.29	o 908
14.95/15.32	o 905
14.95/15.38	o 903
15.05/15.43	o 897
15.05/15.45	o 895
15.05/15.48	o 891
15.15/15.50	o 884
15.15/15.52	o 882
15.15/15.54	o 881
15.15/15.57	o 880
15.15/15.59	o 876
15.24/15.63	o 874
15.24/15.65	o 873
15.24/15.67	o 872
15.34/15.70	o 871
15.34/15.72	o 868
15.34/15.74	o 865
15.34/15.78	o 864
15.44/15.80	o 858
15.44/15.83	o 855
15.44/15.86	o 853
15.44/15.89	o 852
15.54/15.97	o 849
15.54/15.99	o 847
15.64/16.01	o 844
15.64/16.02	o 840
15.64/16.04	o 838
15.64/16.06	o 836
15.74/16.10	o 831
15.74/16.13	o 830
15.74/16.15	o 826
15.74/16.17	o 821
15.74/16.20	o 819
15.84/16.22	o 815
15.84/16.25	o 813
15.84/16.27	o 810
15.94/16.30	o 808
15.94/16.33	o 806
15.94/16.35	o 804
15.94/16.38	o 803
16.04/16.41	o 799
16.04/16.43	o 797
16.04/16.46	o 796
16.24/16.61	o 794
16.24/16.65	o 793
16.24/16.68	o 788
16.34/16.70	o 787
16.34/16.73	o 786
16.34/16.79	o 784
16.43/16.82	o 783
16.43/16.87	o 781
16.43/16.89	o 776
16.53/16.91	o 775
16.53/16.94	o 774
16.63/17.05	o 772
16.63/17.07	o 770
16.73/17.10	o 769
16.73/17.13	o 768
16.73/17.16	o 766
16.73/17.19	o 765
16.83/17.21	o 763
16.83/17.24	o 761
16.83/17.28	o 758
16.92/17.36	o 753
16.92/17.38	o 749
17.02/17.43	o 743
17.02/17.46	o 742
17.02/17.48	o 741
17.12/17.51	o 740
17.12/17.53	o 739
17.12/17.55	o 738
17.22/17.60	o 737
17.22/17.66	o 735
17.22/17.69	o 733
17.32/17.72	o 730
17.32/17.78	o 728
17.42/17.80	o 726
17.42/17.84	o 724
17.42/17.87	o 721
17.51/17.90	o 720
17.51/17.95	o 718
17.51/17.97	o 717
17.62/18.00	o 711
17.62/18.03	o 710
17.62/18.06	o 708
17.62/18.09	o 703
17.72/18.16	o 702
17.72/18.18	o 701
17.82/18.21	o 699
18.02/18.45	o 697
18.12/18.50	o 696
18.22/18.61	o 695
18.22/18.66	o 693
18.22/18.68	o 692
18.32/18.71	o 691
18.32/18.76	o 689
18.41/18.81	o 687
18.41/18.84	o 686
18.41/18.86	o 685
18.41/18.88	o 684
18.51/18.91	o 681
18.51/18.93	o 679
18.51/19.00	o 676
18.61/19.02	o 674
18.71/19.15	o 673
18.91/19.39	o 670
19.01/19.41	o 668
19.01/19.43	o 666
19.01/19.48	o 665
19.11/19.52	o 663
19.11/19.54	o 662
19.11/19.57	o 661
19.21/19.60	o 658
19.21/19.64	o 656
19.21/19.67	o 655
19.21/19.69	o 654
19.30/19.72	o 652
19.30/19.78	o 650
19.40/19.81	o 648
19.50/19.91	o 646
19.50/19.94	o 644
19.70/20.10	o 641
19.80/20.22	o 640
19.89/20.31	o 636
19.89/20.34	o 632
19.99/20.40	o 630
19.99/20.45	o 629
19.99/20.48	o 625
20.09/20.51	o 624
20.09/20.55	o 622
20.49/20.95	o 620
20.49/20.98	o 617
20.58/21.02	o 616
20.58/21.04	o 615
20.68/21.10	o 613
20.78/21.25	o 612
20.88/21.35	o 611
20.98/21.41	o 610
20.98/21.44	o 609
20.98/21.47	o 608
21.17/21.60	o 607
21.27/21.71	o 605
21.27/21.76	o 602
21.37/21.80	o 600
21.37/21.84	o 598
21.37/21.87	o 595
21.47/21.94	o 591
21.57/22.01	o 589
21.76/22.23	o 587
21.76/22.27	o 585
21.86/22.32	o 584
22.46/22.99	o 583
22.56/23.04	o 582
22.56/23.09	o 580
22.66/23.14	o 578
22.76/23.20	o 576
22.76/23.25	o 575
22.86/23.35	o 574
23.06/23.51	o 573
23.06/23.57	o 572
23.15/23.62	o 570
23.35/23.87	o 568
23.65/24.19	o 565
23.75/24.25	o 563
23.95/24.42	o 562
23.95/24.48	o 560
24.05/24.59	o 559
24.15/24.66	o 557
24.64/25.16	o 556
24.74/25.23	o 555
24.84/25.35	o 553
24.93/25.42	o 551
25.13/25.61	o 550
25.23/25.75	o 549
25.33/25.81	o 547
25.33/25.87	o 545
26.02/26.57	o 544
26.32/26.88	o 543
26.72/27.24	o 540
26.92/27.46	o 538
27.02/27.52	o 536
27.31/27.86	o 535
27.41/27.92	o 533
27.70/28.22	o 531
27.70/28.28	o 530
27.90/28.40	o 529
28.00/28.53	o 526
28.00/28.59	o 525
28.21/28.72	o 523
28.21/28.78	o 522
28.51/29.04	o 521
28.70/29.22	o 520
28.80/29.36	o 518
28.90/29.43	o 517
28.90/29.49	o 515
29.00/29.57	o 513
29.10/29.65	o 512
29.20/29.73	o 511
29.99/30.54	o 508
30.38/30.92	o 507
30.38/30.97	o 506
30.38/30.99	o 504
30.48/31.05	o 501
30.58/31.11	o 498
30.58/31.16	o 496
30.68/31.21	o 494
30.78/31.32	o 491
30.78/31.39	o 489
30.88/31.44	o 485
30.98/31.56	o 484
31.07/31.61	o 480
31.17/31.74	o 478
31.27/31.87	o 477
31.37/31.95	o 475
31.47/32.08	o 474
31.57/32.14	o 473
31.67/32.21	o 472
31.77/32.36	o 471
31.86/32.43	o 467
32.56/33.14	o 466
32.66/33.20	o 464
32.66/33.24	o 463
32.66/33.30	o 460
32.76/33.32	o 457
33.25/33.83	o 455
33.25/33.88	o 454
33.35/33.93	o 452
33.45/34.03	o 451
33.45/34.07	o 449
33.94/34.58	o 448
34.14/34.75	o 447
34.24/34.82	o 446
35.63/36.21	o 442
35.63/36.28	o 440
35.73/36.36	o 439
35.82/36.43	o 438
35.82/36.49	o 437
35.92/36.58	o 432
36.02/36.65	o 430
36.72/37.34	o 429
37.21/37.80	o 427
37.21/37.89	o 425
37.31/37.96	o 424
37.40/38.05	o 422
37.50/38.13	o 421
37.61/38.23	o 419
37.71/38.30	o 418
37.71/38.39	o 416
38.11/38.74	o 414
38.21/38.83	o 413
38.30/38.91	o 411
38.30/38.99	o 410
38.40/39.07	o 409
38.60/39.22	o 406
38.70/39.30	o 405
39.19/39.81	o 404
39.19/39.88	o 401
39.29/39.96	o 400
39.39/40.03	o 398
39.49/40.19	o 397
39.89/40.56	o 396
40.68/41.30	o 395
41.08/41.71	o 394
41.08/41.75	o 392
41.17/41.82	o 391
41.87/42.59	o 390
42.17/42.81	o 389
42.36/43.04	o 386
42.46/43.11	o 385
42.46/43.17	o 383
42.56/43.25	o 381
42.75/43.41	o 380
42.95/43.63	o 379
43.45/44.12	o 378
43.75/44.42	o 376
43.84/44.50	o 375
43.84/44.58	o 372
44.14/44.82	o 371
44.24/44.99	o 369
44.74/45.47	o 367
45.03/45.72	o 364
45.13/45.80	o 362
45.13/45.88	o 361
45.82/46.53	o 360
45.92/46.61	o 359
46.02/46.72	o 358
47.01/47.78	o 357
48.19/48.92	o 356
48.29/49.02	o 355
48.39/49.12	o 351
48.39/49.18	o 349
48.59/49.37	o 348
48.79/49.56	o 347
48.98/49.75	o 346
52.65/53.47	o 345
52.75/53.58	o 344
53.05/53.85	o 341
53.45/54.20	o 338
53.64/54.41	o 337
53.74/54.50	o 336
53.84/54.60	o 334
55.63/56.49	o 332
55.82/56.60	o 331
56.12/56.98	o 330
56.22/57.07	o 329
56.32/57.17	o 328
56.42/57.26	o 327
56.52/57.34	o 326
56.62/57.43	o 325
56.72/57.53	o 324
57.11/57.97	o 323
57.21/58.07	o 321
57.61/58.47	o 320
58.70/59.56	o 317
58.70/59.59	o 315
58.90/59.77	o 314
59.00/59.87	o 312
59.09/59.97	o 310
59.19/60.06	o 307
59.59/60.46	o 304
59.69/60.53	o 300
59.69/60.58	o 298
59.78/60.65	o 296
60.18/61.01	o 295
60.18/61.09	o 294
60.38/61.27	o 291
60.48/61.36	o 288
60.77/61.68	o 285
61.66/62.50	o 283
61.76/62.62	o 282
61.96/62.83	o 280
62.16/63.05	o 279
63.44/64.38	o 276
63.54/64.48	o 273
65.62/66.56	o 272
65.82/66.77	o 271
65.92/66.88	o 270
66.02/66.98	o 267
68.00/68.90	o 266
68.89/69.83	o 265
68.89/69.88	o 262
68.99/69.98	o 261
69.49/70.41	o 260
69.59/70.52	o 259
70.18/71.16	o 258
70.28/71.26	o 257
70.38/71.34	o 256
70.48/71.42	o 255
70.58/71.52	o 252
70.77/71.72	o 249
70.97/71.93	o 248
70.97/71.96	o 246
71.17/72.16	o 245
75.83/76.86	o 244
78.20/79.20	o 243
78.30/79.33	o 242
79.78/80.89	o 240
79.98/81.03	o 237
80.18/81.26	o 235
80.28/81.39	o 234
85.53/86.68	o 233
85.63/86.71	o 230
86.02/87.10	o 228
86.63/87.79	o 227
89.89/91.09	o 223
90.09/91.23	o 222
90.19/91.36	o 221
90.29/91.48	o 220
90.88/92.01	o 219
99.99/101.24	o 217
100.09/101.31	o 216
100.68/101.98	o 215
100.78/102.09	o 214
100.88/102.17	o 213
101.28/102.56	o 211
102.37/103.68	o 210
102.76/104.08	o 209
103.85/105.11	o 208
104.55/105.81	o 206
104.55/105.86	o 202
104.65/105.95	o 199
105.04/106.30	o 197
105.64/106.94	o 196
105.74/107.02	o 195
105.74/107.07	o 193
105.83/107.12	o 192
105.83/107.17	o 190
105.93/107.24	o 189
106.23/107.55	o 188
106.33/107.62	o 187
106.33/107.70	o 186
106.53/107.87	o 185
107.02/108.35	o 184
109.40/110.73	o 183
109.40/110.79	o 182
109.60/110.95	o 181
109.70/111.04	o 178
110.10/111.41	o 176
110.69/112.07	o 175
110.79/112.15	o 174
110.99/112.39	o 173
111.09/112.47	o 172
111.28/112.64	o 171
111.38/112.74	o 169
112.27/113.64	o 168
112.37/113.73	o 166
112.47/113.89	o 165
112.67/114.08	o 164
112.77/114.17	o 163
112.87/114.27	o 162
112.96/114.34	o 160
113.46/114.82	o 159
113.65/115.05	o 158
113.85/115.21	o 157
114.06/115.42	o 154
114.06/115.46	o 152
130.00/131.53	o 151
130.20/131.75	o 149
130.20/131.79	o 148
131.09/132.65	o 147
131.49/133.06	o 146
136.44/138.01	o 143
136.54/138.11	o 142
136.54/138.17	o 141
136.74/138.34	o 140
136.94/138.54	o 137
137.43/139.08	o 136
137.52/139.16	o 133
138.12/139.78	o 132
138.22/139.89	o 130
138.42/140.00	o 129
139.51/141.16	o 128
139.80/141.40	o 126
140.20/141.88	o 125
140.30/142.00	o 124
149.81/151.54	o 123
150.01/151.78	o 120
150.11/151.88	o 119
150.21/151.99	o 116
150.51/152.23	o 115
150.60/152.35	o 114
150.80/152.58	o 113
151.20/152.96	o 111
151.89/153.64	o 110
152.58/154.30	o 108
152.58/154.37	o 107
155.66/157.45	o 106
155.86/157.68	o 105
156.35/158.17	o 104
156.45/158.28	o 103
156.65/158.48	o 102
156.75/158.58	o 101
158.23/160.06	o 100
170.32/172.21	o 99
170.42/172.31	o 98
170.72/172.67	o 97
171.31/173.29	o 96
171.41/173.34	o 94
171.51/173.45	o 93
182.70/184.79	o 92
182.90/184.99	o 91
183.59/185.63	o 89
184.09/186.10	o 88
184.19/186.20	o 87
214.20/216.50	   
214.20/216.50	   search
214.20/216.50	     run=0  nbConstraintChecks=524009951  nbAssignments=2467
214.20/216.50	       =>  wckTime=203.864  cpuTime=201.85  mem=22M555
214.20/216.50	   
214.20/216.50	   global
214.20/216.50	     nbConstraintChecks=524009951  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
214.20/216.50	     solvingWckTime=203.861  solvingCpuTime=201.85  expiredTime=no  totalExploration=no  nbFoundSolutions=0
214.20/216.50	     globalCpuTime=213.39
214.20/216.50	       =>  wckTime=216.076  cpuTime=213.35  mem=22M555
214.20/216.50	   
214.20/216.50	   solver DecomposerSolver being built... 
214.89/217.25	       =>  wckTime=216.82  cpuTime=213.66  mem=248M867
223.11/225.58	   
223.11/225.58	   preprocessing
223.11/225.58	     nbConstraintChecks=26034294  nbValidityChecks=152283  nbPropagations=500  nbRevisions=10517
223.11/225.58	     nbUselessRevisions=10513  nbRemovedValues=452  detectedInconsistency=no
223.11/225.58	       =>  wckTime=8.329  cpuTime=8.23  mem=248M867
223.40/225.83	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-1112846-1215874577/watcher-1112846-1215874577 -o /tmp/evaluation-result-1112846-1215874577/solver-1112846-1215874577 -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-1112846-1215874577.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.07 1.44 0.65 4/80 11483
/proc/meminfo: memFree=1828072/2055920 swapFree=4180696/4192956
[pid=11483] ppid=11481 vsize=18572 CPUtime=0
/proc/11483/stat : 11483 (runsolver) R 11481 11483 11378 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 44155743 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 227607637287 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11483/statm: 4643 292 257 25 0 2626 0

[startup+0.0880129 s]
/proc/loadavg: 2.07 1.44 0.65 4/80 11483
/proc/meminfo: memFree=1828072/2055920 swapFree=4180696/4192956
[pid=11483] ppid=11481 vsize=10868 CPUtime=0.01
/proc/11483/stat : 11483 (java) S 11481 11483 11378 0 -1 0 792 0 0 0 0 1 0 0 18 0 2 0 44155743 11128832 554 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/11483/statm: 2717 554 269 9 0 1199 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10868

[startup+0.10102 s]
/proc/loadavg: 2.07 1.44 0.65 4/80 11483
/proc/meminfo: memFree=1828072/2055920 swapFree=4180696/4192956
[pid=11483] ppid=11481 vsize=10864 CPUtime=0.01
/proc/11483/stat : 11483 (java) S 11481 11483 11378 0 -1 0 794 0 0 0 0 1 0 0 18 0 2 0 44155743 11124736 555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/11483/statm: 2716 555 270 9 0 1198 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10864

[startup+0.301058 s]
/proc/loadavg: 2.07 1.44 0.65 4/80 11483
/proc/meminfo: memFree=1828072/2055920 swapFree=4180696/4192956
[pid=11483] ppid=11481 vsize=865988 CPUtime=0.14
/proc/11483/stat : 11483 (java) S 11481 11483 11378 0 -1 0 4153 0 8 0 11 3 0 0 18 0 9 0 44155743 886771712 3596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11483/statm: 216497 3596 1803 9 0 211052 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 865988

[startup+0.701135 s]
/proc/loadavg: 2.07 1.44 0.65 4/80 11483
/proc/meminfo: memFree=1828072/2055920 swapFree=4180696/4192956
[pid=11483] ppid=11481 vsize=867112 CPUtime=0.5
/proc/11483/stat : 11483 (java) S 11481 11483 11378 0 -1 0 7853 0 9 0 45 5 0 0 18 0 9 0 44155743 887922688 7223 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11483/statm: 216778 7223 1997 9 0 211284 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 867112

[startup+1.50229 s]
/proc/loadavg: 2.07 1.44 0.65 3/89 11492
/proc/meminfo: memFree=1793504/2055920 swapFree=4180696/4192956
[pid=11483] ppid=11481 vsize=867728 CPUtime=1.31
/proc/11483/stat : 11483 (java) S 11481 11483 11378 0 -1 0 14040 0 9 0 121 10 0 0 18 0 9 0 44155743 888553472 13406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11483/statm: 216932 13406 2014 9 0 211438 0
[pid=11483/tid=11485] ppid=11481 vsize=867728 CPUtime=1.1
/proc/11483/task/11485/stat : 11485 (java) R 11481 11483 11378 0 -1 64 12692 0 9 0 102 8 0 0 24 0 9 0 44155747 888553472 13406 996147200 134512640 134550740 4294955952 18446744073709551615 4126861864 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11486] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11486/stat : 11486 (java) S 11481 11483 11378 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44155757 888553472 13406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11487] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11487/stat : 11487 (java) S 11481 11483 11378 0 -1 64 4 0 0 0 0 0 0 0 19 0 9 0 44155757 888553472 13406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11488] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11488/stat : 11488 (java) S 11481 11483 11378 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 44155757 888553472 13406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11489] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11489/stat : 11489 (java) S 11481 11483 11378 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44155759 888553472 13406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11490] ppid=11481 vsize=867728 CPUtime=0.17
/proc/11483/task/11490/stat : 11490 (java) S 11481 11483 11378 0 -1 64 650 0 0 0 17 0 0 0 16 0 9 0 44155759 888553472 13406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11491] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11491/stat : 11491 (java) S 11481 11483 11378 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44155759 888553472 13406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11492] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11492/stat : 11492 (java) S 11481 11483 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44155759 888553472 13406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 867728

[startup+3.1016 s]
/proc/loadavg: 2.07 1.45 0.65 3/89 11492
/proc/meminfo: memFree=1777120/2055920 swapFree=4180696/4192956
[pid=11483] ppid=11481 vsize=867728 CPUtime=2.88
/proc/11483/stat : 11483 (java) S 11481 11483 11378 0 -1 0 15106 0 9 0 278 10 0 0 18 0 9 0 44155743 888553472 14471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11483/statm: 216932 14471 2014 9 0 211438 0
[pid=11483/tid=11485] ppid=11481 vsize=867728 CPUtime=2.68
/proc/11483/task/11485/stat : 11485 (java) R 11481 11483 11378 0 -1 64 13751 0 9 0 259 9 0 0 25 0 9 0 44155747 888553472 14471 996147200 134512640 134550740 4294955952 18446744073709551615 4126861871 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11486] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11486/stat : 11486 (java) S 11481 11483 11378 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44155757 888553472 14471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11487] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11487/stat : 11487 (java) S 11481 11483 11378 0 -1 64 4 0 0 0 0 0 0 0 19 0 9 0 44155757 888553472 14471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11488] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11488/stat : 11488 (java) S 11481 11483 11378 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 44155757 888553472 14471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11489] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11489/stat : 11489 (java) S 11481 11483 11378 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44155759 888553472 14471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11490] ppid=11481 vsize=867728 CPUtime=0.18
/proc/11483/task/11490/stat : 11490 (java) S 11481 11483 11378 0 -1 64 657 0 0 0 18 0 0 0 15 0 9 0 44155759 888553472 14471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11491] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11491/stat : 11491 (java) S 11481 11483 11378 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44155759 888553472 14471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11492] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11492/stat : 11492 (java) S 11481 11483 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44155759 888553472 14471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 867728

[startup+6.30224 s]
/proc/loadavg: 2.07 1.45 0.65 3/89 11492
/proc/meminfo: memFree=1768032/2055920 swapFree=4180696/4192956
[pid=11483] ppid=11481 vsize=867728 CPUtime=6.06
/proc/11483/stat : 11483 (java) S 11481 11483 11378 0 -1 0 17657 0 9 0 593 13 0 0 18 0 9 0 44155743 888553472 17017 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11483/statm: 216932 17017 2025 9 0 211438 0
[pid=11483/tid=11485] ppid=11481 vsize=867728 CPUtime=5.8
/proc/11483/task/11485/stat : 11485 (java) R 11481 11483 11378 0 -1 64 15795 0 9 0 569 11 0 0 25 0 9 0 44155747 888553472 17017 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11486] ppid=11481 vsize=867728 CPUtime=0.01
/proc/11483/task/11486/stat : 11486 (java) R 11481 11483 11378 0 -1 64 492 0 0 0 1 0 0 0 17 0 9 0 44155757 888553472 17017 996147200 134512640 134550740 4294955952 18446744073709551615 102516792 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11487] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11487/stat : 11487 (java) S 11481 11483 11378 0 -1 64 4 0 0 0 0 0 0 0 19 0 9 0 44155757 888553472 17017 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11488] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11488/stat : 11488 (java) S 11481 11483 11378 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 44155757 888553472 17017 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11489] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11489/stat : 11489 (java) S 11481 11483 11378 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44155759 888553472 17017 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11490] ppid=11481 vsize=867728 CPUtime=0.21
/proc/11483/task/11490/stat : 11490 (java) S 11481 11483 11378 0 -1 64 677 0 0 0 21 0 0 0 16 0 9 0 44155759 888553472 17017 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11491] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11491/stat : 11491 (java) S 11481 11483 11378 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44155759 888553472 17017 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11492] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11492/stat : 11492 (java) S 11481 11483 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44155759 888553472 17017 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 867728

[startup+12.7015 s]
/proc/loadavg: 2.06 1.46 0.66 3/89 11492
/proc/meminfo: memFree=1745440/2055920 swapFree=4180696/4192956
[pid=11483] ppid=11481 vsize=867728 CPUtime=12.38
/proc/11483/stat : 11483 (java) S 11481 11483 11378 0 -1 0 25265 0 11 0 1221 17 0 0 18 0 9 0 44155743 888553472 24408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11483/statm: 216932 24408 2638 9 0 211438 0
[pid=11483/tid=11485] ppid=11481 vsize=867728 CPUtime=11.75
/proc/11483/task/11485/stat : 11485 (java) R 11481 11483 11378 0 -1 64 15868 0 11 0 1162 13 0 0 25 0 9 0 44155747 888553472 24408 996147200 134512640 134550740 4294955952 18446744073709551615 4126457607 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11486] ppid=11481 vsize=867728 CPUtime=0.32
/proc/11483/task/11486/stat : 11486 (java) S 11481 11483 11378 0 -1 64 7981 0 0 0 30 2 0 0 17 0 9 0 44155757 888553472 24408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11487] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11487/stat : 11487 (java) S 11481 11483 11378 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 44155757 888553472 24408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11488] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11488/stat : 11488 (java) S 11481 11483 11378 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 44155757 888553472 24408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11489] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11489/stat : 11489 (java) S 11481 11483 11378 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44155759 888553472 24408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11490] ppid=11481 vsize=867728 CPUtime=0.28
/proc/11483/task/11490/stat : 11490 (java) S 11481 11483 11378 0 -1 64 719 0 0 0 28 0 0 0 15 0 9 0 44155759 888553472 24408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11491] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11491/stat : 11491 (java) S 11481 11483 11378 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44155759 888553472 24408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11492] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11492/stat : 11492 (java) S 11481 11483 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44155759 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.38
Current children cumulated vsize (KiB) 867728

[startup+25.503 s]
/proc/loadavg: 2.12 1.50 0.69 3/89 11492
/proc/meminfo: memFree=1736288/2055920 swapFree=4180696/4192956
[pid=11483] ppid=11481 vsize=867728 CPUtime=25.03
/proc/11483/stat : 11483 (java) S 11481 11483 11378 0 -1 0 25274 0 11 0 2481 22 0 0 18 0 9 0 44155743 888553472 24416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11483/statm: 216932 24416 2640 9 0 211438 0
[pid=11483/tid=11485] ppid=11481 vsize=867728 CPUtime=24.39
/proc/11483/task/11485/stat : 11485 (java) R 11481 11483 11378 0 -1 64 15869 0 11 0 2421 18 0 0 25 0 9 0 44155747 888553472 24416 996147200 134512640 134550740 4294955952 18446744073709551615 4127176999 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11486] ppid=11481 vsize=867728 CPUtime=0.32
/proc/11483/task/11486/stat : 11486 (java) S 11481 11483 11378 0 -1 64 7981 0 0 0 30 2 0 0 16 0 9 0 44155757 888553472 24416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11487] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11487/stat : 11487 (java) S 11481 11483 11378 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 44155757 888553472 24416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11488] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11488/stat : 11488 (java) S 11481 11483 11378 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 44155757 888553472 24416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11489] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11489/stat : 11489 (java) S 11481 11483 11378 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44155759 888553472 24416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11490] ppid=11481 vsize=867728 CPUtime=0.29
/proc/11483/task/11490/stat : 11490 (java) S 11481 11483 11378 0 -1 64 727 0 0 0 29 0 0 0 16 0 9 0 44155759 888553472 24416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11491] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11491/stat : 11491 (java) S 11481 11483 11378 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44155759 888553472 24416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11492] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11492/stat : 11492 (java) S 11481 11483 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44155759 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) 25.03
Current children cumulated vsize (KiB) 867728

[startup+51.102 s]
/proc/loadavg: 2.08 1.54 0.72 3/89 11492
/proc/meminfo: memFree=1736352/2055920 swapFree=4180696/4192956
[pid=11483] ppid=11481 vsize=867728 CPUtime=50.37
/proc/11483/stat : 11483 (java) S 11481 11483 11378 0 -1 0 25277 0 11 0 5013 24 0 0 18 0 9 0 44155743 888553472 24418 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11483/statm: 216932 24418 2640 9 0 211438 0
[pid=11483/tid=11485] ppid=11481 vsize=867728 CPUtime=49.72
/proc/11483/task/11485/stat : 11485 (java) R 11481 11483 11378 0 -1 64 15870 0 11 0 4952 20 0 0 25 0 9 0 44155747 888553472 24418 996147200 134512640 134550740 4294955952 18446744073709551615 4127177109 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11486] ppid=11481 vsize=867728 CPUtime=0.32
/proc/11483/task/11486/stat : 11486 (java) S 11481 11483 11378 0 -1 64 7981 0 0 0 30 2 0 0 16 0 9 0 44155757 888553472 24418 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11487] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11487/stat : 11487 (java) S 11481 11483 11378 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 44155757 888553472 24418 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11488] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11488/stat : 11488 (java) S 11481 11483 11378 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 44155757 888553472 24418 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11489] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11489/stat : 11489 (java) S 11481 11483 11378 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44155759 888553472 24418 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11490] ppid=11481 vsize=867728 CPUtime=0.29
/proc/11483/task/11490/stat : 11490 (java) S 11481 11483 11378 0 -1 64 729 0 0 0 29 0 0 0 16 0 9 0 44155759 888553472 24418 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11491] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11491/stat : 11491 (java) S 11481 11483 11378 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44155759 888553472 24418 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11492] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11492/stat : 11492 (java) S 11481 11483 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44155759 888553472 24418 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.37
Current children cumulated vsize (KiB) 867728

[startup+102.306 s]
/proc/loadavg: 2.03 1.62 0.79 3/89 11492
/proc/meminfo: memFree=1736288/2055920 swapFree=4180696/4192956
[pid=11483] ppid=11481 vsize=867728 CPUtime=101.08
/proc/11483/stat : 11483 (java) S 11481 11483 11378 0 -1 0 25279 0 11 0 10079 29 0 0 18 0 9 0 44155743 888553472 24420 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11483/statm: 216932 24420 2640 9 0 211438 0
[pid=11483/tid=11485] ppid=11481 vsize=867728 CPUtime=100.43
/proc/11483/task/11485/stat : 11485 (java) R 11481 11483 11378 0 -1 64 15870 0 11 0 10018 25 0 0 25 0 9 0 44155747 888553472 24420 996147200 134512640 134550740 4294955952 18446744073709551615 4126861868 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11486] ppid=11481 vsize=867728 CPUtime=0.32
/proc/11483/task/11486/stat : 11486 (java) S 11481 11483 11378 0 -1 64 7981 0 0 0 30 2 0 0 16 0 9 0 44155757 888553472 24420 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11487] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11487/stat : 11487 (java) S 11481 11483 11378 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 44155757 888553472 24420 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11488] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11488/stat : 11488 (java) S 11481 11483 11378 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 44155757 888553472 24420 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11489] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11489/stat : 11489 (java) S 11481 11483 11378 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44155759 888553472 24420 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11490] ppid=11481 vsize=867728 CPUtime=0.29
/proc/11483/task/11490/stat : 11490 (java) S 11481 11483 11378 0 -1 64 731 0 0 0 29 0 0 0 16 0 9 0 44155759 888553472 24420 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11491] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11491/stat : 11491 (java) S 11481 11483 11378 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44155759 888553472 24420 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11492] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11492/stat : 11492 (java) S 11481 11483 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44155759 888553472 24420 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.08
Current children cumulated vsize (KiB) 867728

[startup+162.302 s]
/proc/loadavg: 2.01 1.68 0.86 3/89 11492
/proc/meminfo: memFree=1736160/2055920 swapFree=4180696/4192956
[pid=11483] ppid=11481 vsize=867728 CPUtime=160.51
/proc/11483/stat : 11483 (java) S 11481 11483 11378 0 -1 0 25280 0 11 0 16015 36 0 0 18 0 9 0 44155743 888553472 24421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11483/statm: 216932 24421 2640 9 0 211438 0
[pid=11483/tid=11485] ppid=11481 vsize=867728 CPUtime=159.85
/proc/11483/task/11485/stat : 11485 (java) R 11481 11483 11378 0 -1 64 15870 0 11 0 15954 31 0 0 25 0 9 0 44155747 888553472 24421 996147200 134512640 134550740 4294955952 18446744073709551615 4126869304 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11486] ppid=11481 vsize=867728 CPUtime=0.32
/proc/11483/task/11486/stat : 11486 (java) S 11481 11483 11378 0 -1 64 7981 0 0 0 30 2 0 0 16 0 9 0 44155757 888553472 24421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11487] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11487/stat : 11487 (java) S 11481 11483 11378 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 44155757 888553472 24421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11488] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11488/stat : 11488 (java) S 11481 11483 11378 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 44155757 888553472 24421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11489] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11489/stat : 11489 (java) S 11481 11483 11378 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44155759 888553472 24421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11490] ppid=11481 vsize=867728 CPUtime=0.3
/proc/11483/task/11490/stat : 11490 (java) S 11481 11483 11378 0 -1 64 732 0 0 0 30 0 0 0 15 0 9 0 44155759 888553472 24421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11491] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11491/stat : 11491 (java) S 11481 11483 11378 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44155759 888553472 24421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11492] ppid=11481 vsize=867728 CPUtime=0
/proc/11483/task/11492/stat : 11492 (java) S 11481 11483 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44155759 888553472 24421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.51
Current children cumulated vsize (KiB) 867728

[startup+222.302 s]
/proc/loadavg: 2.08 1.75 0.94 3/89 11492
/proc/meminfo: memFree=1542624/2055920 swapFree=4180696/4192956
[pid=11483] ppid=11481 vsize=867640 CPUtime=219.94
/proc/11483/stat : 11483 (java) S 11481 11483 11378 0 -1 0 73544 0 12 0 21937 57 0 0 18 0 9 0 44155743 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11483/statm: 216910 72618 2619 9 0 211438 0
[pid=11483/tid=11485] ppid=11481 vsize=867640 CPUtime=218.84
/proc/11483/task/11485/stat : 11485 (java) R 11481 11483 11378 0 -1 64 15947 0 12 0 21850 34 0 0 25 0 9 0 44155747 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4127179250 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11486] ppid=11481 vsize=867640 CPUtime=0.71
/proc/11483/task/11486/stat : 11486 (java) S 11481 11483 11378 0 -1 64 56132 0 0 0 51 20 0 0 16 0 9 0 44155757 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11487] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11487/stat : 11487 (java) S 11481 11483 11378 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 44155757 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11488] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11488/stat : 11488 (java) S 11481 11483 11378 0 -1 64 29 0 0 0 0 0 0 0 15 0 9 0 44155757 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11489] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11489/stat : 11489 (java) S 11481 11483 11378 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44155759 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11490] ppid=11481 vsize=867640 CPUtime=0.34
/proc/11483/task/11490/stat : 11490 (java) S 11481 11483 11378 0 -1 64 750 0 0 0 34 0 0 0 15 0 9 0 44155759 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11491] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11491/stat : 11491 (java) S 11481 11483 11378 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44155759 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11492] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11492/stat : 11492 (java) S 11481 11483 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44155759 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 219.94
Current children cumulated vsize (KiB) 867640

Solver just ended. Dumping a history of the last processes samples

[startup+223.903 s]
/proc/loadavg: 2.08 1.75 0.94 3/89 11492
/proc/meminfo: memFree=1542624/2055920 swapFree=4180696/4192956
[pid=11483] ppid=11481 vsize=867640 CPUtime=221.52
/proc/11483/stat : 11483 (java) S 11481 11483 11378 0 -1 0 73544 0 12 0 22095 57 0 0 18 0 9 0 44155743 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11483/statm: 216910 72618 2619 9 0 211438 0
[pid=11483/tid=11485] ppid=11481 vsize=867640 CPUtime=220.43
/proc/11483/task/11485/stat : 11485 (java) R 11481 11483 11378 0 -1 64 15947 0 12 0 22009 34 0 0 25 0 9 0 44155747 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4126861878 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11486] ppid=11481 vsize=867640 CPUtime=0.71
/proc/11483/task/11486/stat : 11486 (java) S 11481 11483 11378 0 -1 64 56132 0 0 0 51 20 0 0 16 0 9 0 44155757 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11487] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11487/stat : 11487 (java) S 11481 11483 11378 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 44155757 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11488] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11488/stat : 11488 (java) S 11481 11483 11378 0 -1 64 29 0 0 0 0 0 0 0 15 0 9 0 44155757 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11489] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11489/stat : 11489 (java) S 11481 11483 11378 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44155759 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11490] ppid=11481 vsize=867640 CPUtime=0.34
/proc/11483/task/11490/stat : 11490 (java) S 11481 11483 11378 0 -1 64 750 0 0 0 34 0 0 0 15 0 9 0 44155759 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11491] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11491/stat : 11491 (java) S 11481 11483 11378 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44155759 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11492] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11492/stat : 11492 (java) S 11481 11483 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44155759 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.52
Current children cumulated vsize (KiB) 867640

[startup+224.702 s]
/proc/loadavg: 2.08 1.75 0.94 3/89 11492
/proc/meminfo: memFree=1542624/2055920 swapFree=4180696/4192956
[pid=11483] ppid=11481 vsize=867640 CPUtime=222.32
/proc/11483/stat : 11483 (java) S 11481 11483 11378 0 -1 0 73544 0 12 0 22175 57 0 0 18 0 9 0 44155743 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11483/statm: 216910 72618 2619 9 0 211438 0
[pid=11483/tid=11485] ppid=11481 vsize=867640 CPUtime=221.22
/proc/11483/task/11485/stat : 11485 (java) R 11481 11483 11378 0 -1 64 15947 0 12 0 22088 34 0 0 25 0 9 0 44155747 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4127179172 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11486] ppid=11481 vsize=867640 CPUtime=0.71
/proc/11483/task/11486/stat : 11486 (java) S 11481 11483 11378 0 -1 64 56132 0 0 0 51 20 0 0 16 0 9 0 44155757 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11487] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11487/stat : 11487 (java) S 11481 11483 11378 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 44155757 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11488] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11488/stat : 11488 (java) S 11481 11483 11378 0 -1 64 29 0 0 0 0 0 0 0 15 0 9 0 44155757 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11489] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11489/stat : 11489 (java) S 11481 11483 11378 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44155759 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11490] ppid=11481 vsize=867640 CPUtime=0.34
/proc/11483/task/11490/stat : 11490 (java) S 11481 11483 11378 0 -1 64 750 0 0 0 34 0 0 0 15 0 9 0 44155759 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11491] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11491/stat : 11491 (java) S 11481 11483 11378 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44155759 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11492] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11492/stat : 11492 (java) S 11481 11483 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44155759 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 867640

[startup+225.507 s]
/proc/loadavg: 2.08 1.75 0.94 3/89 11492
/proc/meminfo: memFree=1542624/2055920 swapFree=4180696/4192956
[pid=11483] ppid=11481 vsize=867640 CPUtime=223.11
/proc/11483/stat : 11483 (java) S 11481 11483 11378 0 -1 0 73544 0 12 0 22254 57 0 0 18 0 9 0 44155743 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11483/statm: 216910 72618 2619 9 0 211438 0
[pid=11483/tid=11485] ppid=11481 vsize=867640 CPUtime=222.02
/proc/11483/task/11485/stat : 11485 (java) R 11481 11483 11378 0 -1 64 15947 0 12 0 22168 34 0 0 25 0 9 0 44155747 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4126861853 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11486] ppid=11481 vsize=867640 CPUtime=0.71
/proc/11483/task/11486/stat : 11486 (java) S 11481 11483 11378 0 -1 64 56132 0 0 0 51 20 0 0 16 0 9 0 44155757 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11487] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11487/stat : 11487 (java) S 11481 11483 11378 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 44155757 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11488] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11488/stat : 11488 (java) S 11481 11483 11378 0 -1 64 29 0 0 0 0 0 0 0 15 0 9 0 44155757 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11489] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11489/stat : 11489 (java) S 11481 11483 11378 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44155759 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11490] ppid=11481 vsize=867640 CPUtime=0.34
/proc/11483/task/11490/stat : 11490 (java) S 11481 11483 11378 0 -1 64 750 0 0 0 34 0 0 0 15 0 9 0 44155759 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11491] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11491/stat : 11491 (java) S 11481 11483 11378 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44155759 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11483/tid=11492] ppid=11481 vsize=867640 CPUtime=0
/proc/11483/task/11492/stat : 11492 (java) S 11481 11483 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44155759 888463360 72618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 223.11
Current children cumulated vsize (KiB) 867640

[startup+225.903 s]
/proc/loadavg: 2.08 1.75 0.94 3/89 11492
/proc/meminfo: memFree=1542624/2055920 swapFree=4180696/4192956
[pid=11483] ppid=11481 vsize=0 CPUtime=223.46
/proc/11483/stat : 11483 (java) Z 11481 11483 11378 0 -1 12 82087 0 12 0 22284 62 0 0 16 0 2 0 44155743 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11483/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 223.46
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 225.929
CPU time (s): 223.496
CPU user time (s): 222.846
CPU system time (s): 0.649901
CPU usage (%): 98.9231
Max. virtual memory (cumulated for all children) (KiB): 867732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 222.846
system time used= 0.649901
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82087
page faults= 12
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6672
involuntary context switches= 16508

runsolver used 0.317951 second user time and 0.78288 second system time

The end

Launcher Data (download as text)

Begin job on node66 at 2008-07-12 16:56:17
IDJOB=1112846
IDBENCH=61484
IDSOLVER=360
FILE ID=node66/1112846-1215874577
PBS_JOBID= 7903593
Free space on /tmp= 66416 MiB

SOLVER NAME= AbsconMax 112 pc-d
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-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112846-1215874577/watcher-1112846-1215874577 -o /tmp/evaluation-result-1112846-1215874577/solver-1112846-1215874577 -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-1112846-1215874577.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 5bbba61bcb8f32abe3947428d8a4279f
RANDOM SEED=978190787

node66.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1828680 kB
Buffers:          2748 kB
Cached:          34916 kB
SwapCached:       5992 kB
Active:         173588 kB
Inactive:         5304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1828680 kB
SwapTotal:     4192956 kB
SwapFree:      4180696 kB
Dirty:            2996 kB
Writeback:           0 kB
Mapped:         157460 kB
Slab:            33428 kB
Committed_AS:   915368 kB
PageTables:       1996 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= 66416 MiB
End job on node66 at 2008-07-12 17:00:03