Trace number 1114046

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? 177.112 178.19

General information on the benchmark

Namecsp/fapp/fapp20/
normalized-fapp20-0420-2.xml
MD5SUMb5be1e11c64ae0a3fe8c3477a50c68b1
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints14
Best CPU time to get the best result obtained on this benchmark3600.02
Satisfiable
(Un)Satisfiability was proved
Number of variables420
Number of constraints4737
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4737
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.02/0.16	
0.02/0.16	Abscon 112 (May, 2008)
0.21/0.33	
0.21/0.33	   configuration
0.21/0.33	     name=mrdac-ddeg.xml
0.30/0.40	   
0.30/0.40	   instance
0.30/0.40	     name=HOME/instance-1114046-1215895913.xml
0.30/0.45	   
0.30/0.45	   domains being loaded...
0.30/0.49	   
0.30/0.49	   variables being loaded...
0.39/0.57	     nbVariables=420  nbDomainTypes=14  minDomainSize=50  maxDomainSize=302  nbTotalValues=87077
0.39/0.57	       =>  wckTime=0.242  cpuTime=0.16  mem=10M772
0.39/0.57	   
0.39/0.57	   predicates being loaded...
0.50/0.65	   
0.50/0.65	   constraints being loaded...
10.44/10.69	   
10.44/10.69	   INFO : Stopping converting binary constraints (cpu=10.05, mem = 18M471)
11.54/11.79	     nbConstraints=4737  nbConvertedConstraints=1081  nbConvertConstraintsChecks=34325198  nbExtensionStructures=800
11.54/11.79	     nbSharedExtensionStructures=372  nbConflictsStructures=1220  nbSharedConflictsStructures=592
11.54/11.79	     nbUnbuiltConflictsStructures=1423  nbSharedBinaryRepresentations=287108  nbEvaluationManagers=1843
11.54/11.79	     nbSharedEvaluationManagers=1813  minDegree=5  maxDegree=39  minArity=2  maxArity=2
11.54/11.79	       =>  wckTime=11.466  cpuTime=11.08  mem=50M653
11.74/11.97	   
11.74/11.97	   solver LocalSearchSolver being built... 
11.83/12.02	       =>  wckTime=11.691  cpuTime=11.11  mem=17M850
11.83/12.08	
11.83/12.08	s SATISFIABLE
11.83/12.08	o 1399
11.83/12.10	o 1389
11.93/12.11	o 1381
11.93/12.12	o 1373
11.93/12.14	o 1368
11.93/12.15	o 1366
11.93/12.17	o 1364
11.93/12.19	o 1362
12.03/12.20	o 1360
12.03/12.21	o 1355
12.03/12.22	o 1351
12.03/12.23	o 1348
12.03/12.24	o 1346
12.03/12.25	o 1344
12.03/12.26	o 1343
12.03/12.27	o 1340
12.03/12.28	o 1335
12.03/12.29	o 1330
12.13/12.30	o 1327
12.13/12.31	o 1326
12.13/12.32	o 1317
12.13/12.34	o 1314
12.13/12.35	o 1308
12.13/12.36	o 1302
12.13/12.38	o 1300
12.13/12.39	o 1294
12.23/12.40	o 1288
12.23/12.41	o 1285
12.23/12.42	o 1283
12.23/12.43	o 1282
12.23/12.44	o 1281
12.23/12.47	o 1277
12.23/12.47	o 1275
12.23/12.49	o 1268
12.23/12.49	o 1263
12.33/12.50	o 1262
12.33/12.51	o 1258
12.33/12.51	o 1256
12.33/12.53	o 1253
12.33/12.54	o 1247
12.33/12.55	o 1241
12.33/12.56	o 1237
12.33/12.56	o 1234
12.33/12.57	o 1233
12.33/12.58	o 1232
12.33/12.59	o 1231
12.43/12.61	o 1226
12.43/12.62	o 1225
12.43/12.64	o 1224
12.43/12.64	o 1223
12.43/12.65	o 1221
12.43/12.66	o 1217
12.43/12.67	o 1214
12.43/12.67	o 1213
12.43/12.68	o 1212
12.43/12.69	o 1211
12.43/12.69	o 1210
12.53/12.70	o 1206
12.53/12.71	o 1202
12.53/12.72	o 1200
12.53/12.73	o 1195
12.53/12.74	o 1193
12.53/12.75	o 1190
12.53/12.75	o 1186
12.53/12.76	o 1185
12.53/12.77	o 1184
12.53/12.78	o 1183
12.53/12.79	o 1182
12.63/12.80	o 1181
12.63/12.83	o 1177
12.63/12.83	o 1173
12.63/12.86	o 1170
12.63/12.87	o 1166
12.63/12.90	o 1164
12.72/12.92	o 1162
12.72/12.94	o 1161
12.72/12.95	o 1157
12.72/12.98	o 1156
12.72/12.99	o 1153
12.82/13.01	o 1150
12.82/13.03	o 1148
12.82/13.05	o 1147
12.82/13.06	o 1142
12.82/13.07	o 1140
12.82/13.09	o 1137
12.92/13.11	o 1135
12.92/13.12	o 1133
12.92/13.14	o 1132
12.92/13.15	o 1131
12.92/13.17	o 1129
12.92/13.19	o 1128
13.03/13.26	o 1125
13.03/13.27	o 1120
13.03/13.28	o 1118
13.12/13.31	o 1117
13.12/13.32	o 1113
13.12/13.34	o 1108
13.12/13.36	o 1107
13.12/13.38	o 1106
13.22/13.40	o 1102
13.22/13.42	o 1098
13.22/13.44	o 1097
13.22/13.46	o 1096
13.22/13.48	o 1094
13.32/13.52	o 1092
13.32/13.55	o 1088
13.32/13.57	o 1085
13.32/13.58	o 1082
13.32/13.59	o 1077
13.42/13.61	o 1075
13.42/13.63	o 1073
13.42/13.65	o 1068
13.42/13.67	o 1063
13.42/13.68	o 1062
13.52/13.70	o 1060
13.52/13.72	o 1058
13.52/13.74	o 1057
13.52/13.76	o 1056
13.62/13.85	o 1051
13.62/13.87	o 1050
13.72/13.90	o 1048
13.72/13.92	o 1045
13.72/13.94	o 1043
13.72/13.96	o 1042
13.72/13.99	o 1038
13.82/14.03	o 1036
13.82/14.06	o 1031
13.82/14.08	o 1026
13.92/14.12	o 1024
13.92/14.19	o 1021
14.02/14.21	o 1019
14.02/14.23	o 1015
14.02/14.24	o 1013
14.02/14.26	o 1010
14.02/14.28	o 1008
14.02/14.30	o 1004
14.12/14.32	o 1001
14.12/14.35	o 997
14.12/14.36	o 996
14.12/14.37	o 991
14.12/14.38	o 987
14.21/14.40	o 986
14.21/14.42	o 985
14.21/14.43	o 984
14.21/14.44	o 983
14.21/14.45	o 981
14.21/14.47	o 980
14.21/14.49	o 976
14.31/14.50	o 971
14.31/14.51	o 969
14.31/14.53	o 963
14.31/14.55	o 961
14.31/14.57	o 958
14.42/14.61	o 956
14.42/14.64	o 953
14.42/14.65	o 949
14.42/14.67	o 948
14.42/14.69	o 947
14.51/14.71	o 944
14.51/14.73	o 943
14.51/14.75	o 941
14.61/14.80	o 939
14.61/14.82	o 936
14.61/14.83	o 933
14.61/14.86	o 930
14.61/14.88	o 926
14.61/14.89	o 923
14.71/14.92	o 922
14.71/14.93	o 921
14.71/14.96	o 920
14.81/15.03	o 918
14.81/15.06	o 912
14.91/15.11	o 911
14.91/15.13	o 909
14.91/15.15	o 905
14.91/15.17	o 902
14.91/15.19	o 898
15.01/15.21	o 895
15.01/15.26	o 893
15.11/15.31	o 892
15.11/15.33	o 890
15.11/15.37	o 888
15.21/15.45	o 886
15.21/15.47	o 885
15.21/15.50	o 884
15.30/15.52	o 883
15.30/15.55	o 878
15.30/15.57	o 874
15.40/15.61	o 872
15.40/15.64	o 869
15.40/15.66	o 867
15.50/15.71	o 866
15.60/15.83	o 863
15.60/15.85	o 862
15.60/15.88	o 857
15.70/15.92	o 856
15.70/15.95	o 855
15.80/16.00	o 850
15.80/16.02	o 847
15.80/16.04	o 846
15.80/16.07	o 843
15.80/16.08	o 841
15.90/16.10	o 840
15.90/16.12	o 837
15.90/16.15	o 836
15.90/16.16	o 829
15.90/16.18	o 828
16.00/16.20	o 823
16.00/16.22	o 820
16.00/16.26	o 819
16.10/16.30	o 817
16.10/16.32	o 815
16.10/16.34	o 814
16.10/16.36	o 811
16.10/16.38	o 809
16.20/16.41	o 808
16.20/16.44	o 805
16.20/16.46	o 803
16.20/16.49	o 800
16.30/16.52	o 799
16.30/16.55	o 795
16.30/16.60	o 793
16.39/16.66	o 791
16.49/16.71	o 788
16.49/16.73	o 787
16.59/16.81	o 786
16.59/16.84	o 782
16.59/16.85	o 780
16.70/16.90	o 778
16.70/16.93	o 774
16.70/16.95	o 772
16.70/16.98	o 771
16.80/17.01	o 768
16.80/17.04	o 765
16.80/17.07	o 763
16.90/17.10	o 761
16.90/17.13	o 758
17.00/17.21	o 757
17.00/17.24	o 756
17.00/17.27	o 753
17.10/17.30	o 751
17.10/17.33	o 748
17.10/17.38	o 745
17.19/17.44	o 744
17.19/17.46	o 743
17.19/17.49	o 739
17.29/17.55	o 738
17.39/17.61	o 736
17.39/17.64	o 734
17.39/17.66	o 731
17.39/17.68	o 726
17.49/17.71	o 723
17.59/17.85	o 717
17.59/17.86	o 716
17.59/17.89	o 715
17.69/17.92	o 713
17.69/17.95	o 711
17.69/17.98	o 708
17.78/18.00	o 706
17.78/18.03	o 703
17.78/18.07	o 701
17.78/18.10	o 696
17.88/18.12	o 695
17.88/18.16	o 693
17.88/18.19	o 692
18.08/18.31	o 691
18.08/18.36	o 689
18.08/18.38	o 688
18.18/18.46	o 685
18.28/18.51	o 682
18.49/18.71	o 681
18.49/18.74	o 680
18.49/18.79	o 678
18.59/18.82	o 677
18.59/18.85	o 675
18.59/18.88	o 672
18.69/18.92	o 670
18.69/18.95	o 669
18.89/19.12	o 665
19.09/19.33	o 664
19.19/19.44	o 663
19.19/19.47	o 661
19.29/19.50	o 657
19.29/19.54	o 654
19.29/19.57	o 652
19.39/19.65	o 649
19.49/19.73	o 648
19.59/19.80	o 647
19.59/19.88	o 645
19.68/19.91	o 644
19.68/19.95	o 643
19.68/19.99	o 642
19.78/20.03	o 641
19.78/20.07	o 639
19.88/20.10	o 637
19.88/20.18	o 634
19.98/20.22	o 633
19.98/20.29	o 631
20.08/20.36	o 630
20.18/20.43	o 627
20.18/20.46	o 625
20.28/20.50	o 624
20.28/20.53	o 622
20.28/20.56	o 621
20.38/20.63	o 618
20.38/20.66	o 614
20.38/20.69	o 612
20.48/20.76	o 611
20.58/20.83	o 609
20.58/20.86	o 608
20.58/20.90	o 606
20.67/20.93	o 604
20.67/20.99	o 601
20.77/21.02	o 600
20.77/21.06	o 598
20.77/21.09	o 595
20.87/21.12	o 593
20.87/21.14	o 592
20.97/21.28	o 590
21.07/21.38	o 589
21.17/21.45	o 588
21.27/21.52	o 586
21.27/21.55	o 584
21.27/21.58	o 577
21.37/21.65	o 576
21.37/21.68	o 572
21.47/21.71	o 569
21.47/21.73	o 567
21.67/22.00	o 565
21.77/22.03	o 563
21.87/22.13	o 561
21.87/22.19	o 560
22.07/22.36	o 559
22.17/22.42	o 557
22.17/22.46	o 556
22.27/22.53	o 554
22.96/23.22	o 553
22.96/23.26	o 552
23.26/23.58	o 551
23.36/23.61	o 548
23.36/23.67	o 545
23.46/23.76	o 544
23.56/23.82	o 541
23.56/23.87	o 540
23.85/24.15	o 539
23.85/24.20	o 538
24.05/24.31	o 537
24.05/24.37	o 535
24.15/24.48	o 534
24.25/24.60	o 533
24.45/24.77	o 532
24.55/24.88	o 531
25.05/25.32	o 530
25.05/25.38	o 529
25.05/25.39	o 525
25.14/25.45	o 524
25.34/25.60	o 522
25.34/25.65	o 521
25.54/25.85	o 519
25.54/25.89	o 517
25.64/25.94	o 515
25.64/25.99	o 514
25.74/26.03	o 511
25.84/26.17	o 510
26.04/26.32	o 509
26.63/26.94	o 506
26.93/27.29	o 505
27.32/27.66	o 504
27.82/28.11	o 502
28.12/28.46	o 499
28.32/28.66	o 497
28.53/28.89	o 495
29.03/29.31	o 494
29.03/29.37	o 492
29.13/29.42	o 491
29.13/29.49	o 489
29.22/29.54	o 487
31.31/31.68	o 486
31.41/31.71	o 485
31.41/31.78	o 483
31.51/31.85	o 482
31.51/31.89	o 481
31.61/31.91	o 473
31.61/31.92	o 472
31.61/31.99	o 470
31.80/32.11	o 469
31.90/32.22	o 467
32.10/32.40	o 466
32.10/32.46	o 462
32.50/32.87	o 460
32.70/33.01	o 459
32.70/33.07	o 458
33.09/33.40	o 457
33.19/33.57	o 455
33.30/33.60	o 453
33.30/33.66	o 452
33.50/33.83	o 451
33.50/33.89	o 450
33.60/33.95	o 449
33.70/34.01	o 446
33.89/34.22	o 443
33.99/34.33	o 442
33.99/34.38	o 441
34.19/34.53	o 439
34.29/34.63	o 438
34.59/34.90	o 436
34.59/34.95	o 434
34.69/35.01	o 433
34.69/35.06	o 432
34.98/35.40	o 430
35.08/35.45	o 429
35.39/35.72	o 428
36.28/36.63	o 427
37.17/37.58	o 425
37.27/37.65	o 424
37.47/37.86	o 422
37.57/38.00	o 421
37.78/38.13	o 419
37.88/38.21	o 416
37.88/38.26	o 414
37.98/38.31	o 413
37.98/38.37	o 411
38.07/38.49	o 410
38.17/38.56	o 409
38.27/38.62	o 408
38.37/38.74	o 407
38.47/38.88	o 406
39.27/39.63	o 402
39.36/39.71	o 400
39.46/39.90	o 399
40.66/41.06	o 398
41.26/41.68	o 397
41.55/41.97	o 395
42.15/42.54	o 394
42.25/42.62	o 393
44.04/44.43	o 392
44.24/44.62	o 390
44.64/45.01	o 389
44.64/45.09	o 388
44.74/45.11	o 385
44.83/45.26	o 383
45.03/45.50	o 378
45.13/45.58	o 377
45.23/45.61	o 375
45.23/45.69	o 374
45.33/45.77	o 373
45.53/45.92	o 371
47.32/47.78	o 370
47.72/48.13	o 369
47.92/48.36	o 368
48.82/49.25	o 367
49.02/49.48	o 366
49.41/49.84	o 365
50.41/50.81	o 364
50.41/50.88	o 362
50.50/50.94	o 361
50.60/51.01	o 360
50.60/51.06	o 358
50.60/51.09	o 356
50.80/51.21	o 355
50.80/51.28	o 353
50.90/51.35	o 352
52.49/52.99	o 351
52.69/53.19	o 350
52.79/53.26	o 348
52.79/53.28	o 345
52.89/53.32	o 344
52.89/53.39	o 343
52.99/53.47	o 341
53.19/53.61	o 340
54.08/54.58	o 339
54.28/54.73	o 338
54.38/54.82	o 336
55.08/55.52	o 335
55.08/55.59	o 330
55.28/55.72	o 329
55.38/55.88	o 328
55.58/56.03	o 327
55.98/56.42	o 326
56.08/56.58	o 325
56.18/56.64	o 322
56.28/56.72	o 321
56.38/56.80	o 320
56.58/57.08	o 318
56.78/57.24	o 315
56.87/57.31	o 314
57.57/58.06	o 312
57.77/58.28	o 311
57.96/58.43	o 309
57.96/58.49	o 306
58.06/58.56	o 304
58.16/58.63	o 300
58.26/58.78	o 298
58.36/58.85	o 296
58.46/58.92	o 295
58.46/58.98	o 292
58.86/59.35	o 291
58.96/59.41	o 287
59.36/59.90	o 286
59.96/60.48	o 284
60.45/60.94	o 280
60.55/61.00	o 279
60.65/61.16	o 276
60.75/61.26	o 273
60.85/61.31	o 272
60.85/61.37	o 270
60.95/61.47	o 267
61.05/61.52	o 265
61.05/61.57	o 263
61.15/61.63	o 262
61.15/61.68	o 260
61.45/61.97	o 258
61.55/62.03	o 254
61.55/62.08	o 253
61.95/62.42	o 249
61.95/62.47	o 247
62.05/62.50	o 245
62.05/62.55	o 244
62.44/62.97	o 240
62.84/63.30	o 239
63.04/63.53	o 238
63.14/63.65	o 237
63.34/63.85	o 235
64.73/65.25	o 233
65.52/66.05	o 231
65.72/66.22	o 230
65.72/66.28	o 229
66.71/67.29	o 226
66.92/67.44	o 225
66.92/67.48	o 224
67.02/67.53	o 223
70.10/70.65	o 221
70.20/70.74	o 220
70.20/70.80	o 218
71.10/71.66	o 214
72.10/72.65	o 213
72.19/72.78	o 212
72.49/73.05	o 211
72.59/73.11	o 208
72.59/73.20	o 204
72.69/73.28	o 202
73.19/73.72	o 200
73.29/73.81	o 199
73.29/73.83	o 197
73.39/73.92	o 196
73.49/74.01	o 195
73.49/74.08	o 194
73.58/74.15	o 192
73.58/74.19	o 189
73.78/74.35	o 188
73.98/74.51	o 187
74.08/74.66	o 186
74.18/74.74	o 185
74.48/75.08	o 184
74.58/75.12	o 180
74.78/75.33	o 178
75.28/75.82	o 177
75.38/75.91	o 175
75.38/75.97	o 172
75.47/76.05	o 169
75.67/76.21	o 168
75.67/76.22	o 165
75.87/76.46	o 164
75.97/76.55	o 163
76.27/76.87	o 161
76.37/76.96	o 160
76.47/77.02	o 157
76.56/77.10	o 155
76.56/77.18	o 154
76.66/77.24	o 153
76.76/77.32	o 152
78.25/78.89	o 151
78.75/79.36	o 150
78.85/79.43	o 148
79.05/79.62	o 146
79.05/79.69	o 145
79.25/79.82	o 143
79.25/79.89	o 141
79.35/79.91	o 139
79.75/80.36	o 136
79.85/80.42	o 132
79.95/80.56	o 128
80.15/80.71	o 127
80.15/80.74	o 126
80.25/80.81	o 125
80.25/80.85	o 122
80.35/80.95	o 121
81.04/81.60	o 120
81.44/82.03	o 118
81.54/82.10	o 117
81.64/82.25	o 116
82.34/82.91	o 115
82.34/82.94	o 114
82.73/83.31	o 113
83.43/84.05	o 111
84.62/85.29	o 110
86.71/87.32	o 109
89.50/90.17	o 106
89.79/90.40	o 101
90.19/90.86	o 100
90.49/91.10	o 99
90.49/91.18	o 98
90.89/91.51	o 97
90.89/91.57	o 93
91.19/91.81	o 92
91.19/91.86	o 91
91.39/92.09	o 90
91.49/92.18	o 89
91.59/92.26	o 87
91.69/92.32	o 85
95.86/96.52	o 83
95.96/96.65	o 82
96.96/97.62	o 80
101.34/102.04	o 79
101.93/102.65	o 78
102.03/102.71	o 77
102.03/102.78	o 75
102.13/102.83	o 72
102.33/103.08	o 71
106.11/106.81	o 68
106.21/106.94	o 67
106.21/106.95	o 65
106.42/107.13	o 64
107.21/107.98	o 63
108.50/109.21	o 61
108.60/109.33	o 59
128.20/129.03	o 58
128.20/129.06	o 54
128.20/129.07	o 50
128.20/129.09	o 47
128.30/129.10	o 43
128.30/129.12	o 41
128.30/129.18	o 40
128.81/129.64	o 38
129.10/129.97	o 37
129.10/129.99	o 34
129.20/130.00	o 29
129.29/130.12	o 27
129.29/130.14	o 25
129.39/130.27	o 24
130.90/131.73	o 23
130.90/131.75	o 20
130.90/131.76	o 19
130.99/131.85	o 18
130.99/131.89	o 17
135.46/136.34	o 16
165.52/166.50	   
165.52/166.50	   search
165.52/166.50	     run=0  nbConstraintChecks=519227569  nbAssignments=4671
165.52/166.50	       =>  wckTime=154.481  cpuTime=153.64  mem=18M883
165.52/166.50	   
165.52/166.50	   global
165.52/166.50	     nbConstraintChecks=519227569  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
165.52/166.50	     solvingWckTime=154.478  solvingCpuTime=153.64  expiredTime=no  totalExploration=no  nbFoundSolutions=0
165.52/166.50	     globalCpuTime=164.8
165.52/166.50	       =>  wckTime=166.172  cpuTime=164.76  mem=18M883
165.52/166.50	   
165.52/166.50	   solver DecomposerSolver being built... 
165.92/166.98	       =>  wckTime=166.651  cpuTime=164.99  mem=170M90
176.76/177.87	   
176.76/177.87	   preprocessing
176.76/177.87	     nbConstraintChecks=31013917  nbValidityChecks=113654  nbPropagations=425  nbRevisions=6118  nbUselessRevisions=6098
176.76/177.87	     nbRemovedValues=508  detectedInconsistency=no
176.76/177.87	       =>  wckTime=10.886  cpuTime=10.82  mem=170M90
176.96/178.10	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-1114046-1215895913/watcher-1114046-1215895913 -o /tmp/evaluation-result-1114046-1215895913/solver-1114046-1215895913 -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-1114046-1215895913.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.49 2.60 2.56 4/80 18897
/proc/meminfo: memFree=1280392/2055920 swapFree=4180996/4192956
[pid=18897] ppid=18895 vsize=18572 CPUtime=0
/proc/18897/stat : 18897 (runsolver) D 18895 18897 18726 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 46293540 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 255236566311 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/18897/statm: 4643 292 257 25 0 2626 0

