Trace number 2675870

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? 697.849 643.716

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_5_40.opb
MD5SUMc1794605d16cd8196553c490f5507fd9
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
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 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12452
Sum of products size (including duplicates)24904
Number of different products6226
Sum of products size12452

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

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.08 1.04 0.90 3/106 3367
/proc/meminfo: memFree=1399400/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=16708 CPUtime=0
/proc/3367/stat : 3367 (python) R 3365 3367 2740 0 -1 4202496 729 0 0 0 0 0 0 0 20 0 1 0 89154592 17108992 495 1992294400 4194304 4196484 140733734267568 18446744073709551615 213330886069 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3367/statm: 4177 497 272 1 0 273 0

[startup+0.0697341 s]
/proc/loadavg: 1.08 1.04 0.90 3/106 3367
/proc/meminfo: memFree=1399400/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=20600 CPUtime=0.05
/proc/3367/stat : 3367 (python) S 3365 3367 2740 0 -1 4202496 2100 0 0 0 3 2 0 0 18 0 1 0 89154592 21094400 1096 1992294400 4194304 4196484 140736124469488 18446744073709551615 213314721792 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 0
/proc/3367/statm: 5150 1096 434 1 0 613 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20600

[startup+0.102982 s]
/proc/loadavg: 1.08 1.04 0.90 3/106 3367
/proc/meminfo: memFree=1399400/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=34216 CPUtime=0.08
/proc/3367/stat : 3367 (python) R 3365 3367 2740 0 -1 4202496 2421 0 0 0 5 3 0 0 18 0 1 0 89154592 35037184 1394 1992294400 4194304 4196484 140736124469488 18446744073709551615 47325259746154 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3367/statm: 8554 1394 462 1 0 911 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34216

[startup+0.300978 s]
/proc/loadavg: 1.08 1.04 0.90 3/106 3367
/proc/meminfo: memFree=1399400/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=71508 CPUtime=0.26
/proc/3367/stat : 3367 (python) R 3365 3367 2740 0 -1 4202496 4194 0 0 0 19 7 0 0 18 0 1 0 89154592 73224192 2988 1992294400 4194304 4196484 140736124469488 18446744073709551615 47325259703588 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3367/statm: 17877 2988 695 1 0 2364 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 71508

[startup+0.700969 s]
/proc/loadavg: 1.08 1.04 0.90 3/106 3367
/proc/meminfo: memFree=1399400/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=104296 CPUtime=0.61
/proc/3367/stat : 3367 (python) R 3365 3367 2740 0 -1 4202496 6170 931 0 0 43 18 0 0 18 0 1 0 89154592 106799104 4406 1992294400 4194304 4196484 140736124469488 18446744073709551615 47325260628724 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3367/statm: 26074 4406 1028 1 0 3415 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 104296

[startup+1.50195 s]
/proc/loadavg: 1.08 1.04 0.90 1/107 3372
/proc/meminfo: memFree=1379552/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=134112 CPUtime=1.33
/proc/3367/stat : 3367 (python) R 3365 3367 2740 0 -1 4202496 11532 2379 0 0 97 34 1 1 18 0 1 0 89154592 137330688 6329 1992294400 4194304 4196484 140736124469488 18446744073709551615 213314719668 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3367/statm: 33528 6329 1143 1 0 5165 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 134112

[startup+3.10092 s]
/proc/loadavg: 1.08 1.04 0.90 3/108 3379
/proc/meminfo: memFree=1373344/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=134112 CPUtime=1.92
/proc/3367/stat : 3367 (python) S 3365 3367 2740 0 -1 4202496 12683 3813 0 0 146 41 2 3 15 0 1 0 89154592 137330688 6333 1992294400 4194304 4196484 140736124469488 18446744073709551615 213314743823 0 0 16781312 2 159836005329808138 0 0 17 1 0 0 0
/proc/3367/statm: 33528 6333 1143 1 0 5165 0
[pid=3379] ppid=3367 vsize=8996 CPUtime=1.4
/proc/3379/stat : 3379 (wbo1.4a) R 3367 3379 3379 0 -1 4202496 2137 0 0 0 138 2 0 0 23 0 1 0 89154761 9211904 1781 1992294400 134512640 135751879 4290595424 18446744073709551615 134616514 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/3379/statm: 2249 1781 139 303 0 1944 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 143108

