Trace number 2675903

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? 683.107 644.315

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_3_15.opb
MD5SUM318a02509ac7733b5c1657e14975af2b
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark5.13922
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)74920
Sum of products size (including duplicates)149840
Number of different products37460
Sum of products size74920

Solver Data 

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

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


[startup+0 s]
/proc/loadavg: 1.11 1.09 0.95 3/105 12951
/proc/meminfo: memFree=1729964/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=16712 CPUtime=0
/proc/12951/stat : 12951 (python) R 12949 12951 12320 0 -1 4202496 793 0 0 0 0 0 0 0 18 0 1 0 54865450 17113088 552 1992294400 4194304 4196484 140735611154224 18446744073709551615 258424049055 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12951/statm: 4178 552 295 1 0 274 0

[startup+0.0200109 s]
/proc/loadavg: 1.11 1.09 0.95 3/105 12951
/proc/meminfo: memFree=1729964/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=16668 CPUtime=0.01
/proc/12951/stat : 12951 (python) R 12949 12951 12320 0 -1 4202496 1229 0 0 0 0 1 0 0 18 0 1 0 54865450 17068032 274 1992294400 4194304 4196484 140734314276256 18446744073709551615 258407372496 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/12951/statm: 4167 284 195 1 0 147 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16668

[startup+0.101018 s]
/proc/loadavg: 1.11 1.09 0.95 3/105 12951
/proc/meminfo: memFree=1729964/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=34216 CPUtime=0.08
/proc/12951/stat : 12951 (python) R 12949 12951 12320 0 -1 4202496 2422 0 0 0 5 3 0 0 18 0 1 0 54865450 35037184 1394 1992294400 4194304 4196484 140734314276256 18446744073709551615 47904322962240 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12951/statm: 8554 1394 462 1 0 911 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34216

[startup+0.304061 s]
/proc/loadavg: 1.11 1.09 0.95 3/105 12951
/proc/meminfo: memFree=1729964/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=71760 CPUtime=0.26
/proc/12951/stat : 12951 (python) R 12949 12951 12320 0 -1 4202496 4327 0 0 0 19 7 0 0 18 0 1 0 54865450 73482240 3111 1992294400 4194304 4196484 140734314276256 18446744073709551615 47904323232728 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/12951/statm: 17940 3112 706 1 0 2427 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 71760

[startup+0.703094 s]
/proc/loadavg: 1.11 1.09 0.95 3/105 12951
/proc/meminfo: memFree=1729964/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=104292 CPUtime=0.63
/proc/12951/stat : 12951 (python) R 12949 12951 12320 0 -1 4202496 6243 930 0 0 43 20 0 0 18 0 1 0 54865450 106795008 4405 1992294400 4194304 4196484 140734314276256 18446744073709551615 258407681893 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12951/statm: 26073 4405 1028 1 0 3414 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 104292

[startup+1.50118 s]
/proc/loadavg: 1.11 1.09 0.95 2/106 12956
/proc/meminfo: memFree=1710240/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=134108 CPUtime=1.35
/proc/12951/stat : 12951 (python) R 12949 12951 12320 0 -1 4202496 11551 2383 0 0 99 34 0 2 19 0 1 0 54865450 137326592 6330 1992294400 4194304 4196484 140734314276256 18446744073709551615 47904323604398 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12951/statm: 33527 6330 1143 1 0 5164 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 134108

[startup+3.10136 s]
/proc/loadavg: 1.11 1.09 0.95 2/107 12963
/proc/meminfo: memFree=1692996/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=134108 CPUtime=1.66
/proc/12951/stat : 12951 (python) S 12949 12951 12320 0 -1 4202496 12693 3825 0 0 124 37 1 4 15 0 1 0 54865450 137326592 6332 1992294400 4194304 4196484 140734314276256 18446744073709551615 258407706127 0 0 16781312 2 159688670771686289 0 0 17 0 0 0 0
/proc/12951/statm: 33527 6332 1143 1 0 5164 0
[pid=12963] ppid=12951 vsize=20660 CPUtime=1.5
/proc/12963/stat : 12963 (wbo1.4a) R 12951 12963 12963 0 -1 4202496 4922 0 0 0 144 6 0 0 25 0 1 0 54865607 21155840 4179 1992294400 134512640 135751879 4287625760 18446744073709551615 134518941 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12963/statm: 5165 4179 138 303 0 4860 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 154768

