Trace number 3737987

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
PB10: borg-pb 10.05.30? 672.918 639.821

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_5_15.opb
MD5SUM22b768493fb377a7ad184ec8975ae3ca
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 benchmark1.22181
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)75000
Sum of products size (including duplicates)150000
Number of different products37500
Sum of products size75000

Solver Data 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737987-1338718876/watcher-3737987-1338718876 -o /tmp/evaluation-result-3737987-1338718876/solver-3737987-1338718876 -C 1800 -W 1900 -M 15500 solver HOME/instance-3737987-1338718876.opb 1063947311 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.11 2.12 2.04 3/195 1857
/proc/meminfo: memFree=30176040/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/1857/stat : 1857 (python) R 1855 1857 31325 0 -1 4202496 861 0 0 0 0 0 0 0 20 0 1 0 338012202 15749120 614 33554432000 4194304 5683644 140735618718880 140735618691064 225444335508 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/1857/statm: 3845 617 331 364 0 287 0

[startup+0.0856949 s]
/proc/loadavg: 2.11 2.12 2.04 3/195 1857
/proc/meminfo: memFree=30176040/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=40856 CPUtime=0.06 cores=0,2,4,6
/proc/1857/stat : 1857 (python) D 1855 1857 31325 0 -1 4202496 3084 0 0 0 4 2 0 0 20 0 1 0 338012202 41836544 1437 33554432000 4194304 4196484 140736137582528 140736137470104 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/1857/statm: 10214 1437 483 1 0 969 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 40856

[startup+0.1003 s]
/proc/loadavg: 2.11 2.12 2.04 3/195 1857
/proc/meminfo: memFree=30176040/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=51900 CPUtime=0.06 cores=0,2,4,6
/proc/1857/stat : 1857 (python) R 1855 1857 31325 0 -1 4202496 3748 0 0 0 4 2 0 0 20 0 1 0 338012202 53145600 1991 33554432000 4194304 4196484 140736137582528 140736137410232 225444750263 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/1857/statm: 12975 1991 567 1 0 1382 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 51900

[startup+0.300251 s]
/proc/loadavg: 2.11 2.12 2.04 3/195 1857
/proc/meminfo: memFree=30176040/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=99040 CPUtime=0.19 cores=0,2,4,6
/proc/1857/stat : 1857 (python) R 1855 1857 31325 0 -1 4202496 5776 0 0 0 13 6 0 0 20 0 1 0 338012202 101416960 3610 33554432000 4194304 4196484 140736137582528 140736137525800 225444709664 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/1857/statm: 24760 3610 1047 1 0 2562 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 99040

[startup+0.700178 s]
/proc/loadavg: 2.11 2.12 2.04 3/195 1857
/proc/meminfo: memFree=30176040/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=134452 CPUtime=0.5 cores=0,2,4,6
/proc/1857/stat : 1857 (python) R 1855 1857 31325 0 -1 4202496 11244 1015 0 0 37 13 0 0 20 0 1 0 338012202 137678848 6348 33554432000 4194304 4196484 140736137582528 140736137570856 139943055897910 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 33613 6348 1170 1 0 5185 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 134452

[startup+1.50026 s]
/proc/loadavg: 2.11 2.12 2.04 3/197 1869
/proc/meminfo: memFree=30138948/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136512 CPUtime=0.8 cores=0,2,4,6
/proc/1857/stat : 1857 (python) S 1855 1857 31325 0 -1 4202496 13564 3937 0 0 62 17 0 1 20 0 1 0 338012202 139788288 6372 33554432000 4194304 4196484 140736137582528 140736137574288 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34128 6372 1180 1 0 5185 0
[pid=1869] ppid=1857 vsize=20404 CPUtime=0.59 cores=0,2,4,6
/proc/1869/stat : 1869 (wbo1.4a) R 1857 1869 1869 0 -1 4202496 4881 0 0 0 56 3 0 0 20 0 1 0 338012292 20893696 4141 33554432000 134512640 135751879 4293872400 4293870652 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1869/statm: 5101 4141 138 303 0 4796 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 156916

