Trace number 2700219

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 29.7535 29.7534

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh210_wcsp.wbo
MD5SUM208e691d0f47cfa792c689161068f479
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.148976
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 constraints900
Number of soft constraints800
Number of constraints which are clauses800
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 constraint10
Top cost 394239
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 394238
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 19
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/800 units 0
0.00/0.00	c vars 200
0.03/0.03	c 0.034994 9.74219 1 1851
0.03/0.03	o 24972
0.03/0.04	c 0.034994 9.89844 2 2705
0.03/0.04	o 23275
0.03/0.04	c 0.034994 9.89844 2 3558
0.03/0.04	o 8423
0.03/0.04	c 0.035994 9.89844 3 4228
0.03/0.04	o 8123
0.03/0.05	c 0.041993 9.89844 89 4857
0.03/0.05	o 8020
1.39/1.41	c 0.873867 10.1484 568 17361
1.39/1.41	o 7975
1.49/1.57	c 0.98085 10.1484 634 19386
1.49/1.57	o 7902
1.69/1.72	c 1.06484 10.1484 416 21512
1.69/1.72	o 7895
2.09/2.18	c 1.3438 10.1484 640 26518
2.09/2.18	o 7815
3.49/3.56	c 2.23866 10.1484 963 38874
3.49/3.56	o 7669
3.89/3.99	c 2.49562 10.1484 458 42990
3.89/3.99	o 7599
4.99/5.09	c 3.12852 10.1484 612 53805
4.99/5.09	o 7574
5.19/5.23	c 3.21351 10.1484 543 55664
5.19/5.23	o 7564
5.29/5.37	c 3.2985 10.1484 576 57575
5.29/5.37	o 7557
5.89/5.92	c 3.61845 10.1484 610 63573
5.89/5.92	o 7534
5.99/6.06	c 3.70544 10.1484 516 65209
5.99/6.06	o 7507
6.09/6.18	c 3.78143 10.1484 541 66402
6.09/6.18	o 7482
6.29/6.35	c 3.87841 10.2734 597 68658
6.29/6.35	o 7397
7.00/7.08	c 4.34434 10.2734 702 73803
7.00/7.08	o 7350
7.49/7.55	c 4.63429 10.2734 633 78669
7.49/7.55	o 7334
7.99/8.02	c 4.94025 10.2734 581 82984
7.99/8.02	o 7333
7.99/8.06	c 4.95625 10.2734 373 83435
7.99/8.06	o 7316
8.09/8.16	c 5.03024 10.2734 432 84590
8.09/8.16	o 7279
8.59/8.66	c 5.33319 10.2734 470 90423
8.59/8.66	o 7278
8.69/8.71	c 5.36318 10.2734 635 90947
8.69/8.71	o 7255
8.80/8.86	c 5.44617 10.2734 642 92420
8.80/8.86	o 7245
9.29/9.38	c 5.75113 10.2734 537 97463
9.29/9.38	o 7193
9.69/9.70	c 5.9421 10.2734 709 100709
9.69/9.70	o 7100
9.69/9.73	c 5.96409 10.2734 489 101218
9.69/9.73	o 7081
9.90/9.97	c 6.10607 10.2734 682 103390
9.90/9.97	o 7069
9.99/10.09	c 6.17306 10.2734 806 104555
9.99/10.09	o 7047
10.09/10.12	c 6.18806 10.2734 513 105065
10.09/10.12	o 6984
10.19/10.24	c 6.25905 10.2734 631 106339
10.19/10.24	o 6973
10.29/10.39	c 6.35703 10.2734 478 107959
10.29/10.39	o 6957
10.39/10.46	c 6.40303 10.2734 694 108544
10.39/10.46	o 6924
10.79/10.82	c 6.62299 10.2734 573 111787
10.79/10.82	o 6903
10.79/10.87	c 6.65299 10.2734 396 112338
10.79/10.87	o 6890
10.99/11.05	c 6.76797 10.2734 562 113878
10.99/11.05	o 6874
11.09/11.13	c 6.81396 10.2734 531 114686
11.09/11.13	o 6835
11.49/11.51	c 7.04593 10.2734 476 117106
11.49/11.51	o 6833
11.69/11.73	c 7.17391 10.2734 504 119044
11.69/11.73	o 6769
11.99/12.03	c 7.36788 10.2734 631 121879
11.99/12.03	o 6717
11.99/12.04	c 7.37788 10.2734 671 122064
11.99/12.04	o 6654
12.39/12.43	c 7.62284 10.3984 639 126416
12.39/12.43	o 6611
12.69/12.77	c 7.84481 10.3984 494 129783
12.69/12.77	o 6393
12.89/12.99	c 7.98679 10.3984 546 132105
12.89/12.99	o 6263
13.09/13.17	c 8.10277 10.3984 397 133437
13.09/13.17	o 6236
13.49/13.55	c 8.33173 10.3984 702 136753
13.49/13.55	o 6235
14.09/14.13	c 8.69368 10.3984 740 141150
14.09/14.13	o 6231
14.39/14.46	c 8.90365 10.3984 677 143735
14.39/14.46	o 6184
14.90/14.99	c 9.2286 10.3984 686 148376
14.90/14.99	o 6183
14.99/15.09	c 9.29659 10.3984 431 149481
14.99/15.09	o 6145
15.19/15.29	c 9.41757 10.3984 724 151253
15.19/15.29	o 6114
15.40/15.48	c 9.53755 10.3984 615 152926
15.40/15.48	o 6029
15.49/15.50	c 9.54655 10.3984 674 153272
15.49/15.50	o 5944
15.49/15.59	c 9.60354 10.3984 705 154261
15.49/15.59	o 5843
15.59/15.64	c 9.63254 10.3984 503 154801
15.59/15.64	o 5771
15.69/15.73	c 9.68553 10.3984 427 155643
15.69/15.73	o 5713
15.89/15.98	c 9.8345 10.3984 480 157477
15.89/15.98	o 5707
16.29/16.33	c 10.0745 10.3984 878 160243
16.29/16.33	o 5570
16.69/16.78	c 10.3354 10.3984 571 164261
16.69/16.78	o 5512
16.79/16.84	c 10.3774 10.3984 425 164882
16.79/16.84	o 5491
17.09/17.11	c 10.5504 10.3984 818 166627
17.09/17.11	o 5453
17.49/17.57	c 10.8504 10.3984 651 170060
17.49/17.57	o 5370
17.59/17.66	c 10.9043 10.3984 515 170840
17.59/17.66	o 5215
17.90/17.94	c 11.0783 10.3984 642 172865
17.90/17.94	o 5172
18.20/18.21	c 11.2353 10.3984 554 175575
18.20/18.21	o 5079
18.49/18.50	c 11.4093 10.3984 709 177670
18.49/18.50	o 5071
18.60/18.60	c 11.4643 10.3984 747 178842
18.60/18.60	o 5056
18.69/18.71	c 11.5222 10.3984 757 179860
18.69/18.71	o 5034
19.10/19.11	c 11.7562 10.5234 853 183783
19.10/19.11	o 4997
19.10/19.19	c 11.8092 10.5234 719 184571
19.10/19.19	o 4987
19.39/19.44	c 11.9662 10.5234 504 186994
19.39/19.44	o 4919
19.80/19.89	c 12.2531 10.5234 856 190491
19.80/19.89	o 4890
19.99/20.04	c 12.3471 10.5234 533 191946
19.99/20.04	o 4795
20.09/20.12	c 12.3991 10.5234 792 192686
20.09/20.12	o 4750
20.39/20.41	c 12.5801 10.5234 640 195255
20.39/20.41	o 4687
20.39/20.47	c 12.6241 10.5234 531 195884
20.39/20.47	o 4668
20.49/20.54	c 12.6641 10.5234 691 196409
20.49/20.54	o 4601
20.59/20.60	c 12.7061 10.5234 532 196961
20.59/20.60	o 4522
20.59/20.64	c 12.7321 10.5234 646 197339
20.59/20.64	o 4503
20.89/20.99	c 12.937 10.5234 709 200269
20.89/20.99	o 4502
21.19/21.27	c 13.103 10.5234 783 202748
21.19/21.27	o 4361
21.30/21.35	c 13.157 10.5234 688 203529
21.30/21.35	o 4357
22.09/22.18	c 13.6889 10.5234 450 209174
22.09/22.18	o 4338
22.19/22.23	c 13.7259 10.5234 610 209748
22.19/22.23	o 4206
22.19/22.24	c 13.7309 10.5234 621 209877
22.19/22.24	o 4187
22.19/22.25	c 13.7389 10.5234 643 210044
22.19/22.25	o 4116
22.49/22.58	c 13.9319 10.5234 543 212635
22.49/22.58	o 4066
23.19/23.28	c 14.3718 10.5234 432 217585
23.19/23.28	o 4061
23.39/23.43	c 14.4638 10.5234 555 218928
23.39/23.43	o 3920
23.39/23.48	c 14.4998 10.5234 714 219397
23.39/23.48	o 3892
23.49/23.53	c 14.5308 10.5234 499 219900
23.49/23.53	o 3815
23.49/23.57	c 14.5628 10.5234 628 220409
23.49/23.57	o 3792
23.59/23.69	c 14.6408 10.5234 650 221373
23.59/23.69	o 3729
23.80/23.87	c 14.7528 10.5234 444 222832
23.80/23.87	o 3655
24.10/24.11	c 14.8917 10.5234 760 224729
24.10/24.11	o 3413
24.10/24.14	c 14.9127 10.5234 462 224956
24.10/24.14	o 3370
24.10/24.16	c 14.9237 10.5234 502 225140
24.10/24.16	o 3300
24.49/24.53	c 15.1457 10.5234 798 227586
24.49/24.53	o 3254
24.79/24.80	c 15.3117 10.5234 413 229519
24.79/24.80	o 3220
24.89/24.97	c 15.4157 10.5234 545 230557
24.89/24.97	o 3175
24.99/25.07	c 15.4816 10.5234 815 231187
24.99/25.07	o 3126
25.70/25.72	c 15.9156 10.6445 678 235189
25.70/25.72	o 3125
25.89/25.92	c 16.0206 10.6445 542 236905
25.89/25.92	o 2966
25.99/26.03	c 16.0976 10.6445 506 237739
25.99/26.03	o 2963
25.99/26.08	c 16.1285 10.6445 679 238164
25.99/26.08	o 2904
26.09/26.14	c 16.1675 10.6445 460 238559
26.09/26.14	o 2874
26.09/26.16	c 16.1805 10.6445 524 238924
26.09/26.16	o 2841
26.19/26.25	c 16.2395 10.6445 440 239653
26.19/26.25	o 2814
26.39/26.42	c 16.3445 10.6445 543 240959
26.39/26.42	o 2778
26.49/26.53	c 16.4175 10.6445 479 241871
26.49/26.53	o 2632
26.69/26.73	c 16.5435 10.6445 595 242952
26.69/26.73	o 2602
26.79/26.80	c 16.5975 10.6445 435 243445
26.79/26.80	o 2580
26.79/26.84	c 16.6225 10.6445 514 243610
26.79/26.84	o 2577
26.90/26.94	c 16.6885 10.6445 794 244276
26.90/26.94	o 2564
27.29/27.34	c 16.9404 10.6445 743 246829
27.29/27.34	o 2507
27.40/27.45	c 17.0154 10.6445 676 247486
27.40/27.45	o 2503
27.40/27.47	c 17.0274 10.6445 718 247651
27.40/27.47	o 2455
27.50/27.59	c 17.1024 10.6445 676 248551
27.50/27.59	o 2376
27.59/27.64	c 17.1274 10.6445 417 248899
27.59/27.64	o 2371
27.69/27.72	c 17.1774 10.6445 633 249438
27.69/27.72	o 2359
27.89/27.96	c 17.3224 10.6445 547 251128
27.89/27.96	o 2307
27.89/27.97	c 17.3274 10.6445 587 251288
27.89/27.97	o 2287
27.99/28.04	c 17.3684 10.6445 778 251834
27.99/28.04	o 2219
28.10/28.18	c 17.4453 10.6445 728 252672
28.10/28.18	o 2210
28.10/28.19	c 17.4513 10.6445 393 252859
28.10/28.19	o 2193
28.19/28.25	c 17.4923 10.6445 555 253320
28.19/28.25	o 2160
28.39/28.41	c 17.5803 10.6445 623 254289
28.39/28.41	o 2141
28.39/28.44	c 17.6023 10.6445 710 254535
28.39/28.44	o 2133
28.39/28.46	c 17.6113 10.6445 757 254762
28.39/28.46	o 2043
28.39/28.46	c 17.6153 10.6445 401 254840
28.39/28.46	o 2042
28.39/28.50	c 17.6353 10.6445 522 255217
28.39/28.50	o 2025
28.49/28.57	c 17.6823 10.6445 705 255601
28.49/28.57	o 1970
28.60/28.63	c 17.7283 10.6445 473 256051
28.60/28.63	o 1954
28.60/28.65	c 17.7343 10.6445 499 256137
28.60/28.65	o 1950
28.80/28.81	c 17.8423 10.6445 564 257175
28.80/28.81	o 1879
28.80/28.88	c 17.8873 10.6445 396 257875
28.80/28.88	o 1692
28.89/28.95	c 17.9263 10.6445 556 258238
28.89/28.95	o 1669
28.89/28.98	c 17.9453 10.6445 625 258378
28.89/28.98	o 1666
28.99/29.08	c 18.0103 10.6445 490 258937
28.99/29.08	o 1652
29.19/29.22	c 18.1112 10.6445 500 259869
29.19/29.22	o 1625
29.19/29.27	c 18.1392 10.6445 628 260212
29.19/29.27	o 1561
29.30/29.31	c 18.1572 10.6445 755 260553
29.30/29.31	o 1532
29.30/29.36	c 18.1882 10.6445 505 260911
29.30/29.36	o 1497
29.30/29.37	c 18.1972 10.6445 547 261020
29.30/29.37	o 1485
29.30/29.38	c 18.2012 10.6445 562 261108
29.30/29.38	o 1468
29.30/29.39	c 18.2112 10.6445 588 261188
29.30/29.39	o 1461
29.39/29.41	c 18.2212 10.7617 644 261326
29.39/29.41	o 1425
29.39/29.42	c 18.2262 10.7617 664 261490
29.39/29.42	o 1423
29.39/29.47	c 18.2692 10.7617 445 261885
29.39/29.47	o 1358
29.49/29.50	c 18.2832 10.7617 508 262092
29.49/29.50	o 1339
29.49/29.51	c 18.2912 10.7617 550 262323
29.49/29.51	o 1292
29.49/29.52	c 18.2972 10.7617 569 262440
29.49/29.52	o 1275
29.49/29.54	c 18.3072 10.7617 624 262569
29.49/29.54	o 1274
29.49/29.58	c 18.3342 10.7617 742 262883
29.49/29.58	o 1239
29.60/29.62	c 18.3572 10.7617 425 263213
29.60/29.62	o 1212
29.60/29.63	c 18.3612 10.7617 433 263272
29.60/29.63	o 1191
29.60/29.63	c 18.3642 10.7617 440 263367
29.60/29.63	o 1104
29.60/29.63	c 18.3652 10.7617 445 263422
29.60/29.63	o 1074
29.60/29.64	c 18.3672 10.7617 448 263465
29.60/29.64	o 1064
29.60/29.64	c 18.3692 10.7617 454 263506
29.60/29.64	o 1046
29.60/29.65	c 18.3772 10.7617 484 263769
29.60/29.65	o 855
29.60/29.65	c 18.3802 10.7617 485 263825
29.60/29.65	o 828
29.60/29.65	c 18.3832 10.7617 490 263873
29.60/29.65	o 818
29.60/29.66	c 18.3892 10.7617 515 263946
29.60/29.66	o 808
29.60/29.67	c 18.3942 10.7617 533 264035
29.60/29.67	o 749
29.60/29.67	c 18.3962 10.7617 494 264095
29.60/29.67	o 732
29.69/29.70	c 18.4202 10.7617 583 264420
29.69/29.70	o 610
29.69/29.71	c 18.4212 10.7617 583 264531
29.69/29.71	o 510
29.69/29.71	c 18.4212 10.7617 583 264631
29.69/29.71	o 420
29.69/29.71	c 18.4252 10.7617 609 264705
29.69/29.71	o 392
29.69/29.71	c 18.4252 10.7617 617 264757
29.69/29.71	o 357
29.69/29.72	c 18.4272 10.7617 636 264793
29.69/29.72	o 354
29.69/29.72	c 18.4272 10.7617 641 264810
29.69/29.72	o 346
29.69/29.72	c 18.4292 10.7617 656 264865
29.69/29.72	o 344
29.69/29.73	c 18.4312 10.7617 353 264890
29.69/29.73	o 336
29.69/29.73	c 18.4322 10.7617 356 264939
29.69/29.73	o 287
29.69/29.73	c 18.4342 10.7617 363 264970
29.69/29.73	o 279
29.69/29.73	c 18.4352 10.7617 365 265010
29.69/29.73	o 261
29.69/29.73	c 18.4382 10.7617 378 265088
29.69/29.73	o 193
29.69/29.73	c 18.4392 10.7617 378 265112
29.69/29.73	o 177
29.69/29.74	c 18.4402 10.7617 379 265155
29.69/29.74	o 136
29.69/29.74	c 18.4402 10.7617 379 265202
29.69/29.74	o 87
29.69/29.74	c 18.4412 10.7617 379 265240
29.69/29.74	o 49
29.69/29.74	c 18.4412 10.7617 379 265261
29.69/29.74	o 39
29.69/29.74	c 18.4412 10.7617 379 265304
29.69/29.74	o 0
29.69/29.74	c 18.4412 10.7617 379 265304
29.69/29.74	s OPTIMUM FOUND
29.69/29.74	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	0

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700219-1278534450/watcher-2700219-1278534450 -o /tmp/evaluation-result-2700219-1278534450/solver-2700219-1278534450 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700219-1278534450.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.91 1.72 0.95 3/178 1592
/proc/meminfo: memFree=28952684/32950928 swapFree=67109624/67111528
[pid=1592] ppid=1590 vsize=2136 CPUtime=0
/proc/1592/stat : 1592 (pbct) R 1590 1592 909 0 -1 4202496 253 0 0 0 0 0 0 0 25 0 1 0 21658490 2187264 173 4089446400 134512640 136422188 4291132640 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1592/statm: 534 173 144 467 0 65 0

