Trace number 2675877

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? 687.422 646.284

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_5_40.opb
MD5SUM9100923ff6d9c8d4da1b288858ed91b3
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 benchmark270.509
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)6124
Sum of products size (including duplicates)12248
Number of different products3062
Sum of products size6124

Solver Data 

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

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: 0.97 1.02 0.95 3/106 1862
/proc/meminfo: memFree=1576484/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=16312 CPUtime=0
/proc/1862/stat : 1862 (python) R 1860 1862 1099 0 -1 4202496 641 0 0 0 0 0 0 0 18 0 1 0 89155982 16703488 412 1992294400 4194304 4196484 140734864105632 18446744073709551615 263450829792 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1862/statm: 4078 412 261 1 0 174 0

[startup+0.10754 s]
/proc/loadavg: 0.97 1.02 0.95 3/106 1862
/proc/meminfo: memFree=1576484/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=34220 CPUtime=0.09
/proc/1862/stat : 1862 (python) S 1860 1862 1099 0 -1 4202496 2421 0 0 0 6 3 0 0 18 0 1 0 89155982 35041280 1394 1992294400 4194304 4196484 140734162215840 18446744073709551615 263434557440 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 0
/proc/1862/statm: 8555 1394 462 1 0 912 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34220

[startup+0.205934 s]
/proc/loadavg: 0.97 1.02 0.95 3/106 1862
/proc/meminfo: memFree=1576484/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=62868 CPUtime=0.17
/proc/1862/stat : 1862 (python) R 1860 1862 1099 0 -1 4202496 3574 0 0 0 11 6 0 0 17 0 1 0 89155982 64376832 2432 1992294400 4194304 4196484 140734162215840 18446744073709551615 263433920240 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1862/statm: 15750 2433 614 1 0 1912 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 62868

[startup+0.301931 s]
/proc/loadavg: 0.97 1.02 0.95 3/106 1862
/proc/meminfo: memFree=1576484/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=71504 CPUtime=0.27
/proc/1862/stat : 1862 (python) R 1860 1862 1099 0 -1 4202496 4202 0 0 0 19 8 0 0 18 0 1 0 89155982 73220096 2993 1992294400 4194304 4196484 140734162215840 18446744073709551615 47066889381266 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1862/statm: 17876 2993 702 1 0 2363 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 71504

[startup+0.700916 s]
/proc/loadavg: 0.97 1.02 0.95 3/106 1862
/proc/meminfo: memFree=1576484/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=104300 CPUtime=0.62
/proc/1862/stat : 1862 (python) R 1860 1862 1099 0 -1 4202496 6162 930 0 0 42 20 0 0 18 0 1 0 89155982 106803200 4406 1992294400 4194304 4196484 140734162215840 18446744073709551615 47066889639873 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1862/statm: 26075 4406 1028 1 0 3416 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 104300

[startup+1.50189 s]
/proc/loadavg: 0.97 1.02 0.95 2/107 1868
/proc/meminfo: memFree=1556388/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134120 CPUtime=1.34
/proc/1862/stat : 1862 (python) R 1860 1862 1099 0 -1 4202496 11577 2384 0 0 97 35 1 1 18 0 1 0 89155982 137338880 6330 1992294400 4194304 4196484 140734162215840 18446744073709551615 47066889091242 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1862/statm: 33530 6330 1143 1 0 5167 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 134120

[startup+3.10083 s]
/proc/loadavg: 0.97 1.02 0.95 2/108 1875
/proc/meminfo: memFree=1551916/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134120 CPUtime=1.82
/proc/1862/stat : 1862 (python) S 1860 1862 1099 0 -1 4202496 12747 3826 0 0 138 40 1 3 15 0 1 0 89155982 137338880 6332 1992294400 4194304 4196484 140734162215840 18446744073709551615 263434579471 0 0 16781312 2 159688670771686094 0 0 17 0 0 0 0
/proc/1862/statm: 33530 6332 1143 1 0 5167 0
[pid=1875] ppid=1862 vsize=7016 CPUtime=1.47
/proc/1875/stat : 1875 (wbo1.4a) R 1862 1875 1875 0 -1 4202496 1607 0 0 0 145 2 0 0 23 0 1 0 89156144 7184384 1271 1992294400 134512640 135751879 4288699232 18446744073709551615 134616778 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/1875/statm: 1754 1271 139 303 0 1449 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 141136

