Trace number 3742768

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 884.602 843.483

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K68.opb
MD5SUM506a6fce450974b6f48fc0e3b77d8777
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 benchmark15.9726
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3740
Total number of constraints3878
Number of constraints which are clauses3810
Number of constraints which are cardinality constraints (but not clauses)68
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint68
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 69
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.48/1.58	c DEBUG: probabilities of action success (DCM model):
0.48/1.58	c        pb/competition_2010/bsolo_pb10-l1   : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331
0.48/1.58	c        pb/competition_2010/bsolo_pb10-l2   : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493
0.48/1.58	c        pb/competition_2010/bsolo_pb10-l3   : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927
0.48/1.58	c        pb/competition_2010/wbo1.4a         : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114
0.48/1.58	c        pb/competition_2010/wbo1.4b         : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796
0.48/1.58	c        pb/other/clasp-1.3.3                : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586
0.48/1.58	c        pb/other/sat4j-pb-v20090829         : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315
0.48/1.58	c        pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110
0.48/1.59	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1564099019', u'HOME/instance-3742768-1338735784.opb'] for 0:00:10
11.55/12.12	c DEBUG: probabilities of action success (DCM model):
11.55/12.12	c        pb/competition_2010/bsolo_pb10-l1   : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
11.55/12.12	c        pb/competition_2010/bsolo_pb10-l2   : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
11.55/12.12	c        pb/competition_2010/bsolo_pb10-l3   : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
11.55/12.12	c        pb/competition_2010/wbo1.4a         : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
11.55/12.12	c        pb/competition_2010/wbo1.4b         : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
11.55/12.12	c        pb/other/clasp-1.3.3                : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
11.55/12.12	c        pb/other/sat4j-pb-v20090829         : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
11.55/12.12	c        pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
11.55/12.13	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=934426646', u'HOME/instance-3742768-1338735784.opb'] for 0:00:50
64.23/62.52	c DEBUG: probabilities of action success (DCM model):
64.23/62.52	c        pb/competition_2010/bsolo_pb10-l1   : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
64.23/62.52	c        pb/competition_2010/bsolo_pb10-l2   : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
64.23/62.52	c        pb/competition_2010/bsolo_pb10-l3   : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
64.23/62.52	c        pb/competition_2010/wbo1.4a         : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
64.23/62.52	c        pb/competition_2010/wbo1.4b         : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
64.23/62.52	c        pb/other/clasp-1.3.3                : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
64.23/62.52	c        pb/other/sat4j-pb-v20090829         : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
64.23/62.52	c        pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
64.23/62.53	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3742768-1338735784.opb'] for 0:00:50
117.09/112.85	c DEBUG: probabilities of action success (DCM model):
117.09/112.85	c        pb/competition_2010/bsolo_pb10-l1   : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
117.09/112.85	c        pb/competition_2010/bsolo_pb10-l2   : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
117.09/112.85	c        pb/competition_2010/bsolo_pb10-l3   : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
117.09/112.85	c        pb/competition_2010/wbo1.4a         : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
117.09/112.85	c        pb/competition_2010/wbo1.4b         : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
117.09/112.85	c        pb/other/clasp-1.3.3                : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
117.09/112.85	c        pb/other/sat4j-pb-v20090829         : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
117.09/112.85	c        pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
117.09/112.86	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=494785912', u'HOME/instance-3742768-1338735784.opb'] for 0:01:40
222.04/213.14	c DEBUG: probabilities of action success (DCM model):
222.04/213.14	c        pb/competition_2010/bsolo_pb10-l1   : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
222.04/213.14	c        pb/competition_2010/bsolo_pb10-l2   : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
222.04/213.14	c        pb/competition_2010/bsolo_pb10-l3   : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
222.04/213.14	c        pb/competition_2010/wbo1.4a         : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
222.04/213.14	c        pb/competition_2010/wbo1.4b         : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
222.04/213.14	c        pb/other/clasp-1.3.3                : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
222.04/213.14	c        pb/other/sat4j-pb-v20090829         : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
222.04/213.14	c        pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
222.04/213.15	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3742768-1338735784.opb'] for 0:01:40
327.62/313.80	c DEBUG: probabilities of action success (DCM model):
327.62/313.80	c        pb/competition_2010/bsolo_pb10-l1   : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
327.62/313.80	c        pb/competition_2010/bsolo_pb10-l2   : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
327.62/313.80	c        pb/competition_2010/bsolo_pb10-l3   : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
327.62/313.80	c        pb/competition_2010/wbo1.4a         : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
327.62/313.80	c        pb/competition_2010/wbo1.4b         : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
327.62/313.80	c        pb/other/clasp-1.3.3                : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
327.62/313.80	c        pb/other/sat4j-pb-v20090829         : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
327.62/313.80	c        pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
327.62/313.81	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3742768-1338735784.opb'] for 0:00:50
380.73/364.31	c DEBUG: probabilities of action success (DCM model):
380.73/364.31	c        pb/competition_2010/bsolo_pb10-l1   : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
380.73/364.31	c        pb/competition_2010/bsolo_pb10-l2   : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
380.73/364.31	c        pb/competition_2010/bsolo_pb10-l3   : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
380.73/364.31	c        pb/competition_2010/wbo1.4a         : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
380.73/364.31	c        pb/competition_2010/wbo1.4b         : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
380.73/364.31	c        pb/other/clasp-1.3.3                : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
380.73/364.31	c        pb/other/sat4j-pb-v20090829         : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
380.73/364.31	c        pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
380.73/364.31	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-3742768-1338735784.opb'] for 0:01:40
485.31/463.74	c DEBUG: probabilities of action success (DCM model):
485.31/463.74	c        pb/competition_2010/bsolo_pb10-l1   : 0.0113 0.0134 0.0468 0.1111 0.1700 0.2008 0.3121
485.31/463.74	c        pb/competition_2010/bsolo_pb10-l2   : 0.0003 0.0004 0.0004 0.0097 0.0246 0.0337 0.1349
485.31/463.74	c        pb/competition_2010/bsolo_pb10-l3   : 0.0350 0.0698 0.0716 0.0742 0.0803 0.1102 0.2054
485.31/463.74	c        pb/competition_2010/wbo1.4a         : 0.0412 0.0077 0.0057 0.2651 0.4171 0.5010 0.7572
485.31/463.74	c        pb/competition_2010/wbo1.4b         : 0.0393 0.0018 0.1223 0.3301 0.5006 0.5897 0.7412
485.31/463.74	c        pb/other/clasp-1.3.3                : 0.0438 0.0393 0.0774 0.5834 0.6917 0.7344 0.8415
485.31/463.74	c        pb/other/sat4j-pb-v20090829         : 0.0113 0.0469 0.0012 0.2219 0.2984 0.3590 0.5209
485.31/463.74	c        pb/other/sat4j-pb-v20090829-cutting : 0.0068 0.0314 0.0319 0.0608 0.0967 0.1155 0.2497
485.31/463.74	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3742768-1338735784.opb'] for 0:01:40
591.05/564.54	c DEBUG: probabilities of action success (DCM model):
591.05/564.54	c        pb/competition_2010/bsolo_pb10-l1   : 0.0057 0.0071 0.0414 0.1021 0.1619 0.1915 0.2956
591.05/564.54	c        pb/competition_2010/bsolo_pb10-l2   : 0.0001 0.0001 0.0001 0.0077 0.0229 0.0303 0.1153
591.05/564.54	c        pb/competition_2010/bsolo_pb10-l3   : 0.0337 0.0722 0.0727 0.0742 0.0771 0.1052 0.1843
591.05/564.54	c        pb/competition_2010/wbo1.4a         : 0.0430 0.0055 0.0046 0.2375 0.3823 0.4676 0.7399
591.05/564.54	c        pb/competition_2010/wbo1.4b         : 0.0298 0.0007 0.0251 0.2904 0.4467 0.5397 0.7097
591.05/564.54	c        pb/other/clasp-1.3.3                : 0.0452 0.0419 0.0705 0.5569 0.6657 0.7106 0.8227
591.05/564.54	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0367 0.0011 0.1953 0.2620 0.3061 0.4652
591.05/564.54	c        pb/other/sat4j-pb-v20090829-cutting : 0.0047 0.0213 0.0220 0.0357 0.0726 0.0877 0.2092
591.05/564.54	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-3742768-1338735784.opb'] for 0:00:50
643.85/614.81	c DEBUG: probabilities of action success (DCM model):
643.85/614.81	c        pb/competition_2010/bsolo_pb10-l1   : 0.0056 0.0070 0.0350 0.0875 0.1379 0.1679 0.2779
643.85/614.81	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0082 0.0206 0.0285 0.1112
643.85/614.81	c        pb/competition_2010/bsolo_pb10-l3   : 0.0271 0.0006 0.0648 0.0663 0.0694 0.0943 0.1707
643.85/614.81	c        pb/competition_2010/wbo1.4a         : 0.0418 0.0058 0.0048 0.2383 0.3810 0.4683 0.7449
643.85/614.81	c        pb/competition_2010/wbo1.4b         : 0.0319 0.0007 0.0234 0.2842 0.4328 0.5290 0.7099
643.85/614.81	c        pb/other/clasp-1.3.3                : 0.0466 0.0429 0.0715 0.5647 0.6728 0.7172 0.8274
643.85/614.81	c        pb/other/sat4j-pb-v20090829         : 0.0089 0.0393 0.0011 0.1832 0.2460 0.2933 0.4648
643.85/614.81	c        pb/other/sat4j-pb-v20090829-cutting : 0.0049 0.0225 0.0232 0.0376 0.0774 0.0936 0.2247
643.85/614.82	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1510696948', u'HOME/instance-3742768-1338735784.opb'] for 0:00:10
654.31/624.86	c DEBUG: probabilities of action success (DCM model):
654.31/624.86	c        pb/competition_2010/bsolo_pb10-l1   : 0.0048 0.0062 0.0356 0.0901 0.1429 0.1729 0.2823
654.31/624.86	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0085 0.0216 0.0299 0.1142
654.31/624.86	c        pb/competition_2010/bsolo_pb10-l3   : 0.0284 0.0006 0.0660 0.0675 0.0708 0.0964 0.1746
654.31/624.86	c        pb/competition_2010/wbo1.4a         : 0.0419 0.0061 0.0050 0.2416 0.3851 0.4718 0.7463
654.31/624.86	c        pb/competition_2010/wbo1.4b         : 0.0313 0.0007 0.0242 0.2884 0.4409 0.5368 0.7143
654.31/624.86	c        pb/other/clasp-1.3.3                : 0.0432 0.0422 0.0717 0.5642 0.6732 0.7178 0.8280
654.31/624.86	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0402 0.0011 0.1889 0.2523 0.3000 0.4690
654.31/624.86	c        pb/other/sat4j-pb-v20090829-cutting : 0.0041 0.0196 0.0203 0.0354 0.0744 0.0909 0.2215
654.31/624.86	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1787328511', u'HOME/instance-3742768-1338735784.opb'] for 0:00:10
664.94/634.90	c DEBUG: probabilities of action success (DCM model):
664.94/634.90	c        pb/competition_2010/bsolo_pb10-l1   : 0.0043 0.0058 0.0365 0.0929 0.1481 0.1780 0.2865
664.94/634.90	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0089 0.0225 0.0312 0.1171
664.94/634.90	c        pb/competition_2010/bsolo_pb10-l3   : 0.0297 0.0007 0.0671 0.0686 0.0720 0.0984 0.1784
664.94/634.90	c        pb/competition_2010/wbo1.4a         : 0.0419 0.0064 0.0052 0.2447 0.3890 0.4751 0.7470
664.94/634.90	c        pb/competition_2010/wbo1.4b         : 0.0310 0.0007 0.0249 0.2925 0.4487 0.5442 0.7181
664.94/634.90	c        pb/other/clasp-1.3.3                : 0.0408 0.0415 0.0717 0.5640 0.6738 0.7185 0.8288
664.94/634.90	c        pb/other/sat4j-pb-v20090829         : 0.0081 0.0414 0.0012 0.1953 0.2599 0.3078 0.4741
664.94/634.90	c        pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0182 0.0189 0.0346 0.0729 0.0895 0.2196
664.94/634.90	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3742768-1338735784.opb'] for 0:00:10
676.03/645.34	c DEBUG: probabilities of action success (DCM model):
676.03/645.34	c        pb/competition_2010/bsolo_pb10-l1   : 0.0042 0.0051 0.0367 0.0952 0.1515 0.1809 0.2919
676.03/645.34	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0091 0.0232 0.0322 0.1217
676.03/645.34	c        pb/competition_2010/bsolo_pb10-l3   : 0.0308 0.0006 0.0658 0.0668 0.0704 0.0979 0.1806
676.03/645.34	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0062 0.0054 0.2431 0.3935 0.4830 0.7552
676.03/645.34	c        pb/competition_2010/wbo1.4b         : 0.0322 0.0006 0.0259 0.2941 0.4539 0.5495 0.7272
676.03/645.34	c        pb/other/clasp-1.3.3                : 0.0407 0.0412 0.0702 0.5773 0.6906 0.7332 0.8386
676.03/645.34	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0415 0.0012 0.1996 0.2666 0.3166 0.4896
676.03/645.34	c        pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0187 0.0192 0.0349 0.0747 0.0916 0.2271
676.03/645.34	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=523424930', u'HOME/instance-3742768-1338735784.opb'] for 0:00:10
686.50/655.37	c DEBUG: probabilities of action success (DCM model):
686.50/655.37	c        pb/competition_2010/bsolo_pb10-l1   : 0.0039 0.0049 0.0378 0.0982 0.1569 0.1862 0.2962
686.50/655.37	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0095 0.0242 0.0336 0.1245
686.50/655.37	c        pb/competition_2010/bsolo_pb10-l3   : 0.0321 0.0007 0.0669 0.0680 0.0717 0.1000 0.1846
686.50/655.37	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0064 0.0056 0.2461 0.3974 0.4861 0.7556
686.50/655.37	c        pb/competition_2010/wbo1.4b         : 0.0321 0.0006 0.0266 0.2983 0.4618 0.5570 0.7307
686.50/655.37	c        pb/other/clasp-1.3.3                : 0.0387 0.0405 0.0702 0.5772 0.6912 0.7339 0.8394
686.50/655.37	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0428 0.0012 0.2064 0.2748 0.3250 0.4951
686.50/655.37	c        pb/other/sat4j-pb-v20090829-cutting : 0.0036 0.0179 0.0184 0.0347 0.0737 0.0907 0.2256
686.50/655.37	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1875796246', u'HOME/instance-3742768-1338735784.opb'] for 0:00:10
697.16/665.41	c DEBUG: probabilities of action success (DCM model):
697.16/665.41	c        pb/competition_2010/bsolo_pb10-l1   : 0.0037 0.0048 0.0389 0.1012 0.1623 0.1915 0.3004
697.16/665.41	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0099 0.0251 0.0349 0.1274
697.16/665.41	c        pb/competition_2010/bsolo_pb10-l3   : 0.0334 0.0007 0.0680 0.0691 0.0729 0.1020 0.1884
697.16/665.41	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0067 0.0057 0.2490 0.4011 0.4892 0.7558
697.16/665.41	c        pb/competition_2010/wbo1.4b         : 0.0320 0.0006 0.0273 0.3025 0.4695 0.5642 0.7341
697.16/665.41	c        pb/other/clasp-1.3.3                : 0.0369 0.0398 0.0702 0.5772 0.6919 0.7347 0.8403
697.16/665.41	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0442 0.0013 0.2134 0.2832 0.3336 0.5007
697.16/665.41	c        pb/other/sat4j-pb-v20090829-cutting : 0.0034 0.0174 0.0179 0.0348 0.0730 0.0901 0.2243
697.16/665.41	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1648254580', u'HOME/instance-3742768-1338735784.opb'] for 0:00:10
707.63/675.44	c DEBUG: probabilities of action success (DCM model):
707.63/675.44	c        pb/competition_2010/bsolo_pb10-l1   : 0.0036 0.0047 0.0401 0.1043 0.1677 0.1967 0.3047
707.63/675.44	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0103 0.0261 0.0362 0.1301
707.63/675.44	c        pb/competition_2010/bsolo_pb10-l3   : 0.0347 0.0007 0.0690 0.0701 0.0742 0.1041 0.1923
707.63/675.44	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0069 0.0059 0.2519 0.4048 0.4922 0.7560
707.63/675.44	c        pb/competition_2010/wbo1.4b         : 0.0319 0.0006 0.0280 0.3065 0.4771 0.5714 0.7375
707.63/675.44	c        pb/other/clasp-1.3.3                : 0.0352 0.0390 0.0701 0.5772 0.6926 0.7356 0.8412
707.63/675.44	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0456 0.0013 0.2203 0.2917 0.3422 0.5065
707.63/675.44	c        pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0170 0.0176 0.0351 0.0725 0.0897 0.2232
707.63/675.45	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1684253627', u'HOME/instance-3742768-1338735784.opb'] for 0:00:10
718.14/685.49	c DEBUG: probabilities of action success (DCM model):
718.14/685.49	c        pb/competition_2010/bsolo_pb10-l1   : 0.0035 0.0046 0.0414 0.1073 0.1730 0.2020 0.3089
718.14/685.49	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0106 0.0270 0.0376 0.1328
718.14/685.49	c        pb/competition_2010/bsolo_pb10-l3   : 0.0359 0.0007 0.0700 0.0712 0.0753 0.1061 0.1960
718.14/685.49	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0071 0.0061 0.2547 0.4085 0.4952 0.7561
718.14/685.49	c        pb/competition_2010/wbo1.4b         : 0.0318 0.0006 0.0287 0.3105 0.4845 0.5783 0.7407
718.14/685.49	c        pb/other/clasp-1.3.3                : 0.0337 0.0383 0.0700 0.5774 0.6935 0.7365 0.8422
718.14/685.49	c        pb/other/sat4j-pb-v20090829         : 0.0085 0.0471 0.0014 0.2273 0.3002 0.3509 0.5123
718.14/685.49	c        pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0168 0.0174 0.0356 0.0721 0.0895 0.2223
718.14/685.49	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-3742768-1338735784.opb'] for 0:00:10
728.94/695.68	c DEBUG: probabilities of action success (DCM model):
728.94/695.68	c        pb/competition_2010/bsolo_pb10-l1   : 0.0035 0.0046 0.0335 0.0887 0.1422 0.1723 0.2831
728.94/695.68	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0110 0.0239 0.0348 0.1243
728.94/695.68	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0006 0.0633 0.0644 0.0688 0.0951 0.1792
728.94/695.68	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0074 0.0063 0.2548 0.4004 0.4857 0.7517
728.94/695.68	c        pb/competition_2010/wbo1.4b         : 0.0330 0.0006 0.0260 0.3033 0.4653 0.5626 0.7311
728.94/695.68	c        pb/other/clasp-1.3.3                : 0.0349 0.0397 0.0725 0.5710 0.6821 0.7268 0.8363
728.94/695.68	c        pb/other/sat4j-pb-v20090829         : 0.0088 0.0488 0.0013 0.2079 0.2742 0.3267 0.4941
728.94/695.68	c        pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0174 0.0180 0.0367 0.0746 0.0926 0.2304
728.94/695.68	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=124291602', u'HOME/instance-3742768-1338735784.opb'] for 0:00:10
739.56/705.72	c DEBUG: probabilities of action success (DCM model):
739.56/705.72	c        pb/competition_2010/bsolo_pb10-l1   : 0.0034 0.0046 0.0345 0.0912 0.1467 0.1766 0.2865
739.56/705.72	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0114 0.0247 0.0360 0.1268
739.56/705.72	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0006 0.0641 0.0652 0.0697 0.0968 0.1824
739.56/705.72	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0077 0.0065 0.2576 0.4039 0.4884 0.7517
739.56/705.72	c        pb/competition_2010/wbo1.4b         : 0.0330 0.0006 0.0266 0.3071 0.4722 0.5692 0.7341
739.56/705.72	c        pb/other/clasp-1.3.3                : 0.0335 0.0390 0.0725 0.5709 0.6826 0.7274 0.8371
739.56/705.72	c        pb/other/sat4j-pb-v20090829         : 0.0089 0.0504 0.0014 0.2144 0.2821 0.3348 0.4995
739.56/705.72	c        pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0173 0.0179 0.0373 0.0744 0.0926 0.2299
739.56/705.72	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-3742768-1338735784.opb'] for 0:00:50
792.10/755.37	c DEBUG: probabilities of action success (DCM model):
792.10/755.37	c        pb/competition_2010/bsolo_pb10-l1   : 0.0027 0.0033 0.0343 0.0933 0.1487 0.1802 0.2953
792.10/755.37	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0068 0.0207 0.0275 0.1219
792.10/755.37	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0674 0.0680 0.0719 0.1000 0.1870
792.10/755.37	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0066 0.0068 0.2480 0.3953 0.4814 0.7562
792.10/755.37	c        pb/competition_2010/wbo1.4b         : 0.0339 0.0006 0.0270 0.3026 0.4612 0.5528 0.7230
792.10/755.37	c        pb/other/clasp-1.3.3                : 0.0351 0.0409 0.0745 0.5713 0.6785 0.7222 0.8293
792.10/755.37	c        pb/other/sat4j-pb-v20090829         : 0.0060 0.0004 0.0011 0.1829 0.2472 0.3019 0.4737
792.10/755.37	c        pb/other/sat4j-pb-v20090829-cutting : 0.0026 0.0140 0.0144 0.0310 0.0693 0.0875 0.2214
792.10/755.37	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=690515106', u'HOME/instance-3742768-1338735784.opb'] for 0:00:10
803.26/765.91	c DEBUG: probabilities of action success (DCM model):
803.26/765.91	c        pb/competition_2010/bsolo_pb10-l1   : 0.0027 0.0033 0.0354 0.0960 0.1534 0.1848 0.2992
803.26/765.91	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0071 0.0214 0.0284 0.1243
803.26/765.91	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0683 0.0690 0.0730 0.1019 0.1906
803.26/765.91	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0068 0.0070 0.2506 0.3986 0.4840 0.7563
803.26/765.91	c        pb/competition_2010/wbo1.4b         : 0.0339 0.0006 0.0276 0.3064 0.4679 0.5590 0.7256
803.26/765.91	c        pb/other/clasp-1.3.3                : 0.0338 0.0402 0.0745 0.5713 0.6790 0.7228 0.8299
803.26/765.91	c        pb/other/sat4j-pb-v20090829         : 0.0061 0.0004 0.0012 0.1887 0.2544 0.3093 0.4786
803.26/765.91	c        pb/other/sat4j-pb-v20090829-cutting : 0.0025 0.0141 0.0144 0.0316 0.0691 0.0875 0.2207
803.26/765.91	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3742768-1338735784.opb'] for 0:00:10
814.15/776.10	c DEBUG: probabilities of action success (DCM model):
814.15/776.10	c        pb/competition_2010/bsolo_pb10-l1   : 0.0021 0.0027 0.0359 0.0961 0.1555 0.1853 0.2919
814.15/776.10	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0073 0.0222 0.0294 0.1169
814.15/776.10	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0706 0.0713 0.0755 0.1030 0.1852
814.15/776.10	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0065 0.0052 0.2439 0.3901 0.4758 0.7496
814.15/776.10	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0267 0.2960 0.4524 0.5454 0.7179
814.15/776.10	c        pb/other/clasp-1.3.3                : 0.0338 0.0415 0.0712 0.5594 0.6694 0.7147 0.8248
814.15/776.10	c        pb/other/sat4j-pb-v20090829         : 0.0056 0.0004 0.0012 0.1911 0.2541 0.3010 0.4646
814.15/776.10	c        pb/other/sat4j-pb-v20090829-cutting : 0.0020 0.0120 0.0123 0.0301 0.0690 0.0845 0.2092
814.15/776.10	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=993270752', u'HOME/instance-3742768-1338735784.opb'] for 0:00:10
825.11/786.63	c DEBUG: probabilities of action success (DCM model):
825.11/786.63	c        pb/competition_2010/bsolo_pb10-l1   : 0.0021 0.0027 0.0371 0.0989 0.1604 0.1901 0.2959
825.11/786.63	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0076 0.0230 0.0305 0.1193
825.11/786.63	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0716 0.0723 0.0767 0.1049 0.1888
825.11/786.63	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0067 0.0053 0.2464 0.3934 0.4784 0.7497
825.11/786.63	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0273 0.2998 0.4592 0.5516 0.7206
825.11/786.63	c        pb/other/clasp-1.3.3                : 0.0326 0.0409 0.0712 0.5595 0.6700 0.7154 0.8255
825.11/786.63	c        pb/other/sat4j-pb-v20090829         : 0.0057 0.0004 0.0012 0.1971 0.2615 0.3086 0.4696
825.11/786.63	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0120 0.0124 0.0308 0.0689 0.0846 0.2085
825.11/786.63	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=496183642', u'HOME/instance-3742768-1338735784.opb'] for 0:00:10
836.11/797.17	c DEBUG: probabilities of action success (DCM model):
836.11/797.17	c        pb/competition_2010/bsolo_pb10-l1   : 0.0020 0.0027 0.0382 0.1017 0.1653 0.1949 0.2998
836.11/797.17	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0078 0.0237 0.0315 0.1217
836.11/797.17	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0726 0.0733 0.0778 0.1068 0.1923
836.11/797.17	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0069 0.0055 0.2489 0.3967 0.4810 0.7498
836.11/797.17	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0279 0.3035 0.4659 0.5577 0.7233
836.11/797.17	c        pb/other/clasp-1.3.3                : 0.0314 0.0402 0.0712 0.5597 0.6707 0.7161 0.8262
836.11/797.17	c        pb/other/sat4j-pb-v20090829         : 0.0058 0.0004 0.0013 0.2031 0.2690 0.3163 0.4747
836.11/797.17	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0121 0.0125 0.0315 0.0689 0.0847 0.2079
836.11/797.17	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=606465760', u'HOME/instance-3742768-1338735784.opb'] for 0:00:10
847.25/807.70	c DEBUG: probabilities of action success (DCM model):
847.25/807.70	c        pb/competition_2010/bsolo_pb10-l1   : 0.0020 0.0027 0.0394 0.1045 0.1701 0.1997 0.3036
847.25/807.70	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0081 0.0245 0.0325 0.1240
847.25/807.70	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0735 0.0742 0.0789 0.1086 0.1958
847.25/807.70	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0072 0.0056 0.2514 0.3999 0.4836 0.7499
847.25/807.70	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0286 0.3071 0.4724 0.5638 0.7259
847.25/807.70	c        pb/other/clasp-1.3.3                : 0.0302 0.0396 0.0712 0.5599 0.6714 0.7169 0.8270
847.25/807.70	c        pb/other/sat4j-pb-v20090829         : 0.0059 0.0004 0.0013 0.2091 0.2764 0.3239 0.4798
847.25/807.70	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0122 0.0126 0.0322 0.0689 0.0848 0.2073
847.25/807.70	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1891710520', u'HOME/instance-3742768-1338735784.opb'] for 0:05:00
884.49/843.45	s SATISFIABLE
884.49/843.45	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 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 x3739 x3740

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-3742768-1338735784/watcher-3742768-1338735784 -o /tmp/evaluation-result-3742768-1338735784/solver-3742768-1338735784 -C 1800 -W 1900 -M 15500 solver HOME/instance-3742768-1338735784.opb 176804736 

