Trace number 2675850

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? 690.676 648.367

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_2_15.opb
MD5SUM18f5400970ad464f730a15f23e03dd22
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints152
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1232
Sum of products size (including duplicates)2464
Number of different products616
Sum of products size1232

Solver Data 

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

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: 0.84 0.94 0.90 2/106 9945
/proc/meminfo: memFree=1562640/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=24036 CPUtime=0
/proc/9945/stat : 9945 (runsolver) D 9943 9945 9920 0 -1 4202560 81 0 0 0 0 0 0 0 16 0 1 0 54825245 24612864 106 1992294400 4194304 4302564 140737321590992 18446744073709551615 208965051383 0 0 4096 24578 18446744071562234166 0 0 17 1 0 0 0
/proc/9945/statm: 6009 106 69 27 0 2647 0

[startup+0.0636551 s]
/proc/loadavg: 0.84 0.94 0.90 2/106 9945
/proc/meminfo: memFree=1562640/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=16276 CPUtime=0.01
/proc/9945/stat : 9945 (python) D 9943 9945 9920 0 -1 4194304 1166 0 2 0 1 0 0 0 15 0 1 0 54825245 16666624 217 1992294400 4194304 4196484 140733232227888 18446744073709551615 47561286686544 0 0 16781312 0 18446744071562234166 0 0 17 0 0 0 3
/proc/9945/statm: 4069 217 139 1 0 49 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16276

[startup+0.103163 s]
/proc/loadavg: 0.84 0.94 0.90 2/106 9945
/proc/meminfo: memFree=1562640/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=17828 CPUtime=0.02
/proc/9945/stat : 9945 (python) S 9943 9945 9920 0 -1 4202496 1790 0 9 0 1 1 0 0 15 0 1 0 54825245 18255872 826 1992294400 4194304 4196484 140733232227888 18446744073709551615 208965226341 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 4
/proc/9945/statm: 4457 831 390 1 0 437 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17828

[startup+0.301626 s]
/proc/loadavg: 0.84 0.94 0.90 2/106 9945
/proc/meminfo: memFree=1562640/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=40448 CPUtime=0.13
/proc/9945/stat : 9945 (python) D 9943 9945 9920 0 -1 4202496 2453 0 16 0 7 6 0 0 15 0 1 0 54825245 41418752 1433 1992294400 4194304 4196484 140733232227888 18446744073709551615 208960310166 0 0 16781312 2 18446744071562234166 0 0 17 0 0 0 6
/proc/9945/statm: 10112 1433 471 1 0 912 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 40448

[startup+0.700674 s]
/proc/loadavg: 0.84 0.94 0.90 2/106 9945
/proc/meminfo: memFree=1562640/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=78148 CPUtime=0.33
/proc/9945/stat : 9945 (python) R 9943 9945 9920 0 -1 4202496 4306 0 34 0 19 14 0 0 16 0 1 0 54825245 80023552 3119 1992294400 4194304 4196484 140733232227888 18446744073709551615 208960308658 0 0 16781312 2 0 0 0 17 0 0 0 12
/proc/9945/statm: 19537 3119 709 1 0 2430 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 78148

[startup+1.50063 s]
/proc/loadavg: 0.85 0.94 0.90 2/107 9946
/proc/meminfo: memFree=1536284/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=110588 CPUtime=0.83
/proc/9945/stat : 9945 (python) D 9943 9945 9920 0 -1 4202496 7629 920 43 9 51 32 0 0 17 0 1 0 54825245 113242112 4986 1992294400 4194304 4196484 140733232227888 18446744073709551615 208965230336 0 0 16781312 2 18446744071562234166 0 0 17 0 0 0 19
/proc/9945/statm: 27647 4986 1047 1 0 3941 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 110588

[startup+3.10058 s]
/proc/loadavg: 0.85 0.94 0.90 2/107 9950
/proc/meminfo: memFree=1520904/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134120 CPUtime=1.85
/proc/9945/stat : 9945 (python) S 9943 9945 9920 0 -1 4202496 12601 3799 49 10 129 51 1 4 18 0 1 0 54825245 137338880 6332 1992294400 4194304 4196484 140733232227888 18446744073709551615 208965250575 0 0 16781312 2 159836005329808193 0 0 17 1 0 0 23
/proc/9945/statm: 33530 6332 1143 1 0 5167 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 134120
heavy processes:

[startup+6.30049 s]
/proc/loadavg: 0.85 0.94 0.90 2/108 9957
/proc/meminfo: memFree=1511620/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134120 CPUtime=2.05
/proc/9945/stat : 9945 (python) S 9943 9945 9920 0 -1 4202496 12608 3799 49 10 147 53 1 4 15 0 1 0 54825245 137338880 6332 1992294400 4194304 4196484 140733232227888 18446744073709551615 208965250575 0 0 16781312 2 159836005329808193 0 0 17 1 0 0 23
/proc/9945/statm: 33530 6332 1143 1 0 5167 0
[pid=9957] ppid=9945 vsize=12048 CPUtime=3.66
/proc/9957/stat : 9957 (wbo1.4a) R 9945 9957 9957 0 -1 4202496 2877 0 0 0 357 9 0 0 25 0 1 0 54825506 12337152 2557 1992294400 134512640 135751879 4291104800 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/9957/statm: 3012 2557 139 303 0 2707 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 146168

[startup+12.7003 s]
/proc/loadavg: 0.88 0.94 0.90 2/108 9959
/proc/meminfo: memFree=1501576/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134120 CPUtime=2.51
/proc/9945/stat : 9945 (python) S 9943 9945 9920 0 -1 4202496 12624 3799 49 10 188 58 1 4 16 0 1 0 54825245 137338880 6332 1992294400 4194304 4196484 140733232227888 18446744073709551615 208965250575 0 0 16781312 2 159836005329808193 0 0 17 1 0 0 23
/proc/9945/statm: 33530 6332 1143 1 0 5167 0
[pid=9957] ppid=9945 vsize=22244 CPUtime=10.06
/proc/9957/stat : 9957 (wbo1.4a) R 9945 9957 9957 0 -1 4202496 5422 0 0 0 989 17 0 0 25 0 1 0 54825506 22777856 5102 1992294400 134512640 135751879 4291104800 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/9957/statm: 5561 5102 139 303 0 5256 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 156364

[startup+25.5019 s]
/proc/loadavg: 0.89 0.94 0.90 2/108 9959
/proc/meminfo: memFree=1481116/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134120 CPUtime=3.35
/proc/9945/stat : 9945 (python) S 9943 9945 9920 0 -1 4202496 12652 3799 49 10 260 70 1 4 15 0 1 0 54825245 137338880 6332 1992294400 4194304 4196484 140733232227888 18446744073709551615 208965250575 0 0 16781312 2 159836005329808193 0 0 17 1 0 0 23
/proc/9945/statm: 33530 6332 1143 1 0 5167 0
[pid=9957] ppid=9945 vsize=41420 CPUtime=22.87
/proc/9957/stat : 9957 (wbo1.4a) R 9945 9957 9957 0 -1 4202496 10194 0 0 0 2254 33 0 0 25 0 1 0 54825506 42414080 9874 1992294400 134512640 135751879 4291104800 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/9957/statm: 10355 9874 139 303 0 10050 0
Current children cumulated CPU time (s) 26.22
Current children cumulated vsize (KiB) 175540

[startup+51.1141 s]
/proc/loadavg: 0.93 0.94 0.90 2/108 9959
/proc/meminfo: memFree=1453588/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134120 CPUtime=4.97
/proc/9945/stat : 9945 (python) R 9943 9945 9920 0 -1 4202496 12698 3799 49 10 403 89 1 4 15 0 1 0 54825245 137338880 6332 1992294400 4194304 4196484 140733232227888 18446744073709551615 47561286002259 0 0 16781312 2 0 0 0 17 1 0 0 23
/proc/9945/statm: 33530 6332 1143 1 0 5167 0
[pid=9957] ppid=9945 vsize=69756 CPUtime=48.47
/proc/9957/stat : 9957 (wbo1.4a) R 9945 9957 9957 0 -1 4202496 17263 0 0 0 4786 61 0 0 25 0 1 0 54825506 71430144 16943 1992294400 134512640 135751879 4291104800 18446744073709551615 134616404 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/9957/statm: 17439 16943 139 303 0 17134 0
Current children cumulated CPU time (s) 53.44
Current children cumulated vsize (KiB) 203876

[startup+102.31 s]
/proc/loadavg: 0.97 0.95 0.91 2/108 9967
/proc/meminfo: memFree=1453340/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134120 CPUtime=59.89
/proc/9945/stat : 9945 (python) S 9943 9945 9920 0 -1 4202496 15147 24096 49 10 725 138 5055 71 15 0 1 0 54825245 137338880 6334 1992294400 4194304 4196484 140733232227888 18446744073709551615 208965250575 0 0 16781312 2 159836005329808193 0 0 17 1 0 0 23
/proc/9945/statm: 33530 6334 1143 1 0 5167 0
[pid=9965] ppid=9945 vsize=69500 CPUtime=48.26
/proc/9965/stat : 9965 (wbo1.4a) R 9945 9965 9965 0 -1 4202496 17182 0 0 0 4768 58 0 0 25 0 1 0 54830648 71168000 16856 1992294400 134512640 135751879 4292639680 18446744073709551615 134517414 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/9965/statm: 17375 16856 139 303 0 17070 0
Current children cumulated CPU time (s) 108.15
Current children cumulated vsize (KiB) 203620

