Trace number 2675892

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? 687.298 643.719

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_5_15.opb
MD5SUM2b927be10d6e21370847ee6c94426772
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)6124
Sum of products size (including duplicates)12248
Number of different products3062
Sum of products size6124

Solver Data 

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

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


[startup+0 s]
/proc/loadavg: 0.97 1.05 0.92 3/106 6106
/proc/meminfo: memFree=1484484/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=16568 CPUtime=0
/proc/6106/stat : 6106 (python) R 6104 6106 5397 0 -1 4202496 695 0 0 0 0 0 0 0 19 0 1 0 89162273 16965632 462 1992294400 4194304 4196484 140736024822032 18446744073709551615 211173531280 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6106/statm: 4142 463 265 1 0 238 0

[startup+0.046576 s]
/proc/loadavg: 0.97 1.05 0.92 3/106 6106
/proc/meminfo: memFree=1484484/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=17960 CPUtime=0.03
/proc/6106/stat : 6106 (python) S 6104 6106 5397 0 -1 4202496 1864 0 0 0 1 2 0 0 18 0 1 0 89162273 18391040 886 1992294400 4194304 4196484 140733908354752 18446744073709551615 211173529600 0 2147483391 16781312 2 18446744071699387582 0 0 17 0 0 0 0
/proc/6106/statm: 4490 887 401 1 0 470 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17960

[startup+0.102925 s]
/proc/loadavg: 0.97 1.05 0.92 3/106 6106
/proc/meminfo: memFree=1484484/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=34220 CPUtime=0.07
/proc/6106/stat : 6106 (python) R 6104 6106 5397 0 -1 4202496 2422 0 0 0 4 3 0 0 18 0 1 0 89162273 35041280 1394 1992294400 4194304 4196484 140733908354752 18446744073709551615 47982124769672 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/6106/statm: 8555 1394 462 1 0 912 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 34220

[startup+0.300923 s]
/proc/loadavg: 0.97 1.05 0.92 3/106 6106
/proc/meminfo: memFree=1484484/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=71508 CPUtime=0.25
/proc/6106/stat : 6106 (python) R 6104 6106 5397 0 -1 4202496 4195 0 0 0 17 8 0 0 18 0 1 0 89162273 73224192 2988 1992294400 4194304 4196484 140733908354752 18446744073709551615 47982124799431 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/6106/statm: 17877 2988 695 1 0 2364 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 71508

[startup+0.700918 s]
/proc/loadavg: 0.97 1.05 0.92 3/106 6106
/proc/meminfo: memFree=1484484/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=104296 CPUtime=0.61
/proc/6106/stat : 6106 (python) R 6104 6106 5397 0 -1 4202496 6156 931 0 0 40 21 0 0 18 0 1 0 89162273 106799104 4406 1992294400 4194304 4196484 140733908354752 18446744073709551615 47982125060562 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/6106/statm: 26074 4406 1028 1 0 3415 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 104296

[startup+1.50091 s]
/proc/loadavg: 0.97 1.05 0.92 1/107 6111
/proc/meminfo: memFree=1464512/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=134116 CPUtime=1.32
/proc/6106/stat : 6106 (python) R 6104 6106 5397 0 -1 4202496 11556 2376 0 0 94 36 0 2 20 0 1 0 89162273 137334784 6328 1992294400 4194304 4196484 140733908354752 18446744073709551615 211173574791 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/6106/statm: 33529 6328 1143 1 0 5166 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 134116

[startup+3.10189 s]
/proc/loadavg: 1.05 1.06 0.93 2/108 6118
/proc/meminfo: memFree=1459916/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=134116 CPUtime=1.78
/proc/6106/stat : 6106 (python) S 6104 6106 5397 0 -1 4202496 12707 3813 0 0 132 42 1 3 16 0 1 0 89162273 137334784 6330 1992294400 4194304 4196484 140733908354752 18446744073709551615 211173551631 0 0 16781312 2 159836005329808291 0 0 17 1 0 0 0
/proc/6106/statm: 33529 6330 1143 1 0 5166 0
[pid=6118] ppid=6106 vsize=7812 CPUtime=1.48
/proc/6118/stat : 6118 (wbo1.4a) R 6106 6118 6118 0 -1 4202496 1797 0 0 0 146 2 0 0 23 0 1 0 89162435 7999488 1465 1992294400 134512640 135751879 4291532832 18446744073709551615 134616334 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/6118/statm: 1953 1465 139 303 0 1648 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 141928

