Trace number 2675859

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
borg-pb 10.05.30? 693.608 643.77

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_4_40.opb
MD5SUM4bc8406e35a3f2674c743b72d3a1792a
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark213.487
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
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 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6140
Sum of products size (including duplicates)12280
Number of different products3070
Sum of products size6140

Solver Data 

1.02/1.58	c DEBUG: probabilities of action success (DCM model):
1.02/1.58	c        pb/competition_2010/bsolo_pb10-l1   : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331
1.02/1.58	c        pb/competition_2010/bsolo_pb10-l2   : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493
1.02/1.58	c        pb/competition_2010/bsolo_pb10-l3   : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927
1.02/1.58	c        pb/competition_2010/wbo1.4a         : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114
1.02/1.58	c        pb/competition_2010/wbo1.4b         : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796
1.02/1.58	c        pb/other/clasp-1.3.3                : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586
1.02/1.58	c        pb/other/sat4j-pb-v20090829         : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315
1.02/1.58	c        pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110
1.12/1.61	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=52644365', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
1.21/1.80	c DEBUG: probabilities of action success (DCM model):
1.21/1.80	c        pb/competition_2010/bsolo_pb10-l1   : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
1.21/1.80	c        pb/competition_2010/bsolo_pb10-l2   : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
1.21/1.80	c        pb/competition_2010/bsolo_pb10-l3   : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
1.21/1.80	c        pb/competition_2010/wbo1.4a         : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
1.21/1.80	c        pb/competition_2010/wbo1.4b         : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
1.21/1.80	c        pb/other/clasp-1.3.3                : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
1.21/1.80	c        pb/other/sat4j-pb-v20090829         : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
1.21/1.80	c        pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
1.33/1.80	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1326118357', u'HOME/instance-2675859-1277135431.opb'] for 0:00:50
1.42/1.99	c DEBUG: probabilities of action success (DCM model):
1.42/1.99	c        pb/competition_2010/bsolo_pb10-l1   : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
1.42/1.99	c        pb/competition_2010/bsolo_pb10-l2   : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
1.42/1.99	c        pb/competition_2010/bsolo_pb10-l3   : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
1.42/1.99	c        pb/competition_2010/wbo1.4a         : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
1.42/1.99	c        pb/competition_2010/wbo1.4b         : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
1.42/1.99	c        pb/other/clasp-1.3.3                : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
1.42/1.99	c        pb/other/sat4j-pb-v20090829         : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
1.42/1.99	c        pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
1.52/2.00	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2675859-1277135431.opb'] for 0:00:50
56.12/52.78	c DEBUG: probabilities of action success (DCM model):
56.12/52.78	c        pb/competition_2010/bsolo_pb10-l1   : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
56.12/52.78	c        pb/competition_2010/bsolo_pb10-l2   : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
56.12/52.78	c        pb/competition_2010/bsolo_pb10-l3   : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
56.12/52.78	c        pb/competition_2010/wbo1.4a         : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
56.12/52.78	c        pb/competition_2010/wbo1.4b         : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
56.12/52.78	c        pb/other/clasp-1.3.3                : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
56.12/52.78	c        pb/other/sat4j-pb-v20090829         : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
56.12/52.78	c        pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
56.12/52.79	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1561588250', u'HOME/instance-2675859-1277135431.opb'] for 0:01:40
56.35/52.99	c DEBUG: probabilities of action success (DCM model):
56.35/52.99	c        pb/competition_2010/bsolo_pb10-l1   : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
56.35/52.99	c        pb/competition_2010/bsolo_pb10-l2   : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
56.35/52.99	c        pb/competition_2010/bsolo_pb10-l3   : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
56.35/52.99	c        pb/competition_2010/wbo1.4a         : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
56.35/52.99	c        pb/competition_2010/wbo1.4b         : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
56.35/52.99	c        pb/other/clasp-1.3.3                : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
56.35/52.99	c        pb/other/sat4j-pb-v20090829         : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
56.35/52.99	c        pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
56.46/53.00	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2675859-1277135431.opb'] for 0:01:40
164.73/153.95	c DEBUG: probabilities of action success (DCM model):
164.73/153.95	c        pb/competition_2010/bsolo_pb10-l1   : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
164.73/153.95	c        pb/competition_2010/bsolo_pb10-l2   : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
164.73/153.95	c        pb/competition_2010/bsolo_pb10-l3   : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
164.73/153.95	c        pb/competition_2010/wbo1.4a         : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
164.73/153.95	c        pb/competition_2010/wbo1.4b         : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
164.73/153.95	c        pb/other/clasp-1.3.3                : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
164.73/153.95	c        pb/other/sat4j-pb-v20090829         : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
164.73/153.95	c        pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
164.73/153.95	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2675859-1277135431.opb'] for 0:00:50
219.03/204.43	c DEBUG: probabilities of action success (DCM model):
219.03/204.43	c        pb/competition_2010/bsolo_pb10-l1   : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
219.03/204.43	c        pb/competition_2010/bsolo_pb10-l2   : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
219.03/204.43	c        pb/competition_2010/bsolo_pb10-l3   : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
219.03/204.43	c        pb/competition_2010/wbo1.4a         : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
219.03/204.43	c        pb/competition_2010/wbo1.4b         : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
219.03/204.43	c        pb/other/clasp-1.3.3                : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
219.03/204.43	c        pb/other/sat4j-pb-v20090829         : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
219.03/204.43	c        pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
219.03/204.44	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-2675859-1277135431.opb'] for 0:01:40
326.94/303.50	c DEBUG: probabilities of action success (DCM model):
326.94/303.50	c        pb/competition_2010/bsolo_pb10-l1   : 0.0113 0.0134 0.0468 0.1111 0.1700 0.2008 0.3121
326.94/303.50	c        pb/competition_2010/bsolo_pb10-l2   : 0.0003 0.0004 0.0004 0.0097 0.0246 0.0337 0.1349
326.94/303.50	c        pb/competition_2010/bsolo_pb10-l3   : 0.0350 0.0698 0.0716 0.0742 0.0803 0.1102 0.2054
326.94/303.50	c        pb/competition_2010/wbo1.4a         : 0.0412 0.0077 0.0057 0.2651 0.4171 0.5010 0.7572
326.94/303.50	c        pb/competition_2010/wbo1.4b         : 0.0393 0.0018 0.1223 0.3301 0.5006 0.5897 0.7412
326.94/303.50	c        pb/other/clasp-1.3.3                : 0.0438 0.0393 0.0774 0.5834 0.6917 0.7344 0.8415
326.94/303.50	c        pb/other/sat4j-pb-v20090829         : 0.0113 0.0469 0.0012 0.2219 0.2984 0.3590 0.5209
326.94/303.50	c        pb/other/sat4j-pb-v20090829-cutting : 0.0068 0.0314 0.0319 0.0608 0.0967 0.1155 0.2497
326.94/303.50	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2675859-1277135431.opb'] for 0:01:40
435.44/404.77	c DEBUG: probabilities of action success (DCM model):
435.44/404.77	c        pb/competition_2010/bsolo_pb10-l1   : 0.0057 0.0071 0.0414 0.1021 0.1619 0.1915 0.2956
435.44/404.77	c        pb/competition_2010/bsolo_pb10-l2   : 0.0001 0.0001 0.0001 0.0077 0.0229 0.0303 0.1153
435.44/404.77	c        pb/competition_2010/bsolo_pb10-l3   : 0.0337 0.0722 0.0727 0.0742 0.0771 0.1052 0.1843
435.44/404.77	c        pb/competition_2010/wbo1.4a         : 0.0430 0.0055 0.0046 0.2375 0.3823 0.4676 0.7399
435.44/404.77	c        pb/competition_2010/wbo1.4b         : 0.0298 0.0007 0.0251 0.2904 0.4467 0.5397 0.7097
435.44/404.77	c        pb/other/clasp-1.3.3                : 0.0452 0.0419 0.0705 0.5569 0.6657 0.7106 0.8227
435.44/404.77	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0367 0.0011 0.1953 0.2620 0.3061 0.4652
435.44/404.77	c        pb/other/sat4j-pb-v20090829-cutting : 0.0047 0.0213 0.0220 0.0357 0.0726 0.0877 0.2092
435.44/404.78	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2675859-1277135431.opb'] for 0:00:50
490.00/455.59	c DEBUG: probabilities of action success (DCM model):
490.00/455.59	c        pb/competition_2010/bsolo_pb10-l1   : 0.0056 0.0070 0.0350 0.0875 0.1379 0.1679 0.2779
490.00/455.59	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0082 0.0206 0.0285 0.1112
490.00/455.59	c        pb/competition_2010/bsolo_pb10-l3   : 0.0271 0.0006 0.0648 0.0663 0.0694 0.0943 0.1707
490.00/455.59	c        pb/competition_2010/wbo1.4a         : 0.0418 0.0058 0.0048 0.2383 0.3810 0.4683 0.7449
490.00/455.59	c        pb/competition_2010/wbo1.4b         : 0.0319 0.0007 0.0234 0.2842 0.4328 0.5290 0.7099
490.00/455.59	c        pb/other/clasp-1.3.3                : 0.0466 0.0429 0.0715 0.5647 0.6728 0.7172 0.8274
490.00/455.59	c        pb/other/sat4j-pb-v20090829         : 0.0089 0.0393 0.0011 0.1832 0.2460 0.2933 0.4648
490.00/455.59	c        pb/other/sat4j-pb-v20090829-cutting : 0.0049 0.0225 0.0232 0.0376 0.0774 0.0936 0.2247
490.14/455.60	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1634948048', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
490.36/455.81	c DEBUG: probabilities of action success (DCM model):
490.36/455.81	c        pb/competition_2010/bsolo_pb10-l1   : 0.0048 0.0062 0.0356 0.0901 0.1429 0.1729 0.2823
490.36/455.81	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0085 0.0216 0.0299 0.1142
490.36/455.81	c        pb/competition_2010/bsolo_pb10-l3   : 0.0284 0.0006 0.0660 0.0675 0.0708 0.0964 0.1746
490.36/455.81	c        pb/competition_2010/wbo1.4a         : 0.0419 0.0061 0.0050 0.2416 0.3851 0.4718 0.7463
490.36/455.81	c        pb/competition_2010/wbo1.4b         : 0.0313 0.0007 0.0242 0.2884 0.4409 0.5368 0.7143
490.36/455.81	c        pb/other/clasp-1.3.3                : 0.0432 0.0422 0.0717 0.5642 0.6732 0.7178 0.8280
490.36/455.81	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0402 0.0011 0.1889 0.2523 0.3000 0.4690
490.36/455.81	c        pb/other/sat4j-pb-v20090829-cutting : 0.0041 0.0196 0.0203 0.0354 0.0744 0.0909 0.2215
490.36/455.81	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=7048289', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
490.55/456.00	c DEBUG: probabilities of action success (DCM model):
490.55/456.00	c        pb/competition_2010/bsolo_pb10-l1   : 0.0043 0.0058 0.0365 0.0929 0.1481 0.1780 0.2865
490.55/456.00	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0089 0.0225 0.0312 0.1171
490.55/456.00	c        pb/competition_2010/bsolo_pb10-l3   : 0.0297 0.0007 0.0671 0.0686 0.0720 0.0984 0.1784
490.55/456.00	c        pb/competition_2010/wbo1.4a         : 0.0419 0.0064 0.0052 0.2447 0.3890 0.4751 0.7470
490.55/456.00	c        pb/competition_2010/wbo1.4b         : 0.0310 0.0007 0.0249 0.2925 0.4487 0.5442 0.7181
490.55/456.00	c        pb/other/clasp-1.3.3                : 0.0408 0.0415 0.0717 0.5640 0.6738 0.7185 0.8288
490.55/456.00	c        pb/other/sat4j-pb-v20090829         : 0.0081 0.0414 0.0012 0.1953 0.2599 0.3078 0.4741
490.55/456.00	c        pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0182 0.0189 0.0346 0.0729 0.0895 0.2196
490.55/456.01	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
501.87/466.38	c DEBUG: probabilities of action success (DCM model):
501.87/466.38	c        pb/competition_2010/bsolo_pb10-l1   : 0.0042 0.0051 0.0367 0.0952 0.1515 0.1809 0.2919
501.87/466.38	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0091 0.0232 0.0322 0.1217
501.87/466.38	c        pb/competition_2010/bsolo_pb10-l3   : 0.0308 0.0006 0.0658 0.0668 0.0704 0.0979 0.1806
501.87/466.38	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0062 0.0054 0.2431 0.3935 0.4830 0.7552
501.87/466.38	c        pb/competition_2010/wbo1.4b         : 0.0322 0.0006 0.0259 0.2941 0.4539 0.5495 0.7272
501.87/466.38	c        pb/other/clasp-1.3.3                : 0.0407 0.0412 0.0702 0.5773 0.6906 0.7332 0.8386
501.87/466.38	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0415 0.0012 0.1996 0.2666 0.3166 0.4896
501.87/466.38	c        pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0187 0.0192 0.0349 0.0747 0.0916 0.2271
501.87/466.39	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=873045279', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
502.08/466.58	c DEBUG: probabilities of action success (DCM model):
502.08/466.58	c        pb/competition_2010/bsolo_pb10-l1   : 0.0039 0.0049 0.0378 0.0982 0.1569 0.1862 0.2962
502.08/466.58	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0095 0.0242 0.0336 0.1245
502.08/466.58	c        pb/competition_2010/bsolo_pb10-l3   : 0.0321 0.0007 0.0669 0.0680 0.0717 0.1000 0.1846
502.08/466.58	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0064 0.0056 0.2461 0.3974 0.4861 0.7556
502.08/466.58	c        pb/competition_2010/wbo1.4b         : 0.0321 0.0006 0.0266 0.2983 0.4618 0.5570 0.7307
502.08/466.58	c        pb/other/clasp-1.3.3                : 0.0387 0.0405 0.0702 0.5772 0.6912 0.7339 0.8394
502.08/466.58	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0428 0.0012 0.2064 0.2748 0.3250 0.4951
502.08/466.58	c        pb/other/sat4j-pb-v20090829-cutting : 0.0036 0.0179 0.0184 0.0347 0.0737 0.0907 0.2256
502.08/466.58	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=411773336', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
502.28/466.79	c DEBUG: probabilities of action success (DCM model):
502.28/466.79	c        pb/competition_2010/bsolo_pb10-l1   : 0.0037 0.0048 0.0389 0.1012 0.1623 0.1915 0.3004
502.28/466.79	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0099 0.0251 0.0349 0.1274
502.28/466.79	c        pb/competition_2010/bsolo_pb10-l3   : 0.0334 0.0007 0.0680 0.0691 0.0729 0.1020 0.1884
502.28/466.79	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0067 0.0057 0.2490 0.4011 0.4892 0.7558
502.28/466.79	c        pb/competition_2010/wbo1.4b         : 0.0320 0.0006 0.0273 0.3025 0.4695 0.5642 0.7341
502.28/466.79	c        pb/other/clasp-1.3.3                : 0.0369 0.0398 0.0702 0.5772 0.6919 0.7347 0.8403
502.28/466.79	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0442 0.0013 0.2134 0.2832 0.3336 0.5007
502.28/466.79	c        pb/other/sat4j-pb-v20090829-cutting : 0.0034 0.0174 0.0179 0.0348 0.0730 0.0901 0.2243
502.28/466.79	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=674771679', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
502.47/466.99	c DEBUG: probabilities of action success (DCM model):
502.47/466.99	c        pb/competition_2010/bsolo_pb10-l1   : 0.0036 0.0047 0.0401 0.1043 0.1677 0.1967 0.3047
502.47/466.99	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0103 0.0261 0.0362 0.1301
502.47/466.99	c        pb/competition_2010/bsolo_pb10-l3   : 0.0347 0.0007 0.0690 0.0701 0.0742 0.1041 0.1923
502.47/466.99	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0069 0.0059 0.2519 0.4048 0.4922 0.7560
502.47/466.99	c        pb/competition_2010/wbo1.4b         : 0.0319 0.0006 0.0280 0.3065 0.4771 0.5714 0.7375
502.47/466.99	c        pb/other/clasp-1.3.3                : 0.0352 0.0390 0.0701 0.5772 0.6926 0.7356 0.8412
502.47/466.99	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0456 0.0013 0.2203 0.2917 0.3422 0.5065
502.47/466.99	c        pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0170 0.0176 0.0351 0.0725 0.0897 0.2232
502.59/467.00	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=558613843', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
502.68/467.19	c DEBUG: probabilities of action success (DCM model):
502.68/467.19	c        pb/competition_2010/bsolo_pb10-l1   : 0.0035 0.0046 0.0414 0.1073 0.1730 0.2020 0.3089
502.68/467.19	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0106 0.0270 0.0376 0.1328
502.68/467.19	c        pb/competition_2010/bsolo_pb10-l3   : 0.0359 0.0007 0.0700 0.0712 0.0753 0.1061 0.1960
502.68/467.19	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0071 0.0061 0.2547 0.4085 0.4952 0.7561
502.68/467.19	c        pb/competition_2010/wbo1.4b         : 0.0318 0.0006 0.0287 0.3105 0.4845 0.5783 0.7407
502.68/467.19	c        pb/other/clasp-1.3.3                : 0.0337 0.0383 0.0700 0.5774 0.6935 0.7365 0.8422
502.68/467.19	c        pb/other/sat4j-pb-v20090829         : 0.0085 0.0471 0.0014 0.2273 0.3002 0.3509 0.5123
502.68/467.19	c        pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0168 0.0174 0.0356 0.0721 0.0895 0.2223
502.78/467.20	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
513.85/477.58	c DEBUG: probabilities of action success (DCM model):
513.85/477.58	c        pb/competition_2010/bsolo_pb10-l1   : 0.0035 0.0046 0.0335 0.0887 0.1422 0.1723 0.2831
513.85/477.58	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0110 0.0239 0.0348 0.1243
513.85/477.58	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0006 0.0633 0.0644 0.0688 0.0951 0.1792
513.85/477.58	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0074 0.0063 0.2548 0.4004 0.4857 0.7517
513.85/477.58	c        pb/competition_2010/wbo1.4b         : 0.0330 0.0006 0.0260 0.3033 0.4653 0.5626 0.7311
513.85/477.58	c        pb/other/clasp-1.3.3                : 0.0349 0.0397 0.0725 0.5710 0.6821 0.7268 0.8363
513.85/477.58	c        pb/other/sat4j-pb-v20090829         : 0.0088 0.0488 0.0013 0.2079 0.2742 0.3267 0.4941
513.85/477.58	c        pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0174 0.0180 0.0367 0.0746 0.0926 0.2304
513.85/477.58	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=483762071', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
514.11/477.78	c DEBUG: probabilities of action success (DCM model):
514.11/477.78	c        pb/competition_2010/bsolo_pb10-l1   : 0.0034 0.0046 0.0345 0.0912 0.1467 0.1766 0.2865
514.11/477.78	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0114 0.0247 0.0360 0.1268
514.11/477.78	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0006 0.0641 0.0652 0.0697 0.0968 0.1824
514.11/477.78	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0077 0.0065 0.2576 0.4039 0.4884 0.7517
514.11/477.78	c        pb/competition_2010/wbo1.4b         : 0.0330 0.0006 0.0266 0.3071 0.4722 0.5692 0.7341
514.11/477.78	c        pb/other/clasp-1.3.3                : 0.0335 0.0390 0.0725 0.5709 0.6826 0.7274 0.8371
514.11/477.78	c        pb/other/sat4j-pb-v20090829         : 0.0089 0.0504 0.0014 0.2144 0.2821 0.3348 0.4995
514.11/477.78	c        pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0173 0.0179 0.0373 0.0744 0.0926 0.2299
514.11/477.78	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-2675859-1277135431.opb'] for 0:00:50
568.24/526.78	c DEBUG: probabilities of action success (DCM model):
568.24/526.78	c        pb/competition_2010/bsolo_pb10-l1   : 0.0027 0.0033 0.0343 0.0933 0.1487 0.1802 0.2953
568.24/526.78	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0068 0.0207 0.0275 0.1219
568.24/526.78	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0674 0.0680 0.0719 0.1000 0.1870
568.24/526.78	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0066 0.0068 0.2480 0.3953 0.4814 0.7562
568.24/526.78	c        pb/competition_2010/wbo1.4b         : 0.0339 0.0006 0.0270 0.3026 0.4612 0.5528 0.7230
568.24/526.78	c        pb/other/clasp-1.3.3                : 0.0351 0.0409 0.0745 0.5713 0.6785 0.7222 0.8293
568.24/526.78	c        pb/other/sat4j-pb-v20090829         : 0.0060 0.0004 0.0011 0.1829 0.2472 0.3019 0.4737
568.24/526.78	c        pb/other/sat4j-pb-v20090829-cutting : 0.0026 0.0140 0.0144 0.0310 0.0693 0.0875 0.2214
568.24/526.78	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=716387387', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
568.46/526.99	c DEBUG: probabilities of action success (DCM model):
568.46/526.99	c        pb/competition_2010/bsolo_pb10-l1   : 0.0027 0.0033 0.0354 0.0960 0.1534 0.1848 0.2992
568.46/526.99	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0071 0.0214 0.0284 0.1243
568.46/526.99	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0683 0.0690 0.0730 0.1019 0.1906
568.46/526.99	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0068 0.0070 0.2506 0.3986 0.4840 0.7563
568.46/526.99	c        pb/competition_2010/wbo1.4b         : 0.0339 0.0006 0.0276 0.3064 0.4679 0.5590 0.7256
568.46/526.99	c        pb/other/clasp-1.3.3                : 0.0338 0.0402 0.0745 0.5713 0.6790 0.7228 0.8299
568.46/526.99	c        pb/other/sat4j-pb-v20090829         : 0.0061 0.0004 0.0012 0.1887 0.2544 0.3093 0.4786
568.46/526.99	c        pb/other/sat4j-pb-v20090829-cutting : 0.0025 0.0141 0.0144 0.0316 0.0691 0.0875 0.2207
568.56/527.00	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
579.89/537.36	c DEBUG: probabilities of action success (DCM model):
579.89/537.36	c        pb/competition_2010/bsolo_pb10-l1   : 0.0021 0.0027 0.0359 0.0961 0.1555 0.1853 0.2919
579.89/537.36	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0073 0.0222 0.0294 0.1169
579.89/537.36	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0706 0.0713 0.0755 0.1030 0.1852
579.89/537.36	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0065 0.0052 0.2439 0.3901 0.4758 0.7496
579.89/537.36	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0267 0.2960 0.4524 0.5454 0.7179
579.89/537.36	c        pb/other/clasp-1.3.3                : 0.0338 0.0415 0.0712 0.5594 0.6694 0.7147 0.8248
579.89/537.36	c        pb/other/sat4j-pb-v20090829         : 0.0056 0.0004 0.0012 0.1911 0.2541 0.3010 0.4646
579.89/537.36	c        pb/other/sat4j-pb-v20090829-cutting : 0.0020 0.0120 0.0123 0.0301 0.0690 0.0845 0.2092
579.89/537.36	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=39400425', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
580.11/537.56	c DEBUG: probabilities of action success (DCM model):
580.11/537.56	c        pb/competition_2010/bsolo_pb10-l1   : 0.0021 0.0027 0.0371 0.0989 0.1604 0.1901 0.2959
580.11/537.56	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0076 0.0230 0.0305 0.1193
580.11/537.56	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0716 0.0723 0.0767 0.1049 0.1888
580.11/537.56	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0067 0.0053 0.2464 0.3934 0.4784 0.7497
580.11/537.56	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0273 0.2998 0.4592 0.5516 0.7206
580.11/537.56	c        pb/other/clasp-1.3.3                : 0.0326 0.0409 0.0712 0.5595 0.6700 0.7154 0.8255
580.11/537.56	c        pb/other/sat4j-pb-v20090829         : 0.0057 0.0004 0.0012 0.1971 0.2615 0.3086 0.4696
580.11/537.56	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0120 0.0124 0.0308 0.0689 0.0846 0.2085
580.11/537.57	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1540988325', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
580.30/537.80	c DEBUG: probabilities of action success (DCM model):
580.30/537.80	c        pb/competition_2010/bsolo_pb10-l1   : 0.0020 0.0027 0.0382 0.1017 0.1653 0.1949 0.2998
580.30/537.80	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0078 0.0237 0.0315 0.1217
580.30/537.80	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0726 0.0733 0.0778 0.1068 0.1923
580.30/537.80	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0069 0.0055 0.2489 0.3967 0.4810 0.7498
580.30/537.80	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0279 0.3035 0.4659 0.5577 0.7233
580.30/537.80	c        pb/other/clasp-1.3.3                : 0.0314 0.0402 0.0712 0.5597 0.6707 0.7161 0.8262
580.30/537.80	c        pb/other/sat4j-pb-v20090829         : 0.0058 0.0004 0.0013 0.2031 0.2690 0.3163 0.4747
580.30/537.80	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0121 0.0125 0.0315 0.0689 0.0847 0.2079
580.30/537.80	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=397241497', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
580.61/538.01	c DEBUG: probabilities of action success (DCM model):
580.61/538.01	c        pb/competition_2010/bsolo_pb10-l1   : 0.0020 0.0027 0.0394 0.1045 0.1701 0.1997 0.3036
580.61/538.01	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0081 0.0245 0.0325 0.1240
580.61/538.01	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0735 0.0742 0.0789 0.1086 0.1958
580.61/538.01	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0072 0.0056 0.2514 0.3999 0.4836 0.7499
580.61/538.01	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0286 0.3071 0.4724 0.5638 0.7259
580.61/538.01	c        pb/other/clasp-1.3.3                : 0.0302 0.0396 0.0712 0.5599 0.6714 0.7169 0.8270
580.61/538.01	c        pb/other/sat4j-pb-v20090829         : 0.0059 0.0004 0.0013 0.2091 0.2764 0.3239 0.4798
580.61/538.01	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0122 0.0126 0.0322 0.0689 0.0848 0.2073
580.61/538.01	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=936865157', u'HOME/instance-2675859-1277135431.opb'] for 0:05:00
580.82/538.21	c DEBUG: probabilities of action success (DCM model):
580.82/538.21	c        pb/competition_2010/bsolo_pb10-l1   : 0.0012 0.0012 0.0216 0.0535 0.0928 0.1260 0.1855
580.82/538.21	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0090 0.0182 0.0273 0.0580
580.82/538.21	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0009 0.0884 0.0884 0.0919 0.1067 0.1442
580.82/538.21	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0059 0.0051 0.2297 0.3012 0.3408 0.6113
580.82/538.21	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0135 0.2740 0.3801 0.4819 0.5905
580.82/538.21	c        pb/other/clasp-1.3.3                : 0.0308 0.0436 0.0752 0.1586 0.4271 0.5030 0.6902
580.82/538.21	c        pb/other/sat4j-pb-v20090829         : 0.0057 0.0004 0.0008 0.1472 0.1817 0.1915 0.2495
580.82/538.21	c        pb/other/sat4j-pb-v20090829-cutting : 0.0011 0.0079 0.0079 0.0220 0.0407 0.0447 0.0950
580.82/538.21	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2675859-1277135431.opb'] for 0:01:40
688.46/638.76	c DEBUG: probabilities of action success (DCM model):
688.46/638.76	c        pb/competition_2010/bsolo_pb10-l1   : 0.0012 0.0012 0.0180 0.0450 0.0793 0.1122 0.1736
688.46/638.76	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0099 0.0175 0.0274 0.0555
688.46/638.76	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0839 0.0877 0.1006 0.1362
688.46/638.76	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0064 0.0054 0.2315 0.3015 0.3421 0.6136
688.46/638.76	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0125 0.2708 0.3725 0.4767 0.5917
688.46/638.76	c        pb/other/clasp-1.3.3                : 0.0312 0.0441 0.0751 0.1644 0.4310 0.5068 0.6935
688.46/638.76	c        pb/other/sat4j-pb-v20090829         : 0.0062 0.0004 0.0008 0.1446 0.1768 0.1876 0.2511
688.46/638.76	c        pb/other/sat4j-pb-v20090829-cutting : 0.0012 0.0085 0.0085 0.0240 0.0446 0.0489 0.1041
688.46/638.77	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1680544673', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
688.66/638.96	c DEBUG: probabilities of action success (DCM model):
688.66/638.96	c        pb/competition_2010/bsolo_pb10-l1   : 0.0012 0.0012 0.0186 0.0463 0.0818 0.1145 0.1754
688.66/638.96	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0102 0.0180 0.0283 0.0571
688.66/638.96	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0841 0.0881 0.1013 0.1380
688.66/638.96	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0066 0.0055 0.2333 0.3039 0.3444 0.6141
688.66/638.96	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0129 0.2730 0.3767 0.4808 0.5942
688.66/638.96	c        pb/other/clasp-1.3.3                : 0.0302 0.0437 0.0749 0.1639 0.4325 0.5082 0.6948
688.66/638.96	c        pb/other/sat4j-pb-v20090829         : 0.0064 0.0004 0.0008 0.1491 0.1822 0.1932 0.2556
688.66/638.96	c        pb/other/sat4j-pb-v20090829-cutting : 0.0012 0.0087 0.0087 0.0246 0.0449 0.0493 0.1046
688.66/638.97	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=47252758', u'HOME/instance-2675859-1277135431.opb'] for 0:01:40
688.87/639.18	c DEBUG: probabilities of action success (DCM model):
688.87/639.18	c        pb/competition_2010/bsolo_pb10-l1   : 0.0013 0.0013 0.0200 0.0495 0.0869 0.1187 0.1793
688.87/639.18	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0110 0.0194 0.0305 0.0600
688.87/639.18	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0838 0.0876 0.1017 0.1392
688.87/639.18	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0065 0.0058 0.2319 0.3067 0.3500 0.6188
688.87/639.18	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0131 0.2717 0.3784 0.4836 0.6011
688.87/639.18	c        pb/other/clasp-1.3.3                : 0.0300 0.0437 0.0685 0.1631 0.4447 0.5190 0.7025
688.87/639.18	c        pb/other/sat4j-pb-v20090829         : 0.0068 0.0004 0.0008 0.1572 0.1922 0.2026 0.2680
688.87/639.18	c        pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0088 0.0088 0.0241 0.0455 0.0499 0.1080
688.87/639.18	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1226068475', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
689.06/639.39	c DEBUG: probabilities of action success (DCM model):
689.06/639.39	c        pb/competition_2010/bsolo_pb10-l1   : 0.0013 0.0013 0.0206 0.0509 0.0895 0.1211 0.1813
689.06/639.39	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0114 0.0200 0.0314 0.0617
689.06/639.39	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0840 0.0880 0.1025 0.1410
689.06/639.39	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0067 0.0059 0.2338 0.3092 0.3523 0.6192
689.06/639.39	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0135 0.2740 0.3827 0.4878 0.6036
689.06/639.39	c        pb/other/clasp-1.3.3                : 0.0290 0.0433 0.0683 0.1625 0.4462 0.5205 0.7038
689.06/639.39	c        pb/other/sat4j-pb-v20090829         : 0.0070 0.0005 0.0009 0.1619 0.1978 0.2084 0.2727
689.06/639.39	c        pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0090 0.0090 0.0247 0.0458 0.0502 0.1085
689.06/639.39	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=266509990', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
689.28/639.59	c DEBUG: probabilities of action success (DCM model):
689.28/639.59	c        pb/competition_2010/bsolo_pb10-l1   : 0.0013 0.0013 0.0211 0.0524 0.0921 0.1236 0.1832
689.28/639.59	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0117 0.0206 0.0324 0.0633
689.28/639.59	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0843 0.0883 0.1033 0.1428
689.28/639.59	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0069 0.0060 0.2356 0.3117 0.3546 0.6197
689.28/639.59	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0139 0.2763 0.3870 0.4921 0.6061
689.28/639.59	c        pb/other/clasp-1.3.3                : 0.0281 0.0428 0.0681 0.1619 0.4478 0.5220 0.7051
689.28/639.59	c        pb/other/sat4j-pb-v20090829         : 0.0072 0.0005 0.0009 0.1666 0.2035 0.2143 0.2774
689.28/639.59	c        pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0091 0.0091 0.0253 0.0461 0.0506 0.1090
689.38/639.60	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1491754799', u'HOME/instance-2675859-1277135431.opb'] for 0:00:50
689.48/639.79	c DEBUG: probabilities of action success (DCM model):
689.48/639.79	c        pb/competition_2010/bsolo_pb10-l1   : 0.0013 0.0013 0.0221 0.0547 0.0962 0.1275 0.1865
689.48/639.79	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0122 0.0215 0.0338 0.0661
689.48/639.79	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0848 0.0890 0.1046 0.1458
689.48/639.79	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0071 0.0062 0.2386 0.3157 0.3579 0.6201
689.48/639.79	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0145 0.2803 0.3943 0.4990 0.6098
689.48/639.79	c        pb/other/clasp-1.3.3                : 0.0277 0.0371 0.0679 0.1611 0.4496 0.5239 0.7068
689.48/639.79	c        pb/other/sat4j-pb-v20090829         : 0.0075 0.0005 0.0009 0.1737 0.2123 0.2235 0.2844
689.48/639.79	c        pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0094 0.0094 0.0263 0.0464 0.0512 0.1097
689.58/639.80	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1169550994', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
689.78/640.00	c DEBUG: probabilities of action success (DCM model):
689.78/640.00	c        pb/competition_2010/bsolo_pb10-l1   : 0.0013 0.0013 0.0227 0.0562 0.0989 0.1300 0.1885
689.78/640.00	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0125 0.0221 0.0347 0.0678
689.78/640.00	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0850 0.0893 0.1053 0.1477
689.78/640.00	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0073 0.0064 0.2405 0.3183 0.3603 0.6207
689.78/640.00	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0149 0.2825 0.3986 0.5033 0.6124
689.78/640.00	c        pb/other/clasp-1.3.3                : 0.0268 0.0368 0.0677 0.1606 0.4514 0.5256 0.7083
689.78/640.00	c        pb/other/sat4j-pb-v20090829         : 0.0077 0.0005 0.0010 0.1786 0.2181 0.2295 0.2893
689.78/640.00	c        pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0096 0.0096 0.0269 0.0467 0.0516 0.1103
689.78/640.01	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=294163868', u'HOME/instance-2675859-1277135431.opb'] for 0:01:40
690.00/640.21	c DEBUG: probabilities of action success (DCM model):
690.00/640.21	c        pb/competition_2010/bsolo_pb10-l1   : 0.0014 0.0014 0.0243 0.0599 0.1051 0.1352 0.1936
690.00/640.21	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0134 0.0237 0.0372 0.0717
690.00/640.21	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0845 0.0888 0.1059 0.1499
690.00/640.21	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0074 0.0067 0.2407 0.3231 0.3681 0.6266
690.00/640.21	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0154 0.2829 0.4030 0.5086 0.6212
690.00/640.21	c        pb/other/clasp-1.3.3                : 0.0266 0.0363 0.0632 0.1609 0.4655 0.5381 0.7173
690.00/640.21	c        pb/other/sat4j-pb-v20090829         : 0.0082 0.0005 0.0010 0.1888 0.2307 0.2420 0.3051
690.00/640.21	c        pb/other/sat4j-pb-v20090829-cutting : 0.0014 0.0099 0.0099 0.0272 0.0481 0.0530 0.1150
690.00/640.22	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=984073012', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
690.18/640.42	c DEBUG: probabilities of action success (DCM model):
690.18/640.42	c        pb/competition_2010/bsolo_pb10-l1   : 0.0014 0.0014 0.0249 0.0615 0.1079 0.1378 0.1957
690.18/640.42	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0138 0.0244 0.0382 0.0735
690.18/640.42	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0848 0.0892 0.1067 0.1518
690.18/640.42	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0076 0.0068 0.2425 0.3258 0.3706 0.6272
690.18/640.42	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0158 0.2852 0.4075 0.5130 0.6239
690.18/640.42	c        pb/other/clasp-1.3.3                : 0.0257 0.0360 0.0629 0.1602 0.4674 0.5399 0.7188
690.18/640.42	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0005 0.0010 0.1938 0.2368 0.2483 0.3102
690.18/640.42	c        pb/other/sat4j-pb-v20090829-cutting : 0.0014 0.0100 0.0100 0.0278 0.0484 0.0534 0.1156
690.18/640.42	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=771334549', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
690.38/640.63	c DEBUG: probabilities of action success (DCM model):
690.38/640.63	c        pb/competition_2010/bsolo_pb10-l1   : 0.0014 0.0014 0.0255 0.0630 0.1107 0.1404 0.1978
690.38/640.63	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0141 0.0250 0.0392 0.0753
690.38/640.63	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0850 0.0896 0.1075 0.1537
690.38/640.63	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0078 0.0069 0.2444 0.3285 0.3731 0.6278
690.38/640.63	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0162 0.2876 0.4120 0.5174 0.6267
690.38/640.63	c        pb/other/clasp-1.3.3                : 0.0249 0.0356 0.0626 0.1596 0.4693 0.5418 0.7204
690.38/640.63	c        pb/other/sat4j-pb-v20090829         : 0.0086 0.0006 0.0011 0.1988 0.2428 0.2545 0.3153
690.38/640.63	c        pb/other/sat4j-pb-v20090829-cutting : 0.0014 0.0102 0.0102 0.0284 0.0487 0.0538 0.1162
690.38/640.63	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=2055042675', u'HOME/instance-2675859-1277135431.opb'] for 0:01:40
690.58/640.84	c DEBUG: probabilities of action success (DCM model):
690.58/640.84	c        pb/competition_2010/bsolo_pb10-l1   : 0.0015 0.0015 0.0272 0.0670 0.1173 0.1461 0.2034
690.58/640.84	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0151 0.0266 0.0418 0.0795
690.58/640.84	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0008 0.0008 0.0845 0.0891 0.1081 0.1564
690.58/640.84	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0079 0.0073 0.2453 0.3343 0.3817 0.6341
690.58/640.84	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0169 0.2886 0.4175 0.5237 0.6363
690.58/640.84	c        pb/other/clasp-1.3.3                : 0.0246 0.0350 0.0588 0.1603 0.4842 0.5551 0.7298
690.58/640.84	c        pb/other/sat4j-pb-v20090829         : 0.0091 0.0006 0.0011 0.2100 0.2566 0.2684 0.3324
690.58/640.84	c        pb/other/sat4j-pb-v20090829-cutting : 0.0015 0.0106 0.0106 0.0290 0.0504 0.0556 0.1215
690.58/640.84	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1106458158', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
690.78/641.04	c DEBUG: probabilities of action success (DCM model):
690.78/641.04	c        pb/competition_2010/bsolo_pb10-l1   : 0.0015 0.0015 0.0278 0.0686 0.1202 0.1488 0.2056
690.78/641.04	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0154 0.0273 0.0428 0.0814
690.78/641.04	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0008 0.0008 0.0847 0.0894 0.1090 0.1584
690.78/641.04	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0081 0.0074 0.2472 0.3370 0.3842 0.6348
690.78/641.04	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0173 0.2910 0.4222 0.5283 0.6391
690.78/641.04	c        pb/other/clasp-1.3.3                : 0.0239 0.0347 0.0585 0.1597 0.4862 0.5569 0.7314
690.78/641.04	c        pb/other/sat4j-pb-v20090829         : 0.0093 0.0006 0.0011 0.2151 0.2628 0.2749 0.3377
690.78/641.04	c        pb/other/sat4j-pb-v20090829-cutting : 0.0015 0.0107 0.0107 0.0296 0.0506 0.0560 0.1221
690.78/641.04	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1665165861', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
691.00/641.25	c DEBUG: probabilities of action success (DCM model):
691.00/641.25	c        pb/competition_2010/bsolo_pb10-l1   : 0.0015 0.0015 0.0285 0.0702 0.1231 0.1515 0.2078
691.00/641.25	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0158 0.0280 0.0439 0.0833
691.00/641.25	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0008 0.0008 0.0850 0.0898 0.1098 0.1603
691.00/641.25	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0083 0.0075 0.2491 0.3397 0.3868 0.6354
691.00/641.25	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0177 0.2934 0.4267 0.5328 0.6420
691.00/641.25	c        pb/other/clasp-1.3.3                : 0.0231 0.0343 0.0582 0.1590 0.4882 0.5588 0.7331
691.00/641.25	c        pb/other/sat4j-pb-v20090829         : 0.0095 0.0006 0.0012 0.2203 0.2690 0.2812 0.3429
691.00/641.25	c        pb/other/sat4j-pb-v20090829-cutting : 0.0015 0.0108 0.0108 0.0302 0.0509 0.0564 0.1228
691.00/641.25	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=2000538557', u'HOME/instance-2675859-1277135431.opb'] for 0:01:40
691.20/641.45	c DEBUG: probabilities of action success (DCM model):
691.20/641.45	c        pb/competition_2010/bsolo_pb10-l1   : 0.0016 0.0016 0.0302 0.0743 0.1301 0.1574 0.2138
691.20/641.45	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0168 0.0297 0.0465 0.0878
691.20/641.45	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0008 0.0008 0.0844 0.0894 0.1105 0.1633
691.20/641.45	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0085 0.0079 0.2504 0.3461 0.3960 0.6420
691.20/641.45	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0185 0.2949 0.4330 0.5398 0.6520
691.20/641.45	c        pb/other/clasp-1.3.3                : 0.0228 0.0337 0.0547 0.1599 0.5034 0.5725 0.7428
691.20/641.45	c        pb/other/sat4j-pb-v20090829         : 0.0101 0.0006 0.0012 0.2321 0.2837 0.2961 0.3610
691.20/641.45	c        pb/other/sat4j-pb-v20090829-cutting : 0.0016 0.0113 0.0113 0.0310 0.0527 0.0584 0.1284
691.20/641.45	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=79385452', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
691.39/641.66	c DEBUG: probabilities of action success (DCM model):
691.39/641.66	c        pb/competition_2010/bsolo_pb10-l1   : 0.0016 0.0016 0.0309 0.0760 0.1331 0.1602 0.2160
691.39/641.66	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0172 0.0304 0.0476 0.0898
691.39/641.66	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0008 0.0008 0.0847 0.0898 0.1114 0.1653
691.39/641.66	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0087 0.0080 0.2523 0.3488 0.3986 0.6426
691.39/641.66	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0189 0.2973 0.4378 0.5445 0.6549
691.39/641.66	c        pb/other/clasp-1.3.3                : 0.0221 0.0333 0.0544 0.1592 0.5055 0.5744 0.7445
691.39/641.66	c        pb/other/sat4j-pb-v20090829         : 0.0103 0.0007 0.0013 0.2374 0.2901 0.3027 0.3664
691.39/641.66	c        pb/other/sat4j-pb-v20090829-cutting : 0.0016 0.0114 0.0114 0.0316 0.0530 0.0587 0.1290
691.39/641.67	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=9171434', u'HOME/instance-2675859-1277135431.opb'] for 0:00:50
691.59/641.86	c DEBUG: probabilities of action success (DCM model):
691.59/641.86	c        pb/competition_2010/bsolo_pb10-l1   : 0.0017 0.0017 0.0319 0.0786 0.1376 0.1645 0.2197
691.59/641.86	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0177 0.0314 0.0492 0.0928
691.59/641.86	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0008 0.0008 0.0849 0.0901 0.1125 0.1683
691.59/641.86	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0089 0.0082 0.2550 0.3533 0.4032 0.6445
691.59/641.86	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0196 0.3007 0.4446 0.5512 0.6599
691.59/641.86	c        pb/other/clasp-1.3.3                : 0.0217 0.0301 0.0537 0.1589 0.5103 0.5789 0.7479
691.59/641.86	c        pb/other/sat4j-pb-v20090829         : 0.0106 0.0007 0.0013 0.2454 0.2998 0.3129 0.3757
691.59/641.86	c        pb/other/sat4j-pb-v20090829-cutting : 0.0016 0.0118 0.0118 0.0326 0.0538 0.0597 0.1308
691.59/641.87	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=17703315', u'HOME/instance-2675859-1277135431.opb'] for 0:01:40
691.80/642.07	c DEBUG: probabilities of action success (DCM model):
691.80/642.07	c        pb/competition_2010/bsolo_pb10-l1   : 0.0017 0.0017 0.0337 0.0829 0.1449 0.1707 0.2259
691.80/642.07	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0187 0.0332 0.0520 0.0975
691.80/642.07	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0008 0.0008 0.0844 0.0897 0.1133 0.1715
691.80/642.07	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0092 0.0086 0.2566 0.3600 0.4127 0.6511
691.80/642.07	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0204 0.3025 0.4515 0.5588 0.6703
691.80/642.07	c        pb/other/clasp-1.3.3                : 0.0214 0.0294 0.0505 0.1597 0.5257 0.5927 0.7578
691.80/642.07	c        pb/other/sat4j-pb-v20090829         : 0.0112 0.0007 0.0014 0.2578 0.3151 0.3285 0.3943
691.80/642.07	c        pb/other/sat4j-pb-v20090829-cutting : 0.0017 0.0123 0.0123 0.0335 0.0557 0.0618 0.1365
691.80/642.08	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=814408198', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
692.00/642.27	c DEBUG: probabilities of action success (DCM model):
692.00/642.27	c        pb/competition_2010/bsolo_pb10-l1   : 0.0017 0.0017 0.0344 0.0846 0.1480 0.1736 0.2283
692.00/642.27	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0191 0.0339 0.0531 0.0995
692.00/642.27	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0008 0.0008 0.0847 0.0901 0.1142 0.1736
692.00/642.27	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0094 0.0087 0.2585 0.3628 0.4154 0.6518
692.00/642.27	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0208 0.3050 0.4564 0.5636 0.6733
692.00/642.27	c        pb/other/clasp-1.3.3                : 0.0207 0.0291 0.0501 0.1590 0.5278 0.5947 0.7595
692.00/642.27	c        pb/other/sat4j-pb-v20090829         : 0.0114 0.0007 0.0014 0.2633 0.3218 0.3353 0.3999
692.00/642.27	c        pb/other/sat4j-pb-v20090829-cutting : 0.0017 0.0124 0.0124 0.0341 0.0560 0.0622 0.1372
692.00/642.28	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=900745874', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
692.21/642.49	c DEBUG: probabilities of action success (DCM model):
692.21/642.49	c        pb/competition_2010/bsolo_pb10-l1   : 0.0017 0.0017 0.0351 0.0864 0.1511 0.1765 0.2306
692.21/642.49	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0195 0.0346 0.0542 0.1015
692.21/642.49	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0008 0.0008 0.0850 0.0905 0.1151 0.1757
692.21/642.49	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0095 0.0089 0.2604 0.3657 0.4181 0.6525
692.21/642.49	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0003 0.0212 0.3075 0.4612 0.5684 0.6764
692.21/642.49	c        pb/other/clasp-1.3.3                : 0.0201 0.0287 0.0498 0.1583 0.5300 0.5968 0.7613
692.21/642.49	c        pb/other/sat4j-pb-v20090829         : 0.0117 0.0007 0.0014 0.2687 0.3283 0.3421 0.4055
692.21/642.49	c        pb/other/sat4j-pb-v20090829-cutting : 0.0017 0.0125 0.0125 0.0347 0.0562 0.0626 0.1378
692.21/642.49	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1035095926', u'HOME/instance-2675859-1277135431.opb'] for 0:01:40
692.50/642.70	c DEBUG: probabilities of action success (DCM model):
692.50/642.70	c        pb/competition_2010/bsolo_pb10-l1   : 0.0018 0.0018 0.0370 0.0907 0.1585 0.1829 0.2369
692.50/642.70	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0206 0.0364 0.0570 0.1064
692.50/642.70	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0008 0.0008 0.0845 0.0901 0.1160 0.1791
692.50/642.70	c        pb/competition_2010/wbo1.4a         : 0.0005 0.0098 0.0092 0.2623 0.3726 0.4276 0.6591
692.50/642.70	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0003 0.0221 0.3096 0.4685 0.5764 0.6869
692.50/642.70	c        pb/other/clasp-1.3.3                : 0.0197 0.0280 0.0468 0.1591 0.5454 0.6105 0.7712
692.50/642.70	c        pb/other/sat4j-pb-v20090829         : 0.0123 0.0008 0.0015 0.2814 0.3440 0.3580 0.4243
692.50/642.70	c        pb/other/sat4j-pb-v20090829-cutting : 0.0018 0.0130 0.0130 0.0356 0.0581 0.0647 0.1435
692.50/642.70	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=40559191', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
692.71/642.90	c DEBUG: probabilities of action success (DCM model):
692.71/642.90	c        pb/competition_2010/bsolo_pb10-l1   : 0.0018 0.0018 0.0377 0.0925 0.1617 0.1858 0.2393
692.71/642.90	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0210 0.0371 0.0582 0.1084
692.71/642.90	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0008 0.0008 0.0848 0.0905 0.1169 0.1812
692.71/642.90	c        pb/competition_2010/wbo1.4a         : 0.0005 0.0100 0.0094 0.2642 0.3754 0.4303 0.6598
692.71/642.90	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0003 0.0225 0.3121 0.4734 0.5812 0.6899
692.71/642.90	c        pb/other/clasp-1.3.3                : 0.0191 0.0276 0.0464 0.1584 0.5475 0.6126 0.7729
692.71/642.90	c        pb/other/sat4j-pb-v20090829         : 0.0125 0.0008 0.0015 0.2870 0.3507 0.3649 0.4299
692.71/642.90	c        pb/other/sat4j-pb-v20090829-cutting : 0.0018 0.0131 0.0131 0.0362 0.0584 0.0650 0.1441
692.71/642.90	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=2042440491', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
692.92/643.10	c DEBUG: probabilities of action success (DCM model):
692.92/643.10	c        pb/competition_2010/bsolo_pb10-l1   : 0.0018 0.0018 0.0384 0.0942 0.1648 0.1887 0.2416
692.92/643.10	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0214 0.0378 0.0593 0.1104
692.92/643.10	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0008 0.0008 0.0851 0.0909 0.1178 0.1832
692.92/643.10	c        pb/competition_2010/wbo1.4a         : 0.0005 0.0102 0.0096 0.2661 0.3783 0.4330 0.6604
692.92/643.10	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0003 0.0229 0.3146 0.4782 0.5860 0.6929
692.92/643.10	c        pb/other/clasp-1.3.3                : 0.0185 0.0273 0.0461 0.1577 0.5497 0.6146 0.7747
692.92/643.10	c        pb/other/sat4j-pb-v20090829         : 0.0127 0.0008 0.0016 0.2924 0.3573 0.3717 0.4355
692.92/643.10	c        pb/other/sat4j-pb-v20090829-cutting : 0.0018 0.0132 0.0132 0.0368 0.0586 0.0654 0.1447
692.92/643.10	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=2082936226', u'HOME/instance-2675859-1277135431.opb'] for 0:01:40
693.12/643.30	c DEBUG: probabilities of action success (DCM model):
693.12/643.30	c        pb/competition_2010/bsolo_pb10-l1   : 0.0019 0.0019 0.0402 0.0987 0.1723 0.1952 0.2480
693.12/643.30	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0224 0.0397 0.0621 0.1154
693.12/643.30	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0008 0.0008 0.0846 0.0906 0.1187 0.1867
693.12/643.30	c        pb/competition_2010/wbo1.4a         : 0.0005 0.0104 0.0099 0.2681 0.3853 0.4426 0.6669
693.12/643.30	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0003 0.0238 0.3169 0.4858 0.5942 0.7034
693.12/643.30	c        pb/other/clasp-1.3.3                : 0.0182 0.0265 0.0432 0.1585 0.5648 0.6282 0.7844
693.12/643.30	c        pb/other/sat4j-pb-v20090829         : 0.0133 0.0009 0.0016 0.3053 0.3731 0.3879 0.4543
693.12/643.30	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0137 0.0137 0.0378 0.0605 0.0675 0.1503
693.12/643.30	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=596202930', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
693.33/643.51	c DEBUG: probabilities of action success (DCM model):
693.33/643.51	c        pb/competition_2010/bsolo_pb10-l1   : 0.0019 0.0019 0.0409 0.1004 0.1754 0.1981 0.2504
693.33/643.51	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0228 0.0404 0.0633 0.1174
693.33/643.51	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0008 0.0008 0.0849 0.0910 0.1196 0.1888
693.33/643.51	c        pb/competition_2010/wbo1.4a         : 0.0005 0.0106 0.0101 0.2700 0.3881 0.4453 0.6676
693.33/643.51	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0003 0.0242 0.3194 0.4907 0.5991 0.7065
693.33/643.51	c        pb/other/clasp-1.3.3                : 0.0176 0.0262 0.0429 0.1577 0.5669 0.6303 0.7862
693.33/643.51	c        pb/other/sat4j-pb-v20090829         : 0.0135 0.0009 0.0016 0.3108 0.3798 0.3948 0.4600
693.33/643.51	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0138 0.0138 0.0384 0.0607 0.0678 0.1509
693.33/643.51	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1362485759', u'HOME/instance-2675859-1277135431.opb'] for 0:00:10
693.51/643.70	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2675859-1277135431/watcher-2675859-1277135431 -o /tmp/evaluation-result-2675859-1277135431/solver-2675859-1277135431 -C 1800 -W 2000 -M 1800 solver HOME/instance-2675859-1277135431.opb 818773954 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.06 1.03 0.86 3/106 3968
/proc/meminfo: memFree=1446428/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=16708 CPUtime=0
/proc/3968/stat : 3968 (python) R 3966 3968 3553 0 -1 4202496 717 0 0 0 0 0 0 0 20 0 1 0 89144638 17108992 483 1992294400 4194304 4196484 140737339223920 18446744073709551615 237803167376 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3968/statm: 4177 488 271 1 0 273 0