[startup+162.302 s]
/proc/loadavg: 1.14 1.00 0.93 2/108 9972
/proc/meminfo: memFree=1507404/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134120 CPUtime=165.51
/proc/9945/stat : 9945 (python) S 9943 9945 9920 0 -1 4202496 16361 54637 49 10 1085 190 15093 183 15 0 1 0 54825245 137338880 6336 1992294400 4194304 4196484 140733232227888 18446744073709551615 208965250575 0 0 16781312 2 159836005329808193 0 0 17 1 0 0 23
/proc/9945/statm: 33530 6336 1143 1 0 5167 0
[pid=9970] ppid=9945 vsize=16084 CPUtime=6.71
/proc/9970/stat : 9970 (wbo1.4b) R 9945 9970 9970 0 -1 4202496 3898 0 0 0 662 9 0 0 25 0 1 0 54840803 16470016 3577 1992294400 134512640 135751879 4289154896 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/9970/statm: 4021 3577 144 303 0 3716 0
Current children cumulated CPU time (s) 172.22
Current children cumulated vsize (KiB) 150204

[startup+222.302 s]
/proc/loadavg: 1.13 1.02 0.93 2/120 9987
/proc/meminfo: memFree=1348948/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134120 CPUtime=220.46
/proc/9945/stat : 9945 (python) S 9943 9945 9920 0 -1 4202496 17664 73444 49 10 1434 239 20129 244 16 0 1 0 54825245 137338880 6338 1992294400 4194304 4196484 140733232227888 18446744073709551615 208965250575 0 0 16781312 2 159836005329808193 0 0 17 1 0 0 23
/proc/9945/statm: 33530 6338 1143 1 0 5167 0
[pid=9975] ppid=9945 vsize=1478520 CPUtime=16.41
/proc/9975/stat : 9975 (java) S 9945 9975 9975 0 -1 4202496 43218 0 82 0 1619 22 0 0 16 0 13 0 54845904 1514004480 41307 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 5
/proc/9975/statm: 369630 41307 1433 10 0 366932 0
[pid=9975/tid=9976] ppid=9945 vsize=1478520 CPUtime=15.12
/proc/9975/task/9976/stat : 9976 (java) R 9945 9975 9975 0 -1 4202560 30889 0 49 0 1497 15 0 0 25 0 13 0 54845913 1514004480 41307 1992294400 134512640 134550932 4288456992 18446744073709551615 4109107710 0 4 0 16800975 0 0 0 -1 1 0 0 9
[pid=9975/tid=9977] ppid=9945 vsize=1478520 CPUtime=0.08
/proc/9975/task/9977/stat : 9977 (java) S 9945 9975 9975 0 -1 4202560 3971 0 0 0 7 1 0 0 18 0 13 0 54845918 1514004480 41307 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 1 0 0 0
[pid=9975/tid=9978] ppid=9945 vsize=1478520 CPUtime=0.08
/proc/9975/task/9978/stat : 9978 (java) S 9945 9975 9975 0 -1 4202560 4360 0 0 0 7 1 0 0 18 0 13 0 54845918 1514004480 41307 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 0 0 0 0
[pid=9975/tid=9979] ppid=9945 vsize=1478520 CPUtime=0
/proc/9975/task/9979/stat : 9979 (java) S 9945 9975 9975 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 13 0 54845921 1514004480 41307 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 0 0 16800975 18446604437800647616 0 0 -1 1 0 0 0
[pid=9975/tid=9980] ppid=9945 vsize=1478520 CPUtime=0
/proc/9975/task/9980/stat : 9980 (java) S 9945 9975 9975 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 54845922 1514004480 41307 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 0 0 0 0
[pid=9975/tid=9981] ppid=9945 vsize=1478520 CPUtime=0
/proc/9975/task/9981/stat : 9981 (java) S 9945 9975 9975 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 54845922 1514004480 41307 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 0 0 0 0
[pid=9975/tid=9982] ppid=9945 vsize=1478520 CPUtime=0
/proc/9975/task/9982/stat : 9982 (java) S 9945 9975 9975 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 54845929 1514004480 41307 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 0 0 0 0
[pid=9975/tid=9983] ppid=9945 vsize=1478520 CPUtime=0.76
/proc/9975/task/9983/stat : 9983 (java) S 9945 9975 9975 0 -1 4202560 1874 0 0 0 76 0 0 0 15 0 13 0 54845929 1514004480 41307 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 0 0 0 0
[pid=9975/tid=9984] ppid=9945 vsize=1478520 CPUtime=0.29
/proc/9975/task/9984/stat : 9984 (java) S 9945 9975 9975 0 -1 4202560 789 0 0 0 29 0 0 0 15 0 13 0 54845929 1514004480 41307 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 0 0 0 0
[pid=9975/tid=9985] ppid=9945 vsize=1478520 CPUtime=0
/proc/9975/task/9985/stat : 9985 (java) S 9945 9975 9975 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 13 0 54845929 1514004480 41307 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 0 0 0 0
[pid=9975/tid=9986] ppid=9945 vsize=1478520 CPUtime=0
/proc/9975/task/9986/stat : 9986 (java) S 9945 9975 9975 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 13 0 54845929 1514004480 41307 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 0 0 0 0
[pid=9975/tid=9987] ppid=9945 vsize=1478520 CPUtime=0
/proc/9975/task/9987/stat : 9987 (java) S 9945 9975 9975 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 54845979 1514004480 41307 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 236.87
Current children cumulated vsize (KiB) 1612640