[startup+6.30085 s]
/proc/loadavg: 1.05 1.06 0.93 2/108 6118
/proc/meminfo: memFree=1452228/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=134116 CPUtime=1.98
/proc/6106/stat : 6106 (python) S 6104 6106 5397 0 -1 4202496 12714 3813 0 0 150 44 1 3 15 0 1 0 89162273 137334784 6330 1992294400 4194304 4196484 140733908354752 18446744073709551615 211173551631 0 0 16781312 2 159836005329808291 0 0 17 1 0 0 0
/proc/6106/statm: 33529 6330 1143 1 0 5166 0
[pid=6118] ppid=6106 vsize=13056 CPUtime=4.67
/proc/6118/stat : 6118 (wbo1.4a) R 6106 6118 6118 0 -1 4202496 3122 0 0 0 464 3 0 0 25 0 1 0 89162435 13369344 2790 1992294400 134512640 135751879 4291532832 18446744073709551615 134616532 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/6118/statm: 3264 2790 139 303 0 2959 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 147172

[startup+12.7008 s]
/proc/loadavg: 1.04 1.06 0.93 2/108 6118
/proc/meminfo: memFree=1446152/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=134116 CPUtime=2.41
/proc/6106/stat : 6106 (python) S 6104 6106 5397 0 -1 4202496 12729 3813 0 0 188 49 1 3 15 0 1 0 89162273 137334784 6330 1992294400 4194304 4196484 140733908354752 18446744073709551615 211173551631 0 0 16781312 2 159836005329808291 0 0 17 1 0 0 0
/proc/6106/statm: 33529 6330 1143 1 0 5166 0
[pid=6118] ppid=6106 vsize=19836 CPUtime=11.07
/proc/6118/stat : 6118 (wbo1.4a) R 6106 6118 6118 0 -1 4202496 4805 0 0 0 1101 6 0 0 25 0 1 0 89162435 20312064 4473 1992294400 134512640 135751879 4291532832 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/6118/statm: 4959 4473 139 303 0 4654 0
Current children cumulated CPU time (s) 13.48
Current children cumulated vsize (KiB) 153952

[startup+25.5006 s]
/proc/loadavg: 1.04 1.06 0.93 2/108 6118
/proc/meminfo: memFree=1418252/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=134116 CPUtime=3.28
/proc/6106/stat : 6106 (python) S 6104 6106 5397 0 -1 4202496 12760 3813 0 0 263 61 1 3 16 0 1 0 89162273 137334784 6331 1992294400 4194304 4196484 140733908354752 18446744073709551615 211173551631 0 0 16781312 2 159836005329808291 0 0 17 1 0 0 0
/proc/6106/statm: 33529 6331 1143 1 0 5166 0
[pid=6118] ppid=6106 vsize=47496 CPUtime=23.87
/proc/6118/stat : 6118 (wbo1.4a) R 6106 6118 6118 0 -1 4202496 11699 0 0 0 2367 20 0 0 25 0 1 0 89162435 48635904 11367 1992294400 134512640 135751879 4291532832 18446744073709551615 134517409 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/6118/statm: 11874 11367 139 303 0 11569 0
Current children cumulated CPU time (s) 27.15
Current children cumulated vsize (KiB) 181612