[startup+3.10027 s]
/proc/loadavg: 2.11 2.12 2.04 3/197 1869
/proc/meminfo: memFree=30131136/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136512 CPUtime=0.88 cores=0,2,4,6
/proc/1857/stat : 1857 (python) S 1855 1857 31325 0 -1 4202496 13571 3937 0 0 69 18 0 1 20 0 1 0 338012202 139788288 6372 33554432000 4194304 4196484 140736137582528 140736137574288 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34128 6372 1180 1 0 5185 0
[pid=1869] ppid=1857 vsize=21196 CPUtime=2.19 cores=0,2,4,6
/proc/1869/stat : 1869 (wbo1.4a) R 1857 1869 1869 0 -1 4202496 5064 0 0 0 216 3 0 0 20 0 1 0 338012292 21704704 4324 33554432000 134512640 135751879 4293872400 4293870592 134611179 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1869/statm: 5299 4324 138 303 0 4994 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 157708

[startup+6.30031 s]
/proc/loadavg: 2.10 2.11 2.04 3/197 1869
/proc/meminfo: memFree=30088956/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136512 CPUtime=1.17 cores=0,2,4,6
/proc/1857/stat : 1857 (python) S 1855 1857 31325 0 -1 4202496 13598 3937 0 0 95 21 0 1 20 0 1 0 338012202 139788288 6373 33554432000 4194304 4196484 140736137582528 140736137574288 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34128 6373 1180 1 0 5185 0
[pid=1869] ppid=1857 vsize=39808 CPUtime=5.38 cores=0,2,4,6
/proc/1869/stat : 1869 (wbo1.4a) R 1857 1869 1869 0 -1 4202496 9721 0 0 0 534 4 0 0 20 0 1 0 338012292 40763392 8981 33554432000 134512640 135751879 4293872400 4293869808 135206651 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1869/statm: 9952 8981 139 303 0 9647 0
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (KiB) 176320

[startup+12.7003 s]
/proc/loadavg: 2.10 2.11 2.04 3/197 1869
/proc/meminfo: memFree=29978168/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136512 CPUtime=1.5 cores=0,2,4,6
/proc/1857/stat : 1857 (python) S 1855 1857 31325 0 -1 4202496 13626 3937 0 0 124 25 0 1 20 0 1 0 338012202 139788288 6373 33554432000 4194304 4196484 140736137582528 140736137574288 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34128 6373 1180 1 0 5185 0
[pid=1869] ppid=1857 vsize=85932 CPUtime=11.79 cores=0,2,4,6
/proc/1869/stat : 1869 (wbo1.4a) R 1857 1869 1869 0 -1 4202496 21245 0 0 0 1171 8 0 0 20 0 1 0 338012292 87994368 20505 33554432000 134512640 135751879 4293872400 4293870576 134616480 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1869/statm: 21483 20505 139 303 0 21178 0
Current children cumulated CPU time (s) 13.29
Current children cumulated vsize (KiB) 222444

[startup+25.5003 s]
/proc/loadavg: 2.15 2.12 2.05 3/197 1869
/proc/meminfo: memFree=29881916/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136512 CPUtime=2.1 cores=0,2,4,6
/proc/1857/stat : 1857 (python) S 1855 1857 31325 0 -1 4202496 13647 3937 0 0 175 34 0 1 20 0 1 0 338012202 139788288 6373 33554432000 4194304 4196484 140736137582528 140736137574288 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34128 6373 1180 1 0 5185 0
[pid=1869] ppid=1857 vsize=153360 CPUtime=24.58 cores=0,2,4,6
/proc/1869/stat : 1869 (wbo1.4a) R 1857 1869 1869 0 -1 4202496 38079 0 0 0 2444 14 0 0 20 0 1 0 338012292 157040640 37339 33554432000 134512640 135751879 4293872400 4293869948 135209796 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1869/statm: 38340 37339 139 303 0 38035 0
Current children cumulated CPU time (s) 26.68
Current children cumulated vsize (KiB) 289872