[startup+6.30072 s]
/proc/loadavg: 0.97 1.02 0.95 3/108 1875
/proc/meminfo: memFree=1548444/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134120 CPUtime=2.08
/proc/1862/stat : 1862 (python) S 1860 1862 1099 0 -1 4202496 12752 3826 0 0 161 43 1 3 15 0 1 0 89155982 137338880 6332 1992294400 4194304 4196484 140734162215840 18446744073709551615 263434579471 0 0 16781312 2 159688670771686094 0 0 17 0 0 0 0
/proc/1862/statm: 33530 6332 1143 1 0 5167 0
[pid=1875] ppid=1862 vsize=9476 CPUtime=4.65
/proc/1875/stat : 1875 (wbo1.4a) R 1862 1875 1875 0 -1 4202496 2215 0 0 0 460 5 0 0 25 0 1 0 89156144 9703424 1879 1992294400 134512640 135751879 4288699232 18446744073709551615 134516977 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/1875/statm: 2369 1879 139 303 0 2064 0
Current children cumulated CPU time (s) 6.73
Current children cumulated vsize (KiB) 143596

[startup+12.7005 s]
/proc/loadavg: 1.05 1.04 0.96 2/108 1875
/proc/meminfo: memFree=1541252/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134120 CPUtime=2.5
/proc/1862/stat : 1862 (python) S 1860 1862 1099 0 -1 4202496 12765 3826 0 0 200 46 1 3 15 0 1 0 89155982 137338880 6332 1992294400 4194304 4196484 140734162215840 18446744073709551615 263434579471 0 0 16781312 2 159688670771686094 0 0 17 0 0 0 0
/proc/1862/statm: 33530 6332 1143 1 0 5167 0
[pid=1875] ppid=1862 vsize=16864 CPUtime=11
/proc/1875/stat : 1875 (wbo1.4a) R 1862 1875 1875 0 -1 4202496 4069 0 0 0 1091 9 0 0 25 0 1 0 89156144 17268736 3733 1992294400 134512640 135751879 4288699232 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/1875/statm: 4216 3733 139 303 0 3911 0
Current children cumulated CPU time (s) 13.5
Current children cumulated vsize (KiB) 150984

[startup+25.501 s]
/proc/loadavg: 1.04 1.03 0.96 2/108 1875
/proc/meminfo: memFree=1533440/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134120 CPUtime=3.27
/proc/1862/stat : 1862 (python) S 1860 1862 1099 0 -1 4202496 12796 3826 0 0 272 51 1 3 15 0 1 0 89155982 137338880 6332 1992294400 4194304 4196484 140734162215840 18446744073709551615 263434579471 0 0 16781312 2 159688670771686094 0 0 17 0 0 0 0
/proc/1862/statm: 33530 6332 1143 1 0 5167 0
[pid=1875] ppid=1862 vsize=24592 CPUtime=23.73
/proc/1875/stat : 1875 (wbo1.4a) R 1862 1875 1875 0 -1 4202496 6010 0 0 0 2359 14 0 0 25 0 1 0 89156144 25182208 5674 1992294400 134512640 135751879 4288699232 18446744073709551615 134616505 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/1875/statm: 6148 5674 139 303 0 5843 0
Current children cumulated CPU time (s) 27
Current children cumulated vsize (KiB) 158712

[startup+51.1011 s]
/proc/loadavg: 1.03 1.03 0.96 2/108 1875
/proc/meminfo: memFree=1498844/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134120 CPUtime=4.81
/proc/1862/stat : 1862 (python) S 1860 1862 1099 0 -1 4202496 12836 3826 0 0 413 64 1 3 16 0 1 0 89155982 137338880 6333 1992294400 4194304 4196484 140734162215840 18446744073709551615 263434579471 0 0 16781312 2 159688670771686094 0 0 17 0 0 0 0
/proc/1862/statm: 33530 6333 1143 1 0 5167 0
[pid=1875] ppid=1862 vsize=59284 CPUtime=49.16
/proc/1875/stat : 1875 (wbo1.4a) R 1862 1875 1875 0 -1 4202496 14645 0 0 0 4884 32 0 0 25 0 1 0 89156144 60706816 14309 1992294400 134512640 135751879 4288699232 18446744073709551615 134616540 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/1875/statm: 14821 14309 139 303 0 14516 0
Current children cumulated CPU time (s) 53.97
Current children cumulated vsize (KiB) 193404

