Trace number 1114051

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-w? 193.025 199.767

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.07/0.70	
0.07/0.70	Abscon 112 (May, 2008)
0.19/1.08	
0.19/1.08	   configuration
0.19/1.08	     name=mrdac-wdeg.xml
0.27/1.13	   
0.27/1.13	   instance
0.27/1.13	     name=HOME/instance-1114051-1215895986.xml
0.27/1.17	   
0.27/1.17	   domains being loaded...
0.35/1.21	   
0.35/1.21	   variables being loaded...
0.35/1.28	     nbVariables=420  nbDomainTypes=14  minDomainSize=50  maxDomainSize=302  nbTotalValues=87077
0.35/1.28	       =>  wckTime=0.207  cpuTime=0.14  mem=10M772
0.35/1.28	   
0.35/1.28	   predicates being loaded...
0.45/1.36	   
0.45/1.36	   constraints being loaded...
10.45/11.66	   
10.45/11.66	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 17M240)
11.62/12.88	     nbConstraints=4737  nbConvertedConstraints=847  nbConvertConstraintsChecks=37068998  nbExtensionStructures=742
11.62/12.88	     nbSharedExtensionStructures=261  nbConflictsStructures=1233  nbSharedConflictsStructures=476
11.62/12.88	     nbUnbuiltConflictsStructures=1787  nbSharedBinaryRepresentations=284819  nbEvaluationManagers=2278
11.62/12.88	     nbSharedEvaluationManagers=1612  minDegree=5  maxDegree=39  minArity=2  maxArity=2
11.62/12.88	       =>  wckTime=11.807  cpuTime=11.15  mem=54M332
11.81/13.06	   
11.81/13.06	   solver LocalSearchSolver being built... 
11.92/13.12	       =>  wckTime=12.038  cpuTime=11.19  mem=17M638
11.92/13.18	
11.92/13.18	s SATISFIABLE
11.92/13.18	o 1396
11.92/13.19	o 1386
11.92/13.21	o 1378
12.01/13.23	o 1370
12.01/13.27	o 1365
12.01/13.28	o 1363
12.08/13.30	o 1361
12.08/13.31	o 1359
12.08/13.32	o 1356
12.08/13.34	o 1351
12.08/13.35	o 1347
12.08/13.36	o 1344
12.08/13.36	o 1342
12.08/13.37	o 1340
12.08/13.38	o 1339
12.08/13.38	o 1334
12.08/13.39	o 1329
12.18/13.41	o 1326
12.18/13.42	o 1324
12.18/13.43	o 1315
12.18/13.44	o 1312
12.18/13.45	o 1306
12.18/13.47	o 1300
12.18/13.47	o 1299
12.18/13.49	o 1297
12.28/13.50	o 1291
12.28/13.51	o 1285
12.28/13.52	o 1282
12.28/13.53	o 1280
12.28/13.55	o 1279
12.28/13.56	o 1278
12.28/13.58	o 1274
12.28/13.59	o 1272
12.38/13.61	o 1271
12.38/13.61	o 1266
12.38/13.62	o 1262
12.38/13.63	o 1260
12.38/13.65	o 1253
12.38/13.66	o 1250
12.38/13.66	o 1245
12.38/13.67	o 1239
12.38/13.68	o 1235
12.38/13.69	o 1232
12.48/13.70	o 1231
12.48/13.71	o 1230
12.48/13.72	o 1225
12.48/13.73	o 1223
12.48/13.74	o 1222
12.48/13.75	o 1220
12.48/13.76	o 1219
12.48/13.77	o 1217
12.48/13.78	o 1213
12.48/13.79	o 1210
12.48/13.79	o 1209
12.58/13.80	o 1208
12.58/13.82	o 1207
12.58/13.82	o 1202
12.58/13.83	o 1198
12.58/13.84	o 1196
12.58/13.85	o 1194
12.58/13.86	o 1191
12.58/13.87	o 1189
12.58/13.88	o 1185
12.58/13.89	o 1184
12.67/13.90	o 1180
12.67/13.91	o 1179
12.67/13.92	o 1178
12.67/13.95	o 1177
12.67/13.97	o 1173
12.67/13.99	o 1168
12.78/14.00	o 1164
12.78/14.02	o 1163
12.78/14.04	o 1159
12.78/14.05	o 1156
12.78/14.06	o 1153
12.78/14.08	o 1149
12.88/14.10	o 1146
12.88/14.11	o 1145
12.88/14.13	o 1143
12.88/14.14	o 1142
12.88/14.16	o 1137
12.88/14.17	o 1133
12.88/14.18	o 1130
12.88/14.19	o 1129
12.98/14.22	o 1126
12.98/14.23	o 1123
12.98/14.25	o 1121
12.98/14.26	o 1119
12.98/14.29	o 1118
12.98/14.30	o 1115
12.98/14.31	o 1111
13.08/14.38	o 1107
13.14/14.40	o 1106
13.14/14.42	o 1104
13.14/14.43	o 1101
13.14/14.45	o 1100
13.14/14.47	o 1099
13.14/14.49	o 1098
13.24/14.51	o 1097
13.24/14.53	o 1093
13.24/14.56	o 1091
13.24/14.58	o 1090
13.34/14.61	o 1089
13.34/14.65	o 1087
13.34/14.67	o 1084
13.34/14.68	o 1082
13.44/14.70	o 1078
13.44/14.71	o 1076
13.44/14.73	o 1075
13.44/14.75	o 1070
13.44/14.76	o 1069
13.44/14.78	o 1068
13.44/14.79	o 1063
13.54/14.81	o 1062
13.54/14.82	o 1059
13.54/14.85	o 1055
13.54/14.86	o 1053
13.54/14.87	o 1051
13.64/14.91	o 1045
13.64/14.94	o 1042
13.64/14.95	o 1039
13.64/14.97	o 1036
13.64/14.99	o 1034
13.74/15.01	o 1029
13.74/15.02	o 1028
13.74/15.03	o 1026
13.74/15.05	o 1025
13.74/15.06	o 1024
13.74/15.09	o 1019
13.84/15.11	o 1016
13.84/15.12	o 1014
13.84/15.14	o 1012
13.84/15.15	o 1010
13.84/15.16	o 1009
13.84/15.17	o 1005
13.84/15.19	o 1001
13.94/15.22	o 998
13.94/15.23	o 996
13.94/15.24	o 992
13.94/15.27	o 987
13.94/15.28	o 985
14.03/15.32	o 980
14.03/15.33	o 978
14.03/15.34	o 977
14.03/15.36	o 975
14.03/15.37	o 973
14.03/15.39	o 972
14.03/15.41	o 970
14.14/15.43	o 967
14.14/15.47	o 963
14.14/15.48	o 962
14.20/15.54	o 957
14.20/15.57	o 955
14.20/15.59	o 951
14.30/15.66	o 950
14.40/15.71	o 949
14.40/15.73	o 944
14.40/15.75	o 941
14.40/15.76	o 938
14.40/15.78	o 936
14.40/15.79	o 935
14.50/15.81	o 933
14.50/15.83	o 931
14.50/15.84	o 930
14.50/15.86	o 928
14.50/15.88	o 924
14.50/15.89	o 921
14.60/15.91	o 918
14.60/15.95	o 914
14.60/15.96	o 911
14.60/15.98	o 907
14.70/16.02	o 904
14.70/16.04	o 902
14.70/16.06	o 896
14.70/16.08	o 894
14.80/16.10	o 892
14.80/16.16	o 886
14.80/16.17	o 884
14.91/16.22	o 883
14.91/16.26	o 882
14.91/16.28	o 879
14.91/16.29	o 876
15.01/16.32	o 875
15.01/16.37	o 872
15.01/16.38	o 870
15.11/16.42	o 869
15.11/16.48	o 865
15.11/16.50	o 860
15.21/16.52	o 854
15.21/16.54	o 850
15.21/16.58	o 847
15.28/16.65	o 846
15.28/16.67	o 845
15.37/16.71	o 844
15.37/16.74	o 841
15.47/16.81	o 838
15.47/16.83	o 836
15.47/16.87	o 834
15.57/16.91	o 833
15.57/16.93	o 830
15.57/16.95	o 828
15.57/16.98	o 827
15.57/17.00	o 825
15.67/17.02	o 824
15.67/17.04	o 821
15.67/17.06	o 816
15.77/17.10	o 813
15.77/17.12	o 812
15.77/17.14	o 810
15.77/17.19	o 809
15.87/17.21	o 808
15.87/17.23	o 807
15.87/17.27	o 806
15.97/17.39	o 803
16.07/17.41	o 801
16.07/17.44	o 799
16.07/17.46	o 797
16.07/17.47	o 795
16.07/17.49	o 790
16.17/17.59	o 786
16.17/17.61	o 782
16.27/17.64	o 777
16.33/17.71	o 774
16.33/17.73	o 771
16.33/17.76	o 769
16.43/17.80	o 766
16.53/17.96	o 764
16.63/18.01	o 762
16.63/18.05	o 758
16.83/18.26	o 757
16.83/18.29	o 755
17.03/18.44	o 752
17.13/18.50	o 751
17.13/18.56	o 749
17.13/18.59	o 745
17.34/18.72	o 744
17.34/18.77	o 742
17.41/18.80	o 740
17.41/18.82	o 733
17.41/18.85	o 731
17.51/18.99	o 730
17.61/19.02	o 724
17.61/19.07	o 720
17.61/19.08	o 717
17.81/19.20	o 713
17.81/19.29	o 712
17.90/19.36	o 711
17.90/19.39	o 710
18.00/19.42	o 707
18.10/19.56	o 706
18.10/19.58	o 704
18.20/19.61	o 703
18.20/19.65	o 702
18.30/19.76	o 700
18.30/19.79	o 699
18.40/19.88	o 697
18.47/19.94	o 693
18.57/20.01	o 692
18.57/20.04	o 690
18.57/20.08	o 688
18.67/20.12	o 684
18.67/20.16	o 681
18.67/20.20	o 678
18.77/20.23	o 674
18.87/20.30	o 672
18.97/20.49	o 670
19.17/20.63	o 666
19.17/20.68	o 663
19.27/20.76	o 660
19.37/20.82	o 659
19.37/20.86	o 658
19.37/20.90	o 657
19.47/20.96	o 653
19.54/21.00	o 652
19.54/21.04	o 650
19.54/21.07	o 648
19.63/21.11	o 647
19.63/21.15	o 641
19.63/21.19	o 640
19.73/21.23	o 636
19.83/21.30	o 634
19.83/21.34	o 630
19.83/21.37	o 629
19.93/21.41	o 626
20.03/21.53	o 624
20.13/21.61	o 622
20.13/21.64	o 621
20.13/21.68	o 619
20.34/21.80	o 618
20.34/21.84	o 617
20.54/22.02	o 616
20.54/22.08	o 614
20.61/22.16	o 613
20.71/22.29	o 611
20.81/22.37	o 610
20.91/22.41	o 609
21.01/22.53	o 607
21.01/22.57	o 602
21.10/22.61	o 599
21.30/22.86	o 598
21.40/22.97	o 597
21.50/23.07	o 594
21.50/23.11	o 593
21.67/23.25	o 592
21.67/23.29	o 591
21.77/23.33	o 589
21.87/23.44	o 588
21.97/23.51	o 585
21.97/23.55	o 581
22.07/23.66	o 579
22.07/23.69	o 578
22.17/23.76	o 577
22.17/23.80	o 576
22.27/23.83	o 575
22.37/23.90	o 572
22.37/23.94	o 571
22.37/23.97	o 565
22.57/24.19	o 564
22.74/24.34	o 563
22.74/24.37	o 562
22.84/24.41	o 560
22.84/24.48	o 559
22.94/24.52	o 557
22.94/24.55	o 556
23.04/24.66	o 553
23.14/24.70	o 552
23.14/24.75	o 551
23.14/24.79	o 550
23.23/24.84	o 549
23.43/25.01	o 547
23.54/25.11	o 546
23.54/25.16	o 543
23.64/25.26	o 542
23.81/25.41	o 541
23.81/25.45	o 540
23.91/25.50	o 538
23.91/25.54	o 537
24.01/25.65	o 534
24.11/25.70	o 531
24.11/25.75	o 530
24.11/25.78	o 528
24.21/25.86	o 527
24.31/25.91	o 526
24.31/25.96	o 524
24.51/26.10	o 522
24.51/26.15	o 521
24.61/26.23	o 520
24.61/26.28	o 518
24.71/26.33	o 517
24.71/26.37	o 516
24.81/26.47	o 514
24.88/26.52	o 511
24.97/26.62	o 510
24.97/26.67	o 509
25.07/26.71	o 507
25.17/26.81	o 504
25.17/26.87	o 501
25.27/26.92	o 500
25.27/26.97	o 498
25.57/27.25	o 497
25.67/27.30	o 496
25.67/27.36	o 490
25.77/27.47	o 487
25.94/27.68	o 486
26.74/28.49	o 484
26.94/28.62	o 482
27.11/28.87	o 481
27.21/28.93	o 480
27.41/29.18	o 479
27.51/29.29	o 478
27.81/29.58	o 477
28.01/29.73	o 475
28.67/30.44	o 474
28.77/30.57	o 473
28.87/30.65	o 471
28.97/30.81	o 470
29.94/31.77	o 469
30.15/31.93	o 467
30.22/32.02	o 465
30.42/32.22	o 464
30.42/32.29	o 463
30.72/32.51	o 462
30.72/32.56	o 460
30.82/32.61	o 459
30.82/32.65	o 456
30.82/32.69	o 451
31.01/32.82	o 449
31.01/32.86	o 448
31.28/33.11	o 446
31.38/33.26	o 443
31.68/33.51	o 442
31.68/33.56	o 439
31.78/33.61	o 438
31.88/33.72	o 436
31.98/33.82	o 434
31.98/33.87	o 432
32.08/33.92	o 431
32.08/33.97	o 430
32.35/34.23	o 427
32.55/34.46	o 423
32.65/34.51	o 421
32.65/34.56	o 419
32.95/34.88	o 416
33.15/35.03	o 413
33.15/35.07	o 410
33.25/35.14	o 408
33.25/35.19	o 407
33.35/35.24	o 406
33.42/35.34	o 405
33.42/35.39	o 404
33.52/35.43	o 400
33.62/35.51	o 399
33.62/35.55	o 397
33.62/35.60	o 395
33.72/35.64	o 394
33.82/35.74	o 391
33.82/35.77	o 390
33.91/35.82	o 389
33.91/35.87	o 388
34.12/36.06	o 387
34.22/36.14	o 386
34.32/36.25	o 385
34.32/36.29	o 384
34.42/36.40	o 383
34.49/36.44	o 382
34.69/36.65	o 381
34.69/36.69	o 380
34.79/36.70	o 377
34.79/36.74	o 374
34.79/36.76	o 370
34.89/36.83	o 368
34.89/36.87	o 366
34.99/36.91	o 365
34.99/37.00	o 364
35.09/37.09	o 363
35.19/37.10	o 361
35.19/37.15	o 360
35.85/37.83	o 359
35.85/37.87	o 358
35.95/37.91	o 357
36.25/38.25	o 355
36.72/38.79	o 353
36.82/38.83	o 352
36.82/38.87	o 351
36.92/38.96	o 350
37.02/39.01	o 349
37.02/39.04	o 347
37.02/39.09	o 346
37.12/39.13	o 345
38.49/40.51	o 343
38.68/40.73	o 340
38.75/40.89	o 339
38.85/40.92	o 338
40.72/42.83	o 337
40.72/42.89	o 335
40.82/42.97	o 334
40.89/43.02	o 333
40.89/43.07	o 332
40.99/43.13	o 331
41.79/43.98	o 330
41.89/44.03	o 326
41.96/44.11	o 325
41.96/44.13	o 324
42.06/44.25	o 322
42.16/44.31	o 319
42.16/44.36	o 318
42.26/44.41	o 316
42.36/44.54	o 315
42.36/44.56	o 311
42.46/44.68	o 309
42.55/44.72	o 307
42.75/44.94	o 306
42.75/44.99	o 303
42.95/45.14	o 301
43.02/45.21	o 300
43.02/45.26	o 299
43.12/45.36	o 298
43.12/45.39	o 296
43.52/45.80	o 294
43.62/45.85	o 292
43.82/46.04	o 290
43.82/46.09	o 287
43.92/46.13	o 285
44.02/46.28	o 282
45.10/47.34	o 281
45.47/47.74	o 280
45.47/47.79	o 279
45.57/47.84	o 278
45.57/47.89	o 275
45.77/48.03	o 274
45.87/48.14	o 273
46.23/48.58	o 270
46.33/48.67	o 269
46.43/48.72	o 267
46.43/48.77	o 266
46.53/48.87	o 265
46.53/48.89	o 263
46.73/49.04	o 262
46.93/49.25	o 261
47.23/49.54	o 260
47.30/49.61	o 259
47.98/50.38	o 258
48.08/50.44	o 257
48.18/50.53	o 255
48.35/50.71	o 250
48.35/50.76	o 248
48.45/50.81	o 246
48.55/50.97	o 244
48.85/51.23	o 242
48.85/51.27	o 238
48.95/51.30	o 233
48.95/51.34	o 231
48.95/51.37	o 230
49.05/51.42	o 227
49.15/51.52	o 224
49.15/51.55	o 223
49.25/51.62	o 221
49.42/51.84	o 218
49.92/52.37	o 217
50.11/52.52	o 216
50.11/52.59	o 215
50.68/53.15	o 214
52.06/54.58	o 213
52.16/54.62	o 212
52.16/54.68	o 211
52.56/55.07	o 210
52.63/55.12	o 207
52.63/55.18	o 206
52.73/55.21	o 204
53.02/55.50	o 203
53.02/55.54	o 201
53.52/56.05	o 199
53.62/56.18	o 196
53.69/56.21	o 194
53.79/56.32	o 193
53.89/56.43	o 191
53.89/56.46	o 188
54.09/56.62	o 187
54.59/57.15	o 185
54.59/57.17	o 183
54.75/57.35	o 182
54.75/57.39	o 180
54.95/57.51	o 179
54.95/57.55	o 178
55.16/57.75	o 175
55.36/57.91	o 174
55.36/57.97	o 172
55.66/58.26	o 171
55.66/58.31	o 170
55.83/58.47	o 168
55.93/58.56	o 166
56.03/58.61	o 164
56.13/58.73	o 162
56.13/58.75	o 158
56.53/59.16	o 157
56.63/59.20	o 156
56.83/59.46	o 155
56.90/59.60	o 153
57.00/59.69	o 152
57.50/60.19	o 151
57.70/60.36	o 150
57.80/60.43	o 148
57.80/60.46	o 146
58.17/60.82	o 145
58.27/60.91	o 142
58.27/60.96	o 140
58.47/61.15	o 139
58.47/61.17	o 137
58.47/61.18	o 136
58.57/61.24	o 135
58.57/61.27	o 133
58.67/61.36	o 132
58.77/61.41	o 131
58.87/61.59	o 130
59.14/61.90	o 129
59.24/61.94	o 128
59.24/61.99	o 126
59.53/62.22	o 125
59.53/62.26	o 123
59.63/62.30	o 121
59.63/62.35	o 117
59.63/62.39	o 116
59.73/62.43	o 114
59.73/62.45	o 113
59.73/62.50	o 110
59.83/62.54	o 108
60.03/62.79	o 107
60.10/62.83	o 106
60.10/62.84	o 104
60.20/62.93	o 103
60.30/63.01	o 99
60.40/63.17	o 98
60.50/63.21	o 97
60.50/63.29	o 96
60.60/63.37	o 95
61.37/64.12	o 91
61.47/64.25	o 90
61.47/64.25	o 89
61.67/64.49	o 88
63.90/66.72	o 84
64.10/66.92	o 83
64.20/67.07	o 80
64.20/67.08	o 76
64.20/67.11	o 74
64.30/67.16	o 73
64.37/67.20	o 72
64.47/67.32	o 71
64.57/67.48	o 70
64.67/67.51	o 69
64.77/67.62	o 68
64.77/67.64	o 66
64.77/67.68	o 65
64.77/67.69	o 63
64.87/67.80	o 62
64.97/67.87	o 61
65.54/68.48	o 60
66.61/69.52	o 59
66.81/69.74	o 55
66.91/69.88	o 54
67.11/70.03	o 51
67.31/70.23	o 50
67.51/70.48	o 49
67.58/70.50	o 48
67.58/70.54	o 47
67.58/70.55	o 46
67.58/70.58	o 45
67.68/70.61	o 44
67.68/70.66	o 42
67.78/70.71	o 41
68.47/71.50	o 39
68.74/71.78	o 38
68.84/71.82	o 37
69.05/72.02	o 36
69.05/72.09	o 34
70.98/74.08	o 32
73.12/76.21	o 30
73.12/76.30	o 29
73.32/76.49	o 28
75.46/78.70	o 27
75.86/79.01	o 26
76.12/79.32	o 24
76.12/79.34	o 23
77.29/80.53	o 22
78.00/81.27	o 20
78.09/81.32	o 18
79.93/83.20	o 17
87.70/91.21	o 16
87.70/91.28	o 15
91.87/95.55	o 13
108.47/112.70	o 12
121.39/125.98	o 11
129.07/133.83	o 10
150.73/156.20	o 8
180.81/187.13	   
180.81/187.13	   search
180.81/187.13	     run=0  nbConstraintChecks=564045614  nbAssignments=9286
180.81/187.14	       =>  wckTime=174.019  cpuTime=168.89  mem=18M671
180.81/187.14	   
180.81/187.14	   global
180.81/187.14	     nbConstraintChecks=564045614  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
180.81/187.14	     solvingWckTime=174.018  solvingCpuTime=168.89  expiredTime=no  totalExploration=no  nbFoundSolutions=0
180.81/187.14	     globalCpuTime=180.13
180.81/187.14	       =>  wckTime=186.059  cpuTime=180.08  mem=18M671
180.81/187.14	   
180.81/187.14	   solver DecomposerSolver being built... 
181.25/187.66	       =>  wckTime=186.583  cpuTime=180.32  mem=169M894
192.71/199.43	   
192.71/199.43	   preprocessing
192.71/199.43	     nbConstraintChecks=32658031  nbValidityChecks=119230  nbPropagations=425  nbRevisions=6454  nbUselessRevisions=6434
192.71/199.43	     nbRemovedValues=508  detectedInconsistency=no
192.71/199.43	       =>  wckTime=11.765  cpuTime=11.41  mem=170M868
192.91/199.66	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-1114051-1215895986/watcher-1114051-1215895986 -o /tmp/evaluation-result-1114051-1215895986/solver-1114051-1215895986 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1114051-1215895986.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: 4.55 3.41 2.84 5/240 22254
/proc/meminfo: memFree=1750448/2055920 swapFree=4192812/4192956
[pid=22254] ppid=22252 vsize=18572 CPUtime=0
/proc/22254/stat : 22254 (runsolver) R 22252 22254 21502 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 46295584 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 251279240487 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22254/statm: 4643 292 257 25 0 2626 0

