Trace number 2675883

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? 695.32 645.606

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_3_15.opb
MD5SUM3a49e9ca428303ad7abadc0455252e53
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.05969
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)31444
Sum of products size (including duplicates)62888
Number of different products15722
Sum of products size31444

Solver Data 

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

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.02 1.06 0.91 2/106 9882
/proc/meminfo: memFree=1527440/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=16708 CPUtime=0
/proc/9882/stat : 9882 (python) R 9880 9882 9599 0 -1 4202496 719 0 0 0 0 0 0 0 20 0 1 0 54848329 17108992 485 1992294400 4194304 4196484 140735330222336 18446744073709551615 273410101040 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/9882/statm: 4177 491 272 1 0 273 0

[startup+0.058636 s]
/proc/loadavg: 1.02 1.06 0.91 2/106 9882
/proc/meminfo: memFree=1527440/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=18088 CPUtime=0.04
/proc/9882/stat : 9882 (python) R 9880 9882 9599 0 -1 4202496 1944 0 0 0 3 1 0 0 15 0 1 0 54848329 18522112 958 1992294400 4194304 4196484 140737368602992 18446744073709551615 47082290915264 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9882/statm: 4616 961 408 1 0 596 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18088

[startup+0.101635 s]
/proc/loadavg: 1.02 1.06 0.91 2/106 9882
/proc/meminfo: memFree=1527440/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=32152 CPUtime=0.07
/proc/9882/stat : 9882 (python) R 9880 9882 9599 0 -1 4202496 2393 0 0 0 4 3 0 0 15 0 1 0 54848329 32923648 1370 1992294400 4194304 4196484 140737368602992 18446744073709551615 47082290915264 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9882/statm: 8038 1372 459 1 0 910 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 32152

[startup+0.300629 s]
/proc/loadavg: 1.02 1.06 0.91 2/106 9882
/proc/meminfo: memFree=1527440/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=70844 CPUtime=0.22
/proc/9882/stat : 9882 (python) R 9880 9882 9599 0 -1 4202496 3973 0 0 0 14 8 0 0 16 0 1 0 54848329 72544256 2808 1992294400 4194304 4196484 140737368602992 18446744073709551615 47082291010926 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9882/statm: 17711 2808 693 1 0 2198 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 70844

[startup+0.700618 s]
/proc/loadavg: 1.02 1.06 0.91 2/106 9882
/proc/meminfo: memFree=1527440/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=98784 CPUtime=0.51
/proc/9882/stat : 9882 (python) R 9880 9882 9599 0 -1 4202496 4867 0 0 0 31 20 0 0 16 0 1 0 54848329 101154816 3580 1992294400 4194304 4196484 140737368602992 18446744073709551615 273393930245 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9882/statm: 24696 3580 1022 1 0 2553 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 98784

[startup+1.5016 s]
/proc/loadavg: 1.02 1.06 0.91 2/107 9887
/proc/meminfo: memFree=1510568/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=119648 CPUtime=1.03
/proc/9882/stat : 9882 (python) R 9880 9882 9599 0 -1 4202496 9065 925 0 0 70 33 0 0 16 0 1 0 54848329 122519552 6187 1992294400 4194304 4196484 140737368602992 18446744073709551615 47082291408210 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9882/statm: 29912 6187 1063 1 0 5166 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 119648

[startup+3.10055 s]
/proc/loadavg: 0.93 1.04 0.90 3/108 9894
/proc/meminfo: memFree=1500764/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=134104 CPUtime=1.76
/proc/9882/stat : 9882 (python) S 9880 9882 9599 0 -1 4202496 12710 3816 0 0 129 42 2 3 15 0 1 0 54848329 137322496 6330 1992294400 4194304 4196484 140737368602992 18446744073709551615 273393954319 0 0 16781312 2 159688670771686098 0 0 17 0 0 0 0
/proc/9882/statm: 33526 6330 1143 1 0 5163 0
[pid=9894] ppid=9882 vsize=10764 CPUtime=1.08
/proc/9894/stat : 9894 (wbo1.4a) R 9882 9894 9894 0 -1 4202496 2472 0 0 0 105 3 0 0 22 0 1 0 54848529 11022336 2028 1992294400 134512640 135751879 4286985968 18446744073709551615 134606367 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9894/statm: 2691 2028 138 303 0 2386 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 144868

