Trace number 2675925

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
borg-pb 10.05.30? 696.582 646.098

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_5_15.opb
MD5SUM22b768493fb377a7ad184ec8975ae3ca
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark4.91825
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75000
Sum of products size (including duplicates)150000
Number of different products37500
Sum of products size75000

Solver Data 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2675925-1277135812/watcher-2675925-1277135812 -o /tmp/evaluation-result-2675925-1277135812/solver-2675925-1277135812 -C 1800 -W 2000 -M 1800 solver HOME/instance-2675925-1277135812.opb 133234492 

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


[startup+0 s]
/proc/loadavg: 1.05 1.04 0.92 3/106 10934
/proc/meminfo: memFree=1515272/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=16708 CPUtime=0
/proc/10934/stat : 10934 (python) R 10932 10934 10454 0 -1 4202496 731 0 0 0 0 0 0 0 20 0 1 0 54876615 17108992 497 1992294400 4194304 4196484 140734695394928 18446744073709551615 257906127557 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10934/statm: 4177 498 272 1 0 273 0

[startup+0.074532 s]
/proc/loadavg: 1.05 1.04 0.92 3/106 10934
/proc/meminfo: memFree=1515272/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=21012 CPUtime=0.05
/proc/10934/stat : 10934 (python) S 10932 10934 10454 0 -1 4202496 2138 0 0 0 3 2 0 0 20 0 1 0 54876615 21516288 1132 1992294400 4194304 4196484 140735277666512 18446744073709551615 257906464768 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 0
/proc/10934/statm: 5253 1132 440 1 0 716 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21012

[startup+0.104976 s]
/proc/loadavg: 1.05 1.04 0.92 3/106 10934
/proc/meminfo: memFree=1515272/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=34212 CPUtime=0.09
/proc/10934/stat : 10934 (python) R 10932 10934 10454 0 -1 4202496 2420 0 0 0 5 4 0 0 20 0 1 0 54876615 35033088 1393 1992294400 4194304 4196484 140735277666512 18446744073709551615 47901204085186 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10934/statm: 8553 1393 462 1 0 910 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34212

[startup+0.300965 s]
/proc/loadavg: 1.05 1.04 0.92 3/106 10934
/proc/meminfo: memFree=1515272/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=71500 CPUtime=0.26
/proc/10934/stat : 10934 (python) R 10932 10934 10454 0 -1 4202496 4193 0 0 0 17 9 0 0 20 0 1 0 54876615 73216000 2987 1992294400 4194304 4196484 140735277666512 18446744073709551615 47901204481352 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10934/statm: 17875 2987 695 1 0 2362 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 71500

[startup+0.700944 s]
/proc/loadavg: 1.05 1.04 0.92 3/106 10934
/proc/meminfo: memFree=1515272/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=104292 CPUtime=0.61
/proc/10934/stat : 10934 (python) R 10932 10934 10454 0 -1 4202496 6162 928 0 0 41 20 0 0 18 0 1 0 54876615 106795008 4405 1992294400 4194304 4196484 140735277666512 18446744073709551615 47901204750324 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10934/statm: 26073 4405 1028 1 0 3414 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 104292

[startup+1.5009 s]
/proc/loadavg: 1.04 1.04 0.92 2/107 10939
/proc/meminfo: memFree=1495424/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134108 CPUtime=1.31
/proc/10934/stat : 10934 (python) R 10932 10934 10454 0 -1 4202496 11538 2377 0 0 96 33 0 2 18 0 1 0 54876615 137326592 6328 1992294400 4194304 4196484 140735277666512 18446744073709551615 47901204092421 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10934/statm: 33527 6328 1143 1 0 5164 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 134108

[startup+3.10082 s]
/proc/loadavg: 1.04 1.04 0.92 2/108 10946
/proc/meminfo: memFree=1478304/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134108 CPUtime=1.77
/proc/10934/stat : 10934 (python) R 10932 10934 10454 0 -1 4202496 12698 3815 0 0 134 39 1 3 15 0 1 0 54876615 137326592 6331 1992294400 4194304 4196484 140735277666512 18446744073709551615 47901247833424 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10934/statm: 33527 6331 1143 1 0 5164 0
[pid=10946] ppid=10934 vsize=20528 CPUtime=1.39
/proc/10946/stat : 10946 (wbo1.4a) R 10934 10946 10946 0 -1 4202496 4909 0 0 0 132 7 0 0 23 0 1 0 54876784 21020672 4163 1992294400 134512640 135751879 4286893792 18446744073709551615 134611200 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10946/statm: 5132 4163 138 303 0 4827 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 154636