[startup+0.070971 s]
/proc/loadavg: 4.55 3.41 2.84 5/240 22254
/proc/meminfo: memFree=1750448/2055920 swapFree=4192812/4192956
[pid=22254] ppid=22252 vsize=10148 CPUtime=0
/proc/22254/stat : 22254 (java) R 22252 22254 21502 0 -1 0 350 0 0 0 0 0 0 0 18 0 1 0 46295584 10391552 154 996147200 134512640 134550740 4294955952 18446744073709551615 4043556 0 0 4096 0 0 0 0 17 0 0 0
/proc/22254/statm: 2537 154 127 9 0 1102 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10148

[startup+0.102984 s]
/proc/loadavg: 4.55 3.41 2.84 5/240 22254
/proc/meminfo: memFree=1750448/2055920 swapFree=4192812/4192956
[pid=22254] ppid=22252 vsize=10732 CPUtime=0
/proc/22254/stat : 22254 (java) S 22252 22254 21502 0 -1 0 742 0 0 0 0 0 0 0 18 0 2 0 46295584 10989568 522 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/22254/statm: 2683 522 245 9 0 1196 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10732

[startup+0.301996 s]
/proc/loadavg: 4.55 3.41 2.84 5/240 22254
/proc/meminfo: memFree=1750448/2055920 swapFree=4192812/4192956
[pid=22254] ppid=22252 vsize=861880 CPUtime=0.01
/proc/22254/stat : 22254 (java) S 22252 22254 21502 0 -1 0 1899 0 1 0 0 1 0 0 18 0 5 0 46295584 882565120 1584 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/22254/statm: 215470 1584 703 9 0 210449 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861880

