Trace number 3739615

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
PB10: borg-pb 10.05.30? (TO) 1800.09 1719.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12038_3-sat.opb
MD5SUM56cc40b9ea431027514a5b56e02d7edb
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, 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 variables37752
Total number of constraints125892
Number of constraints which are clauses125272
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints620
Minimum length of a constraint1
Maximum length of a constraint120
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 34
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 740
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.37/1.76	c DEBUG: probabilities of action success (DCM model):
0.37/1.76	c        pb/competition_2010/bsolo_pb10-l1   : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331
0.37/1.76	c        pb/competition_2010/bsolo_pb10-l2   : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493
0.37/1.76	c        pb/competition_2010/bsolo_pb10-l3   : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927
0.37/1.76	c        pb/competition_2010/wbo1.4a         : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114
0.37/1.76	c        pb/competition_2010/wbo1.4b         : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796
0.37/1.76	c        pb/other/clasp-1.3.3                : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586
0.37/1.76	c        pb/other/sat4j-pb-v20090829         : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315
0.37/1.76	c        pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110
0.37/1.77	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=753928872', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
10.88/11.85	c DEBUG: probabilities of action success (DCM model):
10.88/11.85	c        pb/competition_2010/bsolo_pb10-l1   : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
10.88/11.85	c        pb/competition_2010/bsolo_pb10-l2   : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
10.88/11.85	c        pb/competition_2010/bsolo_pb10-l3   : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
10.88/11.85	c        pb/competition_2010/wbo1.4a         : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
10.88/11.85	c        pb/competition_2010/wbo1.4b         : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
10.88/11.85	c        pb/other/clasp-1.3.3                : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
10.88/11.85	c        pb/other/sat4j-pb-v20090829         : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
10.88/11.85	c        pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
10.88/11.85	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1474853306', u'HOME/instance-3739615-1338719268.opb'] for 0:00:50
63.49/62.21	c DEBUG: probabilities of action success (DCM model):
63.49/62.21	c        pb/competition_2010/bsolo_pb10-l1   : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
63.49/62.21	c        pb/competition_2010/bsolo_pb10-l2   : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
63.49/62.21	c        pb/competition_2010/bsolo_pb10-l3   : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
63.49/62.21	c        pb/competition_2010/wbo1.4a         : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
63.49/62.21	c        pb/competition_2010/wbo1.4b         : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
63.49/62.21	c        pb/other/clasp-1.3.3                : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
63.49/62.21	c        pb/other/sat4j-pb-v20090829         : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
63.49/62.21	c        pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
63.49/62.21	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3739615-1338719268.opb'] for 0:00:50
116.35/112.67	c DEBUG: probabilities of action success (DCM model):
116.35/112.67	c        pb/competition_2010/bsolo_pb10-l1   : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
116.35/112.67	c        pb/competition_2010/bsolo_pb10-l2   : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
116.35/112.67	c        pb/competition_2010/bsolo_pb10-l3   : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
116.35/112.67	c        pb/competition_2010/wbo1.4a         : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
116.35/112.67	c        pb/competition_2010/wbo1.4b         : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
116.35/112.67	c        pb/other/clasp-1.3.3                : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
116.35/112.67	c        pb/other/sat4j-pb-v20090829         : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
116.35/112.67	c        pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
116.35/112.67	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1205480325', u'HOME/instance-3739615-1338719268.opb'] for 0:01:40
220.83/212.77	c DEBUG: probabilities of action success (DCM model):
220.83/212.77	c        pb/competition_2010/bsolo_pb10-l1   : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
220.83/212.77	c        pb/competition_2010/bsolo_pb10-l2   : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
220.83/212.77	c        pb/competition_2010/bsolo_pb10-l3   : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
220.83/212.77	c        pb/competition_2010/wbo1.4a         : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
220.83/212.77	c        pb/competition_2010/wbo1.4b         : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
220.83/212.77	c        pb/other/clasp-1.3.3                : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
220.83/212.77	c        pb/other/sat4j-pb-v20090829         : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
220.83/212.77	c        pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
220.83/212.77	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3739615-1338719268.opb'] for 0:01:40
325.87/313.16	c DEBUG: probabilities of action success (DCM model):
325.87/313.16	c        pb/competition_2010/bsolo_pb10-l1   : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
325.87/313.16	c        pb/competition_2010/bsolo_pb10-l2   : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
325.87/313.16	c        pb/competition_2010/bsolo_pb10-l3   : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
325.87/313.16	c        pb/competition_2010/wbo1.4a         : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
325.87/313.16	c        pb/competition_2010/wbo1.4b         : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
325.87/313.16	c        pb/other/clasp-1.3.3                : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
325.87/313.16	c        pb/other/sat4j-pb-v20090829         : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
325.87/313.16	c        pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
325.87/313.16	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3739615-1338719268.opb'] for 0:00:50
378.37/363.31	c DEBUG: probabilities of action success (DCM model):
378.37/363.31	c        pb/competition_2010/bsolo_pb10-l1   : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
378.37/363.31	c        pb/competition_2010/bsolo_pb10-l2   : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
378.37/363.31	c        pb/competition_2010/bsolo_pb10-l3   : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
378.37/363.31	c        pb/competition_2010/wbo1.4a         : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
378.37/363.31	c        pb/competition_2010/wbo1.4b         : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
378.37/363.31	c        pb/other/clasp-1.3.3                : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
378.37/363.31	c        pb/other/sat4j-pb-v20090829         : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
378.37/363.31	c        pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
378.37/363.31	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-3739615-1338719268.opb'] for 0:01:40
483.53/461.73	c DEBUG: probabilities of action success (DCM model):
483.53/461.73	c        pb/competition_2010/bsolo_pb10-l1   : 0.0113 0.0134 0.0468 0.1111 0.1700 0.2008 0.3121
483.53/461.73	c        pb/competition_2010/bsolo_pb10-l2   : 0.0003 0.0004 0.0004 0.0097 0.0246 0.0337 0.1349
483.53/461.73	c        pb/competition_2010/bsolo_pb10-l3   : 0.0350 0.0698 0.0716 0.0742 0.0803 0.1102 0.2054
483.53/461.73	c        pb/competition_2010/wbo1.4a         : 0.0412 0.0077 0.0057 0.2651 0.4171 0.5010 0.7572
483.53/461.73	c        pb/competition_2010/wbo1.4b         : 0.0393 0.0018 0.1223 0.3301 0.5006 0.5897 0.7412
483.53/461.73	c        pb/other/clasp-1.3.3                : 0.0438 0.0393 0.0774 0.5834 0.6917 0.7344 0.8415
483.53/461.73	c        pb/other/sat4j-pb-v20090829         : 0.0113 0.0469 0.0012 0.2219 0.2984 0.3590 0.5209
483.53/461.73	c        pb/other/sat4j-pb-v20090829-cutting : 0.0068 0.0314 0.0319 0.0608 0.0967 0.1155 0.2497
483.53/461.74	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3739615-1338719268.opb'] for 0:01:40
588.78/562.42	c DEBUG: probabilities of action success (DCM model):
588.78/562.42	c        pb/competition_2010/bsolo_pb10-l1   : 0.0057 0.0071 0.0414 0.1021 0.1619 0.1915 0.2956
588.78/562.42	c        pb/competition_2010/bsolo_pb10-l2   : 0.0001 0.0001 0.0001 0.0077 0.0229 0.0303 0.1153
588.78/562.42	c        pb/competition_2010/bsolo_pb10-l3   : 0.0337 0.0722 0.0727 0.0742 0.0771 0.1052 0.1843
588.78/562.42	c        pb/competition_2010/wbo1.4a         : 0.0430 0.0055 0.0046 0.2375 0.3823 0.4676 0.7399
588.78/562.42	c        pb/competition_2010/wbo1.4b         : 0.0298 0.0007 0.0251 0.2904 0.4467 0.5397 0.7097
588.78/562.42	c        pb/other/clasp-1.3.3                : 0.0452 0.0419 0.0705 0.5569 0.6657 0.7106 0.8227
588.78/562.42	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0367 0.0011 0.1953 0.2620 0.3061 0.4652
588.78/562.42	c        pb/other/sat4j-pb-v20090829-cutting : 0.0047 0.0213 0.0220 0.0357 0.0726 0.0877 0.2092
588.78/562.42	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-3739615-1338719268.opb'] for 0:00:50
641.47/612.72	c DEBUG: probabilities of action success (DCM model):
641.47/612.72	c        pb/competition_2010/bsolo_pb10-l1   : 0.0056 0.0070 0.0350 0.0875 0.1379 0.1679 0.2779
641.47/612.72	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0082 0.0206 0.0285 0.1112
641.47/612.72	c        pb/competition_2010/bsolo_pb10-l3   : 0.0271 0.0006 0.0648 0.0663 0.0694 0.0943 0.1707
641.47/612.72	c        pb/competition_2010/wbo1.4a         : 0.0418 0.0058 0.0048 0.2383 0.3810 0.4683 0.7449
641.47/612.72	c        pb/competition_2010/wbo1.4b         : 0.0319 0.0007 0.0234 0.2842 0.4328 0.5290 0.7099
641.47/612.72	c        pb/other/clasp-1.3.3                : 0.0466 0.0429 0.0715 0.5647 0.6728 0.7172 0.8274
641.47/612.72	c        pb/other/sat4j-pb-v20090829         : 0.0089 0.0393 0.0011 0.1832 0.2460 0.2933 0.4648
641.47/612.72	c        pb/other/sat4j-pb-v20090829-cutting : 0.0049 0.0225 0.0232 0.0376 0.0774 0.0936 0.2247
641.47/612.72	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=2099571639', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
652.06/622.81	c DEBUG: probabilities of action success (DCM model):
652.06/622.81	c        pb/competition_2010/bsolo_pb10-l1   : 0.0048 0.0062 0.0356 0.0901 0.1429 0.1729 0.2823
652.06/622.81	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0085 0.0216 0.0299 0.1142
652.06/622.81	c        pb/competition_2010/bsolo_pb10-l3   : 0.0284 0.0006 0.0660 0.0675 0.0708 0.0964 0.1746
652.06/622.81	c        pb/competition_2010/wbo1.4a         : 0.0419 0.0061 0.0050 0.2416 0.3851 0.4718 0.7463
652.06/622.81	c        pb/competition_2010/wbo1.4b         : 0.0313 0.0007 0.0242 0.2884 0.4409 0.5368 0.7143
652.06/622.81	c        pb/other/clasp-1.3.3                : 0.0432 0.0422 0.0717 0.5642 0.6732 0.7178 0.8280
652.06/622.81	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0402 0.0011 0.1889 0.2523 0.3000 0.4690
652.06/622.81	c        pb/other/sat4j-pb-v20090829-cutting : 0.0041 0.0196 0.0203 0.0354 0.0744 0.0909 0.2215
652.06/622.81	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1532833991', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
662.50/632.89	c DEBUG: probabilities of action success (DCM model):
662.50/632.89	c        pb/competition_2010/bsolo_pb10-l1   : 0.0043 0.0058 0.0365 0.0929 0.1481 0.1780 0.2865
662.50/632.89	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0089 0.0225 0.0312 0.1171
662.50/632.89	c        pb/competition_2010/bsolo_pb10-l3   : 0.0297 0.0007 0.0671 0.0686 0.0720 0.0984 0.1784
662.50/632.89	c        pb/competition_2010/wbo1.4a         : 0.0419 0.0064 0.0052 0.2447 0.3890 0.4751 0.7470
662.50/632.89	c        pb/competition_2010/wbo1.4b         : 0.0310 0.0007 0.0249 0.2925 0.4487 0.5442 0.7181
662.50/632.89	c        pb/other/clasp-1.3.3                : 0.0408 0.0415 0.0717 0.5640 0.6738 0.7185 0.8288
662.50/632.89	c        pb/other/sat4j-pb-v20090829         : 0.0081 0.0414 0.0012 0.1953 0.2599 0.3078 0.4741
662.50/632.89	c        pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0182 0.0189 0.0346 0.0729 0.0895 0.2196
662.50/632.89	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
673.51/643.12	c DEBUG: probabilities of action success (DCM model):
673.51/643.12	c        pb/competition_2010/bsolo_pb10-l1   : 0.0042 0.0051 0.0367 0.0952 0.1515 0.1809 0.2919
673.51/643.12	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0091 0.0232 0.0322 0.1217
673.51/643.12	c        pb/competition_2010/bsolo_pb10-l3   : 0.0308 0.0006 0.0658 0.0668 0.0704 0.0979 0.1806
673.51/643.12	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0062 0.0054 0.2431 0.3935 0.4830 0.7552
673.51/643.12	c        pb/competition_2010/wbo1.4b         : 0.0322 0.0006 0.0259 0.2941 0.4539 0.5495 0.7272
673.51/643.12	c        pb/other/clasp-1.3.3                : 0.0407 0.0412 0.0702 0.5773 0.6906 0.7332 0.8386
673.51/643.12	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0415 0.0012 0.1996 0.2666 0.3166 0.4896
673.51/643.12	c        pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0187 0.0192 0.0349 0.0747 0.0916 0.2271
673.51/643.12	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1111461334', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
684.10/653.20	c DEBUG: probabilities of action success (DCM model):
684.10/653.20	c        pb/competition_2010/bsolo_pb10-l1   : 0.0039 0.0049 0.0378 0.0982 0.1569 0.1862 0.2962
684.10/653.20	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0095 0.0242 0.0336 0.1245
684.10/653.20	c        pb/competition_2010/bsolo_pb10-l3   : 0.0321 0.0007 0.0669 0.0680 0.0717 0.1000 0.1846
684.10/653.20	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0064 0.0056 0.2461 0.3974 0.4861 0.7556
684.10/653.20	c        pb/competition_2010/wbo1.4b         : 0.0321 0.0006 0.0266 0.2983 0.4618 0.5570 0.7307
684.10/653.20	c        pb/other/clasp-1.3.3                : 0.0387 0.0405 0.0702 0.5772 0.6912 0.7339 0.8394
684.10/653.20	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0428 0.0012 0.2064 0.2748 0.3250 0.4951
684.10/653.20	c        pb/other/sat4j-pb-v20090829-cutting : 0.0036 0.0179 0.0184 0.0347 0.0737 0.0907 0.2256
684.10/653.21	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1792254239', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
694.56/663.29	c DEBUG: probabilities of action success (DCM model):
694.56/663.29	c        pb/competition_2010/bsolo_pb10-l1   : 0.0037 0.0048 0.0389 0.1012 0.1623 0.1915 0.3004
694.56/663.29	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0099 0.0251 0.0349 0.1274
694.56/663.29	c        pb/competition_2010/bsolo_pb10-l3   : 0.0334 0.0007 0.0680 0.0691 0.0729 0.1020 0.1884
694.56/663.29	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0067 0.0057 0.2490 0.4011 0.4892 0.7558
694.56/663.29	c        pb/competition_2010/wbo1.4b         : 0.0320 0.0006 0.0273 0.3025 0.4695 0.5642 0.7341
694.56/663.29	c        pb/other/clasp-1.3.3                : 0.0369 0.0398 0.0702 0.5772 0.6919 0.7347 0.8403
694.56/663.29	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0442 0.0013 0.2134 0.2832 0.3336 0.5007
694.56/663.29	c        pb/other/sat4j-pb-v20090829-cutting : 0.0034 0.0174 0.0179 0.0348 0.0730 0.0901 0.2243
694.56/663.29	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=370485898', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
705.12/673.36	c DEBUG: probabilities of action success (DCM model):
705.12/673.36	c        pb/competition_2010/bsolo_pb10-l1   : 0.0036 0.0047 0.0401 0.1043 0.1677 0.1967 0.3047
705.12/673.36	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0103 0.0261 0.0362 0.1301
705.12/673.36	c        pb/competition_2010/bsolo_pb10-l3   : 0.0347 0.0007 0.0690 0.0701 0.0742 0.1041 0.1923
705.12/673.36	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0069 0.0059 0.2519 0.4048 0.4922 0.7560
705.12/673.36	c        pb/competition_2010/wbo1.4b         : 0.0319 0.0006 0.0280 0.3065 0.4771 0.5714 0.7375
705.12/673.36	c        pb/other/clasp-1.3.3                : 0.0352 0.0390 0.0701 0.5772 0.6926 0.7356 0.8412
705.12/673.36	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0456 0.0013 0.2203 0.2917 0.3422 0.5065
705.12/673.36	c        pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0170 0.0176 0.0351 0.0725 0.0897 0.2232
705.12/673.36	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=177901357', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
715.70/683.44	c DEBUG: probabilities of action success (DCM model):
715.70/683.44	c        pb/competition_2010/bsolo_pb10-l1   : 0.0035 0.0046 0.0414 0.1073 0.1730 0.2020 0.3089
715.70/683.44	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0106 0.0270 0.0376 0.1328
715.70/683.44	c        pb/competition_2010/bsolo_pb10-l3   : 0.0359 0.0007 0.0700 0.0712 0.0753 0.1061 0.1960
715.70/683.44	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0071 0.0061 0.2547 0.4085 0.4952 0.7561
715.70/683.44	c        pb/competition_2010/wbo1.4b         : 0.0318 0.0006 0.0287 0.3105 0.4845 0.5783 0.7407
715.70/683.44	c        pb/other/clasp-1.3.3                : 0.0337 0.0383 0.0700 0.5774 0.6935 0.7365 0.8422
715.70/683.44	c        pb/other/sat4j-pb-v20090829         : 0.0085 0.0471 0.0014 0.2273 0.3002 0.3509 0.5123
715.70/683.44	c        pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0168 0.0174 0.0356 0.0721 0.0895 0.2223
715.70/683.45	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
726.63/693.80	c DEBUG: probabilities of action success (DCM model):
726.63/693.80	c        pb/competition_2010/bsolo_pb10-l1   : 0.0035 0.0046 0.0335 0.0887 0.1422 0.1723 0.2831
726.63/693.80	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0110 0.0239 0.0348 0.1243
726.63/693.80	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0006 0.0633 0.0644 0.0688 0.0951 0.1792
726.63/693.80	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0074 0.0063 0.2548 0.4004 0.4857 0.7517
726.63/693.80	c        pb/competition_2010/wbo1.4b         : 0.0330 0.0006 0.0260 0.3033 0.4653 0.5626 0.7311
726.63/693.80	c        pb/other/clasp-1.3.3                : 0.0349 0.0397 0.0725 0.5710 0.6821 0.7268 0.8363
726.63/693.80	c        pb/other/sat4j-pb-v20090829         : 0.0088 0.0488 0.0013 0.2079 0.2742 0.3267 0.4941
726.63/693.80	c        pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0174 0.0180 0.0367 0.0746 0.0926 0.2304
726.63/693.80	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=377377142', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
737.08/703.88	c DEBUG: probabilities of action success (DCM model):
737.08/703.88	c        pb/competition_2010/bsolo_pb10-l1   : 0.0034 0.0046 0.0345 0.0912 0.1467 0.1766 0.2865
737.08/703.88	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0114 0.0247 0.0360 0.1268
737.08/703.88	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0006 0.0641 0.0652 0.0697 0.0968 0.1824
737.08/703.88	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0077 0.0065 0.2576 0.4039 0.4884 0.7517
737.08/703.88	c        pb/competition_2010/wbo1.4b         : 0.0330 0.0006 0.0266 0.3071 0.4722 0.5692 0.7341
737.08/703.88	c        pb/other/clasp-1.3.3                : 0.0335 0.0390 0.0725 0.5709 0.6826 0.7274 0.8371
737.08/703.88	c        pb/other/sat4j-pb-v20090829         : 0.0089 0.0504 0.0014 0.2144 0.2821 0.3348 0.4995
737.08/703.88	c        pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0173 0.0179 0.0373 0.0744 0.0926 0.2299
737.08/703.89	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-3739615-1338719268.opb'] for 0:00:50
789.75/752.10	c DEBUG: probabilities of action success (DCM model):
789.75/752.10	c        pb/competition_2010/bsolo_pb10-l1   : 0.0027 0.0033 0.0343 0.0933 0.1487 0.1802 0.2953
789.75/752.10	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0068 0.0207 0.0275 0.1219
789.75/752.10	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0674 0.0680 0.0719 0.1000 0.1870
789.75/752.10	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0066 0.0068 0.2480 0.3953 0.4814 0.7562
789.75/752.10	c        pb/competition_2010/wbo1.4b         : 0.0339 0.0006 0.0270 0.3026 0.4612 0.5528 0.7230
789.75/752.10	c        pb/other/clasp-1.3.3                : 0.0351 0.0409 0.0745 0.5713 0.6785 0.7222 0.8293
789.75/752.10	c        pb/other/sat4j-pb-v20090829         : 0.0060 0.0004 0.0011 0.1829 0.2472 0.3019 0.4737
789.75/752.10	c        pb/other/sat4j-pb-v20090829-cutting : 0.0026 0.0140 0.0144 0.0310 0.0693 0.0875 0.2214
789.75/752.10	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1670939495', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
800.20/762.19	c DEBUG: probabilities of action success (DCM model):
800.20/762.19	c        pb/competition_2010/bsolo_pb10-l1   : 0.0027 0.0033 0.0354 0.0960 0.1534 0.1848 0.2992
800.20/762.19	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0071 0.0214 0.0284 0.1243
800.20/762.19	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0683 0.0690 0.0730 0.1019 0.1906
800.20/762.19	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0068 0.0070 0.2506 0.3986 0.4840 0.7563
800.20/762.19	c        pb/competition_2010/wbo1.4b         : 0.0339 0.0006 0.0276 0.3064 0.4679 0.5590 0.7256
800.20/762.19	c        pb/other/clasp-1.3.3                : 0.0338 0.0402 0.0745 0.5713 0.6790 0.7228 0.8299
800.20/762.19	c        pb/other/sat4j-pb-v20090829         : 0.0061 0.0004 0.0012 0.1887 0.2544 0.3093 0.4786
800.20/762.19	c        pb/other/sat4j-pb-v20090829-cutting : 0.0025 0.0141 0.0144 0.0316 0.0691 0.0875 0.2207
800.20/762.19	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
811.15/772.56	c DEBUG: probabilities of action success (DCM model):
811.15/772.56	c        pb/competition_2010/bsolo_pb10-l1   : 0.0021 0.0027 0.0359 0.0961 0.1555 0.1853 0.2919
811.15/772.56	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0073 0.0222 0.0294 0.1169
811.15/772.56	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0706 0.0713 0.0755 0.1030 0.1852
811.15/772.56	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0065 0.0052 0.2439 0.3901 0.4758 0.7496
811.15/772.56	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0267 0.2960 0.4524 0.5454 0.7179
811.15/772.56	c        pb/other/clasp-1.3.3                : 0.0338 0.0415 0.0712 0.5594 0.6694 0.7147 0.8248
811.15/772.56	c        pb/other/sat4j-pb-v20090829         : 0.0056 0.0004 0.0012 0.1911 0.2541 0.3010 0.4646
811.15/772.56	c        pb/other/sat4j-pb-v20090829-cutting : 0.0020 0.0120 0.0123 0.0301 0.0690 0.0845 0.2092
811.15/772.56	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=157137909', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
821.73/782.64	c DEBUG: probabilities of action success (DCM model):
821.73/782.64	c        pb/competition_2010/bsolo_pb10-l1   : 0.0021 0.0027 0.0371 0.0989 0.1604 0.1901 0.2959
821.73/782.64	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0076 0.0230 0.0305 0.1193
821.73/782.64	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0716 0.0723 0.0767 0.1049 0.1888
821.73/782.64	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0067 0.0053 0.2464 0.3934 0.4784 0.7497
821.73/782.64	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0273 0.2998 0.4592 0.5516 0.7206
821.73/782.64	c        pb/other/clasp-1.3.3                : 0.0326 0.0409 0.0712 0.5595 0.6700 0.7154 0.8255
821.73/782.64	c        pb/other/sat4j-pb-v20090829         : 0.0057 0.0004 0.0012 0.1971 0.2615 0.3086 0.4696
821.73/782.64	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0120 0.0124 0.0308 0.0689 0.0846 0.2085
821.73/782.64	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=173362427', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
832.33/792.72	c DEBUG: probabilities of action success (DCM model):
832.33/792.72	c        pb/competition_2010/bsolo_pb10-l1   : 0.0020 0.0027 0.0382 0.1017 0.1653 0.1949 0.2998
832.33/792.72	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0078 0.0237 0.0315 0.1217
832.33/792.72	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0726 0.0733 0.0778 0.1068 0.1923
832.33/792.72	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0069 0.0055 0.2489 0.3967 0.4810 0.7498
832.33/792.72	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0279 0.3035 0.4659 0.5577 0.7233
832.33/792.72	c        pb/other/clasp-1.3.3                : 0.0314 0.0402 0.0712 0.5597 0.6707 0.7161 0.8262
832.33/792.72	c        pb/other/sat4j-pb-v20090829         : 0.0058 0.0004 0.0013 0.2031 0.2690 0.3163 0.4747
832.33/792.72	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0121 0.0125 0.0315 0.0689 0.0847 0.2079
832.33/792.72	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1744714679', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
842.92/802.81	c DEBUG: probabilities of action success (DCM model):
842.92/802.81	c        pb/competition_2010/bsolo_pb10-l1   : 0.0020 0.0027 0.0394 0.1045 0.1701 0.1997 0.3036
842.92/802.81	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0081 0.0245 0.0325 0.1240
842.92/802.81	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0735 0.0742 0.0789 0.1086 0.1958
842.92/802.81	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0072 0.0056 0.2514 0.3999 0.4836 0.7499
842.92/802.81	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0286 0.3071 0.4724 0.5638 0.7259
842.92/802.81	c        pb/other/clasp-1.3.3                : 0.0302 0.0396 0.0712 0.5599 0.6714 0.7169 0.8270
842.92/802.81	c        pb/other/sat4j-pb-v20090829         : 0.0059 0.0004 0.0013 0.2091 0.2764 0.3239 0.4798
842.92/802.81	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0122 0.0126 0.0322 0.0689 0.0848 0.2073
842.92/802.81	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1777463149', u'HOME/instance-3739615-1338719268.opb'] for 0:05:00
1156.49/1103.38	c DEBUG: probabilities of action success (DCM model):
1156.49/1103.38	c        pb/competition_2010/bsolo_pb10-l1   : 0.0012 0.0012 0.0216 0.0535 0.0928 0.1260 0.1855
1156.49/1103.38	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0090 0.0182 0.0273 0.0580
1156.49/1103.38	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0009 0.0884 0.0884 0.0919 0.1067 0.1442
1156.49/1103.38	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0059 0.0051 0.2297 0.3012 0.3408 0.6113
1156.49/1103.38	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0135 0.2740 0.3801 0.4819 0.5905
1156.49/1103.38	c        pb/other/clasp-1.3.3                : 0.0308 0.0436 0.0752 0.1586 0.4271 0.5030 0.6902
1156.49/1103.38	c        pb/other/sat4j-pb-v20090829         : 0.0057 0.0004 0.0008 0.1472 0.1817 0.1915 0.2495
1156.49/1103.38	c        pb/other/sat4j-pb-v20090829-cutting : 0.0011 0.0079 0.0079 0.0220 0.0407 0.0447 0.0950
1156.49/1103.38	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-3739615-1338719268.opb'] for 0:01:40
1261.56/1203.82	c DEBUG: probabilities of action success (DCM model):
1261.56/1203.82	c        pb/competition_2010/bsolo_pb10-l1   : 0.0012 0.0012 0.0180 0.0450 0.0793 0.1122 0.1736
1261.56/1203.82	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0099 0.0175 0.0274 0.0555
1261.56/1203.82	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0839 0.0877 0.1006 0.1362
1261.56/1203.82	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0064 0.0054 0.2315 0.3015 0.3421 0.6136
1261.56/1203.82	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0125 0.2708 0.3725 0.4767 0.5917
1261.56/1203.82	c        pb/other/clasp-1.3.3                : 0.0312 0.0441 0.0751 0.1644 0.4310 0.5068 0.6935
1261.56/1203.82	c        pb/other/sat4j-pb-v20090829         : 0.0062 0.0004 0.0008 0.1446 0.1768 0.1876 0.2511
1261.56/1203.82	c        pb/other/sat4j-pb-v20090829-cutting : 0.0012 0.0085 0.0085 0.0240 0.0446 0.0489 0.1041
1261.56/1203.82	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1861739409', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
1272.15/1213.90	c DEBUG: probabilities of action success (DCM model):
1272.15/1213.90	c        pb/competition_2010/bsolo_pb10-l1   : 0.0012 0.0012 0.0186 0.0463 0.0818 0.1145 0.1754
1272.15/1213.90	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0102 0.0180 0.0283 0.0571
1272.15/1213.90	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0841 0.0881 0.1013 0.1380
1272.15/1213.90	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0066 0.0055 0.2333 0.3039 0.3444 0.6141
1272.15/1213.90	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0129 0.2730 0.3767 0.4808 0.5942
1272.15/1213.90	c        pb/other/clasp-1.3.3                : 0.0302 0.0437 0.0749 0.1639 0.4325 0.5082 0.6948
1272.15/1213.90	c        pb/other/sat4j-pb-v20090829         : 0.0064 0.0004 0.0008 0.1491 0.1822 0.1932 0.2556
1272.15/1213.90	c        pb/other/sat4j-pb-v20090829-cutting : 0.0012 0.0087 0.0087 0.0246 0.0449 0.0493 0.1046
1272.15/1213.90	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=442113237', u'HOME/instance-3739615-1338719268.opb'] for 0:01:40
1376.63/1314.03	c DEBUG: probabilities of action success (DCM model):
1376.63/1314.03	c        pb/competition_2010/bsolo_pb10-l1   : 0.0013 0.0013 0.0200 0.0495 0.0869 0.1187 0.1793
1376.63/1314.03	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0110 0.0194 0.0305 0.0600
1376.63/1314.03	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0838 0.0876 0.1017 0.1392
1376.63/1314.03	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0065 0.0058 0.2319 0.3067 0.3500 0.6188
1376.63/1314.03	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0131 0.2717 0.3784 0.4836 0.6011
1376.63/1314.03	c        pb/other/clasp-1.3.3                : 0.0300 0.0437 0.0685 0.1631 0.4447 0.5190 0.7025
1376.63/1314.03	c        pb/other/sat4j-pb-v20090829         : 0.0068 0.0004 0.0008 0.1572 0.1922 0.2026 0.2680
1376.63/1314.03	c        pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0088 0.0088 0.0241 0.0455 0.0499 0.1080
1376.63/1314.03	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=417479748', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
1387.22/1324.11	c DEBUG: probabilities of action success (DCM model):
1387.22/1324.11	c        pb/competition_2010/bsolo_pb10-l1   : 0.0013 0.0013 0.0206 0.0509 0.0895 0.1211 0.1813
1387.22/1324.11	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0114 0.0200 0.0314 0.0617
1387.22/1324.11	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0840 0.0880 0.1025 0.1410
1387.22/1324.11	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0067 0.0059 0.2338 0.3092 0.3523 0.6192
1387.22/1324.11	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0135 0.2740 0.3827 0.4878 0.6036
1387.22/1324.11	c        pb/other/clasp-1.3.3                : 0.0290 0.0433 0.0683 0.1625 0.4462 0.5205 0.7038
1387.22/1324.11	c        pb/other/sat4j-pb-v20090829         : 0.0070 0.0005 0.0009 0.1619 0.1978 0.2084 0.2727
1387.22/1324.11	c        pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0090 0.0090 0.0247 0.0458 0.0502 0.1085
1387.22/1324.11	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1927930156', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
1397.65/1334.18	c DEBUG: probabilities of action success (DCM model):
1397.65/1334.18	c        pb/competition_2010/bsolo_pb10-l1   : 0.0013 0.0013 0.0211 0.0524 0.0921 0.1236 0.1832
1397.65/1334.18	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0117 0.0206 0.0324 0.0633
1397.65/1334.18	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0843 0.0883 0.1033 0.1428
1397.65/1334.18	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0069 0.0060 0.2356 0.3117 0.3546 0.6197
1397.65/1334.18	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0139 0.2763 0.3870 0.4921 0.6061
1397.65/1334.18	c        pb/other/clasp-1.3.3                : 0.0281 0.0428 0.0681 0.1619 0.4478 0.5220 0.7051
1397.65/1334.18	c        pb/other/sat4j-pb-v20090829         : 0.0072 0.0005 0.0009 0.1666 0.2035 0.2143 0.2774
1397.65/1334.18	c        pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0091 0.0091 0.0253 0.0461 0.0506 0.1090
1397.65/1334.19	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1933928649', u'HOME/instance-3739615-1338719268.opb'] for 0:00:50
1450.26/1384.57	c DEBUG: probabilities of action success (DCM model):
1450.26/1384.57	c        pb/competition_2010/bsolo_pb10-l1   : 0.0013 0.0013 0.0221 0.0547 0.0962 0.1275 0.1865
1450.26/1384.57	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0122 0.0215 0.0338 0.0661
1450.26/1384.57	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0848 0.0890 0.1046 0.1458
1450.26/1384.57	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0071 0.0062 0.2386 0.3157 0.3579 0.6201
1450.26/1384.57	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0145 0.2803 0.3943 0.4990 0.6098
1450.26/1384.57	c        pb/other/clasp-1.3.3                : 0.0277 0.0371 0.0679 0.1611 0.4496 0.5239 0.7068
1450.26/1384.57	c        pb/other/sat4j-pb-v20090829         : 0.0075 0.0005 0.0009 0.1737 0.2123 0.2235 0.2844
1450.26/1384.57	c        pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0094 0.0094 0.0263 0.0464 0.0512 0.1097
1450.26/1384.57	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=107982383', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
1460.85/1394.65	c DEBUG: probabilities of action success (DCM model):
1460.85/1394.65	c        pb/competition_2010/bsolo_pb10-l1   : 0.0013 0.0013 0.0227 0.0562 0.0989 0.1300 0.1885
1460.85/1394.65	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0125 0.0221 0.0347 0.0678
1460.85/1394.65	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0850 0.0893 0.1053 0.1477
1460.85/1394.65	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0073 0.0064 0.2405 0.3183 0.3603 0.6207
1460.85/1394.65	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0149 0.2825 0.3986 0.5033 0.6124
1460.85/1394.65	c        pb/other/clasp-1.3.3                : 0.0268 0.0368 0.0677 0.1606 0.4514 0.5256 0.7083
1460.85/1394.65	c        pb/other/sat4j-pb-v20090829         : 0.0077 0.0005 0.0010 0.1786 0.2181 0.2295 0.2893
1460.85/1394.65	c        pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0096 0.0096 0.0269 0.0467 0.0516 0.1103
1460.85/1394.65	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=802467391', u'HOME/instance-3739615-1338719268.opb'] for 0:01:40
1565.30/1494.75	c DEBUG: probabilities of action success (DCM model):
1565.30/1494.75	c        pb/competition_2010/bsolo_pb10-l1   : 0.0014 0.0014 0.0243 0.0599 0.1051 0.1352 0.1936
1565.30/1494.75	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0134 0.0237 0.0372 0.0717
1565.30/1494.75	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0845 0.0888 0.1059 0.1499
1565.30/1494.75	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0074 0.0067 0.2407 0.3231 0.3681 0.6266
1565.30/1494.75	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0154 0.2829 0.4030 0.5086 0.6212
1565.30/1494.75	c        pb/other/clasp-1.3.3                : 0.0266 0.0363 0.0632 0.1609 0.4655 0.5381 0.7173
1565.30/1494.75	c        pb/other/sat4j-pb-v20090829         : 0.0082 0.0005 0.0010 0.1888 0.2307 0.2420 0.3051
1565.30/1494.75	c        pb/other/sat4j-pb-v20090829-cutting : 0.0014 0.0099 0.0099 0.0272 0.0481 0.0530 0.1150
1565.30/1494.76	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1002782972', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
1575.89/1504.83	c DEBUG: probabilities of action success (DCM model):
1575.89/1504.83	c        pb/competition_2010/bsolo_pb10-l1   : 0.0014 0.0014 0.0249 0.0615 0.1079 0.1378 0.1957
1575.89/1504.83	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0138 0.0244 0.0382 0.0735
1575.89/1504.83	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0848 0.0892 0.1067 0.1518
1575.89/1504.83	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0076 0.0068 0.2425 0.3258 0.3706 0.6272
1575.89/1504.83	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0158 0.2852 0.4075 0.5130 0.6239
1575.89/1504.83	c        pb/other/clasp-1.3.3                : 0.0257 0.0360 0.0629 0.1602 0.4674 0.5399 0.7188
1575.89/1504.83	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0005 0.0010 0.1938 0.2368 0.2483 0.3102
1575.89/1504.83	c        pb/other/sat4j-pb-v20090829-cutting : 0.0014 0.0100 0.0100 0.0278 0.0484 0.0534 0.1156
1575.89/1504.83	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=2018762678', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
1586.49/1514.91	c DEBUG: probabilities of action success (DCM model):
1586.49/1514.91	c        pb/competition_2010/bsolo_pb10-l1   : 0.0014 0.0014 0.0255 0.0630 0.1107 0.1404 0.1978
1586.49/1514.91	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0141 0.0250 0.0392 0.0753
1586.49/1514.91	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0850 0.0896 0.1075 0.1537
1586.49/1514.91	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0078 0.0069 0.2444 0.3285 0.3731 0.6278
1586.49/1514.91	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0162 0.2876 0.4120 0.5174 0.6267
1586.49/1514.91	c        pb/other/clasp-1.3.3                : 0.0249 0.0356 0.0626 0.1596 0.4693 0.5418 0.7204
1586.49/1514.91	c        pb/other/sat4j-pb-v20090829         : 0.0086 0.0006 0.0011 0.1988 0.2428 0.2545 0.3153
1586.49/1514.91	c        pb/other/sat4j-pb-v20090829-cutting : 0.0014 0.0102 0.0102 0.0284 0.0487 0.0538 0.1162
1586.49/1514.91	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1547812245', u'HOME/instance-3739615-1338719268.opb'] for 0:01:40
1690.95/1615.02	c DEBUG: probabilities of action success (DCM model):
1690.95/1615.02	c        pb/competition_2010/bsolo_pb10-l1   : 0.0015 0.0015 0.0272 0.0670 0.1173 0.1461 0.2034
1690.95/1615.02	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0151 0.0266 0.0418 0.0795
1690.95/1615.02	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0008 0.0008 0.0845 0.0891 0.1081 0.1564
1690.95/1615.02	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0079 0.0073 0.2453 0.3343 0.3817 0.6341
1690.95/1615.02	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0169 0.2886 0.4175 0.5237 0.6363
1690.95/1615.02	c        pb/other/clasp-1.3.3                : 0.0246 0.0350 0.0588 0.1603 0.4842 0.5551 0.7298
1690.95/1615.02	c        pb/other/sat4j-pb-v20090829         : 0.0091 0.0006 0.0011 0.2100 0.2566 0.2684 0.3324
1690.95/1615.02	c        pb/other/sat4j-pb-v20090829-cutting : 0.0015 0.0106 0.0106 0.0290 0.0504 0.0556 0.1215
1690.95/1615.02	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1695633749', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
1701.51/1625.10	c DEBUG: probabilities of action success (DCM model):
1701.51/1625.10	c        pb/competition_2010/bsolo_pb10-l1   : 0.0015 0.0015 0.0278 0.0686 0.1202 0.1488 0.2056
1701.51/1625.10	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0154 0.0273 0.0428 0.0814
1701.51/1625.10	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0008 0.0008 0.0847 0.0894 0.1090 0.1584
1701.51/1625.10	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0081 0.0074 0.2472 0.3370 0.3842 0.6348
1701.51/1625.10	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0173 0.2910 0.4222 0.5283 0.6391
1701.51/1625.10	c        pb/other/clasp-1.3.3                : 0.0239 0.0347 0.0585 0.1597 0.4862 0.5569 0.7314
1701.51/1625.10	c        pb/other/sat4j-pb-v20090829         : 0.0093 0.0006 0.0011 0.2151 0.2628 0.2749 0.3377
1701.51/1625.10	c        pb/other/sat4j-pb-v20090829-cutting : 0.0015 0.0107 0.0107 0.0296 0.0506 0.0560 0.1221
1701.51/1625.11	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=682629719', u'HOME/instance-3739615-1338719268.opb'] for 0:00:10
1711.98/1635.19	c DEBUG: probabilities of action success (DCM model):
1711.98/1635.19	c        pb/competition_2010/bsolo_pb10-l1   : 0.0015 0.0015 0.0285 0.0702 0.1231 0.1515 0.2078
1711.98/1635.19	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0158 0.0280 0.0439 0.0833
1711.98/1635.19	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0008 0.0008 0.0850 0.0898 0.1098 0.1603
1711.98/1635.19	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0083 0.0075 0.2491 0.3397 0.3868 0.6354
1711.98/1635.19	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0177 0.2934 0.4267 0.5328 0.6420
1711.98/1635.19	c        pb/other/clasp-1.3.3                : 0.0231 0.0343 0.0582 0.1590 0.4882 0.5588 0.7331
1711.98/1635.19	c        pb/other/sat4j-pb-v20090829         : 0.0095 0.0006 0.0012 0.2203 0.2690 0.2812 0.3429
1711.98/1635.19	c        pb/other/sat4j-pb-v20090829-cutting : 0.0015 0.0108 0.0108 0.0302 0.0509 0.0564 0.1228
1711.98/1635.19	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=304618406', u'HOME/instance-3739615-1338719268.opb'] for 0:01:40

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3739615-1338719268/watcher-3739615-1338719268 -o /tmp/evaluation-result-3739615-1338719268/solver-3739615-1338719268 -C 1800 -W 1900 -M 15500 solver HOME/instance-3739615-1338719268.opb 1272652375 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.06 2.02 3/176 23250
/proc/meminfo: memFree=26771412/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/23250/stat : 23250 (python) D 23248 23250 21196 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 338052324 15642624 527 33554432000 4194304 5683644 140735852084816 140735852070728 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/23250/statm: 3819 527 312 364 0 261 0

