Trace number 2675893

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? 685.29 644.751

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_1_15.opb
MD5SUMdc4640b37e8ff69e4d6e183444e5d071
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 benchmark5.00824
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)74732
Sum of products size (including duplicates)149464
Number of different products37366
Sum of products size74732

Solver Data 

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

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


[startup+0 s]
/proc/loadavg: 1.08 1.02 0.89 2/106 10622
/proc/meminfo: memFree=1520112/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=16708 CPUtime=0
/proc/10622/stat : 10622 (python) R 10620 10622 10098 0 -1 4202496 727 0 0 0 0 0 0 0 20 0 1 0 89163079 17108992 493 1992294400 4194304 4196484 140733437775488 18446744073709551615 248569531807 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10622/statm: 4177 496 272 1 0 273 0

[startup+0.071552 s]
/proc/loadavg: 1.08 1.02 0.89 2/106 10622
/proc/meminfo: memFree=1520112/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=18488 CPUtime=0.05
/proc/10622/stat : 10622 (python) S 10620 10622 10098 0 -1 4202496 2066 0 0 0 3 2 0 0 17 0 1 0 89163079 18931712 1068 1992294400 4194304 4196484 140733396723584 18446744073709551615 248553164645 0 2147483391 16781312 2 18446744071699387582 0 0 17 0 0 0 0
/proc/10622/statm: 4622 1068 423 1 0 602 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18488

[startup+0.105168 s]
/proc/loadavg: 1.08 1.02 0.89 2/106 10622
/proc/meminfo: memFree=1520112/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=32156 CPUtime=0.08
/proc/10622/stat : 10622 (python) R 10620 10622 10098 0 -1 4202496 2412 0 0 0 5 3 0 0 17 0 1 0 89163079 32927744 1390 1992294400 4194304 4196484 140733396723584 18446744073709551615 47620945862432 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10622/statm: 8039 1390 459 1 0 911 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32156

[startup+0.300168 s]
/proc/loadavg: 1.08 1.02 0.89 2/106 10622
/proc/meminfo: memFree=1520112/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=70592 CPUtime=0.22
/proc/10622/stat : 10622 (python) R 10620 10622 10098 0 -1 4202496 3959 0 0 0 15 7 0 0 17 0 1 0 89163079 72286208 2796 1992294400 4194304 4196484 140733396723584 18446744073709551615 248552865255 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10622/statm: 17648 2796 693 1 0 2135 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 70592

[startup+0.700168 s]
/proc/loadavg: 1.08 1.02 0.89 2/106 10622
/proc/meminfo: memFree=1520112/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=98788 CPUtime=0.49
/proc/10622/stat : 10622 (python) R 10620 10622 10098 0 -1 4202496 4864 0 0 0 31 18 0 0 16 0 1 0 89163079 101158912 3579 1992294400 4194304 4196484 140733396723584 18446744073709551615 248553166848 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10622/statm: 24697 3579 1022 1 0 2554 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 98788

[startup+1.50017 s]
/proc/loadavg: 1.08 1.02 0.89 2/107 10627
/proc/meminfo: memFree=1503240/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=119644 CPUtime=1.02
/proc/10622/stat : 10622 (python) R 10620 10622 10098 0 -1 4202496 9044 928 0 0 71 31 0 0 16 0 1 0 89163079 122515456 6178 1992294400 4194304 4196484 140733396723584 18446744073709551615 248564992368 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10622/statm: 29911 6178 1063 1 0 5165 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 119644

[startup+3.10017 s]
/proc/loadavg: 1.08 1.02 0.89 2/108 10634
/proc/meminfo: memFree=1490336/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=134112 CPUtime=1.66
/proc/10622/stat : 10622 (python) S 10620 10622 10098 0 -1 4202496 12665 3813 0 0 122 40 1 3 15 0 1 0 89163079 137330688 6332 1992294400 4194304 4196484 140733396723584 18446744073709551615 248553188879 0 0 16781312 2 159688670771686223 0 0 17 0 0 0 0
/proc/10622/statm: 33528 6332 1143 1 0 5165 0
[pid=10634] ppid=10622 vsize=20372 CPUtime=1.13
/proc/10634/stat : 10634 (wbo1.4a) R 10622 10634 10634 0 -1 4202496 4857 0 0 0 107 6 0 0 22 0 1 0 89163275 20860928 4116 1992294400 134512640 135751879 4291145136 18446744073709551615 134611181 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10634/statm: 5093 4116 138 303 0 4788 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 154484