[startup+6.30173 s]
/proc/loadavg: 1.10 1.09 0.95 2/107 12963
/proc/meminfo: memFree=1691508/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=134108 CPUtime=1.91
/proc/12951/stat : 12951 (python) S 12949 12951 12320 0 -1 4202496 12704 3825 0 0 148 38 1 4 15 0 1 0 54865450 137326592 6332 1992294400 4194304 4196484 140734314276256 18446744073709551615 258407706127 0 0 16781312 2 159688670771686289 0 0 17 0 0 0 0
/proc/12951/statm: 33527 6332 1143 1 0 5164 0
[pid=12963] ppid=12951 vsize=23168 CPUtime=4.69
/proc/12963/stat : 12963 (wbo1.4a) R 12951 12963 12963 0 -1 4202496 5569 0 0 0 461 8 0 0 25 0 1 0 54865607 23724032 4826 1992294400 134512640 135751879 4287625760 18446744073709551615 134606411 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12963/statm: 5792 4826 139 303 0 5487 0
Current children cumulated CPU time (s) 6.6
Current children cumulated vsize (KiB) 157276

[startup+12.7015 s]
/proc/loadavg: 1.09 1.08 0.95 2/107 12963
/proc/meminfo: memFree=1675636/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=134108 CPUtime=2.4
/proc/12951/stat : 12951 (python) S 12949 12951 12320 0 -1 4202496 12721 3825 0 0 195 40 1 4 15 0 1 0 54865450 137326592 6332 1992294400 4194304 4196484 140734314276256 18446744073709551615 258407706127 0 0 16781312 2 159688670771686289 0 0 17 0 0 0 0
/proc/12951/statm: 33527 6332 1143 1 0 5164 0
[pid=12963] ppid=12951 vsize=39012 CPUtime=11.04
/proc/12963/stat : 12963 (wbo1.4a) R 12951 12963 12963 0 -1 4202496 9520 0 0 0 1092 12 0 0 25 0 1 0 54865607 39948288 8777 1992294400 134512640 135751879 4287625760 18446744073709551615 134616497 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12963/statm: 9753 8777 139 303 0 9448 0
Current children cumulated CPU time (s) 13.44
Current children cumulated vsize (KiB) 173120

[startup+25.5009 s]
/proc/loadavg: 1.07 1.08 0.95 2/107 12963
/proc/meminfo: memFree=1662120/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=134108 CPUtime=3.18
/proc/12951/stat : 12951 (python) S 12949 12951 12320 0 -1 4202496 12748 3825 0 0 269 44 1 4 15 0 1 0 54865450 137326592 6332 1992294400 4194304 4196484 140734314276256 18446744073709551615 258407706127 0 0 16781312 2 159688670771686289 0 0 17 0 0 0 0
/proc/12951/statm: 33527 6332 1143 1 0 5164 0
[pid=12963] ppid=12951 vsize=51704 CPUtime=23.77
/proc/12963/stat : 12963 (wbo1.4a) R 12951 12963 12963 0 -1 4202496 12708 0 0 0 2361 16 0 0 25 0 1 0 54865607 52944896 11965 1992294400 134512640 135751879 4287625760 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12963/statm: 12926 11965 139 303 0 12621 0
Current children cumulated CPU time (s) 26.95
Current children cumulated vsize (KiB) 185812

[startup+51.1008 s]
/proc/loadavg: 1.05 1.07 0.95 2/107 12963
/proc/meminfo: memFree=1623680/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=134108 CPUtime=4.69
/proc/12951/stat : 12951 (python) S 12949 12951 12320 0 -1 4202496 12790 3825 0 0 412 52 1 4 15 0 1 0 54865450 137326592 6332 1992294400 4194304 4196484 140734314276256 18446744073709551615 258407706127 0 0 16781312 2 159688670771686289 0 0 17 0 0 0 0
/proc/12951/statm: 33527 6332 1143 1 0 5164 0
[pid=12963] ppid=12951 vsize=90932 CPUtime=49.21
/proc/12963/stat : 12963 (wbo1.4a) R 12951 12963 12963 0 -1 4202496 22505 0 0 0 4894 27 0 0 25 0 1 0 54865607 93114368 21762 1992294400 134512640 135751879 4287625760 18446744073709551615 134607126 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12963/statm: 22733 21762 139 303 0 22428 0
Current children cumulated CPU time (s) 53.9
Current children cumulated vsize (KiB) 225040