[startup+102.302 s]
/proc/loadavg: 1.12 1.05 0.97 2/108 1886
/proc/meminfo: memFree=1498596/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134120 CPUtime=59.43
/proc/1862/stat : 1862 (python) S 1860 1862 1099 0 -1 4202496 15329 20912 0 0 736 116 5052 39 15 0 1 0 89155982 137338880 6334 1992294400 4194304 4196484 140734162215840 18446744073709551615 263434579471 0 0 16781312 2 159836005329808078 0 0 17 1 0 0 0
/proc/1862/statm: 33530 6334 1143 1 0 5167 0
[pid=1883] ppid=1862 vsize=59416 CPUtime=49
/proc/1883/stat : 1883 (wbo1.4a) R 1862 1883 1883 0 -1 4202496 14705 0 0 0 4871 29 0 0 25 0 1 0 89161282 60841984 14368 1992294400 134512640 135751879 4287785936 18446744073709551615 134516976 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/1883/statm: 14854 14368 139 303 0 14549 0
Current children cumulated CPU time (s) 108.43
Current children cumulated vsize (KiB) 193536

[startup+162.302 s]
/proc/loadavg: 1.04 1.04 0.97 2/108 1894
/proc/meminfo: memFree=1546212/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134120 CPUtime=164.68
/proc/1862/stat : 1862 (python) S 1860 1862 1099 0 -1 4202496 16588 53590 0 0 1090 177 15090 111 15 0 1 0 89155982 137338880 6336 1992294400 4194304 4196484 140734162215840 18446744073709551615 263434579471 0 0 16781312 2 159836005329808078 0 0 17 1 0 0 0
/proc/1862/statm: 33530 6336 1143 1 0 5167 0
[pid=1894] ppid=1862 vsize=12628 CPUtime=7.49
/proc/1894/stat : 1894 (wbo1.4b) R 1862 1894 1894 0 -1 4202496 3012 0 0 0 745 4 0 0 25 0 1 0 89171458 12931072 2677 1992294400 134512640 135751879 4290834576 18446744073709551615 134616520 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/1894/statm: 3157 2677 144 303 0 2852 0
Current children cumulated CPU time (s) 172.17
Current children cumulated vsize (KiB) 146748

[startup+222.31 s]
/proc/loadavg: 1.22 1.08 0.98 2/120 1910
/proc/meminfo: memFree=1386284/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134120 CPUtime=219.2
/proc/1862/stat : 1862 (python) S 1860 1862 1099 0 -1 4202496 17943 69423 0 0 1436 236 20106 142 15 0 1 0 89155982 137338880 6338 1992294400 4194304 4196484 140734162215840 18446744073709551615 263434579471 0 0 16781312 2 159836005329808078 0 0 17 1 0 0 0
/proc/1862/statm: 33530 6338 1143 1 0 5167 0
[pid=1897] ppid=1862 vsize=1481492 CPUtime=17.88
/proc/1897/stat : 1897 (java) S 1862 1897 1897 0 -1 4202496 45253 0 1 0 1765 23 0 0 15 0 13 0 89176539 1517047808 43530 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1897/statm: 370373 43530 1438 10 0 367675 0
[pid=1897/tid=1898] ppid=1862 vsize=1481492 CPUtime=15.81
/proc/1897/task/1898/stat : 1898 (java) R 1862 1897 1897 0 -1 4202560 30974 0 1 0 1566 15 0 0 25 0 13 0 89176541 1517047808 43530 1992294400 134512640 134550932 4289649776 18446744073709551615 4109859199 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1897/tid=1900] ppid=1862 vsize=1481492 CPUtime=0.17
/proc/1897/task/1900/stat : 1900 (java) S 1862 1897 1897 0 -1 4202560 5045 0 0 0 15 2 0 0 16 0 13 0 89176542 1517047808 43530 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 0 0 0 0
[pid=1897/tid=1901] ppid=1862 vsize=1481492 CPUtime=0.16
/proc/1897/task/1901/stat : 1901 (java) S 1862 1897 1897 0 -1 4202560 4934 0 0 0 14 2 0 0 18 0 13 0 89176542 1517047808 43530 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 1 0 0 0
[pid=1897/tid=1902] ppid=1862 vsize=1481492 CPUtime=0
/proc/1897/task/1902/stat : 1902 (java) S 1862 1897 1897 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 13 0 89176544 1517047808 43530 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 0 0 16800975 18446604437545080640 0 0 -1 0 0 0 0
[pid=1897/tid=1903] ppid=1862 vsize=1481492 CPUtime=0
/proc/1897/task/1903/stat : 1903 (java) S 1862 1897 1897 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 89176545 1517047808 43530 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 0 0 0 0
[pid=1897/tid=1904] ppid=1862 vsize=1481492 CPUtime=0
/proc/1897/task/1904/stat : 1904 (java) S 1862 1897 1897 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 89176545 1517047808 43530 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 0 0 0 0
[pid=1897/tid=1905] ppid=1862 vsize=1481492 CPUtime=0
/proc/1897/task/1905/stat : 1905 (java) S 1862 1897 1897 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 89176549 1517047808 43530 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 0 0 0 0
[pid=1897/tid=1906] ppid=1862 vsize=1481492 CPUtime=1.11
/proc/1897/task/1906/stat : 1906 (java) S 1862 1897 1897 0 -1 4202560 1950 0 0 0 111 0 0 0 16 0 13 0 89176549 1517047808 43530 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 0 0 0 0
[pid=1897/tid=1907] ppid=1862 vsize=1481492 CPUtime=0.57
/proc/1897/task/1907/stat : 1907 (java) S 1862 1897 1897 0 -1 4202560 963 0 0 0 57 0 0 0 15 0 13 0 89176549 1517047808 43530 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 0 0 0 0
[pid=1897/tid=1908] ppid=1862 vsize=1481492 CPUtime=0
/proc/1897/task/1908/stat : 1908 (java) S 1862 1897 1897 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 89176549 1517047808 43530 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 0 0 0 0
[pid=1897/tid=1909] ppid=1862 vsize=1481492 CPUtime=0
/proc/1897/task/1909/stat : 1909 (java) S 1862 1897 1897 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 89176549 1517047808 43530 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 1 0 0 0
[pid=1897/tid=1910] ppid=1862 vsize=1481492 CPUtime=0
/proc/1897/task/1910/stat : 1910 (java) S 1862 1897 1897 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 89176796 1517047808 43530 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 237.08
Current children cumulated vsize (KiB) 1615612

