Trace number 2700336

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.1OPTIMUM 138.801 138.796

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh13_wcsp.wbo
MD5SUM3100ea9ba7746ae86daacced189e255b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark109
Best CPU time to get the best result obtained on this benchmark0.031995
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 constraints950
Number of soft constraints850
Number of constraints which are clauses850
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 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
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.1 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/850 units 0
0.00/0.00	c vars 200
0.02/0.03	c 0.037994 10 1 1936
0.02/0.03	o 29884
0.02/0.04	c 0.037994 10.2188 1 2825
0.02/0.04	o 28450
0.02/0.04	c 0.038994 10.2188 4 3198
0.02/0.04	o 28127
0.02/0.04	c 0.038994 10.2188 4 4076
0.02/0.04	o 23745
0.02/0.04	c 0.038994 10.2188 4 4468
0.02/0.04	o 23604
0.02/0.04	c 0.038994 10.2188 7 5159
0.02/0.04	o 22987
0.02/0.04	c 0.038994 10.2188 7 6033
0.02/0.04	o 15254
0.02/0.05	c 0.038994 10.2188 8 6702
0.02/0.05	o 14740
0.02/0.05	c 0.038994 10.2188 9 7426
0.02/0.05	o 14225
0.02/0.05	c 0.038994 10.2188 9 8301
0.02/0.05	o 10704
0.02/0.05	c 0.038994 10.2188 10 8834
0.02/0.05	o 10377
0.02/0.05	c 0.038994 10.2188 12 9473
0.02/0.05	o 9931
0.02/0.06	c 0.038994 10.2188 15 9745
0.02/0.06	o 9902
0.02/0.07	c 0.041993 10.2188 69 10612
0.02/0.07	o 9150
2.39/2.48	c 0.746886 10.4688 849 38735
2.39/2.48	o 9133
5.09/5.13	c 1.18582 10.4688 649 69292
5.09/5.13	o 8973
7.59/7.65	c 1.72474 10.4688 776 92549
7.59/7.65	o 8705
13.09/13.13	c 2.78058 10.5938 739 152125
13.09/13.13	o 8662
13.59/13.63	c 2.86456 10.5938 754 158652
13.59/13.63	o 8627
14.40/14.42	c 3.14752 10.5938 844 167568
14.40/14.42	o 8610
15.09/15.18	c 3.37149 10.5938 921 173343
15.09/15.18	o 8591
16.99/17.07	c 3.71344 10.5938 708 195399
16.99/17.07	o 8533
18.70/18.74	c 4.00539 10.5938 541 212758
18.70/18.74	o 8382
22.00/22.01	c 4.92925 10.7188 504 250448
22.00/22.01	o 8261
22.00/22.07	c 4.93925 10.7188 723 251215
22.00/22.07	o 8236
23.59/23.61	c 5.20221 10.7188 732 268691
23.59/23.61	o 8232
24.20/24.26	c 5.33019 10.7188 641 276059
24.20/24.26	o 8204
25.09/25.12	c 5.48317 10.7188 830 286265
25.09/25.12	o 8131
28.60/28.67	c 6.41202 10.7188 636 324137
28.60/28.67	o 8098
30.89/30.97	c 6.82496 10.7188 856 347896
30.89/30.97	o 8037
31.09/31.16	c 6.85996 10.7188 611 350536
31.09/31.16	o 7914
31.70/31.79	c 6.96894 10.7188 597 357720
31.70/31.79	o 7842
37.59/37.68	c 8.23775 10.8477 487 415343
37.59/37.68	o 7778
39.09/39.13	c 8.47971 10.8477 470 430828
39.09/39.13	o 7772
41.20/41.21	c 9.07562 10.8477 470 454421
41.20/41.21	o 7769
41.40/41.44	c 9.12961 10.8477 561 456210
41.40/41.44	o 7748
42.59/42.66	c 9.32758 10.8477 475 466996
42.59/42.66	o 7722
42.69/42.70	c 9.34158 10.8477 656 467536
42.69/42.70	o 7706
43.79/43.89	c 9.55055 10.8477 778 481147
43.79/43.89	o 7584
44.30/44.34	c 9.61754 10.8477 533 486618
44.30/44.34	o 7430
44.40/44.42	c 9.63453 10.8477 820 487331
44.40/44.42	o 7400
46.10/46.15	c 9.8985 10.8477 803 503977
46.10/46.15	o 7336
46.30/46.32	c 9.91749 10.8477 590 505649
46.30/46.32	o 7199
46.49/46.55	c 9.98148 10.8477 422 507989
46.49/46.55	o 7160
48.99/49.01	c 10.6164 10.8477 751 532025
48.99/49.01	o 7101
55.39/55.41	c 11.9482 10.8477 586 594625
55.39/55.41	o 6903
56.70/56.71	c 12.1532 10.8477 733 608465
56.70/56.71	o 6707
58.49/58.57	c 12.4131 10.8477 728 626107
58.49/58.57	o 6692
59.30/59.30	c 12.5261 10.8477 501 631069
59.30/59.30	o 6681
59.99/60.06	c 12.7981 10.8477 829 638715
59.99/60.06	o 6655
61.19/61.23	c 13.181 10.8477 460 650384
61.19/61.23	o 6353
61.50/61.53	c 13.228 10.8477 468 653409
61.50/61.53	o 6242
61.99/62.05	c 13.319 10.8477 700 657723
61.99/62.05	o 6167
62.30/62.31	c 13.364 10.8477 647 660539
62.30/62.31	o 6125
63.40/63.50	c 13.5449 10.8477 568 669641
63.40/63.50	o 6071
64.29/64.34	c 13.7039 10.9688 496 675703
64.29/64.34	o 6007
64.60/64.66	c 13.7629 10.9688 702 678421
64.60/64.66	o 5969
64.90/64.94	c 13.8239 10.9688 604 680808
64.90/64.94	o 5936
65.29/65.31	c 13.8799 10.9688 658 684392
65.29/65.31	o 5845
68.49/68.52	c 14.6668 10.9688 539 711525
68.49/68.52	o 5744
71.79/71.86	c 15.1777 10.9688 582 740853
71.79/71.86	o 5698
72.80/72.82	c 15.3627 10.9688 446 747943
72.80/72.82	o 5660
74.29/74.39	c 15.8526 10.9688 629 763385
74.29/74.39	o 5569
75.69/75.75	c 16.0306 10.9688 772 775601
75.69/75.75	o 5563
76.59/76.70	c 16.1475 10.9688 636 783874
76.59/76.70	o 5440
77.39/77.42	c 16.2665 10.9688 717 790329
77.39/77.42	o 5436
81.49/81.53	c 17.2174 10.9688 680 825359
81.49/81.53	o 5386
82.50/82.51	c 17.3934 10.9688 751 834725
82.50/82.51	o 5276
85.49/85.53	c 17.8603 10.9688 535 858707
85.49/85.53	o 5191
88.10/88.16	c 18.5862 10.9688 552 878939
88.10/88.16	o 5187
88.50/88.52	c 18.6342 10.9688 888 882839
88.50/88.52	o 5083
88.69/88.71	c 18.6622 10.9688 690 884759
88.69/88.71	o 5070
89.20/89.27	c 18.7501 10.9688 475 890053
89.20/89.27	o 4911
89.29/89.32	c 18.7611 10.9688 754 890966
89.29/89.32	o 4871
89.40/89.49	c 18.7881 10.9688 590 892351
89.40/89.49	o 4857
92.99/93.06	c 19.499 11.0859 585 917860
92.99/93.06	o 4825
94.09/94.13	c 19.796 11.0859 781 927005
94.09/94.13	o 4734
98.70/98.79	c 20.4969 11.0859 423 963908
98.70/98.79	o 4655
99.00/99.06	c 20.5869 11.0859 517 965817
99.00/99.06	o 4623
100.49/100.56	c 21.0968 11.0859 552 977649
100.49/100.56	o 4541
103.00/103.01	c 21.4537 11.0859 574 996856
103.00/103.01	o 4523
103.59/103.60	c 21.5477 11.0859 544 1000235
103.59/103.60	o 4488
103.89/103.97	c 21.5967 11.0859 626 1003370
103.89/103.97	o 4393
104.20/104.25	c 21.6427 11.0859 869 1005889
104.20/104.25	o 4367
105.39/105.42	c 21.8297 11.0859 796 1014869
105.39/105.42	o 4345
107.00/107.09	c 22.3686 11.0859 745 1027945
107.00/107.09	o 4330
107.30/107.32	c 22.4046 11.0859 603 1029442
107.30/107.32	o 4260
108.39/108.42	c 22.5826 11.0859 705 1037850
108.39/108.42	o 4208
111.90/111.90	c 23.1405 11.0859 718 1064024
111.90/111.90	o 4173
111.90/111.95	c 23.1505 11.0859 550 1064497
111.90/111.95	o 4117
113.49/113.58	c 23.7024 11.0859 670 1076549
113.49/113.58	o 4034
115.70/115.77	c 24.0633 11.0859 755 1092422
115.70/115.77	o 4033
116.30/116.36	c 24.1583 11.0859 621 1096948
116.30/116.36	o 3983
117.09/117.12	c 24.2853 11.0859 876 1102935
117.09/117.12	o 3802
117.99/118.09	c 24.4133 11.0859 546 1110271
117.99/118.09	o 3770
118.30/118.32	c 24.4463 11.0859 478 1112153
118.30/118.32	o 3743
118.30/118.38	c 24.4543 11.0859 651 1112710
118.30/118.38	o 3665
121.60/121.67	c 25.2612 11.0859 795 1134409
121.60/121.67	o 3645
123.21/123.25	c 25.5101 11.0859 728 1146532
123.21/123.25	o 3555
123.49/123.53	c 25.5431 11.0859 583 1149026
123.49/123.53	o 3535
123.69/123.79	c 25.5801 11.0859 656 1151225
123.69/123.79	o 3523
124.00/124.06	c 25.6221 11.0859 757 1153378
124.00/124.06	o 3501
124.79/124.83	c 25.7511 11.0859 693 1159317
124.79/124.83	o 3483
124.99/125.04	c 25.8341 11.0859 529 1160690
124.99/125.04	o 3400
125.19/125.21	c 25.9021 11.0859 735 1162205
125.19/125.21	o 3356
125.19/125.27	c 25.9201 11.0859 519 1162740
125.19/125.27	o 3248
125.19/125.28	c 25.9251 11.0859 565 1162964
125.19/125.28	o 3196
125.41/125.49	c 25.994 11.0859 470 1164781
125.41/125.49	o 3165
125.49/125.56	c 26.014 11.0859 652 1165310
125.49/125.56	o 3156
126.60/126.65	c 26.37 11.207 731 1172928
126.60/126.65	o 3103
127.00/127.08	c 26.462 11.207 551 1176375
127.00/127.08	o 3074
127.40/127.48	c 26.54 11.207 724 1179469
127.40/127.48	o 3020
127.60/127.70	c 26.583 11.207 547 1181116
127.60/127.70	o 2959
127.99/128.09	c 26.6479 11.207 567 1184013
127.99/128.09	o 2957
128.09/128.12	c 26.6509 11.207 666 1184294
128.09/128.12	o 2914
128.30/128.38	c 26.6949 11.207 594 1186002
128.30/128.38	o 2837
128.39/128.49	c 26.7039 11.207 468 1186767
128.39/128.49	o 2835
128.70/128.71	c 26.7479 11.207 835 1188543
128.70/128.71	o 2798
128.79/128.82	c 26.7619 11.207 748 1189455
128.79/128.82	o 2790
128.79/128.87	c 26.7729 11.207 509 1189791
128.79/128.87	o 2782
129.29/129.38	c 26.8429 11.207 519 1193243
129.29/129.38	o 2743
129.50/129.59	c 26.8829 11.207 732 1194726
129.50/129.59	o 2732
130.09/130.18	c 26.9709 11.207 490 1198876
130.09/130.18	o 2661
130.50/130.52	c 27.0159 11.207 817 1201561
130.50/130.52	o 2597
130.60/130.69	c 27.0429 11.207 550 1203046
130.60/130.69	o 2549
130.80/130.84	c 27.0629 11.207 604 1204213
130.80/130.84	o 2521
130.80/130.89	c 27.0709 11.207 731 1204632
130.80/130.89	o 2428
130.99/131.08	c 27.1049 11.207 499 1206079
130.99/131.08	o 2381
131.80/131.81	c 27.2409 11.207 724 1211043
131.80/131.81	o 2292
132.01/132.02	c 27.3078 11.207 553 1212725
132.01/132.02	o 2252
132.39/132.46	c 27.4638 11.207 675 1215971
132.39/132.46	o 2182
132.70/132.70	c 27.5428 11.207 543 1217594
132.70/132.70	o 2136
132.70/132.77	c 27.5708 11.207 755 1218164
132.70/132.77	o 2094
133.10/133.15	c 27.6788 11.207 716 1220397
133.10/133.15	o 2071
133.20/133.23	c 27.6968 11.207 506 1220907
133.20/133.23	o 2032
133.30/133.31	c 27.7108 11.207 756 1221702
133.30/133.31	o 2022
133.50/133.54	c 27.7628 11.207 671 1223238
133.50/133.54	o 2003
133.59/133.60	c 27.7728 11.207 462 1223789
133.59/133.60	o 1942
133.99/134.08	c 27.8648 11.207 671 1226817
133.99/134.08	o 1928
134.29/134.33	c 27.9018 11.207 593 1228439
134.29/134.33	o 1830
135.09/135.10	c 28.0297 11.207 510 1233360
135.09/135.10	o 1769
136.09/136.13	c 28.1807 11.207 464 1238497
136.09/136.13	o 1712
136.09/136.15	c 28.1827 11.207 529 1238643
136.09/136.15	o 1677
136.09/136.19	c 28.1887 11.207 628 1238991
136.09/136.19	o 1624
136.30/136.31	c 28.2177 11.207 527 1239773
136.30/136.31	o 1623
136.40/136.41	c 28.2347 11.3398 790 1240574
136.40/136.41	o 1530
136.40/136.49	c 28.2457 11.3398 581 1241061
136.40/136.49	o 1529
136.49/136.53	c 28.2507 11.3398 720 1241507
136.49/136.53	o 1505
136.49/136.57	c 28.2567 11.3398 428 1241921
136.49/136.57	o 1448
136.59/136.61	c 28.2717 11.3398 544 1242248
136.59/136.61	o 1439
136.69/136.74	c 28.3027 11.3398 483 1242993
136.69/136.74	o 1396
136.69/136.78	c 28.3097 11.3398 640 1243428
136.69/136.78	o 1390
137.50/137.55	c 28.4697 11.3398 500 1248817
137.50/137.55	o 1355
137.59/137.64	c 28.4817 11.3398 793 1249430
137.59/137.64	o 1281
137.79/137.85	c 28.5187 11.3398 677 1251182
137.79/137.85	o 1201
137.99/138.00	c 28.5387 11.3398 734 1252445
137.99/138.00	o 1199
138.19/138.21	c 28.5807 11.3398 625 1253875
138.19/138.21	o 1106
138.30/138.31	c 28.6186 11.3398 526 1254478
138.30/138.31	o 1097
138.40/138.45	c 28.6726 11.3398 579 1255563
138.40/138.45	o 991
138.40/138.47	c 28.6796 11.3398 649 1255840
138.40/138.47	o 875
138.40/138.49	c 28.6926 11.3398 721 1256056
138.40/138.49	o 823
138.50/138.51	c 28.6986 11.3398 781 1256192
138.50/138.51	o 809
138.50/138.53	c 28.7066 11.3398 808 1256338
138.50/138.53	o 799
138.50/138.54	c 28.7086 11.3398 836 1256462
138.50/138.54	o 697
138.50/138.58	c 28.7246 11.3398 985 1256809
138.50/138.58	o 673
138.60/138.62	c 28.7436 11.3398 672 1257175
138.60/138.62	o 654
138.60/138.66	c 28.7586 11.3398 809 1257473
138.60/138.66	o 626
138.60/138.69	c 28.7666 11.3398 842 1257792
138.60/138.69	o 513
138.69/138.70	c 28.7676 11.3398 850 1257830
138.69/138.70	o 488
138.69/138.72	c 28.7816 11.3398 780 1258088
138.69/138.72	o 386
138.69/138.73	c 28.7836 11.3398 802 1258139
138.69/138.73	o 379
138.69/138.75	c 28.7956 11.3398 888 1258269
138.69/138.75	o 374
138.69/138.76	c 28.8056 11.3398 848 1258434
138.69/138.76	o 360
138.69/138.77	c 28.8086 11.3398 869 1258495
138.69/138.77	o 316
138.69/138.78	c 28.8146 11.3398 592 1258680
138.69/138.78	o 234
138.69/138.78	c 28.8156 11.3398 592 1258778
138.69/138.78	o 127
138.69/138.78	c 28.8156 11.3398 595 1258806
138.69/138.78	o 109
138.69/138.78	c 28.8166 11.3398 461 1258820
138.69/138.78	s OPTIMUM FOUND
138.69/138.78	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	109

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700336-1278534796/watcher-2700336-1278534796 -o /tmp/evaluation-result-2700336-1278534796/solver-2700336-1278534796 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700336-1278534796.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: 1.93 2.54 2.09 4/178 20376
/proc/meminfo: memFree=28735772/32950928 swapFree=67111528/67111528
[pid=20376] ppid=20374 vsize=2136 CPUtime=0
/proc/20376/stat : 20376 (pbct) R 20374 20376 19207 0 -1 4202496 260 0 0 0 0 0 0 0 21 0 1 0 21693387 2187264 180 4089446400 134512640 136421960 4292545776 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/20376/statm: 534 180 144 467 0 65 0