[startup+102.309 s]
/proc/loadavg: 1.02 1.06 0.95 2/107 12971
/proc/meminfo: memFree=1621076/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=134108 CPUtime=58.65
/proc/12951/stat : 12951 (python) S 12949 12951 12320 0 -1 4202496 15226 29565 0 0 720 83 5026 36 15 0 1 0 54865450 137326592 6334 1992294400 4194304 4196484 140734314276256 18446744073709551615 258407706127 0 0 16781312 2 159836005329808273 0 0 17 1 0 0 0
/proc/12951/statm: 33527 6334 1143 1 0 5164 0
[pid=12969] ppid=12951 vsize=92244 CPUtime=49.63
/proc/12969/stat : 12969 (wbo1.4a) R 12951 12969 12969 0 -1 4202496 22821 0 0 0 4940 23 0 0 25 0 1 0 54870714 94457856 22076 1992294400 134512640 135751879 4290183248 18446744073709551615 134616540 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/12969/statm: 23061 22076 139 303 0 22756 0
Current children cumulated CPU time (s) 108.28
Current children cumulated vsize (KiB) 226352

[startup+162.301 s]
/proc/loadavg: 1.07 1.07 0.96 2/107 12976
/proc/meminfo: memFree=1680224/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=134108 CPUtime=163.34
/proc/12951/stat : 12951 (python) S 12949 12951 12320 0 -1 4202496 16462 70537 0 0 1077 106 15074 77 15 0 1 0 54865450 137326592 6336 1992294400 4194304 4196484 140734314276256 18446744073709551615 258407706127 0 0 16781312 2 159688670771686289 0 0 17 0 0 0 0
/proc/12951/statm: 33527 6336 1143 1 0 5164 0
[pid=12976] ppid=12951 vsize=34220 CPUtime=8.64
/proc/12976/stat : 12976 (wbo1.4b) R 12951 12976 12976 0 -1 4202496 10757 0 0 0 853 11 0 0 25 0 1 0 54880809 35041280 7527 1992294400 134512640 135751879 4289855424 18446744073709551615 134516977 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12976/statm: 8555 7527 143 303 0 8250 0
Current children cumulated CPU time (s) 171.98
Current children cumulated vsize (KiB) 168328