[startup+282.302 s]
/proc/loadavg: 1.13 1.08 0.99 2/120 1912
/proc/meminfo: memFree=1305436/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134120 CPUtime=222.88
/proc/1862/stat : 1862 (python) S 1860 1862 1099 0 -1 4202496 18008 69423 0 0 1752 288 20106 142 15 0 1 0 89155982 137338880 6338 1992294400 4194304 4196484 140734162215840 18446744073709551615 263434579471 0 0 16781312 2 159836005329808078 0 0 17 1 0 0 0
/proc/1862/statm: 33530 6338 1143 1 0 5167 0
[pid=1897] ppid=1862 vsize=1481492 CPUtime=77.84
/proc/1897/stat : 1897 (java) S 1862 1897 1897 0 -1 4202496 68475 0 1 0 7746 38 0 0 15 0 13 0 89176539 1517047808 63740 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1897/statm: 370373 63740 1438 10 0 367675 0
[pid=1897/tid=1898] ppid=1862 vsize=1481492 CPUtime=74.97
/proc/1897/task/1898/stat : 1898 (java) R 1862 1897 1897 0 -1 4202560 30994 0 1 0 7479 18 0 0 25 0 13 0 89176541 1517047808 63740 1992294400 134512640 134550932 4289649776 18446744073709551615 4109804592 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1897/tid=1900] ppid=1862 vsize=1481492 CPUtime=0.55
/proc/1897/task/1900/stat : 1900 (java) S 1862 1897 1897 0 -1 4202560 17254 0 0 0 47 8 0 0 16 0 13 0 89176542 1517047808 63740 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 0 0 0 0
[pid=1897/tid=1901] ppid=1862 vsize=1481492 CPUtime=0.54
/proc/1897/task/1901/stat : 1901 (java) S 1862 1897 1897 0 -1 4202560 15919 0 0 0 47 7 0 0 16 0 13 0 89176542 1517047808 63740 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 1 0 0 0
[pid=1897/tid=1902] ppid=1862 vsize=1481492 CPUtime=0
/proc/1897/task/1902/stat : 1902 (java) S 1862 1897 1897 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 13 0 89176544 1517047808 63740 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 0 0 16800975 18446604437545080640 0 0 -1 0 0 0 0
[pid=1897/tid=1903] ppid=1862 vsize=1481492 CPUtime=0
/proc/1897/task/1903/stat : 1903 (java) S 1862 1897 1897 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 89176545 1517047808 63740 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 0 0 0 0
[pid=1897/tid=1904] ppid=1862 vsize=1481492 CPUtime=0
/proc/1897/task/1904/stat : 1904 (java) S 1862 1897 1897 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 89176545 1517047808 63740 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 0 0 0 0
[pid=1897/tid=1905] ppid=1862 vsize=1481492 CPUtime=0
/proc/1897/task/1905/stat : 1905 (java) S 1862 1897 1897 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 89176549 1517047808 63740 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 0 0 0 0
[pid=1897/tid=1906] ppid=1862 vsize=1481492 CPUtime=1.11
/proc/1897/task/1906/stat : 1906 (java) S 1862 1897 1897 0 -1 4202560 1950 0 0 0 111 0 0 0 16 0 13 0 89176549 1517047808 63740 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 0 0 0 0
[pid=1897/tid=1907] ppid=1862 vsize=1481492 CPUtime=0.59
/proc/1897/task/1907/stat : 1907 (java) S 1862 1897 1897 0 -1 4202560 963 0 0 0 59 0 0 0 15 0 13 0 89176549 1517047808 63740 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 0 0 0 0
[pid=1897/tid=1908] ppid=1862 vsize=1481492 CPUtime=0
/proc/1897/task/1908/stat : 1908 (java) S 1862 1897 1897 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 89176549 1517047808 63740 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 0 0 0 0
[pid=1897/tid=1909] ppid=1862 vsize=1481492 CPUtime=0
/proc/1897/task/1909/stat : 1909 (java) S 1862 1897 1897 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 13 0 89176549 1517047808 63740 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 0 0 0 0
[pid=1897/tid=1910] ppid=1862 vsize=1481492 CPUtime=0
/proc/1897/task/1910/stat : 1910 (java) S 1862 1897 1897 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 89176796 1517047808 63740 1992294400 134512640 134550932 4289649776 18446744073709551615 4294960144 0 4 0 16800975 18446604437545080640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 300.72
Current children cumulated vsize (KiB) 1615612