[startup+51.1003 s]
/proc/loadavg: 2.10 2.11 2.04 3/197 1869
/proc/meminfo: memFree=29778724/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136512 CPUtime=3.34 cores=0,2,4,6
/proc/1857/stat : 1857 (python) S 1855 1857 31325 0 -1 4202496 13657 3937 0 0 284 49 0 1 20 0 1 0 338012202 139788288 6373 33554432000 4194304 4196484 140736137582528 140736137574288 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34128 6373 1180 1 0 5185 0
[pid=1869] ppid=1857 vsize=232632 CPUtime=50.17 cores=0,2,4,6
/proc/1869/stat : 1869 (wbo1.4a) R 1857 1869 1869 0 -1 4202496 57847 0 0 0 4995 22 0 0 20 0 1 0 338012292 238215168 57107 33554432000 134512640 135751879 4293872400 4293870576 134616516 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1869/statm: 58158 57107 139 303 0 57853 0
Current children cumulated CPU time (s) 53.51
Current children cumulated vsize (KiB) 369144

[startup+102.306 s]
/proc/loadavg: 2.08 2.11 2.04 3/179 1878
/proc/meminfo: memFree=30282132/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136512 CPUtime=56.98 cores=0,2,4,6
/proc/1857/stat : 1857 (python) S 1855 1857 31325 0 -1 4202496 16097 64236 0 0 535 85 5052 26 20 0 1 0 338012202 139788288 6376 33554432000 4194304 4196484 140736137582528 140736137574288 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34128 6376 1180 1 0 5185 0
[pid=1875] ppid=1857 vsize=232764 CPUtime=50.48 cores=0,2,4,6
/proc/1875/stat : 1875 (wbo1.4a) R 1857 1875 1875 0 -1 4202496 57863 0 0 0 5026 22 0 0 20 0 1 0 338017383 238350336 57121 33554432000 134512640 135751879 4290050448 4290048624 134616543 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1875/statm: 58191 57121 139 303 0 57886 0
Current children cumulated CPU time (s) 107.46
Current children cumulated vsize (KiB) 369276

[startup+162.3 s]
/proc/loadavg: 2.03 2.08 2.04 3/179 1881
/proc/meminfo: memFree=30286124/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136512 CPUtime=160.88 cores=0,2,4,6
/proc/1857/stat : 1857 (python) S 1855 1857 31325 0 -1 4202496 17337 189940 0 0 811 126 15079 72 20 0 1 0 338012202 139788288 6378 33554432000 4194304 4196484 140736137582528 140736137574288 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34128 6378 1180 1 0 5185 0
[pid=1881] ppid=1857 vsize=70536 CPUtime=9.71 cores=0,2,4,6
/proc/1881/stat : 1881 (wbo1.4b) R 1857 1881 1881 0 -1 4202496 19779 0 0 0 964 7 0 0 20 0 1 0 338027459 72228864 16585 33554432000 134512640 135751879 4293276048 4293274140 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1881/statm: 17634 16585 143 303 0 17329 0
Current children cumulated CPU time (s) 170.59
Current children cumulated vsize (KiB) 207048