[startup+0.702041 s]
/proc/loadavg: 4.55 3.41 2.84 5/240 22254
/proc/meminfo: memFree=1750448/2055920 swapFree=4192812/4192956
[pid=22254] ppid=22252 vsize=865856 CPUtime=0.07
/proc/22254/stat : 22254 (java) S 22252 22254 21502 0 -1 0 3552 0 1 0 4 3 0 0 18 0 9 0 46295584 886636544 3042 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22254/statm: 216464 3043 1638 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865856

[startup+1.50301 s]
/proc/loadavg: 4.55 3.41 2.84 4/249 22263
/proc/meminfo: memFree=1740328/2055920 swapFree=4192812/4192956
[pid=22254] ppid=22252 vsize=867604 CPUtime=0.65
/proc/22254/stat : 22254 (java) S 22252 22254 21502 0 -1 0 8837 0 2 0 57 8 0 0 18 0 9 0 46295584 888426496 8198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22254/statm: 216901 8198 2011 9 0 211407 0
[pid=22254/tid=22256] ppid=22252 vsize=867604 CPUtime=0.49
/proc/22254/task/22256/stat : 22256 (java) R 22252 22254 21502 0 -1 64 7515 0 2 0 43 6 0 0 19 0 9 0 46295591 888426496 8198 996147200 134512640 134550740 4294955952 18446744073709551615 4126596666 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22257] ppid=22252 vsize=867604 CPUtime=0
/proc/22254/task/22257/stat : 22257 (java) S 22252 22254 21502 0 -1 64 6 0 0 0 0 0 0 0 17 0 9 0 46295613 888426496 8198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22258] ppid=22252 vsize=867604 CPUtime=0
/proc/22254/task/22258/stat : 22258 (java) S 22252 22254 21502 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 46295614 888426496 8198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22259] ppid=22252 vsize=867604 CPUtime=0
/proc/22254/task/22259/stat : 22259 (java) S 22252 22254 21502 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46295614 888426496 8198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22260] ppid=22252 vsize=867604 CPUtime=0
/proc/22254/task/22260/stat : 22260 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 46295650 888426496 8198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22261] ppid=22252 vsize=867604 CPUtime=0.14
/proc/22254/task/22261/stat : 22261 (java) S 22252 22254 21502 0 -1 64 624 0 0 0 14 0 0 0 15 0 9 0 46295650 888426496 8198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22262] ppid=22252 vsize=867604 CPUtime=0
/proc/22254/task/22262/stat : 22262 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 46295650 888426496 8198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22263] ppid=22252 vsize=867604 CPUtime=0
/proc/22254/task/22263/stat : 22263 (java) S 22252 22254 21502 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46295650 888426496 8198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 867604

