Trace number 3738052

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? 671.901 638.741

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_3_15.opb
MD5SUM97892b1b250c8711791b219b8ddda703
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1448.56
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints152
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
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 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1236
Sum of products size (including duplicates)2472
Number of different products618
Sum of products size1236

Solver Data 

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

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: 2.15 2.14 2.09 3/195 27930
/proc/meminfo: memFree=28180584/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=15412 CPUtime=0 cores=1,3,5,7
/proc/27930/stat : 27930 (python) R 27928 27930 22930 0 -1 4202496 818 0 0 0 0 0 0 0 20 0 1 0 338026954 15781888 582 33554432000 4194304 5683644 140736164866256 140736164838440 233220949280 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/27930/statm: 3845 579 327 364 0 287 0

[startup+0.0740381 s]
/proc/loadavg: 2.15 2.14 2.09 3/195 27930
/proc/meminfo: memFree=28180584/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=41204 CPUtime=0.05 cores=1,3,5,7
/proc/27930/stat : 27930 (python) D 27928 27930 22930 0 -1 4202496 3211 0 0 0 3 2 0 0 20 0 1 0 338026954 42192896 1553 33554432000 4194304 4196484 140737401064432 140737400924184 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 10301 1553 483 1 0 1056 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 41204

[startup+0.100325 s]
/proc/loadavg: 2.15 2.14 2.09 3/195 27930
/proc/meminfo: memFree=28180584/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=60524 CPUtime=0.07 cores=1,3,5,7
/proc/27930/stat : 27930 (python) R 27928 27930 22930 0 -1 4202496 4233 0 0 0 5 2 0 0 20 0 1 0 338026954 61976576 2338 33554432000 4194304 4196484 140737401064432 140737400910248 233220948880 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 15131 2338 613 1 0 1773 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 60524

[startup+0.300268 s]
/proc/loadavg: 2.15 2.14 2.09 3/195 27930
/proc/meminfo: memFree=28180584/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=103796 CPUtime=0.23 cores=1,3,5,7
/proc/27930/stat : 27930 (python) R 27928 27930 22930 0 -1 4202496 6864 1011 0 0 16 7 0 0 20 0 1 0 338026954 106287104 4265 33554432000 4194304 4196484 140737401064432 140737401030392 140123172040570 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 25949 4265 1052 1 0 3235 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 103796

[startup+0.700252 s]
/proc/loadavg: 2.15 2.14 2.09 3/195 27930
/proc/meminfo: memFree=28180584/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=134452 CPUtime=0.52 cores=1,3,5,7
/proc/27930/stat : 27930 (python) R 27928 27930 22930 0 -1 4202496 11261 1011 0 0 39 13 0 0 20 0 1 0 338026954 137678848 6348 33554432000 4194304 4196484 140737401064432 140737401056192 233220989879 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 33614 6348 1170 1 0 5186 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 134452

[startup+1.50026 s]
/proc/loadavg: 2.15 2.14 2.09 3/197 27942
/proc/meminfo: memFree=28158340/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136512 CPUtime=0.82 cores=1,3,5,7
/proc/27930/stat : 27930 (python) S 27928 27930 22930 0 -1 4202496 13574 3937 0 0 64 17 0 1 20 0 1 0 338026954 139788288 6373 33554432000 4194304 4196484 140737401064432 140737401056192 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34128 6373 1180 1 0 5185 0
[pid=27942] ppid=27930 vsize=6384 CPUtime=0.64 cores=1,3,5,7
/proc/27942/stat : 27942 (wbo1.4a) R 27930 27942 27942 0 -1 4202496 1459 0 0 0 64 0 0 0 20 0 1 0 338027039 6537216 1144 33554432000 134512640 135751879 4294017216 4294015468 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27942/statm: 1596 1144 139 303 0 1291 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 142896

[startup+3.10027 s]
/proc/loadavg: 2.13 2.14 2.09 3/197 27942
/proc/meminfo: memFree=28143032/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136512 CPUtime=0.91 cores=1,3,5,7
/proc/27930/stat : 27930 (python) S 27928 27930 22930 0 -1 4202496 13583 3937 0 0 72 18 0 1 20 0 1 0 338026954 139788288 6373 33554432000 4194304 4196484 140737401064432 140737401056192 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34128 6373 1180 1 0 5185 0
[pid=27942] ppid=27930 vsize=11132 CPUtime=2.24 cores=1,3,5,7
/proc/27942/stat : 27942 (wbo1.4a) R 27930 27942 27942 0 -1 4202496 2654 0 0 0 222 2 0 0 20 0 1 0 338027039 11399168 2339 33554432000 134512640 135751879 4294017216 4294015468 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27942/statm: 2783 2339 139 303 0 2478 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 147644