[startup+6.30046 s]
/proc/loadavg: 0.93 1.04 0.90 3/108 9894
/proc/meminfo: memFree=1497168/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=134104 CPUtime=1.99
/proc/9882/stat : 9882 (python) S 9880 9882 9599 0 -1 4202496 12720 3816 0 0 149 45 2 3 15 0 1 0 54848329 137322496 6330 1992294400 4194304 4196484 140737368602992 18446744073709551615 273393954319 0 0 16781312 2 159688670771686098 0 0 17 0 0 0 0
/proc/9882/statm: 33526 6330 1143 1 0 5163 0
[pid=9894] ppid=9882 vsize=11532 CPUtime=4.26
/proc/9894/stat : 9894 (wbo1.4a) R 9882 9894 9894 0 -1 4202496 2649 0 0 0 423 3 0 0 25 0 1 0 54848529 11808768 2205 1992294400 134512640 135751879 4286985968 18446744073709551615 134518934 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9894/statm: 2883 2205 138 303 0 2578 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 145636

[startup+12.7003 s]
/proc/loadavg: 0.94 1.04 0.90 2/108 9894
/proc/meminfo: memFree=1486380/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=134104 CPUtime=2.68
/proc/9882/stat : 9882 (python) S 9880 9882 9599 0 -1 4202496 12755 3816 0 0 212 51 2 3 15 0 1 0 54848329 137322496 6331 1992294400 4194304 4196484 140737368602992 18446744073709551615 273393954319 0 0 16781312 2 159688670771686098 0 0 17 0 0 0 0
/proc/9882/statm: 33526 6331 1143 1 0 5163 0
[pid=9894] ppid=9882 vsize=23436 CPUtime=10.62
/proc/9894/stat : 9894 (wbo1.4a) R 9882 9894 9894 0 -1 4202496 5643 0 0 0 1057 5 0 0 25 0 1 0 54848529 23998464 5199 1992294400 134512640 135751879 4286985968 18446744073709551615 134616514 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9894/statm: 5859 5199 139 303 0 5554 0
Current children cumulated CPU time (s) 13.3
Current children cumulated vsize (KiB) 157540

[startup+25.5019 s]
/proc/loadavg: 0.95 1.04 0.91 2/108 9896
/proc/meminfo: memFree=1474724/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=134104 CPUtime=3.57
/proc/9882/stat : 9882 (python) S 9880 9882 9599 0 -1 4202496 12779 3816 0 0 292 60 2 3 15 0 1 0 54848329 137322496 6331 1992294400 4194304 4196484 140737368602992 18446744073709551615 273393954319 0 0 16781312 2 159688670771686098 0 0 17 0 0 0 0
/proc/9882/statm: 33526 6331 1143 1 0 5163 0
[pid=9894] ppid=9882 vsize=34964 CPUtime=23.33
/proc/9894/stat : 9894 (wbo1.4a) R 9882 9894 9894 0 -1 4202496 8512 0 0 0 2325 8 0 0 25 0 1 0 54848529 35803136 8068 1992294400 134512640 135751879 4286985968 18446744073709551615 134517421 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9894/statm: 8741 8068 139 303 0 8436 0
Current children cumulated CPU time (s) 26.9
Current children cumulated vsize (KiB) 169068

[startup+51.1012 s]
/proc/loadavg: 0.97 1.03 0.91 2/108 9896
/proc/meminfo: memFree=1449924/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=134104 CPUtime=5.36
/proc/9882/stat : 9882 (python) S 9880 9882 9599 0 -1 4202496 12807 3816 0 0 453 78 2 3 15 0 1 0 54848329 137322496 6331 1992294400 4194304 4196484 140737368602992 18446744073709551615 273393954319 0 0 16781312 2 159688670771686098 0 0 17 0 0 0 0
/proc/9882/statm: 33526 6331 1143 1 0 5163 0
[pid=9894] ppid=9882 vsize=59704 CPUtime=48.79
/proc/9894/stat : 9894 (wbo1.4a) R 9882 9894 9894 0 -1 4202496 14702 0 0 0 4864 15 0 0 25 0 1 0 54848529 61136896 14258 1992294400 134512640 135751879 4286985968 18446744073709551615 134517414 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9894/statm: 14926 14258 139 303 0 14621 0
Current children cumulated CPU time (s) 54.15
Current children cumulated vsize (KiB) 193808