[startup+222.301 s]
/proc/loadavg: 1.03 1.06 0.96 2/118 12992
/proc/meminfo: memFree=1669844/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=134108 CPUtime=217.71
/proc/12951/stat : 12951 (python) S 12949 12951 12320 0 -1 4202496 17794 97320 0 0 1428 132 20108 103 15 0 1 0 54865450 137326592 6337 1992294400 4194304 4196484 140734314276256 18446744073709551615 258407706127 0 0 16781312 2 159688670771686289 0 0 17 0 0 0 0
/proc/12951/statm: 33527 6337 1143 1 0 5164 0
[pid=12979] ppid=12951 vsize=1478184 CPUtime=18.58
/proc/12979/stat : 12979 (java) S 12951 12979 12979 0 -1 4202496 12491 0 1 0 1849 9 0 0 18 0 12 0 54885908 1513660416 11074 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12979/statm: 369546 11074 1418 10 0 366848 0
[pid=12979/tid=12980] ppid=12951 vsize=1478184 CPUtime=17.57
/proc/12979/task/12980/stat : 12980 (java) R 12951 12979 12979 0 -1 4202560 9154 0 1 0 1751 6 0 0 25 0 12 0 54885910 1513660416 11074 1992294400 134512640 134550932 4286965200 18446744073709551615 4108996048 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12979/tid=12981] ppid=12951 vsize=1478184 CPUtime=0
/proc/12979/task/12981/stat : 12981 (java) S 12951 12979 12979 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 12 0 54885911 1513660416 11074 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 4 0 16800975 18446604437823385664 0 0 -1 0 0 0 0
[pid=12979/tid=12982] ppid=12951 vsize=1478184 CPUtime=0
/proc/12979/task/12982/stat : 12982 (java) S 12951 12979 12979 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 12 0 54885911 1513660416 11074 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 4 0 16800975 18446604437823385664 0 0 -1 0 0 0 0
[pid=12979/tid=12983] ppid=12951 vsize=1478184 CPUtime=0
/proc/12979/task/12983/stat : 12983 (java) S 12951 12979 12979 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54885913 1513660416 11074 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 0 0 16800975 18446604437823385664 0 0 -1 1 0 0 0
[pid=12979/tid=12984] ppid=12951 vsize=1478184 CPUtime=0
/proc/12979/task/12984/stat : 12984 (java) S 12951 12979 12979 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 12 0 54885913 1513660416 11074 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 4 0 16800975 18446604437823385664 0 0 -1 0 0 0 0
[pid=12979/tid=12985] ppid=12951 vsize=1478184 CPUtime=0
/proc/12979/task/12985/stat : 12985 (java) S 12951 12979 12979 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 12 0 54885913 1513660416 11074 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 4 0 16800975 18446604437823385664 0 0 -1 0 0 0 0
[pid=12979/tid=12986] ppid=12951 vsize=1478184 CPUtime=0
/proc/12979/task/12986/stat : 12986 (java) S 12951 12979 12979 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 54885917 1513660416 11074 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 4 0 16800975 18446604437823385664 0 0 -1 0 0 0 0
[pid=12979/tid=12987] ppid=12951 vsize=1478184 CPUtime=0.44
/proc/12979/task/12987/stat : 12987 (java) S 12951 12979 12979 0 -1 4202560 425 0 0 0 44 0 0 0 15 0 12 0 54885917 1513660416 11074 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 4 0 16800975 18446604437823385664 0 0 -1 0 0 0 0
[pid=12979/tid=12988] ppid=12951 vsize=1478184 CPUtime=0.52
/proc/12979/task/12988/stat : 12988 (java) S 12951 12979 12979 0 -1 4202560 1549 0 0 0 52 0 0 0 15 0 12 0 54885918 1513660416 11074 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 4 0 16800975 18446604437823385664 0 0 -1 0 0 0 0
[pid=12979/tid=12989] ppid=12951 vsize=1478184 CPUtime=0
/proc/12979/task/12989/stat : 12989 (java) S 12951 12979 12979 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 54885918 1513660416 11074 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 4 0 16800975 18446604437823385664 0 0 -1 0 0 0 0
[pid=12979/tid=12990] ppid=12951 vsize=1478184 CPUtime=0
/proc/12979/task/12990/stat : 12990 (java) S 12951 12979 12979 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 12 0 54885918 1513660416 11074 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 4 0 16800975 18446604437823385664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 236.29
Current children cumulated vsize (KiB) 1612292