[startup+342.302 s]
/proc/loadavg: 1.04 1.06 0.99 2/108 1917
/proc/meminfo: memFree=1516208/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134120 CPUtime=327.96
/proc/1862/stat : 1862 (python) S 1860 1862 1099 0 -1 4202496 19335 143498 0 1 2114 339 30156 187 15 0 1 0 89155982 137338880 6340 1992294400 4194304 4196484 140734162215840 18446744073709551615 263434579471 0 0 16781312 2 159688670771686094 0 0 17 0 0 0 0
/proc/1862/statm: 33530 6340 1143 1 0 5167 0
[pid=1917] ppid=1862 vsize=41560 CPUtime=36.66
/proc/1917/stat : 1917 (wbo1.4b) R 1862 1917 1917 0 -1 4202496 10243 0 0 0 3645 21 0 0 25 0 1 0 89186520 42557440 9902 1992294400 134512640 135751879 4290196448 18446744073709551615 134616540 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/1917/statm: 10390 9902 144 303 0 10085 0
Current children cumulated CPU time (s) 364.62
Current children cumulated vsize (KiB) 175680

[startup+402.302 s]
/proc/loadavg: 1.01 1.05 0.99 2/108 1919
/proc/meminfo: memFree=1431888/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134120 CPUtime=331.53
/proc/1862/stat : 1862 (python) S 1860 1862 1099 0 -1 4202496 19366 143498 0 1 2436 374 30156 187 15 0 1 0 89155982 137338880 6340 1992294400 4194304 4196484 140734162215840 18446744073709551615 263434579471 0 0 16781312 2 159688670771686094 0 0 17 0 0 0 0
/proc/1862/statm: 33530 6340 1143 1 0 5167 0
[pid=1917] ppid=1862 vsize=125992 CPUtime=96.28
/proc/1917/stat : 1917 (wbo1.4b) R 1862 1917 1917 0 -1 4202496 31299 0 0 0 9559 69 0 0 25 0 1 0 89186520 129015808 30958 1992294400 134512640 135751879 4290196448 18446744073709551615 134517421 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/1917/statm: 31498 30958 144 303 0 31193 0
Current children cumulated CPU time (s) 427.81
Current children cumulated vsize (KiB) 260112