[startup+51.1003 s]
/proc/loadavg: 1.02 1.05 0.93 2/108 6118
/proc/meminfo: memFree=1390104/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=134116 CPUtime=4.89
/proc/6106/stat : 6106 (python) S 6104 6106 5397 0 -1 4202496 12795 3813 0 0 404 81 1 3 15 0 1 0 89162273 137334784 6331 1992294400 4194304 4196484 140733908354752 18446744073709551615 211173551631 0 0 16781312 2 159836005329808291 0 0 17 1 0 0 0
/proc/6106/statm: 33529 6331 1143 1 0 5166 0
[pid=6118] ppid=6106 vsize=75868 CPUtime=49.46
/proc/6118/stat : 6118 (wbo1.4a) R 6106 6118 6118 0 -1 4202496 18770 0 0 0 4910 36 0 0 25 0 1 0 89162435 77688832 18438 1992294400 134512640 135751879 4291532832 18446744073709551615 134602436 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/6118/statm: 18967 18438 139 303 0 18662 0
Current children cumulated CPU time (s) 54.35
Current children cumulated vsize (KiB) 209984

[startup+102.309 s]
/proc/loadavg: 1.23 1.12 0.95 3/108 6126
/proc/meminfo: memFree=1390228/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=134116 CPUtime=59.6
/proc/6106/stat : 6106 (python) S 6104 6106 5397 0 -1 4202496 15289 25716 0 0 730 131 5053 46 15 0 1 0 89162273 137334784 6333 1992294400 4194304 4196484 140733908354752 18446744073709551615 211173551631 0 0 16781312 2 159836005329808291 0 0 17 1 0 0 0
/proc/6106/statm: 33529 6333 1143 1 0 5166 0
[pid=6124] ppid=6106 vsize=75864 CPUtime=49.49
/proc/6124/stat : 6124 (wbo1.4a) R 6106 6124 6124 0 -1 4202496 18781 0 0 0 4911 38 0 0 25 0 1 0 89167549 77684736 18440 1992294400 134512640 135751879 4293680480 18446744073709551615 134603009 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/6124/statm: 18966 18440 139 303 0 18661 0
Current children cumulated CPU time (s) 109.09
Current children cumulated vsize (KiB) 209980

[startup+162.301 s]
/proc/loadavg: 1.08 1.09 0.95 2/108 6131
/proc/meminfo: memFree=1449252/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=134116 CPUtime=164.52
/proc/6106/stat : 6106 (python) S 6104 6106 5397 0 -1 4202496 16526 61826 0 0 1088 180 15060 124 15 0 1 0 89162273 137334784 6334 1992294400 4194304 4196484 140733908354752 18446744073709551615 211173551631 0 0 16781312 2 159688670771686307 0 0 17 0 0 0 0
/proc/6106/statm: 33529 6334 1143 1 0 5166 0
[pid=6131] ppid=6106 vsize=17700 CPUtime=8.26
/proc/6131/stat : 6131 (wbo1.4b) R 6106 6131 6131 0 -1 4202496 4261 0 0 0 818 8 0 0 25 0 1 0 89177677 18124800 3928 1992294400 134512640 135751879 4292095248 18446744073709551615 134516977 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/6131/statm: 4425 3928 144 303 0 4120 0
Current children cumulated CPU time (s) 172.78
Current children cumulated vsize (KiB) 151816

