Trace number 2675916

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
borg-pb 10.05.30? 684.621 642.288

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_2_40.opb
MD5SUMff64c7b9cef588c95a335f732f2d905b
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12440
Sum of products size (including duplicates)24880
Number of different products6220
Sum of products size12440

Solver Data 

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

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.05 1.05 0.92 3/106 4144
/proc/meminfo: memFree=1548088/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=16708 CPUtime=0
/proc/4144/stat : 4144 (python) R 4142 4144 3624 0 -1 4202496 716 0 0 0 0 0 0 0 18 0 1 0 89180036 17108992 482 1992294400 4194304 4196484 140734170934256 18446744073709551615 255362207135 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4144/statm: 4177 482 267 1 0 273 0

[startup+0.094932 s]
/proc/loadavg: 1.05 1.05 0.92 3/106 4144
/proc/meminfo: memFree=1548088/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=32152 CPUtime=0.08
/proc/4144/stat : 4144 (python) S 4142 4144 3624 0 -1 4202496 2412 0 0 0 6 2 0 0 20 0 1 0 89180036 32923648 1389 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345842176 0 2147483391 16781312 2 0 0 0 17 0 0 0 0
/proc/4144/statm: 8038 1389 459 1 0 910 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32152

[startup+0.104843 s]
/proc/loadavg: 1.05 1.05 0.92 3/106 4144
/proc/meminfo: memFree=1548088/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=34212 CPUtime=0.08
/proc/4144/stat : 4144 (python) R 4142 4144 3624 0 -1 4202496 2420 0 0 0 6 2 0 0 20 0 1 0 89180036 35033088 1393 1992294400 4194304 4196484 140733487787408 18446744073709551615 47260575062149 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4144/statm: 8553 1393 462 1 0 910 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34212

[startup+0.300838 s]
/proc/loadavg: 1.05 1.05 0.92 3/106 4144
/proc/meminfo: memFree=1548088/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=71376 CPUtime=0.26
/proc/4144/stat : 4144 (python) R 4142 4144 3624 0 -1 4202496 4196 0 0 0 19 7 0 0 20 0 1 0 89180036 73089024 2990 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345502866 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4144/statm: 17844 2990 695 1 0 2331 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 71376

[startup+0.700828 s]
/proc/loadavg: 1.05 1.05 0.92 3/106 4144
/proc/meminfo: memFree=1548088/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=104292 CPUtime=0.63
/proc/4144/stat : 4144 (python) R 4142 4144 3624 0 -1 4202496 6164 929 0 0 42 20 0 1 20 0 1 0 89180036 106795008 4405 1992294400 4194304 4196484 140733487787408 18446744073709551615 47260575334839 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4144/statm: 26073 4405 1028 1 0 3414 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 104292

[startup+1.50171 s]
/proc/loadavg: 1.05 1.05 0.92 2/107 4149
/proc/meminfo: memFree=1528736/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134108 CPUtime=1.31
/proc/4144/stat : 4144 (python) R 4142 4144 3624 0 -1 4202496 11519 2374 0 0 95 34 0 2 17 0 1 0 89180036 137326592 6329 1992294400 4194304 4196484 140733487787408 18446744073709551615 47260574788974 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4144/statm: 33527 6329 1143 1 0 5164 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 134108

[startup+3.10098 s]
/proc/loadavg: 1.12 1.07 0.93 2/108 4156
/proc/meminfo: memFree=1522652/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134108 CPUtime=1.82
/proc/4144/stat : 4144 (python) S 4142 4144 3624 0 -1 4202496 12659 3814 0 0 138 39 1 4 15 0 1 0 89180036 137326592 6331 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345864207 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/4144/statm: 33527 6331 1143 1 0 5164 0
[pid=4156] ppid=4144 vsize=10128 CPUtime=1.43
/proc/4156/stat : 4156 (wbo1.4a) R 4144 4156 4156 0 -1 4202496 2406 0 0 0 141 2 0 0 23 0 1 0 89180202 10371072 2050 1992294400 134512640 135751879 4293992096 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4156/statm: 2532 2050 139 303 0 2227 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 144236

