Trace number 2700171

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 NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedOPTIMUM 300.25 300.636

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh309_wcsp.wbo
MD5SUM9ccb130e1efb7ba02e23bcfacb5f0a47
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark276
Best CPU time to get the best result obtained on this benchmark1.62475
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints1000
Number of soft constraints900
Number of constraints which are clauses900
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 444855
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 444854
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 100/0 clauses 0/900 units 0
0.00/0.00	c vars 200
0.00/0.04	c 0.037994 10.2109 1 2046
0.00/0.04	o 23175
0.00/0.04	c 0.037994 10.4492 3 2368
0.00/0.04	o 22925
0.00/0.04	c 0.038994 10.4492 3 3308
0.00/0.04	o 16502
0.00/0.04	c 0.039993 10.4492 18 3868
0.00/0.04	o 16122
0.07/0.09	c 0.051992 10.4492 432 5901
0.07/0.09	o 15530
0.09/0.10	c 0.053991 10.4492 485 6225
0.09/0.10	o 15493
0.30/0.33	c 0.110983 10.5742 584 9810
0.30/0.33	o 15471
0.30/0.35	c 0.116982 10.5742 377 10553
0.30/0.35	o 15337
0.30/0.37	c 0.119981 10.5742 438 10961
0.30/0.37	o 15236
0.79/0.81	c 0.233964 10.6992 1060 18233
0.79/0.81	o 15182
1.00/1.06	c 0.310952 10.6992 550 22932
1.00/1.06	o 15124
1.00/1.07	c 0.319951 10.6992 340 23471
1.00/1.07	o 15122
1.29/1.38	c 0.396939 10.6992 623 27585
1.29/1.38	o 15051
1.29/1.39	c 0.397939 10.6992 363 28620
1.29/1.39	o 14484
1.60/1.64	c 0.462929 10.6992 705 33328
1.60/1.64	o 14276
2.29/2.37	c 0.650901 10.6992 884 41025
2.29/2.37	o 14223
2.29/2.38	c 0.6569 10.6992 543 41585
2.29/2.38	o 14149
2.29/2.38	c 0.657899 10.6992 549 42322
2.29/2.38	o 13483
2.29/2.39	c 0.659899 10.6992 573 42735
2.29/2.39	o 13231
3.39/3.48	c 0.946856 10.6992 961 57729
3.39/3.48	o 13218
4.10/4.15	c 1.12683 10.6992 623 66947
4.10/4.15	o 13162
4.79/4.81	c 1.2868 10.8242 816 76712
4.79/4.81	o 13161
6.30/6.34	c 1.67375 10.8242 535 90031
6.30/6.34	o 13106
6.30/6.36	c 1.68074 10.8242 649 90666
6.30/6.36	o 13049
6.49/6.58	c 1.74073 10.8242 518 95073
6.49/6.58	o 12981
7.09/7.18	c 1.88971 10.8242 829 104461
7.09/7.18	o 12965
8.19/8.21	c 2.14667 10.8242 727 121095
8.19/8.21	o 12860
10.59/10.61	c 2.76358 10.9492 767 149929
10.59/10.61	o 12833
10.59/10.68	c 2.78658 10.9492 433 151533
10.59/10.68	o 12832
10.90/10.95	c 2.84457 10.9492 1008 154850
10.90/10.95	o 12769
11.29/11.30	c 2.94055 10.9492 383 160152
11.29/11.30	o 12637
12.50/12.58	c 3.24951 10.9492 834 170899
12.50/12.58	o 12490
13.80/13.84	c 3.58046 10.9492 616 189430
13.80/13.84	o 12347
13.89/13.94	c 3.60545 10.9492 465 191342
13.89/13.94	o 12287
14.09/14.17	c 3.66544 10.9492 553 195062
14.09/14.17	o 12187
14.20/14.24	c 3.68144 10.9492 840 195994
14.20/14.24	o 12155
14.59/14.62	c 3.78043 10.9492 538 201870
14.59/14.62	o 12127
14.59/14.68	c 3.78942 10.9492 816 202798
14.59/14.68	o 12021
16.69/16.79	c 4.30934 10.9492 515 233624
16.69/16.79	o 11972
17.09/17.15	c 4.41033 10.9492 630 238607
17.09/17.15	o 11828
17.49/17.57	c 4.50931 10.9492 672 244887
17.49/17.57	o 11812
18.60/18.64	c 4.79827 10.9492 698 260680
18.60/18.64	o 11753
18.70/18.72	c 4.83026 11.0742 908 262315
18.70/18.72	o 11687
19.19/19.27	c 4.97524 11.0742 872 269948
19.19/19.27	o 11657
20.49/20.50	c 5.2762 11.0742 894 284183
20.49/20.50	o 11655
20.49/20.51	c 5.2782 11.0742 491 284451
20.49/20.51	o 11630
21.09/21.13	c 5.44217 11.0742 458 292806
21.09/21.13	o 11549
21.59/21.63	c 5.56915 11.0742 973 298650
21.59/21.63	o 11453
22.50/22.53	c 5.78312 11.0742 755 308908
22.50/22.53	o 11444
24.20/24.26	c 6.22105 11.0742 993 333425
24.20/24.26	o 11442
28.99/29.06	c 7.37788 11.1992 669 377434
28.99/29.06	o 11438
30.80/30.82	c 7.79981 11.1992 642 403107
30.80/30.82	o 11310
30.80/30.83	c 7.80481 11.1992 395 403766
30.80/30.83	o 11163
30.80/30.86	c 7.81381 11.1992 545 404388
30.80/30.86	o 11125
31.40/31.47	c 7.96879 11.1992 673 411883
31.40/31.47	o 11048
33.69/33.78	c 8.5387 11.1992 582 443681
33.69/33.78	o 11035
33.90/33.92	c 8.57969 11.1992 583 445815
33.90/33.92	o 11023
34.00/34.07	c 8.61669 11.1992 919 447943
34.00/34.07	o 10982
34.99/35.02	c 8.86565 11.1992 587 455380
34.99/35.02	o 10919
35.89/35.92	c 9.08662 11.1992 610 468755
35.89/35.92	o 10761
35.99/36.02	c 9.11161 11.1992 789 470365
35.99/36.02	o 10733
36.80/36.88	c 9.31158 11.1992 587 481729
36.80/36.88	o 10690
36.89/36.91	c 9.32058 11.1992 722 482208
36.89/36.91	o 10660
37.49/37.55	c 9.46556 11.1992 920 488116
37.49/37.55	o 10521
41.29/41.31	c 10.3864 11.1992 963 534094
41.29/41.31	o 10455
45.80/45.85	c 11.5352 11.1992 766 591422
45.80/45.85	o 10434
48.19/48.24	c 12.1552 11.3203 735 618263
48.19/48.24	o 10411
49.10/49.10	c 12.3721 11.3203 664 629151
49.10/49.10	o 10352
50.79/50.87	c 12.8021 11.3203 736 648699
50.79/50.87	o 10312
51.19/51.22	c 12.896 11.3203 989 652284
51.19/51.22	o 10305
51.70/51.72	c 13.025 11.3203 718 658875
51.70/51.72	o 10153
51.80/51.83	c 13.061 11.3203 811 660395
51.80/51.83	o 10017
52.49/52.54	c 13.245 11.3203 813 670064
52.49/52.54	o 9909
53.69/53.71	c 13.5179 11.3203 445 684505
53.69/53.71	o 9905
58.60/58.63	c 14.7548 11.3203 967 742696
58.60/58.63	o 9890
58.60/58.68	c 14.7668 11.3203 722 743402
58.60/58.68	o 9864
60.29/60.34	c 15.1787 11.3203 738 762554
60.29/60.34	o 9860
68.29/68.30	c 17.2014 11.3203 448 851393
68.29/68.30	o 9845
68.29/68.37	c 17.2144 11.4453 730 852320
68.29/68.37	o 9837
69.30/69.39	c 17.4653 11.4453 684 863295
69.30/69.39	o 9741
71.89/71.97	c 18.1042 11.4453 565 894086
71.89/71.97	o 9534
71.99/72.03	c 18.1262 11.4453 891 895251
71.99/72.03	o 9422
72.69/72.76	c 18.2922 11.4453 756 904626
72.69/72.76	o 9356
73.49/73.53	c 18.4782 11.4453 449 913179
73.49/73.53	o 9197
77.79/77.87	c 19.55 11.4453 611 961963
77.79/77.87	o 9104
81.48/81.61	c 20.6149 11.4453 782 1002246
81.48/81.61	o 9087
83.18/83.36	c 21.6837 11.4453 555 1020405
83.18/83.36	o 9086
83.77/83.96	c 22.0636 11.4453 707 1027396
83.77/83.96	o 9014
84.37/84.56	c 22.4546 11.4453 758 1035602
84.37/84.56	o 8977
89.57/89.70	c 25.6131 11.4453 525 1080636
89.57/89.70	o 8952
90.28/90.47	c 26.085 11.4453 681 1088443
90.28/90.47	o 8903
90.38/90.57	c 26.14 11.4453 686 1089586
90.38/90.57	o 8884
90.68/90.86	c 26.335 11.4453 562 1093622
90.68/90.86	o 8821
90.68/90.89	c 26.359 11.4453 706 1094245
90.68/90.89	o 8805
93.51/93.97	c 27.9438 11.4453 898 1123814
93.51/93.97	o 8696
93.81/94.20	c 28.0017 11.4453 940 1125569
93.81/94.20	o 8645
93.81/94.29	c 28.0297 11.4453 769 1126426
93.81/94.29	o 8583
95.70/96.11	c 28.4717 11.5742 871 1146105
95.70/96.11	o 8577
101.21/101.62	c 29.8595 11.5742 681 1210313
101.21/101.62	o 8523
101.40/101.81	c 29.9145 11.5742 745 1212820
101.40/101.81	o 8409
102.11/102.51	c 30.0854 11.5742 973 1220645
102.11/102.51	o 8388
102.61/103.08	c 30.2204 11.5742 754 1227052
102.61/103.08	o 8251
106.80/107.21	c 31.2602 11.5742 677 1268482
106.80/107.21	o 8248
109.20/109.63	c 31.8512 11.5742 697 1294554
109.20/109.63	o 8142
111.61/112.03	c 32.4191 11.5742 822 1321404
111.61/112.03	o 8116
111.91/112.38	c 32.4971 11.5742 742 1325540
111.91/112.38	o 8111
112.81/113.23	c 32.696 11.5742 549 1332398
112.81/113.23	o 8023
113.01/113.46	c 32.751 11.5742 887 1335266
113.01/113.46	o 8012
113.21/113.67	c 32.782 11.5742 816 1337518
113.21/113.67	o 7889
114.01/114.41	c 33.116 11.5742 633 1344841
114.01/114.41	o 7861
114.01/114.45	c 33.138 11.5742 803 1345545
114.01/114.45	o 7827
115.90/116.30	c 33.7139 11.5742 775 1362991
115.90/116.30	o 7819
116.00/116.45	c 33.7479 11.5742 954 1364201
116.00/116.45	o 7806
116.90/117.31	c 33.9088 11.5742 805 1373198
116.90/117.31	o 7774
125.01/125.49	c 35.4486 11.5742 859 1450789
125.01/125.49	o 7736
130.10/130.56	c 36.5244 11.7031 853 1500862
130.10/130.56	o 7722
130.60/131.04	c 36.6214 11.7031 928 1505825
130.60/131.04	o 7713
141.10/141.56	c 38.6171 11.7031 780 1605918
141.10/141.56	o 7680
143.71/144.19	c 39.0461 11.7031 812 1634700
143.71/144.19	o 7623
145.30/145.72	c 39.347 11.7031 734 1647530
145.30/145.72	o 7618
146.80/147.25	c 39.674 11.7031 589 1664359
146.80/147.25	o 7603
147.30/147.77	c 39.8179 11.7031 743 1670246
147.30/147.77	o 7580
153.80/154.21	c 41.0548 11.7031 625 1727685
153.80/154.21	o 7490
156.00/156.42	c 41.4897 11.7031 460 1751907
156.00/156.42	o 7462
157.00/157.48	c 41.6757 11.7031 642 1762326
157.00/157.48	o 7433
157.20/157.60	c 41.6997 11.7031 790 1764077
157.20/157.60	o 7305
159.30/159.72	c 42.0476 11.7031 483 1784306
159.30/159.72	o 7278
160.90/161.36	c 42.4196 11.7031 976 1798845
160.90/161.36	o 7250
165.50/165.99	c 43.2374 11.7031 552 1841861
165.50/165.99	o 7247
165.91/166.34	c 43.2894 11.7031 510 1845125
165.91/166.34	o 7237
166.00/166.41	c 43.2964 11.7031 801 1845946
166.00/166.41	o 7168
166.81/167.25	c 43.5294 11.7031 771 1855701
166.81/167.25	o 7126
168.91/169.36	c 43.9503 11.8281 746 1877320
168.91/169.36	o 7112
180.50/180.92	c 46.29 11.8281 762 1979131
180.50/180.92	o 7052
182.80/183.20	c 46.7259 11.8281 492 2003113
182.80/183.20	o 7008
184.40/184.89	c 46.9879 11.8281 1046 2020766
184.40/184.89	o 6853
184.91/185.34	c 47.0948 11.8281 519 2026293
184.91/185.34	o 6844
185.40/185.82	c 47.1688 11.8281 626 2031183
185.40/185.82	o 6788
185.60/186.08	c 47.1988 11.8281 528 2032871
185.60/186.08	o 6787
187.40/187.83	c 47.5678 11.8281 885 2050228
187.40/187.83	o 6749
190.00/190.48	c 48.0577 11.8281 906 2073986
190.00/190.48	o 6713
191.20/191.63	c 48.2607 11.8281 464 2084437
191.20/191.63	o 6674
192.20/192.68	c 48.4136 11.8281 492 2094133
192.20/192.68	o 6602
192.90/193.37	c 48.5966 11.8281 779 2100232
192.90/193.37	o 6596
198.50/198.93	c 49.5165 11.8281 943 2147945
198.50/198.93	o 6571
202.40/202.81	c 50.2884 11.8281 848 2182937
202.40/202.81	o 6482
206.21/206.69	c 51.0072 11.8281 909 2220640
206.21/206.69	o 6469
209.60/210.06	c 51.5922 11.8281 988 2253817
209.60/210.06	o 6340
210.50/210.91	c 51.7191 11.8281 799 2259477
210.50/210.91	o 6333
213.50/213.99	c 52.33 11.8281 589 2288144
213.50/213.99	o 6253
215.60/216.00	c 52.644 11.8281 639 2304031
215.60/216.00	o 6197
229.41/229.87	c 55.2976 11.9492 994 2417954
229.41/229.87	o 6100
230.31/230.74	c 55.4176 11.9492 866 2424893
230.31/230.74	o 6035
231.10/231.58	c 55.5865 11.9492 877 2433111
231.10/231.58	o 6017
235.80/236.29	c 56.4674 11.9492 867 2470607
235.80/236.29	o 5986
236.30/236.73	c 56.5314 11.9492 647 2474629
236.30/236.73	o 5854
237.30/237.71	c 56.6984 11.9492 577 2484081
237.30/237.71	o 5815
237.40/237.89	c 56.7344 11.9492 799 2485621
237.40/237.89	o 5798
237.81/238.20	c 56.7824 11.9492 929 2487852
237.81/238.20	o 5584
239.61/240.08	c 57.1593 11.9492 633 2502953
239.61/240.08	o 5424
240.20/240.62	c 57.2393 11.9492 704 2507542
240.20/240.62	o 5394
243.90/244.34	c 57.8732 11.9492 832 2535295
243.90/244.34	o 5359
244.40/244.84	c 57.9552 11.9492 701 2540161
244.40/244.84	o 5302
245.20/245.68	c 58.1212 11.9492 656 2547766
245.20/245.68	o 5255
245.91/246.39	c 58.3011 11.9492 486 2553713
245.91/246.39	o 5245
246.10/246.52	c 58.3181 11.9492 1003 2554841
246.10/246.52	o 5244
246.50/246.94	c 58.3841 11.9492 844 2557650
246.50/246.94	o 5203
247.51/247.92	c 58.5631 11.9492 434 2566317
247.51/247.92	o 5130
248.41/248.88	c 58.7091 11.9492 877 2573101
248.41/248.88	o 5103
248.90/249.37	c 58.7871 11.9492 561 2577980
248.90/249.37	o 4992
251.90/252.35	c 59.358 11.9492 845 2599218
251.90/252.35	o 4965
252.11/252.58	c 59.41 11.9492 805 2601237
252.11/252.58	o 4961
253.20/253.67	c 59.6349 11.9492 1040 2610847
253.20/253.67	o 4841
255.61/256.09	c 60.0629 11.9492 621 2629055
255.61/256.09	o 4838
256.41/256.82	c 60.1649 11.9492 617 2635369
256.41/256.82	o 4787
258.90/259.38	c 60.6918 11.9492 488 2655318
258.90/259.38	o 4769
259.11/259.53	c 60.7288 11.9492 478 2656378
259.11/259.53	o 4766
259.20/259.66	c 60.7618 11.9492 936 2657611
259.20/259.66	o 4693
259.61/260.04	c 60.8378 11.9492 625 2660073
259.61/260.04	o 4633
260.10/260.59	c 60.9107 11.9492 742 2664868
260.10/260.59	o 4547
260.80/261.23	c 61.0167 11.9492 875 2670220
260.80/261.23	o 4530
261.70/262.18	c 61.1797 11.9492 586 2676194
261.70/262.18	o 4481
263.31/263.73	c 61.4147 11.9492 714 2687722
263.31/263.73	o 4477
263.31/263.77	c 61.4237 11.9492 846 2688062
263.31/263.77	o 4473
263.41/263.84	c 61.4397 11.9492 645 2688757
263.41/263.84	o 4322
263.51/263.91	c 61.4477 11.9492 849 2689288
263.51/263.91	o 4318
265.51/265.93	c 61.8726 11.9492 766 2703726
265.51/265.93	o 4233
266.31/266.71	c 61.9956 11.9492 604 2709567
266.31/266.71	o 4205
267.00/267.43	c 62.1076 11.9492 648 2714947
267.00/267.43	o 4179
269.61/270.09	c 62.5625 11.9492 671 2732183
269.61/270.09	o 4164
269.90/270.30	c 62.6055 11.9492 577 2734092
269.90/270.30	o 4119
270.00/270.47	c 62.6275 11.9492 729 2735523
270.00/270.47	o 4104
270.21/270.62	c 62.6545 11.9492 782 2736671
270.21/270.62	o 4094
270.50/270.95	c 62.6925 11.9492 529 2739448
270.50/270.95	o 4078
273.01/273.48	c 63.1754 11.9492 518 2755721
273.01/273.48	o 3953
273.21/273.67	c 63.2174 11.9492 632 2757333
273.21/273.67	o 3919
274.70/275.11	c 63.4394 11.9492 723 2768281
274.70/275.11	o 3903
274.80/275.30	c 63.4614 11.9492 805 2769698
274.91/275.30	o 3867
275.81/276.20	c 63.6523 11.9492 490 2775845
275.81/276.20	o 3793
275.90/276.31	c 63.6683 11.9492 833 2776709
275.90/276.31	o 3758
277.10/277.55	c 63.8643 12.0742 943 2785413
277.10/277.55	o 3712
277.30/277.76	c 63.9133 12.0742 649 2786945
277.30/277.76	o 3703
279.01/279.40	c 64.2932 12.0742 674 2797720
279.01/279.40	o 3625
279.61/280.02	c 64.4052 12.0742 828 2802399
279.61/280.02	o 3546
283.10/283.54	c 64.9891 12.0742 995 2824102
283.10/283.54	o 3540
283.71/284.12	c 65.0891 12.0742 662 2828940
283.71/284.12	o 3539
283.81/284.28	c 65.1361 12.0742 696 2830063
283.81/284.28	o 3500
284.30/284.71	c 65.2101 12.0742 618 2832865
284.30/284.71	o 3481
284.61/285.02	c 65.3011 12.0742 662 2835091
284.61/285.02	o 3394
284.90/285.36	c 65.3751 12.0742 698 2837086
284.90/285.36	o 3300
285.30/285.70	c 65.459 12.0742 806 2839430
285.30/285.70	o 3108
285.41/285.88	c 65.497 12.0742 554 2841068
285.41/285.88	o 3060
285.51/285.95	c 65.507 12.0742 734 2841530
285.51/285.95	o 3055
286.30/286.71	c 65.657 12.0742 751 2847016
286.30/286.71	o 2993
286.40/286.84	c 65.674 12.0742 707 2847782
286.40/286.84	o 2927
286.81/287.24	c 65.732 12.0742 710 2850925
286.81/287.24	o 2846
287.00/287.46	c 65.771 12.0742 880 2852421
287.00/287.46	o 2806
287.60/288.01	c 65.874 12.0742 610 2855696
287.60/288.01	o 2775
288.50/288.94	c 66.032 12.2461 929 2861620
288.50/288.94	o 2761
288.81/289.23	c 66.077 12.2461 906 2863579
288.81/289.23	o 2708
288.91/289.34	c 66.094 12.2461 813 2864375
288.91/289.34	o 2656
289.10/289.55	c 66.1259 12.2461 565 2866001
289.10/289.55	o 2589
289.30/289.71	c 66.1629 12.2461 614 2867091
289.30/289.71	o 2561
289.60/290.04	c 66.2239 12.2461 619 2869321
289.60/290.04	o 2490
290.20/290.69	c 66.3269 12.2461 641 2873160
290.20/290.69	o 2479
290.30/290.73	c 66.3299 12.2461 745 2873440
290.30/290.73	o 2450
290.50/290.97	c 66.3709 12.2461 516 2874809
290.50/290.97	o 2418
290.81/291.24	c 66.4249 12.2461 846 2876626
290.81/291.24	o 2411
290.90/291.38	c 66.4689 12.2461 792 2877588
290.90/291.38	o 2365
292.00/292.46	c 66.7668 12.2461 789 2884710
292.00/292.46	o 2335
292.21/292.64	c 66.7938 12.375 887 2885888
292.21/292.64	o 2316
292.21/292.68	c 66.7998 12.375 588 2886275
292.21/292.68	o 2289
292.51/292.95	c 66.8408 12.375 878 2888121
292.51/292.95	o 2226
293.31/293.72	c 66.9638 12.375 709 2892531
293.31/293.72	o 2224
293.31/293.79	c 66.9828 12.375 907 2893112
293.31/293.79	o 2187
293.50/293.94	c 67.0018 12.375 912 2894189
293.50/293.94	o 2152
293.50/293.99	c 67.0118 12.375 611 2894633
293.50/293.99	o 2136
293.70/294.13	c 67.0308 12.375 580 2895699
293.70/294.13	o 2040
293.70/294.18	c 67.0398 12.375 735 2896082
293.70/294.18	o 2008
293.90/294.33	c 67.0698 12.375 637 2896836
293.90/294.33	o 1994
294.31/294.71	c 67.1608 12.375 772 2898999
294.31/294.71	o 1984
294.31/294.79	c 67.1718 12.375 970 2899596
294.31/294.79	o 1890
294.41/294.83	c 67.1758 12.375 612 2899970
294.41/294.83	o 1880
294.50/294.98	c 67.1968 12.375 554 2901073
294.50/294.98	o 1874
294.60/295.05	c 67.2018 12.375 730 2901456
294.60/295.05	o 1861
294.60/295.08	c 67.2118 12.375 856 2901831
294.60/295.08	o 1859
294.90/295.34	c 67.2568 12.375 704 2903524
294.90/295.34	o 1822
295.91/296.36	c 67.4517 12.375 950 2910045
295.91/296.36	o 1811
296.11/296.59	c 67.5047 12.375 647 2911507
296.11/296.59	o 1798
296.61/297.03	c 67.5627 12.375 893 2913943
296.61/297.03	o 1780
296.71/297.10	c 67.5747 12.375 675 2914543
296.71/297.10	o 1748
297.51/297.99	c 67.7807 12.375 559 2919304
297.51/297.99	o 1729
298.10/298.51	c 67.9447 12.375 855 2922309
298.10/298.51	o 1604
298.10/298.58	c 67.9637 12.375 580 2922765
298.10/298.58	o 1551
298.30/298.72	c 68.0007 12.375 489 2923746
298.30/298.72	o 1527
298.30/298.77	c 68.0117 12.375 609 2924106
298.30/298.77	o 1500
298.30/298.78	c 68.0137 12.375 653 2924293
298.30/298.78	o 1441
298.40/298.82	c 68.0177 12.375 766 2924635
298.40/298.82	o 1439
298.50/298.94	c 68.0467 12.375 749 2925546
298.50/298.94	o 1433
298.50/298.98	c 68.0547 12.375 868 2925962
298.50/298.98	o 1358
298.60/299.04	c 68.0717 12.375 559 2926304
298.60/299.04	o 1335
298.60/299.07	c 68.0786 12.375 626 2926471
298.60/299.07	o 1297
298.81/299.22	c 68.1036 12.375 568 2927430
298.81/299.22	o 1230
298.81/299.26	c 68.1126 12.375 694 2927747
298.81/299.26	o 1215
298.90/299.30	c 68.1186 12.375 815 2928074
298.90/299.30	o 1169
299.00/299.45	c 68.1466 12.375 813 2929090
299.00/299.45	o 1164
299.00/299.47	c 68.1476 12.375 862 2929272
299.00/299.47	o 1142
299.11/299.53	c 68.1586 12.375 574 2929637
299.11/299.53	o 1141
299.21/299.60	c 68.1756 12.375 826 2930226
299.21/299.60	o 1119
299.21/299.67	c 68.1826 12.375 553 2930706
299.21/299.67	o 1104
299.30/299.70	c 68.1906 12.375 678 2930976
299.30/299.70	o 1063
299.30/299.77	c 68.2056 12.5 841 2931296
299.30/299.77	o 1052
299.41/299.81	c 68.2166 12.5 947 2931643
299.41/299.81	o 1014
299.41/299.90	c 68.2406 12.5 713 2932105
299.41/299.90	o 992
299.51/299.94	c 68.2456 12.5 830 2932399
299.51/299.94	o 959
299.51/299.95	c 68.2486 12.5 869 2932512
299.51/299.95	o 940
299.60/300.00	c 68.2576 12.5 529 2932889
299.60/300.00	o 902
299.60/300.10	c 68.2766 12.5 820 2933503
299.60/300.10	o 864
299.70/300.15	c 68.2936 12.5 996 2933927
299.70/300.15	o 788
299.70/300.19	c 68.3036 12.5 604 2934215
299.70/300.19	o 759
299.81/300.26	c 68.3206 12.5 851 2934785
299.81/300.26	o 721
299.81/300.27	c 68.3226 12.5 886 2934875
299.81/300.27	o 717
299.91/300.33	c 68.3326 12.5 1139 2935247
299.91/300.33	o 710
300.01/300.40	c 68.3636 12.5 858 2935755
300.01/300.40	o 686
300.01/300.43	c 68.3736 12.5 983 2935969
300.01/300.43	o 660
300.01/300.44	c 68.3756 12.5 1007 2936041
300.01/300.44	o 653
300.01/300.48	c 68.3866 12.5 1182 2936531
300.01/300.48	o 541
300.11/300.51	c 68.3976 12.5 1070 2936772
300.11/300.51	o 536
300.11/300.55	c 68.4116 12.5 1210 2937096
300.11/300.55	o 477
300.11/300.56	c 68.4156 12.5 1214 2937246
300.11/300.56	o 441
300.11/300.59	c 68.4206 12.5 1233 2937498
300.11/300.59	o 395
300.11/300.59	c 68.4236 12.5 1251 2937550
300.11/300.59	o 379
300.20/300.61	c 68.4316 12.5 1359 2937777
300.20/300.61	o 363
300.20/300.61	c 68.4326 12.5 1361 2937827
300.20/300.61	o 322
300.20/300.62	c 68.4366 12.5 1424 2937956
300.20/300.62	o 276
300.20/300.62	c 68.4386 12.5 712 2937962
300.20/300.62	s OPTIMUM FOUND
300.20/300.62	v x1 -x2 x3 -x4 -x5 x6 x7 -x8 -x9 x10 -x11 x12 x13 -x14 -x15 x16 x17 -x18 -x19 x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 -x31 x32 -x33 x34 -x35 x36 -x37 x38 x39 -x40 x41 -x42 x43 -x44 -x45 x46 x47 -x48 x49 -x50 -x51 x52 -x53 x54 -x55 x56 x57 -x58 x59 -x60 -x61 x62 -x63 x64 x65 -x66 x67 -x68 -x69 x70 -x71 x72 x73 -x74 x75 -x76 -x77 x78 x79 -x80 x81 -x82 -x83 x84 -x85 x86 x87 -x88 -x89 x90 -x91 x92 -x93 x94 -x95 x96 x97 -x98 x99 -x100 x101 -x102 -x103 x104 -x105 x106 -x107 x108 -x109 x110 -x111 x112 -x113 x114 -x115 x116 -x117 x118 x119 -x120 -x121 x122 -x123 x124 -x125 x126 -x127 x128 -x129 x130 x131 -x132 -x133 x134 -x135 x136 x137 -x138 x139 -x140 -x141 x142 -x143 x144 x145 -x146 x147 -x148 -x149 x150 -x151 x152 -x153 x154 x155 -x156 -x157 x158 -x159 x160 -x161 x162 x163 -x164 -x165 x166 -x167 x168 x169 -x170 -x171 x172 x173 -x174 -x175 x176 -x177 x178 -x179 x180 x181 -x182 x183 -x184 -x185 x186 -x187 x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 -x197 x198 x199 -x200