[startup+0.0213539 s]
/proc/loadavg: 2.05 2.06 2.02 3/176 23250
/proc/meminfo: memFree=26771412/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=15580 CPUtime=0 cores=0,2,4,6
/proc/23250/stat : 23250 (python) D 23248 23250 21196 0 -1 4202496 969 0 0 0 0 0 0 0 20 0 1 0 338052324 15953920 712 33554432000 4194304 5683644 140735852084816 140735852039032 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/23250/statm: 3895 712 347 364 0 337 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15580

[startup+0.10059 s]
/proc/loadavg: 2.05 2.06 2.02 3/176 23250
/proc/meminfo: memFree=26771412/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=17888 CPUtime=0.01 cores=0,2,4,6
/proc/23250/stat : 23250 (python) D 23248 23250 21196 0 -1 4202496 2271 0 0 0 1 0 0 0 20 0 1 0 338052324 18317312 767 33554432000 4194304 4196484 140735354208480 140735354138648 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 4472 767 367 1 0 407 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17888

[startup+0.300241 s]
/proc/loadavg: 2.05 2.06 2.02 3/176 23250
/proc/meminfo: memFree=26771412/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=56784 CPUtime=0.06 cores=0,2,4,6
/proc/23250/stat : 23250 (python) D 23248 23250 21196 0 -1 4202496 4054 0 0 0 4 2 0 0 20 0 1 0 338052324 58146816 2213 33554432000 4194304 4196484 140735354208480 140735354031960 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 14196 2213 603 1 0 1534 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 56784

