Trace number 3742690

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
PB10: borg-pb 10.05.30SAT 1127.61 1077.32

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K67.opb
MD5SUM9e951304b89652b8f827a6527d1495c5
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark29.5175
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3685
Total number of constraints3821
Number of constraints which are clauses3754
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint67
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 68
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.42/0.62	c DEBUG: probabilities of action success (DCM model):
0.42/0.62	c        pb/competition_2010/bsolo_pb10-l1   : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331
0.42/0.62	c        pb/competition_2010/bsolo_pb10-l2   : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493
0.42/0.62	c        pb/competition_2010/bsolo_pb10-l3   : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927
0.42/0.62	c        pb/competition_2010/wbo1.4a         : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114
0.42/0.62	c        pb/competition_2010/wbo1.4b         : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796
0.42/0.62	c        pb/other/clasp-1.3.3                : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586
0.42/0.62	c        pb/other/sat4j-pb-v20090829         : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315
0.42/0.62	c        pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110
0.42/0.63	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1203006399', u'HOME/instance-3742690-1338735633.opb'] for 0:00:10
11.37/11.16	c DEBUG: probabilities of action success (DCM model):
11.37/11.16	c        pb/competition_2010/bsolo_pb10-l1   : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
11.37/11.16	c        pb/competition_2010/bsolo_pb10-l2   : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
11.37/11.16	c        pb/competition_2010/bsolo_pb10-l3   : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
11.37/11.16	c        pb/competition_2010/wbo1.4a         : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
11.37/11.16	c        pb/competition_2010/wbo1.4b         : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
11.37/11.16	c        pb/other/clasp-1.3.3                : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
11.37/11.16	c        pb/other/sat4j-pb-v20090829         : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
11.37/11.16	c        pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
11.37/11.16	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=554832781', u'HOME/instance-3742690-1338735633.opb'] for 0:00:50
63.88/61.47	c DEBUG: probabilities of action success (DCM model):
63.88/61.47	c        pb/competition_2010/bsolo_pb10-l1   : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
63.88/61.47	c        pb/competition_2010/bsolo_pb10-l2   : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
63.88/61.47	c        pb/competition_2010/bsolo_pb10-l3   : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
63.88/61.47	c        pb/competition_2010/wbo1.4a         : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
63.88/61.47	c        pb/competition_2010/wbo1.4b         : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
63.88/61.47	c        pb/other/clasp-1.3.3                : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
63.88/61.47	c        pb/other/sat4j-pb-v20090829         : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
63.88/61.47	c        pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
63.88/61.47	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3742690-1338735633.opb'] for 0:00:50
116.97/112.00	c DEBUG: probabilities of action success (DCM model):
116.97/112.00	c        pb/competition_2010/bsolo_pb10-l1   : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
116.97/112.00	c        pb/competition_2010/bsolo_pb10-l2   : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
116.97/112.00	c        pb/competition_2010/bsolo_pb10-l3   : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
116.97/112.00	c        pb/competition_2010/wbo1.4a         : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
116.97/112.00	c        pb/competition_2010/wbo1.4b         : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
116.97/112.00	c        pb/other/clasp-1.3.3                : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
116.97/112.00	c        pb/other/sat4j-pb-v20090829         : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
116.97/112.00	c        pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
116.97/112.00	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1864520457', u'HOME/instance-3742690-1338735633.opb'] for 0:01:40
221.85/212.57	c DEBUG: probabilities of action success (DCM model):
221.85/212.57	c        pb/competition_2010/bsolo_pb10-l1   : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
221.85/212.57	c        pb/competition_2010/bsolo_pb10-l2   : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
221.85/212.57	c        pb/competition_2010/bsolo_pb10-l3   : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
221.85/212.57	c        pb/competition_2010/wbo1.4a         : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
221.85/212.57	c        pb/competition_2010/wbo1.4b         : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
221.85/212.57	c        pb/other/clasp-1.3.3                : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
221.85/212.57	c        pb/other/sat4j-pb-v20090829         : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
221.85/212.57	c        pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
221.85/212.57	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3742690-1338735633.opb'] for 0:01:40
327.31/313.36	c DEBUG: probabilities of action success (DCM model):
327.31/313.36	c        pb/competition_2010/bsolo_pb10-l1   : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
327.31/313.36	c        pb/competition_2010/bsolo_pb10-l2   : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
327.31/313.36	c        pb/competition_2010/bsolo_pb10-l3   : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
327.31/313.36	c        pb/competition_2010/wbo1.4a         : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
327.31/313.36	c        pb/competition_2010/wbo1.4b         : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
327.31/313.36	c        pb/other/clasp-1.3.3                : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
327.31/313.36	c        pb/other/sat4j-pb-v20090829         : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
327.31/313.36	c        pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
327.31/313.37	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3742690-1338735633.opb'] for 0:00:50
380.60/364.18	c DEBUG: probabilities of action success (DCM model):
380.60/364.18	c        pb/competition_2010/bsolo_pb10-l1   : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
380.60/364.18	c        pb/competition_2010/bsolo_pb10-l2   : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
380.60/364.18	c        pb/competition_2010/bsolo_pb10-l3   : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
380.60/364.18	c        pb/competition_2010/wbo1.4a         : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
380.60/364.18	c        pb/competition_2010/wbo1.4b         : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
380.60/364.18	c        pb/other/clasp-1.3.3                : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
380.60/364.18	c        pb/other/sat4j-pb-v20090829         : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
380.60/364.18	c        pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
380.60/364.18	c DETAIL: running [u'java', u'-server', u'-Xms1300m', u'-Xmx1300m', u'-jar', u'HOME/etc/solvers/other/sat4j-pb-v20090826/org.sat4j.pb.jar', u'HOME/instance-3742690-1338735633.opb'] for 0:01:40
485.07/463.60	c DEBUG: probabilities of action success (DCM model):
485.07/463.60	c        pb/competition_2010/bsolo_pb10-l1   : 0.0113 0.0134 0.0468 0.1111 0.1700 0.2008 0.3121
485.07/463.60	c        pb/competition_2010/bsolo_pb10-l2   : 0.0003 0.0004 0.0004 0.0097 0.0246 0.0337 0.1349
485.07/463.60	c        pb/competition_2010/bsolo_pb10-l3   : 0.0350 0.0698 0.0716 0.0742 0.0803 0.1102 0.2054
485.07/463.60	c        pb/competition_2010/wbo1.4a         : 0.0412 0.0077 0.0057 0.2651 0.4171 0.5010 0.7572
485.07/463.60	c        pb/competition_2010/wbo1.4b         : 0.0393 0.0018 0.1223 0.3301 0.5006 0.5897 0.7412
485.07/463.60	c        pb/other/clasp-1.3.3                : 0.0438 0.0393 0.0774 0.5834 0.6917 0.7344 0.8415
485.07/463.60	c        pb/other/sat4j-pb-v20090829         : 0.0113 0.0469 0.0012 0.2219 0.2984 0.3590 0.5209
485.07/463.60	c        pb/other/sat4j-pb-v20090829-cutting : 0.0068 0.0314 0.0319 0.0608 0.0967 0.1155 0.2497
485.07/463.60	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3742690-1338735633.opb'] for 0:01:40
590.69/564.64	c DEBUG: probabilities of action success (DCM model):
590.69/564.64	c        pb/competition_2010/bsolo_pb10-l1   : 0.0057 0.0071 0.0414 0.1021 0.1619 0.1915 0.2956
590.69/564.64	c        pb/competition_2010/bsolo_pb10-l2   : 0.0001 0.0001 0.0001 0.0077 0.0229 0.0303 0.1153
590.69/564.64	c        pb/competition_2010/bsolo_pb10-l3   : 0.0337 0.0722 0.0727 0.0742 0.0771 0.1052 0.1843
590.69/564.64	c        pb/competition_2010/wbo1.4a         : 0.0430 0.0055 0.0046 0.2375 0.3823 0.4676 0.7399
590.69/564.64	c        pb/competition_2010/wbo1.4b         : 0.0298 0.0007 0.0251 0.2904 0.4467 0.5397 0.7097
590.69/564.64	c        pb/other/clasp-1.3.3                : 0.0452 0.0419 0.0705 0.5569 0.6657 0.7106 0.8227
590.69/564.64	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0367 0.0011 0.1953 0.2620 0.3061 0.4652
590.69/564.64	c        pb/other/sat4j-pb-v20090829-cutting : 0.0047 0.0213 0.0220 0.0357 0.0726 0.0877 0.2092
590.69/564.65	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-3742690-1338735633.opb'] for 0:00:50
643.34/614.96	c DEBUG: probabilities of action success (DCM model):
643.34/614.96	c        pb/competition_2010/bsolo_pb10-l1   : 0.0056 0.0070 0.0350 0.0875 0.1379 0.1679 0.2779
643.34/614.96	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0082 0.0206 0.0285 0.1112
643.34/614.96	c        pb/competition_2010/bsolo_pb10-l3   : 0.0271 0.0006 0.0648 0.0663 0.0694 0.0943 0.1707
643.34/614.96	c        pb/competition_2010/wbo1.4a         : 0.0418 0.0058 0.0048 0.2383 0.3810 0.4683 0.7449
643.34/614.96	c        pb/competition_2010/wbo1.4b         : 0.0319 0.0007 0.0234 0.2842 0.4328 0.5290 0.7099
643.34/614.96	c        pb/other/clasp-1.3.3                : 0.0466 0.0429 0.0715 0.5647 0.6728 0.7172 0.8274
643.34/614.96	c        pb/other/sat4j-pb-v20090829         : 0.0089 0.0393 0.0011 0.1832 0.2460 0.2933 0.4648
643.34/614.96	c        pb/other/sat4j-pb-v20090829-cutting : 0.0049 0.0225 0.0232 0.0376 0.0774 0.0936 0.2247
643.34/614.96	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=242572637', u'HOME/instance-3742690-1338735633.opb'] for 0:00:10
654.33/625.49	c DEBUG: probabilities of action success (DCM model):
654.33/625.49	c        pb/competition_2010/bsolo_pb10-l1   : 0.0048 0.0062 0.0356 0.0901 0.1429 0.1729 0.2823
654.33/625.49	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0085 0.0216 0.0299 0.1142
654.33/625.49	c        pb/competition_2010/bsolo_pb10-l3   : 0.0284 0.0006 0.0660 0.0675 0.0708 0.0964 0.1746
654.33/625.49	c        pb/competition_2010/wbo1.4a         : 0.0419 0.0061 0.0050 0.2416 0.3851 0.4718 0.7463
654.33/625.49	c        pb/competition_2010/wbo1.4b         : 0.0313 0.0007 0.0242 0.2884 0.4409 0.5368 0.7143
654.33/625.49	c        pb/other/clasp-1.3.3                : 0.0432 0.0422 0.0717 0.5642 0.6732 0.7178 0.8280
654.33/625.49	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0402 0.0011 0.1889 0.2523 0.3000 0.4690
654.33/625.49	c        pb/other/sat4j-pb-v20090829-cutting : 0.0041 0.0196 0.0203 0.0354 0.0744 0.0909 0.2215
654.33/625.49	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=992416676', u'HOME/instance-3742690-1338735633.opb'] for 0:00:10
665.42/636.02	c DEBUG: probabilities of action success (DCM model):
665.42/636.02	c        pb/competition_2010/bsolo_pb10-l1   : 0.0043 0.0058 0.0365 0.0929 0.1481 0.1780 0.2865
665.42/636.02	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0089 0.0225 0.0312 0.1171
665.42/636.02	c        pb/competition_2010/bsolo_pb10-l3   : 0.0297 0.0007 0.0671 0.0686 0.0720 0.0984 0.1784
665.42/636.02	c        pb/competition_2010/wbo1.4a         : 0.0419 0.0064 0.0052 0.2447 0.3890 0.4751 0.7470
665.42/636.02	c        pb/competition_2010/wbo1.4b         : 0.0310 0.0007 0.0249 0.2925 0.4487 0.5442 0.7181
665.42/636.02	c        pb/other/clasp-1.3.3                : 0.0408 0.0415 0.0717 0.5640 0.6738 0.7185 0.8288
665.42/636.02	c        pb/other/sat4j-pb-v20090829         : 0.0081 0.0414 0.0012 0.1953 0.2599 0.3078 0.4741
665.42/636.02	c        pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0182 0.0189 0.0346 0.0729 0.0895 0.2196
665.42/636.02	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3742690-1338735633.opb'] for 0:00:10
676.40/646.39	c DEBUG: probabilities of action success (DCM model):
676.40/646.39	c        pb/competition_2010/bsolo_pb10-l1   : 0.0042 0.0051 0.0367 0.0952 0.1515 0.1809 0.2919
676.40/646.39	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0091 0.0232 0.0322 0.1217
676.40/646.39	c        pb/competition_2010/bsolo_pb10-l3   : 0.0308 0.0006 0.0658 0.0668 0.0704 0.0979 0.1806
676.40/646.39	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0062 0.0054 0.2431 0.3935 0.4830 0.7552
676.40/646.39	c        pb/competition_2010/wbo1.4b         : 0.0322 0.0006 0.0259 0.2941 0.4539 0.5495 0.7272
676.40/646.39	c        pb/other/clasp-1.3.3                : 0.0407 0.0412 0.0702 0.5773 0.6906 0.7332 0.8386
676.40/646.39	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0415 0.0012 0.1996 0.2666 0.3166 0.4896
676.40/646.39	c        pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0187 0.0192 0.0349 0.0747 0.0916 0.2271
676.40/646.39	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=27252848', u'HOME/instance-3742690-1338735633.opb'] for 0:00:10
687.52/656.92	c DEBUG: probabilities of action success (DCM model):
687.52/656.92	c        pb/competition_2010/bsolo_pb10-l1   : 0.0039 0.0049 0.0378 0.0982 0.1569 0.1862 0.2962
687.52/656.92	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0095 0.0242 0.0336 0.1245
687.52/656.92	c        pb/competition_2010/bsolo_pb10-l3   : 0.0321 0.0007 0.0669 0.0680 0.0717 0.1000 0.1846
687.52/656.92	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0064 0.0056 0.2461 0.3974 0.4861 0.7556
687.52/656.92	c        pb/competition_2010/wbo1.4b         : 0.0321 0.0006 0.0266 0.2983 0.4618 0.5570 0.7307
687.52/656.92	c        pb/other/clasp-1.3.3                : 0.0387 0.0405 0.0702 0.5772 0.6912 0.7339 0.8394
687.52/656.92	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0428 0.0012 0.2064 0.2748 0.3250 0.4951
687.52/656.92	c        pb/other/sat4j-pb-v20090829-cutting : 0.0036 0.0179 0.0184 0.0347 0.0737 0.0907 0.2256
687.52/656.92	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1730464883', u'HOME/instance-3742690-1338735633.opb'] for 0:00:10
698.49/667.45	c DEBUG: probabilities of action success (DCM model):
698.49/667.45	c        pb/competition_2010/bsolo_pb10-l1   : 0.0037 0.0048 0.0389 0.1012 0.1623 0.1915 0.3004
698.49/667.45	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0099 0.0251 0.0349 0.1274
698.49/667.45	c        pb/competition_2010/bsolo_pb10-l3   : 0.0334 0.0007 0.0680 0.0691 0.0729 0.1020 0.1884
698.49/667.45	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0067 0.0057 0.2490 0.4011 0.4892 0.7558
698.49/667.45	c        pb/competition_2010/wbo1.4b         : 0.0320 0.0006 0.0273 0.3025 0.4695 0.5642 0.7341
698.49/667.45	c        pb/other/clasp-1.3.3                : 0.0369 0.0398 0.0702 0.5772 0.6919 0.7347 0.8403
698.49/667.45	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0442 0.0013 0.2134 0.2832 0.3336 0.5007
698.49/667.45	c        pb/other/sat4j-pb-v20090829-cutting : 0.0034 0.0174 0.0179 0.0348 0.0730 0.0901 0.2243
698.49/667.45	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1783198463', u'HOME/instance-3742690-1338735633.opb'] for 0:00:10
709.50/677.99	c DEBUG: probabilities of action success (DCM model):
709.50/677.99	c        pb/competition_2010/bsolo_pb10-l1   : 0.0036 0.0047 0.0401 0.1043 0.1677 0.1967 0.3047
709.50/677.99	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0103 0.0261 0.0362 0.1301
709.50/677.99	c        pb/competition_2010/bsolo_pb10-l3   : 0.0347 0.0007 0.0690 0.0701 0.0742 0.1041 0.1923
709.50/677.99	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0069 0.0059 0.2519 0.4048 0.4922 0.7560
709.50/677.99	c        pb/competition_2010/wbo1.4b         : 0.0319 0.0006 0.0280 0.3065 0.4771 0.5714 0.7375
709.50/677.99	c        pb/other/clasp-1.3.3                : 0.0352 0.0390 0.0701 0.5772 0.6926 0.7356 0.8412
709.50/677.99	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0456 0.0013 0.2203 0.2917 0.3422 0.5065
709.50/677.99	c        pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0170 0.0176 0.0351 0.0725 0.0897 0.2232
709.50/677.99	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1317380921', u'HOME/instance-3742690-1338735633.opb'] for 0:00:10
720.61/688.52	c DEBUG: probabilities of action success (DCM model):
720.61/688.52	c        pb/competition_2010/bsolo_pb10-l1   : 0.0035 0.0046 0.0414 0.1073 0.1730 0.2020 0.3089
720.61/688.52	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0106 0.0270 0.0376 0.1328
720.61/688.52	c        pb/competition_2010/bsolo_pb10-l3   : 0.0359 0.0007 0.0700 0.0712 0.0753 0.1061 0.1960
720.61/688.52	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0071 0.0061 0.2547 0.4085 0.4952 0.7561
720.61/688.52	c        pb/competition_2010/wbo1.4b         : 0.0318 0.0006 0.0287 0.3105 0.4845 0.5783 0.7407
720.61/688.52	c        pb/other/clasp-1.3.3                : 0.0337 0.0383 0.0700 0.5774 0.6935 0.7365 0.8422
720.61/688.52	c        pb/other/sat4j-pb-v20090829         : 0.0085 0.0471 0.0014 0.2273 0.3002 0.3509 0.5123
720.61/688.52	c        pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0168 0.0174 0.0356 0.0721 0.0895 0.2223
720.61/688.52	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-3742690-1338735633.opb'] for 0:00:10
731.35/698.75	c DEBUG: probabilities of action success (DCM model):
731.35/698.75	c        pb/competition_2010/bsolo_pb10-l1   : 0.0035 0.0046 0.0335 0.0887 0.1422 0.1723 0.2831
731.35/698.75	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0110 0.0239 0.0348 0.1243
731.35/698.75	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0006 0.0633 0.0644 0.0688 0.0951 0.1792
731.35/698.75	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0074 0.0063 0.2548 0.4004 0.4857 0.7517
731.35/698.75	c        pb/competition_2010/wbo1.4b         : 0.0330 0.0006 0.0260 0.3033 0.4653 0.5626 0.7311
731.35/698.75	c        pb/other/clasp-1.3.3                : 0.0349 0.0397 0.0725 0.5710 0.6821 0.7268 0.8363
731.35/698.75	c        pb/other/sat4j-pb-v20090829         : 0.0088 0.0488 0.0013 0.2079 0.2742 0.3267 0.4941
731.35/698.75	c        pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0174 0.0180 0.0367 0.0746 0.0926 0.2304
731.35/698.75	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1484676062', u'HOME/instance-3742690-1338735633.opb'] for 0:00:10
742.36/709.28	c DEBUG: probabilities of action success (DCM model):
742.36/709.28	c        pb/competition_2010/bsolo_pb10-l1   : 0.0034 0.0046 0.0345 0.0912 0.1467 0.1766 0.2865
742.36/709.28	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0114 0.0247 0.0360 0.1268
742.36/709.28	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0006 0.0641 0.0652 0.0697 0.0968 0.1824
742.36/709.28	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0077 0.0065 0.2576 0.4039 0.4884 0.7517
742.36/709.28	c        pb/competition_2010/wbo1.4b         : 0.0330 0.0006 0.0266 0.3071 0.4722 0.5692 0.7341
742.36/709.28	c        pb/other/clasp-1.3.3                : 0.0335 0.0390 0.0725 0.5709 0.6826 0.7274 0.8371
742.36/709.28	c        pb/other/sat4j-pb-v20090829         : 0.0089 0.0504 0.0014 0.2144 0.2821 0.3348 0.4995
742.36/709.28	c        pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0173 0.0179 0.0373 0.0744 0.0926 0.2299
742.36/709.28	c DETAIL: running [u'java', u'-server', u'-Xms1300m', u'-Xmx1300m', u'-jar', u'HOME/etc/solvers/other/sat4j-pb-v20090826/org.sat4j.pb.jar', u'HOME/instance-3742690-1338735633.opb'] for 0:00:50
794.89/758.91	c DEBUG: probabilities of action success (DCM model):
794.89/758.91	c        pb/competition_2010/bsolo_pb10-l1   : 0.0027 0.0033 0.0343 0.0933 0.1487 0.1802 0.2953
794.89/758.91	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0068 0.0207 0.0275 0.1219
794.89/758.91	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0674 0.0680 0.0719 0.1000 0.1870
794.89/758.91	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0066 0.0068 0.2480 0.3953 0.4814 0.7562
794.89/758.91	c        pb/competition_2010/wbo1.4b         : 0.0339 0.0006 0.0270 0.3026 0.4612 0.5528 0.7230
794.89/758.91	c        pb/other/clasp-1.3.3                : 0.0351 0.0409 0.0745 0.5713 0.6785 0.7222 0.8293
794.89/758.91	c        pb/other/sat4j-pb-v20090829         : 0.0060 0.0004 0.0011 0.1829 0.2472 0.3019 0.4737
794.89/758.91	c        pb/other/sat4j-pb-v20090829-cutting : 0.0026 0.0140 0.0144 0.0310 0.0693 0.0875 0.2214
794.89/758.92	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=805272391', u'HOME/instance-3742690-1338735633.opb'] for 0:00:10
805.85/769.44	c DEBUG: probabilities of action success (DCM model):
805.85/769.44	c        pb/competition_2010/bsolo_pb10-l1   : 0.0027 0.0033 0.0354 0.0960 0.1534 0.1848 0.2992
805.85/769.44	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0071 0.0214 0.0284 0.1243
805.85/769.44	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0683 0.0690 0.0730 0.1019 0.1906
805.85/769.44	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0068 0.0070 0.2506 0.3986 0.4840 0.7563
805.85/769.44	c        pb/competition_2010/wbo1.4b         : 0.0339 0.0006 0.0276 0.3064 0.4679 0.5590 0.7256
805.85/769.44	c        pb/other/clasp-1.3.3                : 0.0338 0.0402 0.0745 0.5713 0.6790 0.7228 0.8299
805.85/769.44	c        pb/other/sat4j-pb-v20090829         : 0.0061 0.0004 0.0012 0.1887 0.2544 0.3093 0.4786
805.85/769.44	c        pb/other/sat4j-pb-v20090829-cutting : 0.0025 0.0141 0.0144 0.0316 0.0691 0.0875 0.2207
805.85/769.45	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3742690-1338735633.opb'] for 0:00:10
816.97/779.80	c DEBUG: probabilities of action success (DCM model):
816.97/779.80	c        pb/competition_2010/bsolo_pb10-l1   : 0.0021 0.0027 0.0359 0.0961 0.1555 0.1853 0.2919
816.97/779.80	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0073 0.0222 0.0294 0.1169
816.97/779.80	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0706 0.0713 0.0755 0.1030 0.1852
816.97/779.80	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0065 0.0052 0.2439 0.3901 0.4758 0.7496
816.97/779.80	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0267 0.2960 0.4524 0.5454 0.7179
816.97/779.80	c        pb/other/clasp-1.3.3                : 0.0338 0.0415 0.0712 0.5594 0.6694 0.7147 0.8248
816.97/779.80	c        pb/other/sat4j-pb-v20090829         : 0.0056 0.0004 0.0012 0.1911 0.2541 0.3010 0.4646
816.97/779.80	c        pb/other/sat4j-pb-v20090829-cutting : 0.0020 0.0120 0.0123 0.0301 0.0690 0.0845 0.2092
816.97/779.80	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1435924919', u'HOME/instance-3742690-1338735633.opb'] for 0:00:10
827.93/790.34	c DEBUG: probabilities of action success (DCM model):
827.93/790.34	c        pb/competition_2010/bsolo_pb10-l1   : 0.0021 0.0027 0.0371 0.0989 0.1604 0.1901 0.2959
827.93/790.34	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0076 0.0230 0.0305 0.1193
827.93/790.34	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0716 0.0723 0.0767 0.1049 0.1888
827.93/790.34	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0067 0.0053 0.2464 0.3934 0.4784 0.7497
827.93/790.34	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0273 0.2998 0.4592 0.5516 0.7206
827.93/790.34	c        pb/other/clasp-1.3.3                : 0.0326 0.0409 0.0712 0.5595 0.6700 0.7154 0.8255
827.93/790.34	c        pb/other/sat4j-pb-v20090829         : 0.0057 0.0004 0.0012 0.1971 0.2615 0.3086 0.4696
827.93/790.34	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0120 0.0124 0.0308 0.0689 0.0846 0.2085
827.93/790.34	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1183190595', u'HOME/instance-3742690-1338735633.opb'] for 0:00:10
838.93/800.87	c DEBUG: probabilities of action success (DCM model):
838.93/800.87	c        pb/competition_2010/bsolo_pb10-l1   : 0.0020 0.0027 0.0382 0.1017 0.1653 0.1949 0.2998
838.93/800.87	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0078 0.0237 0.0315 0.1217
838.93/800.87	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0726 0.0733 0.0778 0.1068 0.1923
838.93/800.87	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0069 0.0055 0.2489 0.3967 0.4810 0.7498
838.93/800.87	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0279 0.3035 0.4659 0.5577 0.7233
838.93/800.87	c        pb/other/clasp-1.3.3                : 0.0314 0.0402 0.0712 0.5597 0.6707 0.7161 0.8262
838.93/800.87	c        pb/other/sat4j-pb-v20090829         : 0.0058 0.0004 0.0013 0.2031 0.2690 0.3163 0.4747
838.93/800.87	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0121 0.0125 0.0315 0.0689 0.0847 0.2079
838.93/800.87	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1509114614', u'HOME/instance-3742690-1338735633.opb'] for 0:00:10
850.06/811.41	c DEBUG: probabilities of action success (DCM model):
850.06/811.41	c        pb/competition_2010/bsolo_pb10-l1   : 0.0020 0.0027 0.0394 0.1045 0.1701 0.1997 0.3036
850.06/811.41	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0081 0.0245 0.0325 0.1240
850.06/811.41	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0735 0.0742 0.0789 0.1086 0.1958
850.06/811.41	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0072 0.0056 0.2514 0.3999 0.4836 0.7499
850.06/811.41	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0286 0.3071 0.4724 0.5638 0.7259
850.06/811.41	c        pb/other/clasp-1.3.3                : 0.0302 0.0396 0.0712 0.5599 0.6714 0.7169 0.8270
850.06/811.41	c        pb/other/sat4j-pb-v20090829         : 0.0059 0.0004 0.0013 0.2091 0.2764 0.3239 0.4798
850.06/811.41	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0122 0.0126 0.0322 0.0689 0.0848 0.2073
850.06/811.41	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1879576156', u'HOME/instance-3742690-1338735633.opb'] for 0:05:00
1127.35/1077.28	s SATISFIABLE
1127.35/1077.28	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 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 x2663 -x2664 x2665 -x2666 x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 x3574 -x3575 x3576 -x3577 x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 x3685

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742690-1338735633/watcher-3742690-1338735633 -o /tmp/evaluation-result-3742690-1338735633/solver-3742690-1338735633 -C 1800 -W 1900 -M 15500 solver HOME/instance-3742690-1338735633.opb 2057291921 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.10 2.09 2.09 3/178 32523
/proc/meminfo: memFree=28787616/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/32523/stat : 32523 (python) R 32521 32523 22930 0 -1 4202496 832 0 0 0 0 0 0 0 20 0 1 0 339688184 15749120 590 33554432000 4194304 5683644 140734406217536 140734406189720 5002908 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/32523/statm: 3845 595 333 364 0 287 0