[startup+222.301 s]
/proc/loadavg: 1.07 1.09 0.96 2/120 6148
/proc/meminfo: memFree=1284052/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=134116 CPUtime=218.88
/proc/6106/stat : 6106 (python) S 6104 6106 5397 0 -1 4202496 17862 81340 0 0 1406 241 20079 162 16 0 1 0 89162273 137334784 6336 1992294400 4194304 4196484 140733908354752 18446744073709551615 211173551631 0 0 16781312 2 159836005329808291 0 0 17 1 0 0 0
/proc/6106/statm: 33529 6336 1143 1 0 5166 0
[pid=6134] ppid=6106 vsize=1481360 CPUtime=19.09
/proc/6134/stat : 6134 (java) S 6106 6134 6134 0 -1 4202496 48489 0 1 0 1888 21 0 0 15 0 13 0 89182737 1516912640 46180 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6134/statm: 370340 46180 1438 10 0 367642 0
[pid=6134/tid=6135] ppid=6106 vsize=1481360 CPUtime=16.87
/proc/6134/task/6135/stat : 6135 (java) R 6106 6134 6134 0 -1 4202560 30946 0 1 0 1675 12 0 0 25 0 13 0 89182739 1516912640 46180 1992294400 134512640 134550932 4292265648 18446744073709551615 4109932022 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6134/tid=6136] ppid=6106 vsize=1481360 CPUtime=0.2
/proc/6134/task/6136/stat : 6136 (java) S 6106 6134 6134 0 -1 4202560 6891 0 0 0 18 2 0 0 16 0 13 0 89182741 1516912640 46180 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6134/tid=6137] ppid=6106 vsize=1481360 CPUtime=0.21
/proc/6134/task/6137/stat : 6137 (java) S 6106 6134 6134 0 -1 4202560 5845 0 0 0 18 3 0 0 18 0 13 0 89182741 1516912640 46180 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6134/tid=6138] ppid=6106 vsize=1481360 CPUtime=0
/proc/6134/task/6138/stat : 6138 (java) S 6106 6134 6134 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 13 0 89182742 1516912640 46180 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 0 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6134/tid=6139] ppid=6106 vsize=1481360 CPUtime=0
/proc/6134/task/6139/stat : 6139 (java) S 6106 6134 6134 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 89182743 1516912640 46180 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6134/tid=6140] ppid=6106 vsize=1481360 CPUtime=0
/proc/6134/task/6140/stat : 6140 (java) S 6106 6134 6134 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 89182743 1516912640 46180 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6134/tid=6141] ppid=6106 vsize=1481360 CPUtime=0
/proc/6134/task/6141/stat : 6141 (java) S 6106 6134 6134 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 89182747 1516912640 46180 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6134/tid=6142] ppid=6106 vsize=1481360 CPUtime=0.95
/proc/6134/task/6142/stat : 6142 (java) S 6106 6134 6134 0 -1 4202560 1924 0 0 0 95 0 0 0 16 0 13 0 89182747 1516912640 46180 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 1 0 0 0
[pid=6134/tid=6143] ppid=6106 vsize=1481360 CPUtime=0.78
/proc/6134/task/6143/stat : 6143 (java) S 6106 6134 6134 0 -1 4202560 1495 0 0 0 78 0 0 0 15 0 13 0 89182747 1516912640 46180 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6134/tid=6144] ppid=6106 vsize=1481360 CPUtime=0
/proc/6134/task/6144/stat : 6144 (java) S 6106 6134 6134 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 89182747 1516912640 46180 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6134/tid=6145] ppid=6106 vsize=1481360 CPUtime=0
/proc/6134/task/6145/stat : 6145 (java) S 6106 6134 6134 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 89182747 1516912640 46180 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6134/tid=6148] ppid=6106 vsize=1481360 CPUtime=0
/proc/6134/task/6148/stat : 6148 (java) S 6106 6134 6134 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 89182968 1516912640 46180 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 237.97
Current children cumulated vsize (KiB) 1615476