[startup+0.021725 s]
/proc/loadavg: 1.93 2.54 2.09 4/178 20376
/proc/meminfo: memFree=28735772/32950928 swapFree=67111528/67111528
[pid=20376] ppid=20374 vsize=6356 CPUtime=0.02
/proc/20376/stat : 20376 (pbct) R 20374 20376 19207 0 -1 4202496 1312 0 0 0 2 0 0 0 21 0 1 0 21693387 6508544 1232 4089446400 134512640 136421960 4292545776 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20376/statm: 1622 1234 193 467 0 1153 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6356

[startup+0.100773 s]
/proc/loadavg: 1.93 2.54 2.09 4/178 20376
/proc/meminfo: memFree=28735772/32950928 swapFree=67111528/67111528
[pid=20376] ppid=20374 vsize=10460 CPUtime=0.09
/proc/20376/stat : 20376 (pbct) R 20374 20376 19207 0 -1 4202496 2346 0 0 0 4 5 0 0 21 0 1 0 21693387 10711040 2252 4089446400 134512640 136421960 4292545776 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20376/statm: 2615 2252 237 467 0 2146 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10460

[startup+0.300734 s]
/proc/loadavg: 1.93 2.54 2.09 4/178 20376
/proc/meminfo: memFree=28735772/32950928 swapFree=67111528/67111528
[pid=20376] ppid=20374 vsize=10588 CPUtime=0.29
/proc/20376/stat : 20376 (pbct) R 20374 20376 19207 0 -1 4202496 2382 0 0 0 7 22 0 0 21 0 1 0 21693387 10842112 2288 4089446400 134512640 136421960 4292545776 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20376/statm: 2647 2288 237 467 0 2178 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10588