[startup+0.035729 s]
/proc/loadavg: 1.91 1.72 0.95 3/178 1592
/proc/meminfo: memFree=28952684/32950928 swapFree=67109624/67111528
[pid=1592] ppid=1590 vsize=9708 CPUtime=0.03
/proc/1592/stat : 1592 (pbct) R 1590 1592 909 0 -1 4202496 2142 0 0 0 3 0 0 0 25 0 1 0 21658490 9940992 2062 4089446400 134512640 136422188 4291132640 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/1592/statm: 2427 2062 207 467 0 1958 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9708

[startup+0.100764 s]
/proc/loadavg: 1.91 1.72 0.95 3/178 1592
/proc/meminfo: memFree=28952684/32950928 swapFree=67109624/67111528
[pid=1592] ppid=1590 vsize=10132 CPUtime=0.09
/proc/1592/stat : 1592 (pbct) R 1590 1592 909 0 -1 4202496 2274 0 0 0 6 3 0 0 25 0 1 0 21658490 10375168 2189 4089446400 134512640 136422188 4291132640 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1592/statm: 2533 2189 237 467 0 2064 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10132

[startup+0.300733 s]
/proc/loadavg: 1.91 1.72 0.95 3/178 1592
/proc/meminfo: memFree=28952684/32950928 swapFree=67109624/67111528
[pid=1592] ppid=1590 vsize=10260 CPUtime=0.29
/proc/1592/stat : 1592 (pbct) R 1590 1592 909 0 -1 4202496 2293 0 0 0 19 10 0 0 25 0 1 0 21658490 10506240 2208 4089446400 134512640 136422188 4291132640 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1592/statm: 2565 2208 237 467 0 2096 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10260