[startup+6.30065 s]
/proc/loadavg: 1.12 1.05 0.93 2/108 10946
/proc/meminfo: memFree=1476940/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134108 CPUtime=1.99
/proc/10934/stat : 10934 (python) R 10932 10934 10454 0 -1 4202496 12709 3815 0 0 154 41 1 3 15 0 1 0 54876615 137326592 6331 1992294400 4194304 4196484 140735277666512 18446744073709551615 47901204750806 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10934/statm: 33527 6331 1143 1 0 5164 0
[pid=10946] ppid=10934 vsize=21188 CPUtime=4.57
/proc/10946/stat : 10946 (wbo1.4a) R 10934 10946 10946 0 -1 4202496 5086 0 0 0 448 9 0 0 25 0 1 0 54876784 21696512 4340 1992294400 134512640 135751879 4286893792 18446744073709551615 134616495 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10946/statm: 5297 4340 139 303 0 4992 0
Current children cumulated CPU time (s) 6.56
Current children cumulated vsize (KiB) 155296

[startup+12.7013 s]
/proc/loadavg: 1.11 1.05 0.93 2/108 10946
/proc/meminfo: memFree=1461688/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134108 CPUtime=2.68
/proc/10934/stat : 10934 (python) S 10932 10934 10454 0 -1 4202496 12729 3815 0 0 216 48 1 3 15 0 1 0 54876615 137326592 6331 1992294400 4194304 4196484 140735277666512 18446744073709551615 257906486799 0 0 16781312 2 159688670771686288 0 0 17 0 0 0 0
/proc/10934/statm: 33527 6331 1143 1 0 5164 0
[pid=10946] ppid=10934 vsize=39404 CPUtime=10.93
/proc/10946/stat : 10946 (wbo1.4a) R 10934 10946 10946 0 -1 4202496 9628 0 0 0 1082 11 0 0 25 0 1 0 54876784 40349696 8882 1992294400 134512640 135751879 4286893792 18446744073709551615 134516986 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10946/statm: 9851 8882 139 303 0 9546 0
Current children cumulated CPU time (s) 13.61
Current children cumulated vsize (KiB) 173512

[startup+25.5006 s]
/proc/loadavg: 1.08 1.05 0.93 2/108 10946
/proc/meminfo: memFree=1420520/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134108 CPUtime=3.69
/proc/10934/stat : 10934 (python) S 10932 10934 10454 0 -1 4202496 12761 3815 0 0 306 59 1 3 15 0 1 0 54876615 137326592 6331 1992294400 4194304 4196484 140735277666512 18446744073709551615 257906486799 0 0 16781312 2 159688670771686288 0 0 17 0 0 0 0
/proc/10934/statm: 33527 6331 1143 1 0 5164 0
[pid=10946] ppid=10934 vsize=80080 CPUtime=23.66
/proc/10946/stat : 10946 (wbo1.4a) R 10934 10946 10946 0 -1 4202496 19785 0 0 0 2347 19 0 0 25 0 1 0 54876784 82001920 19039 1992294400 134512640 135751879 4286893792 18446744073709551615 134516976 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10946/statm: 20020 19039 139 303 0 19715 0
Current children cumulated CPU time (s) 27.35
Current children cumulated vsize (KiB) 214188

[startup+51.1003 s]
/proc/loadavg: 1.14 1.06 0.93 2/108 10946
/proc/meminfo: memFree=1372284/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134108 CPUtime=5.57
/proc/10934/stat : 10934 (python) S 10932 10934 10454 0 -1 4202496 12802 3815 0 0 475 78 1 3 16 0 1 0 54876615 137326592 6331 1992294400 4194304 4196484 140735277666512 18446744073709551615 257906486799 0 0 16781312 2 159688670771686288 0 0 17 0 0 0 0
/proc/10934/statm: 33527 6331 1143 1 0 5164 0
[pid=10946] ppid=10934 vsize=126668 CPUtime=49.1
/proc/10946/stat : 10946 (wbo1.4a) R 10934 10946 10946 0 -1 4202496 31421 0 0 0 4883 27 0 0 25 0 1 0 54876784 129708032 30675 1992294400 134512640 135751879 4286893792 18446744073709551615 134517414 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10946/statm: 31667 30675 139 303 0 31362 0
Current children cumulated CPU time (s) 54.67
Current children cumulated vsize (KiB) 260776

