Trace number 2700132

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 62.9944 62.9945

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh219_wcsp.wbo
MD5SUM0a308225f12d2c01751496daa1233c60
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark82
Best CPU time to get the best result obtained on this benchmark0.986849
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 constraint11
Top cost 394239
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 394238
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.01	c constraints 100/0 clauses 0/800 units 0
0.00/0.01	c vars 200
0.01/0.04	c 0.035994 9.73438 1 1841
0.01/0.04	o 27009
0.01/0.04	c 0.035994 9.89453 2 2208
0.01/0.04	o 26674
0.01/0.04	c 0.036994 9.89453 2 3057
0.01/0.04	o 11108
0.01/0.04	c 0.037994 9.89453 10 3438
0.01/0.04	o 10878
0.68/0.75	c 0.251961 10.1445 934 14100
0.68/0.75	o 10844
1.10/1.15	c 0.398939 10.1445 541 19324
1.10/1.15	o 10821
1.69/1.78	c 0.581911 10.1445 546 29646
1.69/1.78	o 10544
1.79/1.87	c 0.606907 10.1445 661 30795
1.79/1.87	o 10528
1.89/1.90	c 0.618905 10.1445 474 31484
1.89/1.90	o 10451
2.78/2.87	c 0.867868 10.1445 736 41674
2.78/2.87	o 10442
3.49/3.53	c 1.07784 10.1445 500 52467
3.49/3.54	o 10427
3.69/3.73	c 1.13883 10.1445 496 55354
3.69/3.73	o 10377
3.69/3.76	c 1.14482 10.1445 681 56066
3.69/3.76	o 10348
3.69/3.79	c 1.15182 10.1445 560 56942
3.69/3.79	o 10337
4.39/4.46	c 1.3238 10.2695 677 64452
4.39/4.46	o 10196
5.29/5.31	c 1.55476 10.2695 607 74147
5.29/5.31	o 10091
6.60/6.64	c 1.91571 10.2695 551 90907
6.60/6.64	o 9940
6.98/7.09	c 2.02769 10.2695 500 96140
6.98/7.09	o 9906
7.89/7.97	c 2.26865 10.2695 383 108194
7.89/7.97	o 9667
7.99/8.08	c 2.29465 10.2695 649 109775
7.99/8.08	o 9619
8.39/8.49	c 2.41363 10.2695 645 114482
8.39/8.49	o 9585
8.69/8.72	c 2.47362 10.2695 447 118260
8.69/8.72	o 9429
8.89/8.91	c 2.52162 10.2695 623 120988
8.89/8.91	o 9343
8.99/9.05	c 2.56061 10.2695 780 122372
8.99/9.05	o 9244
9.19/9.20	c 2.6036 10.2695 494 124744
9.19/9.20	o 9098
9.29/9.30	c 2.6386 10.2695 631 126132
9.29/9.30	o 9084
9.39/9.47	c 2.69059 10.2695 506 128690
9.39/9.47	o 8981
11.89/11.91	c 3.43548 10.3945 640 156381
11.89/11.91	o 8914
11.99/12.03	c 3.47247 10.3945 833 157576
11.99/12.03	o 8908
12.10/12.14	c 3.50647 10.3945 512 158912
12.10/12.14	o 8856
12.59/12.66	c 3.67944 10.3945 557 166178
12.59/12.66	o 8850
12.89/12.93	c 3.75543 10.3945 667 169579
12.89/12.93	o 8652
13.49/13.58	c 3.9364 10.3945 841 175737
13.49/13.58	o 8649
13.79/13.84	c 4.02239 10.3945 668 179713
13.79/13.84	o 8548
16.49/16.56	c 4.89726 10.3945 511 210276
16.49/16.56	o 8528
16.69/16.74	c 4.95225 10.3945 606 212224
16.69/16.74	o 8480
17.09/17.15	c 5.06523 10.5195 665 215989
17.09/17.15	o 8456
17.60/17.63	c 5.19821 10.5195 698 221804
17.60/17.63	o 8389
17.99/18.02	c 5.30319 10.5195 371 226785
17.99/18.02	o 8254
18.09/18.14	c 5.34019 10.5195 599 228260
18.09/18.14	o 8206
18.09/18.20	c 5.35618 10.5195 491 228894
18.09/18.20	o 8166
18.99/19.03	c 5.57515 10.5195 752 238944
18.99/19.03	o 8142
19.59/19.60	c 5.75812 10.5195 475 244857
19.59/19.60	o 8112
20.49/20.56	c 6.05408 10.5195 359 256010
20.49/20.56	o 8090
20.69/20.71	c 6.09007 10.5195 736 257875
20.69/20.71	o 8061
20.80/20.82	c 6.12907 10.5195 869 259106
20.80/20.82	o 7993
20.90/20.96	c 6.17606 10.5195 364 260936
20.90/20.96	o 7958
21.19/21.21	c 6.24205 10.5195 685 263707
21.19/21.21	o 7941
21.99/22.04	c 6.48901 10.5195 714 272255
21.99/22.04	o 7840
22.39/22.41	c 6.596 10.5195 477 276438
22.39/22.41	o 7660
22.59/22.67	c 6.66899 10.5195 825 279205
22.59/22.67	o 7638
22.79/22.88	c 6.72398 10.5195 566 281653
22.79/22.88	o 7612
23.59/23.66	c 6.92195 10.5195 768 291028
23.59/23.66	o 7502
23.79/23.84	c 6.96694 10.5195 513 292354
23.79/23.84	o 7468
24.59/24.67	c 7.16391 10.5195 511 301438
24.59/24.67	o 7414
24.89/24.97	c 7.2489 10.5195 514 305168
24.89/24.97	o 7411
25.09/25.12	c 7.28989 10.5195 604 306808
25.09/25.12	o 7009
25.39/25.44	c 7.37388 10.5195 697 310818
25.39/25.44	o 7007
25.49/25.52	c 7.38888 10.5195 453 312261
25.49/25.52	o 6840
26.09/26.13	c 7.54585 10.5195 620 319013
26.09/26.13	o 6699
26.49/26.52	c 7.67083 10.5195 679 322665
26.49/26.52	o 6607
27.69/27.70	c 8.02778 10.5195 576 333070
27.69/27.70	o 6594
27.69/27.73	c 8.04178 10.5195 410 333705
27.69/27.73	o 6492
27.89/27.92	c 8.09377 10.5195 682 335221
27.89/27.92	o 6452
27.89/27.98	c 8.10977 10.5195 567 335850
27.89/27.98	o 6443
28.09/28.13	c 8.14476 10.5195 700 337018
28.09/28.13	o 6431
28.19/28.20	c 8.15976 10.5195 640 337821
28.19/28.20	o 6378
29.19/29.25	c 8.44971 10.5195 479 348381
29.19/29.25	o 6341
29.89/29.95	c 8.63269 10.6445 665 354744
29.89/29.95	o 6338
30.19/30.26	c 8.70768 10.6445 772 358017
30.19/30.26	o 6288
30.69/30.76	c 8.83666 10.6445 523 363093
30.69/30.76	o 6162
31.09/31.13	c 8.93064 10.6445 370 367621
31.09/31.13	o 6156
31.09/31.17	c 8.94164 10.6445 504 368008
31.09/31.17	o 6128
31.99/32.08	c 9.17261 10.6445 502 377287
31.99/32.08	o 5998
32.09/32.18	c 9.2006 10.6445 536 378341
32.09/32.18	o 5910
32.19/32.21	c 9.2086 10.6445 618 378597
32.19/32.21	o 5903
32.19/32.27	c 9.2196 10.6445 430 379128
32.19/32.27	o 5875
32.39/32.47	c 9.26659 10.6445 676 380675
32.39/32.47	o 5823
32.59/32.66	c 9.32358 10.6445 584 382530
32.59/32.66	o 5761
32.79/32.86	c 9.38557 10.6445 748 384831
32.79/32.86	o 5725
33.09/33.10	c 9.43656 10.6445 514 387214
33.09/33.10	o 5672
33.59/33.64	c 9.58954 10.6445 597 392198
33.59/33.64	o 5613
34.19/34.23	c 9.77751 10.6445 672 396440
34.19/34.23	o 5593
34.89/34.91	c 9.92949 10.6445 761 402916
34.89/34.91	o 5553
35.39/35.41	c 10.0565 10.6445 467 407875
35.39/35.41	o 5552
35.39/35.46	c 10.0685 10.6445 671 408438
35.39/35.46	o 5538
35.49/35.58	c 10.1035 10.6445 657 409392
35.49/35.58	o 5432
35.59/35.69	c 10.1335 10.6445 662 410504
35.59/35.69	o 5356
35.69/35.71	c 10.1435 10.6445 403 410994
35.69/35.71	o 5334
35.79/35.82	c 10.1715 10.6445 828 411952
35.79/35.82	o 5303
36.00/36.05	c 10.2284 10.6445 805 414226
36.00/36.05	o 5276
36.20/36.30	c 10.2764 10.6445 476 415834
36.20/36.30	o 5270
36.69/36.79	c 10.3974 10.6445 472 420881
36.69/36.79	o 5261
37.09/37.18	c 10.4944 10.6445 602 424799
37.09/37.18	o 5217
37.09/37.19	c 10.4954 10.6445 620 424982
37.09/37.19	o 5135
37.30/37.38	c 10.5334 10.6445 494 426755
37.30/37.38	o 5089
37.49/37.57	c 10.5624 10.6445 767 428555
37.49/37.57	o 5081
37.89/37.91	c 10.6674 10.6445 692 431369
37.89/37.91	o 4994
40.19/40.21	c 11.2833 10.6445 497 448390
40.19/40.21	o 4888
40.30/40.38	c 11.3313 10.6445 733 450220
40.30/40.38	o 4877
40.39/40.46	c 11.3583 10.6445 617 450904
40.39/40.46	o 4875
40.49/40.57	c 11.3913 10.6445 699 452054
40.49/40.57	o 4784
40.59/40.61	c 11.4013 10.6445 462 452549
40.59/40.61	o 4782
41.39/41.47	c 11.6072 10.7695 744 459606
41.39/41.47	o 4764
41.49/41.54	c 11.6232 10.7695 649 460464
41.49/41.54	o 4684
41.59/41.66	c 11.6632 10.7695 730 461642
41.59/41.66	o 4671
42.19/42.22	c 11.8382 10.7695 586 465736
42.19/42.22	o 4639
43.09/43.12	c 12.0642 10.7695 573 473143
43.09/43.12	o 4574
43.09/43.17	c 12.0742 10.7695 728 473677
43.09/43.17	o 4469
43.50/43.51	c 12.1641 10.7695 469 476874
43.50/43.51	o 4457
44.00/44.07	c 12.3131 10.7695 659 481504
44.00/44.07	o 4444
44.09/44.12	c 12.3241 10.7695 425 481956
44.09/44.12	o 4441
44.39/44.46	c 12.4021 10.7695 815 484993
44.39/44.46	o 4396
45.19/45.26	c 12.5981 10.7695 634 491527
45.19/45.26	o 4381
45.49/45.52	c 12.6831 10.7695 689 493622
45.49/45.52	o 4355
45.49/45.59	c 12.7031 10.7695 496 494205
45.49/45.59	o 4354
45.99/46.09	c 12.824 10.7695 713 498515
45.99/46.09	o 4263
46.69/46.78	c 12.978 10.7695 681 504431
46.69/46.78	o 4240
46.99/47.09	c 13.06 10.7695 861 506712
46.99/47.09	o 4229
47.39/47.46	c 13.156 10.7695 601 510319
47.39/47.46	o 4192
47.59/47.63	c 13.208 10.7695 838 511953
47.59/47.63	o 4081
48.40/48.41	c 13.398 10.7695 752 519239
48.40/48.41	o 4068
48.59/48.68	c 13.468 10.7695 591 522247
48.59/48.68	o 4033
48.99/49.07	c 13.5759 10.7695 875 525923
48.99/49.07	o 4011
49.19/49.20	c 13.6059 10.7695 484 527181
49.19/49.20	o 3847
49.59/49.64	c 13.7159 10.7695 555 530861
49.59/49.64	o 3826
49.79/49.80	c 13.7639 10.7695 660 532004
49.79/49.80	o 3809
49.99/50.04	c 13.8199 10.7695 657 533784
49.99/50.04	o 3798
50.09/50.13	c 13.8529 10.7695 554 534440
50.09/50.13	o 3734
50.19/50.24	c 13.8839 10.7695 568 535467
50.19/50.24	o 3693
50.79/50.85	c 14.0389 10.7695 484 539813
50.79/50.85	o 3568
51.30/51.30	c 14.1608 10.7695 530 543742
51.30/51.30	o 3545
51.60/51.60	c 14.2468 10.7695 604 545824
51.60/51.60	o 3524
51.70/51.73	c 14.2858 10.7695 634 546916
51.70/51.73	o 3504
51.89/51.94	c 14.3428 10.7695 859 548469
51.89/51.94	o 3468
51.99/52.04	c 14.3678 10.7695 768 549331
51.99/52.04	o 3441
52.19/52.27	c 14.4388 10.7695 447 551362
52.19/52.27	o 3437
52.29/52.34	c 14.4508 10.7695 700 552118
52.29/52.34	o 3413
52.39/52.44	c 14.4728 10.7695 641 553019
52.39/52.44	o 3361
55.09/55.18	c 15.1837 10.8906 571 571470
55.09/55.18	o 3346
55.29/55.31	c 15.2177 10.8906 486 572313
55.29/55.31	o 3328
55.29/55.35	c 15.2277 10.8906 625 572764
55.29/55.35	o 3322
55.39/55.46	c 15.2707 10.8906 562 573612
55.39/55.46	o 3297
55.69/55.72	c 15.3327 10.8906 579 575670
55.69/55.72	o 3169
55.89/55.90	c 15.3837 10.8906 697 576834
55.89/55.90	o 3136
55.99/56.02	c 15.4187 10.8906 725 578049
55.99/56.02	o 3104
56.49/56.52	c 15.5596 10.8906 718 581994
56.49/56.52	o 3095
56.49/56.55	c 15.5686 10.8906 435 582353
56.49/56.55	o 3091
56.69/56.72	c 15.6046 10.8906 497 583533
56.69/56.72	o 3041
56.89/56.92	c 15.6606 10.8906 743 585088
56.89/56.92	o 2998
56.89/56.98	c 15.6806 10.8906 509 585584
56.89/56.98	o 2960
57.20/57.25	c 15.7446 10.8906 660 587755
57.20/57.25	o 2951
57.39/57.44	c 15.7936 10.8906 831 589026
57.39/57.44	o 2899
57.49/57.52	c 15.8156 10.8906 669 589642
57.49/57.52	o 2874
57.49/57.55	c 15.8236 10.8906 764 589944
57.49/57.55	o 2797
57.59/57.62	c 15.8506 10.8906 596 590501
57.59/57.62	o 2763
57.59/57.67	c 15.8616 10.8906 745 590924
57.59/57.67	o 2728
57.79/57.80	c 15.9006 10.8906 706 591826
57.79/57.80	o 2727
57.79/57.86	c 15.9146 10.8906 474 592314
57.79/57.86	o 2714
57.89/57.90	c 15.9266 10.8906 617 592769
57.89/57.90	o 2711
57.89/57.99	c 15.9536 10.8906 491 593421
57.89/57.99	o 2668
57.99/58.08	c 15.9756 10.8906 845 594339
57.99/58.08	o 2648
58.09/58.11	c 15.9806 10.8906 485 594567
58.09/58.11	o 2601
58.09/58.16	c 15.9906 10.8906 641 594993
58.09/58.16	o 2565
58.49/58.54	c 16.0886 10.8906 543 597969
58.49/58.54	o 2564
58.59/58.63	c 16.1155 10.8906 809 598608
58.59/58.63	o 2546
59.09/59.19	c 16.2615 10.8906 544 602979
59.09/59.19	o 2529
59.19/59.25	c 16.2765 10.8906 742 603672
59.19/59.25	o 2409
59.30/59.31	c 16.2865 10.8906 499 604102
59.30/59.31	o 2369
59.30/59.37	c 16.3055 10.8906 673 604553
59.30/59.37	o 2340
59.40/59.45	c 16.3275 10.8906 512 605056
59.40/59.45	o 2315
59.59/59.65	c 16.3795 10.8906 769 606727
59.59/59.65	o 2313
59.79/59.82	c 16.4295 10.8906 851 607971
59.79/59.82	o 2266
59.99/60.03	c 16.4935 10.8906 651 609378
59.99/60.03	o 2238
60.09/60.15	c 16.5345 10.8906 619 610395
60.09/60.15	o 2230
60.19/60.22	c 16.5575 10.8906 811 610917
60.19/60.22	o 2179
60.29/60.34	c 16.5915 10.8906 744 611669
60.29/60.34	o 2135
60.29/60.38	c 16.6055 10.8906 463 612067
60.29/60.38	o 2096
60.29/60.39	c 16.6095 10.8906 494 612206
60.29/60.39	o 2077
60.40/60.41	c 16.6155 11.0078 537 612329
60.40/60.41	o 2075
60.40/60.46	c 16.6275 11.0078 692 612699
60.40/60.46	o 2062
60.50/60.51	c 16.6365 11.0078 439 613149
60.50/60.51	o 2031
60.69/60.75	c 16.6945 11.0078 745 615002
60.69/60.75	o 1954
60.69/60.77	c 16.6985 11.0078 791 615127
60.69/60.77	o 1952
60.89/60.98	c 16.7495 11.0078 612 616576
60.89/60.98	o 1940
60.89/60.99	c 16.7505 11.0078 636 616697
60.89/60.99	o 1916
60.99/61.08	c 16.7754 11.0078 481 617397
60.99/61.08	o 1893
61.09/61.12	c 16.7814 11.0078 568 617571
61.09/61.12	o 1880
61.09/61.17	c 16.7904 11.0078 725 618004
61.09/61.17	o 1852
61.50/61.51	c 16.8884 11.0078 824 620217
61.50/61.51	o 1848
61.50/61.52	c 16.8924 11.0078 443 620417
61.50/61.52	o 1713
61.50/61.55	c 16.8994 11.0078 516 620768
61.50/61.55	o 1523
61.50/61.59	c 16.9114 11.0078 655 621046
61.50/61.59	o 1522
61.79/61.85	c 16.9774 11.0078 604 622549
61.79/61.85	o 1469
61.99/62.09	c 17.0414 11.0078 583 624318
61.99/62.09	o 1459
62.09/62.19	c 17.0724 11.0078 867 625051
62.09/62.19	o 1371
62.29/62.34	c 17.1074 11.0078 503 626297
62.29/62.34	o 1287
62.29/62.38	c 17.1164 11.0078 619 626594
62.29/62.38	o 1254
62.39/62.40	c 17.1244 11.0078 704 626861
62.39/62.40	o 1152
62.39/62.43	c 17.1354 11.0078 782 627041
62.39/62.43	o 1150
62.39/62.46	c 17.1424 11.0078 862 627264
62.39/62.46	o 1084
62.39/62.49	c 17.1524 11.0078 519 627428
62.39/62.49	o 1072
62.49/62.51	c 17.1574 11.0078 582 627681
62.49/62.51	o 1000
62.49/62.56	c 17.1764 11.0078 774 628042
62.49/62.56	o 988
62.60/62.61	c 17.1864 11.0078 506 628457
62.60/62.61	o 932
62.60/62.64	c 17.1924 11.0078 581 628769
62.60/62.64	o 759
62.60/62.65	c 17.1974 11.0078 610 628852
62.60/62.65	o 748
62.70/62.70	c 17.2144 11.0078 792 629359
62.70/62.70	o 647
62.70/62.76	c 17.2344 11.1328 1001 629779
62.70/62.76	o 630
62.79/62.84	c 17.2604 11.1328 811 630351
62.79/62.84	o 604
62.79/62.85	c 17.2654 11.1328 847 630481
62.79/62.85	o 563
62.79/62.89	c 17.2814 11.1328 1013 630895
62.79/62.89	o 465
62.79/62.89	c 17.2854 11.1328 1051 630986
62.79/62.89	o 452
62.89/62.90	c 17.2874 11.1328 1090 631068
62.89/62.90	o 417
62.89/62.91	c 17.2924 11.1328 1087 631168
62.89/62.91	o 407
62.89/62.94	c 17.2984 11.1328 1188 631338
62.89/62.94	o 391
62.89/62.94	c 17.2994 11.1328 1203 631392
62.89/62.94	o 364
62.89/62.94	c 17.3004 11.1328 1209 631417
62.89/62.94	o 359
62.89/62.94	c 17.3004 11.1328 1225 631528
62.89/62.94	o 260
62.89/62.96	c 17.3094 11.1328 680 631694
62.89/62.96	o 253
62.89/62.96	c 17.3094 11.1328 671 631744
62.89/62.96	o 244
62.89/62.97	c 17.3134 11.1328 730 631863
62.89/62.97	o 185
62.89/62.98	c 17.3164 11.1328 759 631898
62.89/62.98	o 184
62.89/62.98	c 17.3164 11.1328 759 631912
62.89/62.98	o 168
62.89/62.98	c 17.3194 11.1328 790 632021
62.89/62.98	o 82
62.89/62.98	c 17.3194 11.1328 559 632031
62.89/62.98	s OPTIMUM FOUND
62.89/62.98	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	82

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700132-1278534103/watcher-2700132-1278534103 -o /tmp/evaluation-result-2700132-1278534103/solver-2700132-1278534103 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700132-1278534103.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: 5.19 2.80 1.15 4/186 17772
/proc/meminfo: memFree=29552588/32951124 swapFree=67111528/67111528
[pid=17772] ppid=17770 vsize=2136 CPUtime=0
/proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 253 0 0 0 0 0 0 0 23 0 1 0 21625397 2187264 173 4089446400 134512640 136421960 4291525568 18446744073709551615 135162379 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/17772/statm: 534 173 144 467 0 65 0