[startup+6.30085 s]
/proc/loadavg: 1.07 1.04 0.90 2/108 3379
/proc/meminfo: memFree=1367888/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=134112 CPUtime=2.18
/proc/3367/stat : 3367 (python) S 3365 3367 2740 0 -1 4202496 12691 3813 0 0 170 43 2 3 16 0 1 0 89154592 137330688 6333 1992294400 4194304 4196484 140736124469488 18446744073709551615 213314743823 0 0 16781312 2 159836005329808138 0 0 17 1 0 0 0
/proc/3367/statm: 33528 6333 1143 1 0 5165 0
[pid=3379] ppid=3367 vsize=12744 CPUtime=4.6
/proc/3379/stat : 3379 (wbo1.4a) R 3367 3379 3379 0 -1 4202496 3063 0 0 0 457 3 0 0 25 0 1 0 89154761 13049856 2707 1992294400 134512640 135751879 4290595424 18446744073709551615 134616514 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/3379/statm: 3186 2707 139 303 0 2881 0
Current children cumulated CPU time (s) 6.78
Current children cumulated vsize (KiB) 146856

[startup+12.7007 s]
/proc/loadavg: 1.07 1.04 0.90 2/108 3379
/proc/meminfo: memFree=1362804/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=134112 CPUtime=2.75
/proc/3367/stat : 3367 (python) S 3365 3367 2740 0 -1 4202496 12704 3813 0 0 221 49 2 3 15 0 1 0 89154592 137330688 6333 1992294400 4194304 4196484 140736124469488 18446744073709551615 213314743823 0 0 16781312 2 159836005329808138 0 0 17 1 0 0 0
/proc/3367/statm: 33528 6333 1143 1 0 5165 0
[pid=3379] ppid=3367 vsize=17516 CPUtime=10.99
/proc/3379/stat : 3379 (wbo1.4a) R 3367 3379 3379 0 -1 4202496 4248 0 0 0 1094 5 0 0 25 0 1 0 89154761 17936384 3892 1992294400 134512640 135751879 4290595424 18446744073709551615 134616497 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/3379/statm: 4379 3892 139 303 0 4074 0
Current children cumulated CPU time (s) 13.74
Current children cumulated vsize (KiB) 151628

[startup+25.5004 s]
/proc/loadavg: 1.05 1.04 0.90 2/108 3379
/proc/meminfo: memFree=1356480/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=134112 CPUtime=3.79
/proc/3367/stat : 3367 (python) S 3365 3367 2740 0 -1 4202496 12734 3813 0 0 312 62 2 3 16 0 1 0 89154592 137330688 6333 1992294400 4194304 4196484 140736124469488 18446744073709551615 213314743823 0 0 16781312 2 159836005329808138 0 0 17 1 0 0 0
/proc/3367/statm: 33528 6333 1143 1 0 5165 0
[pid=3379] ppid=3367 vsize=23584 CPUtime=23.79
/proc/3379/stat : 3379 (wbo1.4a) R 3367 3379 3379 0 -1 4202496 5773 0 0 0 2370 9 0 0 25 0 1 0 89154761 24150016 5417 1992294400 134512640 135751879 4290595424 18446744073709551615 134616492 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/3379/statm: 5896 5417 139 303 0 5591 0
Current children cumulated CPU time (s) 27.58
Current children cumulated vsize (KiB) 157696

[startup+51.1009 s]
/proc/loadavg: 1.03 1.03 0.91 2/108 3381
/proc/meminfo: memFree=1341724/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=134112 CPUtime=5.86
/proc/3367/stat : 3367 (python) S 3365 3367 2740 0 -1 4202496 12773 3813 0 0 496 85 2 3 15 0 1 0 89154592 137330688 6333 1992294400 4194304 4196484 140736124469488 18446744073709551615 213314743823 0 0 16781312 2 159836005329808138 0 0 17 1 0 0 0
/proc/3367/statm: 33528 6333 1143 1 0 5165 0
[pid=3379] ppid=3367 vsize=39064 CPUtime=49.35
/proc/3379/stat : 3379 (wbo1.4a) R 3367 3379 3379 0 -1 4202496 9634 0 0 0 4920 15 0 0 25 0 1 0 89154761 40001536 9278 1992294400 134512640 135751879 4290595424 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/3379/statm: 9766 9278 139 303 0 9461 0
Current children cumulated CPU time (s) 55.21
Current children cumulated vsize (KiB) 173176

