Trace number 3737766

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.877 635.787

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_5_40.opb
MD5SUMc1794605d16cd8196553c490f5507fd9
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)12452
Sum of products size (including duplicates)24904
Number of different products6226
Sum of products size12452

Solver Data 

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

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.23 2.14 2.07 2/179 13218
/proc/meminfo: memFree=28639012/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=15440 CPUtime=0 cores=0,2,4,6
/proc/13218/stat : 13218 (python) R 13216 13218 11290 0 -1 4202496 809 0 0 0 0 0 0 0 20 0 1 0 337979606 15810560 573 33554432000 4194304 5683644 140735178153088 140735178125272 4540219 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/13218/statm: 3860 573 324 364 0 302 0

[startup+0.0721509 s]
/proc/loadavg: 2.23 2.14 2.07 2/179 13218
/proc/meminfo: memFree=28639012/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=33756 CPUtime=0.04 cores=0,2,4,6
/proc/13218/stat : 13218 (python) R 13216 13218 11290 0 -1 4202496 2878 0 0 0 3 1 0 0 20 0 1 0 337979606 34566144 1275 33554432000 4194304 4196484 140736330509536 140736330391848 139912852419067 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/13218/statm: 8439 1275 470 1 0 751 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 33756

[startup+0.10033 s]
/proc/loadavg: 2.23 2.14 2.07 2/179 13218
/proc/meminfo: memFree=28639012/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=51716 CPUtime=0.06 cores=0,2,4,6
/proc/13218/stat : 13218 (python) D 13216 13218 11290 0 -1 4202496 3690 0 0 0 4 2 0 0 20 0 1 0 337979606 52957184 1942 33554432000 4194304 4196484 140736330509536 140736330337240 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/13218/statm: 12929 1942 567 1 0 1336 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 51716

[startup+0.300251 s]
/proc/loadavg: 2.23 2.14 2.07 2/179 13218
/proc/meminfo: memFree=28639012/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=99044 CPUtime=0.21 cores=0,2,4,6
/proc/13218/stat : 13218 (python) R 13216 13218 11290 0 -1 4202496 5758 0 0 0 13 8 0 0 20 0 1 0 337979606 101421056 3603 33554432000 4194304 4196484 140736330509536 140736330452472 215143497557 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/13218/statm: 24761 3603 1047 1 0 2563 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 99044

[startup+0.700271 s]
/proc/loadavg: 2.23 2.14 2.07 2/179 13218
/proc/meminfo: memFree=28639012/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=134484 CPUtime=0.49 cores=0,2,4,6
/proc/13218/stat : 13218 (python) R 13216 13218 11290 0 -1 4202496 11211 1013 0 0 36 13 0 0 20 0 1 0 337979606 137711616 6347 33554432000 4194304 4196484 140736330509536 140736330501296 215143539639 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/13218/statm: 33621 6347 1170 1 0 5193 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 134484

[startup+1.50028 s]
/proc/loadavg: 2.23 2.14 2.07 3/181 13230
/proc/meminfo: memFree=28615132/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=0.86 cores=0,2,4,6
/proc/13218/stat : 13218 (python) S 13216 13218 11290 0 -1 4202496 13559 3918 0 0 68 17 0 1 20 0 1 0 337979606 139821056 6373 33554432000 4194304 4196484 140736330509536 140736330501296 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/13218/statm: 34136 6373 1180 1 0 5193 0
[pid=13230] ppid=13218 vsize=8488 CPUtime=0.61 cores=0,2,4,6
/proc/13230/stat : 13230 (wbo1.4a) R 13218 13230 13230 0 -1 4202496 1980 0 0 0 60 1 0 0 20 0 1 0 337979693 8691712 1626 33554432000 134512640 135751879 4294482864 4294481116 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/13230/statm: 2122 1626 139 303 0 1817 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 145032