Verifier Data 

OK	276

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700171-1278534251/watcher-2700171-1278534251 -o /tmp/evaluation-result-2700171-1278534251/solver-2700171-1278534251 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700171-1278534251.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.23 3.55 1.78 5/190 17778
/proc/meminfo: memFree=30107592/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=2136 CPUtime=0
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 261 0 0 0 0 0 0 0 22 0 1 0 21638364 2187264 181 4089446400 134512640 136422188 4292246016 18446744073709551615 135717690 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17778/statm: 534 181 144 467 0 65 0

[startup+0.0884529 s]
/proc/loadavg: 4.23 3.55 1.78 5/190 17778
/proc/meminfo: memFree=30107592/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=10696 CPUtime=0.07
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 2398 0 0 0 4 3 0 0 22 0 1 0 21638364 10952704 2314 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 2674 2314 238 467 0 2205 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10696

[startup+0.101471 s]
/proc/loadavg: 4.23 3.55 1.78 5/190 17778
/proc/meminfo: memFree=30107592/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=10696 CPUtime=0.09
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 2404 0 0 0 5 4 0 0 22 0 1 0 21638364 10952704 2319 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 2674 2319 238 467 0 2205 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10696

[startup+0.302434 s]
/proc/loadavg: 4.23 3.55 1.78 5/190 17778
/proc/meminfo: memFree=30107592/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=10824 CPUtime=0.3
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 2427 0 0 0 10 20 0 0 22 0 1 0 21638364 11083776 2341 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 2706 2341 238 467 0 2237 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10824