[startup+102.31 s]
/proc/loadavg: 1.10 1.06 0.92 2/108 9904
/proc/meminfo: memFree=1449552/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=134104 CPUtime=60.31
/proc/9882/stat : 9882 (python) S 9880 9882 9599 0 -1 4202496 15313 21176 0 0 843 125 5041 22 15 0 1 0 54848329 137322496 6332 1992294400 4194304 4196484 140737368602992 18446744073709551615 273393954319 0 0 16781312 2 159688670771686098 0 0 17 0 0 0 0
/proc/9882/statm: 33526 6332 1143 1 0 5163 0
[pid=9902] ppid=9882 vsize=59828 CPUtime=48.87
/proc/9902/stat : 9902 (wbo1.4a) R 9882 9902 9902 0 -1 4202496 14733 0 0 0 4873 14 0 0 25 0 1 0 54853640 61263872 14284 1992294400 134512640 135751879 4289352240 18446744073709551615 134616516 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/9902/statm: 14957 14284 139 303 0 14652 0
Current children cumulated CPU time (s) 109.18
Current children cumulated vsize (KiB) 193932

[startup+162.302 s]
/proc/loadavg: 1.09 1.06 0.93 2/108 9907
/proc/meminfo: memFree=1489728/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=134104 CPUtime=165.46
/proc/9882/stat : 9882 (python) S 9880 9882 9599 0 -1 4202496 16569 47192 0 0 1258 170 15071 47 15 0 1 0 54848329 137322496 6333 1992294400 4194304 4196484 140737368602992 18446744073709551615 273393954319 0 0 16781312 2 159688670771686098 0 0 17 0 0 0 0
/proc/9882/statm: 33526 6333 1143 1 0 5163 0
[pid=9907] ppid=9882 vsize=20416 CPUtime=7.96
/proc/9907/stat : 9907 (wbo1.4b) R 9882 9907 9907 0 -1 4202496 5878 0 0 0 791 5 0 0 25 0 1 0 54863762 20905984 4422 1992294400 134512640 135751879 4293083040 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9907/statm: 5104 4422 143 303 0 4799 0
Current children cumulated CPU time (s) 173.42
Current children cumulated vsize (KiB) 154520