[startup+6.30017 s]
/proc/loadavg: 1.08 1.02 0.89 2/108 10634
/proc/meminfo: memFree=1481532/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=134112 CPUtime=1.85
/proc/10622/stat : 10622 (python) S 10620 10622 10098 0 -1 4202496 12676 3813 0 0 139 42 1 3 15 0 1 0 89163079 137330688 6332 1992294400 4194304 4196484 140733396723584 18446744073709551615 248553188879 0 0 16781312 2 159688670771686223 0 0 17 0 0 0 0
/proc/10622/statm: 33528 6332 1143 1 0 5165 0
[pid=10634] ppid=10622 vsize=21164 CPUtime=4.31
/proc/10634/stat : 10634 (wbo1.4a) R 10622 10634 10634 0 -1 4202496 5044 0 0 0 425 6 0 0 25 0 1 0 89163275 21671936 4303 1992294400 134512640 135751879 4291145136 18446744073709551615 134611152 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10634/statm: 5291 4303 138 303 0 4986 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 155276

[startup+12.7012 s]
/proc/loadavg: 1.07 1.02 0.89 2/108 10634
/proc/meminfo: memFree=1468760/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=134112 CPUtime=2.38
/proc/10622/stat : 10622 (python) S 10620 10622 10098 0 -1 4202496 12701 3813 0 0 185 49 1 3 15 0 1 0 89163079 137330688 6333 1992294400 4194304 4196484 140733396723584 18446744073709551615 248553188879 0 0 16781312 2 159688670771686223 0 0 17 0 0 0 0
/proc/10622/statm: 33528 6333 1143 1 0 5165 0
[pid=10634] ppid=10622 vsize=35028 CPUtime=10.67
/proc/10634/stat : 10634 (wbo1.4a) R 10622 10634 10634 0 -1 4202496 8513 0 0 0 1059 8 0 0 25 0 1 0 89163275 35868672 7772 1992294400 134512640 135751879 4291145136 18446744073709551615 134516976 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10634/statm: 8757 7772 139 303 0 8452 0
Current children cumulated CPU time (s) 13.05
Current children cumulated vsize (KiB) 169140

[startup+25.5002 s]
/proc/loadavg: 1.05 1.02 0.89 2/108 10636
/proc/meminfo: memFree=1452640/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=134112 CPUtime=3.12
/proc/10622/stat : 10622 (python) S 10620 10622 10098 0 -1 4202496 12723 3813 0 0 251 57 1 3 15 0 1 0 89163079 137330688 6333 1992294400 4194304 4196484 140733396723584 18446744073709551615 248553188879 0 0 16781312 2 159688670771686223 0 0 17 0 0 0 0
/proc/10622/statm: 33528 6333 1143 1 0 5165 0
[pid=10634] ppid=10622 vsize=51568 CPUtime=23.39
/proc/10634/stat : 10634 (wbo1.4a) R 10622 10634 10634 0 -1 4202496 12644 0 0 0 2327 12 0 0 25 0 1 0 89163275 52805632 11903 1992294400 134512640 135751879 4291145136 18446744073709551615 134517409 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10634/statm: 12892 11903 139 303 0 12587 0
Current children cumulated CPU time (s) 26.51
Current children cumulated vsize (KiB) 185680

[startup+51.1002 s]
/proc/loadavg: 1.11 1.03 0.90 2/108 10636
/proc/meminfo: memFree=1415440/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=134112 CPUtime=4.68
/proc/10622/stat : 10622 (python) S 10620 10622 10098 0 -1 4202496 12774 3813 0 0 384 80 1 3 15 0 1 0 89163079 137330688 6333 1992294400 4194304 4196484 140733396723584 18446744073709551615 248553188879 0 0 16781312 2 159688670771686223 0 0 17 0 0 0 0
/proc/10622/statm: 33528 6333 1143 1 0 5165 0
[pid=10634] ppid=10622 vsize=87976 CPUtime=48.83
/proc/10634/stat : 10634 (wbo1.4a) R 10622 10634 10634 0 -1 4202496 21751 0 0 0 4862 21 0 0 25 0 1 0 89163275 90087424 21010 1992294400 134512640 135751879 4291145136 18446744073709551615 134517424 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10634/statm: 21994 21010 139 303 0 21689 0
Current children cumulated CPU time (s) 53.51
Current children cumulated vsize (KiB) 222088