[startup+0.0987711 s]
/proc/loadavg: 1.06 1.03 0.86 3/106 3968
/proc/meminfo: memFree=1446428/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=31516 CPUtime=0.07
/proc/3968/stat : 3968 (python) S 3966 3968 3553 0 -1 4202496 2244 0 0 0 5 2 0 0 15 0 1 0 89144638 32272384 1228 1992294400 4194304 4196484 140736599803392 18446744073709551615 237803165696 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 0
/proc/3968/statm: 7879 1228 459 1 0 751 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 31516

[startup+0.104394 s]
/proc/loadavg: 1.06 1.03 0.86 3/106 3968
/proc/meminfo: memFree=1446428/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=32160 CPUtime=0.08
/proc/3968/stat : 3968 (python) R 3966 3968 3553 0 -1 4202496 2413 0 0 0 5 3 0 0 15 0 1 0 89144638 32931840 1390 1992294400 4194304 4196484 140736599803392 18446744073709551615 47640918666816 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3968/statm: 8040 1390 459 1 0 912 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32160

[startup+0.300397 s]
/proc/loadavg: 1.06 1.03 0.86 3/106 3968
/proc/meminfo: memFree=1446428/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=70596 CPUtime=0.23
/proc/3968/stat : 3968 (python) R 3966 3968 3553 0 -1 4202496 3958 0 0 0 15 8 0 0 15 0 1 0 89144638 72290304 2794 1992294400 4194304 4196484 140736599803392 18446744073709551615 47640918455755 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3968/statm: 17649 2794 691 1 0 2136 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 70596