[startup+102.31 s]
/proc/loadavg: 1.09 1.04 0.91 2/108 3387
/proc/meminfo: memFree=1343584/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=134112 CPUtime=60.74
/proc/3367/stat : 3367 (python) S 3365 3367 2740 0 -1 4202496 15200 15984 0 0 900 132 5018 24 15 0 1 0 89154592 137330688 6334 1992294400 4194304 4196484 140736124469488 18446744073709551615 213314743823 0 0 16781312 2 159688670771686154 0 0 17 0 0 0 0
/proc/3367/statm: 33528 6334 1143 1 0 5165 0
[pid=3387] ppid=3367 vsize=37392 CPUtime=49.67
/proc/3387/stat : 3387 (wbo1.4a) R 3367 3387 3387 0 -1 4202496 9206 0 0 0 4952 15 0 0 25 0 1 0 89159823 38289408 8849 1992294400 134512640 135751879 4293528144 18446744073709551615 134616497 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/3387/statm: 9348 8849 139 303 0 9043 0
Current children cumulated CPU time (s) 110.41
Current children cumulated vsize (KiB) 171504

[startup+162.3 s]
/proc/loadavg: 1.09 1.05 0.92 2/108 3392
/proc/meminfo: memFree=1365160/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=134112 CPUtime=166.26
/proc/3367/stat : 3367 (python) S 3365 3367 2740 0 -1 4202496 16427 31982 0 0 1351 187 15038 50 15 0 1 0 89154592 137330688 6335 1992294400 4194304 4196484 140736124469488 18446744073709551615 213314743823 0 0 16781312 2 159688670771686154 0 0 17 0 0 0 0
/proc/3367/statm: 33528 6335 1143 1 0 5165 0
[pid=3392] ppid=3367 vsize=16012 CPUtime=8.78
/proc/3392/stat : 3392 (wbo1.4b) R 3367 3392 3392 0 -1 4202496 4268 0 0 0 872 6 0 0 25 0 1 0 89169938 16396288 3540 1992294400 134512640 135751879 4289192048 18446744073709551615 134517409 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/3392/statm: 4003 3540 143 303 0 3698 0
Current children cumulated CPU time (s) 175.04
Current children cumulated vsize (KiB) 150124