[startup+6.30028 s]
/proc/loadavg: 2.13 2.14 2.09 4/197 27942
/proc/meminfo: memFree=28121392/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136512 CPUtime=1.05 cores=1,3,5,7
/proc/27930/stat : 27930 (python) S 27928 27930 22930 0 -1 4202496 13595 3937 0 0 85 19 0 1 20 0 1 0 338026954 139788288 6373 33554432000 4194304 4196484 140737401064432 140737401056192 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34128 6373 1180 1 0 5185 0
[pid=27942] ppid=27930 vsize=22852 CPUtime=5.44 cores=1,3,5,7
/proc/27942/stat : 27942 (wbo1.4a) R 27930 27942 27942 0 -1 4202496 5553 0 0 0 539 5 0 0 20 0 1 0 338027039 23400448 5238 33554432000 134512640 135751879 4294017216 4294015468 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27942/statm: 5713 5238 139 303 0 5408 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 159364

[startup+12.7003 s]
/proc/loadavg: 2.11 2.14 2.09 3/197 27942
/proc/meminfo: memFree=28089236/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136512 CPUtime=1.35 cores=1,3,5,7
/proc/27930/stat : 27930 (python) S 27928 27930 22930 0 -1 4202496 13622 3937 0 0 111 23 0 1 20 0 1 0 338026954 139788288 6373 33554432000 4194304 4196484 140737401064432 140737401056192 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34128 6373 1180 1 0 5185 0
[pid=27942] ppid=27930 vsize=43876 CPUtime=11.84 cores=1,3,5,7
/proc/27942/stat : 27942 (wbo1.4a) R 27930 27942 27942 0 -1 4202496 10790 0 0 0 1172 12 0 0 20 0 1 0 338027039 44929024 10475 33554432000 134512640 135751879 4294017216 4294015468 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27942/statm: 10969 10475 139 303 0 10664 0
Current children cumulated CPU time (s) 13.19
Current children cumulated vsize (KiB) 180388

[startup+25.5003 s]
/proc/loadavg: 2.10 2.13 2.09 3/197 27942
/proc/meminfo: memFree=27996188/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136512 CPUtime=1.91 cores=1,3,5,7
/proc/27930/stat : 27930 (python) S 27928 27930 22930 0 -1 4202496 13647 3937 0 0 159 31 0 1 20 0 1 0 338026954 139788288 6373 33554432000 4194304 4196484 140737401064432 140737401056192 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34128 6373 1180 1 0 5185 0
[pid=27942] ppid=27930 vsize=78232 CPUtime=24.64 cores=1,3,5,7
/proc/27942/stat : 27942 (wbo1.4a) R 27930 27942 27942 0 -1 4202496 19361 0 0 0 2441 23 0 0 20 0 1 0 338027039 80109568 19046 33554432000 134512640 135751879 4294017216 4294015468 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27942/statm: 19558 19046 139 303 0 19253 0
Current children cumulated CPU time (s) 26.55
Current children cumulated vsize (KiB) 214744

[startup+51.1003 s]
/proc/loadavg: 2.06 2.12 2.09 3/179 27945
/proc/meminfo: memFree=28602876/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136512 CPUtime=3.07 cores=1,3,5,7
/proc/27930/stat : 27930 (python) S 27928 27930 22930 0 -1 4202496 13658 3937 0 0 259 47 0 1 20 0 1 0 338026954 139788288 6373 33554432000 4194304 4196484 140737401064432 140737401056192 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34128 6373 1180 1 0 5185 0
[pid=27942] ppid=27930 vsize=159688 CPUtime=50.23 cores=1,3,5,7
/proc/27942/stat : 27942 (wbo1.4a) R 27930 27942 27942 0 -1 4202496 39719 0 0 0 4972 51 0 0 20 0 1 0 338027039 163520512 39410 33554432000 134512640 135751879 4294017216 4294015468 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27942/statm: 39922 39410 139 303 0 39617 0
Current children cumulated CPU time (s) 53.3
Current children cumulated vsize (KiB) 296200