[startup+0.067011 s]
/proc/loadavg: 2.10 2.09 2.09 3/178 32523
/proc/meminfo: memFree=28787616/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=31700 CPUtime=0.03 cores=1,3,5,7
/proc/32523/stat : 32523 (python) D 32521 32523 22930 0 -1 4202496 2849 0 0 0 2 1 0 0 20 0 1 0 339688184 32460800 1250 33554432000 4194304 4196484 140735083111120 140735083002920 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 7925 1250 467 1 0 752 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 31700

[startup+0.100313 s]
/proc/loadavg: 2.10 2.09 2.09 3/178 32523
/proc/meminfo: memFree=28787616/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=54496 CPUtime=0.06 cores=1,3,5,7
/proc/32523/stat : 32523 (python) R 32521 32523 22930 0 -1 4202496 3854 0 0 0 4 2 0 0 20 0 1 0 339688184 55803904 2065 33554432000 4194304 4196484 140735083111120 140735082902552 233220948880 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 13624 2065 573 1 0 1479 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 54496

[startup+0.300274 s]
/proc/loadavg: 2.10 2.09 2.09 3/178 32523
/proc/meminfo: memFree=28787616/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=103804 CPUtime=0.23 cores=1,3,5,7
/proc/32523/stat : 32523 (python) R 32521 32523 22930 0 -1 4202496 6863 1014 0 0 16 7 0 0 20 0 1 0 339688184 106295296 4266 33554432000 4194304 4196484 140735083111120 140735083077080 140166840146016 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 25951 4266 1052 1 0 3237 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 103804