[startup+0.700403 s]
/proc/loadavg: 1.06 1.03 0.86 3/106 3968
/proc/meminfo: memFree=1446428/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=98788 CPUtime=0.51
/proc/3968/stat : 3968 (python) R 3966 3968 3553 0 -1 4202496 4867 0 0 0 31 20 0 0 16 0 1 0 89144638 101158912 3580 1992294400 4194304 4196484 140736599803392 18446744073709551615 237803163653 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3968/statm: 24697 3580 1022 1 0 2554 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 98788

[startup+1.50041 s]
/proc/loadavg: 1.06 1.03 0.86 2/107 3973
/proc/meminfo: memFree=1429804/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=119176 CPUtime=1.02
/proc/3968/stat : 3968 (python) R 3966 3968 3553 0 -1 4202496 8960 931 0 0 69 33 0 0 16 0 1 0 89144638 122036224 6109 1992294400 4194304 4196484 140736599803392 18446744073709551615 47640919081505 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3968/statm: 29794 6109 1063 1 0 5048 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 119176

[startup+3.10116 s]
/proc/loadavg: 1.06 1.03 0.86 3/108 3980
/proc/meminfo: memFree=1423224/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=134112 CPUtime=1.93
/proc/3968/stat : 3968 (python) S 3966 3968 3553 0 -1 4202496 12769 3822 0 0 143 45 1 4 15 0 1 0 89144638 137330688 6331 1992294400 4194304 4196484 140736599803392 18446744073709551615 237803187727 0 0 16781312 2 159836005329808212 0 0 17 1 0 0 0
/proc/3968/statm: 33528 6331 1143 1 0 5165 0
[pid=3980] ppid=3968 vsize=6512 CPUtime=1.07
/proc/3980/stat : 3980 (wbo1.4a) R 3968 3980 3980 0 -1 4202496 1480 0 0 0 105 2 0 0 19 0 1 0 89144839 6668288 1146 1992294400 134512640 135751879 4290501920 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/3980/statm: 1628 1146 139 303 0 1323 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 140624

