Trace number 1114052

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? 210.547 212.64

General information on the benchmark

Namecsp/fapp/fapp20/
normalized-fapp20-0420-5.xml
MD5SUM70ddb348b4d5b5c4a2e5632f29aa23c6
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints8
Best CPU time to get the best result obtained on this benchmark3600.06
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.03/0.09	
0.03/0.09	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mrdac-ddeg.xml
0.27/0.32	   
0.27/0.32	   instance
0.27/0.32	     name=HOME/instance-1114052-1215896073.xml
0.27/0.36	   
0.27/0.36	   domains being loaded...
0.38/0.40	   
0.38/0.40	   variables being loaded...
0.48/0.57	     nbVariables=420  nbDomainTypes=14  minDomainSize=50  maxDomainSize=302  nbTotalValues=87077
0.48/0.57	       =>  wckTime=0.325  cpuTime=0.25  mem=10M772
0.48/0.57	   
0.48/0.57	   predicates being loaded...
0.57/0.65	   
0.57/0.65	   constraints being loaded...
10.48/10.65	   
10.48/10.65	   INFO : Stopping converting binary constraints (cpu=10.07, mem = 15M290)
11.77/11.98	     nbConstraints=4737  nbConvertedConstraints=762  nbConvertConstraintsChecks=34627158  nbExtensionStructures=682
11.77/11.98	     nbSharedExtensionStructures=219  nbConflictsStructures=1189  nbSharedConflictsStructures=443
11.77/11.98	     nbUnbuiltConflictsStructures=1809  nbSharedBinaryRepresentations=262477  nbEvaluationManagers=2316
11.77/11.99	     nbSharedEvaluationManagers=1659  minDegree=5  maxDegree=39  minArity=2  maxArity=2
11.77/11.99	       =>  wckTime=11.741  cpuTime=11.29  mem=53M331
11.97/12.16	   
11.97/12.16	   solver LocalSearchSolver being built... 
12.06/12.21	       =>  wckTime=11.967  cpuTime=11.33  mem=17M526
12.06/12.28	
12.06/12.28	s SATISFIABLE
12.06/12.28	o 1396
12.06/12.29	o 1386
12.16/12.32	o 1378
12.16/12.34	o 1370
12.16/12.36	o 1365
12.16/12.38	o 1363
12.16/12.39	o 1361
12.26/12.41	o 1359
12.26/12.42	o 1356
12.26/12.43	o 1351
12.26/12.45	o 1347
12.26/12.46	o 1344
12.26/12.46	o 1342
12.26/12.47	o 1340
12.26/12.48	o 1339
12.26/12.49	o 1334
12.36/12.50	o 1329
12.36/12.51	o 1326
12.36/12.53	o 1324
12.36/12.54	o 1315
12.36/12.55	o 1312
12.36/12.57	o 1306
12.36/12.58	o 1300
12.36/12.59	o 1299
12.45/12.60	o 1297
12.45/12.62	o 1291
12.45/12.63	o 1285
12.45/12.64	o 1282
12.45/12.66	o 1280
12.45/12.68	o 1279
12.45/12.68	o 1278
12.55/12.70	o 1274
12.55/12.72	o 1272
12.55/12.73	o 1271
12.55/12.74	o 1266
12.55/12.76	o 1262
12.55/12.76	o 1260
12.55/12.78	o 1253
12.55/12.79	o 1250
12.65/12.80	o 1245
12.65/12.81	o 1239
12.65/12.82	o 1235
12.65/12.83	o 1232
12.65/12.84	o 1231
12.65/12.85	o 1230
12.65/12.87	o 1225
12.65/12.88	o 1223
12.65/12.89	o 1222
12.76/12.90	o 1220
12.76/12.91	o 1219
12.76/12.92	o 1217
12.76/12.93	o 1213
12.76/12.94	o 1210
12.76/12.95	o 1209
12.76/12.95	o 1208
12.76/12.97	o 1207
12.76/12.98	o 1202
12.76/12.99	o 1198
12.86/13.00	o 1196
12.86/13.01	o 1194
12.86/13.02	o 1191
12.86/13.04	o 1189
12.86/13.04	o 1185
12.86/13.06	o 1184
12.86/13.07	o 1180
12.86/13.08	o 1179
12.86/13.09	o 1178
12.95/13.13	o 1177
12.95/13.15	o 1173
12.95/13.17	o 1168
12.95/13.19	o 1164
13.05/13.20	o 1163
13.05/13.23	o 1159
13.05/13.24	o 1156
13.05/13.25	o 1153
13.05/13.27	o 1149
13.05/13.29	o 1146
13.15/13.31	o 1145
13.15/13.33	o 1143
13.15/13.34	o 1142
13.15/13.36	o 1137
13.15/13.37	o 1133
13.15/13.38	o 1130
13.25/13.40	o 1129
13.25/13.41	o 1126
13.25/13.43	o 1123
13.25/13.44	o 1121
13.25/13.46	o 1119
13.25/13.49	o 1118
13.34/13.50	o 1115
13.34/13.52	o 1111
13.34/13.58	o 1107
13.34/13.59	o 1106
13.44/13.61	o 1104
13.44/13.63	o 1101
13.44/13.65	o 1100
13.44/13.67	o 1099
13.44/13.70	o 1098
13.54/13.72	o 1097
13.54/13.74	o 1093
13.54/13.78	o 1091
13.64/13.80	o 1090
13.64/13.83	o 1089
13.64/13.88	o 1087
13.64/13.90	o 1084
13.74/13.92	o 1082
13.74/13.94	o 1078
13.74/13.95	o 1076
13.74/13.97	o 1075
13.74/13.99	o 1070
13.84/14.01	o 1069
13.84/14.03	o 1068
13.84/14.04	o 1063
13.84/14.06	o 1062
13.84/14.07	o 1059
13.94/14.10	o 1055
13.94/14.12	o 1053
13.94/14.13	o 1051
13.94/14.18	o 1045
14.04/14.21	o 1042
14.04/14.23	o 1039
14.04/14.25	o 1036
14.04/14.27	o 1034
14.04/14.29	o 1029
14.14/14.30	o 1028
14.14/14.32	o 1026
14.14/14.33	o 1025
14.14/14.35	o 1024
14.14/14.39	o 1019
14.23/14.40	o 1016
14.23/14.42	o 1014
14.23/14.43	o 1012
14.23/14.45	o 1010
14.23/14.46	o 1009
14.23/14.48	o 1005
14.23/14.49	o 1001
14.33/14.52	o 998
14.33/14.54	o 996
14.33/14.55	o 992
14.33/14.58	o 987
14.43/14.60	o 985
14.43/14.62	o 980
14.43/14.63	o 978
14.43/14.65	o 977
14.43/14.66	o 975
14.43/14.68	o 973
14.53/14.70	o 972
14.53/14.72	o 970
14.53/14.74	o 967
14.53/14.77	o 963
14.53/14.79	o 962
14.63/14.85	o 957
14.63/14.88	o 955
14.73/14.91	o 951
14.73/14.98	o 950
14.83/15.05	o 949
14.83/15.07	o 944
14.83/15.09	o 941
14.93/15.11	o 938
14.93/15.12	o 936
14.93/15.14	o 935
14.93/15.16	o 933
14.93/15.18	o 931
15.03/15.20	o 930
15.03/15.21	o 928
15.03/15.24	o 924
15.03/15.26	o 921
15.03/15.28	o 918
15.13/15.33	o 914
15.13/15.34	o 911
15.13/15.36	o 907
15.23/15.41	o 904
15.23/15.44	o 902
15.23/15.46	o 896
15.23/15.48	o 894
15.32/15.51	o 892
15.32/15.57	o 886
15.32/15.59	o 884
15.42/15.64	o 883
15.42/15.68	o 882
15.52/15.71	o 879
15.52/15.72	o 876
15.52/15.76	o 875
15.62/15.80	o 872
15.62/15.83	o 870
15.62/15.85	o 869
15.72/15.92	o 865
15.72/15.94	o 860
15.72/15.96	o 854
15.72/15.98	o 850
15.82/16.00	o 847
15.82/16.08	o 846
15.92/16.11	o 845
15.92/16.16	o 844
15.92/16.19	o 841
16.01/16.26	o 838
16.01/16.29	o 836
16.11/16.33	o 834
16.11/16.38	o 833
16.21/16.41	o 830
16.21/16.43	o 828
16.21/16.46	o 827
16.21/16.48	o 825
16.31/16.51	o 824
16.31/16.53	o 821
16.31/16.55	o 816
16.31/16.60	o 813
16.40/16.62	o 812
16.40/16.64	o 810
16.40/16.70	o 809
16.50/16.72	o 808
16.50/16.74	o 807
16.50/16.79	o 806
16.70/16.92	o 803
16.70/16.95	o 801
16.70/16.98	o 799
16.70/17.00	o 797
16.81/17.01	o 795
16.81/17.04	o 790
16.91/17.13	o 786
16.91/17.15	o 782
16.91/17.18	o 777
17.01/17.24	o 774
17.01/17.27	o 771
17.10/17.31	o 769
17.10/17.35	o 766
17.30/17.53	o 764
17.30/17.59	o 762
17.40/17.63	o 758
17.60/17.87	o 757
17.70/17.90	o 755
17.80/18.07	o 752
17.89/18.14	o 751
17.99/18.20	o 749
17.99/18.24	o 745
18.09/18.37	o 744
18.19/18.40	o 742
18.19/18.44	o 740
18.19/18.46	o 733
18.19/18.49	o 731
18.39/18.66	o 730
18.39/18.69	o 724
18.49/18.74	o 720
18.49/18.76	o 717
18.58/18.89	o 713
18.68/18.99	o 712
18.78/19.08	o 711
18.88/19.11	o 710
18.88/19.14	o 707
18.98/19.30	o 706
19.08/19.33	o 704
19.08/19.36	o 703
19.18/19.40	o 702
19.27/19.51	o 700
19.27/19.55	o 699
19.37/19.63	o 697
19.47/19.71	o 693
19.47/19.78	o 692
19.57/19.82	o 690
19.57/19.86	o 688
19.67/19.91	o 684
19.67/19.95	o 681
19.67/20.00	o 678
19.77/20.04	o 674
19.87/20.11	o 672
20.07/20.33	o 670
20.16/20.49	o 666
20.26/20.54	o 663
20.36/20.64	o 660
20.36/20.68	o 659
20.46/20.73	o 658
20.46/20.78	o 657
20.56/20.83	o 653
20.56/20.87	o 652
20.67/20.91	o 650
20.67/20.95	o 648
20.67/21.00	o 647
20.76/21.05	o 641
20.76/21.09	o 640
20.86/21.13	o 636
20.96/21.21	o 634
20.96/21.26	o 630
20.96/21.30	o 629
21.06/21.33	o 626
21.16/21.47	o 624
21.26/21.57	o 622
21.36/21.60	o 621
21.36/21.65	o 619
21.46/21.79	o 618
21.56/21.83	o 617
21.76/22.03	o 616
21.76/22.07	o 614
21.85/22.17	o 613
22.05/22.31	o 611
22.15/22.40	o 610
22.15/22.45	o 609
22.25/22.59	o 607
22.35/22.63	o 602
22.35/22.68	o 599
22.64/22.96	o 598
22.74/23.10	o 597
22.84/23.19	o 594
22.93/23.24	o 593
23.03/23.38	o 592
23.13/23.42	o 591
23.13/23.47	o 589
23.23/23.59	o 588
23.33/23.67	o 585
23.43/23.72	o 581
23.53/23.85	o 579
23.53/23.89	o 578
23.63/23.97	o 577
23.73/24.01	o 576
23.73/24.05	o 575
23.83/24.13	o 572
23.83/24.17	o 571
23.93/24.20	o 565
24.12/24.44	o 564
24.22/24.58	o 563
24.32/24.62	o 562
24.32/24.66	o 560
24.43/24.74	o 559
24.43/24.78	o 557
24.53/24.82	o 556
24.63/24.95	o 553
24.72/25.00	o 552
24.72/25.05	o 551
24.72/25.09	o 550
24.82/25.15	o 549
25.02/25.35	o 547
25.11/25.45	o 546
25.21/25.51	o 543
25.31/25.60	o 542
25.41/25.76	o 541
25.51/25.80	o 540
25.51/25.85	o 538
25.61/25.90	o 537
25.71/26.02	o 534
25.71/26.08	o 531
25.81/26.14	o 530
25.81/26.17	o 528
25.91/26.27	o 527
26.01/26.32	o 526
26.01/26.38	o 524
26.20/26.53	o 522
26.20/26.58	o 521
26.30/26.68	o 520
26.40/26.73	o 518
26.40/26.78	o 517
26.50/26.82	o 516
26.60/26.91	o 514
26.60/26.97	o 511
26.70/27.08	o 510
26.80/27.13	o 509
26.80/27.19	o 507
26.89/27.30	o 504
26.99/27.36	o 501
27.09/27.42	o 500
27.09/27.48	o 498
27.39/27.79	o 497
27.49/27.85	o 496
27.59/27.91	o 490
27.69/28.02	o 487
27.89/28.25	o 486
28.77/29.15	o 484
28.87/29.28	o 482
29.17/29.55	o 481
29.27/29.62	o 480
29.46/29.89	o 479
29.66/30.02	o 478
29.97/30.34	o 477
30.07/30.49	o 475
30.86/31.26	o 474
30.96/31.40	o 473
31.06/31.48	o 471
31.25/31.65	o 470
32.34/32.71	o 469
32.44/32.86	o 467
32.54/32.94	o 465
32.74/33.17	o 464
32.83/33.25	o 463
33.03/33.50	o 462
33.13/33.55	o 460
33.23/33.60	o 459
33.23/33.65	o 456
33.23/33.69	o 451
33.43/33.84	o 449
33.43/33.89	o 448
33.72/34.14	o 446
33.92/34.30	o 443
34.12/34.57	o 442
34.22/34.64	o 439
34.22/34.69	o 438
34.42/34.81	o 436
34.51/34.93	o 434
34.51/34.98	o 432
34.61/35.04	o 431
34.71/35.10	o 430
34.91/35.36	o 427
35.21/35.62	o 423
35.21/35.68	o 421
35.31/35.73	o 419
35.60/36.09	o 416
35.80/36.27	o 413
35.90/36.32	o 410
35.90/36.38	o 408
36.00/36.43	o 407
36.00/36.49	o 406
36.10/36.59	o 405
36.20/36.64	o 404
36.20/36.69	o 400
36.30/36.78	o 399
36.41/36.83	o 397
36.41/36.88	o 395
36.50/36.93	o 394
36.60/37.04	o 391
36.60/37.08	o 390
36.70/37.14	o 389
36.70/37.19	o 388
37.00/37.41	o 387
37.09/37.51	o 386
37.19/37.60	o 385
37.19/37.65	o 384
37.29/37.76	o 383
37.39/37.81	o 382
37.59/38.04	o 381
37.59/38.08	o 380
37.59/38.10	o 377
37.69/38.14	o 374
37.69/38.16	o 370
37.79/38.25	o 368
37.79/38.29	o 366
37.89/38.34	o 365
37.99/38.44	o 364
38.09/38.54	o 363
38.09/38.55	o 361
38.18/38.60	o 360
38.87/39.33	o 359
38.87/39.38	o 358
38.97/39.43	o 357
39.37/39.82	o 355
39.86/40.39	o 353
39.96/40.44	o 352
39.96/40.49	o 351
40.06/40.59	o 350
40.16/40.65	o 349
40.16/40.69	o 347
40.26/40.74	o 346
40.26/40.79	o 345
41.85/42.33	o 343
42.05/42.56	o 340
42.24/42.73	o 339
42.24/42.77	o 338
44.32/44.88	o 337
44.42/44.95	o 335
44.52/45.02	o 334
44.52/45.08	o 333
44.62/45.14	o 332
44.71/45.20	o 331
45.61/46.16	o 330
45.71/46.21	o 326
45.71/46.27	o 325
45.80/46.30	o 324
45.90/46.44	o 322
46.00/46.50	o 319
46.00/46.56	o 318
46.10/46.62	o 316
46.20/46.76	o 315
46.20/46.79	o 311
46.40/46.91	o 309
46.40/46.97	o 307
46.69/47.22	o 306
46.69/47.28	o 303
46.89/47.43	o 301
46.89/47.48	o 300
46.99/47.54	o 299
47.09/47.65	o 298
47.09/47.68	o 296
47.58/48.15	o 294
47.68/48.21	o 292
47.88/48.43	o 290
47.88/48.49	o 287
47.98/48.52	o 285
48.08/48.67	o 282
49.27/49.84	o 281
49.67/50.28	o 280
49.77/50.33	o 279
49.77/50.39	o 278
49.87/50.44	o 275
50.07/50.61	o 274
50.16/50.72	o 273
50.56/51.18	o 270
50.66/51.28	o 269
50.76/51.34	o 267
50.76/51.40	o 266
50.96/51.51	o 265
50.96/51.53	o 263
51.16/51.70	o 262
51.35/51.93	o 261
51.65/52.24	o 260
51.75/52.30	o 259
52.54/53.14	o 258
52.64/53.21	o 257
52.64/53.29	o 255
52.84/53.47	o 250
52.94/53.53	o 248
52.94/53.59	o 246
53.13/53.76	o 244
53.43/54.05	o 242
53.53/54.10	o 238
53.53/54.14	o 233
53.53/54.17	o 231
53.63/54.20	o 230
53.63/54.26	o 227
53.72/54.37	o 224
53.82/54.41	o 223
53.82/54.46	o 221
54.12/54.70	o 218
54.61/55.28	o 217
54.81/55.46	o 216
54.91/55.53	o 215
55.51/56.12	o 214
57.00/57.69	o 213
57.10/57.73	o 212
57.20/57.80	o 211
57.59/58.21	o 210
57.59/58.27	o 207
57.69/58.34	o 206
57.69/58.37	o 204
57.99/58.70	o 203
58.09/58.74	o 201
58.68/59.31	o 199
58.78/59.43	o 196
58.78/59.46	o 194
58.87/59.59	o 193
59.07/59.71	o 191
59.07/59.74	o 188
59.27/59.93	o 187
59.86/60.51	o 185
59.86/60.54	o 183
60.06/60.72	o 182
60.06/60.76	o 180
60.25/60.90	o 179
60.25/60.95	o 178
60.45/61.17	o 175
60.65/61.36	o 174
60.75/61.42	o 172
61.04/61.73	o 171
61.04/61.79	o 170
61.24/61.96	o 168
61.34/62.05	o 166
61.44/62.11	o 164
61.54/62.25	o 162
61.54/62.27	o 158
62.04/62.75	o 157
62.04/62.79	o 156
62.34/63.05	o 155
62.54/63.20	o 153
62.64/63.31	o 152
63.14/63.89	o 151
63.33/64.08	o 150
63.43/64.14	o 148
63.43/64.18	o 146
63.83/64.56	o 145
63.92/64.67	o 142
64.02/64.73	o 140
64.22/64.94	o 139
64.22/64.96	o 137
64.22/64.98	o 136
64.32/65.04	o 135
64.32/65.08	o 133
64.42/65.19	o 132
64.52/65.23	o 131
64.72/65.42	o 130
65.01/65.76	o 129
65.11/65.81	o 128
65.11/65.86	o 126
65.41/66.12	o 125
65.41/66.18	o 123
65.51/66.22	o 121
65.51/66.27	o 117
65.61/66.32	o 116
65.61/66.37	o 114
65.61/66.39	o 113
65.70/66.44	o 110
65.70/66.48	o 108
66.00/66.73	o 107
66.00/66.78	o 106
66.00/66.79	o 104
66.09/66.89	o 103
66.19/66.98	o 99
66.39/67.17	o 98
66.49/67.21	o 97
66.59/67.30	o 96
66.59/67.39	o 95
67.48/68.20	o 91
67.57/68.35	o 90
67.57/68.35	o 89
67.87/68.62	o 88
70.26/71.04	o 84
70.45/71.27	o 83
70.65/71.43	o 80
70.65/71.44	o 76
70.65/71.47	o 74
70.75/71.51	o 73
70.75/71.56	o 72
70.85/71.68	o 71
71.05/71.86	o 70
71.05/71.89	o 69
71.25/72.02	o 68
71.25/72.04	o 66
71.25/72.08	o 65
71.25/72.09	o 63
71.45/72.21	o 62
71.45/72.29	o 61
72.14/72.94	o 60
73.22/74.06	o 59
73.52/74.30	o 55
73.62/74.47	o 54
73.82/74.63	o 51
74.02/74.85	o 50
74.21/75.09	o 49
74.31/75.12	o 48
74.31/75.15	o 47
74.31/75.17	o 46
74.41/75.20	o 45
74.41/75.23	o 44
74.41/75.29	o 42
74.51/75.35	o 41
75.40/76.21	o 39
75.70/76.50	o 38
75.70/76.54	o 37
75.89/76.77	o 36
75.99/76.85	o 34
78.08/78.97	o 32
80.35/81.29	o 30
80.45/81.39	o 29
80.75/81.61	o 28
83.13/84.03	o 27
83.43/84.39	o 26
83.72/84.70	o 24
83.82/84.72	o 23
85.10/86.02	o 22
85.90/86.86	o 20
86.00/86.90	o 18
87.98/88.98	o 17
96.70/97.71	o 16
96.70/97.79	o 15
101.35/102.46	o 13
119.97/121.22	o 12
134.33/135.80	o 11
142.95/144.41	o 10
167.13/168.86	o 8
197.14/199.17	   
197.14/199.17	   search
197.14/199.17	     run=0  nbConstraintChecks=554159987  nbAssignments=9041
197.14/199.18	       =>  wckTime=186.965  cpuTime=185.1  mem=18M560
197.14/199.18	   
197.14/199.18	   global
197.14/199.18	     nbConstraintChecks=554159987  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
197.14/199.18	     solvingWckTime=186.965  solvingCpuTime=185.1  expiredTime=no  totalExploration=no  nbFoundSolutions=0
197.14/199.18	     globalCpuTime=196.49
197.14/199.18	       =>  wckTime=198.934  cpuTime=196.43  mem=18M560
197.14/199.18	   
197.14/199.18	   solver DecomposerSolver being built... 
197.63/199.66	       =>  wckTime=199.415  cpuTime=196.67  mem=170M414
210.21/212.36	   
210.21/212.36	   preprocessing
210.21/212.36	     nbConstraintChecks=33267188  nbValidityChecks=121312  nbPropagations=425  nbRevisions=6574  nbUselessRevisions=6554
210.21/212.36	     nbRemovedValues=508  detectedInconsistency=no
210.21/212.36	       =>  wckTime=12.697  cpuTime=12.55  mem=170M414
210.41/212.59	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-1114052-1215896073/watcher-1114052-1215896073 -o /tmp/evaluation-result-1114052-1215896073/solver-1114052-1215896073 -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-1114052-1215896073.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.20 2.08 2.02 4/81 15296
/proc/meminfo: memFree=1915200/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=18572 CPUtime=0
/proc/15296/stat : 15296 (runsolver) R 15294 15296 14887 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 46305651 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 271894244647 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15296/statm: 4643 292 257 25 0 2626 0