[startup+102.3 s]
/proc/loadavg: 2.06 2.11 2.09 3/179 27951
/proc/meminfo: memFree=28483416/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136512 CPUtime=56.71 cores=1,3,5,7
/proc/27930/stat : 27930 (python) S 27928 27930 22930 0 -1 4202496 16087 46717 0 0 484 81 5051 55 20 0 1 0 338026954 139788288 6376 33554432000 4194304 4196484 140737401064432 140737401056192 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34128 6376 1180 1 0 5185 0
[pid=27951] ppid=27930 vsize=159816 CPUtime=50.26 cores=1,3,5,7
/proc/27951/stat : 27951 (wbo1.4a) R 27930 27951 27951 0 -1 4202496 39740 0 0 0 4976 50 0 0 20 0 1 0 338032156 163651584 39423 33554432000 134512640 135751879 4292766768 4292765020 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27951/statm: 39954 39423 139 303 0 39649 0
Current children cumulated CPU time (s) 106.97
Current children cumulated vsize (KiB) 296328

[startup+162.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/179 27958
/proc/meminfo: memFree=28755908/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136512 CPUtime=160.59 cores=1,3,5,7
/proc/27930/stat : 27930 (python) S 27928 27930 22930 0 -1 4202496 17305 121912 0 0 734 119 15054 152 20 0 1 0 338026954 139788288 6378 33554432000 4194304 4196484 140737401064432 140737401056192 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34128 6378 1180 1 0 5185 0
[pid=27958] ppid=27930 vsize=35028 CPUtime=9.24 cores=1,3,5,7
/proc/27958/stat : 27958 (wbo1.4b) R 27930 27958 27958 0 -1 4202496 8595 0 0 0 912 12 0 0 20 0 1 0 338042260 35868672 8278 33554432000 134512640 135751879 4286704304 4286702396 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27958/statm: 8757 8278 144 303 0 8452 0
Current children cumulated CPU time (s) 169.83
Current children cumulated vsize (KiB) 171540

[startup+222.308 s]
/proc/loadavg: 2.14 2.12 2.09 3/215 28027
/proc/meminfo: memFree=27876324/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136512 CPUtime=214.41 cores=1,3,5,7
/proc/27930/stat : 27930 (python) S 27928 27930 22930 0 -1 4202496 18565 163203 0 0 973 161 20103 204 20 0 1 0 338026954 139788288 6380 33554432000 4194304 4196484 140737401064432 140737401056192 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34128 6380 1180 1 0 5185 0
[pid=28009] ppid=27930 vsize=2715136 CPUtime=18.98 cores=1,3,5,7
/proc/28009/stat : 28009 (java) S 27930 28009 28009 0 -1 4202496 8807 0 1 0 1874 24 0 0 20 0 19 0 338047363 2780299264 114039 33554432000 1073741824 1073778376 140735477354960 140735477346096 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28009/statm: 678784 114039 2261 9 0 669477 0
[pid=28009/tid=28010] ppid=27930 vsize=2715136 CPUtime=18.02 cores=1,3,5,7
/proc/28009/task/28010/stat : 28010 (java) R 27930 28009 28009 0 -1 4202560 2916 0 1 0 1794 8 0 0 20 0 19 0 338047364 2780299264 114039 33554432000 1073741824 1073778376 140735477354960 139778288237824 139778117309747 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28009/tid=28011] ppid=27930 vsize=2715136 CPUtime=0.04 cores=1,3,5,7
/proc/28009/task/28011/stat : 28011 (java) S 27930 28009 28009 0 -1 4202560 37 0 0 0 2 2 0 0 20 0 19 0 338047365 2780299264 114039 33554432000 1073741824 1073778376 140735477354960 139778272689064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28009/tid=28012] ppid=27930 vsize=2715136 CPUtime=0.03 cores=1,3,5,7
/proc/28009/task/28012/stat : 28012 (java) S 27930 28009 28009 0 -1 4202560 23 0 0 0 2 1 0 0 20 0 19 0 338047365 2780299264 114039 33554432000 1073741824 1073778376 140735477354960 139778271636520 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28009/tid=28013] ppid=27930 vsize=2715136 CPUtime=0.02 cores=1,3,5,7
/proc/28009/task/28013/stat : 28013 (java) S 27930 28009 28009 0 -1 4202560 17 0 0 0 0 2 0 0 20 0 19 0 338047365 2780299264 114039 33554432000 1073741824 1073778376 140735477354960 139778270583464 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28009/tid=28014] ppid=27930 vsize=2715136 CPUtime=0.05 cores=1,3,5,7
/proc/28009/task/28014/stat : 28014 (java) S 27930 28009 28009 0 -1 4202560 37 0 0 0 3 2 0 0 20 0 19 0 338047365 2780299264 114039 33554432000 1073741824 1073778376 140735477354960 139778269530920 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28009/tid=28015] ppid=27930 vsize=2715136 CPUtime=0.03 cores=1,3,5,7
/proc/28009/task/28015/stat : 28015 (java) S 27930 28009 28009 0 -1 4202560 20 0 0 0 1 2 0 0 20 0 19 0 338047365 2780299264 114039 33554432000 1073741824 1073778376 140735477354960 139778268477864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28009/tid=28016] ppid=27930 vsize=2715136 CPUtime=0.03 cores=1,3,5,7
/proc/28009/task/28016/stat : 28016 (java) S 27930 28009 28009 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 19 0 338047365 2780299264 114039 33554432000 1073741824 1073778376 140735477354960 139778267425320 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28009/tid=28017] ppid=27930 vsize=2715136 CPUtime=0.03 cores=1,3,5,7
/proc/28009/task/28017/stat : 28017 (java) S 27930 28009 28009 0 -1 4202560 22 0 0 0 1 2 0 0 20 0 19 0 338047365 2780299264 114039 33554432000 1073741824 1073778376 140735477354960 139778266372264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28009/tid=28018] ppid=27930 vsize=2715136 CPUtime=0.03 cores=1,3,5,7
/proc/28009/task/28018/stat : 28018 (java) S 27930 28009 28009 0 -1 4202560 18 0 0 0 2 1 0 0 20 0 19 0 338047365 2780299264 114039 33554432000 1073741824 1073778376 140735477354960 139778265319720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28009/tid=28019] ppid=27930 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/28009/task/28019/stat : 28019 (java) S 27930 28009 28009 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338047366 2780299264 114039 33554432000 1073741824 1073778376 140735477354960 139778252909416 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28009/tid=28020] ppid=27930 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/28009/task/28020/stat : 28020 (java) S 27930 28009 28009 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338047366 2780299264 114039 33554432000 1073741824 1073778376 140735477354960 139778251855736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28009/tid=28021] ppid=27930 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/28009/task/28021/stat : 28021 (java) S 27930 28009 28009 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338047366 2780299264 114039 33554432000 1073741824 1073778376 140735477354960 139778250802568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28009/tid=28022] ppid=27930 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/28009/task/28022/stat : 28022 (java) S 27930 28009 28009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338047369 2780299264 114039 33554432000 1073741824 1073778376 140735477354960 139778249751312 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28009/tid=28023] ppid=27930 vsize=2715136 CPUtime=0.2 cores=1,3,5,7
/proc/28009/task/28023/stat : 28023 (java) S 27930 28009 28009 0 -1 4202560 1735 0 0 0 20 0 0 0 20 0 19 0 338047369 2780299264 114039 33554432000 1073741824 1073778376 140735477354960 139778248698168 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28009/tid=28024] ppid=27930 vsize=2715136 CPUtime=0.28 cores=1,3,5,7
/proc/28009/task/28024/stat : 28024 (java) S 27930 28009 28009 0 -1 4202560 2448 0 0 0 28 0 0 0 20 0 19 0 338047369 2780299264 114039 33554432000 1073741824 1073778376 140735477354960 139778247645624 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28009/tid=28025] ppid=27930 vsize=2715136 CPUtime=0 cores=1,3,5,7

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

