Trace number 2675927

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.461 644.135

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_1_15.opb
MD5SUM47b7632eb38157f4d5f97020bef38ed5
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 benchmark2.05569
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)31432
Sum of products size (including duplicates)62864
Number of different products15716
Sum of products size31432

Solver Data 

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

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.38 1.13 0.95 3/106 12956
/proc/meminfo: memFree=1562208/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=16708 CPUtime=0
/proc/12956/stat : 12956 (python) R 12954 12956 12581 0 -1 4202496 729 0 0 0 0 0 0 0 18 0 1 0 54876828 17108992 494 1992294400 4194304 4196484 140735079190768 18446744073709551615 213104669381 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/12956/statm: 4177 496 272 1 0 273 0

[startup+0.0685301 s]
/proc/loadavg: 1.38 1.13 0.95 3/106 12956
/proc/meminfo: memFree=1562208/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=18488 CPUtime=0.05
/proc/12956/stat : 12956 (python) R 12954 12956 12581 0 -1 4202496 2066 0 0 0 3 2 0 0 17 0 1 0 54876828 18931712 1068 1992294400 4194304 4196484 140737318668096 18446744073709551615 47702409080083 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12956/statm: 4622 1068 423 1 0 602 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18488

[startup+0.101528 s]
/proc/loadavg: 1.38 1.13 0.95 3/106 12956
/proc/meminfo: memFree=1562208/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=32156 CPUtime=0.08
/proc/12956/stat : 12956 (python) R 12954 12956 12581 0 -1 4202496 2380 0 0 0 5 3 0 0 17 0 1 0 54876828 32927744 1357 1992294400 4194304 4196484 140737318668096 18446744073709551615 47702408841152 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12956/statm: 8039 1359 459 1 0 911 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32156

[startup+0.300517 s]
/proc/loadavg: 1.38 1.13 0.95 3/106 12956
/proc/meminfo: memFree=1562208/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=70596 CPUtime=0.23
/proc/12956/stat : 12956 (python) R 12954 12956 12581 0 -1 4202496 3969 0 0 0 15 8 0 0 17 0 1 0 54876828 72290304 2805 1992294400 4194304 4196484 140737318668096 18446744073709551615 47702408813964 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12956/statm: 17649 2807 693 1 0 2136 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 70596

[startup+0.700495 s]
/proc/loadavg: 1.38 1.13 0.95 3/106 12956
/proc/meminfo: memFree=1562208/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=98784 CPUtime=0.51
/proc/12956/stat : 12956 (python) R 12954 12956 12581 0 -1 4202496 4867 0 0 0 31 20 0 0 16 0 1 0 54876828 101154816 3579 1992294400 4194304 4196484 140737318668096 18446744073709551615 213105004549 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12956/statm: 24696 3579 1022 1 0 2553 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 98784

[startup+1.50245 s]
/proc/loadavg: 1.38 1.13 0.95 1/107 12961
/proc/meminfo: memFree=1545212/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=119652 CPUtime=1.03
/proc/12956/stat : 12956 (python) R 12954 12956 12581 0 -1 4202496 9070 928 0 0 71 32 0 0 16 0 1 0 54876828 122523648 6204 1992294400 4194304 4196484 140737318668096 18446744073709551615 47702408827480 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12956/statm: 29913 6205 1063 1 0 5167 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 119652

[startup+3.10036 s]
/proc/loadavg: 1.35 1.13 0.95 3/108 12968
/proc/meminfo: memFree=1533796/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=134104 CPUtime=1.61
/proc/12956/stat : 12956 (python) S 12954 12956 12581 0 -1 4202496 12681 3807 0 0 117 40 1 3 15 0 1 0 54876828 137322496 6330 1992294400 4194304 4196484 140737318668096 18446744073709551615 213105028623 0 0 16781312 2 159688670771686242 0 0 17 0 0 0 0
/proc/12956/statm: 33526 6330 1143 1 0 5163 0
[pid=12968] ppid=12956 vsize=10756 CPUtime=1.13
/proc/12968/stat : 12968 (wbo1.4a) R 12956 12968 12968 0 -1 4202496 2477 0 0 0 110 3 0 0 19 0 1 0 54877023 11014144 2036 1992294400 134512640 135751879 4291805632 18446744073709551615 134611206 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12968/statm: 2689 2036 138 303 0 2384 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 144860

