Trace number 2675938

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? 686.799 646.77

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_2_15.opb
MD5SUM40a2ba0dbddb74264297ba04f9c13f4e
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark4.93625
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
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 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)74976
Sum of products size (including duplicates)149952
Number of different products37488
Sum of products size74976

Solver Data 

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

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


[startup+0 s]
/proc/loadavg: 1.07 1.10 1.00 2/106 11323
/proc/meminfo: memFree=1547604/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=16708 CPUtime=0
/proc/11323/stat : 11323 (python) R 11321 11323 10813 0 -1 4202496 717 0 0 0 0 0 0 0 19 0 1 0 54883724 17108992 483 1992294400 4194304 4196484 140733353246576 18446744073709551615 236989058463 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11323/statm: 4177 484 268 1 0 273 0

[startup+0.106528 s]
/proc/loadavg: 1.07 1.10 1.00 2/106 11323
/proc/meminfo: memFree=1547604/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=32156 CPUtime=0.07
/proc/11323/stat : 11323 (python) S 11321 11323 10813 0 -1 4202496 2414 0 0 0 5 2 0 0 15 0 1 0 54883724 32927744 1390 1992294400 4194304 4196484 140736074198496 18446744073709551615 236972693504 0 2147483391 16781312 2 18446744071699481790 0 0 17 0 0 0 0
/proc/11323/statm: 8039 1390 459 1 0 911 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 32156

[startup+0.201914 s]
/proc/loadavg: 1.07 1.10 1.00 2/106 11323
/proc/meminfo: memFree=1547604/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=54540 CPUtime=0.15
/proc/11323/stat : 11323 (python) S 11321 11323 10813 0 -1 4202496 3312 0 0 0 10 5 0 0 15 0 1 0 54883724 55848960 2191 1992294400 4194304 4196484 140736074198496 18446744073709551615 236972693504 0 2147483391 16781312 2 18446744071699481790 0 0 17 0 0 0 0
/proc/11323/statm: 13635 2191 593 1 0 1535 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 54540

[startup+0.300879 s]
/proc/loadavg: 1.07 1.10 1.00 2/106 11323
/proc/meminfo: memFree=1547604/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=70596 CPUtime=0.22
/proc/11323/stat : 11323 (python) S 11321 11323 10813 0 -1 4202496 3961 0 0 0 15 7 0 0 16 0 1 0 54883724 72290304 2797 1992294400 4194304 4196484 140736074198496 18446744073709551615 236972693504 0 2147483391 16781312 2 18446744071699481790 0 0 17 0 0 0 0
/proc/11323/statm: 17711 2815 693 1 0 2198 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 70596

[startup+0.70043 s]
/proc/loadavg: 1.07 1.10 1.00 2/106 11323
/proc/meminfo: memFree=1547604/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=98788 CPUtime=0.49
/proc/11323/stat : 11323 (python) R 11321 11323 10813 0 -1 4202496 4866 0 0 0 32 17 0 0 16 0 1 0 54883724 101158912 3579 1992294400 4194304 4196484 140736074198496 18446744073709551615 46933121190823 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11323/statm: 24697 3579 1022 1 0 2554 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 98788

[startup+1.50042 s]
/proc/loadavg: 1.07 1.10 1.00 2/107 11328
/proc/meminfo: memFree=1528128/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=119524 CPUtime=1.05
/proc/11323/stat : 11323 (python) R 11321 11323 10813 0 -1 4202496 9044 929 0 0 72 33 0 0 16 0 1 0 54883724 122392576 6177 1992294400 4194304 4196484 140736074198496 18446744073709551615 46933121068602 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11323/statm: 29881 6178 1063 1 0 5135 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 119524

[startup+3.10139 s]
/proc/loadavg: 1.07 1.10 1.00 2/108 11335
/proc/meminfo: memFree=1514480/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134116 CPUtime=1.69
/proc/11323/stat : 11323 (python) S 11321 11323 10813 0 -1 4202496 12729 3819 0 0 124 40 1 4 15 0 1 0 54883724 137334784 6333 1992294400 4194304 4196484 140736074198496 18446744073709551615 236972715535 0 0 16781312 2 159688670771686063 0 0 17 0 0 0 0
/proc/11323/statm: 33529 6333 1143 1 0 5166 0
[pid=11335] ppid=11323 vsize=20396 CPUtime=1.13
/proc/11335/stat : 11335 (wbo1.4a) R 11323 11335 11335 0 -1 4202496 4876 0 0 0 106 7 0 0 22 0 1 0 54883920 20885504 4134 1992294400 134512640 135751879 4294354256 18446744073709551615 134518464 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11335/statm: 5099 4134 138 303 0 4794 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 154512