[startup+0.700749 s]
/proc/loadavg: 1.91 1.72 0.95 3/178 1592
/proc/meminfo: memFree=28952684/32950928 swapFree=67109624/67111528
[pid=1592] ppid=1590 vsize=10260 CPUtime=0.69
/proc/1592/stat : 1592 (pbct) R 1590 1592 909 0 -1 4202496 2306 0 0 0 43 26 0 0 25 0 1 0 21658490 10506240 2221 4089446400 134512640 136422188 4291132640 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1592/statm: 2565 2221 238 467 0 2096 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10260

[startup+1.50061 s]
/proc/loadavg: 1.91 1.72 0.95 3/179 1593
/proc/meminfo: memFree=28943252/32950928 swapFree=67109624/67111528
[pid=1592] ppid=1590 vsize=10388 CPUtime=1.49
/proc/1592/stat : 1592 (pbct) R 1590 1592 909 0 -1 4202496 2313 0 0 0 93 56 0 0 25 0 1 0 21658490 10637312 2227 4089446400 134512640 136422188 4291132640 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1592/statm: 2597 2227 238 467 0 2128 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10388

[startup+3.10035 s]
/proc/loadavg: 1.91 1.72 0.95 3/179 1593
/proc/meminfo: memFree=28942612/32950928 swapFree=67109624/67111528
[pid=1592] ppid=1590 vsize=10388 CPUtime=3.09
/proc/1592/stat : 1592 (pbct) R 1590 1592 909 0 -1 4202496 2327 0 0 0 192 117 0 0 25 0 1 0 21658490 10637312 2238 4089446400 134512640 136422188 4291132640 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1592/statm: 2597 2238 238 467 0 2128 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10388