[startup+3.1012 s]
/proc/loadavg: 4.55 3.41 2.84 3/249 22263
/proc/meminfo: memFree=1708456/2055920 swapFree=4192812/4192956
[pid=22254] ppid=22252 vsize=867720 CPUtime=2.21
/proc/22254/stat : 22254 (java) S 22252 22254 21502 0 -1 0 13159 0 2 0 210 11 0 0 18 0 9 0 46295584 888545280 12517 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22254/statm: 216930 12517 2014 9 0 211436 0
[pid=22254/tid=22256] ppid=22252 vsize=867720 CPUtime=2.01
/proc/22254/task/22256/stat : 22256 (java) R 22252 22254 21502 0 -1 64 11807 0 2 0 192 9 0 0 25 0 9 0 46295591 888545280 12517 996147200 134512640 134550740 4294955952 18446744073709551615 4126860233 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22257] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22257/stat : 22257 (java) S 22252 22254 21502 0 -1 64 6 0 0 0 0 0 0 0 17 0 9 0 46295613 888545280 12517 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22258] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22258/stat : 22258 (java) S 22252 22254 21502 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 46295614 888545280 12517 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22259] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22259/stat : 22259 (java) S 22252 22254 21502 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46295614 888545280 12517 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22260] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22260/stat : 22260 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 46295650 888545280 12517 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22261] ppid=22252 vsize=867720 CPUtime=0.18
/proc/22254/task/22261/stat : 22261 (java) S 22252 22254 21502 0 -1 64 654 0 0 0 18 0 0 0 15 0 9 0 46295650 888545280 12517 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22262] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22262/stat : 22262 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 46295650 888545280 12517 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22263] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22263/stat : 22263 (java) S 22252 22254 21502 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46295650 888545280 12517 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 867720

