Trace number 2675912

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
borg-pb 10.05.30? 684.078 645.906

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_3_40.opb
MD5SUM6ddc144a63b87021a78f3fe4530ac86f
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark247.072
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6180
Sum of products size (including duplicates)12360
Number of different products3090
Sum of products size6180

Solver Data 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2675912-1277135772/watcher-2675912-1277135772 -o /tmp/evaluation-result-2675912-1277135772/solver-2675912-1277135772 -C 1800 -W 2000 -M 1800 solver HOME/instance-2675912-1277135772.opb 773076064 

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


[startup+0 s]
/proc/loadavg: 1.07 1.06 1.01 2/105 12892
/proc/meminfo: memFree=1540724/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=16708 CPUtime=0
/proc/12892/stat : 12892 (python) R 12890 12892 12781 0 -1 4202496 757 0 0 0 0 0 0 0 23 0 1 0 54870452 17108992 521 1992294400 4194304 4196484 140735321316272 18446744073709551615 219557756816 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/12892/statm: 4177 521 281 1 0 273 0

[startup+0.107214 s]
/proc/loadavg: 1.07 1.06 1.01 2/105 12892
/proc/meminfo: memFree=1540724/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=32156 CPUtime=0.08
/proc/12892/stat : 12892 (python) R 12890 12892 12781 0 -1 4202496 2418 0 0 0 5 3 0 0 23 0 1 0 54870452 32927744 1390 1992294400 4194304 4196484 140737107108352 18446744073709551615 219541166080 0 2147483391 16781312 2 0 0 0 17 0 0 0 0
/proc/12892/statm: 8039 1390 459 1 0 911 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32156

[startup+0.200962 s]
/proc/loadavg: 1.07 1.06 1.01 2/105 12892
/proc/meminfo: memFree=1540724/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=56956 CPUtime=0.15
/proc/12892/stat : 12892 (python) R 12890 12892 12781 0 -1 4202496 3358 0 0 0 9 6 0 0 23 0 1 0 54870452 58322944 2232 1992294400 4194304 4196484 140737107108352 18446744073709551615 219540824213 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12892/statm: 14239 2232 596 1 0 1622 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 56956

[startup+0.300977 s]
/proc/loadavg: 1.07 1.06 1.01 2/105 12892
/proc/meminfo: memFree=1540724/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=71248 CPUtime=0.24
/proc/12892/stat : 12892 (python) R 12890 12892 12781 0 -1 4202496 4109 0 0 0 16 8 0 0 23 0 1 0 54870452 72957952 2932 1992294400 4194304 4196484 140737107108352 18446744073709551615 47343195752981 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12892/statm: 17812 2932 693 1 0 2299 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 71248

[startup+0.70102 s]
/proc/loadavg: 1.07 1.06 1.01 2/105 12892
/proc/meminfo: memFree=1540724/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=98788 CPUtime=0.53
/proc/12892/stat : 12892 (python) R 12890 12892 12781 0 -1 4202496 4891 0 0 0 33 20 0 0 24 0 1 0 54870452 101158912 3585 1992294400 4194304 4196484 140737107108352 18446744073709551615 219540854210 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12892/statm: 24697 3585 1022 1 0 2554 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 98788

[startup+1.50112 s]
/proc/loadavg: 1.07 1.06 1.01 2/106 12897
/proc/meminfo: memFree=1520752/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=119924 CPUtime=1.07
/proc/12892/stat : 12892 (python) D 12890 12892 12781 0 -1 4202496 9200 929 0 0 72 35 0 0 25 0 1 0 54870452 122802176 6316 1992294400 4194304 4196484 140737107108352 18446744073709551615 219541173815 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 0
/proc/12892/statm: 29981 6316 1063 1 0 5235 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 119924

[startup+3.10132 s]
/proc/loadavg: 1.07 1.06 1.01 1/106 12897
/proc/meminfo: memFree=1518272/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134108 CPUtime=1.27
/proc/12892/stat : 12892 (python) S 12890 12892 12781 0 -1 4202496 10449 1457 0 0 88 39 0 0 19 0 1 0 54870452 137326592 6309 1992294400 4194304 4196484 140737107108352 18446744073709551615 219552998149 0 0 16781312 2 18446744071562232103 0 0 17 0 0 0 144
/proc/12892/statm: 33527 6309 1135 1 0 5164 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 134108
heavy processes:

[startup+6.30071 s]
/proc/loadavg: 1.15 1.08 1.01 3/107 12904
/proc/meminfo: memFree=1512312/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134108 CPUtime=1.92
/proc/12892/stat : 12892 (python) S 12890 12892 12781 0 -1 4202496 12688 3818 0 0 141 47 1 3 16 0 1 0 54870452 137326592 6332 1992294400 4194304 4196484 140737107108352 18446744073709551615 219541188111 0 0 16781312 2 159836005329808142 0 0 17 1 0 0 144
/proc/12892/statm: 33527 6332 1143 1 0 5164 0
[pid=12904] ppid=12892 vsize=9756 CPUtime=2.96
/proc/12904/stat : 12904 (wbo1.4a) R 12892 12904 12904 0 -1 4202496 2289 0 0 0 292 4 0 0 25 0 1 0 54870783 9990144 1954 1992294400 134512640 135751879 4293885216 18446744073709551615 134643070 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/12904/statm: 2439 1954 139 303 0 2134 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 143864
heavy processes:

[startup+12.7015 s]
/proc/loadavg: 1.13 1.08 1.01 2/107 12904
/proc/meminfo: memFree=1503880/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134108 CPUtime=2.33
/proc/12892/stat : 12892 (python) S 12890 12892 12781 0 -1 4202496 12702 3818 0 0 178 51 1 3 15 0 1 0 54870452 137326592 6332 1992294400 4194304 4196484 140737107108352 18446744073709551615 219541188111 0 0 16781312 2 159836005329808142 0 0 17 1 0 0 144
/proc/12892/statm: 33527 6332 1143 1 0 5164 0
[pid=12904] ppid=12892 vsize=19888 CPUtime=9.31
/proc/12904/stat : 12904 (wbo1.4a) R 12892 12904 12904 0 -1 4202496 4828 0 0 0 924 7 0 0 25 0 1 0 54870783 20365312 4493 1992294400 134512640 135751879 4293885216 18446744073709551615 134616453 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/12904/statm: 4972 4493 139 303 0 4667 0
Current children cumulated CPU time (s) 11.64
Current children cumulated vsize (KiB) 153996

[startup+25.5011 s]
/proc/loadavg: 1.10 1.07 1.01 2/107 12904
/proc/meminfo: memFree=1491852/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134108 CPUtime=3.12
/proc/12892/stat : 12892 (python) S 12890 12892 12781 0 -1 4202496 12725 3818 0 0 248 60 1 3 16 0 1 0 54870452 137326592 6332 1992294400 4194304 4196484 140737107108352 18446744073709551615 219541188111 0 0 16781312 2 159836005329808142 0 0 17 1 0 0 144
/proc/12892/statm: 33527 6332 1143 1 0 5164 0
[pid=12904] ppid=12892 vsize=30584 CPUtime=22.03
/proc/12904/stat : 12904 (wbo1.4a) R 12892 12904 12904 0 -1 4202496 7467 0 0 0 2189 14 0 0 25 0 1 0 54870783 31318016 7132 1992294400 134512640 135751879 4293885216 18446744073709551615 134516986 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/12904/statm: 7646 7132 139 303 0 7341 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 164692

[startup+51.1012 s]
/proc/loadavg: 1.07 1.06 1.01 2/107 12906
/proc/meminfo: memFree=1473500/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134108 CPUtime=4.57
/proc/12892/stat : 12892 (python) S 12890 12892 12781 0 -1 4202496 12771 3818 0 0 377 76 1 3 15 0 1 0 54870452 137326592 6332 1992294400 4194304 4196484 140737107108352 18446744073709551615 219541188111 0 0 16781312 2 159836005329808142 0 0 17 1 0 0 144
/proc/12892/statm: 33527 6332 1143 1 0 5164 0
[pid=12904] ppid=12892 vsize=49060 CPUtime=47.48
/proc/12904/stat : 12904 (wbo1.4a) R 12892 12904 12904 0 -1 4202496 12092 0 0 0 4722 26 0 0 25 0 1 0 54870783 50237440 11757 1992294400 134512640 135751879 4293885216 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/12904/statm: 12265 11757 139 303 0 11960 0
Current children cumulated CPU time (s) 52.05
Current children cumulated vsize (KiB) 183168