[startup+102.308 s]
/proc/loadavg: 1.05 1.02 0.90 2/108 10644
/proc/meminfo: memFree=1410852/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=134112 CPUtime=58.89
/proc/10622/stat : 10622 (python) S 10620 10622 10098 0 -1 4202496 15239 28308 0 0 706 126 5028 29 16 0 1 0 89163079 137330688 6334 1992294400 4194304 4196484 140733396723584 18446744073709551615 248553188879 0 0 16781312 2 159836005329808207 0 0 17 1 0 0 0
/proc/10622/statm: 33528 6334 1143 1 0 5165 0
[pid=10642] ppid=10622 vsize=92592 CPUtime=49.3
/proc/10642/stat : 10642 (wbo1.4a) R 10622 10642 10642 0 -1 4202496 22885 0 0 0 4908 22 0 0 25 0 1 0 89168377 94814208 22136 1992294400 134512640 135751879 4289202368 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10642/statm: 23148 22136 139 303 0 22843 0
Current children cumulated CPU time (s) 108.19
Current children cumulated vsize (KiB) 226704

[startup+162.3 s]
/proc/loadavg: 1.02 1.02 0.91 2/108 10647
/proc/meminfo: memFree=1470496/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=134112 CPUtime=163.89
/proc/10622/stat : 10622 (python) S 10620 10622 10098 0 -1 4202496 16452 68515 0 0 1061 177 15082 69 15 0 1 0 89163079 137330688 6335 1992294400 4194304 4196484 140733396723584 18446744073709551615 248553188879 0 0 16781312 2 159836005329808207 0 0 17 1 0 0 0
/proc/10622/statm: 33528 6335 1143 1 0 5165 0
[pid=10647] ppid=10622 vsize=33548 CPUtime=8.31
/proc/10647/stat : 10647 (wbo1.4b) R 10622 10647 10647 0 -1 4202496 10548 0 0 0 819 12 0 0 25 0 1 0 89178478 34353152 7331 1992294400 134512640 135751879 4287708144 18446744073709551615 134616540 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10647/statm: 8387 7331 143 303 0 8082 0
Current children cumulated CPU time (s) 172.2
Current children cumulated vsize (KiB) 167660

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 0.91 2/119 10663
/proc/meminfo: memFree=1460188/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=134112 CPUtime=218.23
/proc/10622/stat : 10622 (python) S 10620 10622 10098 0 -1 4202496 17783 95401 0 0 1403 221 20101 98 15 0 1 0 89163079 137330688 6337 1992294400 4194304 4196484 140733396723584 18446744073709551615 248553188879 0 0 16781312 2 159688670771686223 0 0 17 0 0 0 0
/proc/10622/statm: 33528 6337 1143 1 0 5165 0
[pid=10652] ppid=10622 vsize=1477904 CPUtime=18.5
/proc/10652/stat : 10652 (java) S 10622 10652 10652 0 -1 4202496 12314 0 1 0 1842 8 0 0 15 0 12 0 89183531 1513373696 10980 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10652/statm: 369476 10980 1416 10 0 366778 0
[pid=10652/tid=10653] ppid=10622 vsize=1477904 CPUtime=17.53
/proc/10652/task/10653/stat : 10653 (java) R 10622 10652 10652 0 -1 4202560 9093 0 1 0 1748 5 0 0 25 0 12 0 89183533 1513373696 10980 1992294400 134512640 134550932 4290968016 18446744073709551615 4108928528 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10652/tid=10654] ppid=10622 vsize=1477904 CPUtime=0
/proc/10652/task/10654/stat : 10654 (java) S 10622 10652 10652 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 89183534 1513373696 10980 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 4 0 16800975 18446604437876181824 0 0 -1 0 0 0 0
[pid=10652/tid=10655] ppid=10622 vsize=1477904 CPUtime=0
/proc/10652/task/10655/stat : 10655 (java) S 10622 10652 10652 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 89183534 1513373696 10980 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 4 0 16800975 18446604437876181824 0 0 -1 0 0 0 0
[pid=10652/tid=10656] ppid=10622 vsize=1477904 CPUtime=0
/proc/10652/task/10656/stat : 10656 (java) S 10622 10652 10652 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 89183536 1513373696 10980 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 0 0 16800975 18446604437876181824 0 0 -1 1 0 0 0
[pid=10652/tid=10657] ppid=10622 vsize=1477904 CPUtime=0
/proc/10652/task/10657/stat : 10657 (java) S 10622 10652 10652 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 89183536 1513373696 10980 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 4 0 16800975 18446604437876181824 0 0 -1 0 0 0 0
[pid=10652/tid=10658] ppid=10622 vsize=1477904 CPUtime=0
/proc/10652/task/10658/stat : 10658 (java) S 10622 10652 10652 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 89183536 1513373696 10980 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 4 0 16800975 18446604437876181824 0 0 -1 0 0 0 0
[pid=10652/tid=10659] ppid=10622 vsize=1477904 CPUtime=0
/proc/10652/task/10659/stat : 10659 (java) S 10622 10652 10652 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 89183541 1513373696 10980 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 4 0 16800975 18446604437876181824 0 0 -1 0 0 0 0
[pid=10652/tid=10660] ppid=10622 vsize=1477904 CPUtime=0.35
/proc/10652/task/10660/stat : 10660 (java) S 10622 10652 10652 0 -1 4202560 453 0 0 0 35 0 0 0 15 0 12 0 89183541 1513373696 10980 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 4 0 16800975 18446604437876181824 0 0 -1 1 0 0 0
[pid=10652/tid=10661] ppid=10622 vsize=1477904 CPUtime=0.58
/proc/10652/task/10661/stat : 10661 (java) S 10622 10652 10652 0 -1 4202560 1413 0 0 0 58 0 0 0 15 0 12 0 89183541 1513373696 10980 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 4 0 16800975 18446604437876181824 0 0 -1 1 0 0 0
[pid=10652/tid=10662] ppid=10622 vsize=1477904 CPUtime=0
/proc/10652/task/10662/stat : 10662 (java) S 10622 10652 10652 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 89183541 1513373696 10980 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 4 0 16800975 18446604437876181824 0 0 -1 0 0 0 0
[pid=10652/tid=10663] ppid=10622 vsize=1477904 CPUtime=0
/proc/10652/task/10663/stat : 10663 (java) S 10622 10652 10652 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 12 0 89183541 1513373696 10980 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 4 0 16800975 18446604437876181824 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 236.73
Current children cumulated vsize (KiB) 1612016

