Trace number 2675848

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.655 644.439

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_4_40.opb
MD5SUM476815bfad4ec3fb3f4fdbbbbf10b706
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2516
Sum of products size (including duplicates)5032
Number of different products1258
Sum of products size2516

Solver Data 

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

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.23 1.06 0.86 3/106 11240
/proc/meminfo: memFree=1514296/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=16708 CPUtime=0
/proc/11240/stat : 11240 (python) R 11238 11240 10978 0 -1 4202496 732 0 0 0 0 0 0 0 18 0 1 0 54826000 17108992 496 1992294400 4194304 4196484 140734058645952 18446744073709551615 269658567365 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11240/statm: 4177 497 272 1 0 273 0

[startup+0.0840951 s]
/proc/loadavg: 1.23 1.06 0.86 3/106 11240
/proc/meminfo: memFree=1514296/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=21016 CPUtime=0.06
/proc/11240/stat : 11240 (python) S 11238 11240 10978 0 -1 4202496 2141 0 0 0 4 2 0 0 17 0 1 0 54826000 21520384 1133 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658904576 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 0
/proc/11240/statm: 5254 1133 440 1 0 717 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 21016

[startup+0.106762 s]
/proc/loadavg: 1.23 1.06 0.86 3/106 11240
/proc/meminfo: memFree=1514296/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=32156 CPUtime=0.07
/proc/11240/stat : 11240 (python) S 11238 11240 10978 0 -1 4202496 2415 0 0 0 5 2 0 0 17 0 1 0 54826000 32927744 1390 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658904576 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 0
/proc/11240/statm: 8039 1390 459 1 0 911 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 32156

[startup+0.305703 s]
/proc/loadavg: 1.23 1.06 0.86 3/106 11240
/proc/meminfo: memFree=1514296/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=70848 CPUtime=0.23
/proc/11240/stat : 11240 (python) R 11238 11240 10978 0 -1 4202496 4010 0 0 0 15 8 0 0 17 0 1 0 54826000 72548352 2840 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658538060 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11240/statm: 17711 2839 693 1 0 2198 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 70848

[startup+0.7007 s]
/proc/loadavg: 1.23 1.06 0.86 3/106 11240
/proc/meminfo: memFree=1514296/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=98788 CPUtime=0.51
/proc/11240/stat : 11240 (python) R 11238 11240 10978 0 -1 4202496 4868 0 0 0 31 20 0 0 16 0 1 0 54826000 101158912 3581 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658902533 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11240/statm: 24697 3581 1022 1 0 2554 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 98788

[startup+1.5007 s]
/proc/loadavg: 1.23 1.06 0.86 2/107 11245
/proc/meminfo: memFree=1497548/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=119656 CPUtime=1.02
/proc/11240/stat : 11240 (python) R 11238 11240 10978 0 -1 4202496 9068 926 0 0 70 32 0 0 16 0 1 0 54826000 122527744 6192 1992294400 4194304 4196484 140735122039488 18446744073709551615 47713814657360 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11240/statm: 29914 6192 1063 1 0 5168 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 119656

[startup+3.10068 s]
/proc/loadavg: 1.21 1.06 0.87 3/108 11252
/proc/meminfo: memFree=1491464/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=134112 CPUtime=1.72
/proc/11240/stat : 11240 (python) S 11238 11240 10978 0 -1 4202496 12730 3813 0 0 126 41 1 4 15 0 1 0 54826000 137330688 6331 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658926607 0 0 16781312 2 159836005329808229 0 0 17 1 0 0 0
/proc/11240/statm: 33528 6331 1143 1 0 5165 0
[pid=11252] ppid=11240 vsize=5928 CPUtime=1.15
/proc/11252/stat : 11252 (wbo1.4a) R 11240 11252 11252 0 -1 4202496 1342 0 0 0 114 1 0 0 19 0 1 0 54826194 6070272 1019 1992294400 134512640 135751879 4292785376 18446744073709551615 134616516 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11252/statm: 1482 1019 139 303 0 1177 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 140040