[startup+0.700131 s]
/proc/loadavg: 2.10 2.09 2.09 3/178 32523
/proc/meminfo: memFree=28787616/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=134460 CPUtime=0.5 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 11244 1014 0 0 37 13 0 0 20 0 1 0 339688184 137687040 6349 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/32523/statm: 33615 6349 1170 1 0 5187 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 134460

[startup+1.50026 s]
/proc/loadavg: 2.10 2.09 2.09 3/179 32529
/proc/meminfo: memFree=28765536/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=134460 CPUtime=0.52 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 11246 1014 0 0 39 13 0 0 20 0 1 0 339688184 137687040 6349 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/32523/statm: 33615 6349 1170 1 0 5187 0
[pid=32529] ppid=32523 vsize=3704 CPUtime=0.85 cores=1,3,5,7
/proc/32529/stat : 32529 (clasp-1.3.3-x86) R 32523 32529 32529 0 -1 4202496 1000 0 0 0 85 0 0 0 20 0 1 0 339688247 3792896 685 33554432000 134512640 136080129 4287242896 4287241888 134588666 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/32529/statm: 926 685 175 383 0 541 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 138164

[startup+3.10026 s]
/proc/loadavg: 2.10 2.09 2.09 3/179 32529
/proc/meminfo: memFree=28763180/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=134460 CPUtime=0.59 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 11252 1014 0 0 45 14 0 0 20 0 1 0 339688184 137687040 6349 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/32523/statm: 33615 6349 1170 1 0 5187 0
[pid=32529] ppid=32523 vsize=4372 CPUtime=2.45 cores=1,3,5,7
/proc/32529/stat : 32529 (clasp-1.3.3-x86) R 32523 32529 32529 0 -1 4202496 1176 0 0 0 245 0 0 0 20 0 1 0 339688247 4476928 861 33554432000 134512640 136080129 4287242896 4287241968 134849614 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/32529/statm: 1093 861 175 383 0 708 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 138832

