Trace number 3737922

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB10: borg-pb 10.05.30? 670.387 635.178

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_2_40.opb
MD5SUMff64c7b9cef588c95a335f732f2d905b
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12440
Sum of products size (including duplicates)24880
Number of different products6220
Sum of products size12440

Solver Data 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737922-1338718746/watcher-3737922-1338718746 -o /tmp/evaluation-result-3737922-1338718746/solver-3737922-1338718746 -C 1800 -W 1900 -M 15500 solver HOME/instance-3737922-1338718746.opb 1212839763 

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.21 2.11 3/177 27614
/proc/meminfo: memFree=28796456/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/27614/stat : 27614 (python) D 27612 27614 22930 0 -1 4202496 878 0 0 0 0 0 0 0 20 0 1 0 337999482 15749120 629 33554432000 4194304 5683644 140735973617072 140735973557560 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/27614/statm: 3845 629 333 364 0 287 0

[startup+0.0498829 s]
/proc/loadavg: 2.25 2.21 2.11 3/177 27614
/proc/meminfo: memFree=28796456/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=20936 CPUtime=0.02 cores=0,2,4,6
/proc/27614/stat : 27614 (python) R 27612 27614 22930 0 -1 4202496 2693 0 0 0 2 0 0 0 20 0 1 0 337999482 21438464 1121 33554432000 4194304 4196484 140736399188944 140736399038936 233220575051 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/27614/statm: 5234 1125 446 1 0 652 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20936

[startup+0.100287 s]
/proc/loadavg: 2.25 2.21 2.11 3/177 27614
/proc/meminfo: memFree=28796456/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=57144 CPUtime=0.06 cores=0,2,4,6
/proc/27614/stat : 27614 (python) D 27612 27614 22930 0 -1 4202496 4085 0 0 0 4 2 0 0 20 0 1 0 337999482 58515456 2236 33554432000 4194304 4196484 140736399188944 140736399044472 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/27614/statm: 14286 2236 603 1 0 1624 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 57144

[startup+0.300262 s]
/proc/loadavg: 2.25 2.21 2.11 3/177 27614
/proc/meminfo: memFree=28796456/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=103804 CPUtime=0.23 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 6752 508 0 0 16 7 0 0 20 0 1 0 337999482 106295296 4265 33554432000 4194304 4196484 140736399188944 140736399154904 233220949376 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 25951 4267 1052 1 0 3237 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 103804

[startup+0.700256 s]
/proc/loadavg: 2.25 2.21 2.11 3/177 27614
/proc/meminfo: memFree=28796456/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=134456 CPUtime=0.55 cores=0,2,4,6
/proc/27614/stat : 27614 (python) R 27612 27614 22930 0 -1 4202496 11237 1014 0 0 41 14 0 0 20 0 1 0 337999482 137682944 6349 33554432000 4194304 4196484 140736399188944 140736399180704 233220989879 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/27614/statm: 33614 6349 1170 1 0 5186 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 134456

[startup+1.50022 s]
/proc/loadavg: 2.25 2.21 2.11 4/179 27626
/proc/meminfo: memFree=28769888/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=0.89 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 13619 3936 0 0 70 17 1 1 20 0 1 0 337999482 139792384 6374 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27614/statm: 34129 6374 1180 1 0 5186 0
[pid=27626] ppid=27614 vsize=9888 CPUtime=0.66 cores=0,2,4,6
/proc/27626/stat : 27626 (wbo1.4a) R 27614 27626 27626 0 -1 4202496 2341 0 0 0 65 1 0 0 20 0 1 0 337999565 10125312 1988 33554432000 134512640 135751879 4287544336 4287542588 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/27626/statm: 2472 1988 139 303 0 2167 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 146404

[startup+3.10027 s]
/proc/loadavg: 2.23 2.20 2.10 3/179 27626
/proc/meminfo: memFree=28761456/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=0.98 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 13628 3936 0 0 77 19 1 1 20 0 1 0 337999482 139792384 6374 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27614/statm: 34129 6374 1180 1 0 5186 0
[pid=27626] ppid=27614 vsize=16600 CPUtime=2.26 cores=0,2,4,6
/proc/27626/stat : 27626 (wbo1.4a) R 27614 27626 27626 0 -1 4202496 4019 0 0 0 224 2 0 0 20 0 1 0 337999565 16998400 3666 33554432000 134512640 135751879 4287544336 4287542588 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/27626/statm: 4150 3666 139 303 0 3845 0
Current children cumulated CPU time (s) 3.24
Current children cumulated vsize (KiB) 153116