[startup+6.30153 s]
/proc/loadavg: 1.12 1.07 0.93 2/108 4156
/proc/meminfo: memFree=1513228/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134108 CPUtime=2.04
/proc/4144/stat : 4144 (python) S 4142 4144 3624 0 -1 4202496 12664 3814 0 0 157 42 1 4 15 0 1 0 89180036 137326592 6331 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345864207 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/4144/statm: 33527 6331 1143 1 0 5164 0
[pid=4156] ppid=4144 vsize=16472 CPUtime=4.64
/proc/4156/stat : 4156 (wbo1.4a) R 4144 4156 4156 0 -1 4202496 3983 0 0 0 460 4 0 0 25 0 1 0 89180202 16867328 3627 1992294400 134512640 135751879 4293992096 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4156/statm: 4118 3627 139 303 0 3813 0
Current children cumulated CPU time (s) 6.68
Current children cumulated vsize (KiB) 150580

[startup+12.7006 s]
/proc/loadavg: 1.11 1.07 0.93 2/108 4156
/proc/meminfo: memFree=1508144/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134108 CPUtime=2.45
/proc/4144/stat : 4144 (python) S 4142 4144 3624 0 -1 4202496 12679 3814 0 0 193 47 1 4 15 0 1 0 89180036 137326592 6331 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345864207 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/4144/statm: 33527 6331 1143 1 0 5164 0
[pid=4156] ppid=4144 vsize=21408 CPUtime=11.03
/proc/4156/stat : 4156 (wbo1.4a) R 4144 4156 4156 0 -1 4202496 5223 0 0 0 1097 6 0 0 25 0 1 0 89180202 21921792 4867 1992294400 134512640 135751879 4293992096 18446744073709551615 134616514 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4156/statm: 5352 4867 139 303 0 5047 0
Current children cumulated CPU time (s) 13.48
Current children cumulated vsize (KiB) 155516

[startup+25.5008 s]
/proc/loadavg: 1.09 1.06 0.93 2/108 4156
/proc/meminfo: memFree=1486940/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134108 CPUtime=3.21
/proc/4144/stat : 4144 (python) S 4142 4144 3624 0 -1 4202496 12705 3814 0 0 261 55 1 4 15 0 1 0 89180036 137326592 6331 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345864207 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/4144/statm: 33527 6331 1143 1 0 5164 0
[pid=4156] ppid=4144 vsize=42148 CPUtime=23.83
/proc/4156/stat : 4156 (wbo1.4a) R 4144 4156 4156 0 -1 4202496 10393 0 0 0 2369 14 0 0 25 0 1 0 89180202 43159552 10037 1992294400 134512640 135751879 4293992096 18446744073709551615 134517414 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4156/statm: 10537 10037 139 303 0 10232 0
Current children cumulated CPU time (s) 27.04
Current children cumulated vsize (KiB) 176256

[startup+51.1012 s]
/proc/loadavg: 1.06 1.06 0.93 2/108 4156
/proc/meminfo: memFree=1475408/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134108 CPUtime=4.69
/proc/4144/stat : 4144 (python) S 4142 4144 3624 0 -1 4202496 12746 3814 0 0 392 72 1 4 15 0 1 0 89180036 137326592 6331 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345864207 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/4144/statm: 33527 6331 1143 1 0 5164 0
[pid=4156] ppid=4144 vsize=54140 CPUtime=49.41
/proc/4156/stat : 4156 (wbo1.4a) R 4144 4156 4156 0 -1 4202496 13381 0 0 0 4921 20 0 0 25 0 1 0 89180202 55439360 13025 1992294400 134512640 135751879 4293992096 18446744073709551615 134616514 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4156/statm: 13535 13025 139 303 0 13230 0
Current children cumulated CPU time (s) 54.1
Current children cumulated vsize (KiB) 188248

[startup+102.309 s]
/proc/loadavg: 1.11 1.07 0.94 2/108 4164
/proc/meminfo: memFree=1474416/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134108 CPUtime=58.89
/proc/4144/stat : 4144 (python) S 4142 4144 3624 0 -1 4202496 15154 19771 0 0 720 125 5016 28 15 0 1 0 89180036 137326592 6333 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345864207 0 0 16781312 2 159836005329808123 0 0 17 1 0 0 0
/proc/4144/statm: 33527 6333 1143 1 0 5164 0
[pid=4162] ppid=4144 vsize=55692 CPUtime=49.73
/proc/4162/stat : 4162 (wbo1.4a) R 4144 4162 4162 0 -1 4202496 13772 0 0 0 4955 18 0 0 25 0 1 0 89185262 57028608 13412 1992294400 134512640 135751879 4292995856 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4162/statm: 13923 13412 139 303 0 13618 0
Current children cumulated CPU time (s) 108.62
Current children cumulated vsize (KiB) 189800