[startup+6.30026 s]
/proc/loadavg: 2.09 2.09 2.08 3/180 32530
/proc/meminfo: memFree=28761132/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=134460 CPUtime=0.72 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 11260 1014 0 0 57 15 0 0 20 0 1 0 339688184 137687040 6349 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/32523/statm: 33615 6349 1170 1 0 5187 0
[pid=32529] ppid=32523 vsize=5032 CPUtime=5.65 cores=1,3,5,7
/proc/32529/stat : 32529 (clasp-1.3.3-x86) R 32523 32529 32529 0 -1 4202496 1318 0 0 0 565 0 0 0 20 0 1 0 339688247 5152768 1003 33554432000 134512640 136080129 4287242896 4287241840 134579995 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/32529/statm: 1258 1003 175 383 0 873 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 139492

[startup+12.7003 s]
/proc/loadavg: 2.08 2.09 2.08 3/180 32536
/proc/meminfo: memFree=28763676/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=11.56 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 12504 3517 0 0 85 20 1050 1 20 0 1 0 339688184 139796480 6369 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6369 1180 1 0 5187 0
[pid=32536] ppid=32523 vsize=3840 CPUtime=1.52 cores=1,3,5,7
/proc/32536/stat : 32536 (clasp-1.3.3-x86) R 32523 32536 32536 0 -1 4202496 1035 0 0 0 152 0 0 0 20 0 1 0 339689301 3932160 724 33554432000 134512640 136080129 4291450608 4291449680 134849100 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/32536/statm: 960 724 175 383 0 575 0
Current children cumulated CPU time (s) 13.08
Current children cumulated vsize (KiB) 140360