[startup+462.301 s]
/proc/loadavg: 1.17 1.08 1.01 2/108 1934
/proc/meminfo: memFree=1548696/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134120 CPUtime=487.22
/proc/1862/stat : 1862 (python) S 1860 1862 1099 0 -1 4202496 24372 187268 0 1 2824 418 45203 277 16 0 1 0 89155982 137338880 6344 1992294400 4194304 4196484 140734162215840 18446744073709551615 263434579471 0 0 16781312 2 159688670771686094 0 0 17 0 0 0 0
/proc/1862/statm: 33530 6344 1143 1 0 5167 0
[pid=1934] ppid=1862 vsize=8964 CPUtime=4.21
/proc/1934/stat : 1934 (wbo1.4a) R 1862 1934 1934 0 -1 4202496 2120 0 0 0 419 2 0 0 25 0 1 0 89201790 9179136 1776 1992294400 134512640 135751879 4289910368 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/1934/statm: 2241 1776 139 303 0 1936 0
Current children cumulated CPU time (s) 491.43
Current children cumulated vsize (KiB) 143084

[startup+522.301 s]
/proc/loadavg: 1.14 1.08 1.01 2/120 1971
/proc/meminfo: memFree=1341892/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134120 CPUtime=512.48
/proc/1862/stat : 1862 (python) S 1860 1862 1099 0 -1 4202496 33009 201760 0 1 3226 472 47253 297 16 0 1 0 89155982 137338880 6346 1992294400 4194304 4196484 140734162215840 18446744073709551615 263434579471 0 0 16781312 2 159688670771686094 0 0 17 0 0 0 0
/proc/1862/statm: 33530 6346 1143 1 0 5167 0
[pid=1959] ppid=1862 vsize=1481372 CPUtime=43.65
/proc/1959/stat : 1959 (java) S 1862 1959 1959 0 -1 4202496 59314 0 1 0 4339 26 0 0 15 0 13 0 89203950 1516924928 54547 1992294400 134512640 134550932 4290939392 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1959/statm: 370343 54547 1438 10 0 367645 0
[pid=1959/tid=1960] ppid=1862 vsize=1481372 CPUtime=41.22
/proc/1959/task/1960/stat : 1960 (java) R 1862 1959 1959 0 -1 4202560 30957 0 1 0 4108 14 0 0 25 0 13 0 89203952 1516924928 54547 1992294400 134512640 134550932 4290939392 18446744073709551615 4109410481 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1959/tid=1961] ppid=1862 vsize=1481372 CPUtime=0.36
/proc/1959/task/1961/stat : 1961 (java) S 1862 1959 1959 0 -1 4202560 11928 0 0 0 32 4 0 0 16 0 13 0 89203953 1516924928 54547 1992294400 134512640 134550932 4290939392 18446744073709551615 4294960144 0 4 0 16800975 18446604437834780992 0 0 -1 1 0 0 0
[pid=1959/tid=1962] ppid=1862 vsize=1481372 CPUtime=0.34
/proc/1959/task/1962/stat : 1962 (java) S 1862 1959 1959 0 -1 4202560 11661 0 0 0 30 4 0 0 15 0 13 0 89203953 1516924928 54547 1992294400 134512640 134550932 4290939392 18446744073709551615 4294960144 0 4 0 16800975 18446604437834780992 0 0 -1 0 0 0 0
[pid=1959/tid=1963] ppid=1862 vsize=1481372 CPUtime=0
/proc/1959/task/1963/stat : 1963 (java) S 1862 1959 1959 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 13 0 89203955 1516924928 54547 1992294400 134512640 134550932 4290939392 18446744073709551615 4294960144 0 0 0 16800975 18446604437834780992 0 0 -1 1 0 0 0
[pid=1959/tid=1964] ppid=1862 vsize=1481372 CPUtime=0
/proc/1959/task/1964/stat : 1964 (java) S 1862 1959 1959 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 89203955 1516924928 54547 1992294400 134512640 134550932 4290939392 18446744073709551615 4294960144 0 4 0 16800975 18446604437834780992 0 0 -1 0 0 0 0
[pid=1959/tid=1965] ppid=1862 vsize=1481372 CPUtime=0
/proc/1959/task/1965/stat : 1965 (java) S 1862 1959 1959 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 89203955 1516924928 54547 1992294400 134512640 134550932 4290939392 18446744073709551615 4294960144 0 4 0 16800975 18446604437834780992 0 0 -1 0 0 0 0
[pid=1959/tid=1966] ppid=1862 vsize=1481372 CPUtime=0
/proc/1959/task/1966/stat : 1966 (java) S 1862 1959 1959 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 89203960 1516924928 54547 1992294400 134512640 134550932 4290939392 18446744073709551615 4294960144 0 4 0 16800975 18446604437834780992 0 0 -1 0 0 0 0
[pid=1959/tid=1967] ppid=1862 vsize=1481372 CPUtime=0.62
/proc/1959/task/1967/stat : 1967 (java) S 1862 1959 1959 0 -1 4202560 1104 0 0 0 62 0 0 0 15 0 13 0 89203960 1516924928 54547 1992294400 134512640 134550932 4290939392 18446744073709551615 4294960144 0 4 0 16800975 18446604437834780992 0 0 -1 1 0 0 0
[pid=1959/tid=1968] ppid=1862 vsize=1481372 CPUtime=1.04
/proc/1959/task/1968/stat : 1968 (java) S 1862 1959 1959 0 -1 4202560 2257 0 0 0 104 0 0 0 16 0 13 0 89203960 1516924928 54547 1992294400 134512640 134550932 4290939392 18446744073709551615 4294960144 0 4 0 16800975 18446604437834780992 0 0 -1 0 0 0 0
[pid=1959/tid=1969] ppid=1862 vsize=1481372 CPUtime=0
/proc/1959/task/1969/stat : 1969 (java) S 1862 1959 1959 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 89203960 1516924928 54547 1992294400 134512640 134550932 4290939392 18446744073709551615 4294960144 0 4 0 16800975 18446604437834780992 0 0 -1 0 0 0 0
[pid=1959/tid=1970] ppid=1862 vsize=1481372 CPUtime=0
/proc/1959/task/1970/stat : 1970 (java) S 1862 1959 1959 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 13 0 89203960 1516924928 54547 1992294400 134512640 134550932 4290939392 18446744073709551615 4294960144 0 4 0 16800975 18446604437834780992 0 0 -1 0 0 0 0
[pid=1959/tid=1971] ppid=1862 vsize=1481372 CPUtime=0
/proc/1959/task/1971/stat : 1971 (java) S 1862 1959 1959 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 13 0 89204181 1516924928 54547 1992294400 134512640 134550932 4290939392 18446744073709551615 4294960144 0 4 0 16800975 18446604437834780992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 556.13
Current children cumulated vsize (KiB) 1615492