[startup+0.0460509 s]
/proc/loadavg: 2.20 2.08 2.02 4/81 15296
/proc/meminfo: memFree=1915200/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=861876 CPUtime=0.03
/proc/15296/stat : 15296 (java) S 15294 15296 14887 0 -1 0 2249 0 1 0 2 1 0 0 18 0 5 0 46305651 882561024 1860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 215469 1860 854 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876

[startup+0.101943 s]
/proc/loadavg: 2.20 2.08 2.02 4/81 15296
/proc/meminfo: memFree=1915200/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=865984 CPUtime=0.07
/proc/15296/stat : 15296 (java) S 15294 15296 14887 0 -1 0 3697 0 1 0 6 1 0 0 18 0 9 0 46305651 886767616 3171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 216496 3171 1678 9 0 211051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865984

[startup+0.301982 s]
/proc/loadavg: 2.20 2.08 2.02 4/81 15296
/proc/meminfo: memFree=1915200/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=866156 CPUtime=0.27
/proc/15296/stat : 15296 (java) S 15294 15296 14887 0 -1 0 5598 0 1 0 25 2 0 0 18 0 9 0 46305651 886943744 5013 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 216539 5013 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866156

[startup+0.70105 s]
/proc/loadavg: 2.20 2.08 2.02 4/81 15296
/proc/meminfo: memFree=1915200/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=867080 CPUtime=0.67
/proc/15296/stat : 15296 (java) S 15294 15296 14887 0 -1 0 8074 0 1 0 64 3 0 0 18 0 9 0 46305651 887889920 7435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 216770 7435 2006 9 0 211276 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867080