[startup+25.5003 s]
/proc/loadavg: 2.07 2.08 2.08 3/180 32539
/proc/meminfo: memFree=28759120/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=12.13 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 12531 3517 0 0 135 27 1050 1 20 0 1 0 339688184 139796480 6369 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6369 1180 1 0 5187 0
[pid=32536] ppid=32523 vsize=7420 CPUtime=14.32 cores=1,3,5,7
/proc/32536/stat : 32536 (clasp-1.3.3-x86) R 32523 32536 32536 0 -1 4202496 1912 0 0 0 1432 0 0 0 20 0 1 0 339689301 7598080 1601 33554432000 134512640 136080129 4291450608 4291449680 134849629 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/32536/statm: 1855 1601 175 383 0 1470 0
Current children cumulated CPU time (s) 26.45
Current children cumulated vsize (KiB) 143940

[startup+51.1003 s]
/proc/loadavg: 2.10 2.09 2.09 3/180 32565
/proc/meminfo: memFree=28755392/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=13.25 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 12555 3517 0 0 233 41 1050 1 20 0 1 0 339688184 139796480 6369 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6369 1180 1 0 5187 0
[pid=32536] ppid=32523 vsize=9604 CPUtime=39.91 cores=1,3,5,7
/proc/32536/stat : 32536 (clasp-1.3.3-x86) R 32523 32536 32536 0 -1 4202496 2480 0 0 0 3991 0 0 0 20 0 1 0 339689301 9834496 2167 33554432000 134512640 136080129 4291450608 4291449600 134588820 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/32536/statm: 2401 2167 175 383 0 2016 0
Current children cumulated CPU time (s) 53.16
Current children cumulated vsize (KiB) 146124

