Trace number 2675842

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? 684.114 642.892

General information on the benchmark

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

Solver Data 

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

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.16 1.11 0.94 3/106 11101
/proc/meminfo: memFree=1550072/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=16708 CPUtime=0
/proc/11101/stat : 11101 (python) R 11099 11101 10813 0 -1 4202496 717 0 0 0 0 0 0 0 20 0 1 0 54819341 17108992 482 1992294400 4194304 4196484 140736444833488 18446744073709551615 236989058463 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11101/statm: 4177 485 270 1 0 273 0

[startup+0.0719241 s]
/proc/loadavg: 1.16 1.11 0.94 3/106 11101
/proc/meminfo: memFree=1550072/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=18488 CPUtime=0.05
/proc/11101/stat : 11101 (python) S 11099 11101 10813 0 -1 4202496 2068 0 0 0 4 1 0 0 16 0 1 0 54819341 18931712 1069 1992294400 4194304 4196484 140736655020192 18446744073709551615 236972693504 0 2147483391 16781312 2 18446744071699481790 0 0 17 0 0 0 0
/proc/11101/statm: 4622 1069 423 1 0 602 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18488

[startup+0.106743 s]
/proc/loadavg: 1.16 1.11 0.94 3/106 11101
/proc/meminfo: memFree=1550072/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=32152 CPUtime=0.07
/proc/11101/stat : 11101 (python) S 11099 11101 10813 0 -1 4202496 2413 0 0 0 5 2 0 0 15 0 1 0 54819341 32923648 1389 1992294400 4194304 4196484 140736655020192 18446744073709551615 236972693504 0 2147483391 16781312 2 18446744071699481790 0 0 17 0 0 0 0
/proc/11101/statm: 8038 1389 459 1 0 910 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 32152

[startup+0.30417 s]
/proc/loadavg: 1.16 1.11 0.94 3/106 11101
/proc/meminfo: memFree=1550072/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=70592 CPUtime=0.22
/proc/11101/stat : 11101 (python) S 11099 11101 10813 0 -1 4202496 3960 0 0 0 14 8 0 0 15 0 1 0 54819341 72286208 2796 1992294400 4194304 4196484 140736655020192 18446744073709551615 236972693504 0 2147483391 16781312 2 18446744071699481790 0 0 17 0 0 0 0
/proc/11101/statm: 17648 2796 693 1 0 2135 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 70592

[startup+0.701145 s]
/proc/loadavg: 1.16 1.11 0.94 3/106 11101
/proc/meminfo: memFree=1550072/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=94528 CPUtime=0.33
/proc/11101/stat : 11101 (python) S 11099 11101 10813 0 -1 4202496 4776 0 0 0 21 12 0 0 15 0 1 0 54819341 96796672 3521 1992294400 4194304 4196484 140736655020192 18446744073709551615 236972691461 0 2147483391 16781312 2 18446744071699481790 0 0 17 0 0 0 26
/proc/11101/statm: 23632 3521 1002 1 0 2520 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 94528

[startup+1.50118 s]
/proc/loadavg: 1.16 1.11 0.94 1/107 11102
/proc/meminfo: memFree=1539028/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=118196 CPUtime=0.91
/proc/11101/stat : 11101 (python) R 11099 11101 10813 0 -1 4202496 8623 930 0 0 61 30 0 0 17 0 1 0 54819341 121032704 5823 1992294400 4194304 4196484 140736655020192 18446744073709551615 236972691301 0 2147483391 16781312 2 0 0 0 17 0 0 0 26
/proc/11101/statm: 29549 5823 1059 1 0 4803 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 118196

[startup+3.10045 s]
/proc/loadavg: 1.16 1.11 0.94 2/108 11110
/proc/meminfo: memFree=1527984/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=134108 CPUtime=1.64
/proc/11101/stat : 11101 (python) S 11099 11101 10813 0 -1 4202496 12676 3837 0 0 117 42 1 4 15 0 1 0 54819341 137326592 6331 1992294400 4194304 4196484 140736655020192 18446744073709551615 236972715535 0 0 16781312 2 159836005329808209 0 0 17 1 0 0 26
/proc/11101/statm: 33527 6331 1143 1 0 5164 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 134108
heavy processes:

[startup+6.30203 s]
/proc/loadavg: 1.15 1.11 0.94 2/108 11113
/proc/meminfo: memFree=1520172/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=134108 CPUtime=1.84
/proc/11101/stat : 11101 (python) S 11099 11101 10813 0 -1 4202496 12686 3837 0 0 135 44 1 4 15 0 1 0 54819341 137326592 6331 1992294400 4194304 4196484 140736655020192 18446744073709551615 236972715535 0 0 16781312 2 159836005329808209 0 0 17 1 0 0 26
/proc/11101/statm: 33527 6331 1143 1 0 5164 0
[pid=11113] ppid=11101 vsize=11540 CPUtime=4.03
/proc/11113/stat : 11113 (wbo1.4a) R 11101 11113 11113 0 -1 4202496 2648 0 0 0 400 3 0 0 25 0 1 0 54819565 11816960 2205 1992294400 134512640 135751879 4294240224 18446744073709551615 134611192 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11113/statm: 2885 2205 138 303 0 2580 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 145648

[startup+12.7012 s]
/proc/loadavg: 1.14 1.11 0.94 2/108 11113
/proc/meminfo: memFree=1508392/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=134108 CPUtime=2.35
/proc/11101/stat : 11101 (python) S 11099 11101 10813 0 -1 4202496 12703 3837 0 0 178 52 1 4 15 0 1 0 54819341 137326592 6332 1992294400 4194304 4196484 140736655020192 18446744073709551615 236972715535 0 0 16781312 2 159836005329808209 0 0 17 1 0 0 26
/proc/11101/statm: 33527 6332 1143 1 0 5164 0
[pid=11113] ppid=11101 vsize=23960 CPUtime=10.38
/proc/11113/stat : 11113 (wbo1.4a) R 11101 11113 11113 0 -1 4202496 5758 0 0 0 1032 6 0 0 25 0 1 0 54819565 24535040 5315 1992294400 134512640 135751879 4294240224 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11113/statm: 5990 5315 139 303 0 5685 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 158068

[startup+25.5015 s]
/proc/loadavg: 1.11 1.10 0.94 2/108 11113
/proc/meminfo: memFree=1491652/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=134108 CPUtime=3.25
/proc/11101/stat : 11101 (python) S 11099 11101 10813 0 -1 4202496 12731 3837 0 0 255 65 1 4 15 0 1 0 54819341 137326592 6332 1992294400 4194304 4196484 140736655020192 18446744073709551615 236972715535 0 0 16781312 2 159836005329808209 0 0 17 1 0 0 26
/proc/11101/statm: 33527 6332 1143 1 0 5164 0
[pid=11113] ppid=11101 vsize=41028 CPUtime=23.09
/proc/11113/stat : 11113 (wbo1.4a) R 11101 11113 11113 0 -1 4202496 10047 0 0 0 2299 10 0 0 25 0 1 0 54819565 42012672 9604 1992294400 134512640 135751879 4294240224 18446744073709551615 134616497 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11113/statm: 10257 9604 139 303 0 9952 0
Current children cumulated CPU time (s) 26.34
Current children cumulated vsize (KiB) 175136

[startup+51.1012 s]
/proc/loadavg: 1.07 1.09 0.94 2/108 11115
/proc/meminfo: memFree=1468092/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=134108 CPUtime=4.85
/proc/11101/stat : 11101 (python) S 11099 11101 10813 0 -1 4202496 12775 3837 0 0 393 87 1 4 15 0 1 0 54819341 137326592 6332 1992294400 4194304 4196484 140736655020192 18446744073709551615 236972715535 0 0 16781312 2 159836005329808209 0 0 17 1 0 0 26
/proc/11101/statm: 33527 6332 1143 1 0 5164 0
[pid=11113] ppid=11101 vsize=63964 CPUtime=48.52
/proc/11113/stat : 11113 (wbo1.4a) R 11101 11113 11113 0 -1 4202496 15757 0 0 0 4835 17 0 0 25 0 1 0 54819565 65499136 15314 1992294400 134512640 135751879 4294240224 18446744073709551615 134616505 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11113/statm: 15991 15314 139 303 0 15686 0
Current children cumulated CPU time (s) 53.37
Current children cumulated vsize (KiB) 198072