[startup+0.701318 s]
/proc/loadavg: 4.23 3.55 1.78 5/190 17778
/proc/meminfo: memFree=30107592/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=10824 CPUtime=0.69
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 2442 0 0 0 20 49 0 0 24 0 1 0 21638364 11083776 2353 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 2706 2353 238 467 0 2237 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10824

[startup+1.50022 s]
/proc/loadavg: 4.23 3.55 1.78 3/191 17779
/proc/meminfo: memFree=30099316/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=10952 CPUtime=1.49
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 2464 0 0 0 42 107 0 0 25 0 1 0 21638364 11214848 2370 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 2738 2370 238 467 0 2269 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10952

[startup+3.10092 s]
/proc/loadavg: 4.23 3.55 1.78 9/191 17779
/proc/meminfo: memFree=30098944/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=10952 CPUtime=3.09
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 2492 0 0 0 84 225 0 0 25 0 1 0 21638364 11214848 2393 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 2738 2393 238 467 0 2269 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10952

[startup+6.30033 s]
/proc/loadavg: 4.45 3.61 1.81 3/191 17779
/proc/meminfo: memFree=30099048/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=11080 CPUtime=6.3
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 2530 0 0 0 166 464 0 0 25 0 1 0 21638364 11345920 2428 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 2770 2428 238 467 0 2301 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 11080