[startup+6.3016 s]
/proc/loadavg: 4.35 3.38 2.84 3/249 22263
/proc/meminfo: memFree=1698664/2055920 swapFree=4192812/4192956
[pid=22254] ppid=22252 vsize=867720 CPUtime=5.31
/proc/22254/stat : 22254 (java) S 22252 22254 21502 0 -1 0 15488 0 2 0 518 13 0 0 18 0 9 0 46295584 888545280 14843 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22254/statm: 216930 14843 2014 9 0 211436 0
[pid=22254/tid=22256] ppid=22252 vsize=867720 CPUtime=5.08
/proc/22254/task/22256/stat : 22256 (java) R 22252 22254 21502 0 -1 64 14115 0 2 0 497 11 0 0 25 0 9 0 46295591 888545280 14843 996147200 134512640 134550740 4294955952 18446744073709551615 4126864039 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22257] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22257/stat : 22257 (java) S 22252 22254 21502 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 46295613 888545280 14843 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22258] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22258/stat : 22258 (java) S 22252 22254 21502 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 46295614 888545280 14843 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22259] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22259/stat : 22259 (java) S 22252 22254 21502 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46295614 888545280 14843 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22260] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22260/stat : 22260 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 46295650 888545280 14843 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22261] ppid=22252 vsize=867720 CPUtime=0.2
/proc/22254/task/22261/stat : 22261 (java) S 22252 22254 21502 0 -1 64 675 0 0 0 20 0 0 0 15 0 9 0 46295650 888545280 14843 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22262] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22262/stat : 22262 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 46295650 888545280 14843 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22263] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22263/stat : 22263 (java) R 22252 22254 21502 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46295650 888545280 14843 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.31
Current children cumulated vsize (KiB) 867720

