Trace number 1114057

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? 479.804 482.553

General information on the benchmark

Namecsp/fapp/fapp19/
normalized-fapp19-0350-5.xml
MD5SUM0e6d4c6cfe45c7fb1ed8c7d48e56685a
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints4
Best CPU time to get the best result obtained on this benchmark3600.04
Satisfiable
(Un)Satisfiability was proved
Number of variables350
Number of constraints5873
Maximum constraint arity2
Maximum domain size802
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5873
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.09	
0.07/0.09	Abscon 112 (May, 2008)
0.18/0.25	
0.18/0.25	   configuration
0.18/0.25	     name=mrdac-wdeg.xml
0.18/0.29	   
0.18/0.29	   instance
0.18/0.29	     name=HOME/instance-1114057-1215896100.xml
0.28/0.32	   
0.28/0.32	   domains being loaded...
0.28/0.36	   
0.28/0.36	   variables being loaded...
0.38/0.45	     nbVariables=350  nbDomainTypes=8  minDomainSize=186  maxDomainSize=802  nbTotalValues=201074
0.38/0.45	       =>  wckTime=0.197  cpuTime=0.15  mem=13M725
0.38/0.45	   
0.38/0.45	   predicates being loaded...
0.48/0.51	   
0.48/0.51	   constraints being loaded...
10.68/10.81	   
10.68/10.81	   INFO : Stopping converting binary constraints (cpu=10.25, mem = 13M554)
11.28/11.47	     nbConstraints=5873  nbConvertedConstraints=120  nbConvertConstraintsChecks=36470252  nbExtensionStructures=104
11.28/11.47	     nbSharedExtensionStructures=23  nbConflictsStructures=104  nbSharedConflictsStructures=23
11.28/11.47	     nbUnbuiltConflictsStructures=2363  nbSharedBinaryRepresentations=105898  nbEvaluationManagers=2363
11.28/11.47	     nbSharedEvaluationManagers=3390  minDegree=7  maxDegree=71  minArity=2  maxArity=2
11.28/11.47	       =>  wckTime=11.222  cpuTime=10.8  mem=59M387
11.47/11.66	   
11.47/11.66	   solver LocalSearchSolver being built... 
11.57/11.70	       =>  wckTime=11.453  cpuTime=10.84  mem=21M334
11.77/11.92	
11.77/11.92	s SATISFIABLE
11.77/11.92	o 1703
11.87/12.07	o 1692
11.97/12.17	o 1685
12.06/12.24	o 1676
12.16/12.31	o 1666
12.16/12.38	o 1660
12.26/12.49	o 1651
12.36/12.57	o 1642
12.46/12.66	o 1636
12.56/12.74	o 1632
12.56/12.78	o 1625
12.66/12.83	o 1617
12.76/12.92	o 1615
12.76/12.98	o 1606
12.86/13.04	o 1600
12.96/13.11	o 1595
12.96/13.19	o 1592
13.06/13.28	o 1590
13.25/13.43	o 1587
13.35/13.52	o 1585
13.35/13.58	o 1582
13.46/13.65	o 1578
13.56/13.71	o 1573
13.56/13.78	o 1568
13.66/13.84	o 1566
13.66/13.89	o 1562
13.75/13.95	o 1560
13.85/14.04	o 1556
13.95/14.11	o 1554
13.95/14.15	o 1551
13.95/14.18	o 1548
14.05/14.24	o 1540
14.05/14.28	o 1538
14.15/14.32	o 1537
14.35/14.51	o 1535
14.35/14.58	o 1529
14.45/14.65	o 1528
14.45/14.69	o 1524
14.55/14.72	o 1521
14.65/14.89	o 1517
14.75/14.93	o 1514
14.75/14.98	o 1512
14.94/15.13	o 1508
14.94/15.18	o 1505
15.04/15.23	o 1500
15.04/15.27	o 1497
15.14/15.32	o 1495
15.14/15.34	o 1489
15.14/15.40	o 1487
15.24/15.45	o 1483
15.24/15.49	o 1482
15.33/15.54	o 1479
15.33/15.60	o 1477
15.53/15.71	o 1473
15.53/15.76	o 1470
15.63/15.88	o 1467
15.73/15.97	o 1458
15.83/16.05	o 1450
15.92/16.11	o 1443
15.92/16.17	o 1442
16.02/16.24	o 1430
16.02/16.27	o 1426
16.12/16.34	o 1423
16.22/16.44	o 1416
16.32/16.51	o 1409
16.32/16.56	o 1408
16.42/16.63	o 1405
16.52/16.75	o 1402
16.62/16.81	o 1397
16.62/16.88	o 1392
16.72/16.96	o 1391
16.82/17.02	o 1388
16.92/17.12	o 1387
16.92/17.19	o 1384
17.21/17.43	o 1382
17.31/17.51	o 1380
17.31/17.58	o 1379
17.41/17.61	o 1377
17.41/17.66	o 1372
17.51/17.72	o 1370
17.51/17.77	o 1369
17.60/17.82	o 1368
17.60/17.88	o 1365
17.70/17.95	o 1357
17.80/18.00	o 1354
17.80/18.08	o 1351
18.00/18.25	o 1349
18.10/18.38	o 1343
18.20/18.45	o 1339
18.30/18.51	o 1335
18.69/18.93	o 1333
18.69/18.99	o 1326
18.79/19.03	o 1316
18.89/19.15	o 1313
18.89/19.20	o 1309
18.99/19.24	o 1307
18.99/19.27	o 1306
19.09/19.32	o 1303
19.18/19.40	o 1299
19.29/19.51	o 1296
19.29/19.56	o 1291
19.39/19.60	o 1285
19.39/19.67	o 1283
19.49/19.72	o 1278
19.49/19.80	o 1276
19.59/19.86	o 1275
19.69/19.92	o 1273
19.79/20.01	o 1270
19.89/20.18	o 1268
20.08/20.39	o 1260
20.18/20.48	o 1252
20.28/20.58	o 1246
20.48/20.76	o 1242
20.58/20.85	o 1240
20.68/20.94	o 1237
20.77/21.01	o 1236
20.77/21.10	o 1234
20.87/21.17	o 1233
21.07/21.39	o 1230
21.17/21.49	o 1225
21.37/21.62	o 1220
21.47/21.73	o 1217
21.57/21.83	o 1215
21.86/22.13	o 1209
21.96/22.23	o 1207
22.06/22.35	o 1206
22.45/22.70	o 1198
22.45/22.80	o 1190
22.56/22.89	o 1181
22.66/22.99	o 1173
22.95/23.21	o 1171
23.15/23.40	o 1166
23.35/23.62	o 1160
23.64/23.94	o 1153
23.84/24.17	o 1149
23.94/24.26	o 1146
24.14/24.43	o 1144
24.24/24.51	o 1137
24.34/24.63	o 1136
24.44/24.71	o 1131
24.54/24.80	o 1129
24.54/24.89	o 1126
24.64/24.98	o 1125
24.74/25.07	o 1121
24.84/25.18	o 1120
24.94/25.27	o 1118
25.04/25.36	o 1114
25.14/25.47	o 1113
25.24/25.57	o 1111
25.34/25.65	o 1106
25.64/25.99	o 1099
25.83/26.12	o 1094
25.93/26.24	o 1086
26.03/26.34	o 1085
26.13/26.44	o 1081
26.43/26.79	o 1078
26.52/26.89	o 1076
26.62/26.98	o 1072
26.72/27.05	o 1070
26.82/27.13	o 1068
26.92/27.20	o 1060
27.02/27.31	o 1055
27.22/27.52	o 1050
27.91/28.21	o 1048
28.01/28.31	o 1047
28.11/28.45	o 1043
28.31/28.68	o 1039
28.50/28.83	o 1035
28.60/28.95	o 1033
28.70/29.08	o 1028
28.90/29.21	o 1027
29.09/29.47	o 1022
29.29/29.64	o 1018
29.49/29.80	o 1016
29.59/29.92	o 1013
29.69/30.08	o 1012
29.89/30.22	o 1010
30.28/30.67	o 1009
30.68/31.05	o 1007
30.98/31.37	o 1004
31.17/31.53	o 1001
31.27/31.69	o 1000
31.47/31.88	o 996
31.67/32.07	o 993
31.87/32.28	o 991
32.07/32.49	o 988
32.46/32.90	o 986
32.66/33.09	o 985
33.05/33.46	o 984
33.25/33.65	o 981
33.45/33.81	o 980
33.55/33.96	o 979
33.75/34.13	o 978
33.94/34.31	o 971
34.84/35.23	o 969
34.93/35.38	o 968
35.43/35.89	o 965
35.52/35.99	o 963
35.72/36.11	o 959
35.82/36.23	o 955
35.92/36.36	o 949
36.42/36.88	o 947
36.61/37.03	o 943
36.71/37.18	o 936
36.91/37.34	o 933
37.41/37.83	o 926
37.51/37.97	o 923
37.70/38.11	o 917
37.70/38.16	o 915
37.80/38.29	o 913
38.00/38.46	o 908
38.10/38.58	o 904
38.29/38.73	o 901
38.39/38.86	o 898
38.49/38.98	o 897
38.69/39.10	o 890
38.99/39.41	o 889
39.09/39.54	o 886
39.19/39.68	o 885
39.48/39.92	o 882
39.99/40.46	o 879
40.09/40.59	o 878
40.68/41.18	o 874
40.88/41.33	o 870
41.18/41.63	o 869
41.47/41.91	o 868
41.97/42.44	o 866
42.06/42.59	o 863
42.46/42.93	o 860
42.56/43.05	o 856
42.76/43.21	o 853
42.86/43.37	o 852
43.06/43.56	o 851
43.75/44.25	o 848
44.24/44.70	o 847
44.64/45.11	o 846
44.84/45.31	o 843
45.43/45.98	o 839
45.63/46.16	o 837
45.83/46.34	o 833
46.03/46.51	o 829
46.13/46.69	o 826
46.32/46.87	o 824
46.52/47.06	o 821
46.72/47.27	o 818
47.51/48.08	o 816
47.81/48.31	o 815
48.00/48.52	o 814
48.20/48.74	o 811
48.40/48.96	o 808
49.09/49.60	o 807
49.79/50.33	o 804
49.99/50.56	o 800
50.28/50.80	o 797
50.48/51.03	o 794
50.98/51.51	o 793
51.37/51.92	o 790
51.57/52.17	o 789
51.87/52.42	o 784
52.27/52.89	o 781
52.96/53.59	o 776
53.65/54.24	o 772
53.85/54.46	o 771
54.25/54.87	o 769
56.03/56.66	o 766
56.23/56.88	o 763
56.43/57.07	o 762
57.12/57.74	o 761
57.22/57.87	o 755
57.61/58.23	o 753
58.01/58.62	o 752
58.21/58.82	o 751
58.50/59.20	o 747
59.79/60.42	o 746
59.90/60.59	o 744
60.29/60.96	o 743
60.49/61.14	o 740
60.69/61.33	o 736
61.48/62.15	o 735
62.18/62.83	o 731
62.38/63.05	o 730
62.58/63.28	o 728
62.78/63.49	o 725
62.98/63.70	o 721
65.57/66.26	o 719
65.77/66.45	o 717
65.97/66.65	o 714
66.17/66.85	o 712
66.56/67.28	o 711
66.85/67.50	o 708
67.64/68.39	o 704
67.94/68.60	o 702
68.04/68.78	o 699
69.34/70.01	o 698
69.54/70.24	o 695
69.83/70.55	o 693
70.92/71.67	o 692
71.42/72.13	o 690
72.12/72.81	o 687
72.32/73.03	o 684
72.52/73.23	o 683
72.92/73.64	o 682
73.11/73.86	o 679
73.42/74.10	o 676
74.42/75.18	o 675
74.72/75.41	o 673
74.92/75.63	o 671
75.12/75.87	o 670
75.61/76.33	o 669
75.81/76.57	o 667
76.11/76.81	o 666
76.31/77.06	o 664
76.80/77.57	o 661
77.10/77.81	o 660
77.79/78.57	o 659
78.09/78.84	o 656
78.29/79.08	o 655
78.89/79.63	o 654
79.09/79.89	o 651
79.39/80.15	o 648
79.68/80.42	o 645
79.88/80.68	o 643
81.47/82.30	o 641
81.87/82.69	o 637
82.17/82.97	o 635
85.56/86.33	o 633
86.06/86.82	o 632
86.25/87.03	o 629
86.45/87.23	o 625
86.65/87.48	o 624
87.15/87.92	o 620
88.04/88.88	o 619
88.54/89.37	o 613
88.84/89.62	o 610
89.33/90.10	o 607
89.73/90.57	o 603
90.23/91.07	o 599
90.43/91.27	o 596
90.63/91.47	o 595
90.83/91.67	o 593
91.23/92.09	o 590
91.43/92.29	o 588
91.63/92.49	o 585
95.40/96.25	o 582
96.20/97.04	o 581
96.50/97.32	o 577
96.79/97.60	o 576
96.99/97.88	o 575
98.68/99.54	o 572
99.68/100.59	o 571
99.98/100.86	o 568
100.28/101.14	o 565
101.37/102.25	o 564
101.67/102.58	o 563
101.97/102.86	o 560
102.57/103.43	o 558
103.16/104.07	o 557
103.36/104.22	o 551
103.56/104.43	o 547
104.06/104.90	o 544
104.56/105.41	o 543
104.77/105.60	o 540
104.96/105.87	o 539
105.26/106.16	o 535
105.76/106.69	o 534
107.75/108.64	o 532
107.95/108.90	o 526
108.24/109.15	o 523
108.54/109.41	o 521
108.64/109.56	o 518
108.94/109.83	o 516
109.24/110.10	o 514
109.44/110.37	o 513
109.74/110.63	o 509
110.04/110.91	o 506
110.24/111.19	o 504
111.03/111.91	o 503
111.13/112.09	o 502
111.43/112.36	o 500
111.63/112.59	o 498
111.83/112.77	o 496
113.82/114.74	o 495
114.02/114.96	o 493
114.32/115.20	o 491
114.42/115.36	o 489
114.62/115.53	o 488
114.81/115.78	o 487
115.01/115.99	o 486
115.31/116.21	o 485
115.41/116.37	o 483
115.51/116.49	o 481
115.71/116.63	o 479
115.91/116.82	o 475
116.01/116.97	o 471
116.21/117.15	o 470
116.41/117.38	o 462
117.30/118.22	o 460
117.50/118.40	o 459
117.80/118.75	o 458
117.99/118.91	o 454
118.09/119.07	o 452
118.29/119.25	o 449
118.49/119.42	o 445
118.59/119.59	o 444
118.99/119.95	o 442
119.19/120.12	o 441
119.38/120.30	o 439
119.48/120.48	o 435
119.98/121.00	o 431
120.17/121.16	o 429
120.37/121.31	o 428
120.47/121.49	o 426
120.87/121.80	o 423
121.67/122.63	o 420
121.77/122.71	o 418
121.87/122.86	o 416
122.17/123.14	o 415
122.37/123.32	o 412
122.47/123.46	o 409
122.57/123.58	o 403
122.77/123.74	o 401
122.87/123.89	o 398
123.06/124.05	o 397
123.26/124.22	o 392
123.36/124.38	o 391
124.26/125.26	o 389
124.65/125.61	o 388
124.75/125.77	o 386
124.85/125.85	o 383
125.05/126.02	o 380
125.15/126.18	o 379
125.35/126.34	o 377
126.05/127.02	o 376
126.24/127.20	o 372
126.34/127.34	o 367
126.44/127.49	o 365
126.64/127.66	o 363
126.94/127.97	o 362
127.93/128.94	o 359
128.13/129.10	o 356
128.23/129.27	o 355
128.33/129.38	o 352
129.02/130.07	o 350
129.22/130.23	o 347
129.42/130.41	o 344
129.72/130.74	o 342
129.92/130.92	o 340
130.02/131.09	o 339
130.22/131.26	o 336
130.42/131.44	o 335
132.52/133.57	o 334
132.72/133.74	o 330
132.92/133.92	o 329
133.21/134.28	o 328
133.81/134.83	o 326
134.01/135.02	o 325
134.11/135.19	o 324
134.21/135.27	o 323
134.40/135.46	o 322
135.40/136.44	o 321
135.60/136.67	o 320
135.80/136.88	o 317
136.00/137.08	o 314
136.20/137.26	o 311
136.30/137.39	o 310
136.50/137.58	o 307
136.69/137.70	o 306
137.29/138.33	o 305
137.39/138.49	o 303
137.99/139.09	o 301
138.19/139.29	o 297
138.39/139.48	o 296
139.08/140.12	o 295
139.28/140.34	o 294
139.48/140.52	o 290
139.58/140.69	o 289
139.87/140.90	o 284
140.07/141.11	o 283
140.77/141.89	o 281
140.97/142.06	o 276
141.17/142.27	o 273
141.67/142.71	o 272
141.87/142.93	o 267
141.97/143.08	o 264
142.16/143.25	o 260
142.36/143.44	o 259
142.56/143.63	o 258
142.76/143.87	o 255
143.16/144.29	o 253
143.46/144.50	o 251
143.66/144.73	o 249
144.65/145.79	o 248
144.95/146.01	o 245
145.15/146.25	o 240
145.74/146.81	o 237
147.24/148.34	o 236
147.44/148.56	o 235
148.13/149.20	o 234
148.43/149.53	o 230
148.62/149.72	o 229
148.82/149.91	o 227
149.02/150.10	o 224
149.22/150.30	o 221
149.42/150.52	o 220
149.82/150.95	o 218
150.02/151.10	o 217
150.12/151.30	o 214
150.62/151.74	o 212
150.81/151.94	o 210
151.01/152.17	o 209
151.21/152.35	o 207
151.91/153.02	o 205
152.11/153.23	o 201
152.61/153.78	o 199
152.80/153.95	o 197
152.90/154.06	o 196
153.10/154.21	o 193
153.40/154.55	o 191
153.70/154.85	o 190
154.00/155.19	o 186
154.19/155.33	o 184
154.29/155.49	o 182
154.49/155.64	o 180
154.69/155.81	o 179
155.00/156.14	o 178
155.19/156.30	o 177
155.49/156.61	o 176
155.59/156.79	o 174
155.69/156.86	o 172
155.89/157.04	o 170
157.29/158.48	o 168
157.48/158.69	o 166
157.78/158.91	o 165
157.98/159.14	o 164
158.18/159.36	o 163
159.38/160.53	o 162
159.57/160.75	o 161
159.77/160.99	o 158
159.97/161.17	o 153
160.47/161.65	o 151
160.67/161.84	o 149
172.90/174.15	o 147
173.70/174.98	o 146
175.09/176.39	o 145
175.29/176.59	o 142
175.49/176.71	o 141
177.58/178.85	o 137
177.87/179.11	o 136
179.36/180.64	o 135
179.56/180.85	o 132
179.86/181.13	o 131
180.16/181.45	o 129
180.36/181.67	o 126
181.65/182.94	o 125
181.95/183.26	o 123
182.35/183.61	o 122
182.95/184.29	o 121
184.04/185.30	o 119
191.50/192.81	o 114
194.99/196.38	o 111
197.28/198.61	o 106
198.57/199.91	o 104
198.87/200.22	o 103
199.47/200.85	o 102
199.57/200.91	o 100
199.87/201.23	o 99
200.36/201.75	o 98
200.66/202.03	o 97
200.76/202.13	o 96
201.06/202.41	o 95
201.16/202.52	o 89
201.26/202.66	o 84
201.66/203.10	o 82
201.96/203.34	o 81
206.04/207.49	o 80
211.31/212.71	o 78
212.01/213.44	o 77
212.11/213.55	o 74
213.40/214.80	o 73
216.58/218.05	o 72
218.28/219.72	o 71
223.35/224.81	o 67
230.02/231.55	o 64
230.31/231.80	o 63
232.10/233.64	o 60
232.30/233.89	o 57
236.39/237.97	o 56
241.76/243.34	o 55
242.26/243.80	o 54
246.74/248.38	o 52
247.23/248.83	o 51
247.43/249.03	o 50
247.53/249.18	o 48
248.63/250.24	o 44
249.03/250.65	o 43
249.13/250.74	o 42
250.92/252.51	o 40
251.02/252.64	o 38
251.32/252.92	o 37
251.42/253.07	o 36
251.61/253.20	o 35
251.81/253.46	o 34
252.01/253.61	o 33
254.30/255.91	o 32
255.29/256.98	o 30
255.39/257.07	o 29
266.63/268.39	o 28
266.73/268.40	o 25
267.73/269.45	o 24
269.63/271.36	o 23
271.02/272.72	o 22
271.31/273.07	o 21
271.61/273.30	o 20
271.61/273.38	o 19
271.71/273.49	o 18
271.81/273.52	o 17
273.80/275.51	o 16
274.00/275.71	o 15
274.40/276.17	o 14
275.79/277.59	o 13
275.89/277.65	o 11
280.56/282.38	o 10
307.83/309.70	o 9
309.02/310.98	o 8
321.56/323.58	o 7
325.34/327.32	o 6
352.01/354.10	o 5
382.04/384.30	   
382.04/384.30	   search
382.04/384.30	     run=0  nbConstraintChecks=1026857524  nbAssignments=3311
382.04/384.30	       =>  wckTime=372.597  cpuTime=370.45  mem=21M334
382.04/384.30	   
382.04/384.30	   global
382.04/384.30	     nbConstraintChecks=1026857524  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
382.04/384.30	     solvingWckTime=372.593  solvingCpuTime=370.44  expiredTime=no  totalExploration=no  nbFoundSolutions=0
382.04/384.30	     globalCpuTime=381.33
382.04/384.30	       =>  wckTime=384.05  cpuTime=381.29  mem=21M334
382.04/384.30	   
382.04/384.30	   solver DecomposerSolver being built... 
383.04/385.34	       =>  wckTime=385.087  cpuTime=381.67  mem=334M975
479.36/482.18	   
479.36/482.18	   preprocessing
479.36/482.18	     nbConstraintChecks=303127925  nbValidityChecks=572326  nbPropagations=355  nbRevisions=11677
479.36/482.18	     nbUselessRevisions=11659  nbRemovedValues=2380  detectedInconsistency=no
479.36/482.18	       =>  wckTime=96.842  cpuTime=96.34  mem=335M983
479.66/482.48	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-1114057-1215896100/watcher-1114057-1215896100 -o /tmp/evaluation-result-1114057-1215896100/solver-1114057-1215896100 -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-1114057-1215896100.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.54 2.63 2.62 5/86 20521
/proc/meminfo: memFree=1858152/2055920 swapFree=4176556/4192956
[pid=20521] ppid=20519 vsize=18572 CPUtime=0
/proc/20521/stat : 20521 (runsolver) R 20519 20521 19802 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 46307851 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 233402068263 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/20521/statm: 4643 292 257 25 0 2626 0