[startup+12.7002 s]
/proc/loadavg: 4.49 3.63 1.83 3/191 17779
/proc/meminfo: memFree=30099096/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=11208 CPUtime=12.69
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 2563 0 0 0 327 942 0 0 25 0 1 0 21638364 11476992 2451 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 2802 2451 238 467 0 2333 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11208

[startup+25.5036 s]
/proc/loadavg: 4.59 3.70 1.88 5/191 17779
/proc/meminfo: memFree=30098956/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=11464 CPUtime=25.5
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 2633 0 0 0 652 1898 0 0 25 0 1 0 21638364 11739136 2503 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 2866 2503 238 467 0 2397 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 11464

[startup+51.1021 s]
/proc/loadavg: 4.49 3.74 1.94 4/191 17780
/proc/meminfo: memFree=30098784/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=11588 CPUtime=51.09
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 2690 0 0 0 1285 3824 0 0 25 0 1 0 21638364 11866112 2541 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 2897 2541 238 467 0 2428 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11588

[startup+102.306 s]
/proc/loadavg: 4.08 3.76 2.04 4/191 17781
/proc/meminfo: memFree=30098512/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=11848 CPUtime=101.91
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 2788 0 0 0 3003 7188 0 0 25 0 1 0 21638364 12132352 2608 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17778/statm: 2962 2608 238 467 0 2493 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 11848