[startup+162.304 s]
/proc/loadavg: 1.04 1.06 0.94 2/108 4169
/proc/meminfo: memFree=1510748/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134108 CPUtime=163.53
/proc/4144/stat : 4144 (python) R 4142 4144 3624 0 -1 4202496 16373 43533 0 0 1070 178 15045 60 15 0 1 0 89180036 137326592 6335 1992294400 4194304 4196484 140733487787408 18446744073709551615 47260574629479 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4144/statm: 33527 6335 1143 1 0 5164 0
[pid=4169] ppid=4144 vsize=19592 CPUtime=8.74
/proc/4169/stat : 4169 (wbo1.4b) R 4144 4169 4169 0 -1 4202496 5143 0 0 0 867 7 0 0 25 0 1 0 89195391 20062208 4403 1992294400 134512640 135751879 4289621152 18446744073709551615 134616543 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4169/statm: 4898 4403 143 303 0 4593 0
Current children cumulated CPU time (s) 172.27
Current children cumulated vsize (KiB) 153700

[startup+222.302 s]
/proc/loadavg: 1.01 1.04 0.94 2/120 4186
/proc/meminfo: memFree=1384920/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134108 CPUtime=217.78
/proc/4144/stat : 4144 (python) S 4142 4144 3624 0 -1 4202496 17670 58365 0 0 1406 224 20066 82 15 0 1 0 89180036 137326592 6337 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345864207 0 0 16781312 2 159836005329808123 0 0 17 1 0 0 0
/proc/4144/statm: 33527 6337 1143 1 0 5164 0
[pid=4172] ppid=4144 vsize=1482020 CPUtime=19.45
/proc/4172/stat : 4172 (java) S 4144 4172 4172 0 -1 4202496 38538 0 1 0 1927 18 0 0 15 0 13 0 89200439 1517588480 36814 1992294400 134512640 134550932 4292467408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4172/statm: 370505 36814 1438 10 0 367807 0
[pid=4172/tid=4173] ppid=4144 vsize=1482020 CPUtime=17.57
/proc/4172/task/4173/stat : 4173 (java) R 4144 4172 4172 0 -1 4202560 30987 0 1 0 1743 14 0 0 22 0 13 0 89200441 1517588480 36814 1992294400 134512640 134550932 4292467408 18446744073709551615 4110044624 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4172/tid=4174] ppid=4144 vsize=1482020 CPUtime=0.04
/proc/4172/task/4174/stat : 4174 (java) S 4144 4172 4172 0 -1 4202560 1436 0 0 0 4 0 0 0 15 0 13 0 89200442 1517588480 36814 1992294400 134512640 134550932 4292467408 18446744073709551615 4294960144 0 4 0 16800975 18446604437809408064 0 0 -1 0 0 0 0
[pid=4172/tid=4175] ppid=4144 vsize=1482020 CPUtime=0.04
/proc/4172/task/4175/stat : 4175 (java) S 4144 4172 4172 0 -1 4202560 1535 0 0 0 4 0 0 0 18 0 13 0 89200442 1517588480 36814 1992294400 134512640 134550932 4292467408 18446744073709551615 4294960144 0 4 0 16800975 18446604437809408064 0 0 -1 1 0 0 0
[pid=4172/tid=4176] ppid=4144 vsize=1482020 CPUtime=0
/proc/4172/task/4176/stat : 4176 (java) S 4144 4172 4172 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 13 0 89200444 1517588480 36814 1992294400 134512640 134550932 4292467408 18446744073709551615 4294960144 0 0 0 16800975 18446604437809408064 0 0 -1 0 0 0 0
[pid=4172/tid=4177] ppid=4144 vsize=1482020 CPUtime=0
/proc/4172/task/4177/stat : 4177 (java) S 4144 4172 4172 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 89200444 1517588480 36814 1992294400 134512640 134550932 4292467408 18446744073709551615 4294960144 0 4 0 16800975 18446604437809408064 0 0 -1 0 0 0 0
[pid=4172/tid=4178] ppid=4144 vsize=1482020 CPUtime=0
/proc/4172/task/4178/stat : 4178 (java) S 4144 4172 4172 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 89200444 1517588480 36814 1992294400 134512640 134550932 4292467408 18446744073709551615 4294960144 0 4 0 16800975 18446604437809408064 0 0 -1 0 0 0 0
[pid=4172/tid=4179] ppid=4144 vsize=1482020 CPUtime=0
/proc/4172/task/4179/stat : 4179 (java) S 4144 4172 4172 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 89200449 1517588480 36814 1992294400 134512640 134550932 4292467408 18446744073709551615 4294960144 0 4 0 16800975 18446604437809408064 0 0 -1 0 0 0 0
[pid=4172/tid=4180] ppid=4144 vsize=1482020 CPUtime=0.72
/proc/4172/task/4180/stat : 4180 (java) S 4144 4172 4172 0 -1 4202560 1449 0 0 0 72 0 0 0 15 0 13 0 89200449 1517588480 36814 1992294400 134512640 134550932 4292467408 18446744073709551615 4294960144 0 4 0 16800975 18446604437809408064 0 0 -1 0 0 0 0
[pid=4172/tid=4181] ppid=4144 vsize=1482020 CPUtime=1.03
/proc/4172/task/4181/stat : 4181 (java) S 4144 4172 4172 0 -1 4202560 1758 0 0 0 102 1 0 0 15 0 13 0 89200449 1517588480 36814 1992294400 134512640 134550932 4292467408 18446744073709551615 4294960144 0 4 0 16800975 18446604437809408064 0 0 -1 1 0 0 0
[pid=4172/tid=4182] ppid=4144 vsize=1482020 CPUtime=0
/proc/4172/task/4182/stat : 4182 (java) S 4144 4172 4172 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 89200449 1517588480 36814 1992294400 134512640 134550932 4292467408 18446744073709551615 4294960144 0 4 0 16800975 18446604437809408064 0 0 -1 0 0 0 0
[pid=4172/tid=4183] ppid=4144 vsize=1482020 CPUtime=0
/proc/4172/task/4183/stat : 4183 (java) S 4144 4172 4172 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 89200449 1517588480 36814 1992294400 134512640 134550932 4292467408 18446744073709551615 4294960144 0 4 0 16800975 18446604437809408064 0 0 -1 0 0 0 0
[pid=4172/tid=4186] ppid=4144 vsize=1482020 CPUtime=0
/proc/4172/task/4186/stat : 4186 (java) S 4144 4172 4172 0 -1 4202560 6 0 0 0 0 0 0 0 25 0 13 0 89201960 1517588480 36814 1992294400 134512640 134550932 4292467408 18446744073709551615 4294960144 0 4 0 16800975 18446604437809408064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 237.23
Current children cumulated vsize (KiB) 1616128