[startup+0.0843279 s]
/proc/loadavg: 2.54 2.63 2.62 5/86 20521
/proc/meminfo: memFree=1858152/2055920 swapFree=4176556/4192956
[pid=20521] ppid=20519 vsize=865856 CPUtime=0.07
/proc/20521/stat : 20521 (java) S 20519 20521 19802 0 -1 0 3524 0 1 0 5 2 0 0 19 0 9 0 46307851 886636544 3014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20521/statm: 216464 3014 1627 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865856

[startup+0.102329 s]
/proc/loadavg: 2.54 2.63 2.62 5/86 20521
/proc/meminfo: memFree=1858152/2055920 swapFree=4176556/4192956
[pid=20521] ppid=20519 vsize=865988 CPUtime=0.08
/proc/20521/stat : 20521 (java) S 20519 20521 19802 0 -1 0 3707 0 1 0 6 2 0 0 19 0 9 0 46307851 886771712 3182 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20521/statm: 216497 3182 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.302351 s]
/proc/loadavg: 2.54 2.63 2.62 5/86 20521
/proc/meminfo: memFree=1858152/2055920 swapFree=4176556/4192956
[pid=20521] ppid=20519 vsize=866388 CPUtime=0.28
/proc/20521/stat : 20521 (java) S 20519 20521 19802 0 -1 0 5847 0 1 0 24 4 0 0 19 0 9 0 46307851 887181312 5222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20521/statm: 216597 5222 1955 9 0 211125 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866388