[startup+6.30019 s]
/proc/loadavg: 1.35 1.13 0.95 2/108 12968
/proc/meminfo: memFree=1532060/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=134104 CPUtime=1.79
/proc/12956/stat : 12956 (python) S 12954 12956 12581 0 -1 4202496 12692 3807 0 0 133 42 1 3 15 0 1 0 54876828 137322496 6330 1992294400 4194304 4196484 140737318668096 18446744073709551615 213105028623 0 0 16781312 2 159688670771686242 0 0 17 0 0 0 0
/proc/12956/statm: 33526 6330 1143 1 0 5163 0
[pid=12968] ppid=12956 vsize=11524 CPUtime=4.32
/proc/12968/stat : 12968 (wbo1.4a) R 12956 12968 12968 0 -1 4202496 2650 0 0 0 427 5 0 0 25 0 1 0 54877023 11800576 2209 1992294400 134512640 135751879 4291805632 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12968/statm: 2881 2209 138 303 0 2576 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 145628

[startup+12.7008 s]
/proc/loadavg: 1.29 1.12 0.95 2/108 12968
/proc/meminfo: memFree=1516560/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=134104 CPUtime=2.31
/proc/12956/stat : 12956 (python) S 12954 12956 12581 0 -1 4202496 12711 3807 0 0 179 48 1 3 15 0 1 0 54876828 137322496 6330 1992294400 4194304 4196484 140737318668096 18446744073709551615 213105028623 0 0 16781312 2 159688670771686242 0 0 17 0 0 0 0
/proc/12956/statm: 33526 6330 1143 1 0 5163 0
[pid=12968] ppid=12956 vsize=29132 CPUtime=10.67
/proc/12968/stat : 12968 (wbo1.4a) R 12956 12968 12968 0 -1 4202496 7062 0 0 0 1058 9 0 0 25 0 1 0 54877023 29831168 6621 1992294400 134512640 135751879 4291805632 18446744073709551615 134517421 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12968/statm: 7283 6621 139 303 0 6978 0
Current children cumulated CPU time (s) 12.98
Current children cumulated vsize (KiB) 163236

[startup+25.5001 s]
/proc/loadavg: 1.25 1.12 0.95 2/108 12968
/proc/meminfo: memFree=1498580/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=134104 CPUtime=3.09
/proc/12956/stat : 12956 (python) S 12954 12956 12581 0 -1 4202496 12739 3807 0 0 248 57 1 3 16 0 1 0 54876828 137322496 6330 1992294400 4194304 4196484 140737318668096 18446744073709551615 213105028623 0 0 16781312 2 17716914643470909440 0 0 17 0 0 0 0
/proc/12956/statm: 33526 6330 1143 1 0 5163 0
[pid=12968] ppid=12956 vsize=46036 CPUtime=23.38
/proc/12968/stat : 12968 (wbo1.4a) R 12956 12968 12968 0 -1 4202496 11272 0 0 0 2326 12 0 0 25 0 1 0 54877023 47140864 10831 1992294400 134512640 135751879 4291805632 18446744073709551615 134516976 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12968/statm: 11509 10831 139 303 0 11204 0
Current children cumulated CPU time (s) 26.47
Current children cumulated vsize (KiB) 180140

[startup+51.1007 s]
/proc/loadavg: 1.16 1.11 0.95 3/108 12968
/proc/meminfo: memFree=1453072/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=134104 CPUtime=4.62
/proc/12956/stat : 12956 (python) S 12954 12956 12581 0 -1 4202496 12776 3807 0 0 385 73 1 3 15 0 1 0 54876828 137322496 6330 1992294400 4194304 4196484 140737318668096 18446744073709551615 213105028623 0 0 16781312 2 159688670771686242 0 0 17 0 0 0 0
/proc/12956/statm: 33526 6330 1143 1 0 5163 0
[pid=12968] ppid=12956 vsize=91672 CPUtime=48.82
/proc/12968/stat : 12968 (wbo1.4a) R 12956 12968 12968 0 -1 4202496 22688 0 0 0 4860 22 0 0 25 0 1 0 54877023 93872128 22247 1992294400 134512640 135751879 4291805632 18446744073709551615 134616516 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12968/statm: 22918 22247 139 303 0 22613 0
Current children cumulated CPU time (s) 53.44
Current children cumulated vsize (KiB) 225776