[startup+282.302 s]
/proc/loadavg: 1.08 1.08 0.96 2/120 6150
/proc/meminfo: memFree=1184108/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=134116 CPUtime=222.69
/proc/6106/stat : 6106 (python) S 6104 6106 5397 0 -1 4202496 17930 81340 0 0 1734 294 20079 162 16 0 1 0 89162273 137334784 6336 1992294400 4194304 4196484 140733908354752 18446744073709551615 211173551631 0 0 16781312 2 159836005329808291 0 0 17 1 0 0 0
/proc/6106/statm: 33529 6336 1143 1 0 5166 0
[pid=6134] ppid=6106 vsize=1481360 CPUtime=79.04
/proc/6134/stat : 6134 (java) S 6106 6134 6134 0 -1 4202496 78069 0 1 0 7868 36 0 0 15 0 13 0 89182737 1516912640 71056 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6134/statm: 370340 71056 1438 10 0 367642 0
[pid=6134/tid=6135] ppid=6106 vsize=1481360 CPUtime=76.01
/proc/6134/task/6135/stat : 6135 (java) R 6106 6134 6134 0 -1 4202560 30963 0 1 0 7586 15 0 0 25 0 13 0 89182739 1516912640 71056 1992294400 134512640 134550932 4292265648 18446744073709551615 4109931982 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6134/tid=6136] ppid=6106 vsize=1481360 CPUtime=0.62
/proc/6134/task/6136/stat : 6136 (java) S 6106 6134 6134 0 -1 4202560 20992 0 0 0 53 9 0 0 16 0 13 0 89182741 1516912640 71056 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 1 0 0 0
[pid=6134/tid=6137] ppid=6106 vsize=1481360 CPUtime=0.59
/proc/6134/task/6137/stat : 6137 (java) S 6106 6134 6134 0 -1 4202560 21299 0 0 0 50 9 0 0 18 0 13 0 89182741 1516912640 71056 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6134/tid=6138] ppid=6106 vsize=1481360 CPUtime=0
/proc/6134/task/6138/stat : 6138 (java) S 6106 6134 6134 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 13 0 89182742 1516912640 71056 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 0 0 16800975 18446604437845816256 0 0 -1 1 0 0 0
[pid=6134/tid=6139] ppid=6106 vsize=1481360 CPUtime=0
/proc/6134/task/6139/stat : 6139 (java) S 6106 6134 6134 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 89182743 1516912640 71056 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6134/tid=6140] ppid=6106 vsize=1481360 CPUtime=0
/proc/6134/task/6140/stat : 6140 (java) S 6106 6134 6134 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 89182743 1516912640 71056 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6134/tid=6141] ppid=6106 vsize=1481360 CPUtime=0
/proc/6134/task/6141/stat : 6141 (java) S 6106 6134 6134 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 89182747 1516912640 71056 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6134/tid=6142] ppid=6106 vsize=1481360 CPUtime=0.95
/proc/6134/task/6142/stat : 6142 (java) S 6106 6134 6134 0 -1 4202560 1924 0 0 0 95 0 0 0 15 0 13 0 89182747 1516912640 71056 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 1 0 0 0
[pid=6134/tid=6143] ppid=6106 vsize=1481360 CPUtime=0.8
/proc/6134/task/6143/stat : 6143 (java) S 6106 6134 6134 0 -1 4202560 1495 0 0 0 80 0 0 0 15 0 13 0 89182747 1516912640 71056 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6134/tid=6144] ppid=6106 vsize=1481360 CPUtime=0
/proc/6134/task/6144/stat : 6144 (java) S 6106 6134 6134 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 89182747 1516912640 71056 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6134/tid=6145] ppid=6106 vsize=1481360 CPUtime=0
/proc/6134/task/6145/stat : 6145 (java) S 6106 6134 6134 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 13 0 89182747 1516912640 71056 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 1 0 0 0
[pid=6134/tid=6148] ppid=6106 vsize=1481360 CPUtime=0
/proc/6134/task/6148/stat : 6148 (java) S 6106 6134 6134 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 89182968 1516912640 71056 1992294400 134512640 134550932 4292265648 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 301.73
Current children cumulated vsize (KiB) 1615476

[startup+342.301 s]
/proc/loadavg: 1.03 1.07 0.96 2/108 6153
/proc/meminfo: memFree=1399344/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=134116 CPUtime=327.59
/proc/6106/stat : 6106 (python) S 6104 6106 5397 0 -1 4202496 19241 164219 0 1 2077 348 30127 207 15 0 1 0 89162273 137334784 6338 1992294400 4194304 4196484 140733908354752 18446744073709551615 211173551631 0 0 16781312 2 159688670771686307 0 0 17 0 0 0 0
/proc/6106/statm: 33529 6338 1143 1 0 5166 0
[pid=6153] ppid=6106 vsize=67244 CPUtime=37.99
/proc/6153/stat : 6153 (wbo1.4b) R 6106 6153 6153 0 -1 4202496 16635 0 0 0 3769 30 0 0 25 0 1 0 89192701 68857856 16298 1992294400 134512640 135751879 4289773568 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/6153/statm: 16811 16298 144 303 0 16506 0
Current children cumulated CPU time (s) 365.58
Current children cumulated vsize (KiB) 201360