[startup+282.302 s]
/proc/loadavg: 1.01 1.05 0.96 2/118 12992
/proc/meminfo: memFree=1637480/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=134108 CPUtime=221.21
/proc/12951/stat : 12951 (python) S 12949 12951 12320 0 -1 4202496 17866 97320 0 0 1711 199 20108 103 15 0 1 0 54865450 137326592 6337 1992294400 4194304 4196484 140734314276256 18446744073709551615 258407706127 0 0 16781312 2 159688670771686289 0 0 17 0 0 0 0
/proc/12951/statm: 33527 6337 1143 1 0 5164 0
[pid=12979] ppid=12951 vsize=1478184 CPUtime=78.33
/proc/12979/stat : 12979 (java) S 12951 12979 12979 0 -1 4202496 20863 0 1 0 7819 14 0 0 18 0 12 0 54885908 1513660416 19220 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12979/statm: 369546 19220 1419 10 0 366848 0
[pid=12979/tid=12980] ppid=12951 vsize=1478184 CPUtime=77.01
/proc/12979/task/12980/stat : 12980 (java) R 12951 12979 12979 0 -1 4202560 17277 0 1 0 7689 12 0 0 25 0 12 0 54885910 1513660416 19220 1992294400 134512640 134550932 4286965200 18446744073709551615 4108996048 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12979/tid=12981] ppid=12951 vsize=1478184 CPUtime=0
/proc/12979/task/12981/stat : 12981 (java) S 12951 12979 12979 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 12 0 54885911 1513660416 19220 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 4 0 16800975 18446604437823385664 0 0 -1 0 0 0 0
[pid=12979/tid=12982] ppid=12951 vsize=1478184 CPUtime=0
/proc/12979/task/12982/stat : 12982 (java) S 12951 12979 12979 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 12 0 54885911 1513660416 19220 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 4 0 16800975 18446604437823385664 0 0 -1 0 0 0 0
[pid=12979/tid=12983] ppid=12951 vsize=1478184 CPUtime=0
/proc/12979/task/12983/stat : 12983 (java) S 12951 12979 12979 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54885913 1513660416 19220 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 0 0 16800975 18446604437823385664 0 0 -1 1 0 0 0
[pid=12979/tid=12984] ppid=12951 vsize=1478184 CPUtime=0
/proc/12979/task/12984/stat : 12984 (java) S 12951 12979 12979 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 12 0 54885913 1513660416 19220 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 4 0 16800975 18446604437823385664 0 0 -1 0 0 0 0
[pid=12979/tid=12985] ppid=12951 vsize=1478184 CPUtime=0
/proc/12979/task/12985/stat : 12985 (java) S 12951 12979 12979 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 12 0 54885913 1513660416 19220 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 4 0 16800975 18446604437823385664 0 0 -1 0 0 0 0
[pid=12979/tid=12986] ppid=12951 vsize=1478184 CPUtime=0
/proc/12979/task/12986/stat : 12986 (java) S 12951 12979 12979 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 54885917 1513660416 19220 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 4 0 16800975 18446604437823385664 0 0 -1 0 0 0 0
[pid=12979/tid=12987] ppid=12951 vsize=1478184 CPUtime=0.59
/proc/12979/task/12987/stat : 12987 (java) S 12951 12979 12979 0 -1 4202560 438 0 0 0 59 0 0 0 16 0 12 0 54885917 1513660416 19220 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 4 0 16800975 18446604437823385664 0 0 -1 1 0 0 0
[pid=12979/tid=12988] ppid=12951 vsize=1478184 CPUtime=0.7
/proc/12979/task/12988/stat : 12988 (java) S 12951 12979 12979 0 -1 4202560 1781 0 0 0 70 0 0 0 16 0 12 0 54885918 1513660416 19220 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 4 0 16800975 18446604437823385664 0 0 -1 0 0 0 0
[pid=12979/tid=12989] ppid=12951 vsize=1478184 CPUtime=0
/proc/12979/task/12989/stat : 12989 (java) S 12951 12979 12979 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 54885918 1513660416 19220 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 4 0 16800975 18446604437823385664 0 0 -1 0 0 0 0
[pid=12979/tid=12990] ppid=12951 vsize=1478184 CPUtime=0
/proc/12979/task/12990/stat : 12990 (java) S 12951 12979 12979 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 12 0 54885918 1513660416 19220 1992294400 134512640 134550932 4286965200 18446744073709551615 4294960144 0 4 0 16800975 18446604437823385664 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 299.54
Current children cumulated vsize (KiB) 1612292

[startup+342.301 s]
/proc/loadavg: 1.00 1.03 0.96 3/107 12997
/proc/meminfo: memFree=1642900/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=134108 CPUtime=325.4
/proc/12951/stat : 12951 (python) S 12949 12951 12320 0 -1 4202496 19180 121500 0 1 2059 245 30114 122 16 0 1 0 54865450 137326592 6339 1992294400 4194304 4196484 140734314276256 18446744073709551615 258407706127 0 0 16781312 2 159688670771686289 0 0 17 0 0 0 0
/proc/12951/statm: 33527 6339 1143 1 0 5164 0
[pid=12997] ppid=12951 vsize=70280 CPUtime=37.68
/proc/12997/stat : 12997 (wbo1.4b) R 12951 12997 12997 0 -1 4202496 19771 0 0 0 3750 18 0 0 25 0 1 0 54895885 71966720 16540 1992294400 134512640 135751879 4290277840 18446744073709551615 134616514 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12997/statm: 17570 16540 144 303 0 17265 0
Current children cumulated CPU time (s) 363.08
Current children cumulated vsize (KiB) 204388