running on 4 cores: 0,2,4,6

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.12 2.09 2.09 3/179 18868
/proc/meminfo: memFree=28565124/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/18868/stat : 18868 (python) D 18866 18868 11290 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 339703294 15642624 526 33554432000 4194304 5683644 140737294198704 140737294180376 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 3819 526 311 364 0 261 0

[startup+0.052683 s]
/proc/loadavg: 2.12 2.09 2.09 3/179 18868
/proc/meminfo: memFree=28565124/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=16436 CPUtime=0.01 cores=0,2,4,6
/proc/18868/stat : 18868 (python) D 18866 18868 11290 0 -1 4202496 1241 0 0 0 1 0 0 0 20 0 1 0 339703294 16830464 936 33554432000 4194304 5683644 140737294198704 140737294181336 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 4109 936 392 364 0 551 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16436

[startup+0.100263 s]
/proc/loadavg: 2.12 2.09 2.09 3/179 18868
/proc/meminfo: memFree=28565124/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=17628 CPUtime=0.02 cores=0,2,4,6
/proc/18868/stat : 18868 (python) D 18866 18868 11290 0 -1 4202496 2242 0 0 0 2 0 0 0 20 0 1 0 339703294 18051072 744 33554432000 4194304 4196484 140735993984592 140735993928696 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/18868/statm: 4407 744 367 1 0 342 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17628