[startup+222.301 s]
/proc/loadavg: 2.15 2.10 2.04 3/196 1955
/proc/meminfo: memFree=30388232/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136512 CPUtime=214.56 cores=0,2,4,6
/proc/1857/stat : 1857 (python) S 1855 1857 31325 0 -1 4202496 18583 251198 0 0 1064 169 20129 94 20 0 1 0 338012202 139788288 6379 33554432000 4194304 4196484 140736137582528 140736137574288 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34128 6379 1180 1 0 5185 0
[pid=1887] ppid=1857 vsize=2648572 CPUtime=19.57 cores=0,2,4,6
/proc/1887/stat : 1887 (java) S 1857 1887 1887 0 -1 4202496 7469 0 1 0 1953 4 0 0 20 0 18 0 338032533 2712137728 28484 33554432000 1073741824 1073778376 140734077237040 140734077228176 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/1887/statm: 662143 28484 2239 9 0 652836 0
[pid=1887/tid=1888] ppid=1857 vsize=2648572 CPUtime=18.92 cores=0,2,4,6
/proc/1887/task/1888/stat : 1888 (java) R 1857 1887 1887 0 -1 4202560 2825 0 1 0 1888 4 0 0 20 0 18 0 338032534 2712137728 28484 33554432000 1073741824 1073778376 140734077237040 139690051276784 139689991392571 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1887/tid=1889] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/1887/task/1889/stat : 1889 (java) S 1857 1887 1887 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338032536 2712137728 28484 33554432000 1073741824 1073778376 140734077237040 139689987180712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1887/tid=1890] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/1887/task/1890/stat : 1890 (java) S 1857 1887 1887 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338032536 2712137728 28484 33554432000 1073741824 1073778376 140734077237040 139689917204776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1887/tid=1891] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/1887/task/1891/stat : 1891 (java) S 1857 1887 1887 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338032536 2712137728 28484 33554432000 1073741824 1073778376 140734077237040 139689916152232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1887/tid=1892] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/1887/task/1892/stat : 1892 (java) S 1857 1887 1887 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338032536 2712137728 28484 33554432000 1073741824 1073778376 140734077237040 139689915099688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1887/tid=1893] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/1887/task/1893/stat : 1893 (java) S 1857 1887 1887 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338032536 2712137728 28484 33554432000 1073741824 1073778376 140734077237040 139689914047144 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1887/tid=1894] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/1887/task/1894/stat : 1894 (java) S 1857 1887 1887 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338032536 2712137728 28484 33554432000 1073741824 1073778376 140734077237040 139689912994600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1887/tid=1895] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/1887/task/1895/stat : 1895 (java) S 1857 1887 1887 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338032536 2712137728 28484 33554432000 1073741824 1073778376 140734077237040 139689911942056 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1887/tid=1896] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/1887/task/1896/stat : 1896 (java) S 1857 1887 1887 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338032536 2712137728 28484 33554432000 1073741824 1073778376 140734077237040 139689910889512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1887/tid=1897] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/1887/task/1897/stat : 1897 (java) S 1857 1887 1887 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338032537 2712137728 28484 33554432000 1073741824 1073778376 140734077237040 139689898477672 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1887/tid=1898] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/1887/task/1898/stat : 1898 (java) S 1857 1887 1887 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 338032537 2712137728 28484 33554432000 1073741824 1073778376 140734077237040 139689897423992 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1887/tid=1899] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/1887/task/1899/stat : 1899 (java) S 1857 1887 1887 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338032537 2712137728 28484 33554432000 1073741824 1073778376 140734077237040 139689896371336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1887/tid=1900] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/1887/task/1900/stat : 1900 (java) S 1857 1887 1887 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338032540 2712137728 28484 33554432000 1073741824 1073778376 140734077237040 139689895320080 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1887/tid=1901] ppid=1857 vsize=2648572 CPUtime=0.38 cores=0,2,4,6
/proc/1887/task/1901/stat : 1901 (java) S 1857 1887 1887 0 -1 4202560 2014 0 0 0 38 0 0 0 20 0 18 0 338032540 2712137728 28484 33554432000 1073741824 1073778376 140734077237040 139689894267448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1887/tid=1902] ppid=1857 vsize=2648572 CPUtime=0.23 cores=0,2,4,6
/proc/1887/task/1902/stat : 1902 (java) S 1857 1887 1887 0 -1 4202560 1128 0 0 0 23 0 0 0 20 0 18 0 338032540 2712137728 28484 33554432000 1073741824 1073778376 140734077237040 139689893214904 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1887/tid=1903] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6

################
# More data... #
################

[pid=1965] ppid=1857 vsize=499708 CPUtime=99.44 cores=0,2,4,6
/proc/1965/stat : 1965 (wbo1.4b) R 1857 1965 1965 0 -1 4202496 127005 0 0 0 9901 43 0 0 20 0 1 0 338042484 511700992 123832 33554432000 134512640 135751879 4289841728 4289839744 134616489 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1965/statm: 124927 123832 144 303 0 124622 0
Current children cumulated CPU time (s) 423.02
Current children cumulated vsize (KiB) 636220