[startup+6.30058 s]
/proc/loadavg: 1.06 1.03 0.86 2/108 3980
/proc/meminfo: memFree=1418512/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=134112 CPUtime=2.21
/proc/3968/stat : 3968 (python) S 3966 3968 3553 0 -1 4202496 12785 3822 0 0 169 47 1 4 15 0 1 0 89144638 137330688 6331 1992294400 4194304 4196484 140736599803392 18446744073709551615 237803187727 0 0 16781312 2 159836005329808212 0 0 17 1 0 0 0
/proc/3968/statm: 33528 6331 1143 1 0 5165 0
[pid=3980] ppid=3968 vsize=9740 CPUtime=4.25
/proc/3980/stat : 3980 (wbo1.4a) R 3968 3980 3980 0 -1 4202496 2275 0 0 0 420 5 0 0 25 0 1 0 89144839 9973760 1941 1992294400 134512640 135751879 4290501920 18446744073709551615 134616355 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/3980/statm: 2435 1941 139 303 0 2130 0
Current children cumulated CPU time (s) 6.46
Current children cumulated vsize (KiB) 143852

[startup+12.7014 s]
/proc/loadavg: 1.13 1.04 0.87 2/108 3980
/proc/meminfo: memFree=1409460/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=134112 CPUtime=2.73
/proc/3968/stat : 3968 (python) S 3966 3968 3553 0 -1 4202496 12807 3822 0 0 214 54 1 4 15 0 1 0 89144638 137330688 6331 1992294400 4194304 4196484 140736599803392 18446744073709551615 237803187727 0 0 16781312 2 159836005329808212 0 0 17 1 0 0 0
/proc/3968/statm: 33528 6331 1143 1 0 5165 0
[pid=3980] ppid=3968 vsize=19380 CPUtime=10.6
/proc/3980/stat : 3980 (wbo1.4a) R 3968 3980 3980 0 -1 4202496 4688 0 0 0 1050 10 0 0 25 0 1 0 89144839 19845120 4354 1992294400 134512640 135751879 4290501920 18446744073709551615 134516976 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/3980/statm: 4845 4354 139 303 0 4540 0
Current children cumulated CPU time (s) 13.33
Current children cumulated vsize (KiB) 153492