[startup+0.096703 s]
/proc/loadavg: 2.49 2.60 2.56 4/80 18897
/proc/meminfo: memFree=1280392/2055920 swapFree=4180996/4192956
[pid=18897] ppid=18895 vsize=861880 CPUtime=0.02
/proc/18897/stat : 18897 (java) S 18895 18897 18726 0 -1 0 1897 0 1 0 1 1 0 0 18 0 5 0 46293540 882565120 1582 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/18897/statm: 215470 1582 703 9 0 210449 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861880

[startup+0.101701 s]
/proc/loadavg: 2.49 2.60 2.56 4/80 18897
/proc/meminfo: memFree=1280392/2055920 swapFree=4180996/4192956
[pid=18897] ppid=18895 vsize=861876 CPUtime=0.02
/proc/18897/stat : 18897 (java) S 18895 18897 18726 0 -1 0 1934 0 1 0 1 1 0 0 18 0 5 0 46293540 882561024 1614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/18897/statm: 215469 1614 726 9 0 210448 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876

[startup+0.301745 s]
/proc/loadavg: 2.49 2.60 2.56 4/80 18897
/proc/meminfo: memFree=1280392/2055920 swapFree=4180996/4192956
[pid=18897] ppid=18895 vsize=866128 CPUtime=0.21
/proc/18897/stat : 18897 (java) S 18895 18897 18726 0 -1 0 4836 0 1 0 18 3 0 0 18 0 9 0 46293540 886915072 4264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18897/statm: 216532 4264 1863 9 0 211080 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 866128