[startup+222.301 s]
/proc/loadavg: 1.11 1.05 0.93 2/120 3409
/proc/meminfo: memFree=1243796/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=134112 CPUtime=221.67
/proc/3367/stat : 3367 (python) S 3365 3367 2740 0 -1 4202496 17740 42640 0 0 1770 242 20087 68 15 0 1 0 89154592 137330688 6337 1992294400 4194304 4196484 140736124469488 18446744073709551615 213314743823 0 0 16781312 2 159688670771686154 0 0 17 0 0 0 0
/proc/3367/statm: 33528 6337 1143 1 0 5165 0
[pid=3397] ppid=3367 vsize=1480564 CPUtime=19.33
/proc/3397/stat : 3397 (java) S 3367 3397 3397 0 -1 4202496 37015 0 1 0 1915 18 0 0 15 0 13 0 89175040 1516097536 34870 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3397/statm: 370141 34870 1438 10 0 367443 0
[pid=3397/tid=3398] ppid=3367 vsize=1480564 CPUtime=17.25
/proc/3397/task/3398/stat : 3398 (java) R 3367 3397 3397 0 -1 4202560 30938 0 1 0 1710 15 0 0 20 0 13 0 89175042 1516097536 34870 1992294400 134512640 134550932 4289068640 18446744073709551615 4109328521 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3397/tid=3399] ppid=3367 vsize=1480564 CPUtime=0.02
/proc/3397/task/3399/stat : 3399 (java) S 3367 3397 3397 0 -1 4202560 745 0 0 0 2 0 0 0 16 0 13 0 89175043 1516097536 34870 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 1 0 0 0
[pid=3397/tid=3400] ppid=3367 vsize=1480564 CPUtime=0.02
/proc/3397/task/3400/stat : 3400 (java) S 3367 3397 3397 0 -1 4202560 654 0 0 0 2 0 0 0 18 0 13 0 89175043 1516097536 34870 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 0 0 0 0
[pid=3397/tid=3401] ppid=3367 vsize=1480564 CPUtime=0
/proc/3397/task/3401/stat : 3401 (java) S 3367 3397 3397 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 13 0 89175045 1516097536 34870 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 0 0 16800975 18446604437852084352 0 0 -1 0 0 0 0
[pid=3397/tid=3402] ppid=3367 vsize=1480564 CPUtime=0
/proc/3397/task/3402/stat : 3402 (java) S 3367 3397 3397 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 89175045 1516097536 34870 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 0 0 0 0
[pid=3397/tid=3403] ppid=3367 vsize=1480564 CPUtime=0
/proc/3397/task/3403/stat : 3403 (java) S 3367 3397 3397 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 89175045 1516097536 34870 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 0 0 0 0
[pid=3397/tid=3404] ppid=3367 vsize=1480564 CPUtime=0
/proc/3397/task/3404/stat : 3404 (java) S 3367 3397 3397 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 89175049 1516097536 34870 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 0 0 0 0
[pid=3397/tid=3405] ppid=3367 vsize=1480564 CPUtime=1.02
/proc/3397/task/3405/stat : 3405 (java) S 3367 3397 3397 0 -1 4202560 1657 0 0 0 102 0 0 0 15 0 13 0 89175049 1516097536 34870 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 0 0 0 0
[pid=3397/tid=3406] ppid=3367 vsize=1480564 CPUtime=0.97
/proc/3397/task/3406/stat : 3406 (java) S 3367 3397 3397 0 -1 4202560 1654 0 0 0 97 0 0 0 15 0 13 0 89175049 1516097536 34870 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 1 0 0 0
[pid=3397/tid=3407] ppid=3367 vsize=1480564 CPUtime=0
/proc/3397/task/3407/stat : 3407 (java) S 3367 3397 3397 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 89175049 1516097536 34870 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 0 0 0 0
[pid=3397/tid=3408] ppid=3367 vsize=1480564 CPUtime=0
/proc/3397/task/3408/stat : 3408 (java) S 3367 3397 3397 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 13 0 89175050 1516097536 34870 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 0 0 0 0
[pid=3397/tid=3409] ppid=3367 vsize=1480564 CPUtime=0
/proc/3397/task/3409/stat : 3409 (java) S 3367 3397 3397 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 89176568 1516097536 34870 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 241
Current children cumulated vsize (KiB) 1614676