[startup+402.302 s]
/proc/loadavg: 1.01 1.05 0.96 2/108 6155
/proc/meminfo: memFree=1333872/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=134116 CPUtime=331.15
/proc/6106/stat : 6106 (python) S 6104 6106 5397 0 -1 4202496 19268 164219 0 1 2363 418 30127 207 15 0 1 0 89162273 137334784 6338 1992294400 4194304 4196484 140733908354752 18446744073709551615 211173551631 0 0 16781312 2 159688670771686307 0 0 17 0 0 0 0
/proc/6106/statm: 33529 6338 1143 1 0 5166 0
[pid=6153] ppid=6106 vsize=132792 CPUtime=97.97
/proc/6153/stat : 6153 (wbo1.4b) R 6106 6153 6153 0 -1 4202496 33015 0 0 0 9727 70 0 0 25 0 1 0 89192701 135979008 32678 1992294400 134512640 135751879 4289773568 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/6153/statm: 33198 32678 144 303 0 32893 0
Current children cumulated CPU time (s) 429.12
Current children cumulated vsize (KiB) 266908

[startup+462.301 s]
/proc/loadavg: 1.24 1.10 0.98 2/108 6169
/proc/meminfo: memFree=1452540/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=134116 CPUtime=486.94
/proc/6106/stat : 6106 (python) S 6104 6106 5397 0 -1 4202496 24178 212719 0 1 2726 493 45177 298 15 0 1 0 89162273 137334784 6342 1992294400 4194304 4196484 140733908354752 18446744073709551615 211173551631 0 0 16781312 2 159688670771686307 0 0 17 0 0 0 0
/proc/6106/statm: 33529 6342 1143 1 0 5166 0
[pid=6169] ppid=6106 vsize=13572 CPUtime=6.15
/proc/6169/stat : 6169 (wbo1.4a) R 6106 6169 6169 0 -1 4202496 3248 0 0 0 610 5 0 0 25 0 1 0 89207887 13897728 2911 1992294400 134512640 135751879 4294212928 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/6169/statm: 3393 2911 139 303 0 3088 0
Current children cumulated CPU time (s) 493.09
Current children cumulated vsize (KiB) 147688