[startup+0.70016 s]
/proc/loadavg: 2.05 2.06 2.02 3/176 23250
/proc/meminfo: memFree=26771412/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=101564 CPUtime=0.21 cores=0,2,4,6
/proc/23250/stat : 23250 (python) R 23248 23250 21196 0 -1 4202496 6631 505 0 0 14 7 0 0 20 0 1 0 338052324 104001536 4251 33554432000 4194304 4196484 140735354208480 140735354174440 140391710392317 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/23250/statm: 25391 4251 1049 1 0 3193 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 101564

[startup+1.50022 s]
/proc/loadavg: 2.05 2.06 2.02 2/177 23255
/proc/meminfo: memFree=26749184/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=118120 CPUtime=0.35 cores=0,2,4,6
/proc/23250/stat : 23250 (python) D 23248 23250 21196 0 -1 4202496 9484 1013 0 0 26 9 0 0 20 0 1 0 338052324 120954880 5831 33554432000 4194304 4196484 140735354208480 140735354142088 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 29530 5831 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 118120

[startup+3.10016 s]
/proc/loadavg: 2.05 2.06 2.02 3/178 23256
/proc/meminfo: memFree=26738744/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=134484 CPUtime=0.52 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 11039 1013 0 0 40 12 0 0 20 0 1 0 338052324 137711616 6347 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 33621 6347 1170 1 0 5193 0
[pid=23256] ppid=23250 vsize=11660 CPUtime=1.31 cores=0,2,4,6
/proc/23256/stat : 23256 (clasp-1.3.3-x86) R 23250 23256 23256 0 -1 4202496 3204 0 0 0 131 0 0 0 20 0 1 0 338052501 11939840 2627 33554432000 134512640 136080129 4291815008 4291813876 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/23256/statm: 2915 2627 176 383 0 2530 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 146144
heavy processes:

[startup+6.30014 s]
/proc/loadavg: 2.05 2.06 2.02 3/178 23259
/proc/meminfo: memFree=26743408/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=134484 CPUtime=0.65 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 11048 1013 0 0 51 14 0 0 20 0 1 0 338052324 137711616 6347 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 33621 6347 1170 1 0 5193 0
[pid=23256] ppid=23250 vsize=15752 CPUtime=4.51 cores=0,2,4,6
/proc/23256/stat : 23256 (clasp-1.3.3-x86) R 23250 23256 23256 0 -1 4202496 4235 0 0 0 450 1 0 0 20 0 1 0 338052501 16130048 3658 33554432000 134512640 136080129 4291815008 4291813968 134808296 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/23256/statm: 3938 3658 176 383 0 3553 0
Current children cumulated CPU time (s) 5.16
Current children cumulated vsize (KiB) 150236

[startup+12.7002 s]
/proc/loadavg: 2.04 2.06 2.02 3/178 23262
/proc/meminfo: memFree=26740712/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=11.04 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 12252 6899 0 0 81 18 1003 2 20 0 1 0 338052324 139821056 6369 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34136 6369 1180 1 0 5193 0
[pid=23262] ppid=23250 vsize=10444 CPUtime=0.84 cores=0,2,4,6
/proc/23262/stat : 23262 (clasp-1.3.3-x86) R 23250 23262 23262 0 -1 4202496 2922 0 0 0 84 0 0 0 20 0 1 0 338053509 10694656 2345 33554432000 134512640 136080129 4293590560 4293589456 134616976 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/23262/statm: 2611 2345 176 383 0 2226 0
Current children cumulated CPU time (s) 11.88
Current children cumulated vsize (KiB) 146988