[startup+282.302 s]
/proc/loadavg: 1.05 1.01 0.93 2/120 9989
/proc/meminfo: memFree=1280748/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134120 CPUtime=224.27
/proc/9945/stat : 9945 (python) S 9943 9945 9920 0 -1 4202496 17742 73444 49 10 1761 293 20129 244 16 0 1 0 54825245 137338880 6338 1992294400 4194304 4196484 140733232227888 18446744073709551615 208965250575 0 0 16781312 2 159836005329808193 0 0 17 1 0 0 23
/proc/9945/statm: 33530 6338 1143 1 0 5167 0
[pid=9975] ppid=9945 vsize=1478520 CPUtime=76.49
/proc/9975/stat : 9975 (java) S 9945 9975 9975 0 -1 4202496 62481 0 82 0 7615 34 0 0 16 0 13 0 54845904 1514004480 58388 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 5
/proc/9975/statm: 369630 58388 1433 10 0 366932 0
[pid=9975/tid=9976] ppid=9945 vsize=1478520 CPUtime=74.15
/proc/9975/task/9976/stat : 9976 (java) R 9945 9975 9975 0 -1 4202560 30899 0 49 0 7397 18 0 0 25 0 13 0 54845913 1514004480 58388 1992294400 134512640 134550932 4288456992 18446744073709551615 4108756371 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=9975/tid=9977] ppid=9945 vsize=1478520 CPUtime=0.59
/proc/9975/task/9977/stat : 9977 (java) S 9945 9975 9975 0 -1 4202560 13311 0 0 0 52 7 0 0 18 0 13 0 54845918 1514004480 58388 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 1 0 0 0
[pid=9975/tid=9978] ppid=9945 vsize=1478520 CPUtime=0.62
/proc/9975/task/9978/stat : 9978 (java) S 9945 9975 9975 0 -1 4202560 14265 0 0 0 57 5 0 0 18 0 13 0 54845918 1514004480 58388 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 0 0 0 0
[pid=9975/tid=9979] ppid=9945 vsize=1478520 CPUtime=0
/proc/9975/task/9979/stat : 9979 (java) S 9945 9975 9975 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 13 0 54845921 1514004480 58388 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 0 0 16800975 18446604437800647616 0 0 -1 0 0 0 0
[pid=9975/tid=9980] ppid=9945 vsize=1478520 CPUtime=0
/proc/9975/task/9980/stat : 9980 (java) S 9945 9975 9975 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 54845922 1514004480 58388 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 0 0 0 0
[pid=9975/tid=9981] ppid=9945 vsize=1478520 CPUtime=0
/proc/9975/task/9981/stat : 9981 (java) S 9945 9975 9975 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 54845922 1514004480 58388 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 0 0 0 0
[pid=9975/tid=9982] ppid=9945 vsize=1478520 CPUtime=0
/proc/9975/task/9982/stat : 9982 (java) S 9945 9975 9975 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 54845929 1514004480 58388 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 0 0 0 0
[pid=9975/tid=9983] ppid=9945 vsize=1478520 CPUtime=0.76
/proc/9975/task/9983/stat : 9983 (java) S 9945 9975 9975 0 -1 4202560 1874 0 0 0 76 0 0 0 15 0 13 0 54845929 1514004480 58388 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 0 0 0 0
[pid=9975/tid=9984] ppid=9945 vsize=1478520 CPUtime=0.3
/proc/9975/task/9984/stat : 9984 (java) S 9945 9975 9975 0 -1 4202560 789 0 0 0 30 0 0 0 15 0 13 0 54845929 1514004480 58388 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 0 0 0 0
[pid=9975/tid=9985] ppid=9945 vsize=1478520 CPUtime=0
/proc/9975/task/9985/stat : 9985 (java) S 9945 9975 9975 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 13 0 54845929 1514004480 58388 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 0 0 0 0
[pid=9975/tid=9986] ppid=9945 vsize=1478520 CPUtime=0
/proc/9975/task/9986/stat : 9986 (java) S 9945 9975 9975 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 13 0 54845929 1514004480 58388 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 1 0 0 0
[pid=9975/tid=9987] ppid=9945 vsize=1478520 CPUtime=0
/proc/9975/task/9987/stat : 9987 (java) S 9945 9975 9975 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 54845979 1514004480 58388 1992294400 134512640 134550932 4288456992 18446744073709551615 4294960144 0 4 0 16800975 18446604437800647616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 300.76
Current children cumulated vsize (KiB) 1612640