[startup+6.30034 s]
/proc/loadavg: 1.07 1.10 1.00 2/108 11335
/proc/meminfo: memFree=1509520/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134116 CPUtime=1.88
/proc/11323/stat : 11323 (python) S 11321 11323 10813 0 -1 4202496 12739 3819 0 0 141 42 1 4 15 0 1 0 54883724 137334784 6333 1992294400 4194304 4196484 140736074198496 18446744073709551615 236972715535 0 0 16781312 2 159688670771686063 0 0 17 0 0 0 0
/proc/11323/statm: 33529 6333 1143 1 0 5166 0
[pid=11335] ppid=11323 vsize=21188 CPUtime=4.3
/proc/11335/stat : 11335 (wbo1.4a) R 11323 11335 11335 0 -1 4202496 5061 0 0 0 422 8 0 0 25 0 1 0 54883920 21696512 4319 1992294400 134512640 135751879 4294354256 18446744073709551615 134518929 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11335/statm: 5297 4319 138 303 0 4992 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 155304

[startup+12.7012 s]
/proc/loadavg: 1.06 1.09 1.00 2/108 11335
/proc/meminfo: memFree=1497368/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134116 CPUtime=2.45
/proc/11323/stat : 11323 (python) S 11321 11323 10813 0 -1 4202496 12760 3819 0 0 194 46 1 4 16 0 1 0 54883724 137334784 6334 1992294400 4194304 4196484 140736074198496 18446744073709551615 236972715535 0 0 16781312 2 159688670771686063 0 0 17 0 0 0 0
/proc/11323/statm: 33529 6334 1143 1 0 5166 0
[pid=11335] ppid=11323 vsize=33864 CPUtime=10.66
/proc/11335/stat : 11335 (wbo1.4a) R 11323 11335 11335 0 -1 4202496 8237 0 0 0 1054 12 0 0 25 0 1 0 54883920 34676736 7495 1992294400 134512640 135751879 4294354256 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11335/statm: 8466 7495 139 303 0 8161 0
Current children cumulated CPU time (s) 13.11
Current children cumulated vsize (KiB) 167980

[startup+25.5001 s]
/proc/loadavg: 1.05 1.09 1.00 2/108 11335
/proc/meminfo: memFree=1468228/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134116 CPUtime=3.29
/proc/11323/stat : 11323 (python) S 11321 11323 10813 0 -1 4202496 12790 3819 0 0 271 53 1 4 15 0 1 0 54883724 137334784 6334 1992294400 4194304 4196484 140736074198496 18446744073709551615 236972715535 0 0 16781312 2 159688670771686063 0 0 17 0 0 0 0
/proc/11323/statm: 33529 6334 1143 1 0 5166 0
[pid=11335] ppid=11323 vsize=62676 CPUtime=23.38
/proc/11335/stat : 11335 (wbo1.4a) R 11323 11335 11335 0 -1 4202496 15435 0 0 0 2321 17 0 0 25 0 1 0 54883920 64180224 14693 1992294400 134512640 135751879 4294354256 18446744073709551615 134616486 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11335/statm: 15669 14693 139 303 0 15364 0
Current children cumulated CPU time (s) 26.67
Current children cumulated vsize (KiB) 196792

[startup+51.1007 s]
/proc/loadavg: 1.10 1.10 1.00 2/108 11335
/proc/meminfo: memFree=1411188/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134116 CPUtime=4.82
/proc/11323/stat : 11323 (python) S 11321 11323 10813 0 -1 4202496 12827 3819 0 0 412 65 1 4 15 0 1 0 54883724 137334784 6334 1992294400 4194304 4196484 140736074198496 18446744073709551615 236972715535 0 0 16781312 2 159688670771686063 0 0 17 0 0 0 0
/proc/11323/statm: 33529 6334 1143 1 0 5166 0
[pid=11335] ppid=11323 vsize=119904 CPUtime=48.81
/proc/11335/stat : 11335 (wbo1.4a) R 11323 11335 11335 0 -1 4202496 29731 0 0 0 4854 27 0 0 25 0 1 0 54883920 122781696 28989 1992294400 134512640 135751879 4294354256 18446744073709551615 134616514 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11335/statm: 29976 28989 139 303 0 29671 0
Current children cumulated CPU time (s) 53.63
Current children cumulated vsize (KiB) 254020