[startup+1.50219 s]
/proc/loadavg: 2.26 2.09 2.02 3/90 15305
/proc/meminfo: memFree=1879608/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=867696 CPUtime=1.47
/proc/15296/stat : 15296 (java) S 15294 15296 14887 0 -1 0 12529 0 1 0 141 6 0 0 18 0 9 0 46305651 888520704 11887 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 216924 11887 2014 9 0 211430 0
[pid=15296/tid=15298] ppid=15294 vsize=867696 CPUtime=1.28
/proc/15296/task/15298/stat : 15298 (java) R 15294 15296 14887 0 -1 64 11194 0 1 0 123 5 0 0 25 0 9 0 46305653 888520704 11887 996147200 134512640 134550740 4294955952 18446744073709551615 4126892505 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15299/stat : 15299 (java) S 15294 15296 14887 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 46305655 888520704 11887 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15300] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15300/stat : 15300 (java) S 15294 15296 14887 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 46305655 888520704 11887 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15301] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15301/stat : 15301 (java) S 15294 15296 14887 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46305655 888520704 11887 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15302] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15302/stat : 15302 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46305657 888520704 11887 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15303] ppid=15294 vsize=867696 CPUtime=0.17
/proc/15296/task/15303/stat : 15303 (java) S 15294 15296 14887 0 -1 64 638 0 0 0 17 0 0 0 16 0 9 0 46305657 888520704 11887 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15304] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15304/stat : 15304 (java) S 15294 15296 14887 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46305657 888520704 11887 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15305] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15305/stat : 15305 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46305657 888520704 11887 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867696