[startup+462.3 s]
/proc/loadavg: 2.01 2.06 2.04 3/179 2050
/proc/meminfo: memFree=30461764/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136512 CPUtime=477.97 cores=0,2,4,6
/proc/1857/stat : 1857 (python) S 1855 1857 31325 0 -1 4202496 24789 402784 0 1 2130 329 45176 162 20 0 1 0 338012202 139788288 6383 33554432000 4194304 4196484 140736137582528 140736137574288 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34128 6383 1180 1 0 5185 0
[pid=2050] ppid=1857 vsize=64032 CPUtime=8.17 cores=0,2,4,6
/proc/2050/stat : 2050 (wbo1.4a) R 1857 2050 2050 0 -1 4202496 15766 0 0 0 811 6 0 0 20 0 1 0 338057613 65568768 15019 33554432000 134512640 135751879 4290569760 4290567936 134616336 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/2050/statm: 16008 15019 139 303 0 15703 0
Current children cumulated CPU time (s) 486.14
Current children cumulated vsize (KiB) 200544

[startup+522.301 s]
/proc/loadavg: 2.06 2.06 2.04 3/196 2091
/proc/meminfo: memFree=30337680/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136512 CPUtime=502.31 cores=0,2,4,6
/proc/1857/stat : 1857 (python) S 1855 1857 31325 0 -1 4202496 33319 442092 0 1 2430 379 47244 178 20 0 1 0 338012202 139788288 6385 33554432000 4194304 4196484 140736137582528 140736137574288 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34128 6385 1180 1 0 5185 0
[pid=2071] ppid=1857 vsize=2648572 CPUtime=47.37 cores=0,2,4,6
/proc/2071/stat : 2071 (java) S 1857 2071 2071 0 -1 4202496 7515 0 1 0 4732 5 0 0 20 0 18 0 338059753 2712137728 42292 33554432000 1073741824 1073778376 140735819447392 140735819438528 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2071/statm: 662143 42292 2239 9 0 652836 0
[pid=2071/tid=2072] ppid=1857 vsize=2648572 CPUtime=46.71 cores=0,2,4,6
/proc/2071/task/2072/stat : 2072 (java) R 1857 2071 2071 0 -1 4202560 2865 0 1 0 4667 4 0 0 20 0 18 0 338059754 2712137728 42292 33554432000 1073741824 1073778376 140735819447392 140149006032880 140148946149246 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2071/tid=2073] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/2071/task/2073/stat : 2073 (java) S 1857 2071 2071 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338059756 2712137728 42292 33554432000 1073741824 1073778376 140735819447392 140148944771240 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2071/tid=2074] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/2071/task/2074/stat : 2074 (java) S 1857 2071 2071 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338059756 2712137728 42292 33554432000 1073741824 1073778376 140735819447392 140148871891240 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2071/tid=2075] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/2071/task/2075/stat : 2075 (java) S 1857 2071 2071 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338059756 2712137728 42292 33554432000 1073741824 1073778376 140735819447392 140148870838696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2071/tid=2076] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/2071/task/2076/stat : 2076 (java) S 1857 2071 2071 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338059756 2712137728 42292 33554432000 1073741824 1073778376 140735819447392 140148869786152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2071/tid=2077] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/2071/task/2077/stat : 2077 (java) S 1857 2071 2071 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338059756 2712137728 42292 33554432000 1073741824 1073778376 140735819447392 140148868733608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2071/tid=2078] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/2071/task/2078/stat : 2078 (java) S 1857 2071 2071 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338059756 2712137728 42292 33554432000 1073741824 1073778376 140735819447392 140148867681064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2071/tid=2079] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/2071/task/2079/stat : 2079 (java) S 1857 2071 2071 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338059756 2712137728 42292 33554432000 1073741824 1073778376 140735819447392 140148866628520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2071/tid=2080] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/2071/task/2080/stat : 2080 (java) S 1857 2071 2071 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338059756 2712137728 42292 33554432000 1073741824 1073778376 140735819447392 140148865575976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2071/tid=2081] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/2071/task/2081/stat : 2081 (java) S 1857 2071 2071 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338059757 2712137728 42292 33554432000 1073741824 1073778376 140735819447392 140148853164136 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2071/tid=2082] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/2071/task/2082/stat : 2082 (java) S 1857 2071 2071 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 338059757 2712137728 42292 33554432000 1073741824 1073778376 140735819447392 140148852110456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2071/tid=2083] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/2071/task/2083/stat : 2083 (java) S 1857 2071 2071 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338059758 2712137728 42292 33554432000 1073741824 1073778376 140735819447392 140148851057800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2071/tid=2084] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/2071/task/2084/stat : 2084 (java) S 1857 2071 2071 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338059760 2712137728 42292 33554432000 1073741824 1073778376 140735819447392 140148850006544 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2071/tid=2085] ppid=1857 vsize=2648572 CPUtime=0.22 cores=0,2,4,6
/proc/2071/task/2085/stat : 2085 (java) S 1857 2071 2071 0 -1 4202560 771 0 0 0 22 0 0 0 20 0 18 0 338059760 2712137728 42292 33554432000 1073741824 1073778376 140735819447392 140148848953912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2071/tid=2086] ppid=1857 vsize=2648572 CPUtime=0.38 cores=0,2,4,6
/proc/2071/task/2086/stat : 2086 (java) S 1857 2071 2071 0 -1 4202560 2371 0 0 0 38 0 0 0 20 0 18 0 338059760 2712137728 42292 33554432000 1073741824 1073778376 140735819447392 140148847901368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2071/tid=2087] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/2071/task/2087/stat : 2087 (java) S 1857 2071 2071 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338059760 2712137728 42292 33554432000 1073741824 1073778376 140735819447392 140148846849016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2071/tid=2088] ppid=1857 vsize=2648572 CPUtime=0 cores=0,2,4,6
/proc/2071/task/2088/stat : 2088 (java) S 1857 2071 2071 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 338059760 2712137728 42292 33554432000 1073741824 1073778376 140735819447392 140148845796680 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 549.68
Current children cumulated vsize (KiB) 2785084