[startup+0.300286 s]
/proc/loadavg: 2.12 2.09 2.09 3/179 18868
/proc/meminfo: memFree=28565124/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=57140 CPUtime=0.08 cores=0,2,4,6
/proc/18868/stat : 18868 (python) D 18866 18868 11290 0 -1 4202496 4150 0 0 0 5 3 0 0 20 0 1 0 339703294 58511360 2278 33554432000 4194304 4196484 140735993984592 140735993826312 215143497397 0 0 16781312 2 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/18868/statm: 14285 2278 604 1 0 1623 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 57140

[startup+0.7002 s]
/proc/loadavg: 2.12 2.09 2.09 3/179 18868
/proc/meminfo: memFree=28565124/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=103988 CPUtime=0.29 cores=0,2,4,6
/proc/18868/stat : 18868 (python) R 18866 18868 11290 0 -1 4202496 7219 1012 0 0 19 10 0 0 20 0 1 0 339703294 106483712 4286 33554432000 4194304 4196484 140735993984592 140735993902408 215143498640 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/18868/statm: 25997 4286 1052 1 0 3283 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 103988

[startup+1.50026 s]
/proc/loadavg: 2.12 2.09 2.09 3/180 18873
/proc/meminfo: memFree=28545764/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=118116 CPUtime=0.48 cores=0,2,4,6
/proc/18868/stat : 18868 (python) D 18866 18868 11290 0 -1 4202496 9595 1012 0 0 30 18 0 0 20 0 1 0 339703294 120950784 5831 33554432000 4194304 4196484 140735993984592 140735993918200 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/18868/statm: 29529 5831 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 118116