[startup+102.309 s]
/proc/loadavg: 1.03 1.08 0.94 2/108 11121
/proc/meminfo: memFree=1467596/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=134108 CPUtime=58.85
/proc/11101/stat : 11101 (python) S 11099 11101 10813 0 -1 4202496 15238 22165 0 0 716 137 5006 26 15 0 1 0 54819341 137326592 6333 1992294400 4194304 4196484 140736655020192 18446744073709551615 236972715535 0 0 16781312 2 159836005329808209 0 0 17 1 0 0 26
/proc/11101/statm: 33527 6333 1143 1 0 5164 0
[pid=11121] ppid=11101 vsize=64228 CPUtime=48.96
/proc/11121/stat : 11121 (wbo1.4a) R 11101 11121 11121 0 -1 4202496 15837 0 0 0 4881 15 0 0 25 0 1 0 54824644 65769472 15390 1992294400 134512640 135751879 4293908080 18446744073709551615 134616497 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11121/statm: 16057 15390 139 303 0 15752 0
Current children cumulated CPU time (s) 107.81
Current children cumulated vsize (KiB) 198336

[startup+162.301 s]
/proc/loadavg: 1.05 1.07 0.95 2/108 11126
/proc/meminfo: memFree=1513352/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=134108 CPUtime=163.65
/proc/11101/stat : 11101 (python) S 11099 11101 10813 0 -1 4202496 16471 61084 0 0 1063 197 15041 64 15 0 1 0 54819341 137326592 6334 1992294400 4194304 4196484 140736655020192 18446744073709551615 236972715535 0 0 16781312 2 159688670771686225 0 0 17 0 0 0 26
/proc/11101/statm: 33527 6334 1143 1 0 5164 0
[pid=11126] ppid=11101 vsize=19500 CPUtime=7.87
/proc/11126/stat : 11126 (wbo1.4b) R 11101 11126 11126 0 -1 4202496 5635 0 0 0 782 5 0 0 25 0 1 0 54834783 19968000 4179 1992294400 134512640 135751879 4292108912 18446744073709551615 134616516 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11126/statm: 4875 4179 143 303 0 4570 0
Current children cumulated CPU time (s) 171.52
Current children cumulated vsize (KiB) 153608