[startup+3.10026 s]
/proc/loadavg: 2.23 2.14 2.07 3/181 13230
/proc/meminfo: memFree=28609576/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=0.95 cores=0,2,4,6
/proc/13218/stat : 13218 (python) S 13216 13218 11290 0 -1 4202496 13568 3918 0 0 76 18 0 1 20 0 1 0 337979606 139821056 6373 33554432000 4194304 4196484 140736330509536 140736330501296 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/13218/statm: 34136 6373 1180 1 0 5193 0
[pid=13230] ppid=13218 vsize=12856 CPUtime=2.21 cores=0,2,4,6
/proc/13230/stat : 13230 (wbo1.4a) R 13218 13230 13230 0 -1 4202496 3080 0 0 0 220 1 0 0 20 0 1 0 337979693 13164544 2726 33554432000 134512640 135751879 4294482864 4294481040 134616543 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/13230/statm: 3214 2726 139 303 0 2909 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 149400

[startup+6.30026 s]
/proc/loadavg: 2.30 2.16 2.08 3/181 13230
/proc/meminfo: memFree=28603624/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=1.11 cores=0,2,4,6
/proc/13218/stat : 13218 (python) S 13216 13218 11290 0 -1 4202496 13582 3918 0 0 90 20 0 1 20 0 1 0 337979606 139821056 6373 33554432000 4194304 4196484 140736330509536 140736330501296 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/13218/statm: 34136 6373 1180 1 0 5193 0
[pid=13230] ppid=13218 vsize=17876 CPUtime=5.4 cores=0,2,4,6
/proc/13230/stat : 13230 (wbo1.4a) R 13218 13230 13230 0 -1 4202496 4345 0 0 0 538 2 0 0 20 0 1 0 337979693 18305024 3991 33554432000 134512640 135751879 4294482864 4294481032 134517414 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/13230/statm: 4469 3991 139 303 0 4164 0
Current children cumulated CPU time (s) 6.51
Current children cumulated vsize (KiB) 154420

[startup+12.7003 s]
/proc/loadavg: 2.27 2.16 2.08 3/181 13231
/proc/meminfo: memFree=28597332/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=1.42 cores=0,2,4,6
/proc/13218/stat : 13218 (python) S 13216 13218 11290 0 -1 4202496 13610 3918 0 0 118 23 0 1 20 0 1 0 337979606 139821056 6373 33554432000 4194304 4196484 140736330509536 140736330501296 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/13218/statm: 34136 6373 1180 1 0 5193 0
[pid=13230] ppid=13218 vsize=25400 CPUtime=11.8 cores=0,2,4,6
/proc/13230/stat : 13230 (wbo1.4a) R 13218 13230 13230 0 -1 4202496 6214 0 0 0 1177 3 0 0 20 0 1 0 337979693 26009600 5860 33554432000 134512640 135751879 4294482864 4294481040 134616543 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/13230/statm: 6350 5860 139 303 0 6045 0
Current children cumulated CPU time (s) 13.22
Current children cumulated vsize (KiB) 161944

[startup+25.5003 s]
/proc/loadavg: 2.21 2.15 2.07 3/181 13231
/proc/meminfo: memFree=28578964/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=2.03 cores=0,2,4,6
/proc/13218/stat : 13218 (python) S 13216 13218 11290 0 -1 4202496 13636 3918 0 0 169 33 0 1 20 0 1 0 337979606 139821056 6373 33554432000 4194304 4196484 140736330509536 140736330501296 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/13218/statm: 34136 6373 1180 1 0 5193 0
[pid=13230] ppid=13218 vsize=42288 CPUtime=24.6 cores=0,2,4,6
/proc/13230/stat : 13230 (wbo1.4a) R 13218 13230 13230 0 -1 4202496 10436 0 0 0 2455 5 0 0 20 0 1 0 337979693 43302912 10103 33554432000 134512640 135751879 4294482864 4294481040 134616543 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/13230/statm: 10572 10103 139 303 0 10267 0
Current children cumulated CPU time (s) 26.63
Current children cumulated vsize (KiB) 178832