[startup+3.10022 s]
/proc/loadavg: 2.11 2.09 2.08 3/181 18874
/proc/meminfo: memFree=28541724/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=134488 CPUtime=0.64 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 11232 1012 0 0 44 20 0 0 20 0 1 0 339703294 137715712 6348 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/18868/statm: 33622 6348 1170 1 0 5194 0
[pid=18874] ppid=18868 vsize=4112 CPUtime=1.49 cores=0,2,4,6
/proc/18874/stat : 18874 (clasp-1.3.3-x86) R 18868 18874 18874 0 -1 4202496 1085 0 0 0 149 0 0 0 20 0 1 0 339703453 4210688 772 33554432000 134512640 136080129 4293839728 4293838800 134849631 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/18874/statm: 1028 772 175 383 0 643 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 138600
heavy processes:

[startup+6.30022 s]
/proc/loadavg: 2.11 2.09 2.08 3/181 18874
/proc/meminfo: memFree=28539244/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=134488 CPUtime=0.78 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 11243 1012 0 0 56 22 0 0 20 0 1 0 339703294 137715712 6348 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/18868/statm: 33622 6348 1170 1 0 5194 0
[pid=18874] ppid=18868 vsize=4772 CPUtime=4.69 cores=0,2,4,6
/proc/18874/stat : 18874 (clasp-1.3.3-x86) R 18868 18874 18874 0 -1 4202496 1246 0 0 0 469 0 0 0 20 0 1 0 339703453 4886528 933 33554432000 134512640 136080129 4293839728 4293838800 134849501 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/18874/statm: 1193 933 175 383 0 808 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 139260