[startup+222.302 s]
/proc/loadavg: 1.23 1.11 0.95 2/119 9923
/proc/meminfo: memFree=1461184/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=134104 CPUtime=220.57
/proc/9882/stat : 9882 (python) S 9880 9882 9599 0 -1 4202496 17890 63968 0 0 1666 220 20106 65 15 0 1 0 54848329 137322496 6336 1992294400 4194304 4196484 140737368602992 18446744073709551615 273393954319 0 0 16781312 2 159836005329808082 0 0 17 1 0 0 0
/proc/9882/statm: 33526 6336 1143 1 0 5163 0
[pid=9912] ppid=9882 vsize=1476860 CPUtime=18.13
/proc/9912/stat : 9912 (java) S 9882 9912 9912 0 -1 4202496 14198 0 1 0 1804 9 0 0 15 0 12 0 54868818 1512304640 12594 1992294400 134512640 134550932 4292872176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9912/statm: 369215 12594 1416 10 0 366517 0
[pid=9912/tid=9913] ppid=9882 vsize=1476860 CPUtime=17.15
/proc/9912/task/9913/stat : 9913 (java) R 9882 9912 9912 0 -1 4202560 10737 0 1 0 1708 7 0 0 25 0 12 0 54868820 1512304640 12594 1992294400 134512640 134550932 4292872176 18446744073709551615 4109816475 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9912/tid=9914] ppid=9882 vsize=1476860 CPUtime=0
/proc/9912/task/9914/stat : 9914 (java) S 9882 9912 9912 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 12 0 54868821 1512304640 12594 1992294400 134512640 134550932 4292872176 18446744073709551615 4294960144 0 4 0 16800975 18446604437878729600 0 0 -1 0 0 0 0
[pid=9912/tid=9915] ppid=9882 vsize=1476860 CPUtime=0
/proc/9912/task/9915/stat : 9915 (java) S 9882 9912 9912 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 12 0 54868821 1512304640 12594 1992294400 134512640 134550932 4292872176 18446744073709551615 4294960144 0 4 0 16800975 18446604437878729600 0 0 -1 0 0 0 0
[pid=9912/tid=9916] ppid=9882 vsize=1476860 CPUtime=0
/proc/9912/task/9916/stat : 9916 (java) S 9882 9912 9912 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54868823 1512304640 12594 1992294400 134512640 134550932 4292872176 18446744073709551615 4294960144 0 0 0 16800975 18446604437878729600 0 0 -1 0 0 0 0
[pid=9912/tid=9917] ppid=9882 vsize=1476860 CPUtime=0
/proc/9912/task/9917/stat : 9917 (java) S 9882 9912 9912 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 54868823 1512304640 12594 1992294400 134512640 134550932 4292872176 18446744073709551615 4294960144 0 4 0 16800975 18446604437878729600 0 0 -1 0 0 0 0
[pid=9912/tid=9918] ppid=9882 vsize=1476860 CPUtime=0
/proc/9912/task/9918/stat : 9918 (java) S 9882 9912 9912 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 54868823 1512304640 12594 1992294400 134512640 134550932 4292872176 18446744073709551615 4294960144 0 4 0 16800975 18446604437878729600 0 0 -1 0 0 0 0
[pid=9912/tid=9919] ppid=9882 vsize=1476860 CPUtime=0
/proc/9912/task/9919/stat : 9919 (java) S 9882 9912 9912 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 54868828 1512304640 12594 1992294400 134512640 134550932 4292872176 18446744073709551615 4294960144 0 4 0 16800975 18446604437878729600 0 0 -1 0 0 0 0
[pid=9912/tid=9920] ppid=9882 vsize=1476860 CPUtime=0.61
/proc/9912/task/9920/stat : 9920 (java) S 9882 9912 9912 0 -1 4202560 1699 0 0 0 61 0 0 0 16 0 12 0 54868828 1512304640 12594 1992294400 134512640 134550932 4292872176 18446744073709551615 4294960144 0 4 0 16800975 18446604437878729600 0 0 -1 1 0 0 0
[pid=9912/tid=9921] ppid=9882 vsize=1476860 CPUtime=0.34
/proc/9912/task/9921/stat : 9921 (java) S 9882 9912 9912 0 -1 4202560 408 0 0 0 34 0 0 0 15 0 12 0 54868828 1512304640 12594 1992294400 134512640 134550932 4292872176 18446744073709551615 4294960144 0 4 0 16800975 18446604437878729600 0 0 -1 0 0 0 0
[pid=9912/tid=9922] ppid=9882 vsize=1476860 CPUtime=0
/proc/9912/task/9922/stat : 9922 (java) S 9882 9912 9912 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 54868828 1512304640 12594 1992294400 134512640 134550932 4292872176 18446744073709551615 4294960144 0 4 0 16800975 18446604437878729600 0 0 -1 0 0 0 0
[pid=9912/tid=9923] ppid=9882 vsize=1476860 CPUtime=0
/proc/9912/task/9923/stat : 9923 (java) S 9882 9912 9912 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 12 0 54868828 1512304640 12594 1992294400 134512640 134550932 4292872176 18446744073709551615 4294960144 0 4 0 16800975 18446604437878729600 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 238.7
Current children cumulated vsize (KiB) 1610964