[startup+162.301 s]
/proc/loadavg: 2.97 3.52 2.07 3/183 17899
/proc/meminfo: memFree=30157508/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=11980 CPUtime=161.9
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 2862 0 0 0 4256 11934 0 0 25 0 1 0 21638364 12267520 2654 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 2995 2654 238 467 0 2526 0
Current children cumulated CPU time (s) 161.9
Current children cumulated vsize (KiB) 11980

[startup+222.301 s]
/proc/loadavg: 2.36 3.24 2.06 3/183 17901
/proc/meminfo: memFree=30156568/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=12232 CPUtime=221.9
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 2932 0 0 0 5389 16801 0 0 25 0 1 0 21638364 12525568 2701 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 3058 2701 238 467 0 2589 0
Current children cumulated CPU time (s) 221.9
Current children cumulated vsize (KiB) 12232

[startup+282.3 s]
/proc/loadavg: 2.13 3.01 2.06 3/183 17902
/proc/meminfo: memFree=30156240/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=12360 CPUtime=281.9
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 3019 0 0 0 6482 21708 0 0 25 0 1 0 21638364 12656640 2735 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 3090 2735 238 467 0 2621 0
Current children cumulated CPU time (s) 281.9
Current children cumulated vsize (KiB) 12360

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

[startup+294.301 s]
/proc/loadavg: 2.10 2.96 2.05 3/183 17902
/proc/meminfo: memFree=30155844/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=12668 CPUtime=293.9
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 3112 0 0 0 6705 22685 0 0 20 0 1 0 21638364 12972032 2793 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 3167 2793 238 467 0 2698 0
Current children cumulated CPU time (s) 293.9
Current children cumulated vsize (KiB) 12668