[startup+12.7014 s]
/proc/loadavg: 4.24 3.38 2.84 3/249 22263
/proc/meminfo: memFree=1680808/2055920 swapFree=4192812/4192956
[pid=22254] ppid=22252 vsize=867632 CPUtime=11.52
/proc/22254/stat : 22254 (java) S 22252 22254 21502 0 -1 0 19292 0 3 0 1135 17 0 0 18 0 9 0 46295584 888455168 18621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22254/statm: 216908 18621 2007 9 0 211436 0
[pid=22254/tid=22256] ppid=22252 vsize=867632 CPUtime=11.18
/proc/22254/task/22256/stat : 22256 (java) R 22252 22254 21502 0 -1 64 15810 0 2 0 1104 14 0 0 25 0 9 0 46295591 888455168 18621 996147200 134512640 134550740 4294955952 18446744073709551615 4126860187 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22257] ppid=22252 vsize=867632 CPUtime=0.06
/proc/22254/task/22257/stat : 22257 (java) S 22252 22254 21502 0 -1 64 2087 0 0 0 6 0 0 0 17 0 9 0 46295613 888455168 18621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22258] ppid=22252 vsize=867632 CPUtime=0
/proc/22254/task/22258/stat : 22258 (java) S 22252 22254 21502 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46295614 888455168 18621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22259] ppid=22252 vsize=867632 CPUtime=0
/proc/22254/task/22259/stat : 22259 (java) S 22252 22254 21502 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46295614 888455168 18621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22260] ppid=22252 vsize=867632 CPUtime=0
/proc/22254/task/22260/stat : 22260 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 46295650 888455168 18621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22261] ppid=22252 vsize=867632 CPUtime=0.24
/proc/22254/task/22261/stat : 22261 (java) S 22252 22254 21502 0 -1 64 699 0 1 0 24 0 0 0 15 0 9 0 46295650 888455168 18621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22262] ppid=22252 vsize=867632 CPUtime=0
/proc/22254/task/22262/stat : 22262 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 46295650 888455168 18621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22263] ppid=22252 vsize=867632 CPUtime=0
/proc/22254/task/22263/stat : 22263 (java) S 22252 22254 21502 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46295650 888455168 18621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.52
Current children cumulated vsize (KiB) 867632

[startup+25.502 s]
/proc/loadavg: 3.96 3.36 2.84 3/249 22263
/proc/meminfo: memFree=1669352/2055920 swapFree=4192812/4192956
[pid=22254] ppid=22252 vsize=867720 CPUtime=23.91
/proc/22254/stat : 22254 (java) S 22252 22254 21502 0 -1 0 23030 0 3 0 2368 23 0 0 18 0 9 0 46295584 888545280 22166 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22254/statm: 216930 22166 2640 9 0 211436 0
[pid=22254/tid=22256] ppid=22252 vsize=867720 CPUtime=23.36
/proc/22254/task/22256/stat : 22256 (java) R 22252 22254 21502 0 -1 64 15875 0 2 0 2317 19 0 0 25 0 9 0 46295591 888545280 22166 996147200 134512640 134550740 4294955952 18446744073709551615 4126860264 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22257] ppid=22252 vsize=867720 CPUtime=0.22
/proc/22254/task/22257/stat : 22257 (java) S 22252 22254 21502 0 -1 64 5733 0 0 0 21 1 0 0 16 0 9 0 46295613 888545280 22166 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22258] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22258/stat : 22258 (java) S 22252 22254 21502 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46295614 888545280 22166 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22259] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22259/stat : 22259 (java) S 22252 22254 21502 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46295614 888545280 22166 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22260] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22260/stat : 22260 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 46295650 888545280 22166 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22261] ppid=22252 vsize=867720 CPUtime=0.29
/proc/22254/task/22261/stat : 22261 (java) S 22252 22254 21502 0 -1 64 726 0 1 0 29 0 0 0 15 0 9 0 46295650 888545280 22166 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22262] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22262/stat : 22262 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 46295650 888545280 22166 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22263] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22263/stat : 22263 (java) S 22252 22254 21502 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46295650 888545280 22166 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.91
Current children cumulated vsize (KiB) 867720

[startup+51.1022 s]
/proc/loadavg: 3.50 3.29 2.83 4/249 22263
/proc/meminfo: memFree=1669480/2055920 swapFree=4192812/4192956
[pid=22254] ppid=22252 vsize=867720 CPUtime=48.75
/proc/22254/stat : 22254 (java) S 22252 22254 21502 0 -1 0 23032 0 3 0 4848 27 0 0 18 0 9 0 46295584 888545280 22167 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22254/statm: 216930 22167 2640 9 0 211436 0
[pid=22254/tid=22256] ppid=22252 vsize=867720 CPUtime=48.2
/proc/22254/task/22256/stat : 22256 (java) R 22252 22254 21502 0 -1 64 15876 0 2 0 4796 24 0 0 25 0 9 0 46295591 888545280 22167 996147200 134512640 134550740 4294955952 18446744073709551615 4126864657 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22257] ppid=22252 vsize=867720 CPUtime=0.22
/proc/22254/task/22257/stat : 22257 (java) S 22252 22254 21502 0 -1 64 5733 0 0 0 21 1 0 0 16 0 9 0 46295613 888545280 22167 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22258] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22258/stat : 22258 (java) S 22252 22254 21502 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46295614 888545280 22167 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22259] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22259/stat : 22259 (java) S 22252 22254 21502 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46295614 888545280 22167 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22260] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22260/stat : 22260 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 46295650 888545280 22167 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22261] ppid=22252 vsize=867720 CPUtime=0.29
/proc/22254/task/22261/stat : 22261 (java) S 22252 22254 21502 0 -1 64 727 0 1 0 29 0 0 0 16 0 9 0 46295650 888545280 22167 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22262] ppid=22252 vsize=867720 CPUtime=0

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

[startup+179.102 s]
/proc/loadavg: 2.79 3.09 2.81 4/249 22263
/proc/meminfo: memFree=1669032/2055920 swapFree=4192812/4192956
[pid=22254] ppid=22252 vsize=867720 CPUtime=173.07
/proc/22254/stat : 22254 (java) S 22252 22254 21502 0 -1 0 23036 0 3 0 17242 65 0 0 18 0 9 0 46295584 888545280 22171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22254/statm: 216930 22171 2640 9 0 211436 0
[pid=22254/tid=22256] ppid=22252 vsize=867720 CPUtime=172.52
/proc/22254/task/22256/stat : 22256 (java) R 22252 22254 21502 0 -1 64 15876 0 2 0 17190 62 0 0 25 0 9 0 46295591 888545280 22171 996147200 134512640 134550740 4294955952 18446744073709551615 4127177347 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22257] ppid=22252 vsize=867720 CPUtime=0.22
/proc/22254/task/22257/stat : 22257 (java) S 22252 22254 21502 0 -1 64 5733 0 0 0 21 1 0 0 16 0 9 0 46295613 888545280 22171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22258] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22258/stat : 22258 (java) S 22252 22254 21502 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46295614 888545280 22171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22259] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22259/stat : 22259 (java) S 22252 22254 21502 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46295614 888545280 22171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22260] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22260/stat : 22260 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 46295650 888545280 22171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22261] ppid=22252 vsize=867720 CPUtime=0.31
/proc/22254/task/22261/stat : 22261 (java) S 22252 22254 21502 0 -1 64 731 0 1 0 30 1 0 0 16 0 9 0 46295650 888545280 22171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22262] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22262/stat : 22262 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 46295650 888545280 22171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22263] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22263/stat : 22263 (java) R 22252 22254 21502 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46295650 888545280 22171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 173.07
Current children cumulated vsize (KiB) 867720