[startup+282.302 s]
/proc/loadavg: 1.10 1.06 0.95 2/120 4195
/proc/meminfo: memFree=1281364/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134108 CPUtime=221.51
/proc/4144/stat : 4144 (python) S 4142 4144 3624 0 -1 4202496 17738 58365 0 0 1728 275 20066 82 15 0 1 0 89180036 137326592 6337 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345864207 0 0 16781312 2 159836005329808123 0 0 17 1 0 0 0
/proc/4144/statm: 33527 6337 1143 1 0 5164 0
[pid=4172] ppid=4144 vsize=1482020 CPUtime=79.52
/proc/4172/stat : 4172 (java) S 4144 4172 4172 0 -1 4202496 71480 0 1 0 7916 36 0 0 15 0 13 0 89200439 1517588480 63910 1992294400 134512640 134550932 4292467408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4172/statm: 370505 63910 1438 10 0 367807 0
[pid=4172/tid=4173] ppid=4144 vsize=1482020 CPUtime=76.62
/proc/4172/task/4173/stat : 4173 (java) R 4144 4172 4172 0 -1 4202560 31016 0 1 0 7645 17 0 0 25 0 13 0 89200441 1517588480 63910 1992294400 134512640 134550932 4292467408 18446744073709551615 4110006798 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4172/tid=4174] ppid=4144 vsize=1482020 CPUtime=0.5
/proc/4172/task/4174/stat : 4174 (java) S 4144 4172 4172 0 -1 4202560 18026 0 0 0 42 8 0 0 15 0 13 0 89200442 1517588480 63910 1992294400 134512640 134550932 4292467408 18446744073709551615 4294960144 0 4 0 16800975 18446604437809408064 0 0 -1 0 0 0 0
[pid=4172/tid=4175] ppid=4144 vsize=1482020 CPUtime=0.49
/proc/4172/task/4175/stat : 4175 (java) S 4144 4172 4172 0 -1 4202560 17833 0 0 0 42 7 0 0 16 0 13 0 89200442 1517588480 63910 1992294400 134512640 134550932 4292467408 18446744073709551615 4294960144 0 4 0 16800975 18446604437809408064 0 0 -1 0 0 0 0
[pid=4172/tid=4176] ppid=4144 vsize=1482020 CPUtime=0

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