[startup+342.301 s]
/proc/loadavg: 1.16 1.05 0.95 2/108 9994
/proc/meminfo: memFree=1454816/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134120 CPUtime=329.15
/proc/9945/stat : 9945 (python) S 9943 9945 9920 0 -1 4202496 19049 139260 49 92 2098 357 30175 285 15 0 1 0 54825245 137338880 6339 1992294400 4194304 4196484 140733232227888 18446744073709551615 208965250575 0 0 16781312 2 159688670771686209 0 0 17 0 0 0 23
/proc/9945/statm: 33530 6339 1143 1 0 5167 0
[pid=9992] ppid=9945 vsize=56432 CPUtime=35.45
/proc/9992/stat : 9992 (wbo1.4b) R 9945 9992 9992 0 -1 4202496 13942 0 0 0 3501 44 0 0 25 0 1 0 54855927 57786368 13615 1992294400 134512640 135751879 4290809472 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9992/statm: 14108 13615 144 303 0 13803 0
Current children cumulated CPU time (s) 364.6
Current children cumulated vsize (KiB) 190552

[startup+402.301 s]
/proc/loadavg: 1.06 1.04 0.95 3/108 9996
/proc/meminfo: memFree=1401496/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134120 CPUtime=332.75
/proc/9945/stat : 9945 (python) S 9943 9945 9920 0 -1 4202496 19091 139260 49 92 2388 427 30175 285 15 0 1 0 54825245 137338880 6339 1992294400 4194304 4196484 140733232227888 18446744073709551615 208965250575 0 0 16781312 2 159688670771686209 0 0 17 0 0 0 23
/proc/9945/statm: 33530 6339 1143 1 0 5167 0
[pid=9992] ppid=9945 vsize=110740 CPUtime=95.44
/proc/9992/stat : 9992 (wbo1.4b) R 9945 9992 9992 0 -1 4202496 27490 0 0 0 9445 99 0 0 25 0 1 0 54855927 113397760 27163 1992294400 134512640 135751879 4290809472 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9992/statm: 27685 27163 144 303 0 27380 0
Current children cumulated CPU time (s) 428.19
Current children cumulated vsize (KiB) 244860

[startup+462.302 s]
/proc/loadavg: 1.09 1.05 0.95 2/108 10010
/proc/meminfo: memFree=1501688/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134120 CPUtime=489
/proc/9945/stat : 9945 (python) S 9943 9945 9920 0 -1 4202496 23892 181126 49 92 2756 508 45227 409 16 0 1 0 54825245 137338880 6344 1992294400 4194304 4196484 140733232227888 18446744073709551615 208965250575 0 0 16781312 2 159836005329808193 0 0 17 1 0 0 23
/proc/9945/statm: 33530 6344 1143 1 0 5167 0
[pid=10010] ppid=9945 vsize=10488 CPUtime=2.95
/proc/10010/stat : 10010 (wbo1.4a) R 9945 10010 10010 0 -1 4202496 2489 0 0 0 291 4 0 0 25 0 1 0 54871180 10739712 2165 1992294400 134512640 135751879 4291184864 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10010/statm: 2622 2165 139 303 0 2317 0
Current children cumulated CPU time (s) 491.95
Current children cumulated vsize (KiB) 144608