[startup+402.301 s]
/proc/loadavg: 1.00 1.03 0.96 2/107 13008
/proc/meminfo: memFree=1560316/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=134108 CPUtime=328.93
/proc/12951/stat : 12951 (python) S 12949 12951 12320 0 -1 4202496 19205 121500 0 1 2390 267 30114 122 15 0 1 0 54865450 137326592 6339 1992294400 4194304 4196484 140734314276256 18446744073709551615 258407706127 0 0 16781312 2 159688670771686289 0 0 17 0 0 0 0
/proc/12951/statm: 33527 6339 1143 1 0 5164 0
[pid=12997] ppid=12951 vsize=155072 CPUtime=97.27
/proc/12997/stat : 12997 (wbo1.4b) R 12951 12997 12997 0 -1 4202496 40945 0 0 0 9691 36 0 0 25 0 1 0 54895885 158793728 37714 1992294400 134512640 135751879 4290277840 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12997/statm: 38768 37714 144 303 0 38463 0
Current children cumulated CPU time (s) 426.2
Current children cumulated vsize (KiB) 289180

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 0.96 2/107 13022
/proc/meminfo: memFree=1687540/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=134108 CPUtime=484.17
/proc/12951/stat : 12951 (python) S 12949 12951 12320 0 -1 4202496 24069 179859 0 1 2734 340 45170 173 15 0 1 0 54865450 137326592 6342 1992294400 4194304 4196484 140734314276256 18446744073709551615 258407706127 0 0 16781312 2 159836005329808273 0 0 17 1 0 0 0
/proc/12951/statm: 33527 6342 1143 1 0 5164 0
[pid=13022] ppid=12951 vsize=26596 CPUtime=5.53
/proc/13022/stat : 13022 (wbo1.4a) R 12951 13022 13022 0 -1 4202496 6438 0 0 0 544 9 0 0 25 0 1 0 54911125 27234304 5691 1992294400 134512640 135751879 4289893216 18446744073709551615 134517414 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/13022/statm: 6649 5691 139 303 0 6344 0
Current children cumulated CPU time (s) 489.7
Current children cumulated vsize (KiB) 160704

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 0.96 2/118 13056
/proc/meminfo: memFree=1654036/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=134108 CPUtime=509.27
/proc/12951/stat : 12951 (python) S 12949 12951 12320 0 -1 4202496 32504 209449 0 1 3137 384 47204 202 15 0 1 0 54865450 137326592 6344 1992294400 4194304 4196484 140734314276256 18446744073709551615 258407706127 0 0 16781312 2 159836005329808273 0 0 17 1 0 0 0
/proc/12951/statm: 33527 6344 1143 1 0 5164 0
[pid=13043] ppid=12951 vsize=1477756 CPUtime=44.69
/proc/13043/stat : 13043 (java) S 12951 13043 13043 0 -1 4202496 16202 0 1 0 4457 12 0 0 20 0 12 0 54913274 1513222144 14908 1992294400 134512640 134550932 4290864224 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13043/statm: 369439 14908 1417 10 0 366741 0
[pid=13043/tid=13044] ppid=12951 vsize=1477756 CPUtime=43.44
/proc/13043/task/13044/stat : 13044 (java) R 12951 13043 13043 0 -1 4202560 13091 0 1 0 4334 10 0 0 25 0 12 0 54913276 1513222144 14908 1992294400 134512640 134550932 4290864224 18446744073709551615 4109128848 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13043/tid=13045] ppid=12951 vsize=1477756 CPUtime=0
/proc/13043/task/13045/stat : 13045 (java) S 12951 13043 13043 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 12 0 54913277 1513222144 14908 1992294400 134512640 134550932 4290864224 18446744073709551615 4294960144 0 4 0 16800975 18446604437828967296 0 0 -1 1 0 0 0
[pid=13043/tid=13046] ppid=12951 vsize=1477756 CPUtime=0
/proc/13043/task/13046/stat : 13046 (java) S 12951 13043 13043 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 54913277 1513222144 14908 1992294400 134512640 134550932 4290864224 18446744073709551615 4294960144 0 4 0 16800975 18446604437828967296 0 0 -1 1 0 0 0
[pid=13043/tid=13047] ppid=12951 vsize=1477756 CPUtime=0
/proc/13043/task/13047/stat : 13047 (java) S 12951 13043 13043 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54913279 1513222144 14908 1992294400 134512640 134550932 4290864224 18446744073709551615 4294960144 0 0 0 16800975 18446604437828967296 0 0 -1 1 0 0 0
[pid=13043/tid=13048] ppid=12951 vsize=1477756 CPUtime=0
/proc/13043/task/13048/stat : 13048 (java) S 12951 13043 13043 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 12 0 54913279 1513222144 14908 1992294400 134512640 134550932 4290864224 18446744073709551615 4294960144 0 4 0 16800975 18446604437828967296 0 0 -1 0 0 0 0
[pid=13043/tid=13049] ppid=12951 vsize=1477756 CPUtime=0
/proc/13043/task/13049/stat : 13049 (java) S 12951 13043 13043 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 12 0 54913279 1513222144 14908 1992294400 134512640 134550932 4290864224 18446744073709551615 4294960144 0 4 0 16800975 18446604437828967296 0 0 -1 0 0 0 0
[pid=13043/tid=13050] ppid=12951 vsize=1477756 CPUtime=0
/proc/13043/task/13050/stat : 13050 (java) S 12951 13043 13043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 54913284 1513222144 14908 1992294400 134512640 134550932 4290864224 18446744073709551615 4294960144 0 4 0 16800975 18446604437828967296 0 0 -1 0 0 0 0
[pid=13043/tid=13051] ppid=12951 vsize=1477756 CPUtime=0.66
/proc/13043/task/13051/stat : 13051 (java) S 12951 13043 13043 0 -1 4202560 1276 0 0 0 66 0 0 0 16 0 12 0 54913284 1513222144 14908 1992294400 134512640 134550932 4290864224 18446744073709551615 4294960144 0 4 0 16800975 18446604437828967296 0 0 -1 0 0 0 0
[pid=13043/tid=13052] ppid=12951 vsize=1477756 CPUtime=0.55
/proc/13043/task/13052/stat : 13052 (java) S 12951 13043 13043 0 -1 4202560 475 0 0 0 55 0 0 0 16 0 12 0 54913284 1513222144 14908 1992294400 134512640 134550932 4290864224 18446744073709551615 4294960144 0 4 0 16800975 18446604437828967296 0 0 -1 0 0 0 0
[pid=13043/tid=13053] ppid=12951 vsize=1477756 CPUtime=0
/proc/13043/task/13053/stat : 13053 (java) S 12951 13043 13043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 54913284 1513222144 14908 1992294400 134512640 134550932 4290864224 18446744073709551615 4294960144 0 4 0 16800975 18446604437828967296 0 0 -1 0 0 0 0
[pid=13043/tid=13054] ppid=12951 vsize=1477756 CPUtime=0
/proc/13043/task/13054/stat : 13054 (java) S 12951 13043 13043 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54913284 1513222144 14908 1992294400 134512640 134550932 4290864224 18446744073709551615 4294960144 0 4 0 16800975 18446604437828967296 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 553.96
Current children cumulated vsize (KiB) 1611864