[startup+0.700559 s]
/proc/loadavg: 1.93 2.54 2.09 4/178 20376
/proc/meminfo: memFree=28735772/32950928 swapFree=67111528/67111528
[pid=20376] ppid=20374 vsize=10588 CPUtime=0.69
/proc/20376/stat : 20376 (pbct) R 20374 20376 19207 0 -1 4202496 2383 0 0 0 18 51 0 0 22 0 1 0 21693387 10842112 2289 4089446400 134512640 136421960 4292545776 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20376/statm: 2647 2289 238 467 0 2178 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10588

[startup+1.50041 s]
/proc/loadavg: 1.93 2.54 2.09 3/179 20377
/proc/meminfo: memFree=28725100/32950928 swapFree=67111528/67111528
[pid=20376] ppid=20374 vsize=10588 CPUtime=1.49
/proc/20376/stat : 20376 (pbct) R 20374 20376 19207 0 -1 4202496 2397 0 0 0 46 103 0 0 25 0 1 0 21693387 10842112 2303 4089446400 134512640 136421960 4292545776 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20376/statm: 2647 2303 238 467 0 2178 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10588

[startup+3.1002 s]
/proc/loadavg: 1.93 2.54 2.09 3/179 20377
/proc/meminfo: memFree=28723860/32950928 swapFree=67111528/67111528
[pid=20376] ppid=20374 vsize=10716 CPUtime=3.09
/proc/20376/stat : 20376 (pbct) R 20374 20376 19207 0 -1 4202496 2413 0 0 0 86 223 0 0 25 0 1 0 21693387 10973184 2318 4089446400 134512640 136421960 4292545776 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20376/statm: 2679 2318 238 467 0 2210 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10716