[startup+282.302 s]
/proc/loadavg: 1.00 1.01 0.91 2/119 10665
/proc/meminfo: memFree=1427576/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=134112 CPUtime=221.76
/proc/10622/stat : 10622 (python) S 10620 10622 10098 0 -1 4202496 17858 95401 0 0 1731 246 20101 98 15 0 1 0 89163079 137330688 6337 1992294400 4194304 4196484 140733396723584 18446744073709551615 248553188879 0 0 16781312 2 159688670771686223 0 0 17 0 0 0 0
/proc/10622/statm: 33528 6337 1143 1 0 5165 0
[pid=10652] ppid=10622 vsize=1477904 CPUtime=78.62
/proc/10652/stat : 10652 (java) S 10622 10652 10652 0 -1 4202496 20488 0 1 0 7849 13 0 0 15 0 12 0 89183531 1513373696 19147 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10652/statm: 369476 19147 1417 10 0 366778 0
[pid=10652/tid=10653] ppid=10622 vsize=1477904 CPUtime=77.36
/proc/10652/task/10653/stat : 10653 (java) R 10622 10652 10652 0 -1 4202560 17239 0 1 0 7725 11 0 0 25 0 12 0 89183533 1513373696 19147 1992294400 134512640 134550932 4290968016 18446744073709551615 4108928528 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10652/tid=10654] ppid=10622 vsize=1477904 CPUtime=0
/proc/10652/task/10654/stat : 10654 (java) S 10622 10652 10652 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 89183534 1513373696 19147 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 4 0 16800975 18446604437876181824 0 0 -1 0 0 0 0
[pid=10652/tid=10655] ppid=10622 vsize=1477904 CPUtime=0
/proc/10652/task/10655/stat : 10655 (java) S 10622 10652 10652 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 89183534 1513373696 19147 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 4 0 16800975 18446604437876181824 0 0 -1 0 0 0 0
[pid=10652/tid=10656] ppid=10622 vsize=1477904 CPUtime=0
/proc/10652/task/10656/stat : 10656 (java) S 10622 10652 10652 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 89183536 1513373696 19147 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 0 0 16800975 18446604437876181824 0 0 -1 1 0 0 0
[pid=10652/tid=10657] ppid=10622 vsize=1477904 CPUtime=0
/proc/10652/task/10657/stat : 10657 (java) S 10622 10652 10652 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 89183536 1513373696 19147 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 4 0 16800975 18446604437876181824 0 0 -1 0 0 0 0
[pid=10652/tid=10658] ppid=10622 vsize=1477904 CPUtime=0
/proc/10652/task/10658/stat : 10658 (java) S 10622 10652 10652 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 89183536 1513373696 19147 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 4 0 16800975 18446604437876181824 0 0 -1 0 0 0 0
[pid=10652/tid=10659] ppid=10622 vsize=1477904 CPUtime=0
/proc/10652/task/10659/stat : 10659 (java) S 10622 10652 10652 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 89183541 1513373696 19147 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 4 0 16800975 18446604437876181824 0 0 -1 0 0 0 0
[pid=10652/tid=10660] ppid=10622 vsize=1477904 CPUtime=0.52
/proc/10652/task/10660/stat : 10660 (java) S 10622 10652 10652 0 -1 4202560 468 0 0 0 52 0 0 0 16 0 12 0 89183541 1513373696 19147 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 4 0 16800975 18446604437876181824 0 0 -1 1 0 0 0
[pid=10652/tid=10661] ppid=10622 vsize=1477904 CPUtime=0.71
/proc/10652/task/10661/stat : 10661 (java) S 10622 10652 10652 0 -1 4202560 1422 0 0 0 71 0 0 0 16 0 12 0 89183541 1513373696 19147 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 4 0 16800975 18446604437876181824 0 0 -1 0 0 0 0
[pid=10652/tid=10662] ppid=10622 vsize=1477904 CPUtime=0
/proc/10652/task/10662/stat : 10662 (java) S 10622 10652 10652 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 89183541 1513373696 19147 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 4 0 16800975 18446604437876181824 0 0 -1 0 0 0 0
[pid=10652/tid=10663] ppid=10622 vsize=1477904 CPUtime=0
/proc/10652/task/10663/stat : 10663 (java) S 10622 10652 10652 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 12 0 89183541 1513373696 19147 1992294400 134512640 134550932 4290968016 18446744073709551615 4294960144 0 4 0 16800975 18446604437876181824 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 300.38
Current children cumulated vsize (KiB) 1612016