[startup+0.70239 s]
/proc/loadavg: 2.54 2.63 2.62 5/86 20521
/proc/meminfo: memFree=1858152/2055920 swapFree=4176556/4192956
[pid=20521] ppid=20519 vsize=867708 CPUtime=0.68
/proc/20521/stat : 20521 (java) S 20519 20521 19802 0 -1 0 9868 0 1 0 62 6 0 0 19 0 9 0 46307851 888532992 9229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20521/statm: 216927 9229 2010 9 0 211433 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867708

[startup+1.50147 s]
/proc/loadavg: 2.54 2.63 2.62 3/95 20530
/proc/meminfo: memFree=1813664/2055920 swapFree=4176556/4192956
[pid=20521] ppid=20519 vsize=867708 CPUtime=1.47
/proc/20521/stat : 20521 (java) S 20519 20521 19802 0 -1 0 14112 0 1 0 139 8 0 0 19 0 9 0 46307851 888532992 13470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20521/statm: 216927 13470 2014 9 0 211433 0
[pid=20521/tid=20523] ppid=20519 vsize=867708 CPUtime=1.27
/proc/20521/task/20523/stat : 20523 (java) R 20519 20521 19802 0 -1 64 12763 0 1 0 121 6 0 0 25 0 9 0 46307852 888532992 13470 996147200 134512640 134550740 4294955952 18446744073709551615 4126892567 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20524] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20524/stat : 20524 (java) S 20519 20521 19802 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 46307854 888532992 13470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20525] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20525/stat : 20525 (java) S 20519 20521 19802 0 -1 64 9 0 0 0 0 0 0 0 22 0 9 0 46307854 888532992 13470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20526] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20526/stat : 20526 (java) S 20519 20521 19802 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 46307854 888532992 13470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20527] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20527/stat : 20527 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 46307856 888532992 13470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20528] ppid=20519 vsize=867708 CPUtime=0.18
/proc/20521/task/20528/stat : 20528 (java) S 20519 20521 19802 0 -1 64 652 0 0 0 18 0 0 0 16 0 9 0 46307856 888532992 13470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20529] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20529/stat : 20529 (java) S 20519 20521 19802 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46307856 888532992 13470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20530] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20530/stat : 20530 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46307856 888532992 13470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867708