[startup+102.309 s]
/proc/loadavg: 1.18 1.08 0.94 2/108 10954
/proc/meminfo: memFree=1371912/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134108 CPUtime=60.75
/proc/10934/stat : 10934 (python) S 10932 10934 10454 0 -1 4202496 15261 39283 0 0 868 125 5045 37 15 0 1 0 54876615 137326592 6333 1992294400 4194304 4196484 140735277666512 18446744073709551615 257906486799 0 0 16781312 2 159688670771686288 0 0 17 0 0 0 0
/proc/10934/statm: 33527 6333 1143 1 0 5164 0
[pid=10952] ppid=10934 vsize=126664 CPUtime=49
/proc/10952/stat : 10952 (wbo1.4a) R 10934 10952 10952 0 -1 4202496 31419 0 0 0 4874 26 0 0 25 0 1 0 54881914 129703936 30673 1992294400 134512640 135751879 4287328528 18446744073709551615 134616545 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10952/statm: 31666 30673 139 303 0 31361 0
Current children cumulated CPU time (s) 109.75
Current children cumulated vsize (KiB) 260772

[startup+162.3 s]
/proc/loadavg: 1.26 1.11 0.96 2/108 10959
/proc/meminfo: memFree=1469872/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134108 CPUtime=166.53
/proc/10934/stat : 10934 (python) S 10932 10934 10454 0 -1 4202496 16509 87628 0 0 1301 175 15097 80 15 0 1 0 54876615 137326592 6335 1992294400 4194304 4196484 140735277666512 18446744073709551615 257906486799 0 0 16781312 2 159688670771686288 0 0 17 0 0 0 0
/proc/10934/statm: 33527 6335 1143 1 0 5164 0
[pid=10959] ppid=10934 vsize=29604 CPUtime=7.6
/proc/10959/stat : 10959 (wbo1.4b) R 10934 10959 10959 0 -1 4202496 9566 0 0 0 750 10 0 0 25 0 1 0 54892079 30314496 6369 1992294400 134512640 135751879 4286947888 18446744073709551615 134616514 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10959/statm: 7401 6369 143 303 0 7096 0
Current children cumulated CPU time (s) 174.13
Current children cumulated vsize (KiB) 163712