[startup+342.301 s]
/proc/loadavg: 1.04 1.02 0.91 2/108 10670
/proc/meminfo: memFree=1421836/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=134112 CPUtime=326.58
/proc/10622/stat : 10622 (python) S 10620 10622 10098 0 -1 4202496 19154 119218 0 1 2098 295 30149 116 16 0 1 0 89163079 137330688 6338 1992294400 4194304 4196484 140733396723584 18446744073709551615 248553188879 0 0 16781312 2 159836005329808207 0 0 17 1 0 0 0
/proc/10622/statm: 33528 6338 1143 1 0 5165 0
[pid=10668] ppid=10622 vsize=81328 CPUtime=37.68
/proc/10668/stat : 10668 (wbo1.4b) R 10622 10668 10668 0 -1 4202496 22487 0 0 0 3748 20 0 0 25 0 1 0 89193515 83279872 19270 1992294400 134512640 135751879 4294596048 18446744073709551615 134616532 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10668/statm: 20332 19270 144 303 0 20027 0
Current children cumulated CPU time (s) 364.26
Current children cumulated vsize (KiB) 215440

[startup+402.301 s]
/proc/loadavg: 1.08 1.03 0.92 2/108 10672
/proc/meminfo: memFree=1345700/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=134112 CPUtime=330.31
/proc/10622/stat : 10622 (python) S 10620 10622 10098 0 -1 4202496 19188 119218 0 1 2417 349 30149 116 15 0 1 0 89163079 137330688 6338 1992294400 4194304 4196484 140733396723584 18446744073709551615 248553188879 0 0 16781312 2 159836005329808207 0 0 17 1 0 0 0
/proc/10622/statm: 33528 6338 1143 1 0 5165 0
[pid=10668] ppid=10622 vsize=157388 CPUtime=97.33
/proc/10668/stat : 10668 (wbo1.4b) R 10622 10668 10668 0 -1 4202496 41493 0 0 0 9694 39 0 0 25 0 1 0 89193515 161165312 38276 1992294400 134512640 135751879 4294596048 18446744073709551615 134607671 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10668/statm: 39347 38276 144 303 0 39042 0
Current children cumulated CPU time (s) 427.64
Current children cumulated vsize (KiB) 291500