[startup+6.30022 s]
/proc/loadavg: 2.23 2.20 2.10 3/179 27626
/proc/meminfo: memFree=28746684/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=1.15 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 13641 3936 0 0 92 21 1 1 20 0 1 0 337999482 139792384 6374 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27614/statm: 34129 6374 1180 1 0 5186 0
[pid=27626] ppid=27614 vsize=23944 CPUtime=5.45 cores=0,2,4,6
/proc/27626/stat : 27626 (wbo1.4a) R 27614 27626 27626 0 -1 4202496 5861 0 0 0 543 2 0 0 20 0 1 0 337999565 24518656 5508 33554432000 134512640 135751879 4287544336 4287542400 134603007 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/27626/statm: 5986 5508 139 303 0 5681 0
Current children cumulated CPU time (s) 6.6
Current children cumulated vsize (KiB) 160460

[startup+12.7003 s]
/proc/loadavg: 2.19 2.20 2.10 3/179 27626
/proc/meminfo: memFree=28714964/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=1.45 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 13658 3936 0 0 118 25 1 1 20 0 1 0 337999482 139792384 6374 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27614/statm: 34129 6374 1180 1 0 5186 0
[pid=27626] ppid=27614 vsize=43052 CPUtime=11.86 cores=0,2,4,6
/proc/27626/stat : 27626 (wbo1.4a) R 27614 27626 27626 0 -1 4202496 10611 0 0 0 1180 6 0 0 20 0 1 0 337999565 44085248 10258 33554432000 134512640 135751879 4287544336 4287542512 134616514 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/27626/statm: 10763 10258 139 303 0 10458 0
Current children cumulated CPU time (s) 13.31
Current children cumulated vsize (KiB) 179568

[startup+25.5003 s]
/proc/loadavg: 2.16 2.19 2.10 3/179 27626
/proc/meminfo: memFree=28651824/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=2.03 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 13683 3936 0 0 168 33 1 1 20 0 1 0 337999482 139792384 6374 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27614/statm: 34129 6374 1180 1 0 5186 0
[pid=27626] ppid=27614 vsize=58752 CPUtime=24.66 cores=0,2,4,6
/proc/27626/stat : 27626 (wbo1.4a) R 27614 27626 27626 0 -1 4202496 14542 0 0 0 2458 8 0 0 20 0 1 0 337999565 60162048 14189 33554432000 134512640 135751879 4287544336 4287542512 134616516 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/27626/statm: 14688 14189 139 303 0 14383 0
Current children cumulated CPU time (s) 26.69
Current children cumulated vsize (KiB) 195268

[startup+51.1003 s]
/proc/loadavg: 2.04 2.16 2.09 3/197 27647
/proc/meminfo: memFree=28634676/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=3.17 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 13700 3936 0 0 267 48 1 1 20 0 1 0 337999482 139792384 6374 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27614/statm: 34129 6374 1180 1 0 5186 0
[pid=27626] ppid=27614 vsize=94728 CPUtime=50.24 cores=0,2,4,6
/proc/27626/stat : 27626 (wbo1.4a) R 27614 27626 27626 0 -1 4202496 23513 0 0 0 5011 13 0 0 20 0 1 0 337999565 97001472 23160 33554432000 134512640 135751879 4287544336 4287542512 134616514 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/27626/statm: 23682 23160 139 303 0 23377 0
Current children cumulated CPU time (s) 53.41
Current children cumulated vsize (KiB) 231244

[startup+102.307 s]
/proc/loadavg: 2.01 2.13 2.08 3/198 27656
/proc/meminfo: memFree=28491992/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=56.22 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 16221 29847 0 0 498 87 5021 16 20 0 1 0 337999482 139792384 6377 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27614/statm: 34129 6377 1180 1 0 5186 0
[pid=27653] ppid=27614 vsize=95108 CPUtime=50.97 cores=0,2,4,6
/proc/27653/stat : 27653 (wbo1.4a) R 27614 27653 27653 0 -1 4202496 23599 0 0 0 5083 14 0 0 20 0 1 0 338004614 97390592 23246 33554432000 134512640 135751879 4291202576 4291200752 134616532 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/27653/statm: 23777 23246 139 303 0 23472 0
Current children cumulated CPU time (s) 107.19
Current children cumulated vsize (KiB) 231624