[startup+6.30066 s]
/proc/loadavg: 1.21 1.06 0.87 2/108 11252
/proc/meminfo: memFree=1487000/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=134112 CPUtime=1.96
/proc/11240/stat : 11240 (python) S 11238 11240 10978 0 -1 4202496 12747 3813 0 0 146 45 1 4 15 0 1 0 54826000 137330688 6331 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658926607 0 0 16781312 2 159836005329808229 0 0 17 1 0 0 0
/proc/11240/statm: 33528 6331 1143 1 0 5165 0
[pid=11252] ppid=11240 vsize=8692 CPUtime=4.35
/proc/11252/stat : 11252 (wbo1.4a) R 11240 11252 11252 0 -1 4202496 2045 0 0 0 431 4 0 0 25 0 1 0 54826194 8900608 1722 1992294400 134512640 135751879 4292785376 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11252/statm: 2173 1722 139 303 0 1868 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 142804

[startup+12.7016 s]
/proc/loadavg: 1.18 1.06 0.87 2/108 11252
/proc/meminfo: memFree=1480428/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=134112 CPUtime=2.39
/proc/11240/stat : 11240 (python) S 11238 11240 10978 0 -1 4202496 12763 3813 0 0 183 51 1 4 16 0 1 0 54826000 137330688 6331 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658926607 0 0 16781312 2 159836005329808229 0 0 17 1 0 0 0
/proc/11240/statm: 33528 6331 1143 1 0 5165 0
[pid=11252] ppid=11240 vsize=14964 CPUtime=10.75
/proc/11252/stat : 11252 (wbo1.4a) R 11240 11252 11252 0 -1 4202496 3603 0 0 0 1068 7 0 0 25 0 1 0 54826194 15323136 3280 1992294400 134512640 135751879 4292785376 18446744073709551615 134616497 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11252/statm: 3741 3280 139 303 0 3436 0
Current children cumulated CPU time (s) 13.14
Current children cumulated vsize (KiB) 149076

[startup+25.5005 s]
/proc/loadavg: 1.15 1.05 0.87 2/108 11252
/proc/meminfo: memFree=1466912/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=134112 CPUtime=3.22
/proc/11240/stat : 11240 (python) S 11238 11240 10978 0 -1 4202496 12795 3813 0 0 256 61 1 4 15 0 1 0 54826000 137330688 6331 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658926607 0 0 16781312 2 159836005329808229 0 0 17 1 0 0 0
/proc/11240/statm: 33528 6331 1143 1 0 5165 0
[pid=11252] ppid=11240 vsize=28308 CPUtime=23.55
/proc/11252/stat : 11252 (wbo1.4a) R 11240 11252 11252 0 -1 4202496 6937 0 0 0 2340 15 0 0 25 0 1 0 54826194 28987392 6614 1992294400 134512640 135751879 4292785376 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11252/statm: 7077 6614 139 303 0 6772 0
Current children cumulated CPU time (s) 26.77
Current children cumulated vsize (KiB) 162420

[startup+51.1003 s]
/proc/loadavg: 1.10 1.05 0.87 2/108 11252
/proc/meminfo: memFree=1453520/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=134112 CPUtime=4.8
/proc/11240/stat : 11240 (python) S 11238 11240 10978 0 -1 4202496 12831 3813 0 0 393 82 1 4 15 0 1 0 54826000 137330688 6332 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658926607 0 0 16781312 2 159836005329808229 0 0 17 1 0 0 0
/proc/11240/statm: 33528 6332 1143 1 0 5165 0
[pid=11252] ppid=11240 vsize=41744 CPUtime=49.13
/proc/11252/stat : 11252 (wbo1.4a) R 11240 11252 11252 0 -1 4202496 10290 0 0 0 4889 24 0 0 25 0 1 0 54826194 42745856 9967 1992294400 134512640 135751879 4292785376 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11252/statm: 10436 9967 139 303 0 10131 0
Current children cumulated CPU time (s) 53.93
Current children cumulated vsize (KiB) 175856