[startup+6.30067 s]
/proc/loadavg: 1.92 1.72 0.95 3/179 1593
/proc/meminfo: memFree=28938424/32950928 swapFree=67109624/67111528
[pid=1592] ppid=1590 vsize=10388 CPUtime=6.29
/proc/1592/stat : 1592 (pbct) R 1590 1592 909 0 -1 4202496 2354 0 0 0 385 244 0 0 25 0 1 0 21658490 10637312 2257 4089446400 134512640 136422188 4291132640 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1592/statm: 2597 2257 238 467 0 2128 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10388

[startup+12.7006 s]
/proc/loadavg: 1.93 1.73 0.96 3/179 1594
/proc/meminfo: memFree=28929644/32950928 swapFree=67109624/67111528
[pid=1592] ppid=1590 vsize=10644 CPUtime=12.69
/proc/1592/stat : 1592 (pbct) R 1590 1592 909 0 -1 4202496 2419 0 0 0 779 490 0 0 25 0 1 0 21658490 10899456 2295 4089446400 134512640 136422188 4291132640 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1592/statm: 2661 2295 238 467 0 2192 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10644

[startup+25.5004 s]
/proc/loadavg: 1.94 1.74 0.97 3/179 1594
/proc/meminfo: memFree=28914132/32950928 swapFree=67109624/67111528
[pid=1592] ppid=1590 vsize=10896 CPUtime=25.49
/proc/1592/stat : 1592 (pbct) R 1590 1592 909 0 -1 4202496 2544 0 0 0 1576 973 0 0 25 0 1 0 21658490 11157504 2361 4089446400 134512640 136422188 4291132640 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1592/statm: 2724 2361 238 467 0 2255 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10896

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

