Trace number 3737935

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? 670.039 639.527

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_4_15.opb
MD5SUMbd16609fa1dd670f862cc5fd2d9f8fc4
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.2778
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)74916
Sum of products size (including duplicates)149832
Number of different products37458
Sum of products size74916

Solver Data 

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

running on 4 cores: 1,3,5,7

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: 1.99 2.06 2.01 3/177 17551
/proc/meminfo: memFree=27021680/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/17551/stat : 17551 (python) D 17549 17551 15301 0 -1 4202496 759 0 0 0 0 0 0 0 20 0 1 0 338001343 15642624 527 33554432000 4194304 5683644 140737231517104 140737231503016 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/17551/statm: 3819 527 312 364 0 261 0

[startup+0.031667 s]
/proc/loadavg: 1.99 2.06 2.01 3/177 17551
/proc/meminfo: memFree=27021680/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=15976 CPUtime=0 cores=1,3,5,7
/proc/17551/stat : 17551 (python) R 17549 17551 15301 0 -1 4202496 1050 0 0 0 0 0 0 0 20 0 1 0 338001343 16359424 776 33554432000 4194304 5683644 140737231517104 140737231434376 251052658580 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/17551/statm: 3994 778 356 364 0 436 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15976

[startup+0.100268 s]
/proc/loadavg: 1.99 2.06 2.01 3/177 17551
/proc/meminfo: memFree=27021680/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=17628 CPUtime=0.02 cores=1,3,5,7
/proc/17551/stat : 17551 (python) D 17549 17551 15301 0 -1 4202496 2233 0 0 0 1 1 0 0 20 0 1 0 338001343 18051072 737 33554432000 4194304 4196484 140733411145392 140733411103432 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/17551/statm: 4407 737 367 1 0 342 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17628

[startup+0.300242 s]
/proc/loadavg: 1.99 2.06 2.01 3/177 17551
/proc/meminfo: memFree=27021680/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=56780 CPUtime=0.07 cores=1,3,5,7
/proc/17551/stat : 17551 (python) R 17549 17551 15301 0 -1 4202496 4054 0 0 0 5 2 0 0 20 0 1 0 338001343 58142720 2212 33554432000 4194304 4196484 140733411145392 140733410987112 251053031093 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/17551/statm: 14195 2212 603 1 0 1533 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 56780

[startup+0.700153 s]
/proc/loadavg: 1.99 2.06 2.01 3/177 17551
/proc/meminfo: memFree=27021680/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=103796 CPUtime=0.25 cores=1,3,5,7
/proc/17551/stat : 17551 (python) R 17549 17551 15301 0 -1 4202496 6865 1013 0 0 16 9 0 0 20 0 1 0 338001343 106287104 4265 33554432000 4194304 4196484 140733411145392 140733411111352 139784881238544 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 25949 4265 1052 1 0 3235 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 103796

[startup+1.50027 s]
/proc/loadavg: 1.99 2.06 2.01 2/178 17556
/proc/meminfo: memFree=27003404/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=118116 CPUtime=0.44 cores=1,3,5,7
/proc/17551/stat : 17551 (python) R 17549 17551 15301 0 -1 4202496 9598 1013 0 0 28 16 0 0 20 0 1 0 338001343 120950784 5831 33554432000 4194304 4196484 140733411145392 140733411078744 251053032336 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 29529 5831 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 118116

[startup+3.10026 s]
/proc/loadavg: 1.99 2.06 2.01 4/179 17563
/proc/meminfo: memFree=26985532/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136512 CPUtime=0.88 cores=1,3,5,7
/proc/17551/stat : 17551 (python) S 17549 17551 15301 0 -1 4202496 13578 3940 0 0 63 24 0 1 20 0 1 0 338001343 139788288 6372 33554432000 4194304 4196484 140733411145392 140733411137152 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34128 6372 1180 1 0 5185 0
[pid=17563] ppid=17551 vsize=20792 CPUtime=1.15 cores=1,3,5,7
/proc/17563/stat : 17563 (wbo1.4a) R 17551 17563 17563 0 -1 4202496 4966 0 0 0 112 3 0 0 20 0 1 0 338001538 21291008 4229 33554432000 134512640 135751879 4288278352 4288275900 135209796 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 5198 4229 138 303 0 4893 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 157304
heavy processes:

[startup+6.30028 s]
/proc/loadavg: 2.07 2.08 2.01 3/179 17563
/proc/meminfo: memFree=26974924/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136516 CPUtime=1.15 cores=1,3,5,7
/proc/17551/stat : 17551 (python) R 17549 17551 15301 0 -1 4202496 13607 3940 0 0 86 28 0 1 20 0 1 0 338001343 139792384 6373 33554432000 4194304 4196484 140733411145392 140733411137152 251053073335 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34128 6373 1180 1 0 5185 0
[pid=17563] ppid=17551 vsize=32540 CPUtime=4.35 cores=1,3,5,7
/proc/17563/stat : 17563 (wbo1.4a) R 17551 17563 17563 0 -1 4202496 7901 0 0 0 431 4 0 0 20 0 1 0 338001538 33320960 7164 33554432000 134512640 135751879 4288278352 4288276524 134517428 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 8135 7164 139 303 0 7830 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 169056

[startup+12.7003 s]
/proc/loadavg: 2.07 2.08 2.01 3/179 17563
/proc/meminfo: memFree=26960344/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136512 CPUtime=1.46 cores=1,3,5,7
/proc/17551/stat : 17551 (python) S 17549 17551 15301 0 -1 4202496 13630 3940 0 0 113 32 0 1 20 0 1 0 338001343 139788288 6373 33554432000 4194304 4196484 140733411145392 140733411137152 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34128 6373 1180 1 0 5185 0
[pid=17563] ppid=17551 vsize=45084 CPUtime=10.75 cores=1,3,5,7
/proc/17563/stat : 17563 (wbo1.4a) R 17551 17563 17563 0 -1 4202496 11039 0 0 0 1069 6 0 0 20 0 1 0 338001538 46166016 10302 33554432000 134512640 135751879 4288278352 4288276520 134517414 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 11271 10302 139 303 0 10966 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 181596

[startup+25.5003 s]
/proc/loadavg: 2.12 2.09 2.01 3/179 17563
/proc/meminfo: memFree=26930928/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136512 CPUtime=2.04 cores=1,3,5,7
/proc/17551/stat : 17551 (python) S 17549 17551 15301 0 -1 4202496 13655 3940 0 0 163 40 0 1 20 0 1 0 338001343 139788288 6373 33554432000 4194304 4196484 140733411145392 140733411137152 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34128 6373 1180 1 0 5185 0
[pid=17563] ppid=17551 vsize=76152 CPUtime=23.54 cores=1,3,5,7
/proc/17563/stat : 17563 (wbo1.4a) R 17551 17563 17563 0 -1 4202496 18805 0 0 0 2344 10 0 0 20 0 1 0 338001538 77979648 18076 33554432000 134512640 135751879 4288278352 4288276524 134517428 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 19038 18076 139 303 0 18733 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 212664

[startup+51.1003 s]
/proc/loadavg: 2.08 2.08 2.01 3/180 17566
/proc/meminfo: memFree=26839064/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136512 CPUtime=3.2 cores=1,3,5,7
/proc/17551/stat : 17551 (python) S 17549 17551 15301 0 -1 4202496 13665 3940 0 0 263 56 0 1 20 0 1 0 338001343 139788288 6373 33554432000 4194304 4196484 140733411145392 140733411137152 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34128 6373 1180 1 0 5185 0
[pid=17563] ppid=17551 vsize=168200 CPUtime=49.13 cores=1,3,5,7
/proc/17563/stat : 17563 (wbo1.4a) R 17551 17563 17563 0 -1 4202496 41772 0 0 0 4896 17 0 0 20 0 1 0 338001538 172236800 41044 33554432000 134512640 135751879 4288278352 4288276524 134516976 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17563/statm: 42050 41044 139 303 0 41745 0
Current children cumulated CPU time (s) 52.33
Current children cumulated vsize (KiB) 304712