[startup+102.31 s]
/proc/loadavg: 1.14 1.10 0.96 2/108 12976
/proc/meminfo: memFree=1451460/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=134104 CPUtime=58.52
/proc/12956/stat : 12956 (python) S 12954 12956 12581 0 -1 4202496 15254 31081 0 0 697 110 5014 31 16 0 1 0 54876828 137322496 6332 1992294400 4194304 4196484 140737318668096 18446744073709551615 213105028623 0 0 16781312 2 159688670771686242 0 0 17 0 0 0 0
/proc/12956/statm: 33526 6332 1143 1 0 5163 0
[pid=12974] ppid=12956 vsize=93348 CPUtime=49.14
/proc/12974/stat : 12974 (wbo1.4a) R 12956 12974 12974 0 -1 4202496 23103 0 0 0 4895 19 0 0 25 0 1 0 54882114 95588352 22659 1992294400 134512640 135751879 4289930880 18446744073709551615 134606623 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/12974/statm: 23337 22659 139 303 0 23032 0
Current children cumulated CPU time (s) 107.66
Current children cumulated vsize (KiB) 227452

[startup+162.302 s]
/proc/loadavg: 1.05 1.08 0.96 2/108 12981
/proc/meminfo: memFree=1523504/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=134104 CPUtime=163.16
/proc/12956/stat : 12956 (python) S 12954 12956 12581 0 -1 4202496 16492 73323 0 0 1048 152 15046 70 15 0 1 0 54876828 137322496 6334 1992294400 4194304 4196484 140737318668096 18446744073709551615 213105028623 0 0 16781312 2 159688670771686242 0 0 17 0 0 0 0
/proc/12956/statm: 33526 6334 1143 1 0 5163 0
[pid=12981] ppid=12956 vsize=23316 CPUtime=8
/proc/12981/stat : 12981 (wbo1.4b) R 12956 12981 12981 0 -1 4202496 6616 0 0 0 794 6 0 0 25 0 1 0 54892252 23875584 5161 1992294400 134512640 135751879 4286610032 18446744073709551615 134516986 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12981/statm: 5829 5161 143 303 0 5524 0
Current children cumulated CPU time (s) 171.16
Current children cumulated vsize (KiB) 157420