[startup+27.1002 s]
/proc/loadavg: 1.94 1.74 0.97 3/179 1594
/proc/meminfo: memFree=28913016/32950928 swapFree=67109624/67111528
[pid=1592] ppid=1590 vsize=10896 CPUtime=27.1
/proc/1592/stat : 1592 (pbct) R 1590 1592 909 0 -1 4202496 2561 0 0 0 1679 1031 0 0 25 0 1 0 21658490 11157504 2365 4089446400 134512640 136422188 4291132640 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1592/statm: 2724 2365 238 467 0 2255 0
Current children cumulated CPU time (s) 27.1
Current children cumulated vsize (KiB) 10896

[startup+28.701 s]
/proc/loadavg: 1.94 1.74 0.97 3/179 1594
/proc/meminfo: memFree=28910164/32950928 swapFree=67109624/67111528
[pid=1592] ppid=1590 vsize=10896 CPUtime=28.69
/proc/1592/stat : 1592 (pbct) R 1590 1592 909 0 -1 4202496 2597 0 0 0 1776 1093 0 0 25 0 1 0 21658490 11157504 2381 4089446400 134512640 136422188 4291132640 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1592/statm: 2724 2381 238 467 0 2255 0
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (KiB) 10896

[startup+29.5009 s]
/proc/loadavg: 1.94 1.74 0.97 3/179 1594
/proc/meminfo: memFree=28910164/32950928 swapFree=67109624/67111528
[pid=1592] ppid=1590 vsize=11016 CPUtime=29.49
/proc/1592/stat : 1592 (pbct) R 1590 1592 909 0 -1 4202496 2626 0 0 0 1828 1121 0 0 25 0 1 0 21658490 11280384 2395 4089446400 134512640 136422188 4291132640 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1592/statm: 2754 2395 238 467 0 2285 0
Current children cumulated CPU time (s) 29.49
Current children cumulated vsize (KiB) 11016