[startup+102.301 s]
/proc/loadavg: 1.09 1.09 1.01 2/108 11343
/proc/meminfo: memFree=1410816/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134116 CPUtime=59.05
/proc/11323/stat : 11323 (python) S 11321 11323 10813 0 -1 4202496 15334 36185 0 0 729 112 5028 36 16 0 1 0 54883724 137334784 6336 1992294400 4194304 4196484 140736074198496 18446744073709551615 236972715535 0 0 16781312 2 159688670771686063 0 0 17 0 0 0 0
/proc/11323/statm: 33529 6336 1143 1 0 5166 0
[pid=11341] ppid=11323 vsize=120040 CPUtime=48.92
/proc/11341/stat : 11341 (wbo1.4a) R 11323 11341 11341 0 -1 4202496 29756 0 0 0 4867 25 0 0 25 0 1 0 54889032 122920960 29007 1992294400 134512640 135751879 4292803584 18446744073709551615 134517421 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11341/statm: 30010 29007 139 303 0 29705 0
Current children cumulated CPU time (s) 107.97
Current children cumulated vsize (KiB) 254156

[startup+162.301 s]
/proc/loadavg: 1.06 1.09 1.00 2/108 11357
/proc/meminfo: memFree=1503072/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134116 CPUtime=164.06
/proc/11323/stat : 11323 (python) S 11321 11323 10813 0 -1 4202496 16590 97436 0 0 1070 168 15078 90 15 0 1 0 54883724 137334784 6338 1992294400 4194304 4196484 140736074198496 18446744073709551615 236972715535 0 0 16781312 2 159688670771686063 0 0 17 0 0 0 0
/proc/11323/statm: 33529 6338 1143 1 0 5166 0
[pid=11357] ppid=11323 vsize=28940 CPUtime=7.42
/proc/11357/stat : 11357 (wbo1.4b) R 11323 11357 11357 0 -1 4202496 9431 0 0 0 731 11 0 0 25 0 1 0 54899205 29634560 6200 1992294400 134512640 135751879 4293600288 18446744073709551615 134516986 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11357/statm: 7235 6200 143 303 0 6930 0
Current children cumulated CPU time (s) 171.48
Current children cumulated vsize (KiB) 163056