[startup+162.3 s]
/proc/loadavg: 2.00 2.10 2.08 3/179 27663
/proc/meminfo: memFree=28720444/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=159.92 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 17500 78807 0 0 758 126 15063 45 20 0 1 0 337999482 139792384 6379 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6379 1180 1 0 5186 0
[pid=27663] ppid=27614 vsize=42296 CPUtime=10.23 cores=0,2,4,6
/proc/27663/stat : 27663 (wbo1.4b) R 27614 27663 27663 0 -1 4202496 10801 0 0 0 1019 4 0 0 20 0 1 0 338014688 43311104 10070 33554432000 134512640 135751879 4290710080 4290708088 134516982 0 0 16781312 3 0 0 0 17 2 0 0 0 0 0
/proc/27663/statm: 10574 10070 144 303 0 10269 0
Current children cumulated CPU time (s) 170.15
Current children cumulated vsize (KiB) 178812

[startup+222.301 s]
/proc/loadavg: 2.24 2.16 2.10 3/197 27684
/proc/meminfo: memFree=28079716/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=213.12 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 18767 104178 0 0 1015 161 20077 59 20 0 1 0 337999482 139792384 6380 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6380 1180 1 0 5186 0
[pid=27666] ppid=27614 vsize=2715136 CPUtime=21.29 cores=0,2,4,6
/proc/27666/stat : 27666 (java) S 27614 27666 27666 0 -1 4202496 12373 0 1 0 2108 21 0 0 20 0 19 0 338019718 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140735788017424 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/27666/statm: 678784 124659 2271 9 0 669477 0
[pid=27666/tid=27667] ppid=27614 vsize=2715136 CPUtime=19.6 cores=0,2,4,6
/proc/27666/task/27667/stat : 27667 (java) R 27614 27666 27666 0 -1 4202560 2914 0 1 0 1954 6 0 0 20 0 19 0 338019719 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611112414576 140610938629701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27666/tid=27668] ppid=27614 vsize=2715136 CPUtime=0.06 cores=0,2,4,6
/proc/27666/task/27668/stat : 27668 (java) S 27614 27666 27666 0 -1 4202560 31 0 0 0 4 2 0 0 20 0 19 0 338019720 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611096865576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27666/tid=27669] ppid=27614 vsize=2715136 CPUtime=0.06 cores=0,2,4,6
/proc/27666/task/27669/stat : 27669 (java) S 27614 27666 27666 0 -1 4202560 25 0 0 0 4 2 0 0 20 0 19 0 338019720 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611095812776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27666/tid=27670] ppid=27614 vsize=2715136 CPUtime=0.08 cores=0,2,4,6
/proc/27666/task/27670/stat : 27670 (java) S 27614 27666 27666 0 -1 4202560 29 0 0 0 6 2 0 0 20 0 19 0 338019720 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611094760488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27666/tid=27671] ppid=27614 vsize=2715136 CPUtime=0.05 cores=0,2,4,6
/proc/27666/task/27671/stat : 27671 (java) S 27614 27666 27666 0 -1 4202560 27 0 0 0 5 0 0 0 20 0 19 0 338019720 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611093707688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27666/tid=27672] ppid=27614 vsize=2715136 CPUtime=0.07 cores=0,2,4,6
/proc/27666/task/27672/stat : 27672 (java) S 27614 27666 27666 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 19 0 338019720 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611092654376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27666/tid=27673] ppid=27614 vsize=2715136 CPUtime=0.1 cores=0,2,4,6
/proc/27666/task/27673/stat : 27673 (java) S 27614 27666 27666 0 -1 4202560 37 0 0 0 8 2 0 0 20 0 19 0 338019720 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611091601576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27666/tid=27674] ppid=27614 vsize=2715136 CPUtime=0.07 cores=0,2,4,6
/proc/27666/task/27674/stat : 27674 (java) S 27614 27666 27666 0 -1 4202560 35 0 0 0 5 2 0 0 20 0 19 0 338019720 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611090549288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27666/tid=27675] ppid=27614 vsize=2715136 CPUtime=0.08 cores=0,2,4,6
/proc/27666/task/27675/stat : 27675 (java) S 27614 27666 27666 0 -1 4202560 38 0 0 0 6 2 0 0 20 0 19 0 338019720 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611089496488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27666/tid=27676] ppid=27614 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/27666/task/27676/stat : 27676 (java) S 27614 27666 27666 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 338019722 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611077085928 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27666/tid=27677] ppid=27614 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/27666/task/27677/stat : 27677 (java) S 27614 27666 27666 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338019722 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611076031992 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27666/tid=27678] ppid=27614 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/27666/task/27678/stat : 27678 (java) S 27614 27666 27666 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338019722 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611074979592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27666/tid=27679] ppid=27614 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/27666/task/27679/stat : 27679 (java) S 27614 27666 27666 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338019725 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611073928080 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27666/tid=27680] ppid=27614 vsize=2715136 CPUtime=0.44 cores=0,2,4,6
/proc/27666/task/27680/stat : 27680 (java) S 27614 27666 27666 0 -1 4202560 4081 0 0 0 44 0 0 0 20 0 19 0 338019725 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611072874680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27666/tid=27681] ppid=27614 vsize=2715136 CPUtime=0.48 cores=0,2,4,6
/proc/27666/task/27681/stat : 27681 (java) S 27614 27666 27666 0 -1 4202560 3609 0 0 0 48 0 0 0 20 0 19 0 338019725 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611071821880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27666/tid=27682] ppid=27614 vsize=2715136 CPUtime=0 cores=0,2,4,6

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