[startup+222.302 s]
/proc/loadavg: 1.14 1.11 0.98 2/119 12997
/proc/meminfo: memFree=1495520/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=134104 CPUtime=217.27
/proc/12956/stat : 12956 (python) S 12954 12956 12581 0 -1 4202496 17802 99193 0 0 1382 196 20056 93 15 0 1 0 54876828 137322496 6335 1992294400 4194304 4196484 140737318668096 18446744073709551615 213105028623 0 0 16781312 2 159836005329808226 0 0 17 1 0 0 0
/proc/12956/statm: 33526 6335 1143 1 0 5163 0
[pid=12984] ppid=12956 vsize=1477844 CPUtime=18.16
/proc/12984/stat : 12984 (java) S 12956 12984 12984 0 -1 4202496 14514 0 1 0 1807 9 0 0 15 0 12 0 54897325 1513312256 12678 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12984/statm: 369461 12678 1418 10 0 366763 0
[pid=12984/tid=12985] ppid=12956 vsize=1477844 CPUtime=17.09
/proc/12984/task/12985/stat : 12985 (java) R 12956 12984 12984 0 -1 4202560 10812 0 1 0 1703 6 0 0 25 0 12 0 54897327 1513312256 12678 1992294400 134512640 134550932 4290149680 18446744073709551615 4109551842 0 4 0 16800975 0 0 0 -1 1 0 0 1
[pid=12984/tid=12986] ppid=12956 vsize=1477844 CPUtime=0
/proc/12984/task/12986/stat : 12986 (java) S 12956 12984 12984 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 12 0 54897328 1513312256 12678 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 4 0 16800975 18446604437829557312 0 0 -1 0 0 0 0
[pid=12984/tid=12987] ppid=12956 vsize=1477844 CPUtime=0
/proc/12984/task/12987/stat : 12987 (java) S 12956 12984 12984 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 12 0 54897328 1513312256 12678 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 4 0 16800975 18446604437829557312 0 0 -1 0 0 0 0
[pid=12984/tid=12988] ppid=12956 vsize=1477844 CPUtime=0
/proc/12984/task/12988/stat : 12988 (java) S 12956 12984 12984 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54897330 1513312256 12678 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 0 0 16800975 18446604437829557312 0 0 -1 0 0 0 0
[pid=12984/tid=12989] ppid=12956 vsize=1477844 CPUtime=0
/proc/12984/task/12989/stat : 12989 (java) S 12956 12984 12984 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 54897330 1513312256 12678 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 4 0 16800975 18446604437829557312 0 0 -1 0 0 0 0
[pid=12984/tid=12990] ppid=12956 vsize=1477844 CPUtime=0
/proc/12984/task/12990/stat : 12990 (java) S 12956 12984 12984 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 54897330 1513312256 12678 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 4 0 16800975 18446604437829557312 0 0 -1 0 0 0 0
[pid=12984/tid=12991] ppid=12956 vsize=1477844 CPUtime=0
/proc/12984/task/12991/stat : 12991 (java) S 12956 12984 12984 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 54897335 1513312256 12678 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 4 0 16800975 18446604437829557312 0 0 -1 0 0 0 0
[pid=12984/tid=12992] ppid=12956 vsize=1477844 CPUtime=0.47
/proc/12984/task/12992/stat : 12992 (java) S 12956 12984 12984 0 -1 4202560 1285 0 0 0 47 0 0 0 15 0 12 0 54897335 1513312256 12678 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 4 0 16800975 18446604437829557312 0 0 -1 0 0 0 0
[pid=12984/tid=12993] ppid=12956 vsize=1477844 CPUtime=0.56
/proc/12984/task/12993/stat : 12993 (java) S 12956 12984 12984 0 -1 4202560 1067 0 0 0 56 0 0 0 16 0 12 0 54897335 1513312256 12678 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 4 0 16800975 18446604437829557312 0 0 -1 1 0 0 0
[pid=12984/tid=12994] ppid=12956 vsize=1477844 CPUtime=0
/proc/12984/task/12994/stat : 12994 (java) S 12956 12984 12984 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 54897335 1513312256 12678 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 4 0 16800975 18446604437829557312 0 0 -1 0 0 0 0
[pid=12984/tid=12995] ppid=12956 vsize=1477844 CPUtime=0
/proc/12984/task/12995/stat : 12995 (java) S 12956 12984 12984 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 12 0 54897335 1513312256 12678 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 4 0 16800975 18446604437829557312 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 235.43
Current children cumulated vsize (KiB) 1611948