[startup+102.308 s]
/proc/loadavg: 1.08 1.05 0.88 2/108 11260
/proc/meminfo: memFree=1454264/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=134112 CPUtime=58.91
/proc/11240/stat : 11240 (python) S 11238 11240 10978 0 -1 4202496 15299 16614 0 0 716 114 5029 32 15 0 1 0 54826000 137330688 6333 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658926607 0 0 16781312 2 159688670771686245 0 0 17 0 0 0 0
/proc/11240/statm: 33528 6333 1143 1 0 5165 0
[pid=11258] ppid=11240 vsize=41228 CPUtime=49.57
/proc/11258/stat : 11258 (wbo1.4a) R 11240 11258 11258 0 -1 4202496 10146 0 0 0 4934 23 0 0 25 0 1 0 54831270 42217472 9817 1992294400 134512640 135751879 4290118000 18446744073709551615 134516976 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11258/statm: 10307 9817 139 303 0 10002 0
Current children cumulated CPU time (s) 108.48
Current children cumulated vsize (KiB) 175340

[startup+162.301 s]
/proc/loadavg: 1.06 1.05 0.89 2/108 11265
/proc/meminfo: memFree=1483652/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=134112 CPUtime=163.31
/proc/11240/stat : 11240 (python) S 11238 11240 10978 0 -1 4202496 16542 33949 0 0 1070 139 15050 72 15 0 1 0 54826000 137330688 6335 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658926607 0 0 16781312 2 159688670771686245 0 0 17 0 0 0 0
/proc/11240/statm: 33528 6335 1143 1 0 5165 0
[pid=11265] ppid=11240 vsize=12376 CPUtime=8.9
/proc/11265/stat : 11265 (wbo1.4b) R 11240 11265 11265 0 -1 4202496 2973 0 0 0 885 5 0 0 25 0 1 0 54841339 12673024 2646 1992294400 134512640 135751879 4287247600 18446744073709551615 134616514 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11265/statm: 3094 2646 144 303 0 2789 0
Current children cumulated CPU time (s) 172.21
Current children cumulated vsize (KiB) 146488

[startup+222.301 s]
/proc/loadavg: 1.19 1.09 0.91 2/120 11282
/proc/meminfo: memFree=1321616/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=134112 CPUtime=217.78
/proc/11240/stat : 11240 (python) S 11238 11240 10978 0 -1 4202496 17888 45077 0 0 1423 162 20094 99 15 0 1 0 54826000 137330688 6337 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658926607 0 0 16781312 2 159688670771686245 0 0 17 0 0 0 0
/proc/11240/statm: 33528 6337 1143 1 0 5165 0
[pid=11268] ppid=11240 vsize=1482024 CPUtime=19.1
/proc/11268/stat : 11268 (java) S 11240 11268 11268 0 -1 4202496 47533 0 1 0 1884 26 0 0 15 0 13 0 54846414 1517592576 44073 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11268/statm: 370506 44073 1436 10 0 367808 0
[pid=11268/tid=11269] ppid=11240 vsize=1482024 CPUtime=17.43
/proc/11268/task/11269/stat : 11269 (java) R 11240 11268 11268 0 -1 4202560 30937 0 1 0 1729 14 0 0 25 0 13 0 54846415 1517592576 44073 1992294400 134512640 134550932 4293890224 18446744073709551615 4109018789 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11268/tid=11270] ppid=11240 vsize=1482024 CPUtime=0.09
/proc/11268/task/11270/stat : 11270 (java) S 11240 11268 11268 0 -1 4202560 5637 0 0 0 6 3 0 0 15 0 13 0 54846417 1517592576 44073 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 18446604437832842048 0 0 -1 1 0 0 0
[pid=11268/tid=11271] ppid=11240 vsize=1482024 CPUtime=0.09
/proc/11268/task/11271/stat : 11271 (java) S 11240 11268 11268 0 -1 4202560 5500 0 0 0 6 3 0 0 18 0 13 0 54846417 1517592576 44073 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 18446604437832842048 0 0 -1 0 0 0 0
[pid=11268/tid=11272] ppid=11240 vsize=1482024 CPUtime=0.03
/proc/11268/task/11272/stat : 11272 (java) S 11240 11268 11268 0 -1 4202560 12 0 0 0 1 2 0 0 15 0 13 0 54846419 1517592576 44073 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 0 0 16800975 18446604437832842048 0 0 -1 0 0 0 0
[pid=11268/tid=11273] ppid=11240 vsize=1482024 CPUtime=0
/proc/11268/task/11273/stat : 11273 (java) S 11240 11268 11268 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 54846419 1517592576 44073 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 18446604437832842048 0 0 -1 0 0 0 0
[pid=11268/tid=11274] ppid=11240 vsize=1482024 CPUtime=0
/proc/11268/task/11274/stat : 11274 (java) S 11240 11268 11268 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 54846419 1517592576 44073 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 18446604437832842048 0 0 -1 0 0 0 0
[pid=11268/tid=11275] ppid=11240 vsize=1482024 CPUtime=0
/proc/11268/task/11275/stat : 11275 (java) S 11240 11268 11268 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 54846423 1517592576 44073 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 18446604437832842048 0 0 -1 0 0 0 0
[pid=11268/tid=11276] ppid=11240 vsize=1482024 CPUtime=0.44
/proc/11268/task/11276/stat : 11276 (java) S 11240 11268 11268 0 -1 4202560 706 0 0 0 44 0 0 0 15 0 13 0 54846423 1517592576 44073 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 18446604437832842048 0 0 -1 1 0 0 0
[pid=11268/tid=11277] ppid=11240 vsize=1482024 CPUtime=0.95
/proc/11268/task/11277/stat : 11277 (java) S 11240 11268 11268 0 -1 4202560 3381 0 0 0 95 0 0 0 15 0 13 0 54846423 1517592576 44073 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 18446604437832842048 0 0 -1 1 0 0 0
[pid=11268/tid=11278] ppid=11240 vsize=1482024 CPUtime=0
/proc/11268/task/11278/stat : 11278 (java) S 11240 11268 11268 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 54846423 1517592576 44073 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 18446604437832842048 0 0 -1 0 0 0 0
[pid=11268/tid=11279] ppid=11240 vsize=1482024 CPUtime=0
/proc/11268/task/11279/stat : 11279 (java) S 11240 11268 11268 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 13 0 54846423 1517592576 44073 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 18446604437832842048 0 0 -1 1 0 0 0
[pid=11268/tid=11280] ppid=11240 vsize=1482024 CPUtime=0
/proc/11268/task/11280/stat : 11280 (java) S 11240 11268 11268 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 54846496 1517592576 44073 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 18446604437832842048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 236.88
Current children cumulated vsize (KiB) 1616136