[startup+3.10247 s]
/proc/loadavg: 2.26 2.09 2.02 3/90 15305
/proc/meminfo: memFree=1873592/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=867696 CPUtime=3.05
/proc/15296/stat : 15296 (java) S 15294 15296 14887 0 -1 0 13666 0 1 0 298 7 0 0 18 0 9 0 46305651 888520704 13022 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 216924 13022 2014 9 0 211430 0
[pid=15296/tid=15298] ppid=15294 vsize=867696 CPUtime=2.83
/proc/15296/task/15298/stat : 15298 (java) R 15294 15296 14887 0 -1 64 12308 0 1 0 277 6 0 0 25 0 9 0 46305653 888520704 13022 996147200 134512640 134550740 4294955952 18446744073709551615 4126871376 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15299/stat : 15299 (java) S 15294 15296 14887 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 46305655 888520704 13022 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15300] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15300/stat : 15300 (java) S 15294 15296 14887 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 46305655 888520704 13022 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15301] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15301/stat : 15301 (java) S 15294 15296 14887 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46305655 888520704 13022 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15302] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15302/stat : 15302 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46305657 888520704 13022 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15303] ppid=15294 vsize=867696 CPUtime=0.2
/proc/15296/task/15303/stat : 15303 (java) S 15294 15296 14887 0 -1 64 661 0 0 0 20 0 0 0 16 0 9 0 46305657 888520704 13022 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15304] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15304/stat : 15304 (java) S 15294 15296 14887 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46305657 888520704 13022 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15305] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15305/stat : 15305 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46305657 888520704 13022 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867696