[startup+222.301 s]
/proc/loadavg: 1.02 1.06 0.95 2/119 11142
/proc/meminfo: memFree=1483072/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=134108 CPUtime=217.67
/proc/11101/stat : 11101 (python) S 11099 11101 10813 0 -1 4202496 17776 78703 0 0 1366 268 20052 81 15 0 1 0 54819341 137326592 6337 1992294400 4194304 4196484 140736655020192 18446744073709551615 236972715535 0 0 16781312 2 159688670771686225 0 0 17 0 0 0 26
/proc/11101/statm: 33527 6337 1143 1 0 5164 0
[pid=11131] ppid=11101 vsize=1477948 CPUtime=18.14
/proc/11131/stat : 11131 (java) S 11101 11131 11131 0 -1 4202496 14424 0 1 0 1805 9 0 0 15 0 12 0 54839815 1513418752 12637 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11131/statm: 369487 12637 1416 10 0 366789 0
[pid=11131/tid=11132] ppid=11101 vsize=1477948 CPUtime=17.12
/proc/11131/task/11132/stat : 11132 (java) R 11101 11131 11131 0 -1 4202560 10767 0 1 0 1705 7 0 0 25 0 12 0 54839817 1513418752 12637 1992294400 134512640 134550932 4292962448 18446744073709551615 4109821666 0 4 0 16800975 0 0 0 -1 0 0 0 11
[pid=11131/tid=11133] ppid=11101 vsize=1477948 CPUtime=0
/proc/11131/task/11133/stat : 11133 (java) S 11101 11131 11131 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 54839818 1513418752 12637 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 4 0 16800975 18446604437844255168 0 0 -1 0 0 0 0
[pid=11131/tid=11134] ppid=11101 vsize=1477948 CPUtime=0
/proc/11131/task/11134/stat : 11134 (java) S 11101 11131 11131 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 54839818 1513418752 12637 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 4 0 16800975 18446604437844255168 0 0 -1 0 0 0 0
[pid=11131/tid=11135] ppid=11101 vsize=1477948 CPUtime=0
/proc/11131/task/11135/stat : 11135 (java) S 11101 11131 11131 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54839820 1513418752 12637 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 0 0 16800975 18446604437844255168 0 0 -1 0 0 0 0
[pid=11131/tid=11136] ppid=11101 vsize=1477948 CPUtime=0
/proc/11131/task/11136/stat : 11136 (java) S 11101 11131 11131 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 12 0 54839820 1513418752 12637 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 4 0 16800975 18446604437844255168 0 0 -1 0 0 0 0
[pid=11131/tid=11137] ppid=11101 vsize=1477948 CPUtime=0
/proc/11131/task/11137/stat : 11137 (java) S 11101 11131 11131 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 54839820 1513418752 12637 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 4 0 16800975 18446604437844255168 0 0 -1 0 0 0 0
[pid=11131/tid=11138] ppid=11101 vsize=1477948 CPUtime=0
/proc/11131/task/11138/stat : 11138 (java) S 11101 11131 11131 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 54839825 1513418752 12637 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 4 0 16800975 18446604437844255168 0 0 -1 0 0 0 0
[pid=11131/tid=11139] ppid=11101 vsize=1477948 CPUtime=0.31
/proc/11131/task/11139/stat : 11139 (java) S 11101 11131 11131 0 -1 4202560 949 0 0 0 31 0 0 0 15 0 12 0 54839825 1513418752 12637 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 4 0 16800975 18446604437844255168 0 0 -1 0 0 0 0
[pid=11131/tid=11140] ppid=11101 vsize=1477948 CPUtime=0.67
/proc/11131/task/11140/stat : 11140 (java) S 11101 11131 11131 0 -1 4202560 1352 0 0 0 67 0 0 0 15 0 12 0 54839825 1513418752 12637 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 4 0 16800975 18446604437844255168 0 0 -1 1 0 0 0
[pid=11131/tid=11141] ppid=11101 vsize=1477948 CPUtime=0
/proc/11131/task/11141/stat : 11141 (java) S 11101 11131 11131 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 54839825 1513418752 12637 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 4 0 16800975 18446604437844255168 0 0 -1 0 0 0 0
[pid=11131/tid=11142] ppid=11101 vsize=1477948 CPUtime=0
/proc/11131/task/11142/stat : 11142 (java) S 11101 11131 11131 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 54839825 1513418752 12637 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 4 0 16800975 18446604437844255168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 235.81
Current children cumulated vsize (KiB) 1612056