[startup+282.302 s]
/proc/loadavg: 1.04 1.04 0.93 2/120 3411
/proc/meminfo: memFree=1114712/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=134112 CPUtime=226.5
/proc/3367/stat : 3367 (python) S 3365 3367 2740 0 -1 4202496 17811 42640 0 0 2196 299 20087 68 16 0 1 0 89154592 137330688 6337 1992294400 4194304 4196484 140736124469488 18446744073709551615 213314743823 0 0 16781312 2 159836005329808138 0 0 17 1 0 0 0
/proc/3367/statm: 33528 6337 1143 1 0 5165 0
[pid=3397] ppid=3367 vsize=1480564 CPUtime=79.76
/proc/3397/stat : 3397 (java) S 3367 3397 3397 0 -1 4202496 76669 0 1 0 7937 39 0 0 15 0 13 0 89175040 1516097536 67090 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3397/statm: 370141 67090 1438 10 0 367443 0
[pid=3397/tid=3398] ppid=3367 vsize=1480564 CPUtime=76.47
/proc/3397/task/3398/stat : 3398 (java) R 3367 3397 3397 0 -1 4202560 30972 0 1 0 7629 18 0 0 25 0 13 0 89175042 1516097536 67090 1992294400 134512640 134550932 4289068640 18446744073709551615 4109469218 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3397/tid=3399] ppid=3367 vsize=1480564 CPUtime=0.58
/proc/3397/task/3399/stat : 3399 (java) S 3367 3397 3397 0 -1 4202560 21161 0 0 0 48 10 0 0 15 0 13 0 89175043 1516097536 67090 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 0 0 0 0
[pid=3397/tid=3400] ppid=3367 vsize=1480564 CPUtime=0.54
/proc/3397/task/3400/stat : 3400 (java) S 3367 3397 3397 0 -1 4202560 19827 0 0 0 47 7 0 0 16 0 13 0 89175043 1516097536 67090 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 1 0 0 0
[pid=3397/tid=3401] ppid=3367 vsize=1480564 CPUtime=0.01
/proc/3397/task/3401/stat : 3401 (java) S 3367 3397 3397 0 -1 4202560 30 0 0 0 1 0 0 0 15 0 13 0 89175045 1516097536 67090 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 0 0 16800975 18446604437852084352 0 0 -1 0 0 0 0
[pid=3397/tid=3402] ppid=3367 vsize=1480564 CPUtime=0
/proc/3397/task/3402/stat : 3402 (java) S 3367 3397 3397 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 89175045 1516097536 67090 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 0 0 0 0
[pid=3397/tid=3403] ppid=3367 vsize=1480564 CPUtime=0
/proc/3397/task/3403/stat : 3403 (java) S 3367 3397 3397 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 89175045 1516097536 67090 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 0 0 0 0
[pid=3397/tid=3404] ppid=3367 vsize=1480564 CPUtime=0
/proc/3397/task/3404/stat : 3404 (java) S 3367 3397 3397 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 89175049 1516097536 67090 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 0 0 0 0
[pid=3397/tid=3405] ppid=3367 vsize=1480564 CPUtime=1.12
/proc/3397/task/3405/stat : 3405 (java) S 3367 3397 3397 0 -1 4202560 1662 0 0 0 112 0 0 0 15 0 13 0 89175049 1516097536 67090 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 0 0 0 0
[pid=3397/tid=3406] ppid=3367 vsize=1480564 CPUtime=0.98
/proc/3397/task/3406/stat : 3406 (java) S 3367 3397 3397 0 -1 4202560 1655 0 0 0 98 0 0 0 15 0 13 0 89175049 1516097536 67090 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 1 0 0 0
[pid=3397/tid=3407] ppid=3367 vsize=1480564 CPUtime=0
/proc/3397/task/3407/stat : 3407 (java) S 3367 3397 3397 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 89175049 1516097536 67090 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 0 0 0 0
[pid=3397/tid=3408] ppid=3367 vsize=1480564 CPUtime=0
/proc/3397/task/3408/stat : 3408 (java) S 3367 3397 3397 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 13 0 89175050 1516097536 67090 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 0 0 0 0
[pid=3397/tid=3409] ppid=3367 vsize=1480564 CPUtime=0
/proc/3397/task/3409/stat : 3409 (java) S 3367 3397 3397 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 89176568 1516097536 67090 1992294400 134512640 134550932 4289068640 18446744073709551615 4294960144 0 4 0 16800975 18446604437852084352 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 306.26
Current children cumulated vsize (KiB) 1614676

[startup+342.301 s]
/proc/loadavg: 1.01 1.03 0.93 2/108 3416
/proc/meminfo: memFree=1348548/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=134112 CPUtime=332.37
/proc/3367/stat : 3367 (python) S 3365 3367 2740 0 -1 4202496 19100 127279 0 1 2645 359 30117 116 16 0 1 0 89154592 137330688 6338 1992294400 4194304 4196484 140736124469488 18446744073709551615 213314743823 0 0 16781312 2 159688670771686154 0 0 17 0 0 0 0
/proc/3367/statm: 33528 6338 1143 1 0 5165 0
[pid=3414] ppid=3367 vsize=31728 CPUtime=39
/proc/3414/stat : 3414 (wbo1.4b) R 3367 3414 3414 0 -1 4202496 8162 0 0 0 3886 14 0 0 25 0 1 0 89184920 32489472 7435 1992294400 134512640 135751879 4290861520 18446744073709551615 134616427 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/3414/statm: 7932 7435 144 303 0 7627 0
Current children cumulated CPU time (s) 371.37
Current children cumulated vsize (KiB) 165840