[startup+222.309 s]
/proc/loadavg: 1.05 1.08 1.00 2/119 11373
/proc/meminfo: memFree=1488912/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134116 CPUtime=218.53
/proc/11323/stat : 11323 (python) S 11321 11323 10813 0 -1 4202496 17907 130674 0 0 1422 204 20106 121 15 0 1 0 54883724 137334784 6338 1992294400 4194304 4196484 140736074198496 18446744073709551615 236972715535 0 0 16781312 2 159836005329808047 0 0 17 1 0 0 0
/proc/11323/statm: 33529 6338 1143 1 0 5166 0
[pid=11360] ppid=11323 vsize=1477324 CPUtime=17.07
/proc/11360/stat : 11360 (java) S 11323 11360 11360 0 -1 4202496 12068 0 1 0 1698 9 0 0 15 0 12 0 54904301 1512779776 10716 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11360/statm: 369331 10716 1416 10 0 366633 0
[pid=11360/tid=11361] ppid=11323 vsize=1477324 CPUtime=16.2
/proc/11360/task/11361/stat : 11361 (java) R 11323 11360 11360 0 -1 4202560 8901 0 1 0 1613 7 0 0 25 0 12 0 54904303 1512779776 10716 1992294400 134512640 134550932 4286809888 18446744073709551615 4108940555 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11360/tid=11362] ppid=11323 vsize=1477324 CPUtime=0
/proc/11360/task/11362/stat : 11362 (java) S 11323 11360 11360 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 54904304 1512779776 10716 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 4 0 16800975 18446604437844256960 0 0 -1 0 0 0 0
[pid=11360/tid=11363] ppid=11323 vsize=1477324 CPUtime=0
/proc/11360/task/11363/stat : 11363 (java) S 11323 11360 11360 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 12 0 54904304 1512779776 10716 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 4 0 16800975 18446604437844256960 0 0 -1 1 0 0 0
[pid=11360/tid=11364] ppid=11323 vsize=1477324 CPUtime=0
/proc/11360/task/11364/stat : 11364 (java) S 11323 11360 11360 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54904306 1512779776 10716 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 0 0 16800975 18446604437844256960 0 0 -1 0 0 0 0
[pid=11360/tid=11365] ppid=11323 vsize=1477324 CPUtime=0
/proc/11360/task/11365/stat : 11365 (java) S 11323 11360 11360 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 54904307 1512779776 10716 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 4 0 16800975 18446604437844256960 0 0 -1 0 0 0 0
[pid=11360/tid=11366] ppid=11323 vsize=1477324 CPUtime=0
/proc/11360/task/11366/stat : 11366 (java) S 11323 11360 11360 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 54904307 1512779776 10716 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 4 0 16800975 18446604437844256960 0 0 -1 0 0 0 0
[pid=11360/tid=11367] ppid=11323 vsize=1477324 CPUtime=0
/proc/11360/task/11367/stat : 11367 (java) S 11323 11360 11360 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 54904311 1512779776 10716 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 4 0 16800975 18446604437844256960 0 0 -1 0 0 0 0
[pid=11360/tid=11368] ppid=11323 vsize=1477324 CPUtime=0.26
/proc/11360/task/11368/stat : 11368 (java) S 11323 11360 11360 0 -1 4202560 725 0 0 0 26 0 0 0 15 0 12 0 54904311 1512779776 10716 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 4 0 16800975 18446604437844256960 0 0 -1 1 0 0 0
[pid=11360/tid=11369] ppid=11323 vsize=1477324 CPUtime=0.58
/proc/11360/task/11369/stat : 11369 (java) S 11323 11360 11360 0 -1 4202560 1085 0 0 0 58 0 0 0 15 0 12 0 54904311 1512779776 10716 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 4 0 16800975 18446604437844256960 0 0 -1 0 0 0 0
[pid=11360/tid=11370] ppid=11323 vsize=1477324 CPUtime=0
/proc/11360/task/11370/stat : 11370 (java) S 11323 11360 11360 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 54904311 1512779776 10716 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 4 0 16800975 18446604437844256960 0 0 -1 0 0 0 0
[pid=11360/tid=11371] ppid=11323 vsize=1477324 CPUtime=0
/proc/11360/task/11371/stat : 11371 (java) S 11323 11360 11360 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 12 0 54904311 1512779776 10716 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 4 0 16800975 18446604437844256960 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 235.6
Current children cumulated vsize (KiB) 1611440