[startup+282.303 s]
/proc/loadavg: 1.25 1.13 0.96 2/119 9925
/proc/meminfo: memFree=1398068/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=134104 CPUtime=225.2
/proc/9882/stat : 9882 (python) S 9880 9882 9599 0 -1 4202496 17948 63968 0 0 2075 274 20106 65 15 0 1 0 54848329 137322496 6336 1992294400 4194304 4196484 140737368602992 18446744073709551615 273393954319 0 0 16781312 2 159836005329808082 0 0 17 1 0 0 0
/proc/9882/statm: 33526 6336 1143 1 0 5163 0
[pid=9912] ppid=9882 vsize=1476860 CPUtime=77.91
/proc/9912/stat : 9912 (java) S 9882 9912 9912 0 -1 4202496 30130 0 1 0 7773 18 0 0 15 0 12 0 54868818 1512304640 28519 1992294400 134512640 134550932 4292872176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9912/statm: 369215 28519 1417 10 0 366517 0
[pid=9912/tid=9913] ppid=9882 vsize=1476860 CPUtime=76.63
/proc/9912/task/9913/stat : 9913 (java) R 9882 9912 9912 0 -1 4202560 26644 0 1 0 7647 16 0 0 25 0 12 0 54868820 1512304640 28519 1992294400 134512640 134550932 4292872176 18446744073709551615 4109816336 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9912/tid=9914] ppid=9882 vsize=1476860 CPUtime=0
/proc/9912/task/9914/stat : 9914 (java) S 9882 9912 9912 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 12 0 54868821 1512304640 28519 1992294400 134512640 134550932 4292872176 18446744073709551615 4294960144 0 4 0 16800975 18446604437878729600 0 0 -1 0 0 0 0
[pid=9912/tid=9915] ppid=9882 vsize=1476860 CPUtime=0
/proc/9912/task/9915/stat : 9915 (java) S 9882 9912 9912 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 12 0 54868821 1512304640 28519 1992294400 134512640 134550932 4292872176 18446744073709551615 4294960144 0 4 0 16800975 18446604437878729600 0 0 -1 0 0 0 0
[pid=9912/tid=9916] ppid=9882 vsize=1476860 CPUtime=0
/proc/9912/task/9916/stat : 9916 (java) S 9882 9912 9912 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54868823 1512304640 28519 1992294400 134512640 134550932 4292872176 18446744073709551615 4294960144 0 0 0 16800975 18446604437878729600 0 0 -1 0 0 0 0
[pid=9912/tid=9917] ppid=9882 vsize=1476860 CPUtime=0

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

[pid=9929] ppid=9882 vsize=105296 CPUtime=97.86
/proc/9929/stat : 9929 (wbo1.4b) R 9882 9929 9929 0 -1 4202496 27059 0 0 0 9760 26 0 0 25 0 1 0 54878767 107823104 25606 1992294400 134512640 135751879 4290388112 18446744073709551615 134517421 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/9929/statm: 26324 25606 144 303 0 26019 0
Current children cumulated CPU time (s) 432.89
Current children cumulated vsize (KiB) 239400

[startup+462.302 s]
/proc/loadavg: 1.06 1.11 0.98 2/108 9945
/proc/meminfo: memFree=1491652/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=134104 CPUtime=491.18
/proc/9882/stat : 9882 (python) S 9880 9882 9599 0 -1 4202496 24283 144179 0 1 3366 441 45177 134 15 0 1 0 54848329 137322496 6340 1992294400 4194304 4196484 140737368602992 18446744073709551615 273393954319 0 0 16781312 2 159688670771686098 0 0 17 0 0 0 0
/proc/9882/statm: 33526 6340 1143 1 0 5163 0
[pid=9945] ppid=9882 vsize=17596 CPUtime=6.44
/proc/9945/stat : 9945 (wbo1.4a) R 9882 9945 9945 0 -1 4202496 4168 0 0 0 639 5 0 0 25 0 1 0 54893913 18018304 3719 1992294400 134512640 135751879 4293978368 18446744073709551615 134517421 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9945/statm: 4399 3719 139 303 0 4094 0
Current children cumulated CPU time (s) 497.62
Current children cumulated vsize (KiB) 151700