[startup+102.301 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 12912
/proc/meminfo: memFree=1472632/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134108 CPUtime=58.59
/proc/12892/stat : 12892 (python) S 12890 12892 12781 0 -1 4202496 15202 19650 0 0 683 118 5023 35 16 0 1 0 54870452 137326592 6334 1992294400 4194304 4196484 140737107108352 18446744073709551615 219541188111 0 0 16781312 2 159836005329808142 0 0 17 1 0 0 144
/proc/12892/statm: 33527 6334 1143 1 0 5164 0
[pid=12912] ppid=12892 vsize=49312 CPUtime=47.68
/proc/12912/stat : 12912 (wbo1.4a) R 12892 12912 12912 0 -1 4202496 12144 0 0 0 4744 24 0 0 25 0 1 0 54875886 50495488 11809 1992294400 134512640 135751879 4288499936 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12912/statm: 12328 11809 139 303 0 12023 0
Current children cumulated CPU time (s) 106.27
Current children cumulated vsize (KiB) 183420

[startup+162.301 s]
/proc/loadavg: 1.04 1.05 1.00 2/107 12917
/proc/meminfo: memFree=1509584/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134108 CPUtime=163.34
/proc/12892/stat : 12892 (python) S 12890 12892 12781 0 -1 4202496 16412 44681 0 0 1018 159 15068 89 15 0 1 0 54870452 137326592 6336 1992294400 4194304 4196484 140737107108352 18446744073709551615 219541188111 0 0 16781312 2 159688670771686158 0 0 17 0 0 0 144
/proc/12892/statm: 33527 6336 1143 1 0 5164 0
[pid=12917] ppid=12892 vsize=13152 CPUtime=6.33
/proc/12917/stat : 12917 (wbo1.4b) R 12892 12917 12917 0 -1 4202496 3147 0 0 0 629 4 0 0 25 0 1 0 54886048 13467648 2809 1992294400 134512640 135751879 4292368928 18446744073709551615 134616497 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12917/statm: 3288 2809 144 303 0 2983 0
Current children cumulated CPU time (s) 169.67
Current children cumulated vsize (KiB) 147260

[startup+222.309 s]
/proc/loadavg: 1.08 1.07 1.01 2/119 12934
/proc/meminfo: memFree=1342400/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134108 CPUtime=217.47
/proc/12892/stat : 12892 (python) S 12890 12892 12781 0 -1 4202496 17733 59224 0 0 1345 201 20087 114 15 0 1 0 54870452 137326592 6337 1992294400 4194304 4196484 140737107108352 18446744073709551615 219541188111 0 0 16781312 2 159688670771686158 0 0 17 0 0 0 144
/proc/12892/statm: 33527 6337 1143 1 0 5164 0
[pid=12922] ppid=12892 vsize=1480688 CPUtime=17.51
/proc/12922/stat : 12922 (java) S 12892 12922 12922 0 -1 4202496 47669 0 1 0 1730 21 0 0 17 0 13 0 54891096 1516224512 45483 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12922/statm: 370172 45483 1438 10 0 367474 0
[pid=12922/tid=12923] ppid=12892 vsize=1480688 CPUtime=15.38
/proc/12922/task/12923/stat : 12923 (java) R 12892 12922 12922 0 -1 4202560 31505 0 1 0 1525 13 0 0 25 0 13 0 54891098 1516224512 45483 1992294400 134512640 134550932 4291974640 18446744073709551615 4109434886 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12922/tid=12924] ppid=12892 vsize=1480688 CPUtime=0.16
/proc/12922/task/12924/stat : 12924 (java) S 12892 12922 12922 0 -1 4202560 6216 0 0 0 14 2 0 0 16 0 13 0 54891099 1516224512 45483 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 1 0 0 0
[pid=12922/tid=12925] ppid=12892 vsize=1480688 CPUtime=0.16
/proc/12922/task/12925/stat : 12925 (java) S 12892 12922 12922 0 -1 4202560 5595 0 0 0 14 2 0 0 16 0 13 0 54891099 1516224512 45483 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 0 0 0 0
[pid=12922/tid=12926] ppid=12892 vsize=1480688 CPUtime=0
/proc/12922/task/12926/stat : 12926 (java) S 12892 12922 12922 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 13 0 54891101 1516224512 45483 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 0 0 16800975 18446604437809243456 0 0 -1 1 0 0 0
[pid=12922/tid=12927] ppid=12892 vsize=1480688 CPUtime=0
/proc/12922/task/12927/stat : 12927 (java) S 12892 12922 12922 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 54891102 1516224512 45483 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 0 0 0 0
[pid=12922/tid=12928] ppid=12892 vsize=1480688 CPUtime=0
/proc/12922/task/12928/stat : 12928 (java) S 12892 12922 12922 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 54891102 1516224512 45483 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 0 0 0 0
[pid=12922/tid=12929] ppid=12892 vsize=1480688 CPUtime=0
/proc/12922/task/12929/stat : 12929 (java) S 12892 12922 12922 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 54891106 1516224512 45483 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 0 0 0 0
[pid=12922/tid=12930] ppid=12892 vsize=1480688 CPUtime=0.73
/proc/12922/task/12930/stat : 12930 (java) S 12892 12922 12922 0 -1 4202560 1667 0 0 0 73 0 0 0 15 0 13 0 54891106 1516224512 45483 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 0 0 0 0
[pid=12922/tid=12931] ppid=12892 vsize=1480688 CPUtime=1.01
/proc/12922/task/12931/stat : 12931 (java) S 12892 12922 12922 0 -1 4202560 1302 0 0 0 101 0 0 0 15 0 13 0 54891106 1516224512 45483 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 0 0 0 0
[pid=12922/tid=12932] ppid=12892 vsize=1480688 CPUtime=0
/proc/12922/task/12932/stat : 12932 (java) S 12892 12922 12922 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 54891106 1516224512 45483 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 0 0 0 0
[pid=12922/tid=12933] ppid=12892 vsize=1480688 CPUtime=0
/proc/12922/task/12933/stat : 12933 (java) S 12892 12922 12922 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 54891106 1516224512 45483 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 1 0 0 0
[pid=12922/tid=12934] ppid=12892 vsize=1480688 CPUtime=0
/proc/12922/task/12934/stat : 12934 (java) S 12892 12922 12922 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 13 0 54891341 1516224512 45483 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 234.98
Current children cumulated vsize (KiB) 1614796