[startup+282.302 s]
/proc/loadavg: 1.08 1.08 1.00 2/119 11373
/proc/meminfo: memFree=1456300/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134116 CPUtime=222.29
/proc/11323/stat : 11323 (python) S 11321 11323 10813 0 -1 4202496 17978 130674 0 0 1747 255 20106 121 15 0 1 0 54883724 137334784 6338 1992294400 4194304 4196484 140736074198496 18446744073709551615 236972715535 0 0 16781312 2 159836005329808047 0 0 17 1 0 0 0
/proc/11323/statm: 33529 6338 1143 1 0 5166 0
[pid=11360] ppid=11323 vsize=1477324 CPUtime=76.91
/proc/11360/stat : 11360 (java) S 11323 11360 11360 0 -1 4202496 20295 0 1 0 7675 16 0 0 15 0 12 0 54904301 1512779776 18892 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11360/statm: 369331 18892 1417 10 0 366633 0
[pid=11360/tid=11361] ppid=11323 vsize=1477324 CPUtime=75.66
/proc/11360/task/11361/stat : 11361 (java) R 11323 11360 11360 0 -1 4202560 17046 0 1 0 7552 14 0 0 25 0 12 0 54904303 1512779776 18892 1992294400 134512640 134550932 4286809888 18446744073709551615 4108940496 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11360/tid=11362] ppid=11323 vsize=1477324 CPUtime=0
/proc/11360/task/11362/stat : 11362 (java) S 11323 11360 11360 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 54904304 1512779776 18892 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 4 0 16800975 18446604437844256960 0 0 -1 0 0 0 0
[pid=11360/tid=11363] ppid=11323 vsize=1477324 CPUtime=0
/proc/11360/task/11363/stat : 11363 (java) S 11323 11360 11360 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 12 0 54904304 1512779776 18892 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 4 0 16800975 18446604437844256960 0 0 -1 1 0 0 0
[pid=11360/tid=11364] ppid=11323 vsize=1477324 CPUtime=0
/proc/11360/task/11364/stat : 11364 (java) S 11323 11360 11360 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54904306 1512779776 18892 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 0 0 16800975 18446604437844256960 0 0 -1 0 0 0 0
[pid=11360/tid=11365] ppid=11323 vsize=1477324 CPUtime=0
/proc/11360/task/11365/stat : 11365 (java) S 11323 11360 11360 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 54904307 1512779776 18892 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 4 0 16800975 18446604437844256960 0 0 -1 0 0 0 0
[pid=11360/tid=11366] ppid=11323 vsize=1477324 CPUtime=0
/proc/11360/task/11366/stat : 11366 (java) S 11323 11360 11360 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 54904307 1512779776 18892 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 4 0 16800975 18446604437844256960 0 0 -1 0 0 0 0
[pid=11360/tid=11367] ppid=11323 vsize=1477324 CPUtime=0
/proc/11360/task/11367/stat : 11367 (java) S 11323 11360 11360 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 54904311 1512779776 18892 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 4 0 16800975 18446604437844256960 0 0 -1 0 0 0 0
[pid=11360/tid=11368] ppid=11323 vsize=1477324 CPUtime=0.41
/proc/11360/task/11368/stat : 11368 (java) S 11323 11360 11360 0 -1 4202560 780 0 0 0 41 0 0 0 16 0 12 0 54904311 1512779776 18892 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 4 0 16800975 18446604437844256960 0 0 -1 1 0 0 0
[pid=11360/tid=11369] ppid=11323 vsize=1477324 CPUtime=0.81
/proc/11360/task/11369/stat : 11369 (java) S 11323 11360 11360 0 -1 4202560 1108 0 0 0 81 0 0 0 16 0 12 0 54904311 1512779776 18892 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 4 0 16800975 18446604437844256960 0 0 -1 0 0 0 0
[pid=11360/tid=11370] ppid=11323 vsize=1477324 CPUtime=0
/proc/11360/task/11370/stat : 11370 (java) S 11323 11360 11360 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 54904311 1512779776 18892 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 4 0 16800975 18446604437844256960 0 0 -1 0 0 0 0
[pid=11360/tid=11371] ppid=11323 vsize=1477324 CPUtime=0
/proc/11360/task/11371/stat : 11371 (java) S 11323 11360 11360 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 12 0 54904311 1512779776 18892 1992294400 134512640 134550932 4286809888 18446744073709551615 4294960144 0 4 0 16800975 18446604437844256960 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 299.2
Current children cumulated vsize (KiB) 1611440

[startup+342.302 s]
/proc/loadavg: 1.11 1.08 1.01 2/108 11378
/proc/meminfo: memFree=1434936/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134116 CPUtime=326.81
/proc/11323/stat : 11323 (python) S 11321 11323 10813 0 -1 4202496 19298 154429 0 1 2104 305 30130 142 15 0 1 0 54883724 137334784 6341 1992294400 4194304 4196484 140736074198496 18446744073709551615 236972715535 0 0 16781312 2 159688670771686063 0 0 17 0 0 0 0
/proc/11323/statm: 33529 6341 1143 1 0 5166 0
[pid=11378] ppid=11323 vsize=96676 CPUtime=36.26
/proc/11378/stat : 11378 (wbo1.4b) R 11323 11378 11378 0 -1 4202496 26361 0 0 0 3603 23 0 0 25 0 1 0 54914326 98996224 23126 1992294400 134512640 135751879 4287608240 18446744073709551615 135209796 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11378/statm: 24169 23126 144 303 0 23864 0
Current children cumulated CPU time (s) 363.07
Current children cumulated vsize (KiB) 230792

[startup+402.301 s]
/proc/loadavg: 1.09 1.08 1.00 2/108 11380
/proc/meminfo: memFree=1321972/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134116 CPUtime=330.34
/proc/11323/stat : 11323 (python) S 11321 11323 10813 0 -1 4202496 19326 154429 0 1 2425 337 30130 142 15 0 1 0 54883724 137334784 6341 1992294400 4194304 4196484 140736074198496 18446744073709551615 236972715535 0 0 16781312 2 159688670771686063 0 0 17 0 0 0 0
/proc/11323/statm: 33529 6341 1143 1 0 5166 0
[pid=11378] ppid=11323 vsize=211016 CPUtime=96.23
/proc/11378/stat : 11378 (wbo1.4b) R 11323 11378 11378 0 -1 4202496 54896 0 0 0 9579 44 0 0 25 0 1 0 54914326 216080384 51661 1992294400 134512640 135751879 4287608240 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11378/statm: 52754 51661 144 303 0 52449 0
Current children cumulated CPU time (s) 426.57
Current children cumulated vsize (KiB) 345132