[startup+582.3 s]
/proc/loadavg: 2.02 2.05 2.03 3/179 2118
/proc/meminfo: memFree=30471648/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136512 CPUtime=566.8 cores=0,2,4,6
/proc/1857/stat : 1857 (python) S 1855 1857 31325 0 -1 4202496 41939 480225 0 2 2751 428 53301 200 20 0 1 0 338012202 139788288 6387 33554432000 4194304 4196484 140736137582528 140736137574288 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34128 6387 1180 1 0 5185 0
[pid=2118] ppid=1857 vsize=52432 CPUtime=45.98 cores=0,2,4,6
/proc/2118/stat : 2118 (bsolo_pb10) R 1857 2118 2118 0 -1 4202496 11169 0 0 0 4595 3 0 0 20 0 1 0 338065831 53690368 11058 33554432000 134512640 137138936 4291399776 4290486284 135984544 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/2118/statm: 13108 11058 185 642 0 12464 0
Current children cumulated CPU time (s) 612.78
Current children cumulated vsize (KiB) 188944

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

[startup+614.3 s]
/proc/loadavg: 2.01 2.04 2.03 3/179 2120
/proc/meminfo: memFree=30470836/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136512 CPUtime=568.31 cores=0,2,4,6
/proc/1857/stat : 1857 (python) S 1855 1857 31325 0 -1 4202496 41952 480225 0 2 2881 449 53301 200 20 0 1 0 338012202 139788288 6387 33554432000 4194304 4196484 140736137582528 140736137574288 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34128 6387 1180 1 0 5185 0
[pid=2118] ppid=1857 vsize=52432 CPUtime=77.98 cores=0,2,4,6
/proc/2118/stat : 2118 (bsolo_pb10) R 1857 2118 2118 0 -1 4202496 11169 0 0 0 7794 4 0 0 20 0 1 0 338065831 53690368 11058 33554432000 134512640 137138936 4291399776 4290485988 136500315 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/2118/statm: 13108 11058 185 642 0 12464 0
Current children cumulated CPU time (s) 646.29
Current children cumulated vsize (KiB) 188944