[startup+402.308 s]
/proc/loadavg: 1.03 1.03 0.93 2/108 3416
/proc/meminfo: memFree=1320028/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=134112 CPUtime=336.85
/proc/3367/stat : 3367 (python) R 3365 3367 2740 0 -1 4202496 19127 127279 0 1 3045 407 30117 116 16 0 1 0 89154592 137330688 6338 1992294400 4194304 4196484 140736124469488 18446744073709551615 213314381577 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3367/statm: 33528 6338 1143 1 0 5165 0
[pid=3414] ppid=3367 vsize=60320 CPUtime=99
/proc/3414/stat : 3414 (wbo1.4b) R 3367 3414 3414 0 -1 4202496 15325 0 0 0 9873 27 0 0 25 0 1 0 89184920 61767680 14598 1992294400 134512640 135751879 4290861520 18446744073709551615 134616492 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/3414/statm: 15080 14598 144 303 0 14775 0
Current children cumulated CPU time (s) 435.85
Current children cumulated vsize (KiB) 194432

[startup+462.302 s]
/proc/loadavg: 1.23 1.09 0.95 2/108 3430
/proc/meminfo: memFree=1365536/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=134112 CPUtime=493.43
/proc/3367/stat : 3367 (python) S 3365 3367 2740 0 -1 4202496 24000 149748 0 1 3527 465 45194 157 15 0 1 0 89154592 137330688 6342 1992294400 4194304 4196484 140736124469488 18446744073709551615 213314743823 0 0 16781312 2 159688670771686154 0 0 17 0 0 0 0
/proc/3367/statm: 33528 6342 1143 1 0 5165 0
[pid=3430] ppid=3367 vsize=14924 CPUtime=7.3
/proc/3430/stat : 3430 (wbo1.4a) R 3367 3430 3430 0 -1 4202496 3590 0 0 0 726 4 0 0 25 0 1 0 89200086 15282176 3231 1992294400 134512640 135751879 4289779152 18446744073709551615 134516986 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/3430/statm: 3731 3231 139 303 0 3426 0
Current children cumulated CPU time (s) 500.73
Current children cumulated vsize (KiB) 149036