[startup+522.301 s]
/proc/loadavg: 1.31 1.16 1.01 2/119 9988
/proc/meminfo: memFree=1434648/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=134104 CPUtime=517.91
/proc/9882/stat : 9882 (python) S 9880 9882 9599 0 -1 4202496 32855 163877 0 1 3850 509 47274 158 16 0 1 0 54848329 137322496 6343 1992294400 4194304 4196484 140737368602992 18446744073709551615 273393954319 0 0 16781312 2 159688670771686098 0 0 17 0 0 0 0
/proc/9882/statm: 33526 6343 1143 1 0 5163 0
[pid=9968] ppid=9882 vsize=1476792 CPUtime=44.92
/proc/9968/stat : 9968 (java) S 9882 9968 9968 0 -1 4202496 21038 0 1 0 4477 15 0 0 15 0 12 0 54896133 1512235008 19317 1992294400 134512640 134550932 4293804544 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9968/statm: 369198 19317 1417 10 0 366500 0
[pid=9968/tid=9969] ppid=9882 vsize=1476792 CPUtime=43.62
/proc/9968/task/9969/stat : 9969 (java) R 9882 9968 9968 0 -1 4202560 17433 0 1 0 4349 13 0 0 25 0 12 0 54896135 1512235008 19317 1992294400 134512640 134550932 4293804544 18446744073709551615 4109410283 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9968/tid=9970] ppid=9882 vsize=1476792 CPUtime=0
/proc/9968/task/9970/stat : 9970 (java) S 9882 9968 9968 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 12 0 54896136 1512235008 19317 1992294400 134512640 134550932 4293804544 18446744073709551615 4294960144 0 4 0 16800975 18446604437810797376 0 0 -1 0 0 0 0
[pid=9968/tid=9971] ppid=9882 vsize=1476792 CPUtime=0
/proc/9968/task/9971/stat : 9971 (java) S 9882 9968 9968 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 12 0 54896136 1512235008 19317 1992294400 134512640 134550932 4293804544 18446744073709551615 4294960144 0 4 0 16800975 18446604437810797376 0 0 -1 0 0 0 0
[pid=9968/tid=9972] ppid=9882 vsize=1476792 CPUtime=0
/proc/9968/task/9972/stat : 9972 (java) S 9882 9968 9968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 54896138 1512235008 19317 1992294400 134512640 134550932 4293804544 18446744073709551615 4294960144 0 0 0 16800975 18446604437810797376 0 0 -1 1 0 0 0
[pid=9968/tid=9973] ppid=9882 vsize=1476792 CPUtime=0
/proc/9968/task/9973/stat : 9973 (java) S 9882 9968 9968 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 54896138 1512235008 19317 1992294400 134512640 134550932 4293804544 18446744073709551615 4294960144 0 4 0 16800975 18446604437810797376 0 0 -1 0 0 0 0
[pid=9968/tid=9974] ppid=9882 vsize=1476792 CPUtime=0
/proc/9968/task/9974/stat : 9974 (java) S 9882 9968 9968 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 54896138 1512235008 19317 1992294400 134512640 134550932 4293804544 18446744073709551615 4294960144 0 4 0 16800975 18446604437810797376 0 0 -1 0 0 0 0
[pid=9968/tid=9975] ppid=9882 vsize=1476792 CPUtime=0
/proc/9968/task/9975/stat : 9975 (java) S 9882 9968 9968 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 54896143 1512235008 19317 1992294400 134512640 134550932 4293804544 18446744073709551615 4294960144 0 4 0 16800975 18446604437810797376 0 0 -1 0 0 0 0
[pid=9968/tid=9976] ppid=9882 vsize=1476792 CPUtime=0.35
/proc/9968/task/9976/stat : 9976 (java) S 9882 9968 9968 0 -1 4202560 461 0 0 0 35 0 0 0 16 0 12 0 54896143 1512235008 19317 1992294400 134512640 134550932 4293804544 18446744073709551615 4294960144 0 4 0 16800975 18446604437810797376 0 0 -1 1 0 0 0
[pid=9968/tid=9977] ppid=9882 vsize=1476792 CPUtime=0.92
/proc/9968/task/9977/stat : 9977 (java) S 9882 9968 9968 0 -1 4202560 1787 0 0 0 92 0 0 0 16 0 12 0 54896143 1512235008 19317 1992294400 134512640 134550932 4293804544 18446744073709551615 4294960144 0 4 0 16800975 18446604437810797376 0 0 -1 1 0 0 0
[pid=9968/tid=9978] ppid=9882 vsize=1476792 CPUtime=0
/proc/9968/task/9978/stat : 9978 (java) S 9882 9968 9968 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 54896143 1512235008 19317 1992294400 134512640 134550932 4293804544 18446744073709551615 4294960144 0 4 0 16800975 18446604437810797376 0 0 -1 0 0 0 0
[pid=9968/tid=9979] ppid=9882 vsize=1476792 CPUtime=0
/proc/9968/task/9979/stat : 9979 (java) S 9882 9968 9968 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 12 0 54896143 1512235008 19317 1992294400 134512640 134550932 4293804544 18446744073709551615 4294960144 0 4 0 16800975 18446604437810797376 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 562.83
Current children cumulated vsize (KiB) 1610896