[startup+627.1 s]
/proc/loadavg: 2.08 2.06 2.03 3/179 2120
/proc/meminfo: memFree=30470712/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136512 CPUtime=568.91 cores=0,2,4,6
/proc/1857/stat : 1857 (python) S 1855 1857 31325 0 -1 4202496 41957 480225 0 2 2931 459 53301 200 20 0 1 0 338012202 139788288 6387 33554432000 4194304 4196484 140736137582528 140736137574288 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34128 6387 1180 1 0 5185 0
[pid=2118] ppid=1857 vsize=52432 CPUtime=90.77 cores=0,2,4,6
/proc/2118/stat : 2118 (bsolo_pb10) R 1857 2118 2118 0 -1 4202496 11169 0 0 0 9073 4 0 0 20 0 1 0 338065831 53690368 11058 33554432000 134512640 137138936 4291399776 4290486288 134542252 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/2118/statm: 13108 11058 185 642 0 12464 0
Current children cumulated CPU time (s) 659.68
Current children cumulated vsize (KiB) 188944

[startup+633.5 s]
/proc/loadavg: 2.07 2.06 2.03 3/179 2123
/proc/meminfo: memFree=30476360/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136512 CPUtime=569.2 cores=0,2,4,6
/proc/1857/stat : 1857 (python) S 1855 1857 31325 0 -1 4202496 41960 480225 0 2 2958 461 53301 200 20 0 1 0 338012202 139788288 6387 33554432000 4194304 4196484 140736137582528 140736137574288 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34128 6387 1180 1 0 5185 0
[pid=2118] ppid=1857 vsize=52432 CPUtime=97.18 cores=0,2,4,6
/proc/2118/stat : 2118 (bsolo_pb10) R 1857 2118 2118 0 -1 4202496 11169 0 0 0 9714 4 0 0 20 0 1 0 338065831 53690368 11058 33554432000 134512640 137138936 4291399776 4290486288 134543030 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/2118/statm: 13108 11058 185 642 0 12464 0
Current children cumulated CPU time (s) 666.38
Current children cumulated vsize (KiB) 188944

[startup+636.7 s]
/proc/loadavg: 2.07 2.06 2.03 3/179 2123
/proc/meminfo: memFree=30474128/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136512 CPUtime=569.35 cores=0,2,4,6
/proc/1857/stat : 1857 (python) S 1855 1857 31325 0 -1 4202496 41961 480225 0 2 2971 463 53301 200 20 0 1 0 338012202 139788288 6387 33554432000 4194304 4196484 140736137582528 140736137574288 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34128 6387 1180 1 0 5185 0
[pid=2118] ppid=1857 vsize=52432 CPUtime=100.37 cores=0,2,4,6
/proc/2118/stat : 2118 (bsolo_pb10) R 1857 2118 2118 0 -1 4202496 11169 0 0 0 10033 4 0 0 20 0 1 0 338065831 53690368 11058 33554432000 134512640 137138936 4291399776 4290486476 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/2118/statm: 13108 11058 185 642 0 12464 0
Current children cumulated CPU time (s) 669.72
Current children cumulated vsize (KiB) 188944

[startup+638.3 s]
/proc/loadavg: 2.07 2.06 2.03 3/179 2150
/proc/meminfo: memFree=30515208/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136644 CPUtime=671.36 cores=0,2,4,6
/proc/1857/stat : 1857 (python) R 1855 1857 31325 0 -1 4202496 56700 508364 0 2 3084 482 63357 213 20 0 1 0 338012202 139923456 6392 33554432000 4194304 4196484 140736137582528 140736137574288 225444750263 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34161 6392 1180 1 0 5218 0
Current children cumulated CPU time (s) 671.36
Current children cumulated vsize (KiB) 136644

[startup+639.106 s]
/proc/loadavg: 2.07 2.06 2.03 3/179 2177
/proc/meminfo: memFree=30514216/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136644 CPUtime=672.17 cores=0,2,4,6
/proc/1857/stat : 1857 (python) R 1855 1857 31325 0 -1 4202496 65223 518615 0 2 3147 493 63359 218 20 0 1 0 338012202 139923456 6396 33554432000 4194304 4196484 140736137582528 140736137574288 225444750263 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34161 6396 1180 1 0 5218 0
Current children cumulated CPU time (s) 672.17
Current children cumulated vsize (KiB) 136644