[startup+102.307 s]
/proc/loadavg: 2.04 2.08 2.08 3/179 32568
/proc/meminfo: memFree=28673036/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=66.04 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 13722 6987 0 0 450 75 6077 2 20 0 1 0 339688184 139796480 6374 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6374 1180 1 0 5187 0
[pid=32568] ppid=32523 vsize=76348 CPUtime=40.8 cores=1,3,5,7
/proc/32568/stat : 32568 (wbo1.4a) R 32523 32568 32568 0 -1 4202496 19022 0 0 0 4052 28 0 0 20 0 1 0 339694331 78180352 18648 33554432000 134512640 135751879 4289504288 4289502464 134616564 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/32568/statm: 19087 18648 139 303 0 18782 0
Current children cumulated CPU time (s) 106.84
Current children cumulated vsize (KiB) 212868

[startup+162.3 s]
/proc/loadavg: 2.05 2.07 2.08 3/179 32571
/proc/meminfo: memFree=28733368/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=119.21 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 14968 29363 0 0 681 112 11092 36 20 0 1 0 339688184 139796480 6376 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6376 1180 1 0 5187 0
[pid=32571] ppid=32523 vsize=9676 CPUtime=50.27 cores=1,3,5,7
/proc/32571/stat : 32571 (clasp-1.3.3-x86) R 32523 32571 32571 0 -1 4202496 2475 0 0 0 5027 0 0 0 20 0 1 0 339699384 9908224 2160 33554432000 134512640 136080129 4290963680 4290962688 134842292 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/32571/statm: 2419 2160 175 383 0 2034 0
Current children cumulated CPU time (s) 169.48
Current children cumulated vsize (KiB) 146196

[startup+222.3 s]
/proc/loadavg: 2.12 2.09 2.09 3/179 32574
/proc/meminfo: memFree=28707008/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=222.59 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 16214 33499 0 0 929 148 21144 38 20 0 1 0 339688184 139796480 6377 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6377 1180 1 0 5187 0
[pid=32574] ppid=32523 vsize=23992 CPUtime=9.71 cores=1,3,5,7
/proc/32574/stat : 32574 (wbo1.4a) R 32523 32574 32574 0 -1 4202496 5921 0 0 0 965 6 0 0 20 0 1 0 339709441 24567808 5551 33554432000 134512640 135751879 4292367280 4292365452 134517428 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/32574/statm: 5998 5551 139 303 0 5693 0
Current children cumulated CPU time (s) 232.3
Current children cumulated vsize (KiB) 160512

[startup+282.3 s]
/proc/loadavg: 2.09 2.08 2.08 3/179 32574
/proc/meminfo: memFree=28624228/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=225.27 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 16254 33499 0 0 1160 185 21144 38 20 0 1 0 339688184 139796480 6377 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6377 1180 1 0 5187 0
[pid=32574] ppid=32523 vsize=105848 CPUtime=69.7 cores=1,3,5,7
/proc/32574/stat : 32574 (wbo1.4a) R 32523 32574 32574 0 -1 4202496 26399 0 0 0 6930 40 0 0 20 0 1 0 339709441 108388352 26021 33554432000 134512640 135751879 4292367280 4292365532 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/32574/statm: 26462 26021 139 303 0 26157 0
Current children cumulated CPU time (s) 294.97
Current children cumulated vsize (KiB) 242368