[startup+0.701819 s]
/proc/loadavg: 2.49 2.60 2.56 4/80 18897
/proc/meminfo: memFree=1280392/2055920 swapFree=4180996/4192956
[pid=18897] ppid=18895 vsize=867044 CPUtime=0.59
/proc/18897/stat : 18897 (java) S 18895 18897 18726 0 -1 0 8075 0 1 0 54 5 0 0 18 0 9 0 46293540 887853056 7436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18897/statm: 216761 7436 2006 9 0 211267 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 867044

[startup+1.50297 s]
/proc/loadavg: 2.45 2.59 2.56 3/89 18906
/proc/meminfo: memFree=1242816/2055920 swapFree=4180996/4192956
[pid=18897] ppid=18895 vsize=867684 CPUtime=1.38
/proc/18897/stat : 18897 (java) S 18895 18897 18726 0 -1 0 12550 0 1 0 130 8 0 0 18 0 9 0 46293540 888508416 11908 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18897/statm: 216921 11908 2014 9 0 211427 0
[pid=18897/tid=18899] ppid=18895 vsize=867684 CPUtime=1.19
/proc/18897/task/18899/stat : 18899 (java) R 18895 18897 18726 0 -1 64 11206 0 1 0 112 7 0 0 25 0 9 0 46293543 888508416 11908 996147200 134512640 134550740 4294955952 18446744073709551615 4126889766 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18900] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18900/stat : 18900 (java) S 18895 18897 18726 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 46293549 888508416 11908 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18901] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18901/stat : 18901 (java) S 18895 18897 18726 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 46293549 888508416 11908 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18902] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18902/stat : 18902 (java) S 18895 18897 18726 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46293549 888508416 11908 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18903] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18903/stat : 18903 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46293552 888508416 11908 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18904] ppid=18895 vsize=867684 CPUtime=0.18
/proc/18897/task/18904/stat : 18904 (java) S 18895 18897 18726 0 -1 64 647 0 0 0 18 0 0 0 16 0 9 0 46293552 888508416 11908 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18905] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18905/stat : 18905 (java) S 18895 18897 18726 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46293552 888508416 11908 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18906] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18906/stat : 18906 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46293552 888508416 11908 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 867684