[startup+582.301 s]
/proc/loadavg: 1.12 1.05 0.97 2/107 13077
/proc/meminfo: memFree=1666772/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=134108 CPUtime=574.98
/proc/12951/stat : 12951 (python) S 12949 12951 12320 0 -1 4202496 40996 247448 0 2 3538 453 53267 240 15 0 1 0 54865450 137326592 6347 1992294400 4194304 4196484 140734314276256 18446744073709551615 258407706127 0 0 16781312 2 159688670771686289 0 0 17 0 0 0 0
/proc/12951/statm: 33527 6347 1143 1 0 5164 0
[pid=13077] ppid=12951 vsize=52396 CPUtime=42.7
/proc/13077/stat : 13077 (bsolo_pb10) R 12951 13077 13077 0 -1 4202496 11137 0 0 0 4264 6 0 0 25 0 1 0 54919408 53653504 10405 1992294400 134512640 137138936 4292680624 18446744073709551615 134542128 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/13077/statm: 13099 10405 185 642 0 12455 0
Current children cumulated CPU time (s) 617.68
Current children cumulated vsize (KiB) 186504

[startup+642.301 s]
/proc/loadavg: 1.04 1.04 0.97 2/107 13118
/proc/meminfo: memFree=1707072/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=134108 CPUtime=681.05
/proc/12951/stat : 12951 (python) R 12949 12951 12320 0 -1 4202496 56714 277630 0 2 3977 545 63313 270 18 0 1 0 54865450 137326592 6351 1992294400 4194304 4196484 140734314276256 18446744073709551615 258407729287 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/12951/statm: 33527 6351 1143 1 0 5164 0
[pid=13118] ppid=12951 vsize=0 CPUtime=0
/proc/13118/stat : 13118 (clasp-1.3.3-x86) Z 12951 13118 13118 0 -1 4202524 531 0 0 0 0 0 0 0 21 0 1 0 54929669 0 0 1992294400 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 0 0 0 0
/proc/13118/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 681.05
Current children cumulated vsize (KiB) 134108

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