[startup+0.022656 s]
/proc/loadavg: 5.19 2.80 1.15 4/186 17772
/proc/meminfo: memFree=29552588/32951124 swapFree=67111528/67111528
[pid=17772] ppid=17770 vsize=6084 CPUtime=0.01
/proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 1232 0 0 0 1 0 0 0 25 0 1 0 21625397 6230016 1152 4089446400 134512640 136421960 4291525568 18446744073709551615 134632331 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17772/statm: 1521 1152 193 467 0 1052 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6084

[startup+0.100642 s]
/proc/loadavg: 5.19 2.80 1.15 4/186 17772
/proc/meminfo: memFree=29552588/32951124 swapFree=67111528/67111528
[pid=17772] ppid=17770 vsize=10256 CPUtime=0.09
/proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2275 0 0 0 5 4 0 0 25 0 1 0 21625397 10502144 2191 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17772/statm: 2564 2191 238 467 0 2095 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10256

[startup+0.300601 s]
/proc/loadavg: 5.19 2.80 1.15 4/186 17772
/proc/meminfo: memFree=29552588/32951124 swapFree=67111528/67111528
[pid=17772] ppid=17770 vsize=10256 CPUtime=0.29
/proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2298 0 0 0 12 17 0 0 25 0 1 0 21625397 10502144 2214 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17772/statm: 2564 2214 238 467 0 2095 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10256