[startup+522.303 s]
/proc/loadavg: 1.03 1.03 0.95 3/120 10043
/proc/meminfo: memFree=1317144/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134120 CPUtime=515
/proc/9945/stat : 9945 (python) S 9943 9945 9920 0 -1 4202496 32383 199908 49 92 3199 572 47289 440 15 0 1 0 54825245 137338880 6347 1992294400 4194304 4196484 140733232227888 18446744073709551615 208965250575 0 0 16781312 2 159836005329808193 0 0 17 1 0 0 23
/proc/9945/statm: 33530 6347 1143 1 0 5167 0
[pid=10031] ppid=9945 vsize=1476112 CPUtime=41.87
/proc/10031/stat : 10031 (java) S 9945 10031 10031 0 -1 4202496 51416 0 1 0 4162 25 0 0 15 0 13 0 54873358 1511538688 49229 1992294400 134512640 134550932 4293351328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10031/statm: 369028 49229 1433 10 0 366330 0
[pid=10031/tid=10032] ppid=9945 vsize=1476112 CPUtime=39.97
/proc/10031/task/10032/stat : 10032 (java) R 9945 10031 10031 0 -1 4202560 30969 0 1 0 3982 15 0 0 25 0 13 0 54873360 1511538688 49229 1992294400 134512640 134550932 4293351328 18446744073709551615 4109392805 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10031/tid=10033] ppid=9945 vsize=1476112 CPUtime=0.42
/proc/10031/task/10033/stat : 10033 (java) S 9945 10031 10031 0 -1 4202560 8931 0 0 0 38 4 0 0 16 0 13 0 54873361 1511538688 49229 1992294400 134512640 134550932 4293351328 18446744073709551615 4294960144 0 4 0 16800975 18446604437869374528 0 0 -1 0 0 0 0
[pid=10031/tid=10034] ppid=9945 vsize=1476112 CPUtime=0.41
/proc/10031/task/10034/stat : 10034 (java) S 9945 10031 10031 0 -1 4202560 8755 0 0 0 37 4 0 0 18 0 13 0 54873361 1511538688 49229 1992294400 134512640 134550932 4293351328 18446744073709551615 4294960144 0 4 0 16800975 18446604437869374528 0 0 -1 1 0 0 0
[pid=10031/tid=10035] ppid=9945 vsize=1476112 CPUtime=0
/proc/10031/task/10035/stat : 10035 (java) S 9945 10031 10031 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 13 0 54873363 1511538688 49229 1992294400 134512640 134550932 4293351328 18446744073709551615 4294960144 0 0 0 16800975 18446604437869374528 0 0 -1 0 0 0 0
[pid=10031/tid=10036] ppid=9945 vsize=1476112 CPUtime=0
/proc/10031/task/10036/stat : 10036 (java) S 9945 10031 10031 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 54873363 1511538688 49229 1992294400 134512640 134550932 4293351328 18446744073709551615 4294960144 0 4 0 16800975 18446604437869374528 0 0 -1 0 0 0 0
[pid=10031/tid=10037] ppid=9945 vsize=1476112 CPUtime=0
/proc/10031/task/10037/stat : 10037 (java) S 9945 10031 10031 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 54873363 1511538688 49229 1992294400 134512640 134550932 4293351328 18446744073709551615 4294960144 0 4 0 16800975 18446604437869374528 0 0 -1 0 0 0 0
[pid=10031/tid=10038] ppid=9945 vsize=1476112 CPUtime=0
/proc/10031/task/10038/stat : 10038 (java) S 9945 10031 10031 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 54873368 1511538688 49229 1992294400 134512640 134550932 4293351328 18446744073709551615 4294960144 0 4 0 16800975 18446604437869374528 0 0 -1 0 0 0 0
[pid=10031/tid=10039] ppid=9945 vsize=1476112 CPUtime=0.43
/proc/10031/task/10039/stat : 10039 (java) S 9945 10031 10031 0 -1 4202560 808 0 0 0 43 0 0 0 15 0 13 0 54873368 1511538688 49229 1992294400 134512640 134550932 4293351328 18446744073709551615 4294960144 0 4 0 16800975 18446604437869374528 0 0 -1 1 0 0 0
[pid=10031/tid=10040] ppid=9945 vsize=1476112 CPUtime=0.59
/proc/10031/task/10040/stat : 10040 (java) S 9945 10031 10031 0 -1 4202560 574 0 0 0 59 0 0 0 15 0 13 0 54873368 1511538688 49229 1992294400 134512640 134550932 4293351328 18446744073709551615 4294960144 0 4 0 16800975 18446604437869374528 0 0 -1 0 0 0 0
[pid=10031/tid=10041] ppid=9945 vsize=1476112 CPUtime=0
/proc/10031/task/10041/stat : 10041 (java) S 9945 10031 10031 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 54873368 1511538688 49229 1992294400 134512640 134550932 4293351328 18446744073709551615 4294960144 0 4 0 16800975 18446604437869374528 0 0 -1 0 0 0 0
[pid=10031/tid=10042] ppid=9945 vsize=1476112 CPUtime=0
/proc/10031/task/10042/stat : 10042 (java) S 9945 10031 10031 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 13 0 54873368 1511538688 49229 1992294400 134512640 134550932 4293351328 18446744073709551615 4294960144 0 4 0 16800975 18446604437869374528 0 0 -1 0 0 0 0
[pid=10031/tid=10043] ppid=9945 vsize=1476112 CPUtime=0
/proc/10031/task/10043/stat : 10043 (java) S 9945 10031 10031 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 13 0 54873417 1511538688 49229 1992294400 134512640 134550932 4293351328 18446744073709551615 4294960144 0 4 0 16800975 18446604437869374528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 556.87
Current children cumulated vsize (KiB) 1610232