[startup+522.302 s]
/proc/loadavg: 1.30 1.13 0.97 3/120 3465
/proc/meminfo: memFree=1166544/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=134112 CPUtime=519.89
/proc/3367/stat : 3367 (python) S 3365 3367 2740 0 -1 4202496 32399 165311 0 1 4039 535 47237 178 15 0 1 0 89154592 137330688 6345 1992294400 4194304 4196484 140736124469488 18446744073709551615 213314743823 0 0 16781312 2 159688670771686154 0 0 17 0 0 0 0
/proc/3367/statm: 33528 6345 1143 1 0 5165 0
[pid=3451] ppid=3367 vsize=1478232 CPUtime=47.02
/proc/3451/stat : 3451 (java) S 3367 3451 3451 0 -1 4202496 59472 0 1 0 4675 27 0 0 15 0 13 0 89202266 1513709568 54067 1992294400 134512640 134550932 4287968112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3451/statm: 369558 54067 1438 10 0 366860 0
[pid=3451/tid=3452] ppid=3367 vsize=1478232 CPUtime=44.28
/proc/3451/task/3452/stat : 3452 (java) R 3367 3451 3451 0 -1 4202560 30954 0 1 0 4414 14 0 0 25 0 13 0 89202268 1513709568 54067 1992294400 134512640 134550932 4287968112 18446744073709551615 4109696440 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3451/tid=3453] ppid=3367 vsize=1478232 CPUtime=0.38
/proc/3451/task/3453/stat : 3453 (java) S 3367 3451 3451 0 -1 4202560 12442 0 0 0 33 5 0 0 16 0 13 0 89202269 1513709568 54067 1992294400 134512640 134550932 4287968112 18446744073709551615 4294960144 0 4 0 16800975 18446604437836363072 0 0 -1 1 0 0 0
[pid=3451/tid=3454] ppid=3367 vsize=1478232 CPUtime=0.32
/proc/3451/task/3454/stat : 3454 (java) S 3367 3451 3451 0 -1 4202560 12093 0 0 0 27 5 0 0 16 0 13 0 89202269 1513709568 54067 1992294400 134512640 134550932 4287968112 18446744073709551615 4294960144 0 4 0 16800975 18446604437836363072 0 0 -1 0 0 0 0
[pid=3451/tid=3455] ppid=3367 vsize=1478232 CPUtime=0
/proc/3451/task/3455/stat : 3455 (java) S 3367 3451 3451 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 13 0 89202271 1513709568 54067 1992294400 134512640 134550932 4287968112 18446744073709551615 4294960144 0 0 0 16800975 18446604437836363072 0 0 -1 0 0 0 0
[pid=3451/tid=3456] ppid=3367 vsize=1478232 CPUtime=0
/proc/3451/task/3456/stat : 3456 (java) S 3367 3451 3451 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 89202271 1513709568 54067 1992294400 134512640 134550932 4287968112 18446744073709551615 4294960144 0 4 0 16800975 18446604437836363072 0 0 -1 0 0 0 0
[pid=3451/tid=3457] ppid=3367 vsize=1478232 CPUtime=0
/proc/3451/task/3457/stat : 3457 (java) S 3367 3451 3451 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 89202271 1513709568 54067 1992294400 134512640 134550932 4287968112 18446744073709551615 4294960144 0 4 0 16800975 18446604437836363072 0 0 -1 0 0 0 0
[pid=3451/tid=3458] ppid=3367 vsize=1478232 CPUtime=0
/proc/3451/task/3458/stat : 3458 (java) S 3367 3451 3451 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 89202276 1513709568 54067 1992294400 134512640 134550932 4287968112 18446744073709551615 4294960144 0 4 0 16800975 18446604437836363072 0 0 -1 0 0 0 0
[pid=3451/tid=3459] ppid=3367 vsize=1478232 CPUtime=0.7
/proc/3451/task/3459/stat : 3459 (java) S 3367 3451 3451 0 -1 4202560 863 0 0 0 70 0 0 0 16 0 13 0 89202276 1513709568 54067 1992294400 134512640 134550932 4287968112 18446744073709551615 4294960144 0 4 0 16800975 18446604437836363072 0 0 -1 0 0 0 0
[pid=3451/tid=3460] ppid=3367 vsize=1478232 CPUtime=1.27
/proc/3451/task/3460/stat : 3460 (java) S 3367 3451 3451 0 -1 4202560 1732 0 0 0 127 0 0 0 15 0 13 0 89202276 1513709568 54067 1992294400 134512640 134550932 4287968112 18446744073709551615 4294960144 0 4 0 16800975 18446604437836363072 0 0 -1 1 0 0 0
[pid=3451/tid=3461] ppid=3367 vsize=1478232 CPUtime=0
/proc/3451/task/3461/stat : 3461 (java) S 3367 3451 3451 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 89202276 1513709568 54067 1992294400 134512640 134550932 4287968112 18446744073709551615 4294960144 0 4 0 16800975 18446604437836363072 0 0 -1 0 0 0 0
[pid=3451/tid=3462] ppid=3367 vsize=1478232 CPUtime=0
/proc/3451/task/3462/stat : 3462 (java) S 3367 3451 3451 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 13 0 89202276 1513709568 54067 1992294400 134512640 134550932 4287968112 18446744073709551615 4294960144 0 4 0 16800975 18446604437836363072 0 0 -1 0 0 0 0
[pid=3451/tid=3465] ppid=3367 vsize=1478232 CPUtime=0
/proc/3451/task/3465/stat : 3465 (java) S 3367 3451 3451 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 13 0 89203791 1513709568 54067 1992294400 134512640 134550932 4287968112 18446744073709551615 4294960144 0 4 0 16800975 18446604437836363072 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 566.91
Current children cumulated vsize (KiB) 1612344

[startup+582.302 s]
/proc/loadavg: 1.11 1.10 0.97 2/108 3497
/proc/meminfo: memFree=1369628/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=134112 CPUtime=587.26
/proc/3367/stat : 3367 (python) S 3365 3367 2740 0 -1 4202496 40892 242899 0 2 4600 620 53278 228 16 0 1 0 89154592 137330688 6348 1992294400 4194304 4196484 140736124469488 18446744073709551615 213314743823 0 0 16781312 2 159836005329808138 0 0 17 1 0 0 0
/proc/3367/statm: 33528 6348 1143 1 0 5165 0
[pid=3486] ppid=3367 vsize=17716 CPUtime=44.71
/proc/3486/stat : 3486 (bsolo_pb10) R 3367 3486 3486 0 -1 4202496 2310 0 0 0 4462 9 0 0 25 0 1 0 89208317 18141184 1945 1992294400 134512640 137138936 4291252704 18446744073709551615 134543111 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/3486/statm: 4429 1945 185 642 0 3785 0
Current children cumulated CPU time (s) 631.97
Current children cumulated vsize (KiB) 151828