[startup+282.301 s]
/proc/loadavg: 1.04 1.06 0.95 2/119 11144
/proc/meminfo: memFree=1421136/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=134108 CPUtime=221.31
/proc/11101/stat : 11101 (python) S 11099 11101 10813 0 -1 4202496 17848 78703 0 0 1671 327 20052 81 15 0 1 0 54819341 137326592 6337 1992294400 4194304 4196484 140736655020192 18446744073709551615 236972715535 0 0 16781312 2 159688670771686225 0 0 17 0 0 0 26
/proc/11101/statm: 33527 6337 1143 1 0 5164 0
[pid=11131] ppid=11101 vsize=1477948 CPUtime=78.24
/proc/11131/stat : 11131 (java) S 11101 11131 11131 0 -1 4202496 30156 0 1 0 7808 16 0 0 15 0 12 0 54839815 1513418752 28362 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11131/statm: 369487 28362 1417 10 0 366789 0
[pid=11131/tid=11132] ppid=11101 vsize=1477948 CPUtime=76.95
/proc/11131/task/11132/stat : 11132 (java) R 11101 11131 11131 0 -1 4202560 26474 0 1 0 7682 13 0 0 25 0 12 0 54839817 1513418752 28362 1992294400 134512640 134550932 4292962448 18446744073709551615 4109944737 0 4 0 16800975 0 0 0 -1 1 0 0 11
[pid=11131/tid=11133] ppid=11101 vsize=1477948 CPUtime=0
/proc/11131/task/11133/stat : 11133 (java) S 11101 11131 11131 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 54839818 1513418752 28362 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 4 0 16800975 18446604437844255168 0 0 -1 0 0 0 0
[pid=11131/tid=11134] ppid=11101 vsize=1477948 CPUtime=0
/proc/11131/task/11134/stat : 11134 (java) S 11101 11131 11131 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 54839818 1513418752 28362 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 4 0 16800975 18446604437844255168 0 0 -1 0 0 0 0
[pid=11131/tid=11135] ppid=11101 vsize=1477948 CPUtime=0
/proc/11131/task/11135/stat : 11135 (java) S 11101 11131 11131 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54839820 1513418752 28362 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 0 0 16800975 18446604437844255168 0 0 -1 0 0 0 0
[pid=11131/tid=11136] ppid=11101 vsize=1477948 CPUtime=0
/proc/11131/task/11136/stat : 11136 (java) S 11101 11131 11131 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 12 0 54839820 1513418752 28362 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 4 0 16800975 18446604437844255168 0 0 -1 0 0 0 0
[pid=11131/tid=11137] ppid=11101 vsize=1477948 CPUtime=0
/proc/11131/task/11137/stat : 11137 (java) S 11101 11131 11131 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 54839820 1513418752 28362 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 4 0 16800975 18446604437844255168 0 0 -1 0 0 0 0
[pid=11131/tid=11138] ppid=11101 vsize=1477948 CPUtime=0
/proc/11131/task/11138/stat : 11138 (java) S 11101 11131 11131 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 54839825 1513418752 28362 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 4 0 16800975 18446604437844255168 0 0 -1 0 0 0 0
[pid=11131/tid=11139] ppid=11101 vsize=1477948 CPUtime=0.45
/proc/11131/task/11139/stat : 11139 (java) S 11101 11131 11131 0 -1 4202560 959 0 0 0 44 1 0 0 16 0 12 0 54839825 1513418752 28362 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 4 0 16800975 18446604437844255168 0 0 -1 0 0 0 0
[pid=11131/tid=11140] ppid=11101 vsize=1477948 CPUtime=0.81
/proc/11131/task/11140/stat : 11140 (java) S 11101 11131 11131 0 -1 4202560 1363 0 0 0 81 0 0 0 16 0 12 0 54839825 1513418752 28362 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 4 0 16800975 18446604437844255168 0 0 -1 1 0 0 0
[pid=11131/tid=11141] ppid=11101 vsize=1477948 CPUtime=0
/proc/11131/task/11141/stat : 11141 (java) S 11101 11131 11131 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 54839825 1513418752 28362 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 4 0 16800975 18446604437844255168 0 0 -1 0 0 0 0
[pid=11131/tid=11142] ppid=11101 vsize=1477948 CPUtime=0
/proc/11131/task/11142/stat : 11142 (java) S 11101 11131 11131 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 12 0 54839825 1513418752 28362 1992294400 134512640 134550932 4292962448 18446744073709551615 4294960144 0 4 0 16800975 18446604437844255168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 299.55
Current children cumulated vsize (KiB) 1612056

[startup+342.302 s]
/proc/loadavg: 1.01 1.05 0.95 2/108 11150
/proc/meminfo: memFree=1477768/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=134108 CPUtime=325.78
/proc/11101/stat : 11101 (python) S 11099 11101 10813 0 -1 4202496 19144 121538 0 1 2000 385 30087 106 15 0 1 0 54819341 137326592 6339 1992294400 4194304 4196484 140736655020192 18446744073709551615 236972715535 0 0 16781312 2 159688670771686225 0 0 17 0 0 0 26
/proc/11101/statm: 33527 6339 1143 1 0 5164 0
[pid=11148] ppid=11101 vsize=53616 CPUtime=38.15
/proc/11148/stat : 11148 (wbo1.4b) R 11101 11148 11148 0 -1 4202496 14175 0 0 0 3802 13 0 0 25 0 1 0 54849753 54902784 12720 1992294400 134512640 135751879 4293688432 18446744073709551615 134517425 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11148/statm: 13404 12720 143 303 0 13099 0
Current children cumulated CPU time (s) 363.93
Current children cumulated vsize (KiB) 187724