[startup+102.307 s]
/proc/loadavg: 2.03 2.07 2.01 3/179 17575
/proc/meminfo: memFree=26793224/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136512 CPUtime=56.21 cores=1,3,5,7
/proc/17551/stat : 17551 (python) S 17549 17551 15301 0 -1 4202496 16100 48407 0 0 498 91 5012 20 20 0 1 0 338001343 139788288 6376 33554432000 4194304 4196484 140733411145392 140733411137152 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34128 6376 1180 1 0 5185 0
[pid=17572] ppid=17551 vsize=168860 CPUtime=49.91 cores=1,3,5,7
/proc/17572/stat : 17572 (wbo1.4a) R 17551 17572 17572 0 -1 4202496 41949 0 0 0 4974 17 0 0 20 0 1 0 338006581 172912640 41301 33554432000 134512640 135751879 4293743584 4293741760 134616514 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17572/statm: 42215 41301 139 303 0 41910 0
Current children cumulated CPU time (s) 106.12
Current children cumulated vsize (KiB) 305372

[startup+162.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/179 17578
/proc/meminfo: memFree=26821872/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136512 CPUtime=160.14 cores=1,3,5,7
/proc/17551/stat : 17551 (python) S 17549 17551 15301 0 -1 4202496 17316 169939 0 0 758 133 15057 66 20 0 1 0 338001343 139788288 6377 33554432000 4194304 4196484 140733411145392 140733411137152 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34128 6377 1180 1 0 5185 0
[pid=17578] ppid=17551 vsize=41756 CPUtime=8.96 cores=1,3,5,7
/proc/17578/stat : 17578 (wbo1.4b) R 17551 17578 17578 0 -1 4202496 12583 0 0 0 891 5 0 0 20 0 1 0 338016676 42758144 9392 33554432000 134512640 135751879 4289265904 4289263920 134616505 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17578/statm: 10439 9392 143 303 0 10134 0
Current children cumulated CPU time (s) 169.1
Current children cumulated vsize (KiB) 178268

[startup+222.301 s]
/proc/loadavg: 2.15 2.09 2.02 3/196 17604
/proc/meminfo: memFree=26919060/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136512 CPUtime=213.33 cores=1,3,5,7
/proc/17551/stat : 17551 (python) S 17549 17551 15301 0 -1 4202496 18565 215354 0 0 1002 172 20075 84 20 0 1 0 338001343 139788288 6379 33554432000 4194304 4196484 140733411145392 140733411137152 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34128 6379 1180 1 0 5185 0
[pid=17587] ppid=17551 vsize=2648572 CPUtime=19.18 cores=1,3,5,7
/proc/17587/stat : 17587 (java) S 17551 17587 17587 0 -1 4202496 7384 0 1 0 1915 3 0 0 20 0 18 0 338021714 2712137728 28335 33554432000 1073741824 1073778376 140736405530848 140736405521984 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17587/statm: 662143 28335 2239 9 0 652836 0
[pid=17587/tid=17588] ppid=17551 vsize=2648572 CPUtime=18.53 cores=1,3,5,7
/proc/17587/task/17588/stat : 17588 (java) R 17551 17587 17587 0 -1 4202560 2786 0 1 0 1850 3 0 0 20 0 18 0 338021716 2712137728 28335 33554432000 1073741824 1073778376 140736405530848 139679360880736 139679198764667 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17587/tid=17589] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17587/task/17589/stat : 17589 (java) S 17551 17587 17587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338021717 2712137728 28335 33554432000 1073741824 1073778376 140736405530848 139679345339048 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17587/tid=17590] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17587/task/17590/stat : 17590 (java) S 17551 17587 17587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338021717 2712137728 28335 33554432000 1073741824 1073778376 140736405530848 139679344286504 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17587/tid=17591] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17587/task/17591/stat : 17591 (java) S 17551 17587 17587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338021717 2712137728 28335 33554432000 1073741824 1073778376 140736405530848 139679343233960 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17587/tid=17592] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17587/task/17592/stat : 17592 (java) S 17551 17587 17587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338021717 2712137728 28335 33554432000 1073741824 1073778376 140736405530848 139679342181416 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17587/tid=17593] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17587/task/17593/stat : 17593 (java) S 17551 17587 17587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338021717 2712137728 28335 33554432000 1073741824 1073778376 140736405530848 139679341127848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17587/tid=17594] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17587/task/17594/stat : 17594 (java) S 17551 17587 17587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338021717 2712137728 28335 33554432000 1073741824 1073778376 140736405530848 139679340075304 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17587/tid=17595] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17587/task/17595/stat : 17595 (java) S 17551 17587 17587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338021717 2712137728 28335 33554432000 1073741824 1073778376 140736405530848 139679339022760 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17587/tid=17596] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17587/task/17596/stat : 17596 (java) S 17551 17587 17587 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338021717 2712137728 28335 33554432000 1073741824 1073778376 140736405530848 139679337970216 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17587/tid=17597] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17587/task/17597/stat : 17597 (java) S 17551 17587 17587 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338021718 2712137728 28335 33554432000 1073741824 1073778376 140736405530848 139679325559400 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17587/tid=17598] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17587/task/17598/stat : 17598 (java) S 17551 17587 17587 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 338021718 2712137728 28335 33554432000 1073741824 1073778376 140736405530848 139679324505720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17587/tid=17599] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17587/task/17599/stat : 17599 (java) S 17551 17587 17587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338021718 2712137728 28335 33554432000 1073741824 1073778376 140736405530848 139679323453064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17587/tid=17600] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17587/task/17600/stat : 17600 (java) S 17551 17587 17587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338021721 2712137728 28335 33554432000 1073741824 1073778376 140736405530848 139679322401808 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17587/tid=17601] ppid=17551 vsize=2648572 CPUtime=0.23 cores=1,3,5,7
/proc/17587/task/17601/stat : 17601 (java) S 17551 17587 17587 0 -1 4202560 712 0 0 0 23 0 0 0 20 0 18 0 338021721 2712137728 28335 33554432000 1073741824 1073778376 140736405530848 139679321348152 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17587/tid=17602] ppid=17551 vsize=2648572 CPUtime=0.37 cores=1,3,5,7
/proc/17587/task/17602/stat : 17602 (java) S 17551 17587 17587 0 -1 4202560 2382 0 0 0 37 0 0 0 20 0 18 0 338021721 2712137728 28335 33554432000 1073741824 1073778376 140736405530848 139679320295608 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17587/tid=17603] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17587/task/17603/stat : 17603 (java) S 17551 17587 17587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338021721 2712137728 28335 33554432000 1073741824 1073778376 140736405530848 139679319243256 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17587/tid=17604] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7

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