[startup+3.10126 s]
/proc/loadavg: 2.45 2.59 2.56 3/89 18906
/proc/meminfo: memFree=1237248/2055920 swapFree=4180996/4192956
[pid=18897] ppid=18895 vsize=867684 CPUtime=2.98
/proc/18897/stat : 18897 (java) S 18895 18897 18726 0 -1 0 13728 0 1 0 288 10 0 0 18 0 9 0 46293540 888508416 13085 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18897/statm: 216921 13085 2014 9 0 211427 0
[pid=18897/tid=18899] ppid=18895 vsize=867684 CPUtime=2.75
/proc/18897/task/18899/stat : 18899 (java) R 18895 18897 18726 0 -1 64 12361 0 1 0 267 8 0 0 25 0 9 0 46293543 888508416 13085 996147200 134512640 134550740 4294955952 18446744073709551615 4126865363 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18900] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18900/stat : 18900 (java) R 18895 18897 18726 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 46293549 888508416 13085 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18901] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18901/stat : 18901 (java) S 18895 18897 18726 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 46293549 888508416 13085 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18902] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18902/stat : 18902 (java) S 18895 18897 18726 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46293549 888508416 13085 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18903] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18903/stat : 18903 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46293552 888508416 13085 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18904] ppid=18895 vsize=867684 CPUtime=0.21
/proc/18897/task/18904/stat : 18904 (java) S 18895 18897 18726 0 -1 64 670 0 0 0 21 0 0 0 15 0 9 0 46293552 888508416 13085 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18905] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18905/stat : 18905 (java) S 18895 18897 18726 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46293552 888508416 13085 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18906] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18906/stat : 18906 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46293552 888508416 13085 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 867684