[startup+462.301 s]
/proc/loadavg: 1.03 1.06 1.00 2/108 11394
/proc/meminfo: memFree=1509212/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134116 CPUtime=486.12
/proc/11323/stat : 11323 (python) S 11321 11323 10813 0 -1 4202496 24292 232386 0 1 2806 398 45201 207 15 0 1 0 54883724 137334784 6343 1992294400 4194304 4196484 140736074198496 18446744073709551615 236972715535 0 0 16781312 2 159688670771686063 0 0 17 0 0 0 0
/proc/11323/statm: 33529 6343 1143 1 0 5166 0
[pid=11394] ppid=11323 vsize=21192 CPUtime=4.16
/proc/11394/stat : 11394 (wbo1.4a) R 11323 11394 11394 0 -1 4202496 5059 0 0 0 409 7 0 0 25 0 1 0 54929537 21700608 4311 1992294400 134512640 135751879 4292564816 18446744073709551615 134611204 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11394/statm: 5298 4311 138 303 0 4993 0
Current children cumulated CPU time (s) 490.28
Current children cumulated vsize (KiB) 155308

[startup+522.302 s]
/proc/loadavg: 1.01 1.05 1.00 2/119 11428
/proc/meminfo: memFree=1472048/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134116 CPUtime=511.67
/proc/11323/stat : 11323 (python) S 11321 11323 10813 0 -1 4202496 33004 261231 0 1 3222 458 47250 237 15 0 1 0 54883724 137334784 6346 1992294400 4194304 4196484 140736074198496 18446744073709551615 236972715535 0 0 16781312 2 159688670771686063 0 0 17 0 0 0 0
/proc/11323/statm: 33529 6346 1143 1 0 5166 0
[pid=11415] ppid=11323 vsize=1478008 CPUtime=43.31
/proc/11415/stat : 11415 (java) S 11323 11415 11415 0 -1 4202496 16429 0 1 0 4320 11 0 0 15 0 12 0 54931701 1513480192 14868 1992294400 134512640 134550932 4290897952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11415/statm: 369502 14868 1417 10 0 366804 0
[pid=11415/tid=11416] ppid=11323 vsize=1478008 CPUtime=42.03
/proc/11415/task/11416/stat : 11416 (java) R 11323 11415 11415 0 -1 4202560 12841 0 1 0 4194 9 0 0 25 0 12 0 54931703 1513480192 14868 1992294400 134512640 134550932 4290897952 18446744073709551615 4109481186 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11415/tid=11417] ppid=11323 vsize=1478008 CPUtime=0
/proc/11415/task/11417/stat : 11417 (java) S 11323 11415 11415 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 54931705 1513480192 14868 1992294400 134512640 134550932 4290897952 18446744073709551615 4294960144 0 4 0 16800975 18446604436668337152 0 0 -1 0 0 0 0
[pid=11415/tid=11418] ppid=11323 vsize=1478008 CPUtime=0
/proc/11415/task/11418/stat : 11418 (java) S 11323 11415 11415 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 54931705 1513480192 14868 1992294400 134512640 134550932 4290897952 18446744073709551615 4294960144 0 4 0 16800975 18446604436668337152 0 0 -1 0 0 0 0
[pid=11415/tid=11419] ppid=11323 vsize=1478008 CPUtime=0
/proc/11415/task/11419/stat : 11419 (java) S 11323 11415 11415 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54931706 1513480192 14868 1992294400 134512640 134550932 4290897952 18446744073709551615 4294960144 0 0 0 16800975 18446604436668337152 0 0 -1 0 0 0 0
[pid=11415/tid=11420] ppid=11323 vsize=1478008 CPUtime=0
/proc/11415/task/11420/stat : 11420 (java) S 11323 11415 11415 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 54931707 1513480192 14868 1992294400 134512640 134550932 4290897952 18446744073709551615 4294960144 0 4 0 16800975 18446604436668337152 0 0 -1 0 0 0 0
[pid=11415/tid=11421] ppid=11323 vsize=1478008 CPUtime=0
/proc/11415/task/11421/stat : 11421 (java) S 11323 11415 11415 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 54931707 1513480192 14868 1992294400 134512640 134550932 4290897952 18446744073709551615 4294960144 0 4 0 16800975 18446604436668337152 0 0 -1 0 0 0 0
[pid=11415/tid=11422] ppid=11323 vsize=1478008 CPUtime=0
/proc/11415/task/11422/stat : 11422 (java) S 11323 11415 11415 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 54931711 1513480192 14868 1992294400 134512640 134550932 4290897952 18446744073709551615 4294960144 0 4 0 16800975 18446604436668337152 0 0 -1 0 0 0 0
[pid=11415/tid=11423] ppid=11323 vsize=1478008 CPUtime=0.64
/proc/11415/task/11423/stat : 11423 (java) S 11323 11415 11415 0 -1 4202560 1257 0 0 0 64 0 0 0 16 0 12 0 54931711 1513480192 14868 1992294400 134512640 134550932 4290897952 18446744073709551615 4294960144 0 4 0 16800975 18446604436668337152 0 0 -1 0 0 0 0
[pid=11415/tid=11424] ppid=11323 vsize=1478008 CPUtime=0.6
/proc/11415/task/11424/stat : 11424 (java) S 11323 11415 11415 0 -1 4202560 960 0 0 0 60 0 0 0 16 0 12 0 54931711 1513480192 14868 1992294400 134512640 134550932 4290897952 18446744073709551615 4294960144 0 4 0 16800975 18446604436668337152 0 0 -1 1 0 0 0
[pid=11415/tid=11425] ppid=11323 vsize=1478008 CPUtime=0
/proc/11415/task/11425/stat : 11425 (java) S 11323 11415 11415 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 54931711 1513480192 14868 1992294400 134512640 134550932 4290897952 18446744073709551615 4294960144 0 4 0 16800975 18446604436668337152 0 0 -1 0 0 0 0
[pid=11415/tid=11426] ppid=11323 vsize=1478008 CPUtime=0
/proc/11415/task/11426/stat : 11426 (java) S 11323 11415 11415 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54931711 1513480192 14868 1992294400 134512640 134550932 4290897952 18446744073709551615 4294960144 0 4 0 16800975 18446604436668337152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 554.98
Current children cumulated vsize (KiB) 1612124