[startup+0.70093 s]
/proc/loadavg: 5.19 2.80 1.15 4/186 17772
/proc/meminfo: memFree=29552588/32951124 swapFree=67111528/67111528
[pid=17772] ppid=17770 vsize=10384 CPUtime=0.68
/proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2320 0 0 0 23 45 0 0 25 0 1 0 21625397 10633216 2236 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17772/statm: 2596 2236 238 467 0 2127 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10384

[startup+1.50056 s]
/proc/loadavg: 5.42 2.88 1.18 3/187 17773
/proc/meminfo: memFree=29544272/32951124 swapFree=67111528/67111528
[pid=17772] ppid=17770 vsize=10384 CPUtime=1.48
/proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2322 0 0 0 49 99 0 0 25 0 1 0 21625397 10633216 2236 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17772/statm: 2596 2236 238 467 0 2127 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10384

[startup+3.10007 s]
/proc/loadavg: 5.42 2.88 1.18 5/187 17773
/proc/meminfo: memFree=29544148/32951124 swapFree=67111528/67111528
[pid=17772] ppid=17770 vsize=10384 CPUtime=3.08
/proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2341 0 0 0 93 215 0 0 25 0 1 0 21625397 10633216 2251 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17772/statm: 2596 2251 238 467 0 2127 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10384