[pid=27666/tid=27683] ppid=27614 vsize=2715136 CPUtime=0.02 cores=0,2,4,6
/proc/27666/task/27683/stat : 27683 (java) S 27614 27666 27666 0 -1 4202560 7 0 0 0 0 2 0 0 20 0 19 0 338019725 2780299264 188764 33554432000 1073741824 1073778376 140735788026288 140611069717192 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27666/tid=27684] ppid=27614 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/27666/task/27684/stat : 27684 (java) S 27614 27666 27666 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338019934 2780299264 188764 33554432000 1073741824 1073778376 140735788026288 140611068663208 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 317.49
Current children cumulated vsize (KiB) 2851652

[startup+300.801 s]
/proc/loadavg: 2.10 2.13 2.09 3/197 27942
/proc/meminfo: memFree=27995444/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=317.42 cores=0,2,4,6
/proc/27614/stat : 27614 (python) R 27612 27614 22930 0 -1 4202496 20054 118009 0 1 1344 208 30073 117 20 0 1 0 337999482 139792384 6380 33554432000 4194304 4196484 140736399188944 140736399177768 233220989834 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6380 1180 1 0 5186 0
Current children cumulated CPU time (s) 317.42
Current children cumulated vsize (KiB) 136516
#
############


[startup+342.3 s]
/proc/loadavg: 2.11 2.13 2.09 3/179 27951
/proc/meminfo: memFree=28679772/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=319.63 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 20077 118009 0 1 1539 234 30073 117 20 0 1 0 337999482 139792384 6381 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6381 1180 1 0 5186 0
[pid=27945] ppid=27614 vsize=91188 CPUtime=41.54 cores=0,2,4,6
/proc/27945/stat : 27945 (wbo1.4b) R 27614 27945 27945 0 -1 4202496 23005 0 0 0 4142 12 0 0 20 0 1 0 338029556 93376512 22296 33554432000 134512640 135751879 4293108192 4293106200 134516982 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/27945/statm: 22797 22296 144 303 0 22492 0
Current children cumulated CPU time (s) 361.17
Current children cumulated vsize (KiB) 227704