[startup+3.10162 s]
/proc/loadavg: 2.54 2.63 2.62 3/95 20530
/proc/meminfo: memFree=1810720/2055920 swapFree=4176556/4192956
[pid=20521] ppid=20519 vsize=867708 CPUtime=3.05
/proc/20521/stat : 20521 (java) S 20519 20521 19802 0 -1 0 14845 0 1 0 297 8 0 0 19 0 9 0 46307851 888532992 14202 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20521/statm: 216927 14202 2014 9 0 211433 0
[pid=20521/tid=20523] ppid=20519 vsize=867708 CPUtime=2.85
/proc/20521/task/20523/stat : 20523 (java) R 20519 20521 19802 0 -1 64 13493 0 1 0 279 6 0 0 25 0 9 0 46307852 888532992 14202 996147200 134512640 134550740 4294955952 18446744073709551615 4126892349 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20524] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20524/stat : 20524 (java) S 20519 20521 19802 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 46307854 888532992 14202 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20525] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20525/stat : 20525 (java) S 20519 20521 19802 0 -1 64 9 0 0 0 0 0 0 0 22 0 9 0 46307854 888532992 14202 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20526] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20526/stat : 20526 (java) S 20519 20521 19802 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 46307854 888532992 14202 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20527] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20527/stat : 20527 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 46307856 888532992 14202 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20528] ppid=20519 vsize=867708 CPUtime=0.18
/proc/20521/task/20528/stat : 20528 (java) S 20519 20521 19802 0 -1 64 655 0 0 0 18 0 0 0 16 0 9 0 46307856 888532992 14202 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20529] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20529/stat : 20529 (java) S 20519 20521 19802 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46307856 888532992 14202 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20530] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20530/stat : 20530 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46307856 888532992 14202 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867708