[startup+12.7001 s]
/proc/loadavg: 2.17 2.10 2.09 3/181 18874
/proc/meminfo: memFree=28535960/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=11.65 cores=0,2,4,6
/proc/18868/stat : 18868 (python) R 18866 18868 11290 0 -1 4202496 12514 3689 0 0 86 27 1051 1 20 0 1 0 339703294 139825152 6369 33554432000 4194304 4196484 140735993984592 140735993976352 215143539639 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34137 6369 1180 1 0 5194 0
Current children cumulated CPU time (s) 11.65
Current children cumulated vsize (KiB) 136548

[startup+25.5002 s]
/proc/loadavg: 2.14 2.10 2.09 3/181 18877
/proc/meminfo: memFree=28535968/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=12.23 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 12539 3689 0 0 137 34 1051 1 20 0 1 0 339703294 139825152 6369 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34137 6369 1180 1 0 5194 0
[pid=18877] ppid=18868 vsize=6592 CPUtime=13.35 cores=0,2,4,6
/proc/18877/stat : 18877 (clasp-1.3.3-x86) R 18868 18877 18877 0 -1 4202496 1708 0 0 0 1335 0 0 0 20 0 1 0 339704507 6750208 1396 33554432000 134512640 136080129 4293522512 4293521584 134850077 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/18877/statm: 1648 1396 175 383 0 1263 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 143140

