Trace number 2675940

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.397 645.206

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_4_15.opb
MD5SUMc41d0ae6b2deb2ba6caac7b74c416b6f
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6140
Sum of products size (including duplicates)12280
Number of different products3070
Sum of products size6140

Solver Data 

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

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


[startup+0 s]
/proc/loadavg: 1.02 1.03 0.91 3/106 12129
/proc/meminfo: memFree=1563996/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=16708 CPUtime=0
/proc/12129/stat : 12129 (python) R 12127 12129 11508 0 -1 4202496 732 0 0 0 0 0 0 0 18 0 1 0 54889050 17108992 498 1992294400 4194304 4196484 140736062458224 18446744073709551615 242479477445 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/12129/statm: 4177 501 272 1 0 273 0

[startup+0.0237561 s]
/proc/loadavg: 1.02 1.03 0.91 3/106 12129
/proc/meminfo: memFree=1563996/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=16832 CPUtime=0.01
/proc/12129/stat : 12129 (python) R 12127 12129 11508 0 -1 4202496 1439 0 0 0 1 0 0 0 15 0 1 0 54889050 17235968 484 1992294400 4194304 4196484 140733350849552 18446744073709551615 242479477445 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/12129/statm: 4208 485 290 1 0 188 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16832

[startup+0.100755 s]
/proc/loadavg: 1.02 1.03 0.91 3/106 12129
/proc/meminfo: memFree=1563996/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=31860 CPUtime=0.06
/proc/12129/stat : 12129 (python) R 12127 12129 11508 0 -1 4202496 2314 0 0 0 4 2 0 0 15 0 1 0 54889050 32624640 1292 1992294400 4194304 4196484 140733350849552 18446744073709551615 47899834332115 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12129/statm: 7965 1295 459 1 0 837 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 31860

[startup+0.300754 s]
/proc/loadavg: 1.02 1.03 0.91 3/106 12129
/proc/meminfo: memFree=1563996/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=70592 CPUtime=0.22
/proc/12129/stat : 12129 (python) R 12127 12129 11508 0 -1 4202496 3939 0 0 0 14 8 0 0 15 0 1 0 54889050 72286208 2776 1992294400 4194304 4196484 140733350849552 18446744073709551615 242479814656 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12129/statm: 17648 2776 673 1 0 2135 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 70592

[startup+0.70075 s]
/proc/loadavg: 1.02 1.03 0.91 3/106 12129
/proc/meminfo: memFree=1563996/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=88008 CPUtime=0.28
/proc/12129/stat : 12129 (python) D 12127 12129 11508 0 -1 4202496 4366 0 0 0 19 9 0 0 16 0 1 0 54889050 90120192 3144 1992294400 4194304 4196484 140733350849552 18446744073709551615 242474892935 0 0 16781312 2 18446744071696489144 0 0 17 0 0 0 27
/proc/12129/statm: 22002 3144 729 1 0 2447 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 88008

[startup+1.50074 s]
/proc/loadavg: 1.02 1.03 0.91 2/107 12130
/proc/meminfo: memFree=1553324/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=110304 CPUtime=0.77
/proc/12129/stat : 12129 (python) R 12127 12129 11508 0 -1 4202496 7602 929 0 0 52 25 0 0 18 0 1 0 54889050 112951296 4924 1992294400 4194304 4196484 140733350849552 18446744073709551615 47899834727437 0 0 16781312 2 0 0 0 17 0 0 0 27
/proc/12129/statm: 27576 4924 1047 1 0 3870 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 110304

[startup+3.10073 s]
/proc/loadavg: 1.02 1.03 0.91 2/107 12134
/proc/meminfo: memFree=1542164/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134108 CPUtime=1.73
/proc/12129/stat : 12129 (python) S 12127 12129 11508 0 -1 4202496 12689 3825 0 0 128 41 0 4 16 0 1 0 54889050 137326592 6332 1992294400 4194304 4196484 140733350849552 18446744073709551615 242479836687 0 0 16781312 2 159688670771686288 0 0 17 0 0 0 27
/proc/12129/statm: 33527 6332 1143 1 0 5164 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 134108
heavy processes:

[startup+6.3017 s]
/proc/loadavg: 1.02 1.03 0.91 2/108 12141
/proc/meminfo: memFree=1533600/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134108 CPUtime=2.03
/proc/12129/stat : 12129 (python) S 12127 12129 11508 0 -1 4202496 12707 3825 0 0 154 45 0 4 16 0 1 0 54889050 137326592 6332 1992294400 4194304 4196484 140733350849552 18446744073709551615 242479836687 0 0 16781312 2 159688670771686288 0 0 17 0 0 0 27
/proc/12129/statm: 33527 6332 1143 1 0 5164 0
[pid=12141] ppid=12129 vsize=12784 CPUtime=3.78
/proc/12141/stat : 12141 (wbo1.4a) R 12129 12141 12141 0 -1 4202496 3061 0 0 0 373 5 0 0 25 0 1 0 54889299 13090816 2721 1992294400 134512640 135751879 4294281952 18446744073709551615 134516976 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12141/statm: 3196 2721 139 303 0 2891 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 146892

[startup+12.7006 s]
/proc/loadavg: 1.02 1.03 0.91 2/108 12141
/proc/meminfo: memFree=1526408/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134108 CPUtime=2.43
/proc/12129/stat : 12129 (python) S 12127 12129 11508 0 -1 4202496 12719 3825 0 0 189 50 0 4 15 0 1 0 54889050 137326592 6332 1992294400 4194304 4196484 140733350849552 18446744073709551615 242479836687 0 0 16781312 2 159688670771686288 0 0 17 0 0 0 27
/proc/12129/statm: 33527 6332 1143 1 0 5164 0
[pid=12141] ppid=12129 vsize=19404 CPUtime=10.14
/proc/12141/stat : 12141 (wbo1.4a) R 12129 12141 12141 0 -1 4202496 4687 0 0 0 1006 8 0 0 25 0 1 0 54889299 19869696 4347 1992294400 134512640 135751879 4294281952 18446744073709551615 134616497 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12141/statm: 4851 4347 139 303 0 4546 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 153512

[startup+25.5005 s]
/proc/loadavg: 1.01 1.02 0.91 2/108 12141
/proc/meminfo: memFree=1497888/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134108 CPUtime=3.3
/proc/12129/stat : 12129 (python) S 12127 12129 11508 0 -1 4202496 12749 3825 0 0 264 62 0 4 15 0 1 0 54889050 137326592 6332 1992294400 4194304 4196484 140733350849552 18446744073709551615 242479836687 0 0 16781312 2 159688670771686288 0 0 17 0 0 0 27
/proc/12129/statm: 33527 6332 1143 1 0 5164 0
[pid=12141] ppid=12129 vsize=47552 CPUtime=22.86
/proc/12141/stat : 12141 (wbo1.4a) R 12129 12141 12141 0 -1 4202496 11712 0 0 0 2264 22 0 0 25 0 1 0 54889299 48693248 11372 1992294400 134512640 135751879 4294281952 18446744073709551615 134516976 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12141/statm: 11888 11372 139 303 0 11583 0
Current children cumulated CPU time (s) 26.16
Current children cumulated vsize (KiB) 181660

[startup+51.1003 s]
/proc/loadavg: 1.01 1.02 0.91 2/108 12141
/proc/meminfo: memFree=1466764/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134108 CPUtime=4.92
/proc/12129/stat : 12129 (python) S 12127 12129 11508 0 -1 4202496 12786 3825 0 0 405 83 0 4 16 0 1 0 54889050 137326592 6332 1992294400 4194304 4196484 140733350849552 18446744073709551615 242479836687 0 0 16781312 2 159688670771686288 0 0 17 0 0 0 27
/proc/12129/statm: 33527 6332 1143 1 0 5164 0
[pid=12141] ppid=12129 vsize=79756 CPUtime=48.29
/proc/12141/stat : 12141 (wbo1.4a) R 12129 12141 12141 0 -1 4202496 19767 0 0 0 4788 41 0 0 25 0 1 0 54889299 81670144 19427 1992294400 134512640 135751879 4294281952 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12141/statm: 19939 19427 139 303 0 19634 0
Current children cumulated CPU time (s) 53.21
Current children cumulated vsize (KiB) 213864