[startup+402.3 s]
/proc/loadavg: 2.11 2.11 2.03 3/179 17623
/proc/meminfo: memFree=26545948/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136512 CPUtime=322.21 cores=1,3,5,7
/proc/17551/stat : 17551 (python) S 17549 17551 15301 0 -1 4202496 19863 223758 0 1 1731 287 30105 98 20 0 1 0 338001343 139788288 6380 33554432000 4194304 4196484 140733411145392 140733411137152 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34128 6380 1180 1 0 5185 0
[pid=17611] ppid=17551 vsize=483108 CPUtime=98.76 cores=1,3,5,7
/proc/17611/stat : 17611 (wbo1.4b) R 17551 17611 17611 0 -1 4202496 122868 0 0 0 9833 43 0 0 20 0 1 0 338031693 494702592 119709 33554432000 134512640 135751879 4292730864 4292728880 134616540 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17611/statm: 120777 119709 144 303 0 120472 0
Current children cumulated CPU time (s) 420.97
Current children cumulated vsize (KiB) 619620

[startup+462.3 s]
/proc/loadavg: 2.04 2.08 2.02 3/180 17636
/proc/meminfo: memFree=26979936/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136512 CPUtime=476.34 cores=1,3,5,7
/proc/17551/stat : 17551 (python) S 17549 17551 15301 0 -1 4202496 24740 362722 0 1 2008 332 45144 150 20 0 1 0 338001343 139788288 6382 33554432000 4194304 4196484 140733411145392 140733411137152 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34128 6382 1180 1 0 5185 0
[pid=17636] ppid=17551 vsize=39408 CPUtime=7.61 cores=1,3,5,7
/proc/17636/stat : 17636 (wbo1.4a) R 17551 17636 17636 0 -1 4202496 9622 0 0 0 756 5 0 0 20 0 1 0 338046811 40353792 8876 33554432000 134512640 135751879 4290113920 4290112088 134517414 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 9852 8876 139 303 0 9547 0
Current children cumulated CPU time (s) 483.95
Current children cumulated vsize (KiB) 175920