[startup+639.5 s]
/proc/loadavg: 2.07 2.06 2.03 3/179 2177
/proc/meminfo: memFree=30514216/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136644 CPUtime=672.57 cores=0,2,4,6
/proc/1857/stat : 1857 (python) R 1855 1857 31325 0 -1 4202496 68942 523003 0 2 3179 498 63360 220 20 0 1 0 338012202 139923456 6397 33554432000 4194304 4196484 140736137582528 140736137574288 139943055275357 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34161 6397 1180 1 0 5218 0
Current children cumulated CPU time (s) 672.57
Current children cumulated vsize (KiB) 136644

[startup+639.7 s]
/proc/loadavg: 2.07 2.06 2.03 3/179 2177
/proc/meminfo: memFree=30514216/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136644 CPUtime=672.77 cores=0,2,4,6
/proc/1857/stat : 1857 (python) R 1855 1857 31325 0 -1 4202496 71341 525921 0 2 3194 500 63361 222 20 0 1 0 338012202 139923456 6397 33554432000 4194304 4196484 140736137582528 140736137574288 139943055214114 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34161 6397 1180 1 0 5218 0
Current children cumulated CPU time (s) 672.77
Current children cumulated vsize (KiB) 136644

[startup+639.8 s]
/proc/loadavg: 2.07 2.06 2.03 3/179 2177
/proc/meminfo: memFree=30514216/32873844 swapFree=7900/7900
[pid=1857] ppid=1855 vsize=136640 CPUtime=672.87 cores=0,2,4,6
/proc/1857/stat : 1857 (python) R 1855 1857 31325 0 -1 4202496 75140 527379 0 2 3202 502 63361 222 20 0 1 0 338012202 139919360 6398 33554432000 4194304 4196484 140736137582528 140736137575064 139943055260434 0 0 16781312 0 0 0 0 17 0 0 0 0 0 0
/proc/1857/statm: 34160 6398 1180 1 0 5217 0
Current children cumulated CPU time (s) 672.87
Current children cumulated vsize (KiB) 136640

Child status: 0
Real time (s): 639.821
CPU time (s): 672.918
CPU user time (s): 665.665
CPU system time (s): 7.2529
CPU usage (%): 105.173
Max. virtual memory (cumulated for all children) (KiB): 2785088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 665.665
system time used= 7.2529
maximum resident set size= 496020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 603633
page faults= 2
swaps= 0
block input operations= 8
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6897
involuntary context switches= 1570

runsolver used 1.05284 second user time and 2.6236 second system time

The end

Launcher Data 

Begin job on node137 at 2012-06-03 12:21:17
IDJOB=3737987
IDBENCH=48368
IDSOLVER=2323
FILE ID=node137/3737987-1338718876
RUNJOBID= node137-1338714575-31341
PBS_JOBID= 14636756
Free space on /tmp= 70304 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_60_5_15.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737987-1338718876/watcher-3737987-1338718876 -o /tmp/evaluation-result-3737987-1338718876/solver-3737987-1338718876 -C 1800 -W 1900 -M 15500  solver HOME/instance-3737987-1338718876.opb 1063947311 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 22b768493fb377a7ad184ec8975ae3ca
RANDOM SEED=1063947311

node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30176816 kB
Buffers:          232896 kB
Cached:          1225000 kB
SwapCached:         5796 kB
Active:          1190176 kB
Inactive:         668156 kB
Active(anon):     396028 kB
Inactive(anon):     7172 kB
Active(file):     794148 kB
Inactive(file):   660984 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             22268 kB
Writeback:             0 kB
AnonPages:        416692 kB
Mapped:            20696 kB
Shmem:                 0 kB
Slab:             686652 kB
SReclaimable:     126392 kB
SUnreclaim:       560260 kB
KernelStack:        1592 kB
PageTables:         5516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1539448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    360448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70280 MiB
End job on node137 at 2012-06-03 12:31:57