[startup+102.309 s]
/proc/loadavg: 1.00 1.02 0.91 3/108 12149
/proc/meminfo: memFree=1461928/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134108 CPUtime=59.84
/proc/12129/stat : 12129 (python) S 12127 12129 11508 0 -1 4202496 15231 27364 0 0 751 128 5052 53 15 0 1 0 54889050 137326592 6334 1992294400 4194304 4196484 140733350849552 18446744073709551615 242479836687 0 0 16781312 2 159836005329808272 0 0 17 1 0 0 27
/proc/12129/statm: 33527 6334 1143 1 0 5164 0
[pid=12147] ppid=12129 vsize=83632 CPUtime=48.28
/proc/12147/stat : 12147 (wbo1.4a) R 12129 12147 12147 0 -1 4202496 20718 0 0 0 4786 42 0 0 25 0 1 0 54894450 85639168 20379 1992294400 134512640 135751879 4294722272 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/12147/statm: 20908 20379 139 303 0 20603 0
Current children cumulated CPU time (s) 108.12
Current children cumulated vsize (KiB) 217740

[startup+162.3 s]
/proc/loadavg: 1.00 1.01 0.91 2/108 12163
/proc/meminfo: memFree=1530748/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134108 CPUtime=165.41
/proc/12129/stat : 12129 (python) S 12127 12129 11508 0 -1 4202496 16458 71174 0 0 1134 178 15084 145 15 0 1 0 54889050 137326592 6336 1992294400 4194304 4196484 140733350849552 18446744073709551615 242479836687 0 0 16781312 2 159688670771686288 0 0 17 0 0 0 27
/proc/12129/statm: 33527 6336 1143 1 0 5164 0
[pid=12163] ppid=12129 vsize=15560 CPUtime=6.9
/proc/12163/stat : 12163 (wbo1.4b) R 12129 12163 12163 0 -1 4202496 3749 0 0 0 685 5 0 0 25 0 1 0 54904584 15933440 3410 1992294400 134512640 135751879 4294933808 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12163/statm: 3890 3410 144 303 0 3585 0
Current children cumulated CPU time (s) 172.31
Current children cumulated vsize (KiB) 149668

[startup+222.302 s]
/proc/loadavg: 1.13 1.04 0.92 2/120 12180
/proc/meminfo: memFree=1366228/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134108 CPUtime=219.99
/proc/12129/stat : 12129 (python) S 12127 12129 11508 0 -1 4202496 17781 92795 0 0 1496 230 20086 187 15 0 1 0 54889050 137326592 6336 1992294400 4194304 4196484 140733350849552 18446744073709551615 242479836687 0 0 16781312 2 159836005329808272 0 0 17 1 0 0 27
/proc/12129/statm: 33527 6336 1143 1 0 5164 0
[pid=12166] ppid=12129 vsize=1483776 CPUtime=17.55
/proc/12166/stat : 12166 (java) S 12129 12166 12166 0 -1 4202496 47418 0 1 0 1731 24 0 0 15 0 13 0 54909663 1519386624 45374 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12166/statm: 370944 45374 1438 10 0 368246 0
[pid=12166/tid=12167] ppid=12129 vsize=1483776 CPUtime=15.43
/proc/12166/task/12167/stat : 12167 (java) R 12129 12166 12166 0 -1 4202560 30962 0 1 0 1527 16 0 0 25 0 13 0 54909665 1519386624 45374 1992294400 134512640 134550932 4291637696 18446744073709551615 4109415295 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12166/tid=12168] ppid=12129 vsize=1483776 CPUtime=0.2
/proc/12166/task/12168/stat : 12168 (java) S 12129 12166 12166 0 -1 4202560 5938 0 0 0 17 3 0 0 16 0 13 0 54909667 1519386624 45374 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 0 0 0 0
[pid=12166/tid=12169] ppid=12129 vsize=1483776 CPUtime=0.17
/proc/12166/task/12169/stat : 12169 (java) S 12129 12166 12166 0 -1 4202560 5466 0 0 0 15 2 0 0 18 0 13 0 54909667 1519386624 45374 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 1 0 0 0
[pid=12166/tid=12170] ppid=12129 vsize=1483776 CPUtime=0
/proc/12166/task/12170/stat : 12170 (java) S 12129 12166 12166 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 13 0 54909668 1519386624 45374 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 0 0 16800975 18446604437858343808 0 0 -1 0 0 0 0
[pid=12166/tid=12171] ppid=12129 vsize=1483776 CPUtime=0
/proc/12166/task/12171/stat : 12171 (java) S 12129 12166 12166 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 54909669 1519386624 45374 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 0 0 0 0
[pid=12166/tid=12172] ppid=12129 vsize=1483776 CPUtime=0
/proc/12166/task/12172/stat : 12172 (java) S 12129 12166 12166 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 54909669 1519386624 45374 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 0 0 0 0
[pid=12166/tid=12173] ppid=12129 vsize=1483776 CPUtime=0
/proc/12166/task/12173/stat : 12173 (java) S 12129 12166 12166 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 54909673 1519386624 45374 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 0 0 0 0
[pid=12166/tid=12174] ppid=12129 vsize=1483776 CPUtime=0.96
/proc/12166/task/12174/stat : 12174 (java) S 12129 12166 12166 0 -1 4202560 1669 0 0 0 96 0 0 0 15 0 13 0 54909673 1519386624 45374 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 1 0 0 0
[pid=12166/tid=12175] ppid=12129 vsize=1483776 CPUtime=0.74
/proc/12166/task/12175/stat : 12175 (java) S 12129 12166 12166 0 -1 4202560 2006 0 0 0 74 0 0 0 16 0 13 0 54909673 1519386624 45374 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 0 0 0 0
[pid=12166/tid=12176] ppid=12129 vsize=1483776 CPUtime=0
/proc/12166/task/12176/stat : 12176 (java) S 12129 12166 12166 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 54909673 1519386624 45374 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 0 0 0 0
[pid=12166/tid=12177] ppid=12129 vsize=1483776 CPUtime=0
/proc/12166/task/12177/stat : 12177 (java) S 12129 12166 12166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 54909673 1519386624 45374 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 0 0 0 0
[pid=12166/tid=12180] ppid=12129 vsize=1483776 CPUtime=0
/proc/12166/task/12180/stat : 12180 (java) S 12129 12166 12166 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 54909921 1519386624 45374 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 237.54
Current children cumulated vsize (KiB) 1617884