[startup+282.302 s]
/proc/loadavg: 1.05 1.08 0.98 3/119 13006
/proc/meminfo: memFree=1432900/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=134104 CPUtime=221
/proc/12956/stat : 12956 (python) S 12954 12956 12581 0 -1 4202496 17870 99193 0 0 1702 249 20056 93 15 0 1 0 54876828 137322496 6335 1992294400 4194304 4196484 140737318668096 18446744073709551615 213105028623 0 0 16781312 2 159836005329808226 0 0 17 1 0 0 0
/proc/12956/statm: 33526 6335 1143 1 0 5163 0
[pid=12984] ppid=12956 vsize=1477844 CPUtime=77.91
/proc/12984/stat : 12984 (java) S 12956 12984 12984 0 -1 4202496 30376 0 1 0 7771 20 0 0 15 0 12 0 54897325 1513312256 28480 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12984/statm: 369461 28480 1419 10 0 366763 0
[pid=12984/tid=12985] ppid=12956 vsize=1477844 CPUtime=76.57
/proc/12984/task/12985/stat : 12985 (java) R 12956 12984 12984 0 -1 4202560 26381 0 1 0 7639 18 0 0 25 0 12 0 54897327 1513312256 28480 1992294400 134512640 134550932 4290149680 18446744073709551615 4109551824 0 4 0 16800975 0 0 0 -1 0 0 0 1
[pid=12984/tid=12986] ppid=12956 vsize=1477844 CPUtime=0
/proc/12984/task/12986/stat : 12986 (java) S 12956 12984 12984 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 12 0 54897328 1513312256 28480 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 4 0 16800975 18446604437829557312 0 0 -1 0 0 0 0
[pid=12984/tid=12987] ppid=12956 vsize=1477844 CPUtime=0
/proc/12984/task/12987/stat : 12987 (java) S 12956 12984 12984 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 12 0 54897328 1513312256 28480 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 4 0 16800975 18446604437829557312 0 0 -1 0 0 0 0
[pid=12984/tid=12988] ppid=12956 vsize=1477844 CPUtime=0
/proc/12984/task/12988/stat : 12988 (java) S 12956 12984 12984 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54897330 1513312256 28480 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 0 0 16800975 18446604437829557312 0 0 -1 0 0 0 0
[pid=12984/tid=12989] ppid=12956 vsize=1477844 CPUtime=0
/proc/12984/task/12989/stat : 12989 (java) S 12956 12984 12984 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 54897330 1513312256 28480 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 4 0 16800975 18446604437829557312 0 0 -1 0 0 0 0
[pid=12984/tid=12990] ppid=12956 vsize=1477844 CPUtime=0
/proc/12984/task/12990/stat : 12990 (java) S 12956 12984 12984 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 54897330 1513312256 28480 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 4 0 16800975 18446604437829557312 0 0 -1 0 0 0 0
[pid=12984/tid=12991] ppid=12956 vsize=1477844 CPUtime=0
/proc/12984/task/12991/stat : 12991 (java) S 12956 12984 12984 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 54897335 1513312256 28480 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 4 0 16800975 18446604437829557312 0 0 -1 0 0 0 0
[pid=12984/tid=12992] ppid=12956 vsize=1477844 CPUtime=0.61
/proc/12984/task/12992/stat : 12992 (java) S 12956 12984 12984 0 -1 4202560 1310 0 0 0 61 0 0 0 16 0 12 0 54897335 1513312256 28480 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 4 0 16800975 18446604437829557312 0 0 -1 0 0 0 0
[pid=12984/tid=12993] ppid=12956 vsize=1477844 CPUtime=0.7
/proc/12984/task/12993/stat : 12993 (java) S 12956 12984 12984 0 -1 4202560 1331 0 0 0 70 0 0 0 16 0 12 0 54897335 1513312256 28480 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 4 0 16800975 18446604437829557312 0 0 -1 1 0 0 0
[pid=12984/tid=12994] ppid=12956 vsize=1477844 CPUtime=0
/proc/12984/task/12994/stat : 12994 (java) S 12956 12984 12984 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 54897335 1513312256 28480 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 4 0 16800975 18446604437829557312 0 0 -1 0 0 0 0
[pid=12984/tid=12995] ppid=12956 vsize=1477844 CPUtime=0
/proc/12984/task/12995/stat : 12995 (java) S 12956 12984 12984 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 12 0 54897335 1513312256 28480 1992294400 134512640 134550932 4290149680 18446744073709551615 4294960144 0 4 0 16800975 18446604437829557312 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 298.91
Current children cumulated vsize (KiB) 1611948

[startup+342.302 s]
/proc/loadavg: 1.06 1.08 0.98 2/108 13012
/proc/meminfo: memFree=1481348/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=134104 CPUtime=325.51
/proc/12956/stat : 12956 (python) S 12954 12956 12581 0 -1 4202496 19176 142190 0 1 2056 295 30078 122 15 0 1 0 54876828 137322496 6337 1992294400 4194304 4196484 140737318668096 18446744073709551615 213105028623 0 0 16781312 2 159688670771686242 0 0 17 0 0 0 0
/proc/12956/statm: 33526 6337 1143 1 0 5163 0
[pid=13012] ppid=12956 vsize=63224 CPUtime=37.64
/proc/13012/stat : 13012 (wbo1.4b) R 12956 13012 13012 0 -1 4202496 16562 0 0 0 3747 17 0 0 25 0 1 0 54907269 64741376 15105 1992294400 134512640 135751879 4288746288 18446744073709551615 134616480 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/13012/statm: 15806 15105 144 303 0 15501 0
Current children cumulated CPU time (s) 363.15
Current children cumulated vsize (KiB) 197328