[startup+51.1003 s]
/proc/loadavg: 2.14 2.13 2.07 3/181 13231
/proc/meminfo: memFree=28554256/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=3.18 cores=0,2,4,6
/proc/13218/stat : 13218 (python) R 13216 13218 11290 0 -1 4202496 13646 3918 0 0 269 48 0 1 20 0 1 0 337979606 139821056 6373 33554432000 4194304 4196484 140736330509536 140736330501296 215143539639 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/13218/statm: 34136 6373 1180 1 0 5193 0
[pid=13230] ppid=13218 vsize=66852 CPUtime=50.17 cores=0,2,4,6
/proc/13230/stat : 13230 (wbo1.4a) R 13218 13230 13230 0 -1 4202496 16593 0 0 0 5009 8 0 0 20 0 1 0 337979693 68456448 16266 33554432000 134512640 135751879 4294482864 4294481036 134517408 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/13230/statm: 16713 16266 139 303 0 16408 0
Current children cumulated CPU time (s) 53.35
Current children cumulated vsize (KiB) 203396

[startup+102.307 s]
/proc/loadavg: 2.10 2.13 2.07 3/181 13240
/proc/meminfo: memFree=28407580/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=56.11 cores=0,2,4,6
/proc/13218/stat : 13218 (python) S 13216 13218 11290 0 -1 4202496 16063 22916 0 0 503 84 5012 12 20 0 1 0 337979606 139821056 6377 33554432000 4194304 4196484 140736330509536 140736330501296 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/13218/statm: 34136 6377 1180 1 0 5193 0
[pid=13237] ppid=13218 vsize=67488 CPUtime=51.03 cores=0,2,4,6
/proc/13237/stat : 13237 (wbo1.4a) R 13218 13237 13237 0 -1 4202496 16735 0 0 0 5092 11 0 0 20 0 1 0 337984731 69107712 16389 33554432000 134512640 135751879 4290619232 4290617408 134616520 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/13237/statm: 16872 16389 139 303 0 16567 0
Current children cumulated CPU time (s) 107.14
Current children cumulated vsize (KiB) 204032

[startup+162.3 s]
/proc/loadavg: 2.03 2.10 2.07 3/181 13243
/proc/meminfo: memFree=28373716/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=159.52 cores=0,2,4,6
/proc/13218/stat : 13218 (python) R 13216 13218 11290 0 -1 4202496 17281 57342 0 0 764 119 15034 35 20 0 1 0 337979606 139821056 6379 33554432000 4194304 4196484 140736330509536 140736330501296 215143539639 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/13218/statm: 34136 6379 1180 1 0 5193 0
[pid=13243] ppid=13218 vsize=23584 CPUtime=10.52 cores=0,2,4,6
/proc/13243/stat : 13243 (wbo1.4b) R 13218 13243 13243 0 -1 4202496 6151 0 0 0 1049 3 0 0 20 0 1 0 337994781 24150016 5425 33554432000 134512640 135751879 4286938784 4286936796 134517428 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/13243/statm: 5896 5425 143 303 0 5591 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (KiB) 160128