[startup+462.301 s]
/proc/loadavg: 1.03 1.02 0.92 2/108 10684
/proc/meminfo: memFree=1477512/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=134112 CPUtime=485.76
/proc/10622/stat : 10622 (python) S 10620 10622 10098 0 -1 4202496 24032 176733 0 1 2782 404 45220 170 15 0 1 0 89163079 137330688 6342 1992294400 4194304 4196484 140733396723584 18446744073709551615 248553188879 0 0 16781312 2 159688670771686223 0 0 17 0 0 0 0
/proc/10622/statm: 33528 6342 1143 1 0 5165 0
[pid=10684] ppid=10622 vsize=25516 CPUtime=5.67
/proc/10684/stat : 10684 (wbo1.4a) R 10622 10684 10684 0 -1 4202496 6124 0 0 0 559 8 0 0 25 0 1 0 89208741 26128384 5380 1992294400 134512640 135751879 4288240912 18446744073709551615 134517421 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10684/statm: 6379 5380 139 303 0 6074 0
Current children cumulated CPU time (s) 491.43
Current children cumulated vsize (KiB) 159628

[startup+522.302 s]
/proc/loadavg: 1.16 1.06 0.94 2/119 10727
/proc/meminfo: memFree=1442520/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=134112 CPUtime=511.13
/proc/10622/stat : 10622 (python) S 10620 10622 10098 0 -1 4202496 32496 205510 0 1 3178 473 47266 196 15 0 1 0 89163079 137330688 6345 1992294400 4194304 4196484 140733396723584 18446744073709551615 248553188879 0 0 16781312 2 159836005329808207 0 0 17 1 0 0 0
/proc/10622/statm: 33528 6345 1143 1 0 5165 0
[pid=10716] ppid=10622 vsize=1478704 CPUtime=44.95
/proc/10716/stat : 10716 (java) S 10622 10716 10716 0 -1 4202496 17044 0 1 0 4482 13 0 0 15 0 12 0 89210897 1514192896 15367 1992294400 134512640 134550932 4288307264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10716/statm: 369676 15367 1417 10 0 366978 0
[pid=10716/tid=10717] ppid=10622 vsize=1478704 CPUtime=43.67
/proc/10716/task/10717/stat : 10717 (java) R 10622 10716 10716 0 -1 4202560 13091 0 1 0 4356 11 0 0 25 0 12 0 89210899 1514192896 15367 1992294400 134512640 134550932 4288307264 18446744073709551615 4109666347 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10716/tid=10718] ppid=10622 vsize=1478704 CPUtime=0
/proc/10716/task/10718/stat : 10718 (java) S 10622 10716 10716 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 89210901 1514192896 15367 1992294400 134512640 134550932 4288307264 18446744073709551615 4294960144 0 4 0 16800975 18446604437832469312 0 0 -1 1 0 0 0
[pid=10716/tid=10719] ppid=10622 vsize=1478704 CPUtime=0
/proc/10716/task/10719/stat : 10719 (java) S 10622 10716 10716 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 89210901 1514192896 15367 1992294400 134512640 134550932 4288307264 18446744073709551615 4294960144 0 4 0 16800975 18446604437832469312 0 0 -1 1 0 0 0
[pid=10716/tid=10720] ppid=10622 vsize=1478704 CPUtime=0
/proc/10716/task/10720/stat : 10720 (java) S 10622 10716 10716 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 89210902 1514192896 15367 1992294400 134512640 134550932 4288307264 18446744073709551615 4294960144 0 0 0 16800975 18446604437832469312 0 0 -1 0 0 0 0
[pid=10716/tid=10721] ppid=10622 vsize=1478704 CPUtime=0
/proc/10716/task/10721/stat : 10721 (java) S 10622 10716 10716 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 89210903 1514192896 15367 1992294400 134512640 134550932 4288307264 18446744073709551615 4294960144 0 4 0 16800975 18446604437832469312 0 0 -1 0 0 0 0
[pid=10716/tid=10722] ppid=10622 vsize=1478704 CPUtime=0
/proc/10716/task/10722/stat : 10722 (java) S 10622 10716 10716 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 89210903 1514192896 15367 1992294400 134512640 134550932 4288307264 18446744073709551615 4294960144 0 4 0 16800975 18446604437832469312 0 0 -1 0 0 0 0
[pid=10716/tid=10723] ppid=10622 vsize=1478704 CPUtime=0
/proc/10716/task/10723/stat : 10723 (java) S 10622 10716 10716 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 89210907 1514192896 15367 1992294400 134512640 134550932 4288307264 18446744073709551615 4294960144 0 4 0 16800975 18446604437832469312 0 0 -1 0 0 0 0
[pid=10716/tid=10724] ppid=10622 vsize=1478704 CPUtime=0.63
/proc/10716/task/10724/stat : 10724 (java) S 10622 10716 10716 0 -1 4202560 1249 0 0 0 63 0 0 0 16 0 12 0 89210907 1514192896 15367 1992294400 134512640 134550932 4288307264 18446744073709551615 4294960144 0 4 0 16800975 18446604437832469312 0 0 -1 1 0 0 0
[pid=10716/tid=10725] ppid=10622 vsize=1478704 CPUtime=0.62
/proc/10716/task/10725/stat : 10725 (java) S 10622 10716 10716 0 -1 4202560 1328 0 0 0 62 0 0 0 16 0 12 0 89210907 1514192896 15367 1992294400 134512640 134550932 4288307264 18446744073709551615 4294960144 0 4 0 16800975 18446604437832469312 0 0 -1 1 0 0 0
[pid=10716/tid=10726] ppid=10622 vsize=1478704 CPUtime=0
/proc/10716/task/10726/stat : 10726 (java) S 10622 10716 10716 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 89210907 1514192896 15367 1992294400 134512640 134550932 4288307264 18446744073709551615 4294960144 0 4 0 16800975 18446604437832469312 0 0 -1 0 0 0 0
[pid=10716/tid=10727] ppid=10622 vsize=1478704 CPUtime=0
/proc/10716/task/10727/stat : 10727 (java) S 10622 10716 10716 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 12 0 89210907 1514192896 15367 1992294400 134512640 134550932 4288307264 18446744073709551615 4294960144 0 4 0 16800975 18446604437832469312 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 556.08
Current children cumulated vsize (KiB) 1612816