[startup+402.302 s]
/proc/loadavg: 1.05 1.05 0.96 2/108 11150
/proc/meminfo: memFree=1383404/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=134108 CPUtime=329.29
/proc/11101/stat : 11101 (python) S 11099 11101 10813 0 -1 4202496 19178 121538 0 1 2296 440 30087 106 16 0 1 0 54819341 137326592 6339 1992294400 4194304 4196484 140736655020192 18446744073709551615 236972715535 0 0 16781312 2 159688670771686225 0 0 17 0 0 0 26
/proc/11101/statm: 33527 6339 1143 1 0 5164 0
[pid=11148] ppid=11101 vsize=150528 CPUtime=98.13
/proc/11148/stat : 11148 (wbo1.4b) R 11101 11148 11148 0 -1 4202496 38401 0 0 0 9778 35 0 0 25 0 1 0 54849753 154140672 36946 1992294400 134512640 135751879 4293688432 18446744073709551615 134616495 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11148/statm: 37632 36946 144 303 0 37327 0
Current children cumulated CPU time (s) 427.42
Current children cumulated vsize (KiB) 284636

[startup+462.301 s]
/proc/loadavg: 1.18 1.07 0.97 2/108 11164
/proc/meminfo: memFree=1514472/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=134108 CPUtime=484.33
/proc/11101/stat : 11101 (python) S 11099 11101 10813 0 -1 4202496 24062 170133 0 1 2657 510 45110 156 16 0 1 0 54819341 137326592 6341 1992294400 4194304 4196484 140736655020192 18446744073709551615 236972715535 0 0 16781312 2 159688670771686225 0 0 17 0 0 0 26
/proc/11101/statm: 33527 6341 1143 1 0 5164 0
[pid=11164] ppid=11101 vsize=18260 CPUtime=7.01
/proc/11164/stat : 11164 (wbo1.4a) R 11101 11164 11164 0 -1 4202496 4344 0 0 0 696 5 0 0 25 0 1 0 54864869 18698240 3897 1992294400 134512640 135751879 4293945104 18446744073709551615 134616516 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11164/statm: 4565 3897 139 303 0 4260 0
Current children cumulated CPU time (s) 491.34
Current children cumulated vsize (KiB) 152368