[startup+6.30294 s]
/proc/loadavg: 2.58 2.64 2.63 3/95 20530
/proc/meminfo: memFree=1805088/2055920 swapFree=4176556/4192956
[pid=20521] ppid=20519 vsize=867708 CPUtime=6.22
/proc/20521/stat : 20521 (java) S 20519 20521 19802 0 -1 0 16055 0 1 0 614 8 0 0 19 0 9 0 46307851 888532992 15409 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20521/statm: 216927 15409 2014 9 0 211433 0
[pid=20521/tid=20523] ppid=20519 vsize=867708 CPUtime=6.01
/proc/20521/task/20523/stat : 20523 (java) R 20519 20521 19802 0 -1 64 14699 0 1 0 594 7 0 0 25 0 9 0 46307852 888532992 15409 996147200 134512640 134550740 4294955952 18446744073709551615 4126892304 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20524] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20524/stat : 20524 (java) S 20519 20521 19802 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 46307854 888532992 15409 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20525] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20525/stat : 20525 (java) S 20519 20521 19802 0 -1 64 9 0 0 0 0 0 0 0 22 0 9 0 46307854 888532992 15409 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20526] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20526/stat : 20526 (java) S 20519 20521 19802 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 46307854 888532992 15409 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20527] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20527/stat : 20527 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 46307856 888532992 15409 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20528] ppid=20519 vsize=867708 CPUtime=0.19
/proc/20521/task/20528/stat : 20528 (java) S 20519 20521 19802 0 -1 64 659 0 0 0 19 0 0 0 15 0 9 0 46307856 888532992 15409 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20529] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20529/stat : 20529 (java) S 20519 20521 19802 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46307856 888532992 15409 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20530] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20530/stat : 20530 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46307856 888532992 15409 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867708