[startup+222.301 s]
/proc/loadavg: 2.28 2.14 2.08 3/199 13270
/proc/meminfo: memFree=28154124/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=213.01 cores=0,2,4,6
/proc/13218/stat : 13218 (python) S 13216 13218 11290 0 -1 4202496 18520 75420 0 0 1013 156 20083 49 20 0 1 0 337979606 139821056 6380 33554432000 4194304 4196484 140736330509536 140736330501296 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/13218/statm: 34136 6380 1180 1 0 5193 0
[pid=13252] ppid=13218 vsize=2715136 CPUtime=21.21 cores=0,2,4,6
/proc/13252/stat : 13252 (java) S 13218 13252 13252 0 -1 4202496 10659 0 1 0 2097 24 0 0 20 0 19 0 337999848 2780299264 122587 33554432000 1073741824 1073778376 140736330405392 140736330396528 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13252/statm: 678784 122587 2271 9 0 669477 0
[pid=13252/tid=13253] ppid=13218 vsize=2715136 CPUtime=19.63 cores=0,2,4,6
/proc/13252/task/13253/stat : 13253 (java) R 13218 13252 13252 0 -1 4202560 2931 0 1 0 1955 8 0 0 20 0 19 0 337999849 2780299264 122587 33554432000 1073741824 1073778376 140736330405392 140341963402624 140341832169340 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13252/tid=13254] ppid=13218 vsize=2715136 CPUtime=0.07 cores=0,2,4,6
/proc/13252/task/13254/stat : 13254 (java) S 13218 13252 13252 0 -1 4202560 46 0 0 0 4 3 0 0 20 0 19 0 337999850 2780299264 122587 33554432000 1073741824 1073778376 140736330405392 140341829487144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13252/tid=13255] ppid=13218 vsize=2715136 CPUtime=0.06 cores=0,2,4,6
/proc/13252/task/13255/stat : 13255 (java) S 13218 13252 13252 0 -1 4202560 30 0 0 0 4 2 0 0 20 0 19 0 337999850 2780299264 122587 33554432000 1073741824 1073778376 140736330405392 140341828434344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13252/tid=13256] ppid=13218 vsize=2715136 CPUtime=0.05 cores=0,2,4,6
/proc/13252/task/13256/stat : 13256 (java) S 13218 13252 13252 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 19 0 337999850 2780299264 122587 33554432000 1073741824 1073778376 140736330405392 140341827381544 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13252/tid=13257] ppid=13218 vsize=2715136 CPUtime=0.09 cores=0,2,4,6
/proc/13252/task/13257/stat : 13257 (java) S 13218 13252 13252 0 -1 4202560 45 0 0 0 6 3 0 0 20 0 19 0 337999850 2780299264 122587 33554432000 1073741824 1073778376 140736330405392 140341826328744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13252/tid=13258] ppid=13218 vsize=2715136 CPUtime=0.04 cores=0,2,4,6
/proc/13252/task/13258/stat : 13258 (java) S 13218 13252 13252 0 -1 4202560 16 0 0 0 3 1 0 0 20 0 19 0 337999850 2780299264 122587 33554432000 1073741824 1073778376 140736330405392 140341825276968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13252/tid=13259] ppid=13218 vsize=2715136 CPUtime=0.03 cores=0,2,4,6
/proc/13252/task/13259/stat : 13259 (java) S 13218 13252 13252 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 337999850 2780299264 122587 33554432000 1073741824 1073778376 140736330405392 140341824224168 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13252/tid=13260] ppid=13218 vsize=2715136 CPUtime=0.06 cores=0,2,4,6
/proc/13252/task/13260/stat : 13260 (java) S 13218 13252 13252 0 -1 4202560 37 0 0 0 4 2 0 0 20 0 19 0 337999850 2780299264 122587 33554432000 1073741824 1073778376 140736330405392 140341823171368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13252/tid=13261] ppid=13218 vsize=2715136 CPUtime=0.07 cores=0,2,4,6
/proc/13252/task/13261/stat : 13261 (java) S 13218 13252 13252 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 19 0 337999850 2780299264 122587 33554432000 1073741824 1073778376 140736330405392 140341822118568 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13252/tid=13262] ppid=13218 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/13252/task/13262/stat : 13262 (java) S 13218 13252 13252 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 337999852 2780299264 122587 33554432000 1073741824 1073778376 140736330405392 140341339462120 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13252/tid=13263] ppid=13218 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/13252/task/13263/stat : 13263 (java) S 13218 13252 13252 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 337999852 2780299264 122587 33554432000 1073741824 1073778376 140736330405392 140341338408184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13252/tid=13264] ppid=13218 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/13252/task/13264/stat : 13264 (java) S 13218 13252 13252 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337999852 2780299264 122587 33554432000 1073741824 1073778376 140736330405392 140341337355272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13252/tid=13265] ppid=13218 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/13252/task/13265/stat : 13265 (java) S 13218 13252 13252 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337999855 2780299264 122587 33554432000 1073741824 1073778376 140736330405392 140341336303760 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13252/tid=13266] ppid=13218 vsize=2715136 CPUtime=0.47 cores=0,2,4,6
/proc/13252/task/13266/stat : 13266 (java) S 13218 13252 13252 0 -1 4202560 3169 0 0 0 47 0 0 0 20 0 19 0 337999855 2780299264 122587 33554432000 1073741824 1073778376 140736330405392 140341335251896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13252/tid=13267] ppid=13218 vsize=2715136 CPUtime=0.5 cores=0,2,4,6
/proc/13252/task/13267/stat : 13267 (java) S 13218 13252 13252 0 -1 4202560 2797 0 0 0 50 0 0 0 20 0 19 0 337999855 2780299264 122587 33554432000 1073741824 1073778376 140736330405392 140341334199096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13252/tid=13268] ppid=13218 vsize=2715136 CPUtime=0 cores=0,2,4,6

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