[startup+522.301 s]
/proc/loadavg: 1.17 1.10 0.99 3/120 6213
/proc/meminfo: memFree=1228624/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=134116 CPUtime=512.45
/proc/6106/stat : 6106 (python) S 6104 6106 5397 0 -1 4202496 32698 228199 0 1 3134 563 47226 322 15 0 1 0 89162273 137334784 6344 1992294400 4194304 4196484 140733908354752 18446744073709551615 211173551631 0 0 16781312 2 159836005329808291 0 0 17 1 0 0 0
/proc/6106/statm: 33529 6344 1143 1 0 5166 0
[pid=6199] ppid=6106 vsize=1484908 CPUtime=46.47
/proc/6199/stat : 6199 (java) S 6106 6199 6199 0 -1 4202496 66052 0 1 0 4612 35 0 0 15 0 13 0 89210044 1520545792 61062 1992294400 134512640 134550932 4287214464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6199/statm: 371227 61062 1439 10 0 368529 0
[pid=6199/tid=6200] ppid=6106 vsize=1484908 CPUtime=43.74
/proc/6199/task/6200/stat : 6200 (java) R 6106 6199 6199 0 -1 4202560 30998 0 1 0 4357 17 0 0 25 0 13 0 89210046 1520545792 61062 1992294400 134512640 134550932 4287214464 18446744073709551615 4109085411 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6199/tid=6201] ppid=6106 vsize=1484908 CPUtime=0.44
/proc/6199/task/6201/stat : 6201 (java) S 6106 6199 6199 0 -1 4202560 16849 0 0 0 36 8 0 0 15 0 13 0 89210047 1520545792 61062 1992294400 134512640 134550932 4287214464 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6199/tid=6202] ppid=6106 vsize=1484908 CPUtime=0.39
/proc/6199/task/6202/stat : 6202 (java) S 6106 6199 6199 0 -1 4202560 13179 0 0 0 32 7 0 0 16 0 13 0 89210047 1520545792 61062 1992294400 134512640 134550932 4287214464 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 1 0 0 0
[pid=6199/tid=6203] ppid=6106 vsize=1484908 CPUtime=0
/proc/6199/task/6203/stat : 6203 (java) S 6106 6199 6199 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 13 0 89210049 1520545792 61062 1992294400 134512640 134550932 4287214464 18446744073709551615 4294960144 0 0 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6199/tid=6204] ppid=6106 vsize=1484908 CPUtime=0
/proc/6199/task/6204/stat : 6204 (java) S 6106 6199 6199 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 89210049 1520545792 61062 1992294400 134512640 134550932 4287214464 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6199/tid=6205] ppid=6106 vsize=1484908 CPUtime=0
/proc/6199/task/6205/stat : 6205 (java) S 6106 6199 6199 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 89210049 1520545792 61062 1992294400 134512640 134550932 4287214464 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6199/tid=6206] ppid=6106 vsize=1484908 CPUtime=0
/proc/6199/task/6206/stat : 6206 (java) S 6106 6199 6199 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 89210054 1520545792 61062 1992294400 134512640 134550932 4287214464 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6199/tid=6207] ppid=6106 vsize=1484908 CPUtime=0.94
/proc/6199/task/6207/stat : 6207 (java) S 6106 6199 6199 0 -1 4202560 2597 0 0 0 93 1 0 0 15 0 13 0 89210054 1520545792 61062 1992294400 134512640 134550932 4287214464 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6199/tid=6208] ppid=6106 vsize=1484908 CPUtime=0.91
/proc/6199/task/6208/stat : 6208 (java) S 6106 6199 6199 0 -1 4202560 1035 0 0 0 91 0 0 0 15 0 13 0 89210054 1520545792 61062 1992294400 134512640 134550932 4287214464 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6199/tid=6209] ppid=6106 vsize=1484908 CPUtime=0
/proc/6199/task/6209/stat : 6209 (java) S 6106 6199 6199 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 89210054 1520545792 61062 1992294400 134512640 134550932 4287214464 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
[pid=6199/tid=6210] ppid=6106 vsize=1484908 CPUtime=0
/proc/6199/task/6210/stat : 6210 (java) S 6106 6199 6199 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 13 0 89210054 1520545792 61062 1992294400 134512640 134550932 4287214464 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 1 0 0 0
[pid=6199/tid=6211] ppid=6106 vsize=1484908 CPUtime=0
/proc/6199/task/6211/stat : 6211 (java) S 6106 6199 6199 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 89210284 1520545792 61062 1992294400 134512640 134550932 4287214464 18446744073709551615 4294960144 0 4 0 16800975 18446604437845816256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 558.92
Current children cumulated vsize (KiB) 1619024

[startup+582.302 s]
/proc/loadavg: 1.16 1.11 1.00 2/108 6236
/proc/meminfo: memFree=1433072/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=134116 CPUtime=578.89
/proc/6106/stat : 6106 (python) S 6104 6106 5397 0 -1 4202496 41318 309660 0 2 3553 635 53321 380 15 0 1 0 89162273 137334784 6347 1992294400 4194304 4196484 140733908354752 18446744073709551615 211173551631 0 0 16781312 2 159688670771686307 0 0 17 0 0 0 0
/proc/6106/statm: 33529 6347 1143 1 0 5166 0
[pid=6234] ppid=6106 vsize=40816 CPUtime=43.84
/proc/6234/stat : 6234 (bsolo_pb10) R 6106 6234 6234 0 -1 4202496 8397 0 0 0 4371 13 0 0 25 0 1 0 89216091 41795584 7792 1992294400 134512640 137138936 4291383952 18446744073709551615 134542497 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/6234/statm: 10204 7792 192 642 0 9560 0
Current children cumulated CPU time (s) 622.73
Current children cumulated vsize (KiB) 174932