[startup+25.5011 s]
/proc/loadavg: 1.11 1.04 0.87 2/108 3982
/proc/meminfo: memFree=1398424/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=134112 CPUtime=3.69
/proc/3968/stat : 3968 (python) R 3966 3968 3553 0 -1 4202496 12848 3822 0 0 299 65 1 4 15 0 1 0 89144638 137330688 6331 1992294400 4194304 4196484 140736599803392 18446744073709551615 237803165696 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3968/statm: 33528 6331 1143 1 0 5165 0
[pid=3980] ppid=3968 vsize=29188 CPUtime=23.33
/proc/3980/stat : 3980 (wbo1.4a) R 3968 3980 3980 0 -1 4202496 7128 0 0 0 2317 16 0 0 25 0 1 0 89144839 29888512 6794 1992294400 134512640 135751879 4290501920 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/3980/statm: 7297 6794 139 303 0 6992 0
Current children cumulated CPU time (s) 27.02
Current children cumulated vsize (KiB) 163300

[startup+51.1014 s]
/proc/loadavg: 1.21 1.07 0.88 2/108 3982
/proc/meminfo: memFree=1385900/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=134112 CPUtime=5.66
/proc/3968/stat : 3968 (python) R 3966 3968 3553 0 -1 4202496 12879 3822 0 0 472 89 1 4 15 0 1 0 89144638 137330688 6331 1992294400 4194304 4196484 140736599803392 18446744073709551615 47640918720759 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3968/statm: 33529 6331 1143 1 0 5166 0
[pid=3980] ppid=3968 vsize=42232 CPUtime=48.76
/proc/3980/stat : 3980 (wbo1.4a) R 3968 3980 3980 0 -1 4202496 10359 0 0 0 4849 27 0 0 25 0 1 0 89144839 43245568 10025 1992294400 134512640 135751879 4290501920 18446744073709551615 134616355 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/3980/statm: 10558 10025 139 303 0 10253 0
Current children cumulated CPU time (s) 54.42
Current children cumulated vsize (KiB) 176344