/proc/27930/statm: 34128 6383 1180 1 0 5185 0
[pid=28190] ppid=27930 vsize=29980 CPUtime=7.8 cores=1,3,5,7
/proc/28190/stat : 28190 (wbo1.4a) R 27930 28190 28190 0 -1 4202496 7339 0 0 0 774 6 0 0 20 0 1 0 338072403 30699520 7018 33554432000 134512640 135751879 4290945776 4290944028 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/28190/statm: 7495 7018 139 303 0 7190 0
Current children cumulated CPU time (s) 485.78
Current children cumulated vsize (KiB) 166492

[startup+522.301 s]
/proc/loadavg: 2.23 2.19 2.12 3/197 28232
/proc/meminfo: memFree=28297380/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136512 CPUtime=501.91 cores=1,3,5,7
/proc/27930/stat : 27930 (python) S 27928 27930 22930 0 -1 4202496 33214 287414 0 1 2268 376 47152 395 20 0 1 0 338026954 139788288 6385 33554432000 4194304 4196484 140737401064432 140737401056192 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34128 6385 1180 1 0 5185 0
[pid=28214] ppid=27930 vsize=2715136 CPUtime=47.94 cores=1,3,5,7
/proc/28214/stat : 28214 (java) S 27930 28214 28214 0 -1 4202496 9321 0 1 0 4761 33 0 0 20 0 19 0 338074502 2780299264 125893 33554432000 1073741824 1073778376 140734074849296 140734074840432 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28214/statm: 678784 125893 2261 9 0 669477 0
[pid=28214/tid=28215] ppid=27930 vsize=2715136 CPUtime=46.43 cores=1,3,5,7
/proc/28214/task/28215/stat : 28215 (java) R 27930 28214 28214 0 -1 4202560 2916 0 1 0 4636 7 0 0 20 0 19 0 338074504 2780299264 125893 33554432000 1073741824 1073778376 140734074849296 140491075128688 140490947754375 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28214/tid=28216] ppid=27930 vsize=2715136 CPUtime=0.09 cores=1,3,5,7
/proc/28214/task/28216/stat : 28216 (java) S 27930 28214 28214 0 -1 4202560 46 0 0 0 6 3 0 0 20 0 19 0 338074505 2780299264 125893 33554432000 1073741824 1073778376 140734074849296 140490941761832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28214/tid=28217] ppid=27930 vsize=2715136 CPUtime=0.08 cores=1,3,5,7
/proc/28214/task/28217/stat : 28217 (java) S 27930 28214 28214 0 -1 4202560 43 0 0 0 5 3 0 0 20 0 19 0 338074505 2780299264 125893 33554432000 1073741824 1073778376 140734074849296 140490940709032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28214/tid=28218] ppid=27930 vsize=2715136 CPUtime=0.06 cores=1,3,5,7
/proc/28214/task/28218/stat : 28218 (java) S 27930 28214 28214 0 -1 4202560 39 0 0 0 3 3 0 0 20 0 19 0 338074505 2780299264 125893 33554432000 1073741824 1073778376 140734074849296 140490939656744 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28214/tid=28219] ppid=27930 vsize=2715136 CPUtime=0.1 cores=1,3,5,7
/proc/28214/task/28219/stat : 28219 (java) S 27930 28214 28214 0 -1 4202560 70 0 0 0 7 3 0 0 20 0 19 0 338074505 2780299264 125893 33554432000 1073741824 1073778376 140734074849296 140490938603944 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28214/tid=28220] ppid=27930 vsize=2715136 CPUtime=0.08 cores=1,3,5,7
/proc/28214/task/28220/stat : 28220 (java) S 27930 28214 28214 0 -1 4202560 30 0 0 0 5 3 0 0 20 0 19 0 338074505 2780299264 125893 33554432000 1073741824 1073778376 140734074849296 140490937551656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28214/tid=28221] ppid=27930 vsize=2715136 CPUtime=0.08 cores=1,3,5,7
/proc/28214/task/28221/stat : 28221 (java) S 27930 28214 28214 0 -1 4202560 32 0 0 0 6 2 0 0 20 0 19 0 338074505 2780299264 125893 33554432000 1073741824 1073778376 140734074849296 140490936498856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28214/tid=28222] ppid=27930 vsize=2715136 CPUtime=0.15 cores=1,3,5,7
/proc/28214/task/28222/stat : 28222 (java) S 27930 28214 28214 0 -1 4202560 67 0 0 0 11 4 0 0 20 0 19 0 338074505 2780299264 125893 33554432000 1073741824 1073778376 140734074849296 140490935446568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28214/tid=28223] ppid=27930 vsize=2715136 CPUtime=0.11 cores=1,3,5,7
/proc/28214/task/28223/stat : 28223 (java) S 27930 28214 28214 0 -1 4202560 55 0 0 0 8 3 0 0 20 0 19 0 338074505 2780299264 125893 33554432000 1073741824 1073778376 140734074849296 140490934393768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28214/tid=28224] ppid=27930 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/28214/task/28224/stat : 28224 (java) S 27930 28214 28214 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 338074506 2780299264 125893 33554432000 1073741824 1073778376 140734074849296 140490452199656 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28214/tid=28225] ppid=27930 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/28214/task/28225/stat : 28225 (java) S 27930 28214 28214 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338074507 2780299264 125893 33554432000 1073741824 1073778376 140734074849296 140490451145720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28214/tid=28226] ppid=27930 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/28214/task/28226/stat : 28226 (java) S 27930 28214 28214 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338074507 2780299264 125893 33554432000 1073741824 1073778376 140734074849296 140490450093320 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28214/tid=28227] ppid=27930 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/28214/task/28227/stat : 28227 (java) S 27930 28214 28214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338074510 2780299264 125893 33554432000 1073741824 1073778376 140734074849296 140490449041808 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28214/tid=28228] ppid=27930 vsize=2715136 CPUtime=0.22 cores=1,3,5,7
/proc/28214/task/28228/stat : 28228 (java) S 27930 28214 28214 0 -1 4202560 1987 0 0 0 22 0 0 0 20 0 19 0 338074510 2780299264 125893 33554432000 1073741824 1073778376 140734074849296 140490447989432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28214/tid=28229] ppid=27930 vsize=2715136 CPUtime=0.26 cores=1,3,5,7
/proc/28214/task/28229/stat : 28229 (java) S 27930 28214 28214 0 -1 4202560 2520 0 0 0 25 1 0 0 20 0 19 0 338074510 2780299264 125893 33554432000 1073741824 1073778376 140734074849296 140490446936632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28214/tid=28230] ppid=27930 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/28214/task/28230/stat : 28230 (java) S 27930 28214 28214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338074510 2780299264 125893 33554432000 1073741824 1073778376 140734074849296 140490445884536 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28214/tid=28231] ppid=27930 vsize=2715136 CPUtime=0.01 cores=1,3,5,7
/proc/28214/task/28231/stat : 28231 (java) S 27930 28214 28214 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 338074510 2780299264 125893 33554432000 1073741824 1073778376 140734074849296 140490444831944 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28214/tid=28232] ppid=27930 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/28214/task/28232/stat : 28232 (java) S 27930 28214 28214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338074529 2780299264 125893 33554432000 1073741824 1073778376 140734074849296 140490443776936 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 549.85
Current children cumulated vsize (KiB) 2851648