[startup+282.302 s]
/proc/loadavg: 1.14 1.09 0.92 2/120 11282
/proc/meminfo: memFree=1204064/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=134112 CPUtime=221.31
/proc/11240/stat : 11240 (python) S 11238 11240 10978 0 -1 4202496 17952 45077 0 0 1758 180 20094 99 15 0 1 0 54826000 137330688 6337 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658926607 0 0 16781312 2 159688670771686245 0 0 17 0 0 0 0
/proc/11240/statm: 33528 6337 1143 1 0 5165 0
[pid=11268] ppid=11240 vsize=1482024 CPUtime=78.85
/proc/11268/stat : 11268 (java) S 11240 11268 11268 0 -1 4202496 82711 0 1 0 7841 44 0 0 15 0 13 0 54846414 1517592576 73412 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11268/statm: 370506 73412 1436 10 0 367808 0
[pid=11268/tid=11269] ppid=11240 vsize=1482024 CPUtime=75.99
/proc/11268/task/11269/stat : 11269 (java) R 11240 11268 11268 0 -1 4202560 30950 0 1 0 7584 15 0 0 25 0 13 0 54846415 1517592576 73412 1992294400 134512640 134550932 4293890224 18446744073709551615 4109136520 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11268/tid=11270] ppid=11240 vsize=1482024 CPUtime=0.69
/proc/11268/task/11270/stat : 11270 (java) S 11240 11268 11268 0 -1 4202560 23186 0 0 0 58 11 0 0 15 0 13 0 54846417 1517592576 73412 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 18446604437832842048 0 0 -1 1 0 0 0
[pid=11268/tid=11271] ppid=11240 vsize=1482024 CPUtime=0.68
/proc/11268/task/11271/stat : 11271 (java) S 11240 11268 11268 0 -1 4202560 23108 0 0 0 56 12 0 0 18 0 13 0 54846417 1517592576 73412 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 18446604437832842048 0 0 -1 1 0 0 0
[pid=11268/tid=11272] ppid=11240 vsize=1482024 CPUtime=0.03
/proc/11268/task/11272/stat : 11272 (java) S 11240 11268 11268 0 -1 4202560 16 0 0 0 1 2 0 0 15 0 13 0 54846419 1517592576 73412 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 0 0 16800975 18446604437832842048 0 0 -1 1 0 0 0
[pid=11268/tid=11273] ppid=11240 vsize=1482024 CPUtime=0
/proc/11268/task/11273/stat : 11273 (java) S 11240 11268 11268 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 54846419 1517592576 73412 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 18446604437832842048 0 0 -1 0 0 0 0
[pid=11268/tid=11274] ppid=11240 vsize=1482024 CPUtime=0
/proc/11268/task/11274/stat : 11274 (java) S 11240 11268 11268 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 54846419 1517592576 73412 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 18446604437832842048 0 0 -1 0 0 0 0
[pid=11268/tid=11275] ppid=11240 vsize=1482024 CPUtime=0
/proc/11268/task/11275/stat : 11275 (java) S 11240 11268 11268 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 54846423 1517592576 73412 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 18446604437832842048 0 0 -1 0 0 0 0
[pid=11268/tid=11276] ppid=11240 vsize=1482024 CPUtime=0.44
/proc/11268/task/11276/stat : 11276 (java) S 11240 11268 11268 0 -1 4202560 706 0 0 0 44 0 0 0 15 0 13 0 54846423 1517592576 73412 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 18446604437832842048 0 0 -1 1 0 0 0
[pid=11268/tid=11277] ppid=11240 vsize=1482024 CPUtime=0.96
/proc/11268/task/11277/stat : 11277 (java) S 11240 11268 11268 0 -1 4202560 3381 0 0 0 96 0 0 0 15 0 13 0 54846423 1517592576 73412 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 18446604437832842048 0 0 -1 1 0 0 0
[pid=11268/tid=11278] ppid=11240 vsize=1482024 CPUtime=0
/proc/11268/task/11278/stat : 11278 (java) S 11240 11268 11268 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 54846423 1517592576 73412 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 18446604437832842048 0 0 -1 0 0 0 0
[pid=11268/tid=11279] ppid=11240 vsize=1482024 CPUtime=0
/proc/11268/task/11279/stat : 11279 (java) R 11240 11268 11268 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 13 0 54846423 1517592576 73412 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11268/tid=11280] ppid=11240 vsize=1482024 CPUtime=0
/proc/11268/task/11280/stat : 11280 (java) S 11240 11268 11268 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 54846496 1517592576 73412 1992294400 134512640 134550932 4293890224 18446744073709551615 4294960144 0 4 0 16800975 18446604437832842048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 300.16
Current children cumulated vsize (KiB) 1616136