[startup+582.302 s]
/proc/loadavg: 1.20 1.08 0.97 2/108 10066
/proc/meminfo: memFree=1482036/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134120 CPUtime=581.5
/proc/9945/stat : 9945 (python) S 9943 9945 9920 0 -1 4202496 40879 270289 49 93 3645 644 53361 500 15 0 1 0 54825245 137338880 6350 1992294400 4194304 4196484 140733232227888 18446744073709551615 208965250575 0 0 16781312 2 159836005329808193 0 0 17 1 0 0 23
/proc/9945/statm: 33530 6350 1143 1 0 5167 0
[pid=10066] ppid=9945 vsize=37244 CPUtime=39.49
/proc/10066/stat : 10066 (bsolo_pb10) R 9945 10066 10066 0 -1 4202496 7191 0 0 0 3940 9 0 0 25 0 1 0 54879500 38137856 6864 1992294400 134512640 137138936 4288603312 18446744073709551615 134542199 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/10066/statm: 9311 6864 192 642 0 8667 0
Current children cumulated CPU time (s) 620.99
Current children cumulated vsize (KiB) 171364

[startup+642.301 s]
/proc/loadavg: 1.21 1.10 0.98 2/108 10068
/proc/meminfo: memFree=1465668/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134120 CPUtime=585.34
/proc/9945/stat : 9945 (python) S 9943 9945 9920 0 -1 4202496 40912 270289 49 93 3978 695 53361 500 15 0 1 0 54825245 137338880 6350 1992294400 4194304 4196484 140733232227888 18446744073709551615 208965250575 0 0 16781312 2 159836005329808193 0 0 17 1 0 0 23
/proc/9945/statm: 33530 6350 1143 1 0 5167 0
[pid=10066] ppid=9945 vsize=53508 CPUtime=99.12
/proc/10066/stat : 10066 (bsolo_pb10) R 9945 10066 10066 0 -1 4202496 11269 0 0 0 9895 17 0 0 25 0 1 0 54879500 54792192 10942 1992294400 134512640 137138936 4288603312 18446744073709551615 134542199 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/10066/statm: 13377 10942 192 642 0 12733 0
Current children cumulated CPU time (s) 684.46
Current children cumulated vsize (KiB) 187628

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

[startup+643.101 s]
/proc/loadavg: 1.21 1.10 0.98 2/108 10068
/proc/meminfo: memFree=1465668/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134120 CPUtime=585.38
/proc/9945/stat : 9945 (python) S 9943 9945 9920 0 -1 4202496 40912 270289 49 93 3982 695 53361 500 15 0 1 0 54825245 137338880 6350 1992294400 4194304 4196484 140733232227888 18446744073709551615 208965250575 0 0 16781312 2 159836005329808193 0 0 17 1 0 0 23
/proc/9945/statm: 33530 6350 1143 1 0 5167 0
[pid=10066] ppid=9945 vsize=53628 CPUtime=99.92
/proc/10066/stat : 10066 (bsolo_pb10) R 9945 10066 10066 0 -1 4202496 11299 0 0 0 9974 18 0 0 25 0 1 0 54879500 54915072 10972 1992294400 134512640 137138936 4288603312 18446744073709551615 136296964 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/10066/statm: 13407 10972 192 642 0 12763 0
Current children cumulated CPU time (s) 685.3
Current children cumulated vsize (KiB) 187748