[startup+582.3 s]
/proc/loadavg: 2.12 2.16 2.11 3/180 28257
/proc/meminfo: memFree=28755536/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136512 CPUtime=566.5 cores=1,3,5,7
/proc/27930/stat : 27930 (python) S 27928 27930 22930 0 -1 4202496 41801 315379 0 2 2576 426 53192 456 20 0 1 0 338026954 139788288 6388 33554432000 4194304 4196484 140737401064432 140737401056192 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34128 6388 1180 1 0 5185 0
[pid=28254] ppid=27930 vsize=51612 CPUtime=46.49 cores=1,3,5,7
/proc/28254/stat : 28254 (bsolo_pb10) R 27930 28254 28254 0 -1 4202496 10803 0 0 0 4644 5 0 0 20 0 1 0 338080532 52850688 10477 33554432000 134512640 137138936 4287644256 4287643184 134542817 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/28254/statm: 12903 10477 192 642 0 12259 0
Current children cumulated CPU time (s) 612.99
Current children cumulated vsize (KiB) 188124

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

[startup+588.8 s]
/proc/loadavg: 2.11 2.16 2.11 3/179 28257
/proc/meminfo: memFree=28745004/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136512 CPUtime=566.78 cores=1,3,5,7
/proc/27930/stat : 27930 (python) S 27928 27930 22930 0 -1 4202496 41804 315379 0 2 2599 431 53192 456 20 0 1 0 338026954 139788288 6388 33554432000 4194304 4196484 140737401064432 140737401056192 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34128 6388 1180 1 0 5185 0
[pid=28254] ppid=27930 vsize=54648 CPUtime=52.99 cores=1,3,5,7
/proc/28254/stat : 28254 (bsolo_pb10) R 27930 28254 28254 0 -1 4202496 11537 0 0 0 5293 6 0 0 20 0 1 0 338080532 55959552 11211 33554432000 134512640 137138936 4287644256 4287643152 134542516 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/28254/statm: 13662 11211 192 642 0 13018 0
Current children cumulated CPU time (s) 619.77
Current children cumulated vsize (KiB) 191160