/proc/4200/statm: 11757 11247 144 303 0 11452 0
Current children cumulated CPU time (s) 364.87
Current children cumulated vsize (KiB) 181136

[startup+402.302 s]
/proc/loadavg: 1.19 1.10 0.97 2/108 4202
/proc/meminfo: memFree=1438708/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134108 CPUtime=329.79
/proc/4144/stat : 4144 (python) S 4142 4144 3624 0 -1 4202496 19052 141872 0 1 2382 366 30102 129 16 0 1 0 89180036 137326592 6339 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345864207 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/4144/statm: 33527 6339 1143 1 0 5164 0
[pid=4200] ppid=4144 vsize=90668 CPUtime=98.57
/proc/4200/stat : 4200 (wbo1.4b) R 4144 4200 4200 0 -1 4202496 22878 0 0 0 9825 32 0 0 25 0 1 0 89210405 92844032 22140 1992294400 134512640 135751879 4291804416 18446744073709551615 134616497 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4200/statm: 22667 22140 144 303 0 22362 0
Current children cumulated CPU time (s) 428.36
Current children cumulated vsize (KiB) 224776

[startup+462.301 s]
/proc/loadavg: 1.24 1.14 1.00 2/108 4216
/proc/meminfo: memFree=1511248/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134108 CPUtime=485.36
/proc/4144/stat : 4144 (python) S 4142 4144 3624 0 -1 4202496 23827 171908 0 1 2776 422 45160 178 15 0 1 0 89180036 137326592 6342 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345864207 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/4144/statm: 33527 6342 1143 1 0 5164 0
[pid=4216] ppid=4144 vsize=17888 CPUtime=6.8
/proc/4216/stat : 4216 (wbo1.4a) R 4144 4216 4216 0 -1 4202496 4356 0 0 0 676 4 0 0 25 0 1 0 89225584 18317312 3996 1992294400 134512640 135751879 4287489712 18446744073709551615 134616514 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4216/statm: 4472 3996 139 303 0 4167 0
Current children cumulated CPU time (s) 492.16
Current children cumulated vsize (KiB) 151996