[startup+582.301 s]
/proc/loadavg: 1.37 1.19 1.03 2/108 10011
/proc/meminfo: memFree=1488056/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=134104 CPUtime=585.17
/proc/9882/stat : 9882 (python) S 9880 9882 9599 0 -1 4202496 41555 202591 0 2 4375 576 53372 194 15 0 1 0 54848329 137322496 6346 1992294400 4194304 4196484 140737368602992 18446744073709551615 273393954319 0 0 16781312 2 159836005329808082 0 0 17 1 0 0 0
/proc/9882/statm: 33526 6346 1143 1 0 5163 0
[pid=10009] ppid=9882 vsize=28264 CPUtime=42.46
/proc/10009/stat : 10009 (bsolo_pb10) R 9882 10009 10009 0 -1 4202496 4985 0 0 0 4239 7 0 0 25 0 1 0 54902311 28942336 4511 1992294400 134512640 137138936 4293014464 18446744073709551615 134542007 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/10009/statm: 7066 4511 185 642 0 6422 0
Current children cumulated CPU time (s) 627.63
Current children cumulated vsize (KiB) 162368

[startup+642.302 s]
/proc/loadavg: 1.26 1.19 1.03 2/108 10040
/proc/meminfo: memFree=1504796/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=134104 CPUtime=692.12
/proc/9882/stat : 9882 (python) R 9880 9882 9599 0 -1 4202496 52695 220607 0 2 4920 646 63424 222 18 0 1 0 54848329 137322496 6348 1992294400 4194304 4196484 140737368602992 18446744073709551615 273393977479 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9882/statm: 33526 6348 1143 1 0 5163 0
[pid=10040] ppid=9882 vsize=0 CPUtime=0
/proc/10040/stat : 10040 (clasp-1.3.3-x86) Z 9882 10040 10040 0 -1 4202524 538 0 0 0 0 0 0 0 18 0 1 0 54912549 0 0 1992294400 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/10040/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 692.12
Current children cumulated vsize (KiB) 134104

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (695.32 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (695.32 s) to the 'lost time'.

[startup+645.501 s]
/proc/loadavg: 1.26 1.19 1.03 2/108 10073
/proc/meminfo: memFree=1503796/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=134236 CPUtime=695.32
/proc/9882/stat : 9882 (python) R 9880 9882 9599 0 -1 4202496 71075 242869 0 2 5169 682 63434 247 18 0 1 0 54848329 137457664 6353 1992294400 4194304 4196484 140737368602992 18446744073709551615 47082290837312 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9882/statm: 33559 6353 1143 1 0 5196 0
Current children cumulated CPU time (s) 695.32
Current children cumulated vsize (KiB) 134236

[startup+645.601 s]
/proc/loadavg: 1.26 1.19 1.03 2/107 10087
/proc/meminfo: memFree=1512236/2059040 swapFree=4140384/4192956
[pid=9882] ppid=-1 vsize=0 CPUtime=0
/proc/9882/stat : -- couldn't open stat file --/proc/9882/statm: 2557 144 139 4 0 63 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+643.102 s]
/proc/loadavg: 1.26 1.19 1.03 2/108 10040
/proc/meminfo: memFree=1504796/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=134104 CPUtime=692.9
/proc/9882/stat : 9882 (python) R 9880 9882 9599 0 -1 4202496 57597 226587 0 2 4981 655 63426 228 18 0 1 0 54848329 137322496 6349 1992294400 4194304 4196484 140737368602992 18446744073709551615 273393620675 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/9882/statm: 33526 6349 1143 1 0 5163 0
Current children cumulated CPU time (s) 692.9
Current children cumulated vsize (KiB) 134104

[startup+644.701 s]
/proc/loadavg: 1.26 1.19 1.03 2/108 10073
/proc/meminfo: memFree=1503796/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=134232 CPUtime=694.53
/proc/9882/stat : 9882 (python) R 9880 9882 9599 0 -1 4202496 67065 238433 0 2 5105 674 63432 242 18 0 1 0 54848329 137453568 6351 1992294400 4194304 4196484 140737368602992 18446744073709551615 273393754517 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/9882/statm: 33558 6351 1143 1 0 5195 0
Current children cumulated CPU time (s) 694.53
Current children cumulated vsize (KiB) 134232

[startup+645.101 s]
/proc/loadavg: 1.26 1.19 1.03 2/108 10073
/proc/meminfo: memFree=1503796/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=134232 CPUtime=694.92
/proc/9882/stat : 9882 (python) R 9880 9882 9599 0 -1 4202496 69251 241369 0 2 5136 678 63433 245 18 0 1 0 54848329 137453568 6352 1992294400 4194304 4196484 140737368602992 18446744073709551615 47082347295533 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9882/statm: 33558 6352 1143 1 0 5195 0
Current children cumulated CPU time (s) 694.92
Current children cumulated vsize (KiB) 134232

[startup+645.501 s]
/proc/loadavg: 1.26 1.19 1.03 2/108 10073
/proc/meminfo: memFree=1503796/2059040 swapFree=4140384/4192956
[pid=9882] ppid=9880 vsize=134236 CPUtime=695.32
/proc/9882/stat : 9882 (python) R 9880 9882 9599 0 -1 4202496 71075 242869 0 2 5169 682 63434 247 18 0 1 0 54848329 137457664 6353 1992294400 4194304 4196484 140737368602992 18446744073709551615 47082290837312 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9882/statm: 33559 6353 1143 1 0 5196 0
Current children cumulated CPU time (s) 695.32
Current children cumulated vsize (KiB) 134236

[startup+645.601 s]
/proc/loadavg: 1.26 1.19 1.03 2/107 10087
/proc/meminfo: memFree=1512236/2059040 swapFree=4140384/4192956
[pid=9882] ppid=-1 vsize=0 CPUtime=0
/proc/9882/stat : -- couldn't open stat file --/proc/9882/statm: 2557 144 139 4 0 63 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9882 and gives
#  childrusage.ru_utime.tv_sec=686
#  childrusage.ru_utime.tv_usec=106695
#  childrusage.ru_stime.tv_sec=9
#  childrusage.ru_stime.tv_usec=348578
# CPU time returned by wait4() is 695.455
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


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

Real time (s): 645.606
CPU time (s): 695.32
CPU user time (s): 686.03
CPU system time (s): 9.29
CPU usage (%): 107.7
Max. virtual memory (cumulated for all children) (KiB): 1613628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 686.107
system time used= 9.34858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320281
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= 9458
involuntary context switches= 12588

runsolver used 1.21281 second user time and 3.45147 second system time

The end

Launcher Data 

Begin job on node043 at 2010-06-21 17:52:39
IDJOB=2675883
IDBENCH=48326
IDSOLVER=1178
FILE ID=node043/2675883-1277135559
PBS_JOBID= 11182082
Free space on /tmp= 62532 MiB

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

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

MD5SUM BENCH= 3a49e9ca428303ad7abadc0455252e53
RANDOM SEED=1111881016

node043.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.241
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.241
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.37
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1527844 kB
Buffers:        134544 kB
Cached:         293968 kB
SwapCached:       5764 kB
Active:         251640 kB
Inactive:       190272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1527844 kB
SwapTotal:     4192956 kB
SwapFree:      4140384 kB
Dirty:           20892 kB
Writeback:           0 kB
AnonPages:       11664 kB
Mapped:          12904 kB
Slab:            67448 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183984 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= 62512 MiB
End job on node043 at 2010-06-21 18:03:25