[startup+522.301 s]
/proc/loadavg: 2.07 2.08 2.02 3/196 17683
/proc/meminfo: memFree=26864264/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136512 CPUtime=500.09 cores=1,3,5,7
/proc/17551/stat : 17551 (python) S 17549 17551 15301 0 -1 4202496 33289 393744 0 1 2290 378 47176 165 20 0 1 0 338001343 139788288 6385 33554432000 4194304 4196484 140733411145392 140733411137152 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34128 6385 1180 1 0 5185 0
[pid=17657] ppid=17551 vsize=2648572 CPUtime=47.24 cores=1,3,5,7
/proc/17657/stat : 17657 (java) S 17551 17657 17657 0 -1 4202496 7474 0 1 0 4718 6 0 0 20 0 18 0 338048911 2712137728 42667 33554432000 1073741824 1073778376 140736591824640 140736591815776 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17657/statm: 662143 42667 2239 9 0 652836 0
[pid=17657/tid=17658] ppid=17551 vsize=2648572 CPUtime=46.57 cores=1,3,5,7
/proc/17657/task/17658/stat : 17658 (java) R 17551 17657 17657 0 -1 4202560 2819 0 1 0 4653 4 0 0 20 0 18 0 338048912 2712137728 42667 33554432000 1073741824 1073778376 140736591824640 139955437039600 139955284631422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17657/tid=17659] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17657/task/17659/stat : 17659 (java) S 17551 17657 17657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338048913 2712137728 42667 33554432000 1073741824 1073778376 140736591824640 139955421498280 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17657/tid=17660] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17657/task/17660/stat : 17660 (java) S 17551 17657 17657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338048913 2712137728 42667 33554432000 1073741824 1073778376 140736591824640 139955420445736 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17657/tid=17661] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17657/task/17661/stat : 17661 (java) S 17551 17657 17657 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 338048913 2712137728 42667 33554432000 1073741824 1073778376 140736591824640 139955419392680 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17657/tid=17662] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17657/task/17662/stat : 17662 (java) S 17551 17657 17657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338048913 2712137728 42667 33554432000 1073741824 1073778376 140736591824640 139955418340136 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17657/tid=17663] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17657/task/17663/stat : 17663 (java) S 17551 17657 17657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338048913 2712137728 42667 33554432000 1073741824 1073778376 140736591824640 139955417287080 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17657/tid=17664] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17657/task/17664/stat : 17664 (java) S 17551 17657 17657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338048913 2712137728 42667 33554432000 1073741824 1073778376 140736591824640 139955416234536 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17657/tid=17665] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17657/task/17665/stat : 17665 (java) S 17551 17657 17657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338048913 2712137728 42667 33554432000 1073741824 1073778376 140736591824640 139955415181480 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17657/tid=17666] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17657/task/17666/stat : 17666 (java) S 17551 17657 17657 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338048913 2712137728 42667 33554432000 1073741824 1073778376 140736591824640 139955414128936 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17657/tid=17667] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17657/task/17667/stat : 17667 (java) S 17551 17657 17657 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338048914 2712137728 42667 33554432000 1073741824 1073778376 140736591824640 139955284208488 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17657/tid=17668] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17657/task/17668/stat : 17668 (java) S 17551 17657 17657 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 338048914 2712137728 42667 33554432000 1073741824 1073778376 140736591824640 139955283154808 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17657/tid=17669] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17657/task/17669/stat : 17669 (java) S 17551 17657 17657 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338048914 2712137728 42667 33554432000 1073741824 1073778376 140736591824640 139955282101640 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17657/tid=17670] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17657/task/17670/stat : 17670 (java) S 17551 17657 17657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338048917 2712137728 42667 33554432000 1073741824 1073778376 140736591824640 139955281050384 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17657/tid=17671] ppid=17551 vsize=2648572 CPUtime=0.22 cores=1,3,5,7
/proc/17657/task/17671/stat : 17671 (java) S 17551 17657 17657 0 -1 4202560 716 0 0 0 22 0 0 0 20 0 18 0 338048917 2712137728 42667 33554432000 1073741824 1073778376 140736591824640 139955279997240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17657/tid=17672] ppid=17551 vsize=2648572 CPUtime=0.39 cores=1,3,5,7
/proc/17657/task/17672/stat : 17672 (java) S 17551 17657 17657 0 -1 4202560 2430 0 0 0 39 0 0 0 20 0 18 0 338048917 2712137728 42667 33554432000 1073741824 1073778376 140736591824640 139955278944696 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17657/tid=17673] ppid=17551 vsize=2648572 CPUtime=0 cores=1,3,5,7
/proc/17657/task/17673/stat : 17673 (java) S 17551 17657 17657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338048917 2712137728 42667 33554432000 1073741824 1073778376 140736591824640 139955277891832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17657/tid=17674] ppid=17551 vsize=2648572 CPUtime=0.01 cores=1,3,5,7
/proc/17657/task/17674/stat : 17674 (java) S 17551 17657 17657 0 -1 4202560 4 0 0 0 0 1 0 0 20 0 18 0 338048917 2712137728 42667 33554432000 1073741824 1073778376 140736591824640 139955276839496 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 547.33
Current children cumulated vsize (KiB) 2785084