[startup+6.30059 s]
/proc/loadavg: 1.94 2.53 2.09 3/179 20377
/proc/meminfo: memFree=28720768/32950928 swapFree=67111528/67111528
[pid=20376] ppid=20374 vsize=10716 CPUtime=6.29
/proc/20376/stat : 20376 (pbct) R 20374 20376 19207 0 -1 4202496 2426 0 0 0 137 492 0 0 25 0 1 0 21693387 10973184 2330 4089446400 134512640 136421960 4292545776 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20376/statm: 2679 2330 238 467 0 2210 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10716

[startup+12.7004 s]
/proc/loadavg: 1.94 2.52 2.09 3/179 20377
/proc/meminfo: memFree=28712596/32950928 swapFree=67111528/67111528
[pid=20376] ppid=20374 vsize=10844 CPUtime=12.69
/proc/20376/stat : 20376 (pbct) R 20374 20376 19207 0 -1 4202496 2452 0 0 0 271 998 0 0 25 0 1 0 21693387 11104256 2355 4089446400 134512640 136421960 4292545776 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20376/statm: 2711 2355 238 467 0 2242 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10844

[startup+25.5009 s]
/proc/loadavg: 1.95 2.49 2.09 3/179 20377
/proc/meminfo: memFree=28694136/32950928 swapFree=67111528/67111528
[pid=20376] ppid=20374 vsize=10972 CPUtime=25.49
/proc/20376/stat : 20376 (pbct) R 20374 20376 19207 0 -1 4202496 2489 0 0 0 554 1995 0 0 25 0 1 0 21693387 11235328 2381 4089446400 134512640 136421960 4292545776 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20376/statm: 2743 2381 238 467 0 2274 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10972