[startup+282.3 s]
/proc/loadavg: 1.05 1.03 0.92 2/120 12180
/proc/meminfo: memFree=1265540/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134108 CPUtime=223.94
/proc/12129/stat : 12129 (python) S 12127 12129 11508 0 -1 4202496 17855 92795 0 0 1842 279 20086 187 15 0 1 0 54889050 137326592 6336 1992294400 4194304 4196484 140733350849552 18446744073709551615 242479836687 0 0 16781312 2 159836005329808272 0 0 17 1 0 0 27
/proc/12129/statm: 33527 6336 1143 1 0 5164 0
[pid=12166] ppid=12129 vsize=1483776 CPUtime=77.96
/proc/12166/stat : 12166 (java) S 12129 12166 12166 0 -1 4202496 78571 0 1 0 7754 42 0 0 15 0 13 0 54909663 1519386624 70526 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12166/statm: 370944 70526 1438 10 0 368246 0
[pid=12166/tid=12167] ppid=12129 vsize=1483776 CPUtime=74.93
/proc/12166/task/12167/stat : 12167 (java) R 12129 12166 12166 0 -1 4202560 30984 0 1 0 7474 19 0 0 25 0 13 0 54909665 1519386624 70526 1992294400 134512640 134550932 4291637696 18446744073709551615 4109415295 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12166/tid=12168] ppid=12129 vsize=1483776 CPUtime=0.63
/proc/12166/task/12168/stat : 12168 (java) S 12129 12166 12166 0 -1 4202560 21862 0 0 0 52 11 0 0 16 0 13 0 54909667 1519386624 70526 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 0 0 0 0
[pid=12166/tid=12169] ppid=12129 vsize=1483776 CPUtime=0.61
/proc/12166/task/12169/stat : 12169 (java) S 12129 12166 12166 0 -1 4202560 20665 0 0 0 53 8 0 0 16 0 13 0 54909667 1519386624 70526 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 1 0 0 0
[pid=12166/tid=12170] ppid=12129 vsize=1483776 CPUtime=0
/proc/12166/task/12170/stat : 12170 (java) S 12129 12166 12166 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 13 0 54909668 1519386624 70526 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 0 0 16800975 18446604437858343808 0 0 -1 0 0 0 0
[pid=12166/tid=12171] ppid=12129 vsize=1483776 CPUtime=0
/proc/12166/task/12171/stat : 12171 (java) S 12129 12166 12166 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 54909669 1519386624 70526 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 0 0 0 0
[pid=12166/tid=12172] ppid=12129 vsize=1483776 CPUtime=0
/proc/12166/task/12172/stat : 12172 (java) S 12129 12166 12166 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 54909669 1519386624 70526 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 0 0 0 0
[pid=12166/tid=12173] ppid=12129 vsize=1483776 CPUtime=0
/proc/12166/task/12173/stat : 12173 (java) S 12129 12166 12166 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 54909673 1519386624 70526 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 0 0 0 0
[pid=12166/tid=12174] ppid=12129 vsize=1483776 CPUtime=0.98
/proc/12166/task/12174/stat : 12174 (java) S 12129 12166 12166 0 -1 4202560 1669 0 0 0 98 0 0 0 15 0 13 0 54909673 1519386624 70526 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 1 0 0 0
[pid=12166/tid=12175] ppid=12129 vsize=1483776 CPUtime=0.74
/proc/12166/task/12175/stat : 12175 (java) S 12129 12166 12166 0 -1 4202560 2006 0 0 0 74 0 0 0 16 0 13 0 54909673 1519386624 70526 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 0 0 0 0
[pid=12166/tid=12176] ppid=12129 vsize=1483776 CPUtime=0
/proc/12166/task/12176/stat : 12176 (java) S 12129 12166 12166 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 54909673 1519386624 70526 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 0 0 0 0
[pid=12166/tid=12177] ppid=12129 vsize=1483776 CPUtime=0
/proc/12166/task/12177/stat : 12177 (java) S 12129 12166 12166 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 13 0 54909673 1519386624 70526 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 1 0 0 0
[pid=12166/tid=12180] ppid=12129 vsize=1483776 CPUtime=0
/proc/12166/task/12180/stat : 12180 (java) S 12129 12166 12166 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 54909921 1519386624 70526 1992294400 134512640 134550932 4291637696 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343808 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 301.9
Current children cumulated vsize (KiB) 1617884