[startup+25.5002 s]
/proc/loadavg: 2.03 2.05 2.02 3/177 23262
/proc/meminfo: memFree=26722504/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=11.58 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 12281 6899 0 0 129 24 1003 2 20 0 1 0 338052324 139821056 6369 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34136 6369 1180 1 0 5193 0
[pid=23262] ppid=23250 vsize=22208 CPUtime=13.63 cores=0,2,4,6
/proc/23262/stat : 23262 (clasp-1.3.3-x86) R 23250 23262 23262 0 -1 4202496 5838 0 0 0 1362 1 0 0 20 0 1 0 338053509 22740992 5261 33554432000 134512640 136080129 4293590560 4293589648 134836714 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/23262/statm: 5552 5261 176 383 0 5167 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 158752

[startup+51.1002 s]
/proc/loadavg: 2.08 2.06 2.02 3/177 23262
/proc/meminfo: memFree=26702760/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=12.67 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 12306 6899 0 0 226 36 1003 2 20 0 1 0 338052324 139821056 6369 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34136 6369 1180 1 0 5193 0
[pid=23262] ppid=23250 vsize=33904 CPUtime=39.22 cores=0,2,4,6
/proc/23262/stat : 23262 (clasp-1.3.3-x86) R 23250 23262 23262 0 -1 4202496 8790 0 0 0 3920 2 0 0 20 0 1 0 338053509 34717696 8210 33554432000 134512640 136080129 4293590560 4293589552 134588745 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/23262/statm: 8476 8210 176 383 0 8091 0
Current children cumulated CPU time (s) 51.89
Current children cumulated vsize (KiB) 170448