[startup+51.1003 s]
/proc/loadavg: 2.09 2.09 2.09 3/181 18877
/proc/meminfo: memFree=28533608/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=13.39 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 12575 3689 0 0 238 49 1051 1 20 0 1 0 339703294 139825152 6369 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34137 6369 1180 1 0 5194 0
[pid=18877] ppid=18868 vsize=9192 CPUtime=38.94 cores=0,2,4,6
/proc/18877/stat : 18877 (clasp-1.3.3-x86) R 18868 18877 18877 0 -1 4202496 2377 0 0 0 3894 0 0 0 20 0 1 0 339704507 9412608 2063 33554432000 134512640 136080129 4293522512 4293521584 134849965 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/18877/statm: 2298 2063 175 383 0 1913 0
Current children cumulated CPU time (s) 52.33
Current children cumulated vsize (KiB) 145740

[startup+102.306 s]
/proc/loadavg: 2.08 2.09 2.09 3/181 18880
/proc/meminfo: memFree=28474324/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=66.37 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 13774 7116 0 0 462 87 6086 2 20 0 1 0 339703294 139825152 6374 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34137 6374 1180 1 0 5194 0
[pid=18880] ppid=18868 vsize=64388 CPUtime=39.75 cores=0,2,4,6
/proc/18880/stat : 18880 (wbo1.4a) R 18868 18880 18880 0 -1 4202496 16014 0 0 0 3955 20 0 0 20 0 1 0 339709547 65933312 15640 33554432000 134512640 135751879 4292169520 4292167696 134616520 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/18880/statm: 16097 15640 139 303 0 15792 0
Current children cumulated CPU time (s) 106.12
Current children cumulated vsize (KiB) 200936

[startup+162.3 s]
/proc/loadavg: 2.06 2.08 2.09 3/181 18887
/proc/meminfo: memFree=28458196/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=119.5 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 15043 27708 0 0 708 124 11089 29 20 0 1 0 339703294 139825152 6376 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34137 6376 1180 1 0 5194 0
[pid=18886] ppid=18868 vsize=10904 CPUtime=49.42 cores=0,2,4,6
/proc/18886/stat : 18886 (clasp-1.3.3-x86) R 18868 18886 18886 0 -1 4202496 2803 0 0 0 4942 0 0 0 20 0 1 0 339714580 11165696 2484 33554432000 134512640 136080129 4294703920 4294702992 134849676 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/18886/statm: 2726 2484 175 383 0 2341 0
Current children cumulated CPU time (s) 168.92
Current children cumulated vsize (KiB) 147452

[startup+222.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/181 18896
/proc/meminfo: memFree=28555228/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=222.77 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 16278 32017 0 0 969 164 21114 30 20 0 1 0 339703294 139825152 6376 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34137 6376 1180 1 0 5194 0
[pid=18893] ppid=18868 vsize=22392 CPUtime=9.14 cores=0,2,4,6
/proc/18893/stat : 18893 (wbo1.4a) R 18868 18893 18893 0 -1 4202496 5537 0 0 0 906 8 0 0 20 0 1 0 339724609 22929408 5162 33554432000 134512640 135751879 4288244992 4288243244 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/18893/statm: 5598 5162 139 303 0 5293 0
Current children cumulated CPU time (s) 231.91
Current children cumulated vsize (KiB) 158940

[startup+282.3 s]
/proc/loadavg: 2.05 2.08 2.08 3/181 18896
/proc/meminfo: memFree=28468580/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=225.57 cores=0,2,4,6
/proc/18868/stat : 18868 (python) R 18866 18868 11290 0 -1 4202496 16305 32017 0 0 1208 205 21114 30 20 0 1 0 339703294 139825152 6376 33554432000 4194304 4196484 140735993984592 140735993976352 215142809808 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34137 6376 1180 1 0 5194 0
[pid=18893] ppid=18868 vsize=97572 CPUtime=69.11 cores=0,2,4,6
/proc/18893/stat : 18893 (wbo1.4a) R 18868 18893 18893 0 -1 4202496 24337 0 0 0 6883 28 0 0 20 0 1 0 339724609 99913728 23950 33554432000 134512640 135751879 4288244992 4288243244 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/18893/statm: 24393 23950 139 303 0 24088 0
Current children cumulated CPU time (s) 294.68
Current children cumulated vsize (KiB) 234120

[startup+342.3 s]
/proc/loadavg: 2.02 2.06 2.08 3/181 18908
/proc/meminfo: memFree=28491384/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=329.24 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 17605 66569 0 0 1477 244 31130 73 20 0 1 0 339703294 139825152 6378 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34137 6378 1180 1 0 5194 0
[pid=18899] ppid=18868 vsize=86968 CPUtime=28.45 cores=0,2,4,6
/proc/18899/stat : 18899 (wbo1.4b) R 18868 18899 18899 0 -1 4202496 21691 0 0 0 2825 20 0 0 20 0 1 0 339734675 89055232 21305 33554432000 134512640 135751879 4290057392 4290055484 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/18899/statm: 21742 21305 144 303 0 21437 0
Current children cumulated CPU time (s) 357.69
Current children cumulated vsize (KiB) 223516

[startup+402.301 s]
/proc/loadavg: 2.05 2.06 2.08 3/199 18935
/proc/meminfo: memFree=28477444/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=382.53 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 18847 110062 0 0 1720 284 36143 106 20 0 1 0 339703294 139825152 6380 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/18868/statm: 34137 6380 1180 1 0 5194 0
[pid=18911] ppid=18868 vsize=2715136 CPUtime=38.63 cores=0,2,4,6
/proc/18911/stat : 18911 (java) S 18868 18911 18911 0 -1 4202496 8451 0 1 0 3859 4 0 0 20 0 19 0 339739725 2780299264 26874 33554432000 1073741824 1073778376 140734339427648 140734339418784 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18911/statm: 678784 26874 2250 9 0 669477 0

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

[pid=18911/tid=18925] ppid=18868 vsize=2715136 CPUtime=0.28 cores=0,2,4,6
/proc/18911/task/18925/stat : 18925 (java) S 18868 18911 18911 0 -1 4202560 1689 0 0 0 28 0 0 0 20 0 19 0 339739732 2780299264 39162 33554432000 1073741824 1073778376 140734339427648 140152315832888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18911/tid=18926] ppid=18868 vsize=2715136 CPUtime=0.39 cores=0,2,4,6
/proc/18911/task/18926/stat : 18926 (java) S 18868 18911 18911 0 -1 4202560 2445 0 0 0 39 0 0 0 20 0 19 0 339739733 2780299264 39162 33554432000 1073741824 1073778376 140734339427648 140152314780344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18927] ppid=18868 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18927/stat : 18927 (java) S 18868 18911 18911 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339739733 2780299264 39162 33554432000 1073741824 1073778376 140734339427648 140152313727992 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18928] ppid=18868 vsize=2715136 CPUtime=0.02 cores=0,2,4,6
/proc/18911/task/18928/stat : 18928 (java) S 18868 18911 18911 0 -1 4202560 6 0 0 0 1 1 0 0 20 0 19 0 339739733 2780299264 39162 33554432000 1073741824 1073778376 140734339427648 140152312675656 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18911/tid=18929] ppid=18868 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18929/stat : 18929 (java) S 18868 18911 18911 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339739763 2780299264 39162 33554432000 1073741824 1073778376 140734339427648 140152311620392 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 483.87
Current children cumulated vsize (KiB) 2851684