[startup+582.302 s]
/proc/loadavg: 1.15 1.09 1.02 2/108 11449
/proc/meminfo: memFree=1484660/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134116 CPUtime=577.99
/proc/11323/stat : 11323 (python) S 11321 11323 10813 0 -1 4202496 41791 298753 0 2 3642 532 53350 275 15 0 1 0 54883724 137334784 6349 1992294400 4194304 4196484 140736074198496 18446744073709551615 236972715535 0 0 16781312 2 159836005329808047 0 0 17 1 0 0 0
/proc/11323/statm: 33529 6349 1143 1 0 5166 0
[pid=11449] ppid=11323 vsize=52412 CPUtime=40.81
/proc/11449/stat : 11449 (bsolo_pb10) R 11323 11449 11449 0 -1 4202496 11145 0 0 0 4074 7 0 0 25 0 1 0 54937846 53669888 10410 1992294400 134512640 137138936 4288376688 18446744073709551615 136504449 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/11449/statm: 13103 10410 185 642 0 12459 0
Current children cumulated CPU time (s) 618.8
Current children cumulated vsize (KiB) 186528

[startup+642.303 s]
/proc/loadavg: 1.17 1.11 1.02 2/108 11451
/proc/meminfo: memFree=1484660/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134116 CPUtime=682.25
/proc/11323/stat : 11323 (python) R 11321 11323 10813 0 -1 4202496 41910 309898 0 2 3980 579 63380 286 15 0 1 0 54883724 137334784 6349 1992294400 4194304 4196484 140736074198496 18446744073709551615 236984525573 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11323/statm: 33529 6349 1143 1 0 5166 0
Current children cumulated CPU time (s) 682.25
Current children cumulated vsize (KiB) 134116

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

[startup+643.202 s]
/proc/loadavg: 1.17 1.11 1.02 2/108 11454
/proc/meminfo: memFree=1525084/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134116 CPUtime=683.17
/proc/11323/stat : 11323 (python) R 11321 11323 10813 0 -1 4202496 47999 316941 0 2 4046 592 63384 295 19 0 1 0 54883724 137334784 6351 1992294400 4194304 4196484 140736074198496 18446744073709551615 46933121435102 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11323/statm: 33529 6351 1143 1 0 5166 0
Current children cumulated CPU time (s) 683.17
Current children cumulated vsize (KiB) 134116