[startup+102.306 s]
/proc/loadavg: 2.15 2.08 2.03 4/177 23265
/proc/meminfo: memFree=26668076/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=65.56 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 13455 17155 0 0 449 69 6033 5 20 0 1 0 338052324 139821056 6374 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34136 6374 1180 1 0 5193 0
[pid=23265] ppid=23250 vsize=60072 CPUtime=40.07 cores=0,2,4,6
/proc/23265/stat : 23265 (wbo1.4a) R 23250 23265 23265 0 -1 4202496 15882 0 0 0 3993 14 0 0 20 0 1 0 338058545 61513728 14415 33554432000 134512640 135751879 4288976896 4288975072 134616414 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/23265/statm: 15018 14415 139 303 0 14713 0
Current children cumulated CPU time (s) 105.63
Current children cumulated vsize (KiB) 196616

[startup+162.3 s]
/proc/loadavg: 2.05 2.06 2.02 3/178 23280
/proc/meminfo: memFree=26705332/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=118.64 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 14651 36441 0 0 682 99 11058 25 20 0 1 0 338052324 139821056 6376 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34136 6376 1180 1 0 5193 0
[pid=23271] ppid=23250 vsize=35884 CPUtime=49.6 cores=0,2,4,6
/proc/23271/stat : 23271 (clasp-1.3.3-x86) R 23250 23271 23271 0 -1 4202496 9268 0 0 0 4958 2 0 0 20 0 1 0 338063591 36745216 8683 33554432000 134512640 136080129 4291676240 4291675312 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/23271/statm: 8971 8683 176 383 0 8586 0
Current children cumulated CPU time (s) 168.24
Current children cumulated vsize (KiB) 172428