[startup+51.101 s]
/proc/loadavg: 1.97 2.45 2.08 3/179 20377
/proc/meminfo: memFree=28659112/32950928 swapFree=67111528/67111528
[pid=20376] ppid=20374 vsize=11104 CPUtime=51.1
/proc/20376/stat : 20376 (pbct) R 20374 20376 19207 0 -1 4202496 2550 0 0 0 1093 4017 0 0 25 0 1 0 21693387 11370496 2425 4089446400 134512640 136421960 4292545776 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20376/statm: 2776 2425 238 467 0 2307 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 11104

[startup+102.307 s]
/proc/loadavg: 2.05 2.40 2.09 3/179 20379
/proc/meminfo: memFree=28590460/32950928 swapFree=67111528/67111528
[pid=20376] ppid=20374 vsize=11348 CPUtime=102.3
/proc/20376/stat : 20376 (pbct) R 20374 20376 19207 0 -1 4202496 2634 0 0 0 2135 8095 0 0 25 0 1 0 21693387 11620352 2474 4089446400 134512640 136421960 4292545776 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20376/statm: 2837 2474 238 467 0 2368 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 11348

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

[startup+115.101 s]
/proc/loadavg: 2.04 2.38 2.08 3/179 20379
/proc/meminfo: memFree=28574080/32950928 swapFree=67111528/67111528
[pid=20376] ppid=20374 vsize=11348 CPUtime=115.09
/proc/20376/stat : 20376 (pbct) R 20374 20376 19207 0 -1 4202496 2655 0 0 0 2395 9114 0 0 25 0 1 0 21693387 11620352 2484 4089446400 134512640 136421960 4292545776 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20376/statm: 2837 2484 238 467 0 2368 0
Current children cumulated CPU time (s) 115.09
Current children cumulated vsize (KiB) 11348