[startup+582.3 s]
/proc/loadavg: 2.06 2.08 2.02 4/179 17705
/proc/meminfo: memFree=26972688/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136512 CPUtime=564.52 cores=1,3,5,7
/proc/17551/stat : 17551 (python) S 17549 17551 15301 0 -1 4202496 41887 423530 0 2 2597 427 53244 184 20 0 1 0 338001343 139788288 6387 33554432000 4194304 4196484 140733411145392 140733411137152 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34128 6387 1180 1 0 5185 0
[pid=17704] ppid=17551 vsize=52400 CPUtime=45.84 cores=1,3,5,7
/proc/17704/stat : 17704 (bsolo_pb10) R 17551 17704 17704 0 -1 4202496 11149 0 0 0 4582 2 0 0 20 0 1 0 338054987 53657600 10557 33554432000 134512640 137138936 4286742160 4285829680 134543177 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/17704/statm: 13100 10557 185 642 0 12456 0
Current children cumulated CPU time (s) 610.36
Current children cumulated vsize (KiB) 188912

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

[startup+588.7 s]
/proc/loadavg: 2.05 2.08 2.02 3/179 17705
/proc/meminfo: memFree=26970952/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136512 CPUtime=564.8 cores=1,3,5,7
/proc/17551/stat : 17551 (python) S 17549 17551 15301 0 -1 4202496 41890 423530 0 2 2621 431 53244 184 20 0 1 0 338001343 139788288 6387 33554432000 4194304 4196484 140733411145392 140733411137152 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34128 6387 1180 1 0 5185 0
[pid=17704] ppid=17551 vsize=52400 CPUtime=52.24 cores=1,3,5,7
/proc/17704/stat : 17704 (bsolo_pb10) R 17551 17704 17704 0 -1 4202496 11151 0 0 0 5221 3 0 0 20 0 1 0 338054987 53657600 10559 33554432000 134512640 137138936 4286742160 4285829680 134542233 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/17704/statm: 13100 10559 185 642 0 12456 0
Current children cumulated CPU time (s) 617.04
Current children cumulated vsize (KiB) 188912