[startup+12.7016 s]
/proc/loadavg: 2.61 2.64 2.63 4/95 20530
/proc/meminfo: memFree=1776424/2055920 swapFree=4176556/4192956
[pid=20521] ppid=20519 vsize=867708 CPUtime=12.56
/proc/20521/stat : 20521 (java) S 20519 20521 19802 0 -1 0 23710 0 1 0 1245 11 0 0 19 0 9 0 46307851 888532992 22845 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20521/statm: 216927 22845 2640 9 0 211433 0
[pid=20521/tid=20523] ppid=20519 vsize=867708 CPUtime=12.02
/proc/20521/task/20523/stat : 20523 (java) R 20519 20521 19802 0 -1 64 15874 0 1 0 1194 8 0 0 25 0 9 0 46307852 888532992 22845 996147200 134512640 134550740 4294955952 18446744073709551615 4127172928 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20524] ppid=20519 vsize=867708 CPUtime=0.23
/proc/20521/task/20524/stat : 20524 (java) S 20519 20521 19802 0 -1 64 6414 0 0 0 22 1 0 0 17 0 9 0 46307854 888532992 22845 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20525] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20525/stat : 20525 (java) S 20519 20521 19802 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46307854 888532992 22845 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20526] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20526/stat : 20526 (java) S 20519 20521 19802 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46307854 888532992 22845 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20527] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20527/stat : 20527 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 46307856 888532992 22845 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20528] ppid=20519 vsize=867708 CPUtime=0.29
/proc/20521/task/20528/stat : 20528 (java) S 20519 20521 19802 0 -1 64 725 0 0 0 28 1 0 0 15 0 9 0 46307856 888532992 22845 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20529] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20529/stat : 20529 (java) S 20519 20521 19802 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46307856 888532992 22845 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20530] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20530/stat : 20530 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46307856 888532992 22845 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867708

[startup+25.5029 s]
/proc/loadavg: 2.62 2.64 2.63 3/95 20530
/proc/meminfo: memFree=1776424/2055920 swapFree=4176556/4192956
[pid=20521] ppid=20519 vsize=867708 CPUtime=25.24
/proc/20521/stat : 20521 (java) S 20519 20521 19802 0 -1 0 23711 0 1 0 2510 14 0 0 19 0 9 0 46307851 888532992 22846 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20521/statm: 216927 22846 2640 9 0 211433 0
[pid=20521/tid=20523] ppid=20519 vsize=867708 CPUtime=24.68
/proc/20521/task/20523/stat : 20523 (java) R 20519 20521 19802 0 -1 64 15874 0 1 0 2458 10 0 0 25 0 9 0 46307852 888532992 22846 996147200 134512640 134550740 4294955952 18446744073709551615 4126865696 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20524] ppid=20519 vsize=867708 CPUtime=0.23
/proc/20521/task/20524/stat : 20524 (java) S 20519 20521 19802 0 -1 64 6414 0 0 0 22 1 0 0 16 0 9 0 46307854 888532992 22846 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20525] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20525/stat : 20525 (java) S 20519 20521 19802 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46307854 888532992 22846 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20526] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20526/stat : 20526 (java) S 20519 20521 19802 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46307854 888532992 22846 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20527] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20527/stat : 20527 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 46307856 888532992 22846 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20528] ppid=20519 vsize=867708 CPUtime=0.29
/proc/20521/task/20528/stat : 20528 (java) S 20519 20521 19802 0 -1 64 726 0 0 0 28 1 0 0 16 0 9 0 46307856 888532992 22846 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20529] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20529/stat : 20529 (java) S 20519 20521 19802 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46307856 888532992 22846 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20530] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20530/stat : 20530 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46307856 888532992 22846 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867708

[startup+51.1024 s]
/proc/loadavg: 2.54 2.62 2.62 4/95 20530
/proc/meminfo: memFree=1776424/2055920 swapFree=4176556/4192956
[pid=20521] ppid=20519 vsize=867708 CPUtime=50.58
/proc/20521/stat : 20521 (java) S 20519 20521 19802 0 -1 0 23711 0 1 0 5043 15 0 0 19 0 9 0 46307851 888532992 22846 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20521/statm: 216927 22846 2640 9 0 211433 0
[pid=20521/tid=20523] ppid=20519 vsize=867708 CPUtime=50.03
/proc/20521/task/20523/stat : 20523 (java) R 20519 20521 19802 0 -1 64 15874 0 1 0 4992 11 0 0 25 0 9 0 46307852 888532992 22846 996147200 134512640 134550740 4294955952 18446744073709551615 4126868199 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20524] ppid=20519 vsize=867708 CPUtime=0.23
/proc/20521/task/20524/stat : 20524 (java) S 20519 20521 19802 0 -1 64 6414 0 0 0 22 1 0 0 16 0 9 0 46307854 888532992 22846 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20525] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20525/stat : 20525 (java) S 20519 20521 19802 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46307854 888532992 22846 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20526] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20526/stat : 20526 (java) S 20519 20521 19802 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46307854 888532992 22846 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20527] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20527/stat : 20527 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 46307856 888532992 22846 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20528] ppid=20519 vsize=867708 CPUtime=0.29
/proc/20521/task/20528/stat : 20528 (java) S 20519 20521 19802 0 -1 64 726 0 0 0 28 1 0 0 16 0 9 0 46307856 888532992 22846 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20529] ppid=20519 vsize=867708 CPUtime=0

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

/proc/20521/task/20527/stat : 20527 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 46307856 888442880 96363 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20528] ppid=20519 vsize=867620 CPUtime=0.34
/proc/20521/task/20528/stat : 20528 (java) S 20519 20521 19802 0 -1 64 757 0 0 0 33 1 0 0 16 0 9 0 46307856 888442880 96363 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20529] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20529/stat : 20529 (java) S 20519 20521 19802 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46307856 888442880 96363 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20530] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20530/stat : 20530 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46307856 888442880 96363 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 399.95
Current children cumulated vsize (KiB) 867620