[startup+127.9 s]
/proc/loadavg: 2.03 2.36 2.08 3/179 20379
/proc/meminfo: memFree=28555588/32950928 swapFree=67111528/67111528
[pid=20376] ppid=20374 vsize=11472 CPUtime=127.9
/proc/20376/stat : 20376 (pbct) R 20374 20376 19207 0 -1 4202496 2700 0 0 0 2662 10128 0 0 25 0 1 0 21693387 11747328 2507 4089446400 134512640 136421960 4292545776 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20376/statm: 2868 2507 238 467 0 2399 0
Current children cumulated CPU time (s) 127.9
Current children cumulated vsize (KiB) 11472

[startup+134.301 s]
/proc/loadavg: 2.03 2.36 2.08 3/179 20379
/proc/meminfo: memFree=28546784/32950928 swapFree=67111528/67111528
[pid=20376] ppid=20374 vsize=11472 CPUtime=134.29
/proc/20376/stat : 20376 (pbct) R 20374 20376 19207 0 -1 4202496 2754 0 0 0 2789 10640 0 0 25 0 1 0 21693387 11747328 2535 4089446400 134512640 136421960 4292545776 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20376/statm: 2868 2535 238 467 0 2399 0
Current children cumulated CPU time (s) 134.29
Current children cumulated vsize (KiB) 11472