[startup+342.3 s]
/proc/loadavg: 1.19 1.11 0.93 2/108 11287
/proc/meminfo: memFree=1463072/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=134112 CPUtime=326.08
/proc/11240/stat : 11240 (python) S 11238 11240 10978 0 -1 4202496 19258 133280 0 1 2131 198 30128 151 15 0 1 0 54826000 137330688 6338 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658926607 0 0 16781312 2 159688670771686245 0 0 17 0 0 0 0
/proc/11240/statm: 33528 6338 1143 1 0 5165 0
[pid=11287] ppid=11240 vsize=32080 CPUtime=37.51
/proc/11287/stat : 11287 (wbo1.4b) R 11240 11287 11287 0 -1 4202496 7869 0 0 0 3737 14 0 0 25 0 1 0 54856454 32849920 7541 1992294400 134512640 135751879 4291215552 18446744073709551615 134616514 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11287/statm: 8020 7541 144 303 0 7715 0
Current children cumulated CPU time (s) 363.59
Current children cumulated vsize (KiB) 166192

[startup+402.301 s]
/proc/loadavg: 1.13 1.11 0.94 2/108 11289
/proc/meminfo: memFree=1432568/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=134112 CPUtime=329.68
/proc/11240/stat : 11240 (python) S 11238 11240 10978 0 -1 4202496 19286 133280 0 1 2470 219 30128 151 15 0 1 0 54826000 137330688 6339 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658926607 0 0 16781312 2 159688670771686245 0 0 17 0 0 0 0
/proc/11240/statm: 33528 6339 1143 1 0 5165 0
[pid=11287] ppid=11240 vsize=62716 CPUtime=97.15
/proc/11287/stat : 11287 (wbo1.4b) R 11240 11287 11287 0 -1 4202496 15522 0 0 0 9682 33 0 0 25 0 1 0 54856454 64221184 15194 1992294400 134512640 135751879 4291215552 18446744073709551615 134517409 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11287/statm: 15679 15194 144 303 0 15374 0
Current children cumulated CPU time (s) 426.83
Current children cumulated vsize (KiB) 196828