[startup+6.30287 s]
/proc/loadavg: 2.42 2.58 2.55 3/89 18906
/proc/meminfo: memFree=1227712/2055920 swapFree=4180996/4192956
[pid=18897] ppid=18895 vsize=867684 CPUtime=6.17
/proc/18897/stat : 18897 (java) S 18895 18897 18726 0 -1 0 15929 0 1 0 605 12 0 0 18 0 9 0 46293540 888508416 15284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18897/statm: 216921 15284 2014 9 0 211427 0
[pid=18897/tid=18899] ppid=18895 vsize=867684 CPUtime=5.93
/proc/18897/task/18899/stat : 18899 (java) R 18895 18897 18726 0 -1 64 14556 0 1 0 583 10 0 0 25 0 9 0 46293543 888508416 15284 996147200 134512640 134550740 4294955952 18446744073709551615 4126865337 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18900] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18900/stat : 18900 (java) S 18895 18897 18726 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 46293549 888508416 15284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18901] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18901/stat : 18901 (java) S 18895 18897 18726 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 46293549 888508416 15284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18902] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18902/stat : 18902 (java) S 18895 18897 18726 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46293549 888508416 15284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18903] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18903/stat : 18903 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46293552 888508416 15284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18904] ppid=18895 vsize=867684 CPUtime=0.22
/proc/18897/task/18904/stat : 18904 (java) S 18895 18897 18726 0 -1 64 676 0 0 0 22 0 0 0 15 0 9 0 46293552 888508416 15284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18905] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18905/stat : 18905 (java) S 18895 18897 18726 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46293552 888508416 15284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18906] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18906/stat : 18906 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46293552 888508416 15284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 867684