[startup+297.5 s]
/proc/loadavg: 2.10 2.96 2.05 3/183 17903
/proc/meminfo: memFree=30155960/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=12668 CPUtime=297.1
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 3125 0 0 0 6764 22946 0 0 22 0 1 0 21638364 12972032 2794 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 3167 2794 238 467 0 2698 0
Current children cumulated CPU time (s) 297.1
Current children cumulated vsize (KiB) 12668

[startup+299.1 s]
/proc/loadavg: 2.09 2.95 2.05 3/183 17903
/proc/meminfo: memFree=30155836/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=12668 CPUtime=298.71
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 3136 0 0 0 6808 23063 0 0 25 0 1 0 21638364 12972032 2794 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 3167 2794 238 467 0 2698 0
Current children cumulated CPU time (s) 298.71
Current children cumulated vsize (KiB) 12668

[startup+299.901 s]
/proc/loadavg: 2.09 2.95 2.05 3/183 17903
/proc/meminfo: memFree=30155836/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=12796 CPUtime=299.51
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 3155 0 0 0 6824 23127 0 0 18 0 1 0 21638364 13103104 2801 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 3199 2801 238 467 0 2730 0
Current children cumulated CPU time (s) 299.51
Current children cumulated vsize (KiB) 12796

[startup+300.306 s]
/proc/loadavg: 2.09 2.95 2.05 3/183 17903
/proc/meminfo: memFree=30155836/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=12796 CPUtime=299.91
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 3168 0 0 0 6832 23159 0 0 18 0 1 0 21638364 13103104 2806 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 3199 2806 238 467 0 2730 0
Current children cumulated CPU time (s) 299.91
Current children cumulated vsize (KiB) 12796