[startup+222.301 s]
/proc/loadavg: 1.22 1.12 0.97 2/119 10975
/proc/meminfo: memFree=1455900/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134108 CPUtime=221.6
/proc/10934/stat : 10934 (python) S 10932 10934 10454 0 -1 4202496 17820 123450 0 0 1724 224 20100 112 15 0 1 0 54876615 137326592 6336 1992294400 4194304 4196484 140735277666512 18446744073709551615 257906486799 0 0 16781312 2 159836005329808272 0 0 17 1 0 0 0
/proc/10934/statm: 33527 6336 1143 1 0 5164 0
[pid=10962] ppid=10934 vsize=1477196 CPUtime=17.66
/proc/10962/stat : 10962 (java) S 10934 10962 10962 0 -1 4202496 12200 0 1 0 1757 9 0 0 15 0 12 0 54897149 1512648704 10924 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10962/statm: 369299 10924 1416 10 0 366601 0
[pid=10962/tid=10963] ppid=10934 vsize=1477196 CPUtime=16.74
/proc/10962/task/10963/stat : 10963 (java) R 10934 10962 10962 0 -1 4202560 8990 0 1 0 1667 7 0 0 25 0 12 0 54897151 1512648704 10924 1992294400 134512640 134550932 4293094192 18446744073709551615 4109514373 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10962/tid=10964] ppid=10934 vsize=1477196 CPUtime=0
/proc/10962/task/10964/stat : 10964 (java) S 10934 10962 10962 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 54897152 1512648704 10924 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 4 0 16800975 18446604437844944768 0 0 -1 1 0 0 0
[pid=10962/tid=10965] ppid=10934 vsize=1477196 CPUtime=0
/proc/10962/task/10965/stat : 10965 (java) S 10934 10962 10962 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 54897152 1512648704 10924 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 4 0 16800975 18446604437844944768 0 0 -1 1 0 0 0
[pid=10962/tid=10966] ppid=10934 vsize=1477196 CPUtime=0
/proc/10962/task/10966/stat : 10966 (java) S 10934 10962 10962 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54897154 1512648704 10924 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 0 0 16800975 18446604437844944768 0 0 -1 0 0 0 0
[pid=10962/tid=10967] ppid=10934 vsize=1477196 CPUtime=0
/proc/10962/task/10967/stat : 10967 (java) S 10934 10962 10962 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 54897154 1512648704 10924 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 4 0 16800975 18446604437844944768 0 0 -1 0 0 0 0
[pid=10962/tid=10968] ppid=10934 vsize=1477196 CPUtime=0
/proc/10962/task/10968/stat : 10968 (java) S 10934 10962 10962 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 54897154 1512648704 10924 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 4 0 16800975 18446604437844944768 0 0 -1 0 0 0 0
[pid=10962/tid=10969] ppid=10934 vsize=1477196 CPUtime=0
/proc/10962/task/10969/stat : 10969 (java) S 10934 10962 10962 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 54897159 1512648704 10924 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 4 0 16800975 18446604437844944768 0 0 -1 0 0 0 0
[pid=10962/tid=10970] ppid=10934 vsize=1477196 CPUtime=0.36
/proc/10962/task/10970/stat : 10970 (java) S 10934 10962 10962 0 -1 4202560 574 0 0 0 36 0 0 0 15 0 12 0 54897159 1512648704 10924 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 4 0 16800975 18446604437844944768 0 0 -1 0 0 0 0
[pid=10962/tid=10971] ppid=10934 vsize=1477196 CPUtime=0.53
/proc/10962/task/10971/stat : 10971 (java) R 10934 10962 10962 0 -1 4202560 1277 0 0 0 53 0 0 0 15 0 12 0 54897159 1512648704 10924 1992294400 134512640 134550932 4293094192 18446744073709551615 103153776 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10962/tid=10972] ppid=10934 vsize=1477196 CPUtime=0
/proc/10962/task/10972/stat : 10972 (java) S 10934 10962 10962 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 54897159 1512648704 10924 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 4 0 16800975 18446604437844944768 0 0 -1 0 0 0 0
[pid=10962/tid=10973] ppid=10934 vsize=1477196 CPUtime=0
/proc/10962/task/10973/stat : 10973 (java) S 10934 10962 10962 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 54897159 1512648704 10924 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 4 0 16800975 18446604437844944768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 239.26
Current children cumulated vsize (KiB) 1611304