[startup+29.7059 s]
/proc/loadavg: 1.95 1.75 0.98 3/179 1595
/proc/meminfo: memFree=28908036/32950928 swapFree=67109624/67111528
[pid=1592] ppid=1590 vsize=11016 CPUtime=29.69
/proc/1592/stat : 1592 (pbct) R 1590 1592 909 0 -1 4202496 2655 0 0 0 1841 1128 0 0 25 0 1 0 21658490 11280384 2407 4089446400 134512640 136422188 4291132640 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1592/statm: 2754 2407 238 467 0 2285 0
Current children cumulated CPU time (s) 29.69
Current children cumulated vsize (KiB) 11016

Child status: 0
Real time (s): 29.7534
CPU time (s): 29.7535
CPU user time (s): 18.4522
CPU system time (s): 11.3013
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 11016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.4522
system time used= 11.3013
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2685
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= 102

runsolver used 0.035994 second user time and 0.105983 second system time

The end

Launcher Data 

Begin job on node126 at 2010-07-07 22:27:30
IDJOB=2700219
IDBENCH=79409
IDSOLVER=1212
FILE ID=node126/2700219-1278534450
PBS_JOBID= 11239225
Free space on /tmp= 73532 MiB

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

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

MD5SUM BENCH= 208e691d0f47cfa792c689161068f479
RANDOM SEED=1030160376

node126.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.861
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.72
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.861
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	: 5226.05
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.861
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.82
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.861
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.67
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.861
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.84
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.861
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.67
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.861
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.85
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.861
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:      28953080 kB
Buffers:        103964 kB
Cached:        3283480 kB
SwapCached:       1140 kB
Active:        1082552 kB
Inactive:      2762840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28953080 kB
SwapTotal:    67111528 kB
SwapFree:     67109624 kB
Dirty:            1960 kB
Writeback:           0 kB
AnonPages:      457004 kB
Mapped:          16864 kB
Slab:            86184 kB
PageTables:       5440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   603948 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= 73532 MiB
End job on node126 at 2010-07-07 22:28:00