[startup+614.3 s]
/proc/loadavg: 2.09 2.08 2.02 3/179 17711
/proc/meminfo: memFree=26990760/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136512 CPUtime=565.94 cores=1,3,5,7
/proc/17551/stat : 17551 (python) S 17549 17551 15301 0 -1 4202496 41901 423530 0 2 2721 445 53244 184 20 0 1 0 338001343 139788288 6387 33554432000 4194304 4196484 140733411145392 140733411137152 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34128 6387 1180 1 0 5185 0
[pid=17704] ppid=17551 vsize=52400 CPUtime=77.83 cores=1,3,5,7
/proc/17704/stat : 17704 (bsolo_pb10) R 17551 17704 17704 0 -1 4202496 11151 0 0 0 7780 3 0 0 20 0 1 0 338054987 53657600 10559 33554432000 134512640 137138936 4286742160 4285829680 134542199 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/17704/statm: 13100 10559 185 642 0 12456 0
Current children cumulated CPU time (s) 643.77
Current children cumulated vsize (KiB) 188912

[startup+627.1 s]
/proc/loadavg: 2.08 2.08 2.02 3/179 17714
/proc/meminfo: memFree=26987716/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136512 CPUtime=566.5 cores=1,3,5,7
/proc/17551/stat : 17551 (python) S 17549 17551 15301 0 -1 4202496 41906 423530 0 2 2769 453 53244 184 20 0 1 0 338001343 139788288 6387 33554432000 4194304 4196484 140733411145392 140733411137152 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34128 6387 1180 1 0 5185 0
[pid=17704] ppid=17551 vsize=52400 CPUtime=90.63 cores=1,3,5,7
/proc/17704/stat : 17704 (bsolo_pb10) R 17551 17704 17704 0 -1 4202496 11151 0 0 0 9059 4 0 0 20 0 1 0 338054987 53657600 10559 33554432000 134512640 137138936 4286742160 4285829904 134566410 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/17704/statm: 13100 10559 185 642 0 12456 0
Current children cumulated CPU time (s) 657.13
Current children cumulated vsize (KiB) 188912

[startup+633.5 s]
/proc/loadavg: 2.07 2.08 2.02 3/180 17717
/proc/meminfo: memFree=26983976/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136512 CPUtime=566.77 cores=1,3,5,7
/proc/17551/stat : 17551 (python) S 17549 17551 15301 0 -1 4202496 41908 423530 0 2 2793 456 53244 184 20 0 1 0 338001343 139788288 6387 33554432000 4194304 4196484 140733411145392 140733411137152 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34128 6387 1180 1 0 5185 0
[pid=17704] ppid=17551 vsize=52400 CPUtime=97.04 cores=1,3,5,7
/proc/17704/stat : 17704 (bsolo_pb10) R 17551 17704 17704 0 -1 4202496 11151 0 0 0 9700 4 0 0 20 0 1 0 338054987 53657600 10559 33554432000 134512640 137138936 4286742160 4285829680 134543077 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/17704/statm: 13100 10559 185 642 0 12456 0
Current children cumulated CPU time (s) 663.81
Current children cumulated vsize (KiB) 188912

[startup+636.7 s]
/proc/loadavg: 2.07 2.08 2.02 3/180 17717
/proc/meminfo: memFree=26983780/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136512 CPUtime=566.91 cores=1,3,5,7
/proc/17551/stat : 17551 (python) S 17549 17551 15301 0 -1 4202496 41910 423530 0 2 2805 458 53244 184 20 0 1 0 338001343 139788288 6387 33554432000 4194304 4196484 140733411145392 140733411137152 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34128 6387 1180 1 0 5185 0
[pid=17704] ppid=17551 vsize=52400 CPUtime=100.23 cores=1,3,5,7
/proc/17704/stat : 17704 (bsolo_pb10) R 17551 17704 17704 0 -1 4202496 11151 0 0 0 10019 4 0 0 20 0 1 0 338054987 53657600 10559 33554432000 134512640 137138936 4286742160 4285829464 136504449 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/17704/statm: 13100 10559 185 642 0 12456 0
Current children cumulated CPU time (s) 667.14
Current children cumulated vsize (KiB) 188912