[startup+342.301 s]
/proc/loadavg: 1.08 1.04 0.93 2/108 12185
/proc/meminfo: memFree=1475816/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134108 CPUtime=328.82
/proc/12129/stat : 12129 (python) S 12127 12129 11508 0 -1 4202496 19145 179442 0 1 2220 333 30090 239 15 0 1 0 54889050 137326592 6339 1992294400 4194304 4196484 140733350849552 18446744073709551615 242479836687 0 0 16781312 2 159836005329808272 0 0 17 1 0 0 27
/proc/12129/statm: 33527 6339 1143 1 0 5164 0
[pid=12185] ppid=12129 vsize=69628 CPUtime=37.43
/proc/12185/stat : 12185 (wbo1.4b) R 12129 12185 12185 0 -1 4202496 17235 0 0 0 3710 33 0 0 25 0 1 0 54919534 71299072 16895 1992294400 134512640 135751879 4290595824 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/12185/statm: 17407 16895 144 303 0 17102 0
Current children cumulated CPU time (s) 366.25
Current children cumulated vsize (KiB) 203736

[startup+402.301 s]
/proc/loadavg: 1.03 1.03 0.93 2/108 12187
/proc/meminfo: memFree=1380708/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134108 CPUtime=332.76
/proc/12129/stat : 12129 (python) S 12127 12129 11508 0 -1 4202496 19176 179442 0 1 2570 377 30090 239 16 0 1 0 54889050 137326592 6339 1992294400 4194304 4196484 140733350849552 18446744073709551615 242479836687 0 0 16781312 2 159836005329808272 0 0 17 1 0 0 27
/proc/12129/statm: 33527 6339 1143 1 0 5164 0
[pid=12185] ppid=12129 vsize=165296 CPUtime=97.41
/proc/12185/stat : 12185 (wbo1.4b) R 12129 12185 12185 0 -1 4202496 41108 0 0 0 9662 79 0 0 25 0 1 0 54919534 169263104 40768 1992294400 134512640 135751879 4290595824 18446744073709551615 134616404 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/12185/statm: 41324 40768 144 303 0 41019 0
Current children cumulated CPU time (s) 430.17
Current children cumulated vsize (KiB) 299404