[startup+6.30205 s]
/proc/loadavg: 2.24 2.09 2.02 3/90 15305
/proc/meminfo: memFree=1864120/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=867696 CPUtime=6.22
/proc/15296/stat : 15296 (java) S 15294 15296 14887 0 -1 0 15776 0 1 0 613 9 0 0 18 0 9 0 46305651 888520704 15131 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 216924 15131 2014 9 0 211430 0
[pid=15296/tid=15298] ppid=15294 vsize=867696 CPUtime=5.99
/proc/15296/task/15298/stat : 15298 (java) R 15294 15296 14887 0 -1 64 14414 0 1 0 591 8 0 0 25 0 9 0 46305653 888520704 15131 996147200 134512640 134550740 4294955952 18446744073709551615 4126867879 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15299/stat : 15299 (java) S 15294 15296 14887 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 46305655 888520704 15131 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15300] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15300/stat : 15300 (java) S 15294 15296 14887 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 46305655 888520704 15131 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15301] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15301/stat : 15301 (java) S 15294 15296 14887 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46305655 888520704 15131 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15302] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15302/stat : 15302 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46305657 888520704 15131 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15303] ppid=15294 vsize=867696 CPUtime=0.21
/proc/15296/task/15303/stat : 15303 (java) S 15294 15296 14887 0 -1 64 665 0 0 0 21 0 0 0 15 0 9 0 46305657 888520704 15131 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15304] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15304/stat : 15304 (java) S 15294 15296 14887 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46305657 888520704 15131 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15305] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15305/stat : 15305 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46305657 888520704 15131 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867696