[startup+102.308 s]
/proc/loadavg: 1.27 1.10 0.90 2/108 3990
/proc/meminfo: memFree=1386024/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=134112 CPUtime=60.23
/proc/3968/stat : 3968 (python) S 3966 3968 3553 0 -1 4202496 15384 16634 0 0 837 136 5015 35 15 0 1 0 89144638 137330688 6333 1992294400 4194304 4196484 140736599803392 18446744073709551615 237803187727 0 0 16781312 2 159688670771686228 0 0 17 0 0 0 0
/proc/3968/statm: 33528 6333 1143 1 0 5165 0
[pid=3988] ppid=3968 vsize=41716 CPUtime=49.28
/proc/3988/stat : 3988 (wbo1.4a) R 3968 3988 3988 0 -1 4202496 10257 0 0 0 4908 20 0 0 25 0 1 0 89149938 42717184 9917 1992294400 134512640 135751879 4293977232 18446744073709551615 134616390 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/3988/statm: 10429 9917 139 303 0 10124 0
Current children cumulated CPU time (s) 109.51
Current children cumulated vsize (KiB) 175828

[startup+162.301 s]
/proc/loadavg: 1.35 1.16 0.93 2/108 3993
/proc/meminfo: memFree=1412436/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=134112 CPUtime=165.67
/proc/3968/stat : 3968 (python) S 3966 3968 3553 0 -1 4202496 16624 42143 0 0 1243 185 15046 93 15 0 1 0 89144638 137330688 6334 1992294400 4194304 4196484 140736599803392 18446744073709551615 237803187727 0 0 16781312 2 159688670771686228 0 0 17 0 0 0 0
/proc/3968/statm: 33528 6334 1143 1 0 5165 0
[pid=3993] ppid=3968 vsize=15424 CPUtime=8.33
/proc/3993/stat : 3993 (wbo1.4b) R 3968 3993 3993 0 -1 4202496 3697 0 0 0 828 5 0 0 25 0 1 0 89160034 15794176 3358 1992294400 134512640 135751879 4293557632 18446744073709551615 134517421 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/3993/statm: 3856 3358 144 303 0 3551 0
Current children cumulated CPU time (s) 174
Current children cumulated vsize (KiB) 149536