[startup+135.901 s]
/proc/loadavg: 2.02 2.35 2.08 3/179 20379
/proc/meminfo: memFree=28545024/32950928 swapFree=67111528/67111528
[pid=20376] ppid=20374 vsize=11472 CPUtime=135.9
/proc/20376/stat : 20376 (pbct) R 20374 20376 19207 0 -1 4202496 2756 0 0 0 2815 10775 0 0 25 0 1 0 21693387 11747328 2535 4089446400 134512640 136421960 4292545776 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20376/statm: 2868 2535 238 467 0 2399 0
Current children cumulated CPU time (s) 135.9
Current children cumulated vsize (KiB) 11472

[startup+137.506 s]
/proc/loadavg: 2.02 2.35 2.08 3/179 20379
/proc/meminfo: memFree=28542172/32950928 swapFree=67111528/67111528
[pid=20376] ppid=20374 vsize=11608 CPUtime=137.5
/proc/20376/stat : 20376 (pbct) R 20374 20376 19207 0 -1 4202496 2779 0 0 0 2845 10905 0 0 25 0 1 0 21693387 11886592 2547 4089446400 134512640 136421960 4292545776 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20376/statm: 2902 2547 238 467 0 2433 0
Current children cumulated CPU time (s) 137.5
Current children cumulated vsize (KiB) 11608

[startup+138.3 s]
/proc/loadavg: 2.02 2.35 2.08 3/179 20379
/proc/meminfo: memFree=28542172/32950928 swapFree=67111528/67111528
[pid=20376] ppid=20374 vsize=11608 CPUtime=138.3
/proc/20376/stat : 20376 (pbct) R 20374 20376 19207 0 -1 4202496 2791 0 0 0 2861 10969 0 0 25 0 1 0 21693387 11886592 2554 4089446400 134512640 136421960 4292545776 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20376/statm: 2902 2554 238 467 0 2433 0
Current children cumulated CPU time (s) 138.3
Current children cumulated vsize (KiB) 11608

[startup+138.7 s]
/proc/loadavg: 2.02 2.35 2.08 3/179 20379
/proc/meminfo: memFree=28540064/32950928 swapFree=67111528/67111528
[pid=20376] ppid=20374 vsize=11608 CPUtime=138.69
/proc/20376/stat : 20376 (pbct) R 20374 20376 19207 0 -1 4202496 2809 0 0 0 2876 10993 0 0 25 0 1 0 21693387 11886592 2561 4089446400 134512640 136421960 4292545776 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20376/statm: 2902 2561 238 467 0 2433 0
Current children cumulated CPU time (s) 138.69
Current children cumulated vsize (KiB) 11608

Child status: 0
Real time (s): 138.796
CPU time (s): 138.801
CPU user time (s): 28.8246
CPU system time (s): 109.976
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 11608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.8246
system time used= 109.976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2824
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= 1
involuntary context switches= 164

runsolver used 0.251961 second user time and 0.494924 second system time

The end

Launcher Data 

Begin job on node127 at 2010-07-07 22:33:16
IDJOB=2700336
IDBENCH=79419
IDSOLVER=1208
FILE ID=node127/2700336-1278534796
PBS_JOBID= 11239223
Free space on /tmp= 73196 MiB

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

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

MD5SUM BENCH= 3100ea9ba7746ae86daacced189e255b
RANDOM SEED=2119004595

node127.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.804
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.60
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.804
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	: 5424.67
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.804
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.74
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.804
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.83
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.804
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.75
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.804
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.68
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.804
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.82
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.804
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:     32950928 kB
MemFree:      28735672 kB
Buffers:        138400 kB
Cached:        2617700 kB
SwapCached:          0 kB
Active:        2386468 kB
Inactive:      1669044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28735672 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1972 kB
Writeback:           0 kB
AnonPages:     1299856 kB
Mapped:          17112 kB
Slab:            92572 kB
PageTables:       8188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1455264 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73196 MiB
End job on node127 at 2010-07-07 22:35:35