[startup+462.301 s]
/proc/loadavg: 1.17 1.12 0.95 2/108 11303
/proc/meminfo: memFree=1486012/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=134112 CPUtime=485.35
/proc/11240/stat : 11240 (python) R 11238 11240 10978 0 -1 4202496 24220 163691 0 1 2881 253 45197 204 15 0 1 0 54826000 137330688 6343 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658949767 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11240/statm: 33528 6343 1143 1 0 5165 0
[pid=11303] ppid=11240 vsize=9204 CPUtime=5.14
/proc/11303/stat : 11303 (wbo1.4a) R 11240 11303 11303 0 -1 4202496 2187 0 0 0 511 3 0 0 25 0 1 0 54871711 9424896 1857 1992294400 134512640 135751879 4292499104 18446744073709551615 134620510 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11303/statm: 2301 1857 139 303 0 1996 0
Current children cumulated CPU time (s) 490.49
Current children cumulated vsize (KiB) 143316

[startup+522.302 s]
/proc/loadavg: 1.17 1.12 0.96 2/120 11338
/proc/meminfo: memFree=1244860/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=134112 CPUtime=510.9
/proc/11240/stat : 11240 (python) S 11238 11240 10978 0 -1 4202496 32777 180471 0 1 3299 327 47239 225 15 0 1 0 54826000 137330688 6345 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658926607 0 0 16781312 2 159836005329808229 0 0 17 1 0 0 0
/proc/11240/statm: 33528 6345 1143 1 0 5165 0
[pid=11324] ppid=11240 vsize=1481616 CPUtime=45.16
/proc/11324/stat : 11324 (java) S 11240 11324 11324 0 -1 4202496 70010 0 1 0 4479 37 0 0 15 0 13 0 54873862 1517174784 63161 1992294400 134512640 134550932 4291628096 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11324/statm: 370404 63161 1436 10 0 367706 0
[pid=11324/tid=11325] ppid=11240 vsize=1481616 CPUtime=42.63
/proc/11324/task/11325/stat : 11325 (java) R 11240 11324 11324 0 -1 4202560 30991 0 1 0 4248 15 0 0 25 0 13 0 54873864 1517174784 63161 1992294400 134512640 134550932 4291628096 18446744073709551615 4109856748 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11324/tid=11326] ppid=11240 vsize=1481616 CPUtime=0.51
/proc/11324/task/11326/stat : 11326 (java) S 11240 11324 11324 0 -1 4202560 17808 0 0 0 41 10 0 0 18 0 13 0 54873866 1517174784 63161 1992294400 134512640 134550932 4291628096 18446744073709551615 4294960144 0 4 0 16800975 18446604437814012992 0 0 -1 0 0 0 0
[pid=11324/tid=11327] ppid=11240 vsize=1481616 CPUtime=0.49
/proc/11324/task/11327/stat : 11327 (java) S 11240 11324 11324 0 -1 4202560 16843 0 0 0 41 8 0 0 18 0 13 0 54873866 1517174784 63161 1992294400 134512640 134550932 4291628096 18446744073709551615 4294960144 0 4 0 16800975 18446604437814012992 0 0 -1 1 0 0 0
[pid=11324/tid=11328] ppid=11240 vsize=1481616 CPUtime=0
/proc/11324/task/11328/stat : 11328 (java) S 11240 11324 11324 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 13 0 54873867 1517174784 63161 1992294400 134512640 134550932 4291628096 18446744073709551615 4294960144 0 0 0 16800975 18446604437814012992 0 0 -1 1 0 0 0
[pid=11324/tid=11329] ppid=11240 vsize=1481616 CPUtime=0
/proc/11324/task/11329/stat : 11329 (java) S 11240 11324 11324 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 54873868 1517174784 63161 1992294400 134512640 134550932 4291628096 18446744073709551615 4294960144 0 4 0 16800975 18446604437814012992 0 0 -1 0 0 0 0
[pid=11324/tid=11330] ppid=11240 vsize=1481616 CPUtime=0
/proc/11324/task/11330/stat : 11330 (java) S 11240 11324 11324 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 54873868 1517174784 63161 1992294400 134512640 134550932 4291628096 18446744073709551615 4294960144 0 4 0 16800975 18446604437814012992 0 0 -1 0 0 0 0
[pid=11324/tid=11331] ppid=11240 vsize=1481616 CPUtime=0
/proc/11324/task/11331/stat : 11331 (java) S 11240 11324 11324 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 13 0 54873872 1517174784 63161 1992294400 134512640 134550932 4291628096 18446744073709551615 4294960144 0 4 0 16800975 18446604437814012992 0 0 -1 0 0 0 0
[pid=11324/tid=11332] ppid=11240 vsize=1481616 CPUtime=1.07
/proc/11324/task/11332/stat : 11332 (java) S 11240 11324 11324 0 -1 4202560 2741 0 0 0 106 1 0 0 15 0 13 0 54873872 1517174784 63161 1992294400 134512640 134550932 4291628096 18446744073709551615 4294960144 0 4 0 16800975 18446604437814012992 0 0 -1 0 0 0 0
[pid=11324/tid=11333] ppid=11240 vsize=1481616 CPUtime=0.39
/proc/11324/task/11333/stat : 11333 (java) S 11240 11324 11324 0 -1 4202560 250 0 0 0 39 0 0 0 15 0 13 0 54873872 1517174784 63161 1992294400 134512640 134550932 4291628096 18446744073709551615 4294960144 0 4 0 16800975 18446604437814012992 0 0 -1 0 0 0 0
[pid=11324/tid=11334] ppid=11240 vsize=1481616 CPUtime=0
/proc/11324/task/11334/stat : 11334 (java) S 11240 11324 11324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 54873872 1517174784 63161 1992294400 134512640 134550932 4291628096 18446744073709551615 4294960144 0 4 0 16800975 18446604437814012992 0 0 -1 0 0 0 0
[pid=11324/tid=11335] ppid=11240 vsize=1481616 CPUtime=0
/proc/11324/task/11335/stat : 11335 (java) S 11240 11324 11324 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 13 0 54873872 1517174784 63161 1992294400 134512640 134550932 4291628096 18446744073709551615 4294960144 0 4 0 16800975 18446604437814012992 0 0 -1 1 0 0 0
[pid=11324/tid=11336] ppid=11240 vsize=1481616 CPUtime=0
/proc/11324/task/11336/stat : 11336 (java) S 11240 11324 11324 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 13 0 54873943 1517174784 63161 1992294400 134512640 134550932 4291628096 18446744073709551615 4294960144 0 4 0 16800975 18446604437814012992 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 556.06
Current children cumulated vsize (KiB) 1615728