[startup+222.302 s]
/proc/loadavg: 1.41 1.20 0.96 2/120 4010
/proc/meminfo: memFree=1256472/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=134112 CPUtime=220.52
/proc/3968/stat : 3968 (python) S 3966 3968 3553 0 -1 4202496 17965 53417 0 0 1644 230 20058 120 15 0 1 0 89144638 137330688 6337 1992294400 4194304 4196484 140736599803392 18446744073709551615 237803187727 0 0 16781312 2 159688670771686228 0 0 17 0 0 0 0
/proc/3968/statm: 33528 6337 1143 1 0 5165 0
[pid=3998] ppid=3968 vsize=1479880 CPUtime=19.23
/proc/3998/stat : 3998 (java) S 3968 3998 3998 0 -1 4202496 45916 0 1 0 1900 23 0 0 15 0 13 0 89165083 1515397120 43470 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3998/statm: 369970 43470 1438 10 0 367272 0
[pid=3998/tid=3999] ppid=3968 vsize=1479880 CPUtime=17.1
/proc/3998/task/3999/stat : 3999 (java) R 3968 3998 3998 0 -1 4202560 30973 0 1 0 1695 15 0 0 25 0 13 0 89165085 1515397120 43470 1992294400 134512640 134550932 4293381200 18446744073709551615 4110106372 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3998/tid=4000] ppid=3968 vsize=1479880 CPUtime=0.19
/proc/3998/task/4000/stat : 4000 (java) S 3968 3998 3998 0 -1 4202560 6365 0 0 0 17 2 0 0 15 0 13 0 89165086 1515397120 43470 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 1 0 0 0
[pid=3998/tid=4001] ppid=3968 vsize=1479880 CPUtime=0.13
/proc/3998/task/4001/stat : 4001 (java) S 3968 3998 3998 0 -1 4202560 3839 0 0 0 12 1 0 0 18 0 13 0 89165086 1515397120 43470 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=3998/tid=4002] ppid=3968 vsize=1479880 CPUtime=0
/proc/3998/task/4002/stat : 4002 (java) S 3968 3998 3998 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 13 0 89165088 1515397120 43470 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 0 0 16800975 18446604437845586176 0 0 -1 1 0 0 0
[pid=3998/tid=4003] ppid=3968 vsize=1479880 CPUtime=0
/proc/3998/task/4003/stat : 4003 (java) S 3968 3998 3998 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 89165088 1515397120 43470 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=3998/tid=4004] ppid=3968 vsize=1479880 CPUtime=0
/proc/3998/task/4004/stat : 4004 (java) S 3968 3998 3998 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 89165088 1515397120 43470 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=3998/tid=4005] ppid=3968 vsize=1479880 CPUtime=0
/proc/3998/task/4005/stat : 4005 (java) S 3968 3998 3998 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 89165093 1515397120 43470 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=3998/tid=4006] ppid=3968 vsize=1479880 CPUtime=0.92
/proc/3998/task/4006/stat : 4006 (java) S 3968 3998 3998 0 -1 4202560 1842 0 0 0 92 0 0 0 15 0 13 0 89165093 1515397120 43470 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 1 0 0 0
[pid=3998/tid=4007] ppid=3968 vsize=1479880 CPUtime=0.83
/proc/3998/task/4007/stat : 4007 (java) S 3968 3998 3998 0 -1 4202560 1513 0 0 0 82 1 0 0 16 0 13 0 89165093 1515397120 43470 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=3998/tid=4008] ppid=3968 vsize=1479880 CPUtime=0
/proc/3998/task/4008/stat : 4008 (java) S 3968 3998 3998 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 89165093 1515397120 43470 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=3998/tid=4009] ppid=3968 vsize=1479880 CPUtime=0
/proc/3998/task/4009/stat : 4009 (java) S 3968 3998 3998 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 13 0 89165093 1515397120 43470 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=3998/tid=4010] ppid=3968 vsize=1479880 CPUtime=0
/proc/3998/task/4010/stat : 4010 (java) S 3968 3998 3998 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 89165328 1515397120 43470 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 239.75
Current children cumulated vsize (KiB) 1613992

[startup+282.302 s]
/proc/loadavg: 1.22 1.18 0.96 2/120 4012
/proc/meminfo: memFree=1177112/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=134112 CPUtime=224.75
/proc/3968/stat : 3968 (python) S 3966 3968 3553 0 -1 4202496 18025 53417 0 0 2024 273 20058 120 16 0 1 0 89144638 137330688 6337 1992294400 4194304 4196484 140736599803392 18446744073709551615 237803187727 0 0 16781312 2 159688670771686228 0 0 17 0 0 0 0
/proc/3968/statm: 33528 6337 1143 1 0 5165 0
[pid=3998] ppid=3968 vsize=1479880 CPUtime=79.51
/proc/3998/stat : 3998 (java) S 3968 3998 3998 0 -1 4202496 67980 0 1 0 7918 33 0 0 15 0 13 0 89165083 1515397120 63272 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3998/statm: 369970 63272 1438 10 0 367272 0
[pid=3998/tid=3999] ppid=3968 vsize=1479880 CPUtime=76.65
/proc/3998/task/3999/stat : 3999 (java) R 3968 3998 3998 0 -1 4202560 30992 0 1 0 7650 15 0 0 25 0 13 0 89165085 1515397120 63272 1992294400 134512640 134550932 4293381200 18446744073709551615 4110134719 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3998/tid=4000] ppid=3968 vsize=1479880 CPUtime=0.58
/proc/3998/task/4000/stat : 4000 (java) S 3968 3998 3998 0 -1 4202560 18667 0 0 0 51 7 0 0 16 0 13 0 89165086 1515397120 63272 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 1 0 0 0
[pid=3998/tid=4001] ppid=3968 vsize=1479880 CPUtime=0.47
/proc/3998/task/4001/stat : 4001 (java) S 3968 3998 3998 0 -1 4202560 13574 0 0 0 41 6 0 0 18 0 13 0 89165086 1515397120 63272 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=3998/tid=4002] ppid=3968 vsize=1479880 CPUtime=0
/proc/3998/task/4002/stat : 4002 (java) S 3968 3998 3998 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 13 0 89165088 1515397120 63272 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 0 0 16800975 18446604437845586176 0 0 -1 1 0 0 0
[pid=3998/tid=4003] ppid=3968 vsize=1479880 CPUtime=0
/proc/3998/task/4003/stat : 4003 (java) S 3968 3998 3998 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 89165088 1515397120 63272 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=3998/tid=4004] ppid=3968 vsize=1479880 CPUtime=0
/proc/3998/task/4004/stat : 4004 (java) S 3968 3998 3998 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 89165088 1515397120 63272 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=3998/tid=4005] ppid=3968 vsize=1479880 CPUtime=0
/proc/3998/task/4005/stat : 4005 (java) S 3968 3998 3998 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 89165093 1515397120 63272 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=3998/tid=4006] ppid=3968 vsize=1479880 CPUtime=0.93
/proc/3998/task/4006/stat : 4006 (java) S 3968 3998 3998 0 -1 4202560 1842 0 0 0 93 0 0 0 15 0 13 0 89165093 1515397120 63272 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 1 0 0 0
[pid=3998/tid=4007] ppid=3968 vsize=1479880 CPUtime=0.83
/proc/3998/task/4007/stat : 4007 (java) S 3968 3998 3998 0 -1 4202560 1513 0 0 0 82 1 0 0 16 0 13 0 89165093 1515397120 63272 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=3998/tid=4008] ppid=3968 vsize=1479880 CPUtime=0
/proc/3998/task/4008/stat : 4008 (java) S 3968 3998 3998 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 89165093 1515397120 63272 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=3998/tid=4009] ppid=3968 vsize=1479880 CPUtime=0
/proc/3998/task/4009/stat : 4009 (java) S 3968 3998 3998 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 13 0 89165093 1515397120 63272 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=3998/tid=4010] ppid=3968 vsize=1479880 CPUtime=0
/proc/3998/task/4010/stat : 4010 (java) S 3968 3998 3998 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 89165328 1515397120 63272 1992294400 134512640 134550932 4293381200 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 304.26
Current children cumulated vsize (KiB) 1613992

[startup+342.301 s]
/proc/loadavg: 1.30 1.20 0.98 2/108 4017
/proc/meminfo: memFree=1394704/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=134112 CPUtime=330.09
/proc/3968/stat : 3968 (python) S 3966 3968 3553 0 -1 4202496 19346 126885 0 1 2434 324 30092 159 15 0 1 0 89144638 137330688 6339 1992294400 4194304 4196484 140736599803392 18446744073709551615 237803187727 0 0 16781312 2 159688670771686228 0 0 17 0 0 0 0
/proc/3968/statm: 33528 6339 1143 1 0 5165 0
[pid=4015] ppid=3968 vsize=32972 CPUtime=38.65
/proc/4015/stat : 4015 (wbo1.4b) R 3968 4015 4015 0 -1 4202496 8076 0 0 0 3849 16 0 0 25 0 1 0 89174989 33763328 7743 1992294400 134512640 135751879 4292073968 18446744073709551615 134616497 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4015/statm: 8243 7743 144 303 0 7938 0
Current children cumulated CPU time (s) 368.74
Current children cumulated vsize (KiB) 167084

[startup+402.301 s]
/proc/loadavg: 1.31 1.22 1.00 2/108 4019
/proc/meminfo: memFree=1332828/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=134112 CPUtime=334.21
/proc/3968/stat : 3968 (python) S 3966 3968 3553 0 -1 4202496 19372 126885 0 1 2800 370 30092 159 15 0 1 0 89144638 137330688 6339 1992294400 4194304 4196484 140736599803392 18446744073709551615 237803187727 0 0 16781312 2 159688670771686228 0 0 17 0 0 0 0
/proc/3968/statm: 33528 6339 1143 1 0 5165 0
[pid=4015] ppid=3968 vsize=96128 CPUtime=98.64
/proc/4015/stat : 4015 (wbo1.4b) R 3968 4015 4015 0 -1 4202496 23826 0 0 0 9812 52 0 0 25 0 1 0 89174989 98435072 23493 1992294400 134512640 135751879 4292073968 18446744073709551615 134616534 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4015/statm: 24032 23493 144 303 0 23727 0
Current children cumulated CPU time (s) 432.85
Current children cumulated vsize (KiB) 230240