[startup+12.7022 s]
/proc/loadavg: 2.22 2.09 2.02 4/90 15305
/proc/meminfo: memFree=1847608/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=867696 CPUtime=12.55
/proc/15296/stat : 15296 (java) S 15294 15296 14887 0 -1 0 22997 0 1 0 1241 14 0 0 18 0 9 0 46305651 888520704 22133 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 216924 22133 2640 9 0 211430 0
[pid=15296/tid=15298] ppid=15294 vsize=867696 CPUtime=12.01
/proc/15296/task/15298/stat : 15298 (java) R 15294 15296 14887 0 -1 64 15886 0 1 0 1190 11 0 0 25 0 9 0 46305653 888520704 22133 996147200 134512640 134550740 4294955952 18446744073709551615 4127182780 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=867696 CPUtime=0.23
/proc/15296/task/15299/stat : 15299 (java) S 15294 15296 14887 0 -1 64 5702 0 0 0 21 2 0 0 17 0 9 0 46305655 888520704 22133 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15300] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15300/stat : 15300 (java) S 15294 15296 14887 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46305655 888520704 22133 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15301] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15301/stat : 15301 (java) S 15294 15296 14887 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46305655 888520704 22133 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15302] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15302/stat : 15302 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46305657 888520704 22133 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15303] ppid=15294 vsize=867696 CPUtime=0.29
/proc/15296/task/15303/stat : 15303 (java) S 15294 15296 14887 0 -1 64 711 0 0 0 29 0 0 0 15 0 9 0 46305657 888520704 22133 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15304] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15304/stat : 15304 (java) S 15294 15296 14887 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46305657 888520704 22133 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15305] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15305/stat : 15305 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46305657 888520704 22133 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867696

[startup+25.5015 s]
/proc/loadavg: 2.19 2.08 2.02 3/90 15305
/proc/meminfo: memFree=1836536/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=867696 CPUtime=25.21
/proc/15296/stat : 15296 (java) S 15294 15296 14887 0 -1 0 23002 0 1 0 2501 20 0 0 18 0 9 0 46305651 888520704 22137 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 216924 22137 2640 9 0 211430 0
[pid=15296/tid=15298] ppid=15294 vsize=867696 CPUtime=24.65
/proc/15296/task/15298/stat : 15298 (java) R 15294 15296 14887 0 -1 64 15887 0 1 0 2449 16 0 0 25 0 9 0 46305653 888520704 22137 996147200 134512640 134550740 4294955952 18446744073709551615 4126864520 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=867696 CPUtime=0.23
/proc/15296/task/15299/stat : 15299 (java) S 15294 15296 14887 0 -1 64 5702 0 0 0 21 2 0 0 16 0 9 0 46305655 888520704 22137 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15300] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15300/stat : 15300 (java) S 15294 15296 14887 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46305655 888520704 22137 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15301] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15301/stat : 15301 (java) S 15294 15296 14887 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46305655 888520704 22137 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15302] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15302/stat : 15302 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46305657 888520704 22137 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15303] ppid=15294 vsize=867696 CPUtime=0.3
/proc/15296/task/15303/stat : 15303 (java) S 15294 15296 14887 0 -1 64 715 0 0 0 30 0 0 0 15 0 9 0 46305657 888520704 22137 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15304] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15304/stat : 15304 (java) S 15294 15296 14887 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46305657 888520704 22137 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15305] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15305/stat : 15305 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46305657 888520704 22137 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 867696

[startup+51.101 s]
/proc/loadavg: 2.11 2.08 2.02 3/90 15305
/proc/meminfo: memFree=1836536/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=867696 CPUtime=50.56
/proc/15296/stat : 15296 (java) S 15294 15296 14887 0 -1 0 23007 0 1 0 5032 24 0 0 18 0 9 0 46305651 888520704 22140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 216924 22140 2640 9 0 211430 0
[pid=15296/tid=15298] ppid=15294 vsize=867696 CPUtime=50
/proc/15296/task/15298/stat : 15298 (java) R 15294 15296 14887 0 -1 64 15889 0 1 0 4980 20 0 0 25 0 9 0 46305653 888520704 22140 996147200 134512640 134550740 4294955952 18446744073709551615 4127182744 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=867696 CPUtime=0.23
/proc/15296/task/15299/stat : 15299 (java) S 15294 15296 14887 0 -1 64 5702 0 0 0 21 2 0 0 16 0 9 0 46305655 888520704 22140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15300] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15300/stat : 15300 (java) S 15294 15296 14887 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46305655 888520704 22140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15301] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15301/stat : 15301 (java) S 15294 15296 14887 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46305655 888520704 22140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15302] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15302/stat : 15302 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46305657 888520704 22140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15303] ppid=15294 vsize=867696 CPUtime=0.3
/proc/15296/task/15303/stat : 15303 (java) S 15294 15296 14887 0 -1 64 718 0 0 0 30 0 0 0 15 0 9 0 46305657 888520704 22140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15304] ppid=15294 vsize=867696 CPUtime=0

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