[startup+402.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/179 27954
/proc/meminfo: memFree=28586416/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=422.93 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 21327 169150 0 1 1790 272 40084 147 20 0 1 0 337999482 139792384 6381 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6381 1180 1 0 5186 0
[pid=27954] ppid=27614 vsize=17704 CPUtime=1.09 cores=0,2,4,6
/proc/27954/stat : 27954 (bsolo_pb10) R 27614 27954 27954 0 -1 4202496 2296 0 0 0 109 0 0 0 20 0 1 0 338039602 18128896 1941 33554432000 134512640 137138936 4291503008 4291347140 136500305 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/27954/statm: 4426 1941 185 642 0 3782 0
Current children cumulated CPU time (s) 424.02
Current children cumulated vsize (KiB) 154220

[startup+462.3 s]
/proc/loadavg: 2.16 2.12 2.09 3/179 27976
/proc/meminfo: memFree=28714492/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=487.12 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 31389 202520 0 1 2132 327 46089 164 20 0 1 0 337999482 139792384 6385 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6385 1180 1 0 5186 0
Current children cumulated CPU time (s) 487.12
Current children cumulated vsize (KiB) 136516

[startup+522.3 s]
/proc/loadavg: 2.09 2.11 2.09 3/215 28027
/proc/meminfo: memFree=27736068/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=551.21 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 36386 222024 0 2 2420 369 52118 214 20 0 1 0 337999482 139792384 6388 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6388 1180 1 0 5186 0
Current children cumulated CPU time (s) 551.21
Current children cumulated vsize (KiB) 136516

[startup+582.3 s]
/proc/loadavg: 2.34 2.19 2.12 3/179 28051
/proc/meminfo: memFree=28760008/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=564.83 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 42626 239592 0 2 2726 410 53125 222 20 0 1 0 337999482 139792384 6390 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6390 1180 1 0 5186 0
[pid=28048] ppid=27614 vsize=55800 CPUtime=50.21 cores=0,2,4,6
/proc/28048/stat : 28048 (bsolo_pb10) R 27614 28048 28048 0 -1 4202496 12268 0 0 0 5015 6 0 0 20 0 1 0 338052689 57139200 11520 33554432000 134512640 137138936 4292124816 4292123744 134542508 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/28048/statm: 13950 11520 192 642 0 13306 0
Current children cumulated CPU time (s) 615.04
Current children cumulated vsize (KiB) 192316

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

[startup+588.7 s]
/proc/loadavg: 2.39 2.21 2.12 3/179 28051
/proc/meminfo: memFree=28732224/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=565.14 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 42628 239592 0 2 2752 415 53125 222 20 0 1 0 337999482 139792384 6390 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6390 1180 1 0 5186 0
[pid=28048] ppid=27614 vsize=60396 CPUtime=56.6 cores=0,2,4,6
/proc/28048/stat : 28048 (bsolo_pb10) R 27614 28048 28048 0 -1 4202496 13430 0 0 0 5653 7 0 0 20 0 1 0 338052689 61845504 12675 33554432000 134512640 137138936 4292124816 4292123744 134542480 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/28048/statm: 15099 12675 192 642 0 14455 0
Current children cumulated CPU time (s) 621.74
Current children cumulated vsize (KiB) 196912

[startup+614.3 s]
/proc/loadavg: 2.32 2.20 2.12 3/179 28051
/proc/meminfo: memFree=28643780/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=566.35 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 42639 239592 0 2 2856 432 53125 222 20 0 1 0 337999482 139792384 6390 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6390 1180 1 0 5186 0
[pid=28048] ppid=27614 vsize=77080 CPUtime=82.17 cores=0,2,4,6
/proc/28048/stat : 28048 (bsolo_pb10) R 27614 28048 28048 0 -1 4202496 17592 0 0 0 8209 8 0 0 20 0 1 0 338052689 78929920 16814 33554432000 134512640 137138936 4292124816 4292123744 134542808 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/28048/statm: 19270 16814 192 642 0 18626 0
Current children cumulated CPU time (s) 648.52
Current children cumulated vsize (KiB) 213596

[startup+627.1 s]
/proc/loadavg: 2.25 2.19 2.12 3/179 28051
/proc/meminfo: memFree=28594588/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=566.97 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 42644 239592 0 2 2909 441 53125 222 20 0 1 0 337999482 139792384 6390 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6390 1180 1 0 5186 0
[pid=28048] ppid=27614 vsize=81772 CPUtime=94.98 cores=0,2,4,6
/proc/28048/stat : 28048 (bsolo_pb10) R 27614 28048 28048 0 -1 4202496 18794 0 0 0 9489 9 0 0 20 0 1 0 338052689 83734528 18016 33554432000 134512640 137138936 4292124816 4292123744 134542787 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/28048/statm: 20443 18016 192 642 0 19799 0
Current children cumulated CPU time (s) 661.95
Current children cumulated vsize (KiB) 218288

[startup+630.307 s]
/proc/loadavg: 2.25 2.19 2.12 3/179 28051
/proc/meminfo: memFree=28585164/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=567.11 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 42646 239592 0 2 2922 442 53125 222 20 0 1 0 337999482 139792384 6390 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6390 1180 1 0 5186 0
[pid=28048] ppid=27614 vsize=82668 CPUtime=98.18 cores=0,2,4,6
/proc/28048/stat : 28048 (bsolo_pb10) R 27614 28048 28048 0 -1 4202496 18988 0 0 0 9809 9 0 0 20 0 1 0 338052689 84652032 18210 33554432000 134512640 137138936 4292124816 4292123932 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/28048/statm: 20667 18210 192 642 0 20023 0
Current children cumulated CPU time (s) 665.29
Current children cumulated vsize (KiB) 219184

[startup+633.5 s]
/proc/loadavg: 2.31 2.21 2.12 3/179 28084
/proc/meminfo: memFree=28648156/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136648 CPUtime=668.61 cores=0,2,4,6
/proc/27614/stat : 27614 (python) R 27612 27614 22930 0 -1 4202496 56344 274223 0 2 3031 458 63135 237 20 0 1 0 337999482 139927552 6394 33554432000 4194304 4196484 140736399188944 140736399180704 233220989879 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34162 6394 1180 1 0 5219 0
[pid=28084] ppid=27614 vsize=0 CPUtime=0 cores=0,2,4,6
/proc/28084/stat : 28084 (clasp-1.3.3-x86) Z 27614 28084 28084 0 -1 4202508 526 0 0 0 0 0 0 0 20 0 1 0 338062830 0 0 33554432000 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28084/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 668.61
Current children cumulated vsize (KiB) 136648

[startup+634.3 s]
/proc/loadavg: 2.31 2.21 2.12 3/179 28084
/proc/meminfo: memFree=28648156/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136648 CPUtime=669.41 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 63847 283563 0 2 3095 468 63137 241 20 0 1 0 337999482 139927552 6396 33554432000 4194304 4196484 140736399188944 140736399178912 233224335390 0 0 16781312 2 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34162 6396 1180 1 0 5219 0
Current children cumulated CPU time (s) 669.41
Current children cumulated vsize (KiB) 136648

[startup+634.706 s]
/proc/loadavg: 2.31 2.21 2.12 3/179 28111
/proc/meminfo: memFree=28645412/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136648 CPUtime=669.82 cores=0,2,4,6
/proc/27614/stat : 27614 (python) R 27612 27614 22930 0 -1 4202496 68672 288897 0 2 3127 472 63139 244 20 0 1 0 337999482 139927552 6399 33554432000 4194304 4196484 140736399188944 140736399180704 139985718745589 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34162 6399 1180 1 0 5219 0
Current children cumulated CPU time (s) 669.82
Current children cumulated vsize (KiB) 136648

[startup+635.1 s]
/proc/loadavg: 2.31 2.21 2.12 3/179 28111
/proc/meminfo: memFree=28645412/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136648 CPUtime=670.22 cores=0,2,4,6
/proc/27614/stat : 27614 (python) R 27612 27614 22930 0 -1 4202496 72387 293302 0 2 3159 477 63140 246 20 0 1 0 337999482 139927552 6400 33554432000 4194304 4196484 140736399188944 140736399180704 139985718309814 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34162 6400 1180 1 0 5219 0
Current children cumulated CPU time (s) 670.22
Current children cumulated vsize (KiB) 136648

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.0700073
#  lost CPU user time (s): 0.220001
#  lost CPU system time (s): -0.15

Real time (s): 635.178
CPU time (s): 670.387
CPU user time (s): 663.279
CPU system time (s): 7.1079
CPU usage (%): 105.543
Max. virtual memory (cumulated for all children) (KiB): 2851656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 663.059
system time used= 7.2579
maximum resident set size= 755056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372053
page faults= 2
swaps= 0
block input operations= 216
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8378
involuntary context switches= 7435

runsolver used 1.21381 second user time and 3.01454 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-03 12:19:06
IDJOB=3737922
IDBENCH=48359
IDSOLVER=2323
FILE ID=node142/3737922-1338718746
RUNJOBID= node142-1338713724-22946
PBS_JOBID= 14636740
Free space on /tmp= 71172 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_2_40.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737922-1338718746/watcher-3737922-1338718746 -o /tmp/evaluation-result-3737922-1338718746/solver-3737922-1338718746 -C 1800 -W 1900 -M 15500  solver HOME/instance-3737922-1338718746.opb 1212839763 

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

MD5SUM BENCH= ff64c7b9cef588c95a335f732f2d905b
RANDOM SEED=1212839763

node142.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5391.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28797208 kB
Buffers:          330244 kB
Cached:          2842832 kB
SwapCached:            0 kB
Active:          1344012 kB
Inactive:        1910008 kB
Active(anon):      72556 kB
Inactive(anon):    11220 kB
Active(file):    1271456 kB
Inactive(file):  1898788 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             21784 kB
Writeback:             0 kB
AnonPages:         88464 kB
Mapped:            14420 kB
Shmem:               200 kB
Slab:             683280 kB
SReclaimable:     124088 kB
SUnreclaim:       559192 kB
KernelStack:        1448 kB
PageTables:         4404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     197176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71148 MiB
End job on node142 at 2012-06-03 12:29:41