[startup+222.3 s]
/proc/loadavg: 1.94 2.03 2.01 3/177 23290
/proc/meminfo: memFree=26715540/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=221.6 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 15840 49366 0 0 937 135 21059 29 20 0 1 0 338052324 139821056 6376 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34136 6376 1180 1 0 5193 0
[pid=23290] ppid=23250 vsize=27620 CPUtime=9.52 cores=0,2,4,6
/proc/23290/stat : 23290 (wbo1.4a) R 23250 23290 23290 0 -1 4202496 7769 0 0 0 948 4 0 0 20 0 1 0 338073601 28282880 6307 33554432000 134512640 135751879 4287182304 4287180556 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/23290/statm: 6905 6307 139 303 0 6600 0
Current children cumulated CPU time (s) 231.12
Current children cumulated vsize (KiB) 164164

[startup+282.3 s]
/proc/loadavg: 1.98 2.03 2.00 3/177 23290
/proc/meminfo: memFree=26647248/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=224.24 cores=0,2,4,6
/proc/23250/stat : 23250 (python) R 23248 23250 21196 0 -1 4202496 15874 49366 0 0 1168 168 21059 29 20 0 1 0 338052324 139821056 6377 33554432000 4194304 4196484 140735354208480 140735354200240 227512542135 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34137 6377 1180 1 0 5194 0
[pid=23290] ppid=23250 vsize=83376 CPUtime=69.48 cores=0,2,4,6
/proc/23290/stat : 23290 (wbo1.4a) R 23250 23290 23290 0 -1 4202496 21691 0 0 0 6928 20 0 0 20 0 1 0 338073601 85377024 20208 33554432000 134512640 135751879 4287182304 4287180480 134616361 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/23290/statm: 20844 20208 139 303 0 20539 0
Current children cumulated CPU time (s) 293.72
Current children cumulated vsize (KiB) 219920

[startup+342.3 s]
/proc/loadavg: 2.13 2.05 2.01 4/177 23302
/proc/meminfo: memFree=26626148/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=327.33 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 17080 78256 0 0 1407 204 31061 61 20 0 1 0 338052324 139821056 6378 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34136 6378 1180 1 0 5193 0
[pid=23302] ppid=23250 vsize=118100 CPUtime=29.12 cores=0,2,4,6
/proc/23302/stat : 23302 (wbo1.4b) R 23250 23302 23302 0 -1 4202496 30288 0 0 0 2907 5 0 0 20 0 1 0 338083640 120934400 28821 33554432000 134512640 135751879 4286777584 4286774520 135206651 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/23302/statm: 29525 28821 142 303 0 29220 0
Current children cumulated CPU time (s) 356.45
Current children cumulated vsize (KiB) 254644