[startup+646.3 s]
/proc/loadavg: 1.21 1.10 0.98 2/108 10098
/proc/meminfo: memFree=1507456/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134248 CPUtime=688.57
/proc/9945/stat : 9945 (python) R 9943 9945 9920 0 -1 4202496 56999 301879 49 93 4163 729 63423 542 18 0 1 0 54825245 137469952 6354 1992294400 4194304 4196484 140733232227888 18446744073709551615 208968684791 0 0 16781312 2 0 0 0 17 1 0 0 23
/proc/9945/statm: 33562 6354 1143 1 0 5199 0
Current children cumulated CPU time (s) 688.57
Current children cumulated vsize (KiB) 134248

[startup+647.1 s]
/proc/loadavg: 1.19 1.10 0.98 2/108 10116
/proc/meminfo: memFree=1507952/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134256 CPUtime=689.38
/proc/9945/stat : 9945 (python) R 9943 9945 9920 0 -1 4202496 62427 307787 49 93 4223 740 63426 549 19 0 1 0 54825245 137478144 6356 1992294400 4194304 4196484 140733232227888 18446744073709551615 208965230336 0 0 16781312 2 0 0 0 17 1 0 0 23
/proc/9945/statm: 33563 6356 1143 1 0 5200 0
Current children cumulated CPU time (s) 689.38
Current children cumulated vsize (KiB) 134256

[startup+647.909 s]
/proc/loadavg: 1.19 1.10 0.98 2/108 10134
/proc/meminfo: memFree=1507952/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134252 CPUtime=690.19
/proc/9945/stat : 9945 (python) R 9943 9945 9920 0 -1 4202496 67157 313666 49 93 4282 753 63428 556 18 0 1 0 54825245 137474048 6357 1992294400 4194304 4196484 140733232227888 18446744073709551615 208964898999 0 0 16781312 2 0 0 0 17 1 0 0 23
/proc/9945/statm: 33563 6357 1143 1 0 5200 0
[pid=10134] ppid=9945 vsize=0 CPUtime=0
/proc/10134/stat : 10134 (clasp-1.3.3-x86) Z 9945 10134 10134 0 -1 4202524 535 0 0 0 0 0 0 0 18 0 1 0 54890022 0 0 1992294400 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 0 0 0 0
/proc/10134/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 690.19
Current children cumulated vsize (KiB) 134252

[startup+648.302 s]
/proc/loadavg: 1.19 1.10 0.98 2/108 10134
/proc/meminfo: memFree=1507952/2059040 swapFree=4140492/4192956
[pid=9945] ppid=9943 vsize=134248 CPUtime=690.59
/proc/9945/stat : 9945 (python) R 9943 9945 9920 0 -1 4202496 70614 318050 49 93 4309 758 63431 561 18 0 1 0 54825245 137469952 6357 1992294400 4194304 4196484 140733232227888 18446744073709551615 47561286592932 0 0 16781312 0 0 0 0 17 1 0 0 23
/proc/9945/statm: 33562 6357 1143 1 0 5199 0
Current children cumulated CPU time (s) 690.59
Current children cumulated vsize (KiB) 134248

Child status: 0
Real time (s): 648.367
CPU time (s): 690.676
CPU user time (s): 677.465
CPU system time (s): 13.211
CPU usage (%): 106.525
Max. virtual memory (cumulated for all children) (KiB): 1615428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 677.465
system time used= 13.211
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 392426
page faults= 142
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12705
involuntary context switches= 11082

runsolver used 1.42578 second user time and 3.35749 second system time

The end

Launcher Data 

Begin job on node055 at 2010-06-21 17:49:02
IDJOB=2675850
IDBENCH=48293
IDSOLVER=1178
FILE ID=node055/2675850-1277135342
PBS_JOBID= 11182118
Free space on /tmp= 62552 MiB

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

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

MD5SUM BENCH= 18f5400970ad464f730a15f23e03dd22
RANDOM SEED=1015644826

node055.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.258
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.51
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.258
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1563044 kB
Buffers:        134668 kB
Cached:         260324 kB
SwapCached:       5936 kB
Active:         177776 kB
Inactive:       230676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1563044 kB
SwapTotal:     4192956 kB
SwapFree:      4140492 kB
Dirty:           20652 kB
Writeback:          76 kB
AnonPages:       11452 kB
Mapped:          12964 kB
Slab:            65592 kB
PageTables:       4056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183888 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= 62532 MiB
End job on node055 at 2010-06-21 17:59:51