[startup+191.902 s]
/proc/loadavg: 2.74 3.07 2.81 5/249 22263
/proc/meminfo: memFree=1558504/2055920 swapFree=4192812/4192956
[pid=22254] ppid=22252 vsize=867720 CPUtime=185.43
/proc/22254/stat : 22254 (java) S 22252 22254 21502 0 -1 0 50669 0 3 0 18465 78 0 0 18 0 9 0 46295584 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22254/statm: 216930 49796 2641 9 0 211436 0
[pid=22254/tid=22256] ppid=22252 vsize=867720 CPUtime=184.62
/proc/22254/task/22256/stat : 22256 (java) R 22252 22254 21502 0 -1 64 15929 0 2 0 18398 64 0 0 25 0 9 0 46295591 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4127047031 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22257] ppid=22252 vsize=867720 CPUtime=0.44
/proc/22254/task/22257/stat : 22257 (java) S 22252 22254 21502 0 -1 64 33292 0 0 0 33 11 0 0 16 0 9 0 46295613 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22258] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22258/stat : 22258 (java) S 22252 22254 21502 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46295614 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22259] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22259/stat : 22259 (java) S 22252 22254 21502 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46295614 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22260] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22260/stat : 22260 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 46295650 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22261] ppid=22252 vsize=867720 CPUtime=0.34
/proc/22254/task/22261/stat : 22261 (java) S 22252 22254 21502 0 -1 64 749 0 1 0 33 1 0 0 15 0 9 0 46295650 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22262] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22262/stat : 22262 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 46295650 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22263] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22263/stat : 22263 (java) S 22252 22254 21502 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46295650 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 185.43
Current children cumulated vsize (KiB) 867720

[startup+195.101 s]
/proc/loadavg: 2.68 3.05 2.80 4/249 22263
/proc/meminfo: memFree=1558376/2055920 swapFree=4192812/4192956
[pid=22254] ppid=22252 vsize=867720 CPUtime=188.54
/proc/22254/stat : 22254 (java) S 22252 22254 21502 0 -1 0 50669 0 3 0 18776 78 0 0 18 0 9 0 46295584 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22254/statm: 216930 49796 2641 9 0 211436 0
[pid=22254/tid=22256] ppid=22252 vsize=867720 CPUtime=187.72
/proc/22254/task/22256/stat : 22256 (java) R 22252 22254 21502 0 -1 64 15929 0 2 0 18708 64 0 0 25 0 9 0 46295591 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4126864593 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22257] ppid=22252 vsize=867720 CPUtime=0.44
/proc/22254/task/22257/stat : 22257 (java) S 22252 22254 21502 0 -1 64 33292 0 0 0 33 11 0 0 16 0 9 0 46295613 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22258] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22258/stat : 22258 (java) S 22252 22254 21502 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46295614 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22259] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22259/stat : 22259 (java) S 22252 22254 21502 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46295614 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22260] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22260/stat : 22260 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 46295650 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22261] ppid=22252 vsize=867720 CPUtime=0.34
/proc/22254/task/22261/stat : 22261 (java) S 22252 22254 21502 0 -1 64 749 0 1 0 33 1 0 0 15 0 9 0 46295650 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22262] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22262/stat : 22262 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 46295650 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22263] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22263/stat : 22263 (java) S 22252 22254 21502 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46295650 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 188.54
Current children cumulated vsize (KiB) 867720

[startup+198.303 s]
/proc/loadavg: 2.63 3.03 2.80 4/249 22263
/proc/meminfo: memFree=1558632/2055920 swapFree=4192812/4192956
[pid=22254] ppid=22252 vsize=867720 CPUtime=191.64
/proc/22254/stat : 22254 (java) S 22252 22254 21502 0 -1 0 50669 0 3 0 19086 78 0 0 18 0 9 0 46295584 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22254/statm: 216930 49796 2641 9 0 211436 0
[pid=22254/tid=22256] ppid=22252 vsize=867720 CPUtime=190.83
/proc/22254/task/22256/stat : 22256 (java) R 22252 22254 21502 0 -1 64 15929 0 2 0 19019 64 0 0 25 0 9 0 46295591 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4126868176 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22257] ppid=22252 vsize=867720 CPUtime=0.44
/proc/22254/task/22257/stat : 22257 (java) S 22252 22254 21502 0 -1 64 33292 0 0 0 33 11 0 0 16 0 9 0 46295613 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22258] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22258/stat : 22258 (java) S 22252 22254 21502 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46295614 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22259] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22259/stat : 22259 (java) S 22252 22254 21502 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46295614 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22260] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22260/stat : 22260 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 46295650 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22261] ppid=22252 vsize=867720 CPUtime=0.34
/proc/22254/task/22261/stat : 22261 (java) S 22252 22254 21502 0 -1 64 749 0 1 0 33 1 0 0 15 0 9 0 46295650 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22262] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22262/stat : 22262 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 46295650 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22263] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22263/stat : 22263 (java) S 22252 22254 21502 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46295650 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 191.64
Current children cumulated vsize (KiB) 867720

[startup+199.118 s]
/proc/loadavg: 2.63 3.03 2.80 4/249 22263
/proc/meminfo: memFree=1558632/2055920 swapFree=4192812/4192956
[pid=22254] ppid=22252 vsize=867720 CPUtime=192.44
/proc/22254/stat : 22254 (java) S 22252 22254 21502 0 -1 0 50669 0 3 0 19166 78 0 0 18 0 9 0 46295584 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22254/statm: 216930 49796 2641 9 0 211436 0
[pid=22254/tid=22256] ppid=22252 vsize=867720 CPUtime=191.63
/proc/22254/task/22256/stat : 22256 (java) R 22252 22254 21502 0 -1 64 15929 0 2 0 19099 64 0 0 25 0 9 0 46295591 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4126864088 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22257] ppid=22252 vsize=867720 CPUtime=0.44
/proc/22254/task/22257/stat : 22257 (java) S 22252 22254 21502 0 -1 64 33292 0 0 0 33 11 0 0 16 0 9 0 46295613 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22258] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22258/stat : 22258 (java) S 22252 22254 21502 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46295614 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22259] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22259/stat : 22259 (java) S 22252 22254 21502 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46295614 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22260] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22260/stat : 22260 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 46295650 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22261] ppid=22252 vsize=867720 CPUtime=0.34
/proc/22254/task/22261/stat : 22261 (java) S 22252 22254 21502 0 -1 64 749 0 1 0 33 1 0 0 15 0 9 0 46295650 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22262] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22262/stat : 22262 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 46295650 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22263] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22263/stat : 22263 (java) S 22252 22254 21502 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46295650 888545280 49796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 192.44
Current children cumulated vsize (KiB) 867720