[pid=13252/tid=13260] ppid=13218 vsize=2715136 CPUtime=0.2 cores=0,2,4,6
/proc/13252/task/13260/stat : 13260 (java) R 13218 13252 13252 0 -1 4202560 108 0 0 0 16 4 0 0 20 0 19 0 337999850 2780299264 169269 33554432000 1073741824 1073778376 140736330405392 140341823171368 140341965874931 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13252/tid=13261] ppid=13218 vsize=2715136 CPUtime=0.19 cores=0,2,4,6
/proc/13252/task/13261/stat : 13261 (java) R 13218 13252 13252 0 -1 4202560 85 0 0 0 14 5 0 0 20 0 19 0 337999850 2780299264 169269 33554432000 1073741824 1073778376 140736330405392 140341822118744 140341965874931 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=13252/tid=13262] ppid=13218 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/13252/task/13262/stat : 13262 (java) S 13218 13252 13252 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 337999852 2780299264 169269 33554432000 1073741824 1073778376 140736330405392 140341339461000 215146869820 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13252/tid=13263] ppid=13218 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/13252/task/13263/stat : 13263 (java) S 13218 13252 13252 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 337999852 2780299264 169781 33554432000 1073741824 1073778376 140736330405392 140341338408184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13252/tid=13264] ppid=13218 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/13252/task/13264/stat : 13264 (java) S 13218 13252 13252 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337999852 2780299264 169781 33554432000 1073741824 1073778376 140736330405392 140341337355272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13252/tid=13265] ppid=13218 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/13252/task/13265/stat : 13265 (java) S 13218 13252 13252 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337999855 2780299264 169781 33554432000 1073741824 1073778376 140736330405392 140341336303760 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13252/tid=13266] ppid=13218 vsize=2715136 CPUtime=0.48 cores=0,2,4,6
/proc/13252/task/13266/stat : 13266 (java) S 13218 13252 13252 0 -1 4202560 3170 0 0 0 48 0 0 0 20 0 19 0 337999855 2780299264 169781 33554432000 1073741824 1073778376 140736330405392 140341335251896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13252/tid=13267] ppid=13218 vsize=2715136 CPUtime=0.5 cores=0,2,4,6
/proc/13252/task/13267/stat : 13267 (java) S 13218 13252 13252 0 -1 4202560 2797 0 0 0 50 0 0 0 20 0 19 0 337999855 2780299264 169781 33554432000 1073741824 1073778376 140736330405392 140341334199096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13252/tid=13268] ppid=13218 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/13252/task/13268/stat : 13268 (java) S 13218 13252 13252 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337999855 2780299264 169781 33554432000 1073741824 1073778376 140736330405392 140341333146488 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13252/tid=13269] ppid=13218 vsize=2715136 CPUtime=0.02 cores=0,2,4,6
/proc/13252/task/13269/stat : 13269 (java) S 13218 13252 13252 0 -1 4202560 5 0 0 0 1 1 0 0 20 0 19 0 337999855 2780299264 169781 33554432000 1073741824 1073778376 140736330405392 140341332093896 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13252/tid=13270] ppid=13218 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/13252/task/13270/stat : 13270 (java) S 13218 13252 13252 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338000063 2780299264 169781 33554432000 1073741824 1073778376 140736330405392 140341331039400 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 297.8
Current children cumulated vsize (KiB) 2851680