[startup+582.302 s]
/proc/loadavg: 1.12 1.08 1.00 2/108 2008
/proc/meminfo: memFree=1531336/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134124 CPUtime=578.75
/proc/1862/stat : 1862 (python) R 1860 1862 1099 0 -1 4202496 41637 278077 0 2 3658 544 53327 346 16 0 1 0 89155982 137342976 6349 1992294400 4194304 4196484 140734162215840 18446744073709551615 263434615904 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1862/statm: 33530 6349 1143 1 0 5167 0
[pid=2000] ppid=1862 vsize=34268 CPUtime=41.29
/proc/2000/stat : 2000 (bsolo_pb10) R 1862 2000 2000 0 -1 4202496 6746 0 0 0 4118 11 0 0 25 0 1 0 89210056 35090432 6143 1992294400 134512640 137138936 4294173184 18446744073709551615 134542528 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/2000/statm: 8567 6143 192 642 0 7923 0
Current children cumulated CPU time (s) 620.04
Current children cumulated vsize (KiB) 168392

[startup+642.302 s]
/proc/loadavg: 1.08 1.08 1.00 2/108 2010
/proc/meminfo: memFree=1514348/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134120 CPUtime=683.36
/proc/1862/stat : 1862 (python) R 1860 1862 1099 0 -1 4202496 45312 293007 0 2 4003 603 63362 368 17 0 1 0 89155982 137338880 6350 1992294400 4194304 4196484 140734162215840 18446744073709551615 47066888997296 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1862/statm: 33530 6350 1143 1 0 5167 0
Current children cumulated CPU time (s) 683.36
Current children cumulated vsize (KiB) 134120

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