[startup+582.3 s]
/proc/loadavg: 1.16 1.08 0.95 2/108 10750
/proc/meminfo: memFree=1456992/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=134112 CPUtime=576.85
/proc/10622/stat : 10622 (python) R 10620 10622 10098 0 -1 4202496 41073 243736 0 2 3583 546 53321 235 15 0 1 0 89163079 137330688 6347 1992294400 4194304 4196484 140733396723584 18446744073709551615 47620945864324 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10622/statm: 33528 6347 1143 1 0 5165 0
[pid=10750] ppid=10622 vsize=52244 CPUtime=42.85
/proc/10750/stat : 10750 (bsolo_pb10) R 10622 10750 10750 0 -1 4202496 11108 0 0 0 4280 5 0 0 25 0 1 0 89216998 53497856 10375 1992294400 134512640 137138936 4291867376 18446744073709551615 134542187 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/10750/statm: 13061 10375 185 642 0 12417 0
Current children cumulated CPU time (s) 619.7
Current children cumulated vsize (KiB) 186356

[startup+642.301 s]
/proc/loadavg: 1.26 1.12 0.97 3/108 10787
/proc/meminfo: memFree=1497284/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=135140 CPUtime=682.81
/proc/10622/stat : 10622 (python) R 10620 10622 10098 0 -1 4202496 54653 271781 0 2 4031 617 63370 263 18 0 1 0 89163079 138383360 6353 1992294400 4194304 4196484 140733396723584 18446744073709551615 248564995472 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10622/statm: 33785 6353 1143 1 0 5422 0
[pid=10787] ppid=10622 vsize=5968 CPUtime=0
/proc/10787/stat : 10787 (pkill) R 10622 10622 10098 0 -1 4202496 457 0 0 0 0 0 0 0 18 0 1 0 89227309 6111232 146 1992294400 4194304 4206460 140735727851536 18446744073709551615 248553168640 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/10787/statm: 1492 146 122 3 0 82 0
Current children cumulated CPU time (s) 682.81
Current children cumulated vsize (KiB) 141108

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