[startup+638.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/180 17747
/proc/meminfo: memFree=27024476/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136512 CPUtime=668.78 cores=1,3,5,7
/proc/17551/stat : 17551 (python) R 17549 17551 15301 0 -1 4202496 58974 454628 0 2 2926 475 63278 199 20 0 1 0 338001343 139788288 6392 33554432000 4194304 4196484 140733411145392 140733411137152 251053073335 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34128 6392 1180 1 0 5185 0
Current children cumulated CPU time (s) 668.78
Current children cumulated vsize (KiB) 136512

[startup+639.106 s]
/proc/loadavg: 2.06 2.08 2.02 3/180 17777
/proc/meminfo: memFree=27023740/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136644 CPUtime=669.59 cores=1,3,5,7
/proc/17551/stat : 17551 (python) R 17549 17551 15301 0 -1 4202496 67426 464900 0 2 2992 483 63280 204 20 0 1 0 338001343 139923456 6397 33554432000 4194304 4196484 140733411145392 140733411137152 251053073335 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34161 6397 1180 1 0 5218 0
Current children cumulated CPU time (s) 669.59
Current children cumulated vsize (KiB) 136644

[startup+639.5 s]
/proc/loadavg: 2.06 2.08 2.02 3/180 17777
/proc/meminfo: memFree=27023740/32873648 swapFree=7368/7368
[pid=17551] ppid=17549 vsize=136640 CPUtime=669.99 cores=1,3,5,7
/proc/17551/stat : 17551 (python) R 17549 17551 15301 0 -1 4202496 71640 470761 0 2 3022 489 63282 206 20 0 1 0 338001343 139919360 6398 33554432000 4194304 4196484 140733411145392 140733411137928 139784880587224 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/17551/statm: 34160 6398 1180 1 0 5217 0
Current children cumulated CPU time (s) 669.99
Current children cumulated vsize (KiB) 136640

Child status: 0
Real time (s): 639.527
CPU time (s): 670.039
CPU user time (s): 663.079
CPU system time (s): 6.95994
CPU usage (%): 104.771
Max. virtual memory (cumulated for all children) (KiB): 2785088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 663.079
system time used= 6.95994
maximum resident set size= 479792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 546769
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= 8920
involuntary context switches= 1258

runsolver used 1.40878 second user time and 3.68044 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-03 12:19:32
IDJOB=3737935
IDBENCH=48361
IDSOLVER=2323
FILE ID=node149/3737935-1338718772
RUNJOBID= node149-1338713283-15318
PBS_JOBID= 14636730
Free space on /tmp= 71032 MiB

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

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

MD5SUM BENCH= bd16609fa1dd670f862cc5fd2d9f8fc4
RANDOM SEED=200717594

node149.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.145
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	: 5332.29
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.145
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.145
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	: 5438.55
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.145
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.145
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.145
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	: 5438.55
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.145
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.145
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:       32873648 kB
MemFree:        27021944 kB
Buffers:          746180 kB
Cached:          4121076 kB
SwapCached:         2468 kB
Active:          2075140 kB
Inactive:        2878432 kB
Active(anon):      69444 kB
Inactive(anon):     9368 kB
Active(file):    2005696 kB
Inactive(file):  2869064 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:             21572 kB
Writeback:             0 kB
AnonPages:         81768 kB
Mapped:            18340 kB
Shmem:                96 kB
Slab:             760128 kB
SReclaimable:     203400 kB
SUnreclaim:       556728 kB
KernelStack:        1464 kB
PageTables:         4412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     191784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71012 MiB
End job on node149 at 2012-06-03 12:30:12