[startup+282.301 s]
/proc/loadavg: 1.17 1.12 0.98 2/119 10984
/proc/meminfo: memFree=1422048/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134108 CPUtime=226.23
/proc/10934/stat : 10934 (python) S 10932 10934 10454 0 -1 4202496 17901 123450 0 0 2141 270 20100 112 15 0 1 0 54876615 137326592 6336 1992294400 4194304 4196484 140735277666512 18446744073709551615 257906486799 0 0 16781312 2 159836005329808272 0 0 17 1 0 0 0
/proc/10934/statm: 33527 6336 1143 1 0 5164 0
[pid=10962] ppid=10934 vsize=1477196 CPUtime=77.79
/proc/10962/stat : 10962 (java) S 10934 10962 10962 0 -1 4202496 20475 0 1 0 7762 17 0 0 15 0 12 0 54897149 1512648704 19192 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10962/statm: 369299 19192 1417 10 0 366601 0
[pid=10962/tid=10963] ppid=10934 vsize=1477196 CPUtime=76.54
/proc/10962/task/10963/stat : 10963 (java) R 10934 10962 10962 0 -1 4202560 17235 0 1 0 7640 14 0 0 25 0 12 0 54897151 1512648704 19192 1992294400 134512640 134550932 4293094192 18446744073709551615 4109514593 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10962/tid=10964] ppid=10934 vsize=1477196 CPUtime=0
/proc/10962/task/10964/stat : 10964 (java) S 10934 10962 10962 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 54897152 1512648704 19192 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 4 0 16800975 18446604437844944768 0 0 -1 1 0 0 0
[pid=10962/tid=10965] ppid=10934 vsize=1477196 CPUtime=0
/proc/10962/task/10965/stat : 10965 (java) S 10934 10962 10962 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 54897152 1512648704 19192 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 4 0 16800975 18446604437844944768 0 0 -1 1 0 0 0
[pid=10962/tid=10966] ppid=10934 vsize=1477196 CPUtime=0
/proc/10962/task/10966/stat : 10966 (java) S 10934 10962 10962 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54897154 1512648704 19192 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 0 0 16800975 18446604437844944768 0 0 -1 0 0 0 0
[pid=10962/tid=10967] ppid=10934 vsize=1477196 CPUtime=0
/proc/10962/task/10967/stat : 10967 (java) S 10934 10962 10962 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 54897154 1512648704 19192 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 4 0 16800975 18446604437844944768 0 0 -1 0 0 0 0
[pid=10962/tid=10968] ppid=10934 vsize=1477196 CPUtime=0
/proc/10962/task/10968/stat : 10968 (java) S 10934 10962 10962 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 54897154 1512648704 19192 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 4 0 16800975 18446604437844944768 0 0 -1 0 0 0 0
[pid=10962/tid=10969] ppid=10934 vsize=1477196 CPUtime=0
/proc/10962/task/10969/stat : 10969 (java) S 10934 10962 10962 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 54897159 1512648704 19192 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 4 0 16800975 18446604437844944768 0 0 -1 0 0 0 0
[pid=10962/tid=10970] ppid=10934 vsize=1477196 CPUtime=0.51
/proc/10962/task/10970/stat : 10970 (java) S 10934 10962 10962 0 -1 4202560 585 0 0 0 51 0 0 0 16 0 12 0 54897159 1512648704 19192 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 4 0 16800975 18446604437844944768 0 0 -1 1 0 0 0
[pid=10962/tid=10971] ppid=10934 vsize=1477196 CPUtime=0.69
/proc/10962/task/10971/stat : 10971 (java) S 10934 10962 10962 0 -1 4202560 1292 0 0 0 69 0 0 0 16 0 12 0 54897159 1512648704 19192 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 4 0 16800975 18446604437844944768 0 0 -1 0 0 0 0
[pid=10962/tid=10972] ppid=10934 vsize=1477196 CPUtime=0
/proc/10962/task/10972/stat : 10972 (java) S 10934 10962 10962 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 54897159 1512648704 19192 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 4 0 16800975 18446604437844944768 0 0 -1 0 0 0 0
[pid=10962/tid=10973] ppid=10934 vsize=1477196 CPUtime=0
/proc/10962/task/10973/stat : 10973 (java) S 10934 10962 10962 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 12 0 54897159 1512648704 19192 1992294400 134512640 134550932 4293094192 18446744073709551615 4294960144 0 4 0 16800975 18446604437844944768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 304.02
Current children cumulated vsize (KiB) 1611304

[startup+342.307 s]
/proc/loadavg: 1.14 1.13 0.99 2/108 10989
/proc/meminfo: memFree=1398576/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134108 CPUtime=331.66
/proc/10934/stat : 10934 (python) R 10932 10934 10454 0 -1 4202496 19213 147272 0 1 2593 320 30119 134 15 0 1 0 54876615 137326592 6338 1992294400 4194304 4196484 140735277666512 18446744073709551615 47901203849696 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10934/statm: 33527 6338 1143 1 0 5164 0
[pid=10989] ppid=10934 vsize=100956 CPUtime=37.31
/proc/10989/stat : 10989 (wbo1.4b) R 10934 10989 10989 0 -1 4202496 27390 0 0 0 3707 24 0 0 25 0 1 0 54907112 103378944 24188 1992294400 134512640 135751879 4290625056 18446744073709551615 134606336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10989/statm: 25239 24188 144 303 0 24934 0
Current children cumulated CPU time (s) 368.97
Current children cumulated vsize (KiB) 235064

[startup+402.301 s]
/proc/loadavg: 1.13 1.13 1.00 2/108 10991
/proc/meminfo: memFree=1306320/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134108 CPUtime=336.29
/proc/10934/stat : 10934 (python) S 10932 10934 10454 0 -1 4202496 19245 147272 0 1 3012 364 30119 134 15 0 1 0 54876615 137326592 6338 1992294400 4194304 4196484 140735277666512 18446744073709551615 257906486799 0 0 16781312 2 159836005329808272 0 0 17 1 0 0 0
/proc/10934/statm: 33527 6338 1143 1 0 5164 0
[pid=10989] ppid=10934 vsize=195128 CPUtime=97.29
/proc/10989/stat : 10989 (wbo1.4b) R 10934 10989 10989 0 -1 4202496 50876 0 0 0 9685 44 0 0 25 0 1 0 54907112 199811072 47674 1992294400 134512640 135751879 4290625056 18446744073709551615 134610137 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10989/statm: 48782 47674 144 303 0 48477 0
Current children cumulated CPU time (s) 433.58
Current children cumulated vsize (KiB) 329236