[startup+522.3 s]
/proc/loadavg: 2.26 2.12 2.10 3/181 18951
/proc/meminfo: memFree=28377356/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=488.4 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 20132 119471 0 1 2214 364 46145 117 20 0 1 0 339703294 139825152 6381 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34137 6381 1180 1 0 5194 0
[pid=18941] ppid=18868 vsize=204080 CPUtime=58.5 cores=0,2,4,6
/proc/18941/stat : 18941 (wbo1.4b) R 18868 18941 18941 0 -1 4202496 50985 0 0 0 5813 37 0 0 20 0 1 0 339749668 208977920 50591 33554432000 134512640 135751879 4288164416 4288162432 134616776 0 0 16781312 3 0 0 0 17 2 0 0 0 0 0
/proc/18941/statm: 51020 50591 144 303 0 50715 0
Current children cumulated CPU time (s) 546.9
Current children cumulated vsize (KiB) 340628

[startup+582.3 s]
/proc/loadavg: 2.18 2.12 2.10 3/181 18954
/proc/meminfo: memFree=28515844/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=592.08 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 21387 210149 0 1 2471 403 56151 183 20 0 1 0 339703294 139825152 6381 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34137 6381 1180 1 0 5194 0
[pid=18954] ppid=18868 vsize=52388 CPUtime=17.73 cores=0,2,4,6
/proc/18954/stat : 18954 (bsolo_pb10) R 18868 18954 18954 0 -1 4202496 11073 0 0 0 1771 2 0 0 20 0 1 0 339759748 53645312 10674 33554432000 134512640 137138936 4287612112 4287611040 134542295 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/18954/statm: 13097 10674 192 642 0 12453 0
Current children cumulated CPU time (s) 609.81
Current children cumulated vsize (KiB) 188936

[startup+642.3 s]
/proc/loadavg: 2.17 2.13 2.09 3/181 18972
/proc/meminfo: memFree=28557956/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=665.5 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 25127 235014 0 1 2741 446 63172 191 20 0 1 0 339703294 139825152 6383 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34137 6383 1180 1 0 5194 0
[pid=18969] ppid=18868 vsize=19224 CPUtime=7.39 cores=0,2,4,6
/proc/18969/stat : 18969 (wbo1.4a) R 18868 18969 18969 0 -1 4202496 4744 0 0 0 731 8 0 0 20 0 1 0 339766784 19685376 4373 33554432000 134512640 135751879 4289638576 4289636828 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/18969/statm: 4806 4373 139 303 0 4501 0
Current children cumulated CPU time (s) 672.89
Current children cumulated vsize (KiB) 155772

[startup+702.3 s]
/proc/loadavg: 2.13 2.13 2.09 3/181 18990
/proc/meminfo: memFree=28554044/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=729.4 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 32633 261746 0 1 3018 489 69222 211 20 0 1 0 339703294 139825152 6385 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34137 6385 1180 1 0 5194 0
[pid=18990] ppid=18868 vsize=5412 CPUtime=6.6 cores=0,2,4,6
/proc/18990/stat : 18990 (clasp-1.3.3-x86) R 18868 18990 18990 0 -1 4202496 1418 0 0 0 660 0 0 0 20 0 1 0 339772862 5541888 1102 33554432000 134512640 136080129 4294167200 4294166192 134588772 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/18990/statm: 1353 1102 175 383 0 968 0
Current children cumulated CPU time (s) 736
Current children cumulated vsize (KiB) 141960

[startup+762.306 s]
/proc/loadavg: 1.50 1.95 2.03 2/174 19039
/proc/meminfo: memFree=28622252/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=792.58 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 35176 274198 0 2 3263 527 75249 219 20 0 1 0 339703294 139825152 6386 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34137 6386 1180 1 0 5194 0
[pid=19039] ppid=18868 vsize=5424 CPUtime=6.92 cores=0,2,4,6
/proc/19039/stat : 19039 (clasp-1.3.3-x86) R 18868 19039 19039 0 -1 4202496 1431 0 0 0 692 0 0 0 20 0 1 0 339778832 5554176 1114 33554432000 134512640 136080129 4291927232 4291926304 134849904 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19039/statm: 1356 1114 175 383 0 971 0
Current children cumulated CPU time (s) 799.5
Current children cumulated vsize (KiB) 141972

[startup+822.3 s]
/proc/loadavg: 1.21 1.79 1.97 2/174 19055
/proc/meminfo: memFree=28621640/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=847.91 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 41497 291204 0 2 3526 571 80464 230 20 0 1 0 339703294 139825152 6389 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34137 6389 1180 1 0 5194 0
[pid=19055] ppid=18868 vsize=6728 CPUtime=14.58 cores=0,2,4,6
/proc/19055/stat : 19055 (clasp-1.3.3-x86) R 18868 19055 19055 0 -1 4202496 1738 0 0 0 1458 0 0 0 20 0 1 0 339784064 6889472 1420 33554432000 134512640 136080129 4290945648 4290944720 134849233 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19055/statm: 1682 1420 175 383 0 1297 0
Current children cumulated CPU time (s) 862.49
Current children cumulated vsize (KiB) 143276

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

[startup+831.9 s]
/proc/loadavg: 1.20 1.78 1.96 2/174 19055
/proc/meminfo: memFree=28619592/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=848.34 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 41509 291204 0 2 3565 575 80464 230 20 0 1 0 339703294 139825152 6389 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34137 6389 1180 1 0 5194 0
[pid=19055] ppid=18868 vsize=7848 CPUtime=24.18 cores=0,2,4,6
/proc/19055/stat : 19055 (clasp-1.3.3-x86) R 18868 19055 19055 0 -1 4202496 2030 0 0 0 2418 0 0 0 20 0 1 0 339784064 8036352 1712 33554432000 134512640 136080129 4290945648 4290944720 134849254 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19055/statm: 1962 1712 175 383 0 1577 0
Current children cumulated CPU time (s) 872.52
Current children cumulated vsize (KiB) 144396

[startup+838.3 s]
/proc/loadavg: 1.24 1.77 1.96 3/174 19055
/proc/meminfo: memFree=28618972/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=848.61 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 41511 291204 0 2 3588 579 80464 230 20 0 1 0 339703294 139825152 6389 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34137 6389 1180 1 0 5194 0
[pid=19055] ppid=18868 vsize=8500 CPUtime=30.58 cores=0,2,4,6
/proc/19055/stat : 19055 (clasp-1.3.3-x86) R 18868 19055 19055 0 -1 4202496 2210 0 0 0 3058 0 0 0 20 0 1 0 339784064 8704000 1892 33554432000 134512640 136080129 4290945648 4290944720 134849676 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19055/statm: 2125 1892 175 383 0 1740 0
Current children cumulated CPU time (s) 879.19
Current children cumulated vsize (KiB) 145048