[startup+402.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/195 23323
/proc/meminfo: memFree=26214188/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=380.16 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 18264 113523 0 0 1644 237 36066 69 20 0 1 0 338052324 139821056 6378 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34136 6378 1180 1 0 5193 0

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

/proc/23250/statm: 34136 6388 1180 1 0 5193 0
[pid=24128] ppid=23250 vsize=56148 CPUtime=18.9 cores=0,2,4,6
/proc/24128/stat : 24128 (bsolo_pb10) R 23250 24128 24128 0 -1 4202496 13376 0 0 0 1886 4 0 0 20 0 1 0 338162662 57495552 11481 33554432000 134512640 137138936 4290082032 4290080764 136295499 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/24128/statm: 14037 11481 192 642 0 13393 0
Current children cumulated CPU time (s) 1176.51
Current children cumulated vsize (KiB) 192692

[startup+1182.3 s]
/proc/loadavg: 2.06 2.10 2.04 3/177 24141
/proc/meminfo: memFree=26566568/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=1160.25 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 40854 358590 0 2 4783 702 110311 229 20 0 1 0 338052324 139821056 6388 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34136 6388 1180 1 0 5193 0
[pid=24128] ppid=23250 vsize=185100 CPUtime=78.87 cores=0,2,4,6
/proc/24128/stat : 24128 (bsolo_pb10) R 23250 24128 24128 0 -1 4202496 45645 0 0 0 7877 10 0 0 20 0 1 0 338162662 189542400 43719 33554432000 134512640 137138936 4290082032 4290080456 134606628 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/24128/statm: 46275 43719 192 642 0 45631 0
Current children cumulated CPU time (s) 1239.12
Current children cumulated vsize (KiB) 321644

[startup+1242.3 s]
/proc/loadavg: 2.02 2.08 2.03 3/195 24183
/proc/meminfo: memFree=26346156/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=1273.44 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 43235 421862 0 2 5022 737 121341 244 20 0 1 0 338052324 139821056 6389 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34136 6389 1180 1 0 5193 0
[pid=24156] ppid=23250 vsize=25904 CPUtime=28.37 cores=0,2,4,6
/proc/24156/stat : 24156 (clasp-1.3.3-x86) R 23250 24156 24156 0 -1 4202496 6781 0 0 0 2836 1 0 0 20 0 1 0 338173715 26525696 6189 33554432000 134512640 136080129 4292113904 4292112976 134849989 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24156/statm: 6476 6189 176 383 0 6091 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 162448

[startup+1302.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/177 24189
/proc/meminfo: memFree=26654524/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=1276.06 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 43263 421862 0 2 5250 771 121341 244 20 0 1 0 338052324 139821056 6389 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34136 6389 1180 1 0 5193 0
[pid=24156] ppid=23250 vsize=45184 CPUtime=88.36 cores=0,2,4,6
/proc/24156/stat : 24156 (clasp-1.3.3-x86) R 23250 24156 24156 0 -1 4202496 11593 0 0 0 8834 2 0 0 20 0 1 0 338173715 46268416 11004 33554432000 134512640 136080129 4292113904 4292112896 134588974 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24156/statm: 11296 11004 176 383 0 10911 0
Current children cumulated CPU time (s) 1364.42
Current children cumulated vsize (KiB) 181728

[startup+1362.3 s]
/proc/loadavg: 2.07 2.07 2.03 3/178 24213
/proc/meminfo: memFree=26704876/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=1399.02 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 46837 446365 0 2 5489 808 133354 251 20 0 1 0 338052324 139821056 6390 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34136 6390 1180 1 0 5193 0
[pid=24210] ppid=23250 vsize=25904 CPUtime=28.09 cores=0,2,4,6
/proc/24210/stat : 24210 (clasp-1.3.3-x86) R 23250 24210 24210 0 -1 4202496 6783 0 0 0 2808 1 0 0 20 0 1 0 338185743 26525696 6190 33554432000 134512640 136080129 4286925408 4286924484 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24210/statm: 6476 6190 176 383 0 6091 0
Current children cumulated CPU time (s) 1427.11
Current children cumulated vsize (KiB) 162448

[startup+1422.31 s]
/proc/loadavg: 2.07 2.07 2.03 3/177 24219
/proc/meminfo: memFree=26697284/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=1462.16 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 49214 462611 0 2 5727 841 139391 257 20 0 1 0 338052324 139821056 6390 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34136 6390 1180 1 0 5193 0
[pid=24219] ppid=23250 vsize=25904 CPUtime=27.63 cores=0,2,4,6
/proc/24219/stat : 24219 (clasp-1.3.3-x86) R 23250 24219 24219 0 -1 4202496 6269 0 0 0 2763 0 0 0 20 0 1 0 338191789 26525696 6189 33554432000 134512640 136080129 4289884672 4289883616 134580608 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24219/statm: 6476 6189 176 383 0 6091 0
Current children cumulated CPU time (s) 1489.79
Current children cumulated vsize (KiB) 162448

[startup+1482.3 s]
/proc/loadavg: 2.19 2.10 2.04 3/177 24220
/proc/meminfo: memFree=26670928/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=1464.77 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 49241 462611 0 2 5955 874 139391 257 20 0 1 0 338052324 139821056 6390 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34136 6390 1180 1 0 5193 0
[pid=24219] ppid=23250 vsize=45184 CPUtime=87.61 cores=0,2,4,6
/proc/24219/stat : 24219 (clasp-1.3.3-x86) R 23250 24219 24219 0 -1 4202496 11079 0 0 0 8760 1 0 0 20 0 1 0 338191789 46268416 11012 33554432000 134512640 136080129 4289884672 4289883664 134588666 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24219/statm: 11296 11012 176 383 0 10911 0
Current children cumulated CPU time (s) 1552.38
Current children cumulated vsize (KiB) 181728

[startup+1542.3 s]
/proc/loadavg: 2.15 2.10 2.04 3/177 24229
/proc/meminfo: memFree=26687764/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=1587.72 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 52800 486982 0 2 6197 908 151403 264 20 0 1 0 338052324 139821056 6392 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34136 6392 1180 1 0 5193 0
[pid=24229] ppid=23250 vsize=25904 CPUtime=27.37 cores=0,2,4,6
/proc/24229/stat : 24229 (clasp-1.3.3-x86) R 23250 24229 24229 0 -1 4202496 6257 0 0 0 2736 1 0 0 20 0 1 0 338203815 26525696 6183 33554432000 134512640 136080129 4293306816 4293305696 134579945 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24229/statm: 6476 6183 176 383 0 6091 0
Current children cumulated CPU time (s) 1615.09
Current children cumulated vsize (KiB) 162448

[startup+1602.3 s]
/proc/loadavg: 2.15 2.11 2.05 3/177 24229
/proc/meminfo: memFree=26667424/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=1590.32 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 52826 486982 0 2 6425 940 151403 264 20 0 1 0 338052324 139821056 6392 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34136 6392 1180 1 0 5193 0
[pid=24229] ppid=23250 vsize=45184 CPUtime=87.35 cores=0,2,4,6
/proc/24229/stat : 24229 (clasp-1.3.3-x86) R 23250 24229 24229 0 -1 4202496 11080 0 0 0 8733 2 0 0 20 0 1 0 338203815 46268416 11004 33554432000 134512640 136080129 4293306816 4293305808 134588684 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24229/statm: 11296 11004 176 383 0 10911 0
Current children cumulated CPU time (s) 1677.67
Current children cumulated vsize (KiB) 181728

[startup+1662.3 s]
/proc/loadavg: 2.15 2.12 2.05 4/177 24241
/proc/meminfo: memFree=26662924/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=1713.31 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 56412 511485 0 2 6668 976 163416 271 20 0 1 0 338052324 139821056 6393 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34136 6393 1180 1 0 5193 0
[pid=24238] ppid=23250 vsize=25904 CPUtime=27.08 cores=0,2,4,6
/proc/24238/stat : 24238 (clasp-1.3.3-x86) R 23250 24238 24238 0 -1 4202496 6265 0 0 0 2707 1 0 0 20 0 1 0 338215843 26525696 6190 33554432000 134512640 136080129 4287044496 4287043568 134849530 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 6476 6190 176 383 0 6091 0
Current children cumulated CPU time (s) 1740.39
Current children cumulated vsize (KiB) 162448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1719.5 s]
/proc/loadavg: 2.06 2.09 2.05 3/177 24241
/proc/meminfo: memFree=26540816/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=1715.78 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 56437 511485 0 2 6885 1006 163416 271 20 0 1 0 338052324 139821056 6393 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34136 6393 1180 1 0 5193 0
[pid=24238] ppid=23250 vsize=42432 CPUtime=84.28 cores=0,2,4,6
/proc/24238/stat : 24238 (clasp-1.3.3-x86) R 23250 24238 24238 0 -1 4202496 10406 0 0 0 8426 2 0 0 20 0 1 0 338215843 43450368 10331 33554432000 134512640 136080129 4287044496 4287043488 134588614 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 10608 10331 176 383 0 10223 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 178976

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1719.5 s]
/proc/loadavg: 2.06 2.09 2.05 3/177 24241
/proc/meminfo: memFree=26540816/32873624 swapFree=7112/7112
[pid=23250] ppid=23248 vsize=136544 CPUtime=1715.78 cores=0,2,4,6
/proc/23250/stat : 23250 (python) S 23248 23250 21196 0 -1 4202496 56437 511485 0 2 6885 1006 163416 271 20 0 1 0 338052324 139821056 6393 33554432000 4194304 4196484 140735354208480 140735354200240 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/23250/statm: 34136 6393 1180 1 0 5193 0
[pid=24238] ppid=23250 vsize=42432 CPUtime=84.28 cores=0,2,4,6
/proc/24238/stat : 24238 (clasp-1.3.3-x86) R 23250 24238 24238 0 -1 4202496 10406 0 0 0 8426 2 0 0 20 0 1 0 338215843 43450368 10331 33554432000 134512640 136080129 4287044496 4287043488 134588614 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 10608 10331 176 383 0 10223 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 178976

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23250 and gives
#  childrusage.ru_utime.tv_sec=1703
#  childrusage.ru_utime.tv_usec=27100
#  childrusage.ru_stime.tv_sec=12
#  childrusage.ru_stime.tv_usec=781056
# CPU time returned by wait4() is 1715.81
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 1719.51
CPU time (s): 1800.09
CPU user time (s): 1787.48
CPU system time (s): 12.61
CPU usage (%): 104.686
Max. virtual memory (cumulated for all children) (KiB): 2851684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1703.03
system time used= 12.7811
maximum resident set size= 594808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 567922
page faults= 2
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12223
involuntary context switches= 5093

runsolver used 3.57246 second user time and 8.68268 second system time

The end

Launcher Data 

Begin job on node121 at 2012-06-03 12:27:48
IDJOB=3739615
IDBENCH=73867
IDSOLVER=2323
FILE ID=node121/3739615-1338719268
RUNJOBID= node121-1338714575-21212
PBS_JOBID= 14636757
Free space on /tmp= 71228 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_3-sat.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3739615-1338719268/watcher-3739615-1338719268 -o /tmp/evaluation-result-3739615-1338719268/solver-3739615-1338719268 -C 1800 -W 1900 -M 15500  solver HOME/instance-3739615-1338719268.opb 1272652375 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 56cc40b9ea431027514a5b56e02d7edb
RANDOM SEED=1272652375

node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873624 kB
MemFree:        26772056 kB
Buffers:          629516 kB
Cached:          4536696 kB
SwapCached:            0 kB
Active:          1913208 kB
Inactive:        3308020 kB
Active(anon):      43164 kB
Inactive(anon):    10760 kB
Active(file):    1870044 kB
Inactive(file):  3297260 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             24720 kB
Writeback:             0 kB
AnonPages:         58460 kB
Mapped:            18304 kB
Shmem:               200 kB
Slab:             744348 kB
SReclaimable:     187724 kB
SUnreclaim:       556624 kB
KernelStack:        1440 kB
PageTables:         4300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     155100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71204 MiB
End job on node121 at 2012-06-03 12:56:30