[startup+614.4 s]
/proc/loadavg: 2.07 2.14 2.10 3/179 28257
/proc/meminfo: memFree=28712412/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136512 CPUtime=567.94 cores=1,3,5,7
/proc/27930/stat : 27930 (python) S 27928 27930 22930 0 -1 4202496 41815 315379 0 2 2698 448 53192 456 20 0 1 0 338026954 139788288 6388 33554432000 4194304 4196484 140737401064432 140737401056192 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34128 6388 1180 1 0 5185 0
[pid=28254] ppid=27930 vsize=65636 CPUtime=78.58 cores=1,3,5,7
/proc/28254/stat : 28254 (bsolo_pb10) R 27930 28254 28254 0 -1 4202496 14314 0 0 0 7850 8 0 0 20 0 1 0 338080532 67211264 13974 33554432000 134512640 137138936 4287644256 4287643176 135984569 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/28254/statm: 16409 13974 192 642 0 15765 0
Current children cumulated CPU time (s) 646.52
Current children cumulated vsize (KiB) 202148

[startup+627.2 s]
/proc/loadavg: 2.13 2.15 2.11 3/179 28257
/proc/meminfo: memFree=28697764/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136512 CPUtime=568.52 cores=1,3,5,7
/proc/27930/stat : 27930 (python) S 27928 27930 22930 0 -1 4202496 41820 315379 0 2 2749 455 53192 456 20 0 1 0 338026954 139788288 6388 33554432000 4194304 4196484 140737401064432 140737401056192 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34128 6388 1180 1 0 5185 0
[pid=28254] ppid=27930 vsize=70208 CPUtime=91.37 cores=1,3,5,7
/proc/28254/stat : 28254 (bsolo_pb10) R 27930 28254 28254 0 -1 4202496 15470 0 0 0 9129 8 0 0 20 0 1 0 338080532 71892992 15130 33554432000 134512640 137138936 4287644256 4287643184 134542249 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/28254/statm: 17552 15130 192 642 0 16908 0
Current children cumulated CPU time (s) 659.89
Current children cumulated vsize (KiB) 206720