[startup+522.302 s]
/proc/loadavg: 1.25 1.16 1.01 2/120 4251
/proc/meminfo: memFree=1311264/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134108 CPUtime=510.8
/proc/4144/stat : 4144 (python) S 4142 4144 3624 0 -1 4202496 32169 188775 0 1 3198 475 47208 199 16 0 1 0 89180036 137326592 6345 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345864207 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/4144/statm: 33527 6345 1143 1 0 5164 0
[pid=4237] ppid=4144 vsize=1479956 CPUtime=46.53
/proc/4237/stat : 4237 (java) S 4144 4237 4237 0 -1 4202496 61342 0 1 0 4620 33 0 0 15 0 13 0 89227743 1515474944 55401 1992294400 134512640 134550932 4292139616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4237/statm: 369989 55401 1438 10 0 367291 0
[pid=4237/tid=4238] ppid=4144 vsize=1479956 CPUtime=43.85
/proc/4237/task/4238/stat : 4238 (java) R 4144 4237 4237 0 -1 4202560 30988 0 1 0 4367 18 0 0 25 0 13 0 89227745 1515474944 55401 1992294400 134512640 134550932 4292139616 18446744073709551615 4109881859 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4237/tid=4239] ppid=4144 vsize=1479956 CPUtime=0.38
/proc/4237/task/4239/stat : 4239 (java) S 4144 4237 4237 0 -1 4202560 13479 0 0 0 33 5 0 0 15 0 13 0 89227747 1515474944 55401 1992294400 134512640 134550932 4292139616 18446744073709551615 4294960144 0 4 0 16800975 18446604437837065280 0 0 -1 0 0 0 0
[pid=4237/tid=4240] ppid=4144 vsize=1479956 CPUtime=0.38
/proc/4237/task/4240/stat : 4240 (java) S 4144 4237 4237 0 -1 4202560 12699 0 0 0 32 6 0 0 18 0 13 0 89227747 1515474944 55401 1992294400 134512640 134550932 4292139616 18446744073709551615 4294960144 0 4 0 16800975 18446604437837065280 0 0 -1 1 0 0 0
[pid=4237/tid=4241] ppid=4144 vsize=1479956 CPUtime=0
/proc/4237/task/4241/stat : 4241 (java) S 4144 4237 4237 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 13 0 89227748 1515474944 55401 1992294400 134512640 134550932 4292139616 18446744073709551615 4294960144 0 0 0 16800975 18446604437837065280 0 0 -1 0 0 0 0
[pid=4237/tid=4242] ppid=4144 vsize=1479956 CPUtime=0
/proc/4237/task/4242/stat : 4242 (java) S 4144 4237 4237 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 89227749 1515474944 55401 1992294400 134512640 134550932 4292139616 18446744073709551615 4294960144 0 4 0 16800975 18446604437837065280 0 0 -1 0 0 0 0
[pid=4237/tid=4243] ppid=4144 vsize=1479956 CPUtime=0
/proc/4237/task/4243/stat : 4243 (java) S 4144 4237 4237 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 89227749 1515474944 55401 1992294400 134512640 134550932 4292139616 18446744073709551615 4294960144 0 4 0 16800975 18446604437837065280 0 0 -1 0 0 0 0
[pid=4237/tid=4244] ppid=4144 vsize=1479956 CPUtime=0
/proc/4237/task/4244/stat : 4244 (java) S 4144 4237 4237 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 89227753 1515474944 55401 1992294400 134512640 134550932 4292139616 18446744073709551615 4294960144 0 4 0 16800975 18446604437837065280 0 0 -1 0 0 0 0
[pid=4237/tid=4245] ppid=4144 vsize=1479956 CPUtime=0.74
/proc/4237/task/4245/stat : 4245 (java) S 4144 4237 4237 0 -1 4202560 1535 0 0 0 74 0 0 0 15 0 13 0 89227753 1515474944 55401 1992294400 134512640 134550932 4292139616 18446744073709551615 4294960144 0 4 0 16800975 18446604437837065280 0 0 -1 1 0 0 0
[pid=4237/tid=4246] ppid=4144 vsize=1479956 CPUtime=1.11
/proc/4237/task/4246/stat : 4246 (java) S 4144 4237 4237 0 -1 4202560 1240 0 0 0 111 0 0 0 16 0 13 0 89227753 1515474944 55401 1992294400 134512640 134550932 4292139616 18446744073709551615 4294960144 0 4 0 16800975 18446604437837065280 0 0 -1 0 0 0 0
[pid=4237/tid=4247] ppid=4144 vsize=1479956 CPUtime=0
/proc/4237/task/4247/stat : 4247 (java) S 4144 4237 4237 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 89227753 1515474944 55401 1992294400 134512640 134550932 4292139616 18446744073709551615 4294960144 0 4 0 16800975 18446604437837065280 0 0 -1 0 0 0 0
[pid=4237/tid=4248] ppid=4144 vsize=1479956 CPUtime=0
/proc/4237/task/4248/stat : 4248 (java) S 4144 4237 4237 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 13 0 89227753 1515474944 55401 1992294400 134512640 134550932 4292139616 18446744073709551615 4294960144 0 4 0 16800975 18446604437837065280 0 0 -1 0 0 0 0
[pid=4237/tid=4249] ppid=4144 vsize=1479956 CPUtime=0
/proc/4237/task/4249/stat : 4249 (java) S 4144 4237 4237 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 89229254 1515474944 55401 1992294400 134512640 134550932 4292139616 18446744073709551615 4294960144 0 4 0 16800975 18446604437837065280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 557.33
Current children cumulated vsize (KiB) 1614064