[startup+644.801 s]
/proc/loadavg: 1.15 1.10 1.02 2/108 11490
/proc/meminfo: memFree=1525084/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134116 CPUtime=684.78
/proc/11323/stat : 11323 (python) R 11321 11323 10813 0 -1 4202496 59126 330358 0 2 4163 615 63390 310 19 0 1 0 54883724 137334784 6353 1992294400 4194304 4196484 140736074198496 18446744073709551615 46933121435208 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11323/statm: 33529 6353 1143 1 0 5166 0
Current children cumulated CPU time (s) 684.78
Current children cumulated vsize (KiB) 134116

[startup+645.601 s]
/proc/loadavg: 1.15 1.10 1.02 2/108 11490
/proc/meminfo: memFree=1525084/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134244 CPUtime=685.6
/proc/11323/stat : 11323 (python) R 11321 11323 10813 0 -1 4202496 64744 337796 0 2 4221 626 63394 319 18 0 1 0 54883724 137465856 6354 1992294400 4194304 4196484 140736074198496 18446744073709551615 236976222145 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11323/statm: 33561 6354 1143 1 0 5198 0
Current children cumulated CPU time (s) 685.6
Current children cumulated vsize (KiB) 134244

[startup+646.401 s]
/proc/loadavg: 1.15 1.10 1.02 2/108 11508
/proc/meminfo: memFree=1525084/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134248 CPUtime=686.4
/proc/11323/stat : 11323 (python) R 11321 11323 10813 0 -1 4202496 70248 343689 0 2 4280 638 63397 325 19 0 1 0 54883724 137469952 6356 1992294400 4194304 4196484 140736074198496 18446744073709551615 236972738695 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11323/statm: 33562 6356 1143 1 0 5199 0
Current children cumulated CPU time (s) 686.4
Current children cumulated vsize (KiB) 134248

[startup+646.601 s]
/proc/loadavg: 1.15 1.10 1.02 2/108 11508
/proc/meminfo: memFree=1525084/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134248 CPUtime=686.6
/proc/11323/stat : 11323 (python) R 11321 11323 10813 0 -1 4202496 71494 345133 0 2 4294 641 63398 327 18 0 1 0 54883724 137469952 6356 1992294400 4194304 4196484 140736074198496 18446744073709551615 46933121068428 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11323/statm: 33563 6356 1143 1 0 5200 0
Current children cumulated CPU time (s) 686.6
Current children cumulated vsize (KiB) 134248

[startup+646.701 s]
/proc/loadavg: 1.15 1.10 1.02 2/108 11508
/proc/meminfo: memFree=1525084/2059040 swapFree=4164948/4192956
[pid=11323] ppid=11321 vsize=134244 CPUtime=686.71
/proc/11323/stat : 11323 (python) R 11321 11323 10813 0 -1 4202496 71765 346627 0 2 4301 643 63399 328 18 0 1 0 54883724 137465856 6356 1992294400 4194304 4196484 140736074198496 18446744073709551615 46933121063471 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11323/statm: 33561 6356 1143 1 0 5198 0
Current children cumulated CPU time (s) 686.71
Current children cumulated vsize (KiB) 134244

Child status: 0
Real time (s): 646.77
CPU time (s): 686.799
CPU user time (s): 677.066
CPU system time (s): 9.73252
CPU usage (%): 106.189
Max. virtual memory (cumulated for all children) (KiB): 1612288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 677.066
system time used= 9.73252
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423017
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= 9456
involuntary context switches= 12598

runsolver used 1.34879 second user time and 3.15652 second system time

The end

Launcher Data 

Begin job on node044 at 2010-06-21 17:58:34
IDJOB=2675938
IDBENCH=48381
IDSOLVER=1178
FILE ID=node044/2675938-1277135914
PBS_JOBID= 11182081
Free space on /tmp= 62492 MiB

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

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

MD5SUM BENCH= 40a2ba0dbddb74264297ba04f9c13f4e
RANDOM SEED=1009667010

node044.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.266
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.53
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.266
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1547760 kB
Buffers:        129148 kB
Cached:         258200 kB
SwapCached:       1376 kB
Active:         210864 kB
Inactive:       210028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1547760 kB
SwapTotal:     4192956 kB
SwapFree:      4164948 kB
Dirty:           21484 kB
Writeback:           0 kB
AnonPages:       32080 kB
Mapped:          15064 kB
Slab:            68440 kB
PageTables:       3976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180768 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= 62468 MiB
End job on node044 at 2010-06-21 18:09:21