[startup+522.301 s]
/proc/loadavg: 1.25 1.12 0.99 2/119 11198
/proc/meminfo: memFree=1455608/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=134108 CPUtime=510.11
/proc/11101/stat : 11101 (python) S 11099 11101 10813 0 -1 4202496 32508 189944 0 1 3069 582 47182 178 15 0 1 0 54819341 137326592 6344 1992294400 4194304 4196484 140736655020192 18446744073709551615 236972715535 0 0 16781312 2 159836005329808209 0 0 17 1 0 0 26
/proc/11101/statm: 33527 6344 1143 1 0 5164 0
[pid=11185] ppid=11101 vsize=1477556 CPUtime=46.01
/proc/11185/stat : 11185 (java) S 11101 11185 11185 0 -1 4202496 21831 0 1 0 4587 14 0 0 15 0 12 0 54867052 1513017344 19701 1992294400 134512640 134550932 4287476784 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11185/statm: 369389 19701 1417 10 0 366691 0
[pid=11185/tid=11186] ppid=11101 vsize=1477556 CPUtime=44.73
/proc/11185/task/11186/stat : 11186 (java) R 11101 11185 11185 0 -1 4202560 17867 0 1 0 4461 12 0 0 25 0 12 0 54867054 1513017344 19701 1992294400 134512640 134550932 4287476784 18446744073709551615 4109291862 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11185/tid=11187] ppid=11101 vsize=1477556 CPUtime=0
/proc/11185/task/11187/stat : 11187 (java) S 11101 11185 11185 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 12 0 54867056 1513017344 19701 1992294400 134512640 134550932 4287476784 18446744073709551615 4294960144 0 4 0 16800975 18446604437492525888 0 0 -1 0 0 0 0
[pid=11185/tid=11188] ppid=11101 vsize=1477556 CPUtime=0
/proc/11185/task/11188/stat : 11188 (java) S 11101 11185 11185 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 12 0 54867056 1513017344 19701 1992294400 134512640 134550932 4287476784 18446744073709551615 4294960144 0 4 0 16800975 18446604437492525888 0 0 -1 0 0 0 0
[pid=11185/tid=11189] ppid=11101 vsize=1477556 CPUtime=0
/proc/11185/task/11189/stat : 11189 (java) S 11101 11185 11185 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54867057 1513017344 19701 1992294400 134512640 134550932 4287476784 18446744073709551615 4294960144 0 0 0 16800975 18446604437492525888 0 0 -1 0 0 0 0
[pid=11185/tid=11190] ppid=11101 vsize=1477556 CPUtime=0
/proc/11185/task/11190/stat : 11190 (java) S 11101 11185 11185 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 54867058 1513017344 19701 1992294400 134512640 134550932 4287476784 18446744073709551615 4294960144 0 4 0 16800975 18446604437492525888 0 0 -1 0 0 0 0
[pid=11185/tid=11191] ppid=11101 vsize=1477556 CPUtime=0
/proc/11185/task/11191/stat : 11191 (java) S 11101 11185 11185 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 54867058 1513017344 19701 1992294400 134512640 134550932 4287476784 18446744073709551615 4294960144 0 4 0 16800975 18446604437492525888 0 0 -1 0 0 0 0
[pid=11185/tid=11192] ppid=11101 vsize=1477556 CPUtime=0
/proc/11185/task/11192/stat : 11192 (java) S 11101 11185 11185 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 54867062 1513017344 19701 1992294400 134512640 134550932 4287476784 18446744073709551615 4294960144 0 4 0 16800975 18446604437492525888 0 0 -1 0 0 0 0
[pid=11185/tid=11193] ppid=11101 vsize=1477556 CPUtime=0.54
/proc/11185/task/11193/stat : 11193 (java) S 11101 11185 11185 0 -1 4202560 1451 0 0 0 54 0 0 0 16 0 12 0 54867062 1513017344 19701 1992294400 134512640 134550932 4287476784 18446744073709551615 4294960144 0 4 0 16800975 18446604437492525888 0 0 -1 1 0 0 0
[pid=11185/tid=11194] ppid=11101 vsize=1477556 CPUtime=0.71
/proc/11185/task/11194/stat : 11194 (java) S 11101 11185 11185 0 -1 4202560 1159 0 0 0 71 0 0 0 16 0 12 0 54867062 1513017344 19701 1992294400 134512640 134550932 4287476784 18446744073709551615 4294960144 0 4 0 16800975 18446604437492525888 0 0 -1 0 0 0 0
[pid=11185/tid=11195] ppid=11101 vsize=1477556 CPUtime=0
/proc/11185/task/11195/stat : 11195 (java) S 11101 11185 11185 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 54867062 1513017344 19701 1992294400 134512640 134550932 4287476784 18446744073709551615 4294960144 0 4 0 16800975 18446604437492525888 0 0 -1 0 0 0 0
[pid=11185/tid=11196] ppid=11101 vsize=1477556 CPUtime=0
/proc/11185/task/11196/stat : 11196 (java) S 11101 11185 11185 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 12 0 54867062 1513017344 19701 1992294400 134512640 134550932 4287476784 18446744073709551615 4294960144 0 4 0 16800975 18446604437492525888 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 556.12
Current children cumulated vsize (KiB) 1611664