[startup+582.3 s]
/proc/loadavg: 1.19 1.16 1.01 2/108 4272
/proc/meminfo: memFree=1519184/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134108 CPUtime=576.39
/proc/4144/stat : 4144 (python) S 4142 4144 3624 0 -1 4202496 40574 265517 0 2 3629 519 53238 253 15 0 1 0 89180036 137326592 6348 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345864207 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/4144/statm: 33527 6348 1143 1 0 5164 0
[pid=4272] ppid=4144 vsize=17696 CPUtime=44.81
/proc/4272/stat : 4272 (bsolo_pb10) R 4144 4272 4272 0 -1 4202496 2303 0 0 0 4474 7 0 0 25 0 1 0 89233783 18120704 1941 1992294400 134512640 137138936 4293402880 18446744073709551615 134542187 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/4272/statm: 4424 1941 185 642 0 3780 0
Current children cumulated CPU time (s) 621.2
Current children cumulated vsize (KiB) 151804

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

[startup+614.301 s]
/proc/loadavg: 1.10 1.14 1.01 2/108 4274
/proc/meminfo: memFree=1502196/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134108 CPUtime=578.39
/proc/4144/stat : 4144 (python) S 4142 4144 3624 0 -1 4202496 40588 265517 0 2 3817 531 53238 253 16 0 1 0 89180036 137326592 6348 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345864207 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/4144/statm: 33527 6348 1143 1 0 5164 0
[pid=4272] ppid=4144 vsize=35436 CPUtime=76.8
/proc/4272/stat : 4272 (bsolo_pb10) R 4144 4272 4272 0 -1 4202496 7157 0 0 0 7662 18 0 0 25 0 1 0 89233783 36286464 6404 1992294400 134512640 137138936 4293402880 18446744073709551615 134542316 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/4272/statm: 8859 6404 192 642 0 8215 0
Current children cumulated CPU time (s) 655.19
Current children cumulated vsize (KiB) 169544

[startup+627.101 s]
/proc/loadavg: 1.16 1.15 1.01 2/108 4274
/proc/meminfo: memFree=1495500/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134108 CPUtime=579.12
/proc/4144/stat : 4144 (python) S 4142 4144 3624 0 -1 4202496 40594 265517 0 2 3886 535 53238 253 15 0 1 0 89180036 137326592 6348 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345864207 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/4144/statm: 33527 6348 1143 1 0 5164 0
[pid=4272] ppid=4144 vsize=41236 CPUtime=89.6
/proc/4272/stat : 4272 (bsolo_pb10) R 4144 4272 4272 0 -1 4202496 8633 0 0 0 8941 19 0 0 25 0 1 0 89233783 42225664 7880 1992294400 134512640 137138936 4293402880 18446744073709551615 134575222 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/4272/statm: 10309 7880 192 642 0 9665 0
Current children cumulated CPU time (s) 668.72
Current children cumulated vsize (KiB) 175344

[startup+633.501 s]
/proc/loadavg: 1.30 1.18 1.02 2/108 4274
/proc/meminfo: memFree=1492028/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134108 CPUtime=579.49
/proc/4144/stat : 4144 (python) S 4142 4144 3624 0 -1 4202496 40597 265517 0 2 3921 537 53238 253 15 0 1 0 89180036 137326592 6348 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345864207 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/4144/statm: 33527 6348 1143 1 0 5164 0
[pid=4272] ppid=4144 vsize=44812 CPUtime=96
/proc/4272/stat : 4272 (bsolo_pb10) R 4144 4272 4272 0 -1 4202496 9501 0 0 0 9581 19 0 0 25 0 1 0 89233783 45887488 8748 1992294400 134512640 137138936 4293402880 18446744073709551615 134606982 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/4272/statm: 11203 8748 192 642 0 10559 0
Current children cumulated CPU time (s) 675.49
Current children cumulated vsize (KiB) 178920

[startup+636.702 s]
/proc/loadavg: 1.30 1.18 1.02 2/108 4274
/proc/meminfo: memFree=1491036/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134108 CPUtime=579.69
/proc/4144/stat : 4144 (python) S 4142 4144 3624 0 -1 4202496 40599 265517 0 2 3939 539 53238 253 16 0 1 0 89180036 137326592 6348 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345864207 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/4144/statm: 33527 6348 1143 1 0 5164 0
[pid=4272] ppid=4144 vsize=46060 CPUtime=99.2
/proc/4272/stat : 4272 (bsolo_pb10) R 4144 4272 4272 0 -1 4202496 9842 0 0 0 9900 20 0 0 25 0 1 0 89233783 47165440 9089 1992294400 134512640 137138936 4293402880 18446744073709551615 134578132 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/4272/statm: 11515 9089 192 642 0 10871 0
Current children cumulated CPU time (s) 678.89
Current children cumulated vsize (KiB) 180168