[startup+462.301 s]
/proc/loadavg: 1.12 1.12 1.00 2/108 11005
/proc/meminfo: memFree=1475084/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134108 CPUtime=492.87
/proc/10934/stat : 10934 (python) R 10932 10934 10454 0 -1 4202496 24177 215237 0 1 3477 421 45196 193 15 0 1 0 54876615 137326592 6342 1992294400 4194304 4196484 140735277666512 18446744073709551615 47901204108655 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10934/statm: 33528 6342 1143 1 0 5165 0
[pid=11005] ppid=10934 vsize=25808 CPUtime=5.16
/proc/11005/stat : 11005 (wbo1.4a) R 10934 11005 11005 0 -1 4202496 6245 0 0 0 509 7 0 0 25 0 1 0 54922324 26427392 5499 1992294400 134512640 135751879 4291951536 18446744073709551615 134516977 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11005/statm: 6452 5499 139 303 0 6147 0
Current children cumulated CPU time (s) 498.03
Current children cumulated vsize (KiB) 159916

[startup+522.302 s]
/proc/loadavg: 1.07 1.11 1.00 2/119 11039
/proc/meminfo: memFree=1439284/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134108 CPUtime=519.52
/proc/10934/stat : 10934 (python) S 10932 10934 10454 0 -1 4202496 32695 244866 0 1 3976 483 47273 220 15 0 1 0 54876615 137326592 6345 1992294400 4194304 4196484 140735277666512 18446744073709551615 257906486799 0 0 16781312 2 159688670771686288 0 0 17 0 0 0 0
/proc/10934/statm: 33527 6345 1143 1 0 5164 0
[pid=11026] ppid=10934 vsize=1478724 CPUtime=43.71
/proc/11026/stat : 11026 (java) S 10934 11026 11026 0 -1 4202496 16490 0 1 0 4360 11 0 0 15 0 12 0 54924539 1514213376 14979 1992294400 134512640 134550932 4294591440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11026/statm: 369681 14979 1417 10 0 366983 0
[pid=11026/tid=11027] ppid=10934 vsize=1478724 CPUtime=42.45
/proc/11026/task/11027/stat : 11027 (java) R 10934 11026 11026 0 -1 4202560 12859 0 1 0 4236 9 0 0 25 0 12 0 54924541 1514213376 14979 1992294400 134512640 134550932 4294591440 18446744073709551615 4109693456 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11026/tid=11028] ppid=10934 vsize=1478724 CPUtime=0
/proc/11026/task/11028/stat : 11028 (java) S 10934 11026 11026 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 54924542 1514213376 14979 1992294400 134512640 134550932 4294591440 18446744073709551615 4294960144 0 4 0 16800975 18446604435774114496 0 0 -1 1 0 0 0
[pid=11026/tid=11029] ppid=10934 vsize=1478724 CPUtime=0
/proc/11026/task/11029/stat : 11029 (java) S 10934 11026 11026 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 54924542 1514213376 14979 1992294400 134512640 134550932 4294591440 18446744073709551615 4294960144 0 4 0 16800975 18446604435774114496 0 0 -1 1 0 0 0
[pid=11026/tid=11030] ppid=10934 vsize=1478724 CPUtime=0
/proc/11026/task/11030/stat : 11030 (java) S 10934 11026 11026 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54924544 1514213376 14979 1992294400 134512640 134550932 4294591440 18446744073709551615 4294960144 0 0 0 16800975 18446604435774114496 0 0 -1 0 0 0 0
[pid=11026/tid=11031] ppid=10934 vsize=1478724 CPUtime=0
/proc/11026/task/11031/stat : 11031 (java) S 10934 11026 11026 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 54924544 1514213376 14979 1992294400 134512640 134550932 4294591440 18446744073709551615 4294960144 0 4 0 16800975 18446604435774114496 0 0 -1 0 0 0 0
[pid=11026/tid=11032] ppid=10934 vsize=1478724 CPUtime=0
/proc/11026/task/11032/stat : 11032 (java) S 10934 11026 11026 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 54924544 1514213376 14979 1992294400 134512640 134550932 4294591440 18446744073709551615 4294960144 0 4 0 16800975 18446604435774114496 0 0 -1 0 0 0 0
[pid=11026/tid=11033] ppid=10934 vsize=1478724 CPUtime=0
/proc/11026/task/11033/stat : 11033 (java) S 10934 11026 11026 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 54924549 1514213376 14979 1992294400 134512640 134550932 4294591440 18446744073709551615 4294960144 0 4 0 16800975 18446604435774114496 0 0 -1 0 0 0 0
[pid=11026/tid=11034] ppid=10934 vsize=1478724 CPUtime=0.63
/proc/11026/task/11034/stat : 11034 (java) S 10934 11026 11026 0 -1 4202560 1178 0 0 0 63 0 0 0 16 0 12 0 54924549 1514213376 14979 1992294400 134512640 134550932 4294591440 18446744073709551615 4294960144 0 4 0 16800975 18446604435774114496 0 0 -1 0 0 0 0
[pid=11026/tid=11035] ppid=10934 vsize=1478724 CPUtime=0.59
/proc/11026/task/11035/stat : 11035 (java) S 10934 11026 11026 0 -1 4202560 1095 0 0 0 59 0 0 0 16 0 12 0 54924549 1514213376 14979 1992294400 134512640 134550932 4294591440 18446744073709551615 4294960144 0 4 0 16800975 18446604435774114496 0 0 -1 1 0 0 0
[pid=11026/tid=11036] ppid=10934 vsize=1478724 CPUtime=0
/proc/11026/task/11036/stat : 11036 (java) S 10934 11026 11026 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 54924549 1514213376 14979 1992294400 134512640 134550932 4294591440 18446744073709551615 4294960144 0 4 0 16800975 18446604435774114496 0 0 -1 0 0 0 0
[pid=11026/tid=11037] ppid=10934 vsize=1478724 CPUtime=0
/proc/11026/task/11037/stat : 11037 (java) S 10934 11026 11026 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54924549 1514213376 14979 1992294400 134512640 134550932 4294591440 18446744073709551615 4294960144 0 4 0 16800975 18446604435774114496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 563.23
Current children cumulated vsize (KiB) 1612832