[startup+12.7011 s]
/proc/loadavg: 2.38 2.57 2.55 4/89 18906
/proc/meminfo: memFree=1200192/2055920 swapFree=4180996/4192956
[pid=18897] ppid=18895 vsize=867684 CPUtime=12.53
/proc/18897/stat : 18897 (java) S 18895 18897 18726 0 -1 0 23082 0 1 0 1235 18 0 0 18 0 9 0 46293540 888508416 22217 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18897/statm: 216921 22217 2640 9 0 211427 0
[pid=18897/tid=18899] ppid=18895 vsize=867684 CPUtime=11.97
/proc/18897/task/18899/stat : 18899 (java) R 18895 18897 18726 0 -1 64 15879 0 1 0 1183 14 0 0 25 0 9 0 46293543 888508416 22217 996147200 134512640 134550740 4294955952 18446744073709551615 4127061409 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18900] ppid=18895 vsize=867684 CPUtime=0.22
/proc/18897/task/18900/stat : 18900 (java) S 18895 18897 18726 0 -1 64 5784 0 0 0 21 1 0 0 17 0 9 0 46293549 888508416 22217 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18901] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18901/stat : 18901 (java) S 18895 18897 18726 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46293549 888508416 22217 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18902] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18902/stat : 18902 (java) S 18895 18897 18726 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46293549 888508416 22217 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18903] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18903/stat : 18903 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46293552 888508416 22217 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18904] ppid=18895 vsize=867684 CPUtime=0.29
/proc/18897/task/18904/stat : 18904 (java) S 18895 18897 18726 0 -1 64 722 0 0 0 29 0 0 0 15 0 9 0 46293552 888508416 22217 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18905] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18905/stat : 18905 (java) S 18895 18897 18726 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46293552 888508416 22217 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18906] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18906/stat : 18906 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46293552 888508416 22217 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 867684

[startup+25.5025 s]
/proc/loadavg: 2.30 2.54 2.54 3/89 18906
/proc/meminfo: memFree=1200320/2055920 swapFree=4180996/4192956
[pid=18897] ppid=18895 vsize=867684 CPUtime=25.24
/proc/18897/stat : 18897 (java) S 18895 18897 18726 0 -1 0 23087 0 1 0 2501 23 0 0 18 0 9 0 46293540 888508416 22221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18897/statm: 216921 22221 2640 9 0 211427 0
[pid=18897/tid=18899] ppid=18895 vsize=867684 CPUtime=24.69
/proc/18897/task/18899/stat : 18899 (java) R 18895 18897 18726 0 -1 64 15880 0 1 0 2449 20 0 0 25 0 9 0 46293543 888508416 22221 996147200 134512640 134550740 4294955952 18446744073709551615 4127177456 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18900] ppid=18895 vsize=867684 CPUtime=0.22
/proc/18897/task/18900/stat : 18900 (java) S 18895 18897 18726 0 -1 64 5784 0 0 0 21 1 0 0 16 0 9 0 46293549 888508416 22221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18901] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18901/stat : 18901 (java) S 18895 18897 18726 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46293549 888508416 22221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18902] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18902/stat : 18902 (java) S 18895 18897 18726 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46293549 888508416 22221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18903] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18903/stat : 18903 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46293552 888508416 22221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18904] ppid=18895 vsize=867684 CPUtime=0.3
/proc/18897/task/18904/stat : 18904 (java) S 18895 18897 18726 0 -1 64 726 0 0 0 30 0 0 0 16 0 9 0 46293552 888508416 22221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18905] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18905/stat : 18905 (java) S 18895 18897 18726 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46293552 888508416 22221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18906] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18906/stat : 18906 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46293552 888508416 22221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867684

[startup+51.1023 s]
/proc/loadavg: 2.19 2.49 2.53 3/89 18906
/proc/meminfo: memFree=1200448/2055920 swapFree=4180996/4192956
[pid=18897] ppid=18895 vsize=867684 CPUtime=50.7
/proc/18897/stat : 18897 (java) S 18895 18897 18726 0 -1 0 23089 0 1 0 5042 28 0 0 18 0 9 0 46293540 888508416 22222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18897/statm: 216921 22222 2640 9 0 211427 0
[pid=18897/tid=18899] ppid=18895 vsize=867684 CPUtime=50.14
/proc/18897/task/18899/stat : 18899 (java) R 18895 18897 18726 0 -1 64 15881 0 1 0 4990 24 0 0 25 0 9 0 46293543 888508416 22222 996147200 134512640 134550740 4294955952 18446744073709551615 4127177468 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18900] ppid=18895 vsize=867684 CPUtime=0.22
/proc/18897/task/18900/stat : 18900 (java) S 18895 18897 18726 0 -1 64 5784 0 0 0 21 1 0 0 16 0 9 0 46293549 888508416 22222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18901] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18901/stat : 18901 (java) S 18895 18897 18726 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46293549 888508416 22222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18902] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18902/stat : 18902 (java) S 18895 18897 18726 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46293549 888508416 22222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18903] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18903/stat : 18903 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46293552 888508416 22222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18904] ppid=18895 vsize=867684 CPUtime=0.3
/proc/18897/task/18904/stat : 18904 (java) S 18895 18897 18726 0 -1 64 727 0 0 0 30 0 0 0 17 0 9 0 46293552 888508416 22222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18905] ppid=18895 vsize=867684 CPUtime=0

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

[pid=18897/tid=18899] ppid=18895 vsize=867684 CPUtime=160.77
/proc/18897/task/18899/stat : 18899 (java) R 18895 18897 18726 0 -1 64 15881 0 1 0 16030 47 0 0 25 0 9 0 46293543 888508416 22226 996147200 134512640 134550740 4294955952 18446744073709551615 4126860881 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18900] ppid=18895 vsize=867684 CPUtime=0.22
/proc/18897/task/18900/stat : 18900 (java) S 18895 18897 18726 0 -1 64 5784 0 0 0 21 1 0 0 16 0 9 0 46293549 888508416 22226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18901] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18901/stat : 18901 (java) S 18895 18897 18726 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46293549 888508416 22226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18902] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18902/stat : 18902 (java) S 18895 18897 18726 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46293549 888508416 22226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18903] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18903/stat : 18903 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46293552 888508416 22226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18904] ppid=18895 vsize=867684 CPUtime=0.3
/proc/18897/task/18904/stat : 18904 (java) S 18895 18897 18726 0 -1 64 731 0 0 0 30 0 0 0 17 0 9 0 46293552 888508416 22226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18905] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18905/stat : 18905 (java) S 18895 18897 18726 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46293552 888508416 22226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18906] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18906/stat : 18906 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46293552 888508416 22226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.34
Current children cumulated vsize (KiB) 867684

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