[startup+639.901 s]
/proc/loadavg: 1.27 1.17 1.02 2/108 4295
/proc/meminfo: memFree=1524888/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134104 CPUtime=682.19
/proc/4144/stat : 4144 (python) R 4142 4144 3624 0 -1 4202496 54390 292970 0 2 4093 568 63263 295 18 0 1 0 89180036 137322496 6351 1992294400 4194304 4196484 140733487787408 18446744073709551615 47260575043106 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4144/statm: 33526 6351 1143 1 0 5163 0
Current children cumulated CPU time (s) 682.19
Current children cumulated vsize (KiB) 134104

[startup+641.502 s]
/proc/loadavg: 1.27 1.17 1.02 2/108 4331
/proc/meminfo: memFree=1525508/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134236 CPUtime=683.8
/proc/4144/stat : 4144 (python) R 4142 4144 3624 0 -1 4202496 64802 306200 0 2 4214 587 63270 309 18 0 1 0 89180036 137457664 6354 1992294400 4194304 4196484 140733487787408 18446744073709551615 255349325555 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4144/statm: 33559 6354 1143 1 0 5196 0
Current children cumulated CPU time (s) 683.8
Current children cumulated vsize (KiB) 134236

[startup+641.902 s]
/proc/loadavg: 1.27 1.17 1.02 2/108 4331
/proc/meminfo: memFree=1525508/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134240 CPUtime=684.2
/proc/4144/stat : 4144 (python) R 4142 4144 3624 0 -1 4202496 67681 309126 0 2 4244 593 63271 312 18 0 1 0 89180036 137461760 6354 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345887367 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4144/statm: 33560 6354 1143 1 0 5197 0
Current children cumulated CPU time (s) 684.2
Current children cumulated vsize (KiB) 134240

[startup+642.101 s]
/proc/loadavg: 1.27 1.17 1.02 2/108 4331
/proc/meminfo: memFree=1525508/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134240 CPUtime=684.4
/proc/4144/stat : 4144 (python) R 4142 4144 3624 0 -1 4202496 68844 310595 0 2 4258 596 63272 314 18 0 1 0 89180036 137461760 6355 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345842176 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4144/statm: 33560 6355 1143 1 0 5197 0
Current children cumulated CPU time (s) 684.4
Current children cumulated vsize (KiB) 134240

[startup+642.201 s]
/proc/loadavg: 1.27 1.17 1.02 2/108 4331
/proc/meminfo: memFree=1525508/2059040 swapFree=4135892/4192956
[pid=4144] ppid=4142 vsize=134240 CPUtime=684.51
/proc/4144/stat : 4144 (python) R 4142 4144 3624 0 -1 4202496 68881 311126 0 2 4268 597 63272 314 19 0 1 0 89180036 137461760 6355 1992294400 4194304 4196484 140733487787408 18446744073709551615 255345664405 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4144/statm: 33560 6355 1143 1 0 5197 0
Current children cumulated CPU time (s) 684.51
Current children cumulated vsize (KiB) 134240

Child status: 0
Real time (s): 642.288
CPU time (s): 684.621
CPU user time (s): 675.474
CPU system time (s): 9.14661
CPU usage (%): 106.591
Max. virtual memory (cumulated for all children) (KiB): 1617152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 675.474
system time used= 9.14661
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 385796
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= 7667
involuntary context switches= 12321

runsolver used 1.3048 second user time and 3.14052 second system time

The end

Launcher Data 

Begin job on node014 at 2010-06-21 17:56:26
IDJOB=2675916
IDBENCH=48359
IDSOLVER=1178
FILE ID=node014/2675916-1277135786
PBS_JOBID= 11182096
Free space on /tmp= 62548 MiB

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

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

MD5SUM BENCH= ff64c7b9cef588c95a335f732f2d905b
RANDOM SEED=794513949

node014.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.258
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.51
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.258
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1548492 kB
Buffers:        122892 kB
Cached:         282372 kB
SwapCached:      10368 kB
Active:         226940 kB
Inactive:       192072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1548492 kB
SwapTotal:     4192956 kB
SwapFree:      4135892 kB
Dirty:           21788 kB
Writeback:          16 kB
AnonPages:       12124 kB
Mapped:           9252 kB
Slab:            69664 kB
PageTables:       4100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184484 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= 62528 MiB
End job on node014 at 2010-06-21 18:07:09