[startup+643.101 s]
/proc/loadavg: 1.04 1.04 0.97 2/107 13118
/proc/meminfo: memFree=1707072/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=134244 CPUtime=681.86
/proc/12951/stat : 12951 (python) R 12949 12951 12320 0 -1 4202496 62787 285061 0 2 4037 554 63317 278 18 0 1 0 54865450 137465856 6352 1992294400 4194304 4196484 140734314276256 18446744073709551615 258407685888 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/12951/statm: 33560 6352 1143 1 0 5197 0
Current children cumulated CPU time (s) 681.86
Current children cumulated vsize (KiB) 134244

[startup+643.901 s]
/proc/loadavg: 1.04 1.04 0.97 2/106 13139
/proc/meminfo: memFree=1706824/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=134240 CPUtime=682.67
/proc/12951/stat : 12951 (python) R 12949 12951 12320 0 -1 4202496 67839 292493 0 2 4097 563 63320 287 25 0 1 0 54865450 137461760 6353 1992294400 4194304 4196484 140734314276256 18446744073709551615 258407685776 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12951/statm: 33560 6353 1143 1 0 5197 0
Current children cumulated CPU time (s) 682.67
Current children cumulated vsize (KiB) 134240

[startup+644.301 s]
/proc/loadavg: 1.04 1.04 0.97 2/106 13139
/proc/meminfo: memFree=1706824/2059040 swapFree=4140380/4192956
[pid=12951] ppid=12949 vsize=134236 CPUtime=683.07
/proc/12951/stat : 12951 (python) R 12949 12951 12320 0 -1 4202496 74523 295442 0 2 4128 568 63321 290 25 0 1 0 54865450 137457664 6354 1992294400 4194304 4196484 140734314276256 18446744073709551615 47904323127818 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/12951/statm: 33559 6354 1143 1 0 5196 0
Current children cumulated CPU time (s) 683.07
Current children cumulated vsize (KiB) 134236

Child status: 0
Real time (s): 644.315
CPU time (s): 683.107
CPU user time (s): 674.508
CPU system time (s): 8.59869
CPU usage (%): 106.021
Max. virtual memory (cumulated for all children) (KiB): 1612540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 674.508
system time used= 8.59869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 370319
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= 6860
involuntary context switches= 12212

runsolver used 1.15482 second user time and 3.16552 second system time

The end

Launcher Data 

Begin job on node085 at 2010-06-21 17:55:16
IDJOB=2675903
IDBENCH=48346
IDSOLVER=1178
FILE ID=node085/2675903-1277135716
PBS_JOBID= 11182067
Free space on /tmp= 121824 MiB

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

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

MD5SUM BENCH= 318a02509ac7733b5c1657e14975af2b
RANDOM SEED=124525560

node085.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.221
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.44
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.221
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	: 5999.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1730492 kB
Buffers:         38088 kB
Cached:         203008 kB
SwapCached:       5868 kB
Active:         163532 kB
Inactive:        91036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1730492 kB
SwapTotal:     4192956 kB
SwapFree:      4140380 kB
Dirty:           22416 kB
Writeback:           0 kB
AnonPages:       11544 kB
Mapped:          12956 kB
Slab:            52228 kB
PageTables:       3908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182644 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= 121804 MiB
End job on node085 at 2010-06-21 18:06:01