[startup+6.30047 s]
/proc/loadavg: 5.70 2.98 1.22 3/187 17773
/proc/meminfo: memFree=29544504/32951124 swapFree=67111528/67111528
[pid=17772] ppid=17770 vsize=10512 CPUtime=6.29
/proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2377 0 0 0 182 447 0 0 25 0 1 0 21625397 10764288 2281 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17772/statm: 2628 2281 238 467 0 2159 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10512

[startup+12.7003 s]
/proc/loadavg: 5.57 3.00 1.24 3/187 17780
/proc/meminfo: memFree=29543356/32951124 swapFree=67111528/67111528
[pid=17772] ppid=17770 vsize=10640 CPUtime=12.69
/proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2413 0 0 0 368 901 0 0 25 0 1 0 21625397 10895360 2302 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17772/statm: 2660 2302 238 467 0 2191 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10640

[startup+25.5008 s]
/proc/loadavg: 5.39 3.08 1.29 6/187 17780
/proc/meminfo: memFree=29543460/32951124 swapFree=67111528/67111528
[pid=17772] ppid=17770 vsize=10768 CPUtime=25.49
/proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2475 0 0 0 738 1811 0 0 25 0 1 0 21625397 11026432 2337 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17772/statm: 2692 2337 238 467 0 2223 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10768