[startup+462.301 s]
/proc/loadavg: 1.07 1.04 0.93 2/108 12201
/proc/meminfo: memFree=1531864/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134108 CPUtime=489.4
/proc/12129/stat : 12129 (python) S 12127 12129 11508 0 -1 4202496 24035 236979 0 1 2981 437 45176 346 15 0 1 0 54889050 137326592 6341 1992294400 4194304 4196484 140733350849552 18446744073709551615 242479836687 0 0 16781312 2 159688670771686288 0 0 17 0 0 0 27
/proc/12129/statm: 33527 6341 1143 1 0 5164 0
[pid=12201] ppid=12129 vsize=13196 CPUtime=4.8
/proc/12201/stat : 12201 (wbo1.4a) R 12129 12201 12201 0 -1 4202496 3169 0 0 0 476 4 0 0 25 0 1 0 54934799 13512704 2828 1992294400 134512640 135751879 4294557200 18446744073709551615 134616497 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12201/statm: 3299 2828 139 303 0 2994 0
Current children cumulated CPU time (s) 494.2
Current children cumulated vsize (KiB) 147304

[startup+522.302 s]
/proc/loadavg: 1.11 1.06 0.94 2/120 12236
/proc/meminfo: memFree=1314336/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134108 CPUtime=514.97
/proc/12129/stat : 12129 (python) S 12127 12129 11508 0 -1 4202496 32408 252244 0 1 3423 497 47211 366 15 0 1 0 54889050 137326592 6344 1992294400 4194304 4196484 140733350849552 18446744073709551615 242479836687 0 0 16781312 2 159836005329808272 0 0 17 1 0 0 27
/proc/12129/statm: 33527 6344 1143 1 0 5164 0
[pid=12222] ppid=12129 vsize=1479748 CPUtime=44.58
/proc/12222/stat : 12222 (java) S 12129 12222 12222 0 -1 4202496 64609 0 1 0 4427 31 0 0 15 0 13 0 54936948 1515261952 58287 1992294400 134512640 134550932 4288605168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12222/statm: 369937 58287 1438 10 0 367239 0
[pid=12222/tid=12223] ppid=12129 vsize=1479748 CPUtime=41.91
/proc/12222/task/12223/stat : 12223 (java) R 12129 12222 12222 0 -1 4202560 30989 0 1 0 4176 15 0 0 25 0 13 0 54936950 1515261952 58287 1992294400 134512640 134550932 4288605168 18446744073709551615 4109794301 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12222/tid=12224] ppid=12129 vsize=1479748 CPUtime=0.43
/proc/12222/task/12224/stat : 12224 (java) S 12129 12222 12222 0 -1 4202560 14132 0 0 0 37 6 0 0 16 0 13 0 54936951 1515261952 58287 1992294400 134512640 134550932 4288605168 18446744073709551615 4294960144 0 4 0 16800975 18446604437822067712 0 0 -1 1 0 0 0
[pid=12222/tid=12225] ppid=12129 vsize=1479748 CPUtime=0.41
/proc/12222/task/12225/stat : 12225 (java) S 12129 12222 12222 0 -1 4202560 14371 0 0 0 35 6 0 0 15 0 13 0 54936951 1515261952 58287 1992294400 134512640 134550932 4288605168 18446744073709551615 4294960144 0 4 0 16800975 18446604437822067712 0 0 -1 0 0 0 0
[pid=12222/tid=12226] ppid=12129 vsize=1479748 CPUtime=0
/proc/12222/task/12226/stat : 12226 (java) S 12129 12222 12222 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 13 0 54936953 1515261952 58287 1992294400 134512640 134550932 4288605168 18446744073709551615 4294960144 0 0 0 16800975 18446604437822067712 0 0 -1 0 0 0 0
[pid=12222/tid=12227] ppid=12129 vsize=1479748 CPUtime=0
/proc/12222/task/12227/stat : 12227 (java) S 12129 12222 12222 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 54936953 1515261952 58287 1992294400 134512640 134550932 4288605168 18446744073709551615 4294960144 0 4 0 16800975 18446604437822067712 0 0 -1 0 0 0 0
[pid=12222/tid=12228] ppid=12129 vsize=1479748 CPUtime=0
/proc/12222/task/12228/stat : 12228 (java) S 12129 12222 12222 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 54936954 1515261952 58287 1992294400 134512640 134550932 4288605168 18446744073709551615 4294960144 0 4 0 16800975 18446604437822067712 0 0 -1 0 0 0 0
[pid=12222/tid=12229] ppid=12129 vsize=1479748 CPUtime=0
/proc/12222/task/12229/stat : 12229 (java) S 12129 12222 12222 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 54936958 1515261952 58287 1992294400 134512640 134550932 4288605168 18446744073709551615 4294960144 0 4 0 16800975 18446604437822067712 0 0 -1 0 0 0 0
[pid=12222/tid=12230] ppid=12129 vsize=1479748 CPUtime=0.96
/proc/12222/task/12230/stat : 12230 (java) S 12129 12222 12222 0 -1 4202560 2618 0 0 0 95 1 0 0 15 0 13 0 54936958 1515261952 58287 1992294400 134512640 134550932 4288605168 18446744073709551615 4294960144 0 4 0 16800975 18446604437822067712 0 0 -1 1 0 0 0
[pid=12222/tid=12231] ppid=12129 vsize=1479748 CPUtime=0.8
/proc/12222/task/12231/stat : 12231 (java) S 12129 12222 12222 0 -1 4202560 1109 0 0 0 80 0 0 0 16 0 13 0 54936958 1515261952 58287 1992294400 134512640 134550932 4288605168 18446744073709551615 4294960144 0 4 0 16800975 18446604437822067712 0 0 -1 0 0 0 0
[pid=12222/tid=12232] ppid=12129 vsize=1479748 CPUtime=0
/proc/12222/task/12232/stat : 12232 (java) S 12129 12222 12222 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 54936958 1515261952 58287 1992294400 134512640 134550932 4288605168 18446744073709551615 4294960144 0 4 0 16800975 18446604437822067712 0 0 -1 0 0 0 0
[pid=12222/tid=12233] ppid=12129 vsize=1479748 CPUtime=0
/proc/12222/task/12233/stat : 12233 (java) S 12129 12222 12222 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 13 0 54936958 1515261952 58287 1992294400 134512640 134550932 4288605168 18446744073709551615 4294960144 0 4 0 16800975 18446604437822067712 0 0 -1 1 0 0 0
[pid=12222/tid=12234] ppid=12129 vsize=1479748 CPUtime=0
/proc/12222/task/12234/stat : 12234 (java) S 12129 12222 12222 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 54937220 1515261952 58287 1992294400 134512640 134550932 4288605168 18446744073709551615 4294960144 0 4 0 16800975 18446604437822067712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 559.55
Current children cumulated vsize (KiB) 1613856