[startup+402.301 s]
/proc/loadavg: 1.02 1.07 0.98 2/108 13014
/proc/meminfo: memFree=1379792/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=134104 CPUtime=329.07
/proc/12956/stat : 12956 (python) S 12954 12956 12581 0 -1 4202496 19201 142190 0 1 2384 323 30078 122 15 0 1 0 54876828 137322496 6337 1992294400 4194304 4196484 140737318668096 18446744073709551615 213105028623 0 0 16781312 2 159688670771686242 0 0 17 0 0 0 0
/proc/12956/statm: 33526 6337 1143 1 0 5163 0
[pid=13012] ppid=12956 vsize=164112 CPUtime=97.28
/proc/13012/stat : 13012 (wbo1.4b) R 12956 13012 13012 0 -1 4202496 41770 0 0 0 9688 40 0 0 25 0 1 0 54907269 168050688 40313 1992294400 134512640 135751879 4288746288 18446744073709551615 134616492 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/13012/statm: 41028 40313 144 303 0 40723 0
Current children cumulated CPU time (s) 426.35
Current children cumulated vsize (KiB) 298216

[startup+462.301 s]
/proc/loadavg: 1.00 1.05 0.98 2/108 13028
/proc/meminfo: memFree=1528840/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=134104 CPUtime=484.44
/proc/12956/stat : 12956 (python) S 12954 12956 12581 0 -1 4202496 24082 194163 0 1 2773 357 45135 179 15 0 1 0 54876828 137322496 6341 1992294400 4194304 4196484 140737318668096 18446744073709551615 213105028623 0 0 16781312 2 159836005329808226 0 0 17 1 0 0 0
/proc/12956/statm: 33526 6341 1143 1 0 5163 0
[pid=13028] ppid=12956 vsize=16172 CPUtime=5.42
/proc/13028/stat : 13028 (wbo1.4a) R 12956 13028 13028 0 -1 4202496 3819 0 0 0 539 3 0 0 25 0 1 0 54922515 16560128 3373 1992294400 134512640 135751879 4294443392 18446744073709551615 134517409 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/13028/statm: 4043 3373 139 303 0 3738 0
Current children cumulated CPU time (s) 489.86
Current children cumulated vsize (KiB) 150276