/proc/15296/task/15301/stat : 15301 (java) S 15294 15296 14887 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46305655 888520704 22142 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15302] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15302/stat : 15302 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46305657 888520704 22142 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15303] ppid=15294 vsize=867696 CPUtime=0.31
/proc/15296/task/15303/stat : 15303 (java) S 15294 15296 14887 0 -1 64 720 0 0 0 31 0 0 0 16 0 9 0 46305657 888520704 22142 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15304] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15304/stat : 15304 (java) S 15294 15296 14887 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46305657 888520704 22142 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15305] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15305/stat : 15305 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46305657 888520704 22142 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (KiB) 867696

[startup+204.702 s]
/proc/loadavg: 2.01 2.04 2.00 3/90 15305
/proc/meminfo: memFree=1725816/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=867696 CPUtime=202.68
/proc/15296/stat : 15296 (java) S 15294 15296 14887 0 -1 0 50560 0 1 0 20198 70 0 0 18 0 9 0 46305651 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 216924 49685 2641 9 0 211430 0
[pid=15296/tid=15298] ppid=15294 vsize=867696 CPUtime=201.85
/proc/15296/task/15298/stat : 15298 (java) R 15294 15296 14887 0 -1 64 15943 0 1 0 20130 55 0 0 25 0 9 0 46305653 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4127052723 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=867696 CPUtime=0.45
/proc/15296/task/15299/stat : 15299 (java) S 15294 15296 14887 0 -1 64 33178 0 0 0 33 12 0 0 16 0 9 0 46305655 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15300] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15300/stat : 15300 (java) S 15294 15296 14887 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46305655 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15301] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15301/stat : 15301 (java) S 15294 15296 14887 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46305655 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15302] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15302/stat : 15302 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15303] ppid=15294 vsize=867696 CPUtime=0.35
/proc/15296/task/15303/stat : 15303 (java) S 15294 15296 14887 0 -1 64 738 0 0 0 34 1 0 0 15 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15304] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15304/stat : 15304 (java) S 15294 15296 14887 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15305] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15305/stat : 15305 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 202.68
Current children cumulated vsize (KiB) 867696

[startup+207.907 s]
/proc/loadavg: 2.01 2.04 2.00 3/90 15305
/proc/meminfo: memFree=1725816/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=867696 CPUtime=205.85
/proc/15296/stat : 15296 (java) S 15294 15296 14887 0 -1 0 50560 0 1 0 20515 70 0 0 18 0 9 0 46305651 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 216924 49685 2641 9 0 211430 0
[pid=15296/tid=15298] ppid=15294 vsize=867696 CPUtime=205.02
/proc/15296/task/15298/stat : 15298 (java) R 15294 15296 14887 0 -1 64 15943 0 1 0 20447 55 0 0 25 0 9 0 46305653 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4127181017 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=867696 CPUtime=0.45
/proc/15296/task/15299/stat : 15299 (java) S 15294 15296 14887 0 -1 64 33178 0 0 0 33 12 0 0 16 0 9 0 46305655 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15300] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15300/stat : 15300 (java) S 15294 15296 14887 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46305655 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15301] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15301/stat : 15301 (java) S 15294 15296 14887 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46305655 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15302] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15302/stat : 15302 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15303] ppid=15294 vsize=867696 CPUtime=0.35
/proc/15296/task/15303/stat : 15303 (java) S 15294 15296 14887 0 -1 64 738 0 0 0 34 1 0 0 15 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15304] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15304/stat : 15304 (java) S 15294 15296 14887 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15305] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15305/stat : 15305 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 205.85
Current children cumulated vsize (KiB) 867696

[startup+211.103 s]
/proc/loadavg: 2.00 2.04 2.00 3/90 15305
/proc/meminfo: memFree=1725816/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=867696 CPUtime=209.02
/proc/15296/stat : 15296 (java) S 15294 15296 14887 0 -1 0 50560 0 1 0 20832 70 0 0 18 0 9 0 46305651 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 216924 49685 2641 9 0 211430 0
[pid=15296/tid=15298] ppid=15294 vsize=867696 CPUtime=208.19
/proc/15296/task/15298/stat : 15298 (java) R 15294 15296 14887 0 -1 64 15943 0 1 0 20764 55 0 0 25 0 9 0 46305653 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4127053376 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=867696 CPUtime=0.45
/proc/15296/task/15299/stat : 15299 (java) S 15294 15296 14887 0 -1 64 33178 0 0 0 33 12 0 0 16 0 9 0 46305655 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15300] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15300/stat : 15300 (java) S 15294 15296 14887 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46305655 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15301] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15301/stat : 15301 (java) S 15294 15296 14887 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46305655 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15302] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15302/stat : 15302 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15303] ppid=15294 vsize=867696 CPUtime=0.35
/proc/15296/task/15303/stat : 15303 (java) S 15294 15296 14887 0 -1 64 738 0 0 0 34 1 0 0 15 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15304] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15304/stat : 15304 (java) S 15294 15296 14887 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15305] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15305/stat : 15305 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 209.02
Current children cumulated vsize (KiB) 867696