[startup+633.6 s]
/proc/loadavg: 2.12 2.15 2.11 3/179 28257
/proc/meminfo: memFree=28689068/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136512 CPUtime=568.81 cores=1,3,5,7
/proc/27930/stat : 27930 (python) S 27928 27930 22930 0 -1 4202496 41822 315379 0 2 2773 460 53192 456 20 0 1 0 338026954 139788288 6388 33554432000 4194304 4196484 140737401064432 140737401056192 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34128 6388 1180 1 0 5185 0
[pid=28254] ppid=27930 vsize=72760 CPUtime=97.78 cores=1,3,5,7
/proc/28254/stat : 28254 (bsolo_pb10) R 27930 28254 28254 0 -1 4202496 16102 0 0 0 9769 9 0 0 20 0 1 0 338080532 74506240 15762 33554432000 134512640 137138936 4287644256 4287643184 134542233 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/28254/statm: 18190 15762 192 642 0 17546 0
Current children cumulated CPU time (s) 666.59
Current children cumulated vsize (KiB) 209272

[startup+636.8 s]
/proc/loadavg: 2.12 2.15 2.11 3/179 28257
/proc/meminfo: memFree=28686340/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136644 CPUtime=669.91 cores=1,3,5,7
/proc/27930/stat : 27930 (python) S 27928 27930 22930 0 -1 4202496 50598 342392 0 2 2845 472 63203 471 20 0 1 0 338026954 139923456 6392 33554432000 4194304 4196484 140737401064432 140737401054400 233224335390 0 0 16781312 2 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34161 6392 1180 1 0 5218 0
Current children cumulated CPU time (s) 669.91
Current children cumulated vsize (KiB) 136644