[startup+51.101 s]
/proc/loadavg: 4.56 3.07 1.34 6/187 17781
/proc/meminfo: memFree=29542560/32951124 swapFree=67111528/67111528
[pid=17772] ppid=17770 vsize=11024 CPUtime=51.1
/proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2626 0 0 0 1410 3700 0 0 25 0 1 0 21625397 11288576 2415 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17772/statm: 2756 2415 238 467 0 2287 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 11024

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

[startup+57.5008 s]
/proc/loadavg: 4.76 3.14 1.37 6/187 17781
/proc/meminfo: memFree=29542664/32951124 swapFree=67111528/67111528
[pid=17772] ppid=17770 vsize=11148 CPUtime=57.49
/proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2667 0 0 0 1580 4169 0 0 25 0 1 0 21625397 11415552 2434 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17772/statm: 2787 2434 238 467 0 2318 0
Current children cumulated CPU time (s) 57.49
Current children cumulated vsize (KiB) 11148

[startup+60.7002 s]
/proc/loadavg: 4.94 3.20 1.40 4/187 17781
/proc/meminfo: memFree=29542416/32951124 swapFree=67111528/67111528
[pid=17772] ppid=17770 vsize=11268 CPUtime=60.69
/proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2718 0 0 0 1668 4401 0 0 25 0 1 0 21625397 11538432 2456 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17772/statm: 2817 2456 238 467 0 2348 0
Current children cumulated CPU time (s) 60.69
Current children cumulated vsize (KiB) 11268