[startup+282.302 s]
/proc/loadavg: 1.06 1.07 1.01 2/119 12936
/proc/meminfo: memFree=1274076/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134108 CPUtime=220.87
/proc/12892/stat : 12892 (python) S 12890 12892 12781 0 -1 4202496 17807 59224 0 0 1649 237 20087 114 15 0 1 0 54870452 137326592 6337 1992294400 4194304 4196484 140737107108352 18446744073709551615 219541188111 0 0 16781312 2 159688670771686158 0 0 17 0 0 0 144
/proc/12892/statm: 33527 6337 1143 1 0 5164 0
[pid=12922] ppid=12892 vsize=1480688 CPUtime=77.43
/proc/12922/stat : 12922 (java) S 12892 12922 12922 0 -1 4202496 67727 0 1 0 7711 32 0 0 17 0 13 0 54891096 1516224512 62556 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12922/statm: 370172 62556 1438 10 0 367474 0
[pid=12922/tid=12923] ppid=12892 vsize=1480688 CPUtime=74.61
/proc/12922/task/12923/stat : 12923 (java) R 12892 12922 12922 0 -1 4202560 31526 0 1 0 7447 14 0 0 25 0 13 0 54891098 1516224512 62556 1992294400 134512640 134550932 4291974640 18446744073709551615 4109775968 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12922/tid=12924] ppid=12892 vsize=1480688 CPUtime=0.5
/proc/12922/task/12924/stat : 12924 (java) S 12892 12922 12922 0 -1 4202560 17016 0 0 0 42 8 0 0 15 0 13 0 54891099 1516224512 62556 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 1 0 0 0
[pid=12922/tid=12925] ppid=12892 vsize=1480688 CPUtime=0.5
/proc/12922/task/12925/stat : 12925 (java) S 12892 12922 12922 0 -1 4202560 14824 0 0 0 43 7 0 0 16 0 13 0 54891099 1516224512 62556 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 0 0 0 0
[pid=12922/tid=12926] ppid=12892 vsize=1480688 CPUtime=0
/proc/12922/task/12926/stat : 12926 (java) S 12892 12922 12922 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 13 0 54891101 1516224512 62556 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 0 0 16800975 18446604437809243456 0 0 -1 0 0 0 0
[pid=12922/tid=12927] ppid=12892 vsize=1480688 CPUtime=0
/proc/12922/task/12927/stat : 12927 (java) S 12892 12922 12922 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 54891102 1516224512 62556 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 0 0 0 0
[pid=12922/tid=12928] ppid=12892 vsize=1480688 CPUtime=0
/proc/12922/task/12928/stat : 12928 (java) S 12892 12922 12922 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 54891102 1516224512 62556 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 0 0 0 0
[pid=12922/tid=12929] ppid=12892 vsize=1480688 CPUtime=0
/proc/12922/task/12929/stat : 12929 (java) S 12892 12922 12922 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 54891106 1516224512 62556 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 0 0 0 0
[pid=12922/tid=12930] ppid=12892 vsize=1480688 CPUtime=0.74
/proc/12922/task/12930/stat : 12930 (java) S 12892 12922 12922 0 -1 4202560 1667 0 0 0 74 0 0 0 15 0 13 0 54891106 1516224512 62556 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 0 0 0 0
[pid=12922/tid=12931] ppid=12892 vsize=1480688 CPUtime=1.01
/proc/12922/task/12931/stat : 12931 (java) S 12892 12922 12922 0 -1 4202560 1302 0 0 0 101 0 0 0 15 0 13 0 54891106 1516224512 62556 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 0 0 0 0
[pid=12922/tid=12932] ppid=12892 vsize=1480688 CPUtime=0
/proc/12922/task/12932/stat : 12932 (java) S 12892 12922 12922 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 54891106 1516224512 62556 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 0 0 0 0
[pid=12922/tid=12933] ppid=12892 vsize=1480688 CPUtime=0
/proc/12922/task/12933/stat : 12933 (java) S 12892 12922 12922 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 13 0 54891106 1516224512 62556 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 0 0 0 0
[pid=12922/tid=12934] ppid=12892 vsize=1480688 CPUtime=0
/proc/12922/task/12934/stat : 12934 (java) S 12892 12922 12922 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 13 0 54891341 1516224512 62556 1992294400 134512640 134550932 4291974640 18446744073709551615 4294960144 0 4 0 16800975 18446604437809243456 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 298.3
Current children cumulated vsize (KiB) 1614796