[startup+582.301 s]
/proc/loadavg: 1.06 1.10 1.00 2/108 11060
/proc/meminfo: memFree=1452268/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134108 CPUtime=586.35
/proc/10934/stat : 10934 (python) S 10932 10934 10454 0 -1 4202496 41224 283146 0 2 4525 547 53306 257 15 0 1 0 54876615 137326592 6346 1992294400 4194304 4196484 140735277666512 18446744073709551615 257906486799 0 0 16781312 2 159836005329808272 0 0 17 1 0 0 0
/proc/10934/statm: 33527 6346 1143 1 0 5164 0
[pid=11060] ppid=10934 vsize=52424 CPUtime=41.85
/proc/11060/stat : 11060 (bsolo_pb10) R 10934 11060 11060 0 -1 4202496 11157 0 0 0 4179 6 0 0 25 0 1 0 54930658 53682176 10421 1992294400 134512640 137138936 4288443056 18446744073709551615 136500283 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/11060/statm: 13106 10421 185 642 0 12462 0
Current children cumulated CPU time (s) 628.2
Current children cumulated vsize (KiB) 186532

[startup+642.301 s]
/proc/loadavg: 1.09 1.10 1.00 2/108 11083
/proc/meminfo: memFree=1492072/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134108 CPUtime=692.73
/proc/10934/stat : 10934 (python) R 10932 10934 10454 0 -1 4202496 49648 304275 0 2 5050 603 63342 278 19 0 1 0 54876615 137326592 6349 1992294400 4194304 4196484 140735277666512 18446744073709551615 257906462644 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10934/statm: 33527 6349 1143 1 0 5164 0
[pid=11083] ppid=10934 vsize=0 CPUtime=0
/proc/11083/stat : 11083 (clasp-1.3.3-x86) Z 10934 11083 11083 0 -1 4202524 544 0 0 0 0 0 0 0 18 0 1 0 54940836 0 0 1992294400 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 0 0 0 0
/proc/11083/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 692.73
Current children cumulated vsize (KiB) 134108

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