[startup+462.301 s]
/proc/loadavg: 1.17 1.20 1.00 2/108 4031
/proc/meminfo: memFree=1415412/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=134112 CPUtime=491.31
/proc/3968/stat : 3968 (python) S 3966 3968 3553 0 -1 4202496 24327 164655 0 1 3285 433 45177 236 15 0 1 0 89144638 137330688 6342 1992294400 4194304 4196484 140736599803392 18446744073709551615 237803187727 0 0 16781312 2 159688670771686228 0 0 17 0 0 0 0
/proc/3968/statm: 33528 6342 1143 1 0 5165 0
[pid=4031] ppid=3968 vsize=11836 CPUtime=6.27
/proc/4031/stat : 4031 (wbo1.4a) R 3968 4031 4031 0 -1 4202496 2805 0 0 0 623 4 0 0 25 0 1 0 89190240 12120064 2467 1992294400 134512640 135751879 4291130944 18446744073709551615 134517409 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4031/statm: 2959 2467 139 303 0 2654 0
Current children cumulated CPU time (s) 497.58
Current children cumulated vsize (KiB) 145948

[startup+522.302 s]
/proc/loadavg: 1.11 1.17 1.00 4/120 4067
/proc/meminfo: memFree=1204704/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=134112 CPUtime=517.49
/proc/3968/stat : 3968 (python) S 3966 3968 3553 0 -1 4202496 32942 179808 0 1 3767 488 47236 258 15 0 1 0 89144638 137330688 6345 1992294400 4194304 4196484 140736599803392 18446744073709551615 237803187727 0 0 16781312 2 159688670771686228 0 0 17 0 0 0 0
/proc/3968/statm: 33528 6345 1143 1 0 5165 0
[pid=4055] ppid=3968 vsize=1482156 CPUtime=45.99
/proc/4055/stat : 4055 (java) S 3968 4055 4055 0 -1 4202496 60930 0 1 0 4571 28 0 0 15 0 13 0 89192417 1517727744 56316 1992294400 134512640 134550932 4294127392 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4055/statm: 370539 56316 1438 10 0 367841 0
[pid=4055/tid=4056] ppid=3968 vsize=1482156 CPUtime=43.39
/proc/4055/task/4056/stat : 4056 (java) R 3968 4055 4055 0 -1 4202560 30955 0 1 0 4326 13 0 0 25 0 13 0 89192419 1517727744 56316 1992294400 134512640 134550932 4294127392 18446744073709551615 4110050616 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4055/tid=4057] ppid=3968 vsize=1482156 CPUtime=0.37
/proc/4055/task/4057/stat : 4057 (java) S 3968 4055 4055 0 -1 4202560 12245 0 0 0 32 5 0 0 16 0 13 0 89192420 1517727744 56316 1992294400 134512640 134550932 4294127392 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 1 0 0 0
[pid=4055/tid=4058] ppid=3968 vsize=1482156 CPUtime=0.36
/proc/4055/task/4058/stat : 4058 (java) S 3968 4055 4055 0 -1 4202560 12895 0 0 0 31 5 0 0 18 0 13 0 89192420 1517727744 56316 1992294400 134512640 134550932 4294127392 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=4055/tid=4059] ppid=3968 vsize=1482156 CPUtime=0
/proc/4055/task/4059/stat : 4059 (java) S 3968 4055 4055 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 13 0 89192422 1517727744 56316 1992294400 134512640 134550932 4294127392 18446744073709551615 4294960144 0 0 0 16800975 18446604437845586176 0 0 -1 1 0 0 0
[pid=4055/tid=4060] ppid=3968 vsize=1482156 CPUtime=0
/proc/4055/task/4060/stat : 4060 (java) S 3968 4055 4055 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 89192422 1517727744 56316 1992294400 134512640 134550932 4294127392 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=4055/tid=4061] ppid=3968 vsize=1482156 CPUtime=0
/proc/4055/task/4061/stat : 4061 (java) S 3968 4055 4055 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 89192422 1517727744 56316 1992294400 134512640 134550932 4294127392 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=4055/tid=4062] ppid=3968 vsize=1482156 CPUtime=0
/proc/4055/task/4062/stat : 4062 (java) S 3968 4055 4055 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 89192427 1517727744 56316 1992294400 134512640 134550932 4294127392 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=4055/tid=4063] ppid=3968 vsize=1482156 CPUtime=0.81
/proc/4055/task/4063/stat : 4063 (java) S 3968 4055 4055 0 -1 4202560 1752 0 0 0 80 1 0 0 16 0 13 0 89192427 1517727744 56316 1992294400 134512640 134550932 4294127392 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=4055/tid=4064] ppid=3968 vsize=1482156 CPUtime=0.97
/proc/4055/task/4064/stat : 4064 (java) S 3968 4055 4055 0 -1 4202560 1688 0 0 0 97 0 0 0 15 0 13 0 89192427 1517727744 56316 1992294400 134512640 134550932 4294127392 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 1 0 0 0
[pid=4055/tid=4065] ppid=3968 vsize=1482156 CPUtime=0
/proc/4055/task/4065/stat : 4065 (java) S 3968 4055 4055 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 89192427 1517727744 56316 1992294400 134512640 134550932 4294127392 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=4055/tid=4066] ppid=3968 vsize=1482156 CPUtime=0
/proc/4055/task/4066/stat : 4066 (java) S 3968 4055 4055 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 13 0 89192427 1517727744 56316 1992294400 134512640 134550932 4294127392 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 0 0 0 0
[pid=4055/tid=4067] ppid=3968 vsize=1482156 CPUtime=0
/proc/4055/task/4067/stat : 4067 (java) S 3968 4055 4055 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 89192662 1517727744 56316 1992294400 134512640 134550932 4294127392 18446744073709551615 4294960144 0 4 0 16800975 18446604437845586176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 563.48
Current children cumulated vsize (KiB) 1616268

[startup+582.301 s]
/proc/loadavg: 1.27 1.21 1.02 3/108 4090
/proc/meminfo: memFree=1398116/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=134112 CPUtime=584.13
/proc/3968/stat : 3968 (python) S 3966 3968 3553 0 -1 4202496 41683 256080 0 2 4275 549 53278 311 15 0 1 0 89144638 137330688 6348 1992294400 4194304 4196484 140736599803392 18446744073709551615 237803187727 0 0 16781312 2 159688670771686228 0 0 17 0 0 0 0
/proc/3968/statm: 33528 6348 1143 1 0 5165 0
[pid=4088] ppid=3968 vsize=37288 CPUtime=44.06
/proc/4088/stat : 4088 (bsolo_pb10) R 3968 4088 4088 0 -1 4202496 7500 0 0 0 4394 12 0 0 25 0 1 0 89198460 38182912 6891 1992294400 134512640 137138936 4292584976 18446744073709551615 134542484 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/4088/statm: 9322 6891 192 642 0 8678 0
Current children cumulated CPU time (s) 628.19
Current children cumulated vsize (KiB) 171400

[startup+642.301 s]
/proc/loadavg: 1.17 1.19 1.02 2/108 4155
/proc/meminfo: memFree=1424032/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=134244 CPUtime=692.11
/proc/3968/stat : 3968 (python) R 3966 3968 3553 0 -1 4202496 63725 293973 0 2 4892 641 63319 359 19 0 1 0 89144638 137465856 6353 1992294400 4194304 4196484 140736599803392 18446744073709551615 237803165696 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3968/statm: 33562 6353 1143 1 0 5199 0
[pid=4155] ppid=3968 vsize=0 CPUtime=0
/proc/4155/stat : 4155 (clasp-1.3.3-x86) Z 3968 4155 4155 0 -1 4202524 537 0 0 0 0 0 0 0 18 0 1 0 89208866 0 0 1992294400 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/4155/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 692.11
Current children cumulated vsize (KiB) 134244

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

[startup+643.101 s]
/proc/loadavg: 1.17 1.19 1.02 2/108 4155
/proc/meminfo: memFree=1424032/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=134240 CPUtime=692.92
/proc/3968/stat : 3968 (python) R 3966 3968 3553 0 -1 4202496 68028 299803 0 2 4953 651 63322 366 18 0 1 0 89144638 137461760 6354 1992294400 4194304 4196484 140736599803392 18446744073709551615 237806649030 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3968/statm: 33560 6354 1143 1 0 5197 0
Current children cumulated CPU time (s) 692.92
Current children cumulated vsize (KiB) 134240

[startup+643.509 s]
/proc/loadavg: 1.17 1.19 1.02 2/108 4170
/proc/meminfo: memFree=1424032/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=134240 CPUtime=693.33
/proc/3968/stat : 3968 (python) R 3966 3968 3553 0 -1 4202496 70490 302709 0 2 4984 656 63323 370 18 0 1 0 89144638 137461760 6355 1992294400 4194304 4196484 140736599803392 18446744073709551615 237806606115 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3968/statm: 33560 6355 1143 1 0 5197 0
Current children cumulated CPU time (s) 693.33
Current children cumulated vsize (KiB) 134240

[startup+643.701 s]
/proc/loadavg: 1.17 1.19 1.02 2/108 4170
/proc/meminfo: memFree=1424032/2059040 swapFree=4139488/4192956
[pid=3968] ppid=3966 vsize=134240 CPUtime=693.51
/proc/3968/stat : 3968 (python) R 3966 3968 3553 0 -1 4202496 71498 304178 0 2 4999 658 63323 371 18 0 1 0 89144638 137461760 6355 1992294400 4194304 4196484 140736599803392 18446744073709551615 47640919081537 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3968/statm: 33560 6355 1143 1 0 5197 0
Current children cumulated CPU time (s) 693.51
Current children cumulated vsize (KiB) 134240

Child status: 0
Real time (s): 643.77
CPU time (s): 693.608
CPU user time (s): 683.29
CPU system time (s): 10.3174
CPU usage (%): 107.741
Max. virtual memory (cumulated for all children) (KiB): 1616272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 683.29
system time used= 10.3174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380138
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10031
involuntary context switches= 8446

runsolver used 1.17882 second user time and 3.22851 second system time

The end

Launcher Data 

Begin job on node013 at 2010-06-21 17:50:31
IDJOB=2675859
IDBENCH=48302
IDSOLVER=1178
FILE ID=node013/2675859-1277135431
PBS_JOBID= 11182097
Free space on /tmp= 62496 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_4_40.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2675859-1277135431/watcher-2675859-1277135431 -o /tmp/evaluation-result-2675859-1277135431/solver-2675859-1277135431 -C 1800 -W 2000 -M 1800  solver HOME/instance-2675859-1277135431.opb 818773954 

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

MD5SUM BENCH= 4bc8406e35a3f2674c743b72d3a1792a
RANDOM SEED=818773954

node013.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.253
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.253
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1446832 kB
Buffers:        139736 kB
Cached:         362648 kB
SwapCached:       6088 kB
Active:         251276 kB
Inactive:       265116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1446832 kB
SwapTotal:     4192956 kB
SwapFree:      4139488 kB
Dirty:           20600 kB
Writeback:           0 kB
AnonPages:       12628 kB
Mapped:          12844 kB
Slab:            73864 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181424 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62476 MiB
End job on node013 at 2010-06-21 18:01:15