[startup+582.301 s]
/proc/loadavg: 1.13 1.07 0.96 2/108 12257
/proc/meminfo: memFree=1511964/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134108 CPUtime=581.57
/proc/12129/stat : 12129 (python) S 12127 12129 11508 0 -1 4202496 40748 332745 0 2 3882 560 53294 421 15 0 1 0 54889050 137326592 6348 1992294400 4194304 4196484 140733350849552 18446744073709551615 242479836687 0 0 16781312 2 159688670771686288 0 0 17 0 0 0 27
/proc/12129/statm: 33527 6348 1143 1 0 5164 0
[pid=12257] ppid=12129 vsize=40980 CPUtime=42.2
/proc/12257/stat : 12257 (bsolo_pb10) R 12129 12257 12257 0 -1 4202496 8440 0 0 0 4209 11 0 0 25 0 1 0 54943057 41963520 7827 1992294400 134512640 137138936 4293751248 18446744073709551615 136504225 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/12257/statm: 10245 7827 192 642 0 9601 0
Current children cumulated CPU time (s) 623.77
Current children cumulated vsize (KiB) 175088

[startup+642.301 s]
/proc/loadavg: 1.13 1.09 0.97 2/107 12288
/proc/meminfo: memFree=1541608/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134104 CPUtime=687.44
/proc/12129/stat : 12129 (python) R 12127 12129 11508 0 -1 4202496 52182 363616 0 2 4335 623 63330 456 18 0 1 0 54889050 137322496 6351 1992294400 4194304 4196484 140733350849552 18446744073709551615 242491640660 0 0 16781312 2 0 0 0 17 1 0 0 27
/proc/12129/statm: 33526 6351 1143 1 0 5163 0
Current children cumulated CPU time (s) 687.44
Current children cumulated vsize (KiB) 134104

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

[startup+643.101 s]
/proc/loadavg: 1.13 1.09 0.97 2/107 12288
/proc/meminfo: memFree=1541608/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134240 CPUtime=688.25
/proc/12129/stat : 12129 (python) R 12127 12129 11508 0 -1 4202496 57389 369682 0 2 4395 633 63334 463 18 0 1 0 54889050 137461760 6353 1992294400 4194304 4196484 140733350849552 18446744073709551615 47899835257016 0 0 16781312 2 0 0 0 17 1 0 0 27
/proc/12129/statm: 33560 6353 1143 1 0 5197 0
Current children cumulated CPU time (s) 688.25
Current children cumulated vsize (KiB) 134240