[startup+342.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/181 13286
/proc/meminfo: memFree=28578884/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=319.58 cores=0,2,4,6
/proc/13218/stat : 13218 (python) S 13216 13218 11290 0 -1 4202496 19782 87516 0 1 1522 236 30095 105 20 0 1 0 337979606 139821056 6381 33554432000 4194304 4196484 140736330509536 140736330501296 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/13218/statm: 34136 6381 1180 1 0 5193 0
[pid=13282] ppid=13218 vsize=61900 CPUtime=41.53 cores=0,2,4,6
/proc/13282/stat : 13282 (wbo1.4b) R 13218 13282 13282 0 -1 4202496 15713 0 0 0 4144 9 0 0 20 0 1 0 338009681 63385600 15009 33554432000 134512640 135751879 4293711664 4293709680 134616514 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/13282/statm: 15475 15009 144 303 0 15170 0
Current children cumulated CPU time (s) 361.11
Current children cumulated vsize (KiB) 198444

[startup+402.3 s]
/proc/loadavg: 2.06 2.09 2.07 3/181 13295
/proc/meminfo: memFree=28630784/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=422.92 cores=0,2,4,6
/proc/13218/stat : 13218 (python) S 13216 13218 11290 0 -1 4202496 20993 122896 0 1 1777 272 40116 127 20 0 1 0 337979606 139821056 6381 33554432000 4194304 4196484 140736330509536 140736330501296 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/13218/statm: 34136 6381 1180 1 0 5193 0
[pid=13295] ppid=13218 vsize=17728 CPUtime=1.07 cores=0,2,4,6
/proc/13295/stat : 13295 (bsolo_pb10) R 13218 13295 13295 0 -1 4202496 2299 0 0 0 107 0 0 0 20 0 1 0 338019727 18153472 1943 33554432000 134512640 137138936 4294220224 4294064700 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/13295/statm: 4432 1943 185 642 0 3788 0
Current children cumulated CPU time (s) 423.99
Current children cumulated vsize (KiB) 154272

[startup+462.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/181 13304
/proc/meminfo: memFree=28606088/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=487.08 cores=0,2,4,6
/proc/13218/stat : 13218 (python) R 13216 13218 11290 0 -1 4202496 28419 150961 0 1 2090 323 46153 142 20 0 1 0 337979606 139821056 6384 33554432000 4194304 4196484 140736330509536 140736330501296 139912852119376 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/13218/statm: 34136 6384 1180 1 0 5193 0
Current children cumulated CPU time (s) 487.08
Current children cumulated vsize (KiB) 136544

[startup+522.3 s]
/proc/loadavg: 2.15 2.11 2.08 3/199 13352
/proc/meminfo: memFree=28026592/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=551.42 cores=0,2,4,6
/proc/13218/stat : 13218 (python) S 13216 13218 11290 0 -1 4202496 35769 172721 0 2 2388 370 52190 194 20 0 1 0 337979606 139821056 6387 33554432000 4194304 4196484 140736330509536 140736330501296 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/13218/statm: 34136 6387 1180 1 0 5193 0
Current children cumulated CPU time (s) 551.42
Current children cumulated vsize (KiB) 136544

[startup+582.3 s]
/proc/loadavg: 2.14 2.12 2.08 3/181 13373
/proc/meminfo: memFree=28574152/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=565.21 cores=0,2,4,6
/proc/13218/stat : 13218 (python) S 13216 13218 11290 0 -1 4202496 41881 185642 0 2 2684 417 53220 200 20 0 1 0 337979606 139821056 6389 33554432000 4194304 4196484 140736330509536 140736330501296 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/13218/statm: 34136 6389 1180 1 0 5193 0
[pid=13373] ppid=13218 vsize=64088 CPUtime=49.79 cores=0,2,4,6
/proc/13373/stat : 13373 (bsolo_pb10) R 13218 13373 13373 0 -1 4202496 14315 0 0 0 4972 7 0 0 20 0 1 0 338032855 65626112 13568 33554432000 134512640 137138936 4293797728 4293796656 134542316 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/13373/statm: 16022 13568 192 642 0 15378 0
Current children cumulated CPU time (s) 615
Current children cumulated vsize (KiB) 200632

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

[startup+588.7 s]
/proc/loadavg: 2.12 2.11 2.08 3/181 13373
/proc/meminfo: memFree=28570044/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=565.51 cores=0,2,4,6
/proc/13218/stat : 13218 (python) S 13216 13218 11290 0 -1 4202496 41884 185642 0 2 2710 421 53220 200 20 0 1 0 337979606 139821056 6389 33554432000 4194304 4196484 140736330509536 140736330501296 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/13218/statm: 34136 6389 1180 1 0 5193 0
[pid=13373] ppid=13218 vsize=68096 CPUtime=56.19 cores=0,2,4,6
/proc/13373/stat : 13373 (bsolo_pb10) R 13218 13373 13373 0 -1 4202496 15322 0 0 0 5611 8 0 0 20 0 1 0 338032855 69730304 14569 33554432000 134512640 137138936 4293797728 4293796656 134542480 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/13373/statm: 17024 14569 192 642 0 16380 0
Current children cumulated CPU time (s) 621.7
Current children cumulated vsize (KiB) 204640

[startup+614.3 s]
/proc/loadavg: 2.08 2.10 2.08 3/181 13379
/proc/meminfo: memFree=28567608/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=566.73 cores=0,2,4,6
/proc/13218/stat : 13218 (python) S 13216 13218 11290 0 -1 4202496 41895 185642 0 2 2814 439 53220 200 20 0 1 0 337979606 139821056 6389 33554432000 4194304 4196484 140736330509536 140736330501296 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/13218/statm: 34136 6389 1180 1 0 5193 0
[pid=13373] ppid=13218 vsize=86968 CPUtime=81.76 cores=0,2,4,6
/proc/13373/stat : 13373 (bsolo_pb10) R 13218 13373 13373 0 -1 4202496 20062 0 0 0 8166 10 0 0 20 0 1 0 338032855 89055232 19286 33554432000 134512640 137138936 4293797728 4293796480 134575200 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/13373/statm: 21742 19286 192 642 0 21098 0
Current children cumulated CPU time (s) 648.49
Current children cumulated vsize (KiB) 223512

[startup+627.1 s]
/proc/loadavg: 2.06 2.10 2.08 3/181 13383
/proc/meminfo: memFree=28556432/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=567.31 cores=0,2,4,6
/proc/13218/stat : 13218 (python) S 13216 13218 11290 0 -1 4202496 41901 185642 0 2 2864 447 53220 200 20 0 1 0 337979606 139821056 6389 33554432000 4194304 4196484 140736330509536 140736330501296 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/13218/statm: 34136 6389 1180 1 0 5193 0
[pid=13373] ppid=13218 vsize=96864 CPUtime=94.55 cores=0,2,4,6
/proc/13373/stat : 13373 (bsolo_pb10) R 13218 13373 13373 0 -1 4202496 22544 0 0 0 9444 11 0 0 20 0 1 0 338032855 99188736 21760 33554432000 134512640 137138936 4293797728 4293796656 134542199 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/13373/statm: 24216 21760 192 642 0 23572 0
Current children cumulated CPU time (s) 661.86
Current children cumulated vsize (KiB) 233408

[startup+630.307 s]
/proc/loadavg: 2.06 2.10 2.08 3/181 13383
/proc/meminfo: memFree=28551968/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=567.45 cores=0,2,4,6
/proc/13218/stat : 13218 (python) S 13216 13218 11290 0 -1 4202496 41902 185642 0 2 2877 448 53220 200 20 0 1 0 337979606 139821056 6389 33554432000 4194304 4196484 140736330509536 140736330501296 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/13218/statm: 34136 6389 1180 1 0 5193 0
[pid=13373] ppid=13218 vsize=99384 CPUtime=97.75 cores=0,2,4,6
/proc/13373/stat : 13373 (bsolo_pb10) R 13218 13373 13373 0 -1 4202496 23174 0 0 0 9764 11 0 0 20 0 1 0 338032855 101769216 22390 33554432000 134512640 137138936 4293797728 4293796656 134542503 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/13373/statm: 24846 22390 192 642 0 24202 0
Current children cumulated CPU time (s) 665.2
Current children cumulated vsize (KiB) 235928

[startup+633.5 s]
/proc/loadavg: 2.06 2.10 2.08 4/181 13401
/proc/meminfo: memFree=28639340/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=668.56 cores=0,2,4,6
/proc/13218/stat : 13218 (python) R 13216 13218 11290 0 -1 4202496 49136 217575 0 2 2938 459 63243 216 20 0 1 0 337979606 139821056 6391 33554432000 4194304 4196484 140736330509536 140736330497864 139912852405527 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/13218/statm: 34136 6391 1180 1 0 5193 0
[pid=13401] ppid=13218 vsize=0 CPUtime=0 cores=0,2,4,6
/proc/13401/stat : 13401 (clasp-1.3.3-x86) Z 13218 13401 13401 0 -1 4202508 529 0 0 0 0 0 0 0 20 0 1 0 338042955 0 0 33554432000 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13401/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 668.56
Current children cumulated vsize (KiB) 136544

[startup+635.1 s]
/proc/loadavg: 2.06 2.10 2.08 3/181 13428
/proc/meminfo: memFree=28639092/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=670.16 cores=0,2,4,6
/proc/13218/stat : 13218 (python) R 13216 13218 11290 0 -1 4202496 64750 236536 0 2 3066 477 63248 225 20 0 1 0 337979606 139821056 6397 33554432000 4194304 4196484 140736330509536 140736330501296 139912853057543 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/13218/statm: 34136 6397 1180 1 0 5193 0
Current children cumulated CPU time (s) 670.16
Current children cumulated vsize (KiB) 136544

[startup+635.5 s]
/proc/loadavg: 2.06 2.10 2.08 3/181 13428
/proc/meminfo: memFree=28639092/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136548 CPUtime=670.56 cores=0,2,4,6
/proc/13218/stat : 13218 (python) R 13216 13218 11290 0 -1 4202496 68389 240906 0 2 3098 482 63249 227 20 0 1 0 337979606 139825152 6399 33554432000 4194304 4196484 140736330509536 140736330501296 215143499136 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/13218/statm: 34136 6399 1180 1 0 5193 0
Current children cumulated CPU time (s) 670.56
Current children cumulated vsize (KiB) 136548

[startup+635.7 s]
/proc/loadavg: 2.05 2.09 2.08 3/181 13455
/proc/meminfo: memFree=28639216/32873844 swapFree=7380/7380
[pid=13218] ppid=13216 vsize=136544 CPUtime=670.77 cores=0,2,4,6
/proc/13218/stat : 13218 (python) R 13216 13218 11290 0 -1 4202496 70746 243807 0 2 3114 485 63250 228 20 0 1 0 337979606 139821056 6400 33554432000 4194304 4196484 140736330509536 140736330501296 215143539639 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/13218/statm: 34137 6400 1180 1 0 5194 0
[pid=13455] ppid=13218 vsize=0 CPUtime=0 cores=0,2,4,6
/proc/13455/stat : 13455 (clasp-1.3.3-x86) Z 13218 13455 13455 0 -1 4202508 531 0 0 0 0 0 0 0 20 0 1 0 338043170 0 0 33554432000 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13455/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 670.77
Current children cumulated vsize (KiB) 136544

Child status: 0
Real time (s): 635.787
CPU time (s): 670.877
CPU user time (s): 663.723
CPU system time (s): 7.15391
CPU usage (%): 105.519
Max. virtual memory (cumulated for all children) (KiB): 2851684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 663.723
system time used= 7.15391
maximum resident set size= 726312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320899
page faults= 2
swaps= 0
block input operations= 248
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8378
involuntary context switches= 5924

runsolver used 1.82072 second user time and 4.22936 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 12:15:48
IDJOB=3737766
IDBENCH=48313
IDSOLVER=2323
FILE ID=node133/3737766-1338718548
RUNJOBID= node133-1338713154-11306
PBS_JOBID= 14636724
Free space on /tmp= 70464 MiB

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

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

MD5SUM BENCH= c1794605d16cd8196553c490f5507fd9
RANDOM SEED=1377016518

node133.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.540
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.08
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.540
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.92
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.540
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	: 5331.92
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.540
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.91
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.540
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.91
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.540
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.90
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.540
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.540
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:        28639012 kB
Buffers:          433768 kB
Cached:          2824084 kB
SwapCached:          676 kB
Active:          1552348 kB
Inactive:        1780172 kB
Active(anon):      66484 kB
Inactive(anon):    10220 kB
Active(file):    1485864 kB
Inactive(file):  1769952 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             20544 kB
Writeback:             8 kB
AnonPages:         80868 kB
Mapped:            14452 kB
Shmem:                 0 kB
Slab:             760976 kB
SReclaimable:     202196 kB
SUnreclaim:       558780 kB
KernelStack:        1496 kB
PageTables:         4184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     189984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 70444 MiB
End job on node133 at 2012-06-03 12:26:24