[startup+62.3009 s]
/proc/loadavg: 4.94 3.20 1.40 3/187 17782
/proc/meminfo: memFree=29542292/32951124 swapFree=67111528/67111528
[pid=17772] ppid=17770 vsize=11268 CPUtime=62.29
/proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2746 0 0 0 1709 4520 0 0 25 0 1 0 21625397 11538432 2470 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17772/statm: 2817 2470 238 467 0 2348 0
Current children cumulated CPU time (s) 62.29
Current children cumulated vsize (KiB) 11268

[startup+62.7062 s]
/proc/loadavg: 4.94 3.20 1.40 3/187 17782
/proc/meminfo: memFree=29542168/32951124 swapFree=67111528/67111528
[pid=17772] ppid=17770 vsize=11268 CPUtime=62.7
/proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2770 0 0 0 1721 4549 0 0 25 0 1 0 21625397 11538432 2483 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17772/statm: 2817 2483 238 467 0 2348 0
Current children cumulated CPU time (s) 62.7
Current children cumulated vsize (KiB) 11268

[startup+62.9008 s]
/proc/loadavg: 4.94 3.20 1.40 3/187 17782
/proc/meminfo: memFree=29542168/32951124 swapFree=67111528/67111528
[pid=17772] ppid=17770 vsize=11396 CPUtime=62.89
/proc/17772/stat : 17772 (pbct) R 17770 17772 17434 0 -1 4202496 2783 0 0 0 1728 4561 0 0 25 0 1 0 21625397 11669504 2490 4089446400 134512640 136421960 4291525568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17772/statm: 2849 2490 238 467 0 2380 0
Current children cumulated CPU time (s) 62.89
Current children cumulated vsize (KiB) 11396

Child status: 0
Real time (s): 62.9945
CPU time (s): 62.9944
CPU user time (s): 17.3284
CPU system time (s): 45.6661
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 11396

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

runsolver used 0.099984 second user time and 0.209968 second system time

The end

Launcher Data 

Begin job on node102 at 2010-07-07 22:21:43
IDJOB=2700132
IDBENCH=79402
IDSOLVER=1208
FILE ID=node102/2700132-1278534103
PBS_JOBID= 11239273
Free space on /tmp= 72980 MiB

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

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

MD5SUM BENCH= 0a308225f12d2c01751496daa1233c60
RANDOM SEED=1267837110

node102.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.806
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.61
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.806
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.75
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.806
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.806
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.75
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.806
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.85
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.806
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.806
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.75
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.806
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	: 5397.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29552984 kB
Buffers:        132840 kB
Cached:        2984988 kB
SwapCached:          0 kB
Active:        1140860 kB
Inactive:      2066204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29552984 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2000 kB
Writeback:           0 kB
AnonPages:       89836 kB
Mapped:          19000 kB
Slab:           127200 kB
PageTables:       5152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   304692 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= 72976 MiB
End job on node102 at 2010-07-07 22:22:47