[startup+643.901 s]
/proc/loadavg: 1.13 1.09 0.97 2/108 12304
/proc/meminfo: memFree=1541600/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134240 CPUtime=689.06
/proc/12129/stat : 12129 (python) R 12127 12129 11508 0 -1 4202496 62169 375737 0 2 4455 644 63337 470 18 0 1 0 54889050 137461760 6354 1992294400 4194304 4196484 140733350849552 18446744073709551615 47899834602517 0 0 16781312 2 0 0 0 17 0 0 0 27
/proc/12129/statm: 33560 6354 1143 1 0 5197 0
Current children cumulated CPU time (s) 689.06
Current children cumulated vsize (KiB) 134240

[startup+644.701 s]
/proc/loadavg: 1.12 1.08 0.97 2/108 12322
/proc/meminfo: memFree=1541476/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134240 CPUtime=689.87
/proc/12129/stat : 12129 (python) R 12127 12129 11508 0 -1 4202496 66920 381763 0 2 4515 655 63340 477 18 0 1 0 54889050 137461760 6355 1992294400 4194304 4196484 140733350849552 18446744073709551615 47899835256963 0 0 16781312 2 0 0 0 17 0 0 0 27
/proc/12129/statm: 33560 6355 1143 1 0 5197 0
Current children cumulated CPU time (s) 689.87
Current children cumulated vsize (KiB) 134240

[startup+645.101 s]
/proc/loadavg: 1.12 1.08 0.97 2/108 12322
/proc/meminfo: memFree=1541476/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134240 CPUtime=690.26
/proc/12129/stat : 12129 (python) R 12127 12129 11508 0 -1 4202496 69287 384762 0 2 4546 659 63341 480 19 0 1 0 54889050 137461760 6356 1992294400 4194304 4196484 140733350849552 18446744073709551615 47899834662912 0 0 16781312 2 0 0 0 17 0 0 0 27
/proc/12129/statm: 33560 6356 1143 1 0 5197 0
Current children cumulated CPU time (s) 690.26
Current children cumulated vsize (KiB) 134240

[startup+645.201 s]
/proc/loadavg: 1.12 1.08 0.97 2/108 12322
/proc/meminfo: memFree=1541476/2059040 swapFree=4140228/4192956
[pid=12129] ppid=12127 vsize=134236 CPUtime=690.38
/proc/12129/stat : 12129 (python) R 12127 12129 11508 0 -1 4202496 74096 386229 0 2 4553 661 63342 482 18 0 1 0 54889050 137457664 6356 1992294400 4194304 4196484 140733350849552 18446744073709551615 47899834700072 0 0 16781312 0 0 0 0 17 1 0 0 27
/proc/12129/statm: 33559 6356 1143 1 0 5196 0
Current children cumulated CPU time (s) 690.38
Current children cumulated vsize (KiB) 134236

Child status: 0
Real time (s): 645.206
CPU time (s): 690.397
CPU user time (s): 678.961
CPU system time (s): 11.4363
CPU usage (%): 107.004
Max. virtual memory (cumulated for all children) (KiB): 1618544

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

runsolver used 1.34979 second user time and 3.37849 second system time

The end

Launcher Data 

Begin job on node035 at 2010-06-21 17:59:00
IDJOB=2675940
IDBENCH=48383
IDSOLVER=1178
FILE ID=node035/2675940-1277135940
PBS_JOBID= 11182086
Free space on /tmp= 62536 MiB

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

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

MD5SUM BENCH= c41d0ae6b2deb2ba6caac7b74c416b6f
RANDOM SEED=997500734

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1564400 kB
Buffers:        135676 kB
Cached:         254904 kB
SwapCached:       6564 kB
Active:         218832 kB
Inactive:       186004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1564400 kB
SwapTotal:     4192956 kB
SwapFree:      4140228 kB
Dirty:           20620 kB
Writeback:           0 kB
AnonPages:       12052 kB
Mapped:          12940 kB
Slab:            67768 kB
PageTables:       4040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182628 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= 62516 MiB
End job on node035 at 2010-06-21 18:09:46