[startup+166.302 s]
/proc/loadavg: 2.03 2.33 2.46 3/89 18906
/proc/meminfo: memFree=1200064/2055920 swapFree=4180996/4192956
[pid=18897] ppid=18895 vsize=867684 CPUtime=165.32
/proc/18897/stat : 18897 (java) S 18895 18897 18726 0 -1 0 23093 0 1 0 16480 52 0 0 18 0 9 0 46293540 888508416 22226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18897/statm: 216921 22226 2640 9 0 211427 0
[pid=18897/tid=18899] ppid=18895 vsize=867684 CPUtime=164.76
/proc/18897/task/18899/stat : 18899 (java) R 18895 18897 18726 0 -1 64 15881 0 1 0 16427 49 0 0 25 0 9 0 46293543 888508416 22226 996147200 134512640 134550740 4294955952 18446744073709551615 4126864232 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18900] ppid=18895 vsize=867684 CPUtime=0.22
/proc/18897/task/18900/stat : 18900 (java) S 18895 18897 18726 0 -1 64 5784 0 0 0 21 1 0 0 16 0 9 0 46293549 888508416 22226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18901] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18901/stat : 18901 (java) S 18895 18897 18726 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46293549 888508416 22226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18902] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18902/stat : 18902 (java) S 18895 18897 18726 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46293549 888508416 22226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18903] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18903/stat : 18903 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46293552 888508416 22226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18904] ppid=18895 vsize=867684 CPUtime=0.3
/proc/18897/task/18904/stat : 18904 (java) S 18895 18897 18726 0 -1 64 731 0 0 0 30 0 0 0 17 0 9 0 46293552 888508416 22226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18905] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18905/stat : 18905 (java) S 18895 18897 18726 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46293552 888508416 22226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18906] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18906/stat : 18906 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46293552 888508416 22226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 165.32
Current children cumulated vsize (KiB) 867684

[startup+172.706 s]
/proc/loadavg: 2.02 2.33 2.46 3/89 18906
/proc/meminfo: memFree=1088384/2055920 swapFree=4180996/4192956
[pid=18897] ppid=18895 vsize=867684 CPUtime=171.69
/proc/18897/stat : 18897 (java) S 18895 18897 18726 0 -1 0 50964 0 1 0 17106 63 0 0 18 0 9 0 46293540 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18897/statm: 216921 50090 2641 9 0 211427 0
[pid=18897/tid=18899] ppid=18895 vsize=867684 CPUtime=170.86
/proc/18897/task/18899/stat : 18899 (java) R 18895 18897 18726 0 -1 64 15933 0 1 0 17037 49 0 0 25 0 9 0 46293543 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4126860962 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18900] ppid=18895 vsize=867684 CPUtime=0.45
/proc/18897/task/18900/stat : 18900 (java) S 18895 18897 18726 0 -1 64 33582 0 0 0 33 12 0 0 16 0 9 0 46293549 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18901] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18901/stat : 18901 (java) S 18895 18897 18726 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46293549 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18902] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18902/stat : 18902 (java) S 18895 18897 18726 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46293549 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18903] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18903/stat : 18903 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46293552 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18904] ppid=18895 vsize=867684 CPUtime=0.34
/proc/18897/task/18904/stat : 18904 (java) S 18895 18897 18726 0 -1 64 749 0 0 0 34 0 0 0 15 0 9 0 46293552 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18905] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18905/stat : 18905 (java) S 18895 18897 18726 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46293552 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18906] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18906/stat : 18906 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46293552 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 171.69
Current children cumulated vsize (KiB) 867684

[startup+175.902 s]
/proc/loadavg: 2.02 2.32 2.45 3/89 18906
/proc/meminfo: memFree=1088384/2055920 swapFree=4180996/4192956
[pid=18897] ppid=18895 vsize=867684 CPUtime=174.87
/proc/18897/stat : 18897 (java) S 18895 18897 18726 0 -1 0 50964 0 1 0 17424 63 0 0 18 0 9 0 46293540 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18897/statm: 216921 50090 2641 9 0 211427 0
[pid=18897/tid=18899] ppid=18895 vsize=867684 CPUtime=174.05
/proc/18897/task/18899/stat : 18899 (java) R 18895 18897 18726 0 -1 64 15933 0 1 0 17356 49 0 0 25 0 9 0 46293543 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4126895131 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18900] ppid=18895 vsize=867684 CPUtime=0.45
/proc/18897/task/18900/stat : 18900 (java) S 18895 18897 18726 0 -1 64 33582 0 0 0 33 12 0 0 16 0 9 0 46293549 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18901] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18901/stat : 18901 (java) S 18895 18897 18726 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46293549 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18902] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18902/stat : 18902 (java) S 18895 18897 18726 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46293549 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18903] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18903/stat : 18903 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46293552 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18904] ppid=18895 vsize=867684 CPUtime=0.34
/proc/18897/task/18904/stat : 18904 (java) S 18895 18897 18726 0 -1 64 749 0 0 0 34 0 0 0 15 0 9 0 46293552 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18905] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18905/stat : 18905 (java) S 18895 18897 18726 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46293552 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18906] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18906/stat : 18906 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46293552 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 174.87
Current children cumulated vsize (KiB) 867684

[startup+177.503 s]
/proc/loadavg: 2.02 2.32 2.45 5/89 18906
/proc/meminfo: memFree=1088384/2055920 swapFree=4180996/4192956
[pid=18897] ppid=18895 vsize=867684 CPUtime=176.46
/proc/18897/stat : 18897 (java) S 18895 18897 18726 0 -1 0 50964 0 1 0 17583 63 0 0 18 0 9 0 46293540 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18897/statm: 216921 50090 2641 9 0 211427 0
[pid=18897/tid=18899] ppid=18895 vsize=867684 CPUtime=175.64
/proc/18897/task/18899/stat : 18899 (java) R 18895 18897 18726 0 -1 64 15933 0 1 0 17515 49 0 0 25 0 9 0 46293543 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4126863336 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18900] ppid=18895 vsize=867684 CPUtime=0.45
/proc/18897/task/18900/stat : 18900 (java) S 18895 18897 18726 0 -1 64 33582 0 0 0 33 12 0 0 16 0 9 0 46293549 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18901] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18901/stat : 18901 (java) S 18895 18897 18726 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46293549 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18902] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18902/stat : 18902 (java) S 18895 18897 18726 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46293549 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18903] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18903/stat : 18903 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46293552 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18904] ppid=18895 vsize=867684 CPUtime=0.34
/proc/18897/task/18904/stat : 18904 (java) S 18895 18897 18726 0 -1 64 749 0 0 0 34 0 0 0 15 0 9 0 46293552 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18905] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18905/stat : 18905 (java) S 18895 18897 18726 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46293552 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18906] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18906/stat : 18906 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46293552 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 176.46
Current children cumulated vsize (KiB) 867684