[startup+211.902 s]
/proc/loadavg: 2.00 2.04 2.00 3/90 15305
/proc/meminfo: memFree=1725816/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=867696 CPUtime=209.82
/proc/15296/stat : 15296 (java) S 15294 15296 14887 0 -1 0 50560 0 1 0 20912 70 0 0 18 0 9 0 46305651 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 216924 49685 2641 9 0 211430 0
[pid=15296/tid=15298] ppid=15294 vsize=867696 CPUtime=208.99
/proc/15296/task/15298/stat : 15298 (java) R 15294 15296 14887 0 -1 64 15943 0 1 0 20844 55 0 0 25 0 9 0 46305653 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4127053435 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=867696 CPUtime=0.45
/proc/15296/task/15299/stat : 15299 (java) S 15294 15296 14887 0 -1 64 33178 0 0 0 33 12 0 0 16 0 9 0 46305655 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15300] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15300/stat : 15300 (java) S 15294 15296 14887 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46305655 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15301] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15301/stat : 15301 (java) S 15294 15296 14887 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46305655 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15302] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15302/stat : 15302 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15303] ppid=15294 vsize=867696 CPUtime=0.35
/proc/15296/task/15303/stat : 15303 (java) S 15294 15296 14887 0 -1 64 738 0 0 0 34 1 0 0 15 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15304] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15304/stat : 15304 (java) S 15294 15296 14887 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15305] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15305/stat : 15305 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 209.82
Current children cumulated vsize (KiB) 867696

[startup+212.307 s]
/proc/loadavg: 2.00 2.04 2.00 3/90 15305
/proc/meminfo: memFree=1725816/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=867696 CPUtime=210.21
/proc/15296/stat : 15296 (java) S 15294 15296 14887 0 -1 0 50560 0 1 0 20951 70 0 0 18 0 9 0 46305651 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 216924 49685 2641 9 0 211430 0
[pid=15296/tid=15298] ppid=15294 vsize=867696 CPUtime=209.38
/proc/15296/task/15298/stat : 15298 (java) R 15294 15296 14887 0 -1 64 15943 0 1 0 20883 55 0 0 25 0 9 0 46305653 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4126871371 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=867696 CPUtime=0.45
/proc/15296/task/15299/stat : 15299 (java) S 15294 15296 14887 0 -1 64 33178 0 0 0 33 12 0 0 16 0 9 0 46305655 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15300] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15300/stat : 15300 (java) S 15294 15296 14887 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46305655 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15301] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15301/stat : 15301 (java) S 15294 15296 14887 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46305655 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15302] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15302/stat : 15302 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15303] ppid=15294 vsize=867696 CPUtime=0.35
/proc/15296/task/15303/stat : 15303 (java) S 15294 15296 14887 0 -1 64 738 0 0 0 34 1 0 0 15 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15304] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15304/stat : 15304 (java) S 15294 15296 14887 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15305] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15305/stat : 15305 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46305657 888520704 49685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 210.21
Current children cumulated vsize (KiB) 867696

[startup+212.502 s]
/proc/loadavg: 2.00 2.04 2.00 3/90 15305
/proc/meminfo: memFree=1725816/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=867696 CPUtime=210.41
/proc/15296/stat : 15296 (java) S 15294 15296 14887 0 -1 0 50586 0 1 0 20971 70 0 0 18 0 9 0 46305651 888520704 49709 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 216924 49709 2640 9 0 211430 0
[pid=15296/tid=15298] ppid=15294 vsize=867696 CPUtime=209.44
/proc/15296/task/15298/stat : 15298 (java) R 15294 15296 14887 0 -1 64 15944 0 1 0 20889 55 0 0 25 0 9 0 46305653 888520704 49709 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15299] ppid=15294 vsize=867696 CPUtime=0.59
/proc/15296/task/15299/stat : 15299 (java) R 15294 15296 14887 0 -1 64 33203 0 0 0 47 12 0 0 16 0 9 0 46305655 888520704 49709 996147200 134512640 134550740 4294955952 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15300] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15300/stat : 15300 (java) S 15294 15296 14887 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46305655 888520704 49709 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15301] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15301/stat : 15301 (java) S 15294 15296 14887 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46305655 888520704 49709 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15302] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15302/stat : 15302 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46305657 888520704 49709 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15303] ppid=15294 vsize=867696 CPUtime=0.35
/proc/15296/task/15303/stat : 15303 (java) S 15294 15296 14887 0 -1 64 738 0 0 0 34 1 0 0 15 0 9 0 46305657 888520704 49709 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15304] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15304/stat : 15304 (java) S 15294 15296 14887 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46305657 888520704 49709 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15296/tid=15305] ppid=15294 vsize=867696 CPUtime=0
/proc/15296/task/15305/stat : 15305 (java) S 15294 15296 14887 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46305657 888520704 49709 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 210.41
Current children cumulated vsize (KiB) 867696

[startup+212.603 s]
/proc/loadavg: 2.00 2.04 2.00 3/90 15305
/proc/meminfo: memFree=1725816/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=0 CPUtime=210.5
/proc/15296/stat : 15296 (java) Z 15294 15296 14887 0 -1 12 62916 0 1 0 20975 75 0 0 16 0 2 0 46305651 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15296/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 210.5
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 212.64
CPU time (s): 210.547
CPU user time (s): 209.759
CPU system time (s): 0.78788
CPU usage (%): 99.0156
Max. virtual memory (cumulated for all children) (KiB): 867700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 209.759
system time used= 0.78788
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62916
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= 5835
involuntary context switches= 15636

runsolver used 0.284956 second user time and 0.755885 second system time

The end

Launcher Data (download as text)

Begin job on node60 at 2008-07-12 22:54:33
IDJOB=1114052
IDBENCH=61680
IDSOLVER=360
FILE ID=node60/1114052-1215896073
PBS_JOBID= 7903691
Free space on /tmp= 66488 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 70ddb348b4d5b5c4a2e5632f29aa23c6
RANDOM SEED=1559232755

node60.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.263
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.263
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:       1915680 kB
Buffers:         14360 kB
Cached:          46024 kB
SwapCached:          0 kB
Active:          69904 kB
Inactive:        17416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1915680 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2968 kB
Writeback:           0 kB
Mapped:          47120 kB
Slab:            37896 kB
Committed_AS:   204308 kB
PageTables:       2012 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= 66484 MiB
End job on node60 at 2008-07-12 22:58:06