[startup+342.301 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 12950
/proc/meminfo: memFree=1479268/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134108 CPUtime=325.37
/proc/12892/stat : 12892 (python) S 12890 12892 12781 0 -1 4202496 19104 132518 0 1 1995 276 30113 153 15 0 1 0 54870452 137326592 6339 1992294400 4194304 4196484 140737107108352 18446744073709551615 219541188111 0 0 16781312 2 159688670771686158 0 0 17 0 0 0 144
/proc/12892/statm: 33527 6339 1143 1 0 5164 0
[pid=12948] ppid=12892 vsize=42248 CPUtime=36.47
/proc/12948/stat : 12948 (wbo1.4b) R 12892 12948 12948 0 -1 4202496 10395 0 0 0 3630 17 0 0 25 0 1 0 54901012 43261952 10053 1992294400 134512640 135751879 4287941376 18446744073709551615 134517414 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/12948/statm: 10562 10053 144 303 0 10257 0
Current children cumulated CPU time (s) 361.84
Current children cumulated vsize (KiB) 176356

[startup+402.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 12950
/proc/meminfo: memFree=1430908/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134108 CPUtime=328.83
/proc/12892/stat : 12892 (python) S 12890 12892 12781 0 -1 4202496 19135 132518 0 1 2303 314 30113 153 16 0 1 0 54870452 137326592 6339 1992294400 4194304 4196484 140737107108352 18446744073709551615 219541188111 0 0 16781312 2 159688670771686158 0 0 17 0 0 0 144
/proc/12892/statm: 33527 6339 1143 1 0 5164 0
[pid=12948] ppid=12892 vsize=91604 CPUtime=96.08
/proc/12948/stat : 12948 (wbo1.4b) R 12892 12948 12948 0 -1 4202496 22737 0 0 0 9560 48 0 0 25 0 1 0 54901012 93802496 22395 1992294400 134512640 135751879 4287941376 18446744073709551615 134604797 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12948/statm: 22901 22395 144 303 0 22596 0
Current children cumulated CPU time (s) 424.91
Current children cumulated vsize (KiB) 225712

[startup+462.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 12964
/proc/meminfo: memFree=1511012/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134108 CPUtime=484.44
/proc/12892/stat : 12892 (python) S 12890 12892 12781 0 -1 4202496 23992 168908 0 1 2684 358 45180 222 15 0 1 0 54870452 137326592 6342 1992294400 4194304 4196484 140737107108352 18446744073709551615 219541188111 0 0 16781312 2 159836005329808142 0 0 17 1 0 0 144
/proc/12892/statm: 33527 6342 1143 1 0 5164 0
[pid=12964] ppid=12892 vsize=10264 CPUtime=4.04
/proc/12964/stat : 12964 (wbo1.4a) R 12892 12964 12964 0 -1 4202496 2441 0 0 0 401 3 0 0 25 0 1 0 54916277 10510336 2099 1992294400 134512640 135751879 4290393616 18446744073709551615 134616516 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/12964/statm: 2566 2099 139 303 0 2261 0
Current children cumulated CPU time (s) 488.48
Current children cumulated vsize (KiB) 144372

[startup+522.302 s]
/proc/loadavg: 1.05 1.04 1.00 2/119 12999
/proc/meminfo: memFree=1305760/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134108 CPUtime=509.76
/proc/12892/stat : 12892 (python) S 12890 12892 12781 0 -1 4202496 32406 184434 0 1 3076 412 47244 244 15 0 1 0 54870452 137326592 6344 1992294400 4194304 4196484 140737107108352 18446744073709551615 219541188111 0 0 16781312 2 159836005329808142 0 0 17 1 0 0 144
/proc/12892/statm: 33527 6344 1143 1 0 5164 0
[pid=12985] ppid=12892 vsize=1481784 CPUtime=43.9
/proc/12985/stat : 12985 (java) S 12892 12985 12985 0 -1 4202496 58387 0 1 0 4361 29 0 0 23 0 13 0 54918442 1517346816 54527 1992294400 134512640 134550932 4290023520 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12985/statm: 370446 54527 1438 10 0 367748 0
[pid=12985/tid=12986] ppid=12892 vsize=1481784 CPUtime=41.48
/proc/12985/task/12986/stat : 12986 (java) R 12892 12985 12985 0 -1 4202560 31493 0 1 0 4134 14 0 0 25 0 13 0 54918444 1517346816 54527 1992294400 134512640 134550932 4290023520 18446744073709551615 4109239968 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12985/tid=12987] ppid=12892 vsize=1481784 CPUtime=0.33
/proc/12985/task/12987/stat : 12987 (java) S 12892 12985 12985 0 -1 4202560 11442 0 0 0 27 6 0 0 15 0 13 0 54918445 1517346816 54527 1992294400 134512640 134550932 4290023520 18446744073709551615 4294960144 0 4 0 16800975 18446604437386737536 0 0 -1 1 0 0 0
[pid=12985/tid=12988] ppid=12892 vsize=1481784 CPUtime=0.34
/proc/12985/task/12988/stat : 12988 (java) S 12892 12985 12985 0 -1 4202560 10988 0 0 0 29 5 0 0 15 0 13 0 54918445 1517346816 54527 1992294400 134512640 134550932 4290023520 18446744073709551615 4294960144 0 4 0 16800975 18446604437386737536 0 0 -1 0 0 0 0
[pid=12985/tid=12989] ppid=12892 vsize=1481784 CPUtime=0
/proc/12985/task/12989/stat : 12989 (java) S 12892 12985 12985 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 13 0 54918447 1517346816 54527 1992294400 134512640 134550932 4290023520 18446744073709551615 4294960144 0 0 0 16800975 18446604437386737536 0 0 -1 0 0 0 0
[pid=12985/tid=12990] ppid=12892 vsize=1481784 CPUtime=0
/proc/12985/task/12990/stat : 12990 (java) S 12892 12985 12985 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 54918447 1517346816 54527 1992294400 134512640 134550932 4290023520 18446744073709551615 4294960144 0 4 0 16800975 18446604437386737536 0 0 -1 0 0 0 0
[pid=12985/tid=12991] ppid=12892 vsize=1481784 CPUtime=0
/proc/12985/task/12991/stat : 12991 (java) S 12892 12985 12985 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 54918447 1517346816 54527 1992294400 134512640 134550932 4290023520 18446744073709551615 4294960144 0 4 0 16800975 18446604437386737536 0 0 -1 0 0 0 0
[pid=12985/tid=12992] ppid=12892 vsize=1481784 CPUtime=0
/proc/12985/task/12992/stat : 12992 (java) S 12892 12985 12985 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 54918452 1517346816 54527 1992294400 134512640 134550932 4290023520 18446744073709551615 4294960144 0 4 0 16800975 18446604437386737536 0 0 -1 0 0 0 0
[pid=12985/tid=12993] ppid=12892 vsize=1481784 CPUtime=0.88
/proc/12985/task/12993/stat : 12993 (java) S 12892 12985 12985 0 -1 4202560 1458 0 0 0 88 0 0 0 15 0 13 0 54918452 1517346816 54527 1992294400 134512640 134550932 4290023520 18446744073709551615 4294960144 0 4 0 16800975 18446604437386737536 0 0 -1 0 0 0 0
[pid=12985/tid=12994] ppid=12892 vsize=1481784 CPUtime=0.79
/proc/12985/task/12994/stat : 12994 (java) S 12892 12985 12985 0 -1 4202560 1614 0 0 0 79 0 0 0 15 0 13 0 54918452 1517346816 54527 1992294400 134512640 134550932 4290023520 18446744073709551615 4294960144 0 4 0 16800975 18446604437386737536 0 0 -1 0 0 0 0
[pid=12985/tid=12995] ppid=12892 vsize=1481784 CPUtime=0
/proc/12985/task/12995/stat : 12995 (java) S 12892 12985 12985 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 54918452 1517346816 54527 1992294400 134512640 134550932 4290023520 18446744073709551615 4294960144 0 4 0 16800975 18446604437386737536 0 0 -1 0 0 0 0
[pid=12985/tid=12996] ppid=12892 vsize=1481784 CPUtime=0
/proc/12985/task/12996/stat : 12996 (java) S 12892 12985 12985 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 13 0 54918452 1517346816 54527 1992294400 134512640 134550932 4290023520 18446744073709551615 4294960144 0 4 0 16800975 18446604437386737536 0 0 -1 0 0 0 0
[pid=12985/tid=12997] ppid=12892 vsize=1481784 CPUtime=0
/proc/12985/task/12997/stat : 12997 (java) S 12892 12985 12985 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 13 0 54918687 1517346816 54527 1992294400 134512640 134550932 4290023520 18446744073709551615 4294960144 0 4 0 16800975 18446604437386737536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 553.66
Current children cumulated vsize (KiB) 1615892

[startup+582.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 13022
/proc/meminfo: memFree=1494708/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134108 CPUtime=575.98
/proc/12892/stat : 12892 (python) S 12890 12892 12781 0 -1 4202496 40846 259327 0 2 3499 467 53338 294 15 0 1 0 54870452 137326592 6348 1992294400 4194304 4196484 140737107108352 18446744073709551615 219541188111 0 0 16781312 2 159688670771686158 0 0 17 0 0 0 144
/proc/12892/statm: 33527 6348 1143 1 0 5164 0
[pid=13020] ppid=12892 vsize=34312 CPUtime=41.38
/proc/13020/stat : 13020 (bsolo_pb10) R 12892 13020 13020 0 -1 4202496 6750 0 0 0 4128 10 0 0 25 0 1 0 54924518 35135488 6147 1992294400 134512640 137138936 4293872656 18446744073709551615 134542199 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/13020/statm: 8578 6147 192 642 0 7934 0
Current children cumulated CPU time (s) 617.36
Current children cumulated vsize (KiB) 168420

[startup+642.301 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 13024
/proc/meminfo: memFree=1475488/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134112 CPUtime=680.42
/proc/12892/stat : 12892 (python) R 12890 12892 12781 0 -1 4202496 45565 276282 0 2 3846 509 63372 315 25 0 1 0 54870452 137330688 6349 1992294400 4194304 4196484 140737107108352 18446744073709551615 219541167872 0 0 16781312 2 0 0 0 17 0 0 0 144
/proc/12892/statm: 33527 6349 1143 1 0 5164 0
Current children cumulated CPU time (s) 680.42
Current children cumulated vsize (KiB) 134112

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

[startup+643.201 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 13036
/proc/meminfo: memFree=1517896/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134108 CPUtime=681.32
/proc/12892/stat : 12892 (python) R 12890 12892 12781 0 -1 4202496 51569 283828 0 2 3914 520 63375 323 25 0 1 0 54870452 137326592 6351 1992294400 4194304 4196484 140737107108352 18446744073709551615 47343195549747 0 0 16781312 2 0 0 0 17 0 0 0 144
/proc/12892/statm: 33527 6351 1143 1 0 5164 0
Current children cumulated CPU time (s) 681.32
Current children cumulated vsize (KiB) 134108

[startup+644.802 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 13075
/proc/meminfo: memFree=1517772/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134240 CPUtime=682.93
/proc/12892/stat : 12892 (python) S 12890 12892 12781 0 -1 4202496 62468 297897 0 2 4033 539 63383 338 25 0 1 0 54870452 137461760 6353 1992294400 4194304 4196484 140737107108352 18446744073709551615 219552998149 0 0 16781312 2 18446744071562232103 0 0 17 0 0 0 144
/proc/12892/statm: 33560 6353 1143 1 0 5197 0
Current children cumulated CPU time (s) 682.93
Current children cumulated vsize (KiB) 134240

[startup+645.601 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 13075
/proc/meminfo: memFree=1517772/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134240 CPUtime=683.74
/proc/12892/stat : 12892 (python) R 12890 12892 12781 0 -1 4202496 68401 304755 0 2 4092 549 63387 346 25 0 1 0 54870452 137461760 6355 1992294400 4194304 4196484 140737107108352 18446744073709551615 47343195178344 0 0 16781312 2 0 0 0 17 0 0 0 144
/proc/12892/statm: 33560 6355 1143 1 0 5197 0
Current children cumulated CPU time (s) 683.74
Current children cumulated vsize (KiB) 134240

[startup+645.809 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 13096
/proc/meminfo: memFree=1517772/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134240 CPUtime=683.96
/proc/12892/stat : 12892 (python) R 12890 12892 12781 0 -1 4202496 69593 306263 0 2 4108 552 63388 348 25 0 1 0 54870452 137461760 6356 1992294400 4194304 4196484 140737107108352 18446744073709551615 47343195170087 0 0 16781312 2 0 0 0 17 0 0 0 144
/proc/12892/statm: 33560 6356 1143 1 0 5197 0
[pid=13096] ppid=12892 vsize=0 CPUtime=0
/proc/13096/stat : 13096 (clasp-1.3.3-x86) Z 12892 13096 13096 0 -1 4202524 533 0 0 0 0 0 0 0 25 0 1 0 54935021 0 0 1992294400 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/13096/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 683.96
Current children cumulated vsize (KiB) 134240

[startup+645.902 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 13096
/proc/meminfo: memFree=1517772/2059040 swapFree=4139732/4192956
[pid=12892] ppid=12890 vsize=134236 CPUtime=684.05
/proc/12892/stat : 12892 (python) R 12890 12892 12781 0 -1 4202496 74431 307717 0 2 4115 553 63388 349 25 0 1 0 54870452 137457664 6361 1992294400 4194304 4196484 140737107108352 18446744073709551615 47343256914845 0 0 16781312 0 0 0 0 17 1 0 0 144
/proc/12892/statm: 33559 6361 1148 1 0 5196 0
Current children cumulated CPU time (s) 684.05
Current children cumulated vsize (KiB) 134236

Child status: 0
Real time (s): 645.906
CPU time (s): 684.078
CPU user time (s): 675.04
CPU system time (s): 9.03763
CPU usage (%): 105.91
Max. virtual memory (cumulated for all children) (KiB): 1616516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 675.04
system time used= 9.03763
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 382189
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10007
involuntary context switches= 13607

runsolver used 1.17682 second user time and 3.18851 second system time

The end

Launcher Data 

Begin job on node080 at 2010-06-21 17:56:12
IDJOB=2675912
IDBENCH=48355
IDSOLVER=1178
FILE ID=node080/2675912-1277135772
PBS_JOBID= 11182115
Free space on /tmp= 62536 MiB

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

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

MD5SUM BENCH= 6ddc144a63b87021a78f3fe4530ac86f
RANDOM SEED=773076064

node080.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1541128 kB
Buffers:        129168 kB
Cached:         284820 kB
SwapCached:       6648 kB
Active:         217224 kB
Inactive:       210924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1541128 kB
SwapTotal:     4192956 kB
SwapFree:      4139732 kB
Dirty:           20596 kB
Writeback:           0 kB
AnonPages:       12404 kB
Mapped:          12928 kB
Slab:            67964 kB
PageTables:       3952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184832 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62512 MiB
End job on node080 at 2010-06-21 18:06:59