[startup+643.202 s]
/proc/loadavg: 1.08 1.08 1.00 2/108 2020
/proc/meminfo: memFree=1554152/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134120 CPUtime=684.28
/proc/1862/stat : 1862 (python) R 1860 1862 1099 0 -1 4202496 51509 300520 0 2 4070 615 63366 377 18 0 1 0 89155982 137338880 6351 1992294400 4194304 4196484 140734162215840 18446744073709551615 47066888986047 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1862/statm: 33531 6351 1143 1 0 5168 0
Current children cumulated CPU time (s) 684.28
Current children cumulated vsize (KiB) 134120

[startup+644.801 s]
/proc/loadavg: 1.07 1.08 1.00 2/107 2059
/proc/meminfo: memFree=1554036/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134252 CPUtime=685.9
/proc/1862/stat : 1862 (python) R 1860 1862 1099 0 -1 4202496 62696 314021 0 2 4190 635 63373 392 19 0 1 0 89155982 137474048 6355 1992294400 4194304 4196484 140734162215840 18446744073709551615 47066889366714 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1862/statm: 33563 6355 1143 1 0 5200 0
Current children cumulated CPU time (s) 685.9
Current children cumulated vsize (KiB) 134252

[startup+645.601 s]
/proc/loadavg: 1.07 1.08 1.00 2/107 2059
/proc/meminfo: memFree=1554036/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134252 CPUtime=686.7
/proc/1862/stat : 1862 (python) R 1860 1862 1099 0 -1 4202496 67672 319974 0 2 4250 646 63375 399 18 0 1 0 89155982 137474048 6356 1992294400 4194304 4196484 140734162215840 18446744073709551615 47066888988109 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1862/statm: 33563 6356 1143 1 0 5200 0
Current children cumulated CPU time (s) 686.7
Current children cumulated vsize (KiB) 134252

[startup+646.001 s]
/proc/loadavg: 1.07 1.08 1.00 2/108 2078
/proc/meminfo: memFree=1553904/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134252 CPUtime=687.11
/proc/1862/stat : 1862 (python) R 1860 1862 1099 0 -1 4202496 70165 322932 0 2 4281 650 63377 403 19 0 1 0 89155982 137474048 6357 1992294400 4194304 4196484 140734162215840 18446744073709551615 263434215344 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1862/statm: 33563 6357 1143 1 0 5200 0
Current children cumulated CPU time (s) 687.11
Current children cumulated vsize (KiB) 134252

[startup+646.201 s]
/proc/loadavg: 1.07 1.08 1.00 2/108 2078
/proc/meminfo: memFree=1553904/2059040 swapFree=4139944/4192956
[pid=1862] ppid=1860 vsize=134252 CPUtime=687.32
/proc/1862/stat : 1862 (python) S 1860 1862 1099 0 -1 4202496 71499 324920 0 2 4295 654 63378 405 20 0 1 0 89155982 137474048 6357 1992294400 4194304 4196484 140734162215840 18446744073709551615 263446389509 0 0 16781312 2 18446744071562232103 0 0 17 1 0 0 0
/proc/1862/statm: 33563 6357 1143 1 0 5200 0
Current children cumulated CPU time (s) 687.32
Current children cumulated vsize (KiB) 134252

Child status: 0
Real time (s): 646.284
CPU time (s): 687.422
CPU user time (s): 676.797
CPU system time (s): 10.6244
CPU usage (%): 106.365
Max. virtual memory (cumulated for all children) (KiB): 1616000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 676.797
system time used= 10.6244
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 402174
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= 7710
involuntary context switches= 16656

runsolver used 1.52577 second user time and 3.40548 second system time

The end

Launcher Data 

Begin job on node003 at 2010-06-21 17:52:00
IDJOB=2675877
IDBENCH=48320
IDSOLVER=1178
FILE ID=node003/2675877-1277135520
PBS_JOBID= 11182105
Free space on /tmp= 62504 MiB

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

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

MD5SUM BENCH= 9100923ff6d9c8d4da1b288858ed91b3
RANDOM SEED=1727039957

node003.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.251
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.251
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1577012 kB
Buffers:        129700 kB
Cached:         247600 kB
SwapCached:       5728 kB
Active:         239900 kB
Inactive:       150616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1577012 kB
SwapTotal:     4192956 kB
SwapFree:      4139944 kB
Dirty:           21780 kB
Writeback:           0 kB
AnonPages:       11616 kB
Mapped:          12820 kB
Slab:            69700 kB
PageTables:       3908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183900 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= 62484 MiB
End job on node003 at 2010-06-21 18:02:47