[startup+462.302 s]
/proc/loadavg: 2.26 2.30 2.45 4/96 20577
/proc/meminfo: memFree=834648/2055920 swapFree=4176556/4192956
[pid=20521] ppid=20519 vsize=867620 CPUtime=459.66
/proc/20521/stat : 20521 (java) S 20519 20521 19802 0 -1 0 97308 0 1 0 45902 64 0 0 19 0 9 0 46307851 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20521/statm: 216905 96364 2619 9 0 211433 0
[pid=20521/tid=20523] ppid=20519 vsize=867620 CPUtime=458.42
/proc/20521/task/20523/stat : 20523 (java) R 20519 20521 19802 0 -1 64 15957 0 1 0 45811 31 0 0 25 0 9 0 46307852 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4126862805 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20524] ppid=20519 vsize=867620 CPUtime=0.86
/proc/20521/task/20524/stat : 20524 (java) S 20519 20521 19802 0 -1 64 79878 0 0 0 56 30 0 0 16 0 9 0 46307854 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20525] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20525/stat : 20525 (java) S 20519 20521 19802 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46307854 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20526] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20526/stat : 20526 (java) S 20519 20521 19802 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46307854 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20527] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20527/stat : 20527 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20528] ppid=20519 vsize=867620 CPUtime=0.35
/proc/20521/task/20528/stat : 20528 (java) S 20519 20521 19802 0 -1 64 758 0 0 0 34 1 0 0 16 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20529] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20529/stat : 20529 (java) S 20519 20521 19802 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20530] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20530/stat : 20530 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 459.66
Current children cumulated vsize (KiB) 867620

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

[startup+473.502 s]
/proc/loadavg: 2.22 2.29 2.44 3/96 20577
/proc/meminfo: memFree=834584/2055920 swapFree=4176556/4192956
[pid=20521] ppid=20519 vsize=867620 CPUtime=470.8
/proc/20521/stat : 20521 (java) S 20519 20521 19802 0 -1 0 97308 0 1 0 47016 64 0 0 19 0 9 0 46307851 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20521/statm: 216905 96364 2619 9 0 211433 0
[pid=20521/tid=20523] ppid=20519 vsize=867620 CPUtime=469.57
/proc/20521/task/20523/stat : 20523 (java) R 20519 20521 19802 0 -1 64 15957 0 1 0 46926 31 0 0 25 0 9 0 46307852 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4126876791 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20524] ppid=20519 vsize=867620 CPUtime=0.86
/proc/20521/task/20524/stat : 20524 (java) S 20519 20521 19802 0 -1 64 79878 0 0 0 56 30 0 0 16 0 9 0 46307854 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20525] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20525/stat : 20525 (java) S 20519 20521 19802 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46307854 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20526] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20526/stat : 20526 (java) S 20519 20521 19802 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46307854 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20527] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20527/stat : 20527 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20528] ppid=20519 vsize=867620 CPUtime=0.35
/proc/20521/task/20528/stat : 20528 (java) S 20519 20521 19802 0 -1 64 758 0 0 0 34 1 0 0 16 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20529] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20529/stat : 20529 (java) S 20519 20521 19802 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20530] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20530/stat : 20530 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 470.8
Current children cumulated vsize (KiB) 867620

[startup+476.702 s]
/proc/loadavg: 2.20 2.28 2.44 3/96 20577
/proc/meminfo: memFree=834584/2055920 swapFree=4176556/4192956
[pid=20521] ppid=20519 vsize=867620 CPUtime=473.99
/proc/20521/stat : 20521 (java) S 20519 20521 19802 0 -1 0 97308 0 1 0 47335 64 0 0 19 0 9 0 46307851 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20521/statm: 216905 96364 2619 9 0 211433 0
[pid=20521/tid=20523] ppid=20519 vsize=867620 CPUtime=472.75
/proc/20521/task/20523/stat : 20523 (java) R 20519 20521 19802 0 -1 64 15957 0 1 0 47244 31 0 0 25 0 9 0 46307852 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4126867257 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20524] ppid=20519 vsize=867620 CPUtime=0.86
/proc/20521/task/20524/stat : 20524 (java) S 20519 20521 19802 0 -1 64 79878 0 0 0 56 30 0 0 16 0 9 0 46307854 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20525] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20525/stat : 20525 (java) S 20519 20521 19802 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46307854 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20526] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20526/stat : 20526 (java) S 20519 20521 19802 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46307854 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20527] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20527/stat : 20527 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20528] ppid=20519 vsize=867620 CPUtime=0.35
/proc/20521/task/20528/stat : 20528 (java) S 20519 20521 19802 0 -1 64 758 0 0 0 34 1 0 0 16 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20529] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20529/stat : 20529 (java) S 20519 20521 19802 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20530] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20530/stat : 20530 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 473.99
Current children cumulated vsize (KiB) 867620

[startup+479.902 s]
/proc/loadavg: 2.27 2.29 2.44 3/96 20577
/proc/meminfo: memFree=834584/2055920 swapFree=4176556/4192956
[pid=20521] ppid=20519 vsize=867620 CPUtime=477.17
/proc/20521/stat : 20521 (java) S 20519 20521 19802 0 -1 0 97308 0 1 0 47653 64 0 0 19 0 9 0 46307851 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20521/statm: 216905 96364 2619 9 0 211433 0
[pid=20521/tid=20523] ppid=20519 vsize=867620 CPUtime=475.93
/proc/20521/task/20523/stat : 20523 (java) R 20519 20521 19802 0 -1 64 15957 0 1 0 47562 31 0 0 25 0 9 0 46307852 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4126866608 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20524] ppid=20519 vsize=867620 CPUtime=0.86
/proc/20521/task/20524/stat : 20524 (java) S 20519 20521 19802 0 -1 64 79878 0 0 0 56 30 0 0 16 0 9 0 46307854 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20525] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20525/stat : 20525 (java) S 20519 20521 19802 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46307854 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20526] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20526/stat : 20526 (java) S 20519 20521 19802 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46307854 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20527] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20527/stat : 20527 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20528] ppid=20519 vsize=867620 CPUtime=0.35
/proc/20521/task/20528/stat : 20528 (java) S 20519 20521 19802 0 -1 64 758 0 0 0 34 1 0 0 16 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20529] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20529/stat : 20529 (java) S 20519 20521 19802 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20530] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20530/stat : 20530 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 477.17
Current children cumulated vsize (KiB) 867620