[startup+642.302 s]
/proc/loadavg: 1.09 1.10 0.98 2/108 3553
/proc/meminfo: memFree=1376696/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=134244 CPUtime=696.4
/proc/3367/stat : 3367 (python) R 3365 3367 2740 0 -1 4202496 62771 281860 0 2 5328 730 63298 284 19 0 1 0 89154592 137465856 6354 1992294400 4194304 4196484 140736124469488 18446744073709551615 213314766983 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3367/statm: 33561 6354 1143 1 0 5198 0
[pid=3553] ppid=3367 vsize=0 CPUtime=0
/proc/3553/stat : 3553 (clasp-1.3.3-x86) Z 3367 3553 3553 0 -1 4202524 538 0 0 0 0 0 0 0 18 0 1 0 89218805 0 0 1992294400 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 0 0 0 0
/proc/3553/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 696.4
Current children cumulated vsize (KiB) 134244

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

[startup+643.102 s]
/proc/loadavg: 1.09 1.10 0.98 2/108 3553
/proc/meminfo: memFree=1376696/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=134244 CPUtime=697.21
/proc/3367/stat : 3367 (python) R 3365 3367 2740 0 -1 4202496 67551 287824 0 2 5390 739 63301 291 18 0 1 0 89154592 137465856 6355 1992294400 4194304 4196484 140736124469488 18446744073709551615 213314766983 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3367/statm: 33561 6355 1143 1 0 5198 0
Current children cumulated CPU time (s) 697.21
Current children cumulated vsize (KiB) 134244

[startup+643.509 s]
/proc/loadavg: 1.09 1.10 0.98 2/108 3568
/proc/meminfo: memFree=1376696/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=134244 CPUtime=697.61
/proc/3367/stat : 3367 (python) R 3365 3367 2740 0 -1 4202496 69933 290800 0 2 5422 743 63302 294 19 0 1 0 89154592 137465856 6356 1992294400 4194304 4196484 140736124469488 18446744073709551615 47325259996712 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3367/statm: 33561 6356 1143 1 0 5198 0
Current children cumulated CPU time (s) 697.61
Current children cumulated vsize (KiB) 134244

[startup+643.702 s]
/proc/loadavg: 1.09 1.10 0.98 2/108 3568
/proc/meminfo: memFree=1376696/2059040 swapFree=4140248/4192956
[pid=3367] ppid=3365 vsize=134240 CPUtime=697.82
/proc/3367/stat : 3367 (python) R 3365 3367 2740 0 -1 4202496 74461 292255 0 2 5437 746 63303 296 18 0 1 0 89154592 137461760 6356 1992294400 4194304 4196484 140736124469488 18446744073709551615 47325259970995 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/3367/statm: 33560 6356 1143 1 0 5197 0
Current children cumulated CPU time (s) 697.82
Current children cumulated vsize (KiB) 134240

Child status: 0
Real time (s): 643.716
CPU time (s): 697.849
CPU user time (s): 687.417
CPU system time (s): 10.4324
CPU usage (%): 108.409
Max. virtual memory (cumulated for all children) (KiB): 1615940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 687.416
system time used= 10.4324
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367067
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= 7712
involuntary context switches= 12838

runsolver used 1.38779 second user time and 3.32549 second system time

The end

Launcher Data 

Begin job on node004 at 2010-06-21 17:51:47
IDJOB=2675870
IDBENCH=48313
IDSOLVER=1178
FILE ID=node004/2675870-1277135507
PBS_JOBID= 11182104
Free space on /tmp= 62428 MiB

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

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

MD5SUM BENCH= c1794605d16cd8196553c490f5507fd9
RANDOM SEED=1880762484

node004.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.210
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.42
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.210
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1399804 kB
Buffers:        133492 kB
Cached:         416672 kB
SwapCached:       5720 kB
Active:         331700 kB
Inactive:       232096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1399804 kB
SwapTotal:     4192956 kB
SwapFree:      4140248 kB
Dirty:           21756 kB
Writeback:           0 kB
AnonPages:       12052 kB
Mapped:          13056 kB
Slab:            73560 kB
PageTables:       3988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181512 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= 62404 MiB
End job on node004 at 2010-06-21 18:02:31