[startup+582.301 s]
/proc/loadavg: 1.15 1.13 0.97 2/108 11359
/proc/meminfo: memFree=1460716/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=134112 CPUtime=576.99
/proc/11240/stat : 11240 (python) S 11238 11240 10978 0 -1 4202496 41518 268375 0 2 3746 399 53268 286 15 0 1 0 54826000 137330688 6348 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658926607 0 0 16781312 2 159836005329808229 0 0 17 1 0 0 0
/proc/11240/statm: 33528 6348 1143 1 0 5165 0
[pid=11359] ppid=11240 vsize=42428 CPUtime=43.09
/proc/11359/stat : 11359 (bsolo_pb10) R 11240 11359 11359 0 -1 4202496 8539 0 0 0 4302 7 0 0 25 0 1 0 54879893 43446272 8161 1992294400 134512640 137138936 4294728928 18446744073709551615 136521035 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/11359/statm: 10607 8161 192 642 0 9963 0
Current children cumulated CPU time (s) 620.08
Current children cumulated vsize (KiB) 176540

[startup+642.302 s]
/proc/loadavg: 1.13 1.13 0.98 2/108 11400
/proc/meminfo: memFree=1491592/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=134244 CPUtime=683.46
/proc/11240/stat : 11240 (python) R 11238 11240 10978 0 -1 4202496 57542 299528 0 2 4244 472 63310 320 19 0 1 0 54826000 137465856 6351 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658949767 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11240/statm: 33561 6351 1143 1 0 5198 0
[pid=11400] ppid=11240 vsize=0 CPUtime=0
/proc/11400/stat : 11400 (clasp-1.3.3-x86) Z 11240 11400 11400 0 -1 4202524 531 0 0 0 0 0 0 0 18 0 1 0 54890222 0 0 1992294400 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/11400/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 683.46
Current children cumulated vsize (KiB) 134244

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