[startup+522.303 s]
/proc/loadavg: 1.21 1.09 1.00 2/119 13062
/proc/meminfo: memFree=1469108/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=134104 CPUtime=509.63
/proc/12956/stat : 12956 (python) S 12954 12956 12581 0 -1 4202496 32559 215439 0 1 3174 413 47176 200 15 0 1 0 54876828 137322496 6343 1992294400 4194304 4196484 140737318668096 18446744073709551615 213105028623 0 0 16781312 2 159688670771686242 0 0 17 0 0 0 0
/proc/12956/statm: 33526 6343 1143 1 0 5163 0
[pid=13049] ppid=12956 vsize=1477884 CPUtime=44.71
/proc/13049/stat : 13049 (java) S 12956 13049 13049 0 -1 4202496 21051 0 1 0 4459 12 0 0 15 0 12 0 54924664 1513353216 19379 1992294400 134512640 134550932 4291601376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13049/statm: 369471 19379 1417 10 0 366773 0
[pid=13049/tid=13050] ppid=12956 vsize=1477884 CPUtime=43.44
/proc/13049/task/13050/stat : 13050 (java) R 12956 13049 13049 0 -1 4202560 17467 0 1 0 4334 10 0 0 25 0 12 0 54924666 1513353216 19379 1992294400 134512640 134550932 4291601376 18446744073709551615 4108992161 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13049/tid=13051] ppid=12956 vsize=1477884 CPUtime=0
/proc/13049/task/13051/stat : 13051 (java) S 12956 13049 13049 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 12 0 54924668 1513353216 19379 1992294400 134512640 134550932 4291601376 18446744073709551615 4294960144 0 4 0 16800975 18446604437828405376 0 0 -1 0 0 0 0
[pid=13049/tid=13052] ppid=12956 vsize=1477884 CPUtime=0
/proc/13049/task/13052/stat : 13052 (java) S 12956 13049 13049 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 12 0 54924668 1513353216 19379 1992294400 134512640 134550932 4291601376 18446744073709551615 4294960144 0 4 0 16800975 18446604437828405376 0 0 -1 0 0 0 0
[pid=13049/tid=13053] ppid=12956 vsize=1477884 CPUtime=0
/proc/13049/task/13053/stat : 13053 (java) S 12956 13049 13049 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54924669 1513353216 19379 1992294400 134512640 134550932 4291601376 18446744073709551615 4294960144 0 0 0 16800975 18446604437828405376 0 0 -1 0 0 0 0
[pid=13049/tid=13054] ppid=12956 vsize=1477884 CPUtime=0
/proc/13049/task/13054/stat : 13054 (java) S 12956 13049 13049 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 54924670 1513353216 19379 1992294400 134512640 134550932 4291601376 18446744073709551615 4294960144 0 4 0 16800975 18446604437828405376 0 0 -1 0 0 0 0
[pid=13049/tid=13055] ppid=12956 vsize=1477884 CPUtime=0
/proc/13049/task/13055/stat : 13055 (java) S 12956 13049 13049 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 54924670 1513353216 19379 1992294400 134512640 134550932 4291601376 18446744073709551615 4294960144 0 4 0 16800975 18446604437828405376 0 0 -1 0 0 0 0
[pid=13049/tid=13056] ppid=12956 vsize=1477884 CPUtime=0
/proc/13049/task/13056/stat : 13056 (java) S 12956 13049 13049 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 54924674 1513353216 19379 1992294400 134512640 134550932 4291601376 18446744073709551615 4294960144 0 4 0 16800975 18446604437828405376 0 0 -1 0 0 0 0
[pid=13049/tid=13057] ppid=12956 vsize=1477884 CPUtime=0.74
/proc/13049/task/13057/stat : 13057 (java) S 12956 13049 13049 0 -1 4202560 1444 0 0 0 74 0 0 0 16 0 12 0 54924674 1513353216 19379 1992294400 134512640 134550932 4291601376 18446744073709551615 4294960144 0 4 0 16800975 18446604437828405376 0 0 -1 0 0 0 0
[pid=13049/tid=13058] ppid=12956 vsize=1477884 CPUtime=0.5
/proc/13049/task/13058/stat : 13058 (java) S 12956 13049 13049 0 -1 4202560 776 0 0 0 50 0 0 0 16 0 12 0 54924674 1513353216 19379 1992294400 134512640 134550932 4291601376 18446744073709551615 4294960144 0 4 0 16800975 18446604437828405376 0 0 -1 1 0 0 0
[pid=13049/tid=13059] ppid=12956 vsize=1477884 CPUtime=0
/proc/13049/task/13059/stat : 13059 (java) S 12956 13049 13049 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 54924674 1513353216 19379 1992294400 134512640 134550932 4291601376 18446744073709551615 4294960144 0 4 0 16800975 18446604437828405376 0 0 -1 0 0 0 0
[pid=13049/tid=13060] ppid=12956 vsize=1477884 CPUtime=0
/proc/13049/task/13060/stat : 13060 (java) S 12956 13049 13049 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54924674 1513353216 19379 1992294400 134512640 134550932 4291601376 18446744073709551615 4294960144 0 4 0 16800975 18446604437828405376 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 554.34
Current children cumulated vsize (KiB) 1611988

[startup+582.301 s]
/proc/loadavg: 1.07 1.07 1.00 3/108 13083
/proc/meminfo: memFree=1522888/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=134104 CPUtime=575.46
/proc/12956/stat : 12956 (python) S 12954 12956 12581 0 -1 4202496 41231 255353 0 2 3603 461 53249 233 15 0 1 0 54876828 137322496 6346 1992294400 4194304 4196484 140737318668096 18446744073709551615 213105028623 0 0 16781312 2 159688670771686242 0 0 17 0 0 0 0
/proc/12956/statm: 33526 6346 1143 1 0 5163 0
[pid=13083] ppid=12956 vsize=28256 CPUtime=42.73
/proc/13083/stat : 13083 (bsolo_pb10) R 12956 13083 13083 0 -1 4202496 4979 0 0 0 4268 5 0 0 25 0 1 0 54930783 28934144 4509 1992294400 134512640 137138936 4294625936 18446744073709551615 134566410 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/13083/statm: 7064 4509 185 642 0 6420 0
Current children cumulated CPU time (s) 618.19
Current children cumulated vsize (KiB) 162360