[startup+177.902 s]
/proc/loadavg: 2.02 2.32 2.45 5/89 18906
/proc/meminfo: memFree=1088384/2055920 swapFree=4180996/4192956
[pid=18897] ppid=18895 vsize=867684 CPUtime=176.86
/proc/18897/stat : 18897 (java) S 18895 18897 18726 0 -1 0 50967 0 1 0 17623 63 0 0 18 0 9 0 46293540 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18897/statm: 216921 50090 2640 9 0 211427 0
[pid=18897/tid=18899] ppid=18895 vsize=867684 CPUtime=176.01
/proc/18897/task/18899/stat : 18899 (java) R 18895 18897 18726 0 -1 64 15935 0 1 0 17552 49 0 0 25 0 9 0 46293543 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18900] ppid=18895 vsize=867684 CPUtime=0.48
/proc/18897/task/18900/stat : 18900 (java) R 18895 18897 18726 0 -1 64 33583 0 0 0 36 12 0 0 17 0 9 0 46293549 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 102721962 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18901] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18901/stat : 18901 (java) S 18895 18897 18726 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46293549 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18902] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18902/stat : 18902 (java) S 18895 18897 18726 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46293549 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18903] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18903/stat : 18903 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46293552 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18904] ppid=18895 vsize=867684 CPUtime=0.34
/proc/18897/task/18904/stat : 18904 (java) S 18895 18897 18726 0 -1 64 749 0 0 0 34 0 0 0 16 0 9 0 46293552 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18905] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18905/stat : 18905 (java) S 18895 18897 18726 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46293552 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18906] ppid=18895 vsize=867684 CPUtime=0
/proc/18897/task/18906/stat : 18906 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46293552 888508416 50090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 176.86
Current children cumulated vsize (KiB) 867684

[startup+178.102 s]
/proc/loadavg: 2.02 2.32 2.45 3/89 18906
/proc/meminfo: memFree=1040768/2055920 swapFree=4180996/4192956
[pid=18897] ppid=18895 vsize=867596 CPUtime=177.07
/proc/18897/stat : 18897 (java) S 18895 18897 18726 0 -1 0 62860 0 1 0 17639 68 0 0 18 0 9 0 46293540 888418304 61952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18897/statm: 216899 61952 2618 9 0 211427 0
[pid=18897/tid=18899] ppid=18895 vsize=867596 CPUtime=176.01
/proc/18897/task/18899/stat : 18899 (java) R 18895 18897 18726 0 -1 64 15938 0 1 0 17552 49 0 0 25 0 9 0 46293543 888418304 61952 996147200 134512640 134550740 4294955952 18446744073709551615 104174571 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18900] ppid=18895 vsize=867596 CPUtime=0.68
/proc/18897/task/18900/stat : 18900 (java) S 18895 18897 18726 0 -1 64 45466 0 0 0 52 16 0 0 17 0 9 0 46293549 888418304 61952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18901] ppid=18895 vsize=867596 CPUtime=0
/proc/18897/task/18901/stat : 18901 (java) S 18895 18897 18726 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46293549 888418304 61952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18902] ppid=18895 vsize=867596 CPUtime=0
/proc/18897/task/18902/stat : 18902 (java) S 18895 18897 18726 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 46293549 888418304 61952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18903] ppid=18895 vsize=867596 CPUtime=0
/proc/18897/task/18903/stat : 18903 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46293552 888418304 61952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18904] ppid=18895 vsize=867596 CPUtime=0.34
/proc/18897/task/18904/stat : 18904 (java) S 18895 18897 18726 0 -1 64 749 0 0 0 34 0 0 0 16 0 9 0 46293552 888418304 61952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18905] ppid=18895 vsize=867596 CPUtime=0
/proc/18897/task/18905/stat : 18905 (java) S 18895 18897 18726 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46293552 888418304 61952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18897/tid=18906] ppid=18895 vsize=867596 CPUtime=0
/proc/18897/task/18906/stat : 18906 (java) S 18895 18897 18726 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46293552 888418304 61952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 177.07
Current children cumulated vsize (KiB) 867596

Child status: 0
Real time (s): 178.19
CPU time (s): 177.112
CPU user time (s): 176.392
CPU system time (s): 0.71989
CPU usage (%): 99.395
Max. virtual memory (cumulated for all children) (KiB): 867688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 176.392
system time used= 0.71989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62865
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5449
involuntary context switches= 10722

runsolver used 0.239963 second user time and 0.639902 second system time

The end

Launcher Data (download as text)

Begin job on node19 at 2008-07-12 22:51:53
IDJOB=1114046
IDBENCH=61679
IDSOLVER=360
FILE ID=node19/1114046-1215895913
PBS_JOBID= 7903688
Free space on /tmp= 66488 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp20/normalized-fapp20-0420-2.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-1114046-1215895913/watcher-1114046-1215895913 -o /tmp/evaluation-result-1114046-1215895913/solver-1114046-1215895913 -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-1114046-1215895913.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= b5be1e11c64ae0a3fe8c3477a50c68b1
RANDOM SEED=306268796

node19.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.279
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.279
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:       1281000 kB
Buffers:          1376 kB
Cached:          34408 kB
SwapCached:       5492 kB
Active:         711016 kB
Inactive:        13916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1281000 kB
SwapTotal:     4192956 kB
SwapFree:      4180996 kB
Dirty:            2596 kB
Writeback:           0 kB
Mapped:         705632 kB
Slab:            33760 kB
Committed_AS:  1017956 kB
PageTables:       3376 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= 66488 MiB
End job on node19 at 2008-07-12 22:54:51