[startup+841.506 s]
/proc/loadavg: 1.24 1.77 1.96 2/174 19055
/proc/meminfo: memFree=28618476/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=848.75 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 41514 291204 0 2 3600 581 80464 230 20 0 1 0 339703294 139825152 6389 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34137 6389 1180 1 0 5194 0
[pid=19055] ppid=18868 vsize=8900 CPUtime=33.78 cores=0,2,4,6
/proc/19055/stat : 19055 (clasp-1.3.3-x86) R 18868 19055 19055 0 -1 4202496 2301 0 0 0 3378 0 0 0 20 0 1 0 339784064 9113600 1983 33554432000 134512640 136080129 4290945648 4290944480 134716415 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19055/statm: 2225 1983 175 383 0 1840 0
Current children cumulated CPU time (s) 882.53
Current children cumulated vsize (KiB) 145448

[startup+842.3 s]
/proc/loadavg: 1.24 1.77 1.96 2/174 19055
/proc/meminfo: memFree=28618476/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=848.79 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 41515 291204 0 2 3604 581 80464 230 20 0 1 0 339703294 139825152 6389 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34137 6389 1180 1 0 5194 0
[pid=19055] ppid=18868 vsize=8900 CPUtime=34.57 cores=0,2,4,6
/proc/19055/stat : 19055 (clasp-1.3.3-x86) R 18868 19055 19055 0 -1 4202496 2305 0 0 0 3457 0 0 0 20 0 1 0 339784064 9113600 1985 33554432000 134512640 136080129 4290945648 4290944720 134849659 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19055/statm: 2225 1985 175 383 0 1840 0
Current children cumulated CPU time (s) 883.36
Current children cumulated vsize (KiB) 145448

[startup+843.1 s]
/proc/loadavg: 1.22 1.75 1.95 2/174 19055
/proc/meminfo: memFree=28618224/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=848.82 cores=0,2,4,6
/proc/18868/stat : 18868 (python) S 18866 18868 11290 0 -1 4202496 41515 291204 0 2 3606 582 80464 230 20 0 1 0 339703294 139825152 6389 33554432000 4194304 4196484 140735993984592 140735993976352 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34137 6389 1180 1 0 5194 0
[pid=19055] ppid=18868 vsize=9288 CPUtime=35.37 cores=0,2,4,6
/proc/19055/stat : 19055 (clasp-1.3.3-x86) R 18868 19055 19055 0 -1 4202496 2404 0 0 0 3537 0 0 0 20 0 1 0 339784064 9510912 2084 33554432000 134512640 136080129 4290945648 4290944372 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19055/statm: 2322 2084 175 383 0 1937 0
Current children cumulated CPU time (s) 884.19
Current children cumulated vsize (KiB) 145836

[startup+843.3 s]
/proc/loadavg: 1.22 1.75 1.95 2/174 19055
/proc/meminfo: memFree=28618224/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=848.88 cores=0,2,4,6
/proc/18868/stat : 18868 (python) R 18866 18868 11290 0 -1 4202496 41528 291204 0 2 3612 582 80464 230 20 0 1 0 339703294 139825152 6392 33554432000 4194304 4196484 140735993984592 140735993975312 139727806361761 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34138 6392 1180 1 0 5195 0
[pid=19055] ppid=18868 vsize=9324 CPUtime=35.5 cores=0,2,4,6
/proc/19055/stat : 19055 (clasp-1.3.3-x86) R 18868 19055 19055 0 -1 4202496 2425 0 0 0 3550 0 0 0 20 0 1 0 339784064 9547776 2105 33554432000 134512640 136080129 4290945648 4290945256 135703614 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19055/statm: 2331 2105 187 383 0 1946 0
Current children cumulated CPU time (s) 884.38
Current children cumulated vsize (KiB) 145872

[startup+843.4 s]
/proc/loadavg: 1.22 1.75 1.95 2/174 19055
/proc/meminfo: memFree=28618224/32873844 swapFree=7380/7380
[pid=18868] ppid=18866 vsize=136548 CPUtime=848.98 cores=0,2,4,6
/proc/18868/stat : 18868 (python) R 18866 18868 11290 0 -1 4202496 41536 291204 0 2 3620 584 80464 230 20 0 1 0 339703294 139825152 6395 33554432000 4194304 4196484 140735993984592 140735993972920 139727805690911 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/18868/statm: 34138 6395 1180 1 0 5195 0
[pid=19055] ppid=18868 vsize=0 CPUtime=35.51 cores=0,2,4,6
/proc/19055/stat : 19055 (clasp-1.3.3-x86) Z 18868 19055 19055 0 -1 4202508 2426 0 0 0 3551 0 0 0 20 0 1 0 339784064 0 0 33554432000 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19055/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 884.49
Current children cumulated vsize (KiB) 136548

Child status: 10
Real time (s): 843.483
CPU time (s): 884.602
CPU user time (s): 876.429
CPU system time (s): 8.17376
CPU usage (%): 104.875
Max. virtual memory (cumulated for all children) (KiB): 2851688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 876.429
system time used= 8.17376
maximum resident set size= 357364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 341092
page faults= 2
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8572
involuntary context switches= 1798

runsolver used 1.52477 second user time and 3.88541 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 17:03:04
IDJOB=3742768
IDBENCH=90229
IDSOLVER=2323
FILE ID=node133/3742768-1338735784
RUNJOBID= node133-1338713154-11306
PBS_JOBID= 14636724
Free space on /tmp= 70464 MiB

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

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

MD5SUM BENCH= 506a6fce450974b6f48fc0e3b77d8777
RANDOM SEED=176804736

node133.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.540
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.08
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.540
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.92
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.540
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	: 5331.92
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.540
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.91
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.540
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.91
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.540
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.90
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.540
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.540
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:        28565264 kB
Buffers:          481788 kB
Cached:          2853368 kB
SwapCached:          676 kB
Active:          1591944 kB
Inactive:        1810920 kB
Active(anon):      59284 kB
Inactive(anon):    10220 kB
Active(file):    1532660 kB
Inactive(file):  1800700 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             21884 kB
Writeback:             0 kB
AnonPages:         76024 kB
Mapped:            14736 kB
Shmem:                 0 kB
Slab:             761648 kB
SReclaimable:     202664 kB
SUnreclaim:       558984 kB
KernelStack:        1480 kB
PageTables:         4484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     185532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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= 70464 MiB
End job on node133 at 2012-06-03 17:17:09