[startup+642.3 s]
/proc/loadavg: 1.06 1.08 1.00 2/108 6287
/proc/meminfo: memFree=1462584/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=134248 CPUtime=685.84
/proc/6106/stat : 6106 (python) R 6104 6106 5397 0 -1 4202496 62114 350262 0 2 4067 730 63357 430 18 0 1 0 89162273 137469952 6353 1992294400 4194304 4196484 140733908354752 18446744073709551615 47982124402371 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/6106/statm: 33562 6353 1143 1 0 5199 0
[pid=6287] ppid=6106 vsize=0 CPUtime=0
/proc/6287/stat : 6287 (clasp-1.3.3-x86) Z 6106 6287 6287 0 -1 4202524 532 0 0 0 0 0 0 0 18 0 1 0 89226494 0 0 1992294400 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/6287/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 685.84
Current children cumulated vsize (KiB) 134248

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

[startup+643.101 s]
/proc/loadavg: 1.06 1.08 1.00 2/108 6287
/proc/meminfo: memFree=1462584/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=134244 CPUtime=686.65
/proc/6106/stat : 6106 (python) R 6104 6106 5397 0 -1 4202496 67565 357638 0 2 4125 741 63360 439 18 0 1 0 89162273 137465856 6354 1992294400 4194304 4196484 140733908354752 18446744073709551615 211176970211 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6106/statm: 33561 6354 1143 1 0 5198 0
Current children cumulated CPU time (s) 686.65
Current children cumulated vsize (KiB) 134244

[startup+643.509 s]
/proc/loadavg: 1.06 1.08 1.00 2/108 6305
/proc/meminfo: memFree=1461964/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=134248 CPUtime=687.05
/proc/6106/stat : 6106 (python) R 6104 6106 5397 0 -1 4202496 70642 360575 0 2 4154 747 63362 442 18 0 1 0 89162273 137469952 6355 1992294400 4194304 4196484 140733908354752 18446744073709551615 47982124392091 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6106/statm: 33562 6355 1143 1 0 5199 0
Current children cumulated CPU time (s) 687.05
Current children cumulated vsize (KiB) 134248

[startup+643.7 s]
/proc/loadavg: 1.06 1.08 1.00 2/108 6305
/proc/meminfo: memFree=1461964/2059040 swapFree=4140368/4192956
[pid=6106] ppid=6104 vsize=134244 CPUtime=687.26
/proc/6106/stat : 6106 (python) R 6104 6106 5397 0 -1 4202496 74985 362072 0 2 4169 750 63363 444 18 0 1 0 89162273 137465856 6355 1992294400 4194304 4196484 140733908354752 18446744073709551615 47982124386753 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/6106/statm: 33561 6355 1143 1 0 5198 0
Current children cumulated CPU time (s) 687.26
Current children cumulated vsize (KiB) 134244

Child status: 0
Real time (s): 643.719
CPU time (s): 687.298
CPU user time (s): 675.339
CPU system time (s): 11.9582
CPU usage (%): 106.77
Max. virtual memory (cumulated for all children) (KiB): 1619028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 675.339
system time used= 11.9582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 437615
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= 7346
involuntary context switches= 11649

runsolver used 1.25781 second user time and 3.33549 second system time

The end

Launcher Data 

Begin job on node007 at 2010-06-21 17:53:08
IDJOB=2675892
IDBENCH=48335
IDSOLVER=1178
FILE ID=node007/2675892-1277135588
PBS_JOBID= 11182101
Free space on /tmp= 62520 MiB

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

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

MD5SUM BENCH= 2b927be10d6e21370847ee6c94426772
RANDOM SEED=1199424143

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1484888 kB
Buffers:        142356 kB
Cached:         323164 kB
SwapCached:       6340 kB
Active:         249012 kB
Inactive:       230924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1484888 kB
SwapTotal:     4192956 kB
SwapFree:      4140368 kB
Dirty:           21060 kB
Writeback:          80 kB
AnonPages:       12848 kB
Mapped:          13020 kB
Slab:            72300 kB
PageTables:       3976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182312 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= 62500 MiB
End job on node007 at 2010-06-21 18:03:52