[startup+199.503 s]
/proc/loadavg: 2.63 3.03 2.80 4/249 22263
/proc/meminfo: memFree=1558632/2055920 swapFree=4192812/4192956
[pid=22254] ppid=22252 vsize=867720 CPUtime=192.81
/proc/22254/stat : 22254 (java) S 22252 22254 21502 0 -1 0 50674 0 3 0 19203 78 0 0 18 0 9 0 46295584 888545280 49799 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22254/statm: 216930 49799 2640 9 0 211436 0
[pid=22254/tid=22256] ppid=22252 vsize=867720 CPUtime=191.94
/proc/22254/task/22256/stat : 22256 (java) R 22252 22254 21502 0 -1 64 15932 0 2 0 19129 65 0 0 25 0 9 0 46295591 888545280 49799 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22257] ppid=22252 vsize=867720 CPUtime=0.51
/proc/22254/task/22257/stat : 22257 (java) R 22252 22254 21502 0 -1 64 33293 0 0 0 40 11 0 0 16 0 9 0 46295613 888545280 49799 996147200 134512640 134550740 4294955952 18446744073709551615 104181586 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22258] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22258/stat : 22258 (java) S 22252 22254 21502 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46295614 888545280 49799 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22259] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22259/stat : 22259 (java) S 22252 22254 21502 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46295614 888545280 49799 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22260] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22260/stat : 22260 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 46295650 888545280 49799 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22261] ppid=22252 vsize=867720 CPUtime=0.34
/proc/22254/task/22261/stat : 22261 (java) S 22252 22254 21502 0 -1 64 750 0 1 0 33 1 0 0 16 0 9 0 46295650 888545280 49799 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22262] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22262/stat : 22262 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 46295650 888545280 49799 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22263] ppid=22252 vsize=867720 CPUtime=0
/proc/22254/task/22263/stat : 22263 (java) S 22252 22254 21502 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46295650 888545280 49799 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 192.81
Current children cumulated vsize (KiB) 867720

[startup+199.702 s]
/proc/loadavg: 2.63 3.03 2.80 4/249 22263
/proc/meminfo: memFree=1558632/2055920 swapFree=4192812/4192956
[pid=22254] ppid=22252 vsize=867632 CPUtime=192.97
/proc/22254/stat : 22254 (java) S 22252 22254 21502 0 -1 0 62906 0 3 0 19214 83 0 0 18 0 7 0 46295584 888455168 61999 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22254/statm: 216908 61999 2619 9 0 211436 0
[pid=22254/tid=22256] ppid=22252 vsize=867632 CPUtime=191.94
/proc/22254/task/22256/stat : 22256 (java) R 22252 22254 21502 0 -1 64 15935 0 2 0 19129 65 0 0 24 0 7 0 46295591 888455168 61999 996147200 134512640 134550740 4294955952 18446744073709551615 103804704 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22257] ppid=22252 vsize=867632 CPUtime=0.67
/proc/22254/task/22257/stat : 22257 (java) S 22252 22254 21502 0 -1 64 45510 0 0 0 51 16 0 0 16 0 7 0 46295613 888455168 61999 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22258] ppid=22252 vsize=867632 CPUtime=0
/proc/22254/task/22258/stat : 22258 (java) S 22252 22254 21502 0 -1 64 13 0 0 0 0 0 0 0 16 0 7 0 46295614 888455168 61999 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22259] ppid=22252 vsize=867632 CPUtime=0
/proc/22254/task/22259/stat : 22259 (java) S 22252 22254 21502 0 -1 64 16 0 0 0 0 0 0 0 16 0 7 0 46295614 888455168 61999 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22261] ppid=22252 vsize=867632 CPUtime=0.34
/proc/22254/task/22261/stat : 22261 (java) S 22252 22254 21502 0 -1 64 750 0 1 0 33 1 0 0 15 0 7 0 46295650 888455168 61999 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22254/tid=22262] ppid=22252 vsize=867632 CPUtime=0
/proc/22254/task/22262/stat : 22262 (java) S 22252 22254 21502 0 -1 64 1 0 0 0 0 0 0 0 21 0 7 0 46295650 888455168 61999 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 192.97
Current children cumulated vsize (KiB) 867632

Child status: 0
Real time (s): 199.767
CPU time (s): 193.025
CPU user time (s): 192.149
CPU system time (s): 0.875866
CPU usage (%): 96.6251
Max. virtual memory (cumulated for all children) (KiB): 867724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 192.149
system time used= 0.875866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62907
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6037
involuntary context switches= 14026

runsolver used 0.755885 second user time and 2.06768 second system time

The end

Launcher Data (download as text)

Begin job on node92 at 2008-07-12 22:53:06
IDJOB=1114051
IDBENCH=61680
IDSOLVER=359
FILE ID=node92/1114051-1215895986
PBS_JOBID= 7903636
Free space on /tmp= 66476 MiB

SOLVER NAME= AbsconMax 112 pc-w
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-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1114051-1215895986/watcher-1114051-1215895986 -o /tmp/evaluation-result-1114051-1215895986/solver-1114051-1215895986 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1114051-1215895986.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 70ddb348b4d5b5c4a2e5632f29aa23c6
RANDOM SEED=1308562774

node92.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.236
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.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1751056 kB
Buffers:          1416 kB
Cached:          37480 kB
SwapCached:          0 kB
Active:         232080 kB
Inactive:         4164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1751056 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3320 kB
Writeback:           0 kB
Mapped:         219172 kB
Slab:            39356 kB
Committed_AS:  1249700 kB
PageTables:      11692 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= 66476 MiB
End job on node92 at 2008-07-12 22:56:26