[startup+481.501 s]
/proc/loadavg: 2.27 2.29 2.44 3/96 20577
/proc/meminfo: memFree=834584/2055920 swapFree=4176556/4192956
[pid=20521] ppid=20519 vsize=867620 CPUtime=478.76
/proc/20521/stat : 20521 (java) S 20519 20521 19802 0 -1 0 97308 0 1 0 47812 64 0 0 19 0 9 0 46307851 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20521/statm: 216905 96364 2619 9 0 211433 0
[pid=20521/tid=20523] ppid=20519 vsize=867620 CPUtime=477.53
/proc/20521/task/20523/stat : 20523 (java) R 20519 20521 19802 0 -1 64 15957 0 1 0 47722 31 0 0 25 0 9 0 46307852 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4126867217 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20524] ppid=20519 vsize=867620 CPUtime=0.86
/proc/20521/task/20524/stat : 20524 (java) S 20519 20521 19802 0 -1 64 79878 0 0 0 56 30 0 0 16 0 9 0 46307854 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20525] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20525/stat : 20525 (java) S 20519 20521 19802 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46307854 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20526] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20526/stat : 20526 (java) S 20519 20521 19802 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46307854 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20527] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20527/stat : 20527 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20528] ppid=20519 vsize=867620 CPUtime=0.35
/proc/20521/task/20528/stat : 20528 (java) S 20519 20521 19802 0 -1 64 758 0 0 0 34 1 0 0 16 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20529] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20529/stat : 20529 (java) S 20519 20521 19802 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20530] ppid=20519 vsize=867620 CPUtime=0
/proc/20521/task/20530/stat : 20530 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46307856 888442880 96364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 478.76
Current children cumulated vsize (KiB) 867620

[startup+482.301 s]
/proc/loadavg: 2.27 2.29 2.44 3/96 20577
/proc/meminfo: memFree=834584/2055920 swapFree=4176556/4192956
[pid=20521] ppid=20519 vsize=867708 CPUtime=479.56
/proc/20521/stat : 20521 (java) S 20519 20521 19802 0 -1 0 97336 0 1 0 47892 64 0 0 19 0 9 0 46307851 888532992 96389 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20521/statm: 216927 96389 2640 9 0 211433 0
[pid=20521/tid=20523] ppid=20519 vsize=867708 CPUtime=478.21
/proc/20521/task/20523/stat : 20523 (java) R 20519 20521 19802 0 -1 64 15983 0 1 0 47790 31 0 0 25 0 9 0 46307852 888532992 96389 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20524] ppid=20519 vsize=867708 CPUtime=0.96
/proc/20521/task/20524/stat : 20524 (java) R 20519 20521 19802 0 -1 64 79879 0 0 0 66 30 0 0 16 0 9 0 46307854 888532992 96389 996147200 134512640 134550740 4294955952 18446744073709551615 8879819 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20525] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20525/stat : 20525 (java) S 20519 20521 19802 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46307854 888532992 96389 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20526] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20526/stat : 20526 (java) S 20519 20521 19802 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46307854 888532992 96389 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20527] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20527/stat : 20527 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 46307856 888532992 96389 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20528] ppid=20519 vsize=867708 CPUtime=0.35
/proc/20521/task/20528/stat : 20528 (java) S 20519 20521 19802 0 -1 64 759 0 0 0 34 1 0 0 16 0 9 0 46307856 888532992 96389 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20529] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20529/stat : 20529 (java) S 20519 20521 19802 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46307856 888532992 96389 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20521/tid=20530] ppid=20519 vsize=867708 CPUtime=0
/proc/20521/task/20530/stat : 20530 (java) S 20519 20521 19802 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46307856 888532992 96389 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 479.56
Current children cumulated vsize (KiB) 867708

[startup+482.501 s]
/proc/loadavg: 2.27 2.29 2.44 3/96 20577
/proc/meminfo: memFree=834584/2055920 swapFree=4176556/4192956
[pid=20521] ppid=20519 vsize=0 CPUtime=479.74
/proc/20521/stat : 20521 (java) Z 20519 20521 19802 0 -1 12 103323 0 1 0 47907 67 0 0 16 0 2 0 46307851 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20521/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 479.74
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 482.553
CPU time (s): 479.804
CPU user time (s): 479.075
CPU system time (s): 0.728889
CPU usage (%): 99.4304
Max. virtual memory (cumulated for all children) (KiB): 867712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 479.075
system time used= 0.728889
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103323
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= 11717
involuntary context switches= 20007

runsolver used 0.663899 second user time and 1.58776 second system time

The end

Launcher Data (download as text)

Begin job on node70 at 2008-07-12 22:55:01
IDJOB=1114057
IDBENCH=61681
IDSOLVER=359
FILE ID=node70/1114057-1215896100
PBS_JOBID= 7903627
Free space on /tmp= 66440 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/fapp/fapp19/normalized-fapp19-0350-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-1114057-1215896100/watcher-1114057-1215896100 -o /tmp/evaluation-result-1114057-1215896100/solver-1114057-1215896100 -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-1114057-1215896100.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 0e6d4c6cfe45c7fb1ed8c7d48e56685a
RANDOM SEED=763789088

node70.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.221
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.221
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:       1858632 kB
Buffers:         13056 kB
Cached:          43856 kB
SwapCached:       5444 kB
Active:         129116 kB
Inactive:        16900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1858632 kB
SwapTotal:     4192956 kB
SwapFree:      4176556 kB
Dirty:            2744 kB
Writeback:           0 kB
Mapped:         105628 kB
Slab:            35640 kB
Committed_AS:  1059772 kB
PageTables:       2480 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= 66436 MiB
End job on node70 at 2008-07-12 23:03:03