[startup+342.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/179 32581
/proc/meminfo: memFree=28654388/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=328.94 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 17483 68454 0 0 1416 222 31167 89 20 0 1 0 339688184 139796480 6379 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6379 1180 1 0 5187 0
[pid=32578] ppid=32523 vsize=99524 CPUtime=28.9 cores=1,3,5,7
/proc/32578/stat : 32578 (wbo1.4b) R 32523 32578 32578 0 -1 4202496 24805 0 0 0 2873 17 0 0 20 0 1 0 339719521 101912576 24421 33554432000 134512640 135751879 4289119952 4289118044 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/32578/statm: 24881 24421 144 303 0 24576 0
Current children cumulated CPU time (s) 357.84
Current children cumulated vsize (KiB) 236044

[startup+402.301 s]
/proc/loadavg: 2.01 2.05 2.07 3/197 32602
/proc/meminfo: memFree=28575044/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=382.49 cores=1,3,5,7

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

/proc/32523/statm: 34130 6383 1180 1 0 5187 0
[pid=32643] ppid=32523 vsize=18568 CPUtime=6.27 cores=1,3,5,7
/proc/32643/stat : 32643 (wbo1.4a) R 32523 32643 32643 0 -1 4202496 4569 0 0 0 620 7 0 0 20 0 1 0 339751786 19013632 4201 33554432000 134512640 135751879 4290198320 4290196492 134517408 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/32643/statm: 4642 4201 139 303 0 4337 0
Current children cumulated CPU time (s) 672.25
Current children cumulated vsize (KiB) 155088

[startup+702.3 s]
/proc/loadavg: 2.05 2.05 2.07 3/179 32661
/proc/meminfo: memFree=28750320/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=731.63 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 32189 266409 0 1 2891 463 69572 237 20 0 1 0 339688184 139796480 6385 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6385 1180 1 0 5187 0
[pid=32661] ppid=32523 vsize=4368 CPUtime=3.54 cores=1,3,5,7
/proc/32661/stat : 32661 (clasp-1.3.3-x86) R 32523 32661 32661 0 -1 4202496 1172 0 0 0 354 0 0 0 20 0 1 0 339758059 4472832 859 33554432000 134512640 136080129 4286983904 4286982976 134849910 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/32661/statm: 1092 859 175 383 0 707 0
Current children cumulated CPU time (s) 735.17
Current children cumulated vsize (KiB) 140888

[startup+762.306 s]
/proc/loadavg: 2.07 2.06 2.06 3/179 32694
/proc/meminfo: memFree=28760252/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=795.09 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 34655 278862 0 2 3128 504 75631 246 20 0 1 0 339688184 139796480 6387 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6387 1180 1 0 5187 0
[pid=32694] ppid=32523 vsize=4616 CPUtime=3.38 cores=1,3,5,7
/proc/32694/stat : 32694 (clasp-1.3.3-x86) R 32523 32694 32694 0 -1 4202496 1224 0 0 0 338 0 0 0 20 0 1 0 339764076 4726784 910 33554432000 134512640 136080129 4293024272 4293023264 134589230 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/32694/statm: 1154 910 175 383 0 769 0
Current children cumulated CPU time (s) 798.47
Current children cumulated vsize (KiB) 141136

[startup+822.3 s]
/proc/loadavg: 2.06 2.06 2.06 3/179 32709
/proc/meminfo: memFree=28742936/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=850.58 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 40757 295390 0 2 3391 548 80863 256 20 0 1 0 339688184 139796480 6388 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6388 1180 1 0 5187 0
[pid=32709] ppid=32523 vsize=6056 CPUtime=10.87 cores=1,3,5,7
/proc/32709/stat : 32709 (clasp-1.3.3-x86) R 32523 32709 32709 0 -1 4202496 1597 0 0 0 1087 0 0 0 20 0 1 0 339769325 6201344 1279 33554432000 134512640 136080129 4286668288 4286667248 134808128 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/32709/statm: 1514 1279 175 383 0 1129 0
Current children cumulated CPU time (s) 861.45
Current children cumulated vsize (KiB) 142576

[startup+882.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/179 32718
/proc/meminfo: memFree=28753300/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=853.22 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 40797 295390 0 2 3618 585 80863 256 20 0 1 0 339688184 139796480 6388 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6388 1180 1 0 5187 0
[pid=32709] ppid=32523 vsize=10704 CPUtime=70.86 cores=1,3,5,7
/proc/32709/stat : 32709 (clasp-1.3.3-x86) R 32523 32709 32709 0 -1 4202496 2753 0 0 0 7086 0 0 0 20 0 1 0 339769325 10960896 2432 33554432000 134512640 136080129 4286668288 4286667280 134588658 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/32709/statm: 2676 2432 175 383 0 2291 0
Current children cumulated CPU time (s) 924.08
Current children cumulated vsize (KiB) 147224

[startup+942.3 s]
/proc/loadavg: 2.04 2.05 2.06 2/172 32744
/proc/meminfo: memFree=28802068/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=855.83 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 40823 295390 0 2 3845 619 80863 256 20 0 1 0 339688184 139796480 6388 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6388 1180 1 0 5187 0
[pid=32709] ppid=32523 vsize=13076 CPUtime=130.86 cores=1,3,5,7
/proc/32709/stat : 32709 (clasp-1.3.3-x86) R 32523 32709 32709 0 -1 4202496 3360 0 0 0 13085 1 0 0 20 0 1 0 339769325 13389824 3037 33554432000 134512640 136080129 4286668288 4286667248 134808348 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/32709/statm: 3269 3037 175 383 0 2884 0
Current children cumulated CPU time (s) 986.69
Current children cumulated vsize (KiB) 149596

[startup+1002.3 s]
/proc/loadavg: 1.38 1.86 1.99 2/172 32744
/proc/meminfo: memFree=28800424/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=858.4 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 40848 295390 0 2 4068 653 80863 256 20 0 1 0 339688184 139796480 6388 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6388 1180 1 0 5187 0
[pid=32709] ppid=32523 vsize=15268 CPUtime=190.84 cores=1,3,5,7
/proc/32709/stat : 32709 (clasp-1.3.3-x86) R 32523 32709 32709 0 -1 4202496 3909 0 0 0 19083 1 0 0 20 0 1 0 339769325 15634432 3577 33554432000 134512640 136080129 4286668288 4286667360 134849100 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/32709/statm: 3817 3577 175 383 0 3432 0
Current children cumulated CPU time (s) 1049.24
Current children cumulated vsize (KiB) 151788

[startup+1062.3 s]
/proc/loadavg: 1.18 1.71 1.93 2/172 32744
/proc/meminfo: memFree=28799556/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=860.99 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 40872 295390 0 2 4291 689 80863 256 20 0 1 0 339688184 139796480 6388 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6388 1180 1 0 5187 0
[pid=32709] ppid=32523 vsize=15972 CPUtime=250.83 cores=1,3,5,7
/proc/32709/stat : 32709 (clasp-1.3.3-x86) R 32523 32709 32709 0 -1 4202496 4097 0 0 0 25082 1 0 0 20 0 1 0 339769325 16355328 3758 33554432000 134512640 136080129 4286668288 4286667360 134845193 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/32709/statm: 3993 3758 175 383 0 3608 0
Current children cumulated CPU time (s) 1111.82
Current children cumulated vsize (KiB) 152492

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

[startup+1068.7 s]
/proc/loadavg: 1.15 1.69 1.92 2/172 32744
/proc/meminfo: memFree=28799556/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=861.26 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 40875 295390 0 2 4315 692 80863 256 20 0 1 0 339688184 139796480 6388 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6388 1180 1 0 5187 0
[pid=32709] ppid=32523 vsize=15972 CPUtime=257.23 cores=1,3,5,7
/proc/32709/stat : 32709 (clasp-1.3.3-x86) R 32523 32709 32709 0 -1 4202496 4097 0 0 0 25722 1 0 0 20 0 1 0 339769325 16355328 3758 33554432000 134512640 136080129 4286668288 4286667360 134849629 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/32709/statm: 3993 3758 175 383 0 3608 0
Current children cumulated CPU time (s) 1118.49
Current children cumulated vsize (KiB) 152492

[startup+1071.9 s]
/proc/loadavg: 1.15 1.69 1.92 2/172 32744
/proc/meminfo: memFree=28799556/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=861.4 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 40876 295390 0 2 4326 695 80863 256 20 0 1 0 339688184 139796480 6388 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6388 1180 1 0 5187 0
[pid=32709] ppid=32523 vsize=15972 CPUtime=260.43 cores=1,3,5,7
/proc/32709/stat : 32709 (clasp-1.3.3-x86) R 32523 32709 32709 0 -1 4202496 4097 0 0 0 26042 1 0 0 20 0 1 0 339769325 16355328 3758 33554432000 134512640 136080129 4286668288 4286667424 134610270 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/32709/statm: 3993 3758 175 383 0 3608 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 152492

[startup+1075.1 s]
/proc/loadavg: 1.14 1.68 1.91 2/172 32744
/proc/meminfo: memFree=28799556/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=861.53 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 40877 295390 0 2 4338 696 80863 256 20 0 1 0 339688184 139796480 6388 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6388 1180 1 0 5187 0
[pid=32709] ppid=32523 vsize=15972 CPUtime=263.63 cores=1,3,5,7
/proc/32709/stat : 32709 (clasp-1.3.3-x86) R 32523 32709 32709 0 -1 4202496 4097 0 0 0 26362 1 0 0 20 0 1 0 339769325 16355328 3758 33554432000 134512640 136080129 4286668288 4286666984 134602035 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/32709/statm: 3993 3758 175 383 0 3608 0
Current children cumulated CPU time (s) 1125.16
Current children cumulated vsize (KiB) 152492

[startup+1076.7 s]
/proc/loadavg: 1.14 1.68 1.91 2/172 32744
/proc/meminfo: memFree=28799556/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136520 CPUtime=861.6 cores=1,3,5,7
/proc/32523/stat : 32523 (python) S 32521 32523 22930 0 -1 4202496 40878 295390 0 2 4344 697 80863 256 20 0 1 0 339688184 139796480 6388 33554432000 4194304 4196484 140735083111120 140735083102880 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6388 1180 1 0 5187 0
[pid=32709] ppid=32523 vsize=15972 CPUtime=265.23 cores=1,3,5,7
/proc/32709/stat : 32709 (clasp-1.3.3-x86) R 32523 32709 32709 0 -1 4202496 4097 0 0 0 26522 1 0 0 20 0 1 0 339769325 16355328 3758 33554432000 134512640 136080129 4286668288 4286667296 134716422 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/32709/statm: 3993 3758 175 383 0 3608 0
Current children cumulated CPU time (s) 1126.83
Current children cumulated vsize (KiB) 152492

[startup+1077.1 s]
/proc/loadavg: 1.14 1.68 1.91 2/172 32744
/proc/meminfo: memFree=28799556/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136524 CPUtime=861.65 cores=1,3,5,7
/proc/32523/stat : 32523 (python) R 32521 32523 22930 0 -1 4202496 40883 295390 0 2 4348 698 80863 256 20 0 1 0 339688184 139800576 6389 33554432000 4194304 4196484 140735083111120 140735083099448 233220949376 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34130 6389 1180 1 0 5187 0
[pid=32709] ppid=32523 vsize=15972 CPUtime=265.6 cores=1,3,5,7
/proc/32709/stat : 32709 (clasp-1.3.3-x86) S 32523 32709 32709 0 -1 4202496 4099 0 0 0 26559 1 0 0 20 0 1 0 339769325 16355328 3760 33554432000 134512640 136080129 4286668288 4286665764 135562654 0 0 16781312 16386 18446744071581961515 0 0 17 5 0 0 0 0 0
/proc/32709/statm: 3993 3760 177 383 0 3608 0
Current children cumulated CPU time (s) 1127.25
Current children cumulated vsize (KiB) 152496

[startup+1077.3 s]
/proc/loadavg: 1.14 1.68 1.91 2/172 32744
/proc/meminfo: memFree=28799556/32873844 swapFree=7120/7120
[pid=32523] ppid=32521 vsize=136916 CPUtime=1127.45 cores=1,3,5,7
/proc/32523/stat : 32523 (python) R 32521 32523 22930 0 -1 4202496 44804 300441 0 2 4364 700 107423 258 20 0 1 0 339688184 140201984 6459 33554432000 4194304 4196484 140735083111120 140735083110296 140166840084946 0 0 16781312 0 0 0 0 17 1 0 0 0 0 0
/proc/32523/statm: 34229 6459 1181 1 0 5286 0
Current children cumulated CPU time (s) 1127.45
Current children cumulated vsize (KiB) 136916

Child status: 10

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.110016
#  lost CPU user time (s): 0.140015
#  lost CPU system time (s): -0.0299997

Real time (s): 1077.32
CPU time (s): 1127.61
CPU user time (s): 1118.05
CPU system time (s): 9.56854
CPU usage (%): 104.668
Max. virtual memory (cumulated for all children) (KiB): 2851660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1117.91
system time used= 9.59854
maximum resident set size= 355664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346336
page faults= 2
swaps= 0
block input operations= 0
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7779
involuntary context switches= 2066

runsolver used 1.90071 second user time and 4.89126 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-03 17:00:33
IDJOB=3742690
IDBENCH=90223
IDSOLVER=2323
FILE ID=node142/3742690-1338735633
RUNJOBID= node142-1338713724-22947
PBS_JOBID= 14636740
Free space on /tmp= 71168 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K67.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742690-1338735633/watcher-3742690-1338735633 -o /tmp/evaluation-result-3742690-1338735633/solver-3742690-1338735633 -C 1800 -W 1900 -M 15500  solver HOME/instance-3742690-1338735633.opb 2057291921 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9e951304b89652b8f827a6527d1495c5
RANDOM SEED=2057291921

node142.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5391.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28787640 kB
Buffers:          361996 kB
Cached:          2863000 kB
SwapCached:            0 kB
Active:          1336680 kB
Inactive:        1927708 kB
Active(anon):      30964 kB
Inactive(anon):    11220 kB
Active(file):    1305716 kB
Inactive(file):  1916488 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             20552 kB
Writeback:             0 kB
AnonPages:         46800 kB
Mapped:            14468 kB
Shmem:               200 kB
Slab:             683372 kB
SReclaimable:     124432 kB
SUnreclaim:       558940 kB
KernelStack:        1472 kB
PageTables:         4464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     154720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71168 MiB
End job on node142 at 2012-06-03 17:18:30