[startup+643.101 s]
/proc/loadavg: 1.26 1.12 0.97 3/108 10787
/proc/meminfo: memFree=1497284/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=134244 CPUtime=683.62
/proc/10622/stat : 10622 (python) R 10620 10622 10098 0 -1 4202496 60581 278159 0 2 4092 626 63373 271 18 0 1 0 89163079 137465856 6353 1992294400 4194304 4196484 140733396723584 18446744073709551615 248553212039 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10622/statm: 33561 6353 1143 1 0 5198 0
Current children cumulated CPU time (s) 683.62
Current children cumulated vsize (KiB) 134244

[startup+643.901 s]
/proc/loadavg: 1.26 1.12 0.97 2/108 10805
/proc/meminfo: memFree=1497168/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=134244 CPUtime=684.41
/proc/10622/stat : 10622 (python) R 10620 10622 10098 0 -1 4202496 65401 284065 0 2 4149 638 63376 278 19 0 1 0 89163079 137465856 6354 1992294400 4194304 4196484 140733396723584 18446744073709551615 47620945633594 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10622/statm: 33561 6354 1143 1 0 5198 0
Current children cumulated CPU time (s) 684.41
Current children cumulated vsize (KiB) 134244

[startup+644.301 s]
/proc/loadavg: 1.26 1.12 0.97 2/108 10805
/proc/meminfo: memFree=1497168/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=135272 CPUtime=684.82
/proc/10622/stat : 10622 (python) R 10620 10622 10098 0 -1 4202496 67994 288035 0 2 4179 643 63378 282 18 0 1 0 89163079 138518528 6357 1992294400 4194304 4196484 140733396723584 18446744073709551615 248564995472 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10622/statm: 33818 6357 1143 1 0 5455 0
Current children cumulated CPU time (s) 684.82
Current children cumulated vsize (KiB) 135272

[startup+644.701 s]
/proc/loadavg: 1.26 1.12 0.97 2/107 10823
/proc/meminfo: memFree=1497176/2059040 swapFree=4136396/4192956
[pid=10622] ppid=10620 vsize=134240 CPUtime=685.22
/proc/10622/stat : 10622 (python) R 10620 10622 10098 0 -1 4202496 74010 291447 0 2 4208 648 63379 287 18 0 1 0 89163079 137461760 6355 1992294400 4194304 4196484 140733396723584 18446744073709551615 47620946448373 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/10622/statm: 33560 6355 1143 1 0 5197 0
Current children cumulated CPU time (s) 685.22
Current children cumulated vsize (KiB) 134240

Child status: 0
Real time (s): 644.751
CPU time (s): 685.29
CPU user time (s): 675.925
CPU system time (s): 9.36458
CPU usage (%): 106.287
Max. virtual memory (cumulated for all children) (KiB): 1613840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 675.925
system time used= 9.36458
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 366534
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= 9319
involuntary context switches= 14300

runsolver used 1.19082 second user time and 3.44648 second system time

The end

Launcher Data 

Begin job on node001 at 2010-06-21 17:53:10
IDJOB=2675893
IDBENCH=48336
IDSOLVER=1178
FILE ID=node001/2675893-1277135590
PBS_JOBID= 11182107
Free space on /tmp= 62536 MiB

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

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

MD5SUM BENCH= dc4640b37e8ff69e4d6e183444e5d071
RANDOM SEED=426500718

node001.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.202
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.40
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.202
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:       1520516 kB
Buffers:        139896 kB
Cached:         292296 kB
SwapCached:       9148 kB
Active:         235984 kB
Inactive:       209324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1520516 kB
SwapTotal:     4192956 kB
SwapFree:      4136396 kB
Dirty:           21504 kB
Writeback:           0 kB
AnonPages:       11600 kB
Mapped:           9208 kB
Slab:            71464 kB
PageTables:       4012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182044 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= 62516 MiB
End job on node001 at 2010-06-21 18:03:55