[startup+637.6 s]
/proc/loadavg: 2.11 2.15 2.10 3/179 28281
/proc/meminfo: memFree=28748508/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136644 CPUtime=670.71 cores=1,3,5,7
/proc/27930/stat : 27930 (python) R 27928 27930 22930 0 -1 4202496 60117 353128 0 2 2910 479 63206 476 20 0 1 0 338026954 139923456 6395 33554432000 4194304 4196484 140737401064432 140737401056192 233220989879 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34162 6395 1180 1 0 5219 0
Current children cumulated CPU time (s) 670.71
Current children cumulated vsize (KiB) 136644

[startup+638.4 s]
/proc/loadavg: 2.11 2.15 2.10 3/179 28311
/proc/meminfo: memFree=28747268/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136644 CPUtime=671.51 cores=1,3,5,7
/proc/27930/stat : 27930 (python) R 27928 27930 22930 0 -1 4202496 68781 363434 0 2 2973 489 63209 480 20 0 1 0 338026954 139923456 6400 33554432000 4194304 4196484 140737401064432 140737401056192 233220948880 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34161 6400 1180 1 0 5218 0
Current children cumulated CPU time (s) 671.51
Current children cumulated vsize (KiB) 136644

[startup+638.6 s]
/proc/loadavg: 2.11 2.15 2.10 3/179 28311
/proc/meminfo: memFree=28747268/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136640 CPUtime=671.73 cores=1,3,5,7
/proc/27930/stat : 27930 (python) R 27928 27930 22930 0 -1 4202496 70752 366358 0 2 2989 492 63210 482 20 0 1 0 338026954 139919360 6401 33554432000 4194304 4196484 140737401064432 140737401056968 140123135873891 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34160 6401 1180 1 0 5217 0
Current children cumulated CPU time (s) 671.73
Current children cumulated vsize (KiB) 136640

[startup+638.7 s]
/proc/loadavg: 2.11 2.15 2.10 3/179 28311
/proc/meminfo: memFree=28747268/32873844 swapFree=7120/7120
[pid=27930] ppid=27928 vsize=136644 CPUtime=671.82 cores=1,3,5,7
/proc/27930/stat : 27930 (python) R 27928 27930 22930 0 -1 4202496 71328 366887 0 2 2997 493 63210 482 20 0 1 0 338026954 139923456 6402 33554432000 4194304 4196484 140737401064432 140737401054400 233224335390 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/27930/statm: 34161 6402 1180 1 0 5218 0
Current children cumulated CPU time (s) 671.82
Current children cumulated vsize (KiB) 136644

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.019989
#  lost CPU user time (s): 0.179993
#  lost CPU system time (s): -0.16

Real time (s): 638.741
CPU time (s): 671.901
CPU user time (s): 662.292
CPU system time (s): 9.60851
CPU usage (%): 105.191
Max. virtual memory (cumulated for all children) (KiB): 2851652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 662.112
system time used= 9.76851
maximum resident set size= 601084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443960
page faults= 2
swaps= 0
block input operations= 0
block output operations= 288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7325
involuntary context switches= 3095

runsolver used 1.67774 second user time and 4.88426 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-03 12:23:41
IDJOB=3738052
IDBENCH=48377
IDSOLVER=2323
FILE ID=node142/3738052-1338719020
RUNJOBID= node142-1338713724-22947
PBS_JOBID= 14636740
Free space on /tmp= 71172 MiB

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

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

MD5SUM BENCH= 97892b1b250c8711791b219b8ddda703
RANDOM SEED=2044483726

node142.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.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
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.776
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.776
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	: 5391.91
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.776
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.92
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.776
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.90
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.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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.776
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.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28180576 kB
Buffers:          334332 kB
Cached:          2842972 kB
SwapCached:            0 kB
Active:          1948792 kB
Inactive:        1909996 kB
Active(anon):     672928 kB
Inactive(anon):    11220 kB
Active(file):    1275864 kB
Inactive(file):  1898776 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             22188 kB
Writeback:             0 kB
AnonPages:        698608 kB
Mapped:            22256 kB
Shmem:               200 kB
Slab:             683388 kB
SReclaimable:     124392 kB
SUnreclaim:       558996 kB
KernelStack:        1632 kB
PageTables:         6164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1538636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    641024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71148 MiB
End job on node142 at 2012-06-03 12:34:20