[startup+300.501 s]
/proc/loadavg: 2.09 2.95 2.05 3/183 17903
/proc/meminfo: memFree=30155836/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=12796 CPUtime=300.11
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 3181 0 0 0 6839 23172 0 0 18 0 1 0 21638364 13103104 2814 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 3199 2814 238 467 0 2730 0
Current children cumulated CPU time (s) 300.11
Current children cumulated vsize (KiB) 12796

[startup+300.601 s]
/proc/loadavg: 2.09 2.95 2.05 3/183 17903
/proc/meminfo: memFree=30155836/32951124 swapFree=67111528/67111528
[pid=17778] ppid=17776 vsize=12796 CPUtime=300.2
/proc/17778/stat : 17778 (pbct) R 17776 17778 17268 0 -1 4202496 3187 0 0 0 6842 23178 0 0 18 0 1 0 21638364 13103104 2815 4089446400 134512640 136422188 4292246016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17778/statm: 3199 2815 238 467 0 2730 0
Current children cumulated CPU time (s) 300.2
Current children cumulated vsize (KiB) 12796

Child status: 0
Real time (s): 300.636
CPU time (s): 300.25
CPU user time (s): 68.4476
CPU system time (s): 231.803
CPU usage (%): 99.8716
Max. virtual memory (cumulated for all children) (KiB): 12796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.4476
system time used= 231.803
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3198
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 2480

runsolver used 0.430934 second user time and 1.01185 second system time

The end

Launcher Data 

Begin job on node132 at 2010-07-07 22:24:11
IDJOB=2700171
IDBENCH=79405
IDSOLVER=1212
FILE ID=node132/2700171-1278534251
PBS_JOBID= 11239214
Free space on /tmp= 73564 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh309_wcsp.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700171-1278534251/watcher-2700171-1278534251 -o /tmp/evaluation-result-2700171-1278534251/solver-2700171-1278534251 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2700171-1278534251.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 9ccb130e1efb7ba02e23bcfacb5f0a47
RANDOM SEED=1118915051

node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30107748 kB
Buffers:        128928 kB
Cached:        2452868 kB
SwapCached:          0 kB
Active:         967700 kB
Inactive:      1730480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30107748 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1992 kB
Writeback:           0 kB
AnonPages:      117080 kB
Mapped:          18884 kB
Slab:            81208 kB
PageTables:       5180 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   332852 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73576 MiB
End job on node132 at 2010-07-07 22:29:12