[startup+643.101 s]
/proc/loadavg: 1.09 1.10 1.00 2/108 11083
/proc/meminfo: memFree=1492072/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134108 CPUtime=693.53
/proc/10934/stat : 10934 (python) R 10932 10934 10454 0 -1 4202496 54496 310346 0 2 5111 612 63344 286 18 0 1 0 54876615 137326592 6350 1992294400 4194304 4196484 140735277666512 18446744073709551615 257906125612 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10934/statm: 33527 6350 1143 1 0 5164 0
Current children cumulated CPU time (s) 693.53
Current children cumulated vsize (KiB) 134108

[startup+644.701 s]
/proc/loadavg: 1.09 1.10 1.00 2/108 11113
/proc/meminfo: memFree=1492568/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134240 CPUtime=695.15
/proc/10934/stat : 10934 (python) R 10932 10934 10454 0 -1 4202496 63074 320886 0 2 5239 629 63350 297 19 0 1 0 54876615 137461760 6353 1992294400 4194304 4196484 140735277666512 18446744073709551615 47901204156288 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10934/statm: 33560 6353 1143 1 0 5197 0
Current children cumulated CPU time (s) 695.15
Current children cumulated vsize (KiB) 134240

[startup+645.501 s]
/proc/loadavg: 1.09 1.10 1.00 2/108 11113
/proc/meminfo: memFree=1492568/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134240 CPUtime=695.96
/proc/10934/stat : 10934 (python) R 10932 10934 10454 0 -1 4202496 67902 326838 0 2 5301 638 63353 304 18 0 1 0 54876615 137461760 6354 1992294400 4194304 4196484 140735277666512 18446744073709551615 47901204187218 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10934/statm: 33560 6354 1143 1 0 5197 0
Current children cumulated CPU time (s) 695.96
Current children cumulated vsize (KiB) 134240

[startup+645.901 s]
/proc/loadavg: 1.08 1.09 1.00 2/107 11130
/proc/meminfo: memFree=1492568/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134240 CPUtime=696.36
/proc/10934/stat : 10934 (python) R 10932 10934 10454 0 -1 4202496 70307 329791 0 2 5331 643 63355 307 18 0 1 0 54876615 137461760 6355 1992294400 4194304 4196484 140735277666512 18446744073709551615 47901204031296 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10934/statm: 33560 6355 1143 1 0 5197 0
Current children cumulated CPU time (s) 696.36
Current children cumulated vsize (KiB) 134240

[startup+646.001 s]
/proc/loadavg: 1.08 1.09 1.00 2/107 11130
/proc/meminfo: memFree=1492568/2059040 swapFree=4162156/4192956
[pid=10934] ppid=10932 vsize=134240 CPUtime=696.46
/proc/10934/stat : 10934 (python) R 10932 10934 10454 0 -1 4202496 70314 329791 0 2 5340 644 63355 307 19 0 1 0 54876615 137461760 6355 1992294400 4194304 4196484 140735277666512 18446744073709551615 47901204099639 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10934/statm: 33560 6355 1143 1 0 5197 0
Current children cumulated CPU time (s) 696.46
Current children cumulated vsize (KiB) 134240

Child status: 0
Real time (s): 646.098
CPU time (s): 696.582
CPU user time (s): 687.034
CPU system time (s): 9.54855
CPU usage (%): 107.814
Max. virtual memory (cumulated for all children) (KiB): 1612836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 687.034
system time used= 9.54855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 406441
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6894
involuntary context switches= 16532

runsolver used 1.23481 second user time and 3.54246 second system time

The end

Launcher Data 

Begin job on node030 at 2010-06-21 17:56:52
IDJOB=2675925
IDBENCH=48368
IDSOLVER=1178
FILE ID=node030/2675925-1277135812
PBS_JOBID= 11182090
Free space on /tmp= 62548 MiB

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

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

MD5SUM BENCH= 22b768493fb377a7ad184ec8975ae3ca
RANDOM SEED=133234492

node030.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1515428 kB
Buffers:        122740 kB
Cached:         298112 kB
SwapCached:       1852 kB
Active:         232356 kB
Inactive:       220080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1515428 kB
SwapTotal:     4192956 kB
SwapFree:      4162156 kB
Dirty:           21884 kB
Writeback:           0 kB
AnonPages:       29696 kB
Mapped:          14144 kB
Slab:            69072 kB
PageTables:       4148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182852 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62528 MiB
End job on node030 at 2010-06-21 18:07:39