[startup+582.301 s]
/proc/loadavg: 1.23 1.12 1.00 2/108 11221
/proc/meminfo: memFree=1510504/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=134108 CPUtime=575.86
/proc/11101/stat : 11101 (python) S 11099 11101 10813 0 -1 4202496 41036 229045 0 2 3478 658 53238 212 15 0 1 0 54819341 137326592 6347 1992294400 4194304 4196484 140736655020192 18446744073709551615 236972715535 0 0 16781312 2 159688670771686225 0 0 17 0 0 0 26
/proc/11101/statm: 33527 6347 1143 1 0 5164 0
[pid=11219] ppid=11101 vsize=28296 CPUtime=44.24
/proc/11219/stat : 11219 (bsolo_pb10) R 11101 11219 11219 0 -1 4202496 4987 0 0 0 4417 7 0 0 25 0 1 0 54873145 28975104 4518 1992294400 134512640 137138936 4288958096 18446744073709551615 134542199 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/11219/statm: 7074 4518 185 642 0 6430 0
Current children cumulated CPU time (s) 620.1
Current children cumulated vsize (KiB) 162404

[startup+642.301 s]
/proc/loadavg: 1.08 1.10 1.00 2/107 11289
/proc/meminfo: memFree=1527120/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=135264 CPUtime=683.5
/proc/11101/stat : 11101 (python) R 11099 11101 10813 0 -1 4202496 67538 266433 0 2 4036 776 63276 262 18 0 1 0 54819341 138510336 6355 1992294400 4194304 4196484 140736655020192 18446744073709551615 236984522128 0 0 16781312 2 0 0 0 17 1 0 0 26
/proc/11101/statm: 33816 6355 1143 1 0 5453 0
Current children cumulated CPU time (s) 683.5
Current children cumulated vsize (KiB) 135264

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

[startup+642.701 s]
/proc/loadavg: 1.08 1.10 1.00 2/107 11289
/proc/meminfo: memFree=1527120/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=134240 CPUtime=683.9
/proc/11101/stat : 11101 (python) R 11099 11101 10813 0 -1 4202496 70223 269415 0 2 4065 782 63277 266 18 0 1 0 54819341 137461760 6354 1992294400 4194304 4196484 140736655020192 18446744073709551615 47629203364272 0 0 16781312 2 0 0 0 17 0 0 0 26
/proc/11101/statm: 33560 6354 1143 1 0 5197 0
Current children cumulated CPU time (s) 683.9
Current children cumulated vsize (KiB) 134240

[startup+642.801 s]
/proc/loadavg: 1.08 1.10 1.00 2/107 11289
/proc/meminfo: memFree=1527120/2059040 swapFree=4164948/4192956
[pid=11101] ppid=11099 vsize=134240 CPUtime=684
/proc/11101/stat : 11101 (python) R 11099 11101 10813 0 -1 4202496 70240 269415 0 2 4073 784 63277 266 19 0 1 0 54819341 137461760 6354 1992294400 4194304 4196484 140736655020192 18446744073709551615 47629203353443 0 0 16781312 2 0 0 0 17 0 0 0 26
/proc/11101/statm: 33560 6354 1143 1 0 5197 0
Current children cumulated CPU time (s) 684
Current children cumulated vsize (KiB) 134240

Child status: 0
Real time (s): 642.892
CPU time (s): 684.114
CPU user time (s): 673.574
CPU system time (s): 10.5404
CPU usage (%): 106.412
Max. virtual memory (cumulated for all children) (KiB): 1614728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 673.574
system time used= 10.5404
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 345981
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= 9533
involuntary context switches= 11018

runsolver used 1.15782 second user time and 3.18152 second system time

The end

Launcher Data 

Begin job on node044 at 2010-06-21 17:47:50
IDJOB=2675842
IDBENCH=48285
IDSOLVER=1178
FILE ID=node044/2675842-1277135270
PBS_JOBID= 11182081
Free space on /tmp= 62492 MiB

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

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

MD5SUM BENCH= 8407562d9bb1379ab6a9e056478d010c
RANDOM SEED=939667635

node044.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.266
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.53
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.266
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1550476 kB
Buffers:        127712 kB
Cached:         257452 kB
SwapCached:       1376 kB
Active:         202336 kB
Inactive:       216296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1550476 kB
SwapTotal:     4192956 kB
SwapFree:      4164948 kB
Dirty:           20988 kB
Writeback:           0 kB
AnonPages:       32120 kB
Mapped:          15012 kB
Slab:            67972 kB
PageTables:       3940 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180448 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= 62472 MiB
End job on node044 at 2010-06-21 17:58:33