[startup+642.301 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 13129
/proc/meminfo: memFree=1539512/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=134100 CPUtime=681.6
/proc/12956/stat : 12956 (python) R 12954 12956 12581 0 -1 4202496 59097 282091 0 2 4106 516 63267 271 18 0 1 0 54876828 137318400 6350 1992294400 4194304 4196484 140737318668096 18446744073709551615 47702409209970 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12956/statm: 33525 6350 1143 1 0 5162 0
Current children cumulated CPU time (s) 681.6
Current children cumulated vsize (KiB) 134100

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

[startup+643.101 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 13129
/proc/meminfo: memFree=1539512/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=134236 CPUtime=682.41
/proc/12956/stat : 12956 (python) R 12954 12956 12581 0 -1 4202496 64415 287964 0 2 4167 526 63270 278 18 0 1 0 54876828 137457664 6352 1992294400 4194304 4196484 140737318668096 18446744073709551615 47702408825264 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12956/statm: 33559 6352 1143 1 0 5196 0
Current children cumulated CPU time (s) 682.41
Current children cumulated vsize (KiB) 134236

[startup+643.9 s]
/proc/loadavg: 1.02 1.05 1.00 2/108 13148
/proc/meminfo: memFree=1539504/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=134232 CPUtime=683.2
/proc/12956/stat : 12956 (python) R 12954 12956 12581 0 -1 4202496 70069 295218 0 2 4225 536 63274 285 18 0 1 0 54876828 137453568 6354 1992294400 4194304 4196484 140737318668096 18446744073709551615 47702408840355 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/12956/statm: 33558 6354 1143 1 0 5195 0
Current children cumulated CPU time (s) 683.2
Current children cumulated vsize (KiB) 134232

[startup+644.1 s]
/proc/loadavg: 1.02 1.05 1.00 2/108 13148
/proc/meminfo: memFree=1539504/2059040 swapFree=4139096/4192956
[pid=12956] ppid=12954 vsize=134232 CPUtime=683.4
/proc/12956/stat : 12956 (python) R 12954 12956 12581 0 -1 4202496 74278 296703 0 2 4240 539 63274 287 18 0 1 0 54876828 137453568 6354 1992294400 4194304 4196484 140737318668096 18446744073709551615 47702409406466 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/12956/statm: 33558 6354 1143 1 0 5195 0
Current children cumulated CPU time (s) 683.4
Current children cumulated vsize (KiB) 134232

Child status: 0
Real time (s): 644.135
CPU time (s): 683.461
CPU user time (s): 675.182
CPU system time (s): 8.27874
CPU usage (%): 106.105
Max. virtual memory (cumulated for all children) (KiB): 1614468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 675.182
system time used= 8.27874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372074
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= 9482
involuntary context switches= 14780

runsolver used 1.19282 second user time and 3.47547 second system time

The end

Launcher Data 

Begin job on node029 at 2010-06-21 17:56:54
IDJOB=2675927
IDBENCH=48370
IDSOLVER=1178
FILE ID=node029/2675927-1277135814
PBS_JOBID= 11182091
Free space on /tmp= 62508 MiB

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

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

MD5SUM BENCH= 47b7632eb38157f4d5f97020bef38ed5
RANDOM SEED=1009667010

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1562612 kB
Buffers:        115552 kB
Cached:         277672 kB
SwapCached:       6456 kB
Active:         217060 kB
Inactive:       190016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1562612 kB
SwapTotal:     4192956 kB
SwapFree:      4139096 kB
Dirty:           20980 kB
Writeback:           0 kB
AnonPages:       12392 kB
Mapped:          12792 kB
Slab:            67468 kB
PageTables:       4080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183320 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= 62488 MiB
End job on node029 at 2010-06-21 18:07:39