[startup+643.102 s]
/proc/loadavg: 1.13 1.13 0.98 2/108 11400
/proc/meminfo: memFree=1491592/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=134240 CPUtime=684.29
/proc/11240/stat : 11240 (python) R 11238 11240 10978 0 -1 4202496 63010 306993 0 2 4304 482 63313 330 18 0 1 0 54826000 137461760 6352 1992294400 4194304 4196484 140735122039488 18446744073709551615 47713814578531 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11240/statm: 33560 6352 1143 1 0 5197 0
Current children cumulated CPU time (s) 684.29
Current children cumulated vsize (KiB) 134240

[startup+643.902 s]
/proc/loadavg: 1.13 1.13 0.98 2/108 11418
/proc/meminfo: memFree=1491468/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=134244 CPUtime=685.09
/proc/11240/stat : 11240 (python) R 11238 11240 10978 0 -1 4202496 68737 312983 0 2 4365 491 63316 337 18 0 1 0 54826000 137465856 6353 1992294400 4194304 4196484 140735122039488 18446744073709551615 47713814577579 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11240/statm: 33561 6353 1143 1 0 5198 0
Current children cumulated CPU time (s) 685.09
Current children cumulated vsize (KiB) 134244

[startup+644.302 s]
/proc/loadavg: 1.13 1.13 0.98 2/108 11418
/proc/meminfo: memFree=1491468/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=134248 CPUtime=685.5
/proc/11240/stat : 11240 (python) R 11238 11240 10978 0 -1 4202496 71192 315970 0 2 4397 495 63318 340 19 0 1 0 54826000 137469952 6354 1992294400 4194304 4196484 140735122039488 18446744073709551615 269658906368 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11240/statm: 33561 6354 1143 1 0 5198 0
Current children cumulated CPU time (s) 685.5
Current children cumulated vsize (KiB) 134248

[startup+644.402 s]
/proc/loadavg: 1.13 1.13 0.98 2/108 11418
/proc/meminfo: memFree=1491468/2059040 swapFree=4140348/4192956
[pid=11240] ppid=11238 vsize=134240 CPUtime=685.59
/proc/11240/stat : 11240 (python) R 11238 11240 10978 0 -1 4202496 74986 317492 0 2 4403 496 63318 342 18 0 1 0 54826000 137461760 6354 1992294400 4194304 4196484 140735122039488 18446744073709551615 47713814555746 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/11240/statm: 33560 6354 1143 1 0 5197 0
Current children cumulated CPU time (s) 685.59
Current children cumulated vsize (KiB) 134240

Child status: 0
Real time (s): 644.439
CPU time (s): 685.655
CPU user time (s): 677.257
CPU system time (s): 8.39772
CPU usage (%): 106.396
Max. virtual memory (cumulated for all children) (KiB): 1617664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 677.257
system time used= 8.39772
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 393581
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= 9588
involuntary context switches= 13796

runsolver used 1.84972 second user time and 3.42148 second system time

The end

Launcher Data 

Begin job on node042 at 2010-06-21 17:48:55
IDJOB=2675848
IDBENCH=48291
IDSOLVER=1178
FILE ID=node042/2675848-1277135335
PBS_JOBID= 11182083
Free space on /tmp= 62508 MiB

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

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

MD5SUM BENCH= 476815bfad4ec3fb3f4fdbbbbf10b706
RANDOM SEED=2125844894

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1514824 kB
Buffers:        124256 kB
Cached:         315856 kB
SwapCached:       5428 kB
Active:         256832 kB
Inactive:       196192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1514824 kB
SwapTotal:     4192956 kB
SwapFree:      4140348 kB
Dirty:           20508 kB
Writeback:           0 kB
AnonPages:       11488 kB
Mapped:          12900 kB
Slab:            69288 kB
PageTables:       4088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   185004 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= 62488 MiB
End job on node042 at 2010-06-21 17:59:40