Trace number 3741003

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.02 1715.92

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-76.opb
MD5SUMf030651c159d27eae553d070b0927366
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1408.44
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12587
Total number of constraints283937
Number of constraints which are clauses255125
Number of constraints which are cardinality constraints (but not clauses)903
Number of constraints which are nor clauses,nor cardinality constraints27909
Minimum length of a constraint2
Maximum length of a constraint270
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 271
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

running on 4 cores: 1,3,5,7

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.16 2.10 2.09 3/177 3032
/proc/meminfo: memFree=30343136/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=15016 CPUtime=0 cores=1,3,5,7
/proc/3032/stat : 3032 (python) R 3030 3032 31325 0 -1 4202496 728 0 0 0 0 0 0 0 20 0 1 0 338396005 15376384 497 33554432000 4194304 5683644 140734781185488 140734781172264 4540219 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 3754 502 299 364 0 196 0

[startup+0.0171389 s]
/proc/loadavg: 2.16 2.10 2.09 3/177 3032
/proc/meminfo: memFree=30343136/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/3032/stat : 3032 (python) D 3030 3032 31325 0 -1 4202496 889 0 0 0 0 0 0 0 20 0 1 0 338396005 15749120 636 33554432000 4194304 5683644 140734781185488 140734781125976 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 3845 636 334 364 0 287 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380

[startup+0.100312 s]
/proc/loadavg: 2.16 2.10 2.09 3/177 3032
/proc/meminfo: memFree=30343136/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=17632 CPUtime=0.02 cores=1,3,5,7
/proc/3032/stat : 3032 (python) R 3030 3032 31325 0 -1 4202496 2229 0 0 0 1 1 0 0 20 0 1 0 338396005 18055168 733 33554432000 4194304 4196484 140735537743168 140735537673336 139996621976770 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 4408 733 363 1 0 343 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17632

[startup+0.300244 s]
/proc/loadavg: 2.16 2.10 2.09 3/177 3032
/proc/meminfo: memFree=30343136/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=57148 CPUtime=0.08 cores=1,3,5,7
/proc/3032/stat : 3032 (python) D 3030 3032 31325 0 -1 4202496 4112 0 0 0 4 4 0 0 20 0 1 0 338396005 58519552 2252 33554432000 4194304 4196484 140735537743168 140735537602920 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 14287 2252 603 1 0 1625 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 57148

[startup+0.700224 s]
/proc/loadavg: 2.16 2.10 2.09 3/177 3032
/proc/meminfo: memFree=30343136/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=103804 CPUtime=0.27 cores=1,3,5,7
/proc/3032/stat : 3032 (python) D 3030 3032 31325 0 -1 4202496 6941 1014 0 0 18 9 0 0 20 0 1 0 338396005 106295296 4266 33554432000 4194304 4196484 140735537743168 140735537707096 225444708021 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 25951 4266 1052 1 0 3237 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 103804

[startup+1.50025 s]
/proc/loadavg: 2.16 2.10 2.09 2/178 3037
/proc/meminfo: memFree=30322428/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=118124 CPUtime=0.5 cores=1,3,5,7
/proc/3032/stat : 3032 (python) D 3030 3032 31325 0 -1 4202496 9596 1014 0 0 28 22 0 0 20 0 1 0 338396005 120958976 5831 33554432000 4194304 4196484 140735537743168 140735537676776 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 29531 5831 1083 1 0 4730 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 118124

[startup+3.10027 s]
/proc/loadavg: 2.23 2.12 2.10 3/179 3038
/proc/meminfo: memFree=30298224/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=134460 CPUtime=0.69 cores=1,3,5,7
/proc/3032/stat : 3032 (python) R 3030 3032 31325 0 -1 4202496 11235 1014 0 0 42 27 0 0 20 0 1 0 338396005 137687040 6349 33554432000 4194304 4196484 140735537743168 140735537734928 225444750263 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 33615 6349 1170 1 0 5187 0
[pid=3038] ppid=3032 vsize=24112 CPUtime=1.3 cores=1,3,5,7
/proc/3038/stat : 3038 (clasp-1.3.3-x86) R 3032 3038 3038 0 -1 4202496 6380 0 0 0 128 2 0 0 20 0 1 0 338396184 24690688 5698 33554432000 134512640 136080129 4288009344 4288008416 134850077 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/3038/statm: 6028 5698 176 383 0 5643 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 158572
heavy processes:

[startup+6.30027 s]
/proc/loadavg: 2.23 2.12 2.10 3/179 3038
/proc/meminfo: memFree=30285824/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=134460 CPUtime=0.84 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 11247 1014 0 0 55 29 0 0 20 0 1 0 338396005 137687040 6349 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 33615 6349 1170 1 0 5187 0
[pid=3038] ppid=3032 vsize=30252 CPUtime=4.5 cores=1,3,5,7
/proc/3038/stat : 3038 (clasp-1.3.3-x86) R 3032 3038 3038 0 -1 4202496 7866 0 0 0 448 2 0 0 20 0 1 0 338396184 30978048 7184 33554432000 134512640 136080129 4288009344 4288008416 134849676 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/3038/statm: 7563 7184 176 383 0 7178 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 164712

[startup+12.7003 s]
/proc/loadavg: 2.19 2.11 2.10 4/179 3038
/proc/meminfo: memFree=30270184/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136520 CPUtime=11.37 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 12518 11389 0 0 81 34 1018 4 20 0 1 0 338396005 139796480 6371 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34130 6371 1180 1 0 5187 0
Current children cumulated CPU time (s) 11.37
Current children cumulated vsize (KiB) 136520

[startup+25.5003 s]
/proc/loadavg: 2.16 2.11 2.09 3/179 3041
/proc/meminfo: memFree=30258644/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136520 CPUtime=11.95 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 12544 11389 0 0 131 42 1018 4 20 0 1 0 338396005 139796480 6371 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34130 6371 1180 1 0 5187 0
[pid=3041] ppid=3032 vsize=38100 CPUtime=13.45 cores=1,3,5,7
/proc/3041/stat : 3041 (clasp-1.3.3-x86) R 3032 3041 3041 0 -1 4202496 9759 0 0 0 1343 2 0 0 20 0 1 0 338397208 39014400 9082 33554432000 134512640 136080129 4286977728 4286976720 134588974 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/3041/statm: 9525 9082 176 383 0 9140 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 174620

[startup+51.1004 s]
/proc/loadavg: 2.17 2.12 2.09 3/179 3041
/proc/meminfo: memFree=30220528/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136520 CPUtime=13.08 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 12584 11389 0 0 228 58 1018 4 20 0 1 0 338396005 139796480 6371 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34130 6371 1180 1 0 5187 0
[pid=3041] ppid=3032 vsize=52024 CPUtime=39.05 cores=1,3,5,7
/proc/3041/stat : 3041 (clasp-1.3.3-x86) R 3032 3041 3041 0 -1 4202496 13075 0 0 0 3902 3 0 0 20 0 1 0 338397208 53272576 12398 33554432000 134512640 136080129 4286977728 4286976800 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/3041/statm: 13006 12398 176 383 0 12621 0
Current children cumulated CPU time (s) 52.13
Current children cumulated vsize (KiB) 188544

[startup+102.307 s]
/proc/loadavg: 2.06 2.09 2.09 4/179 3050
/proc/meminfo: memFree=30288560/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136520 CPUtime=65.74 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 13791 25472 0 0 450 96 6019 9 20 0 1 0 338396005 139796480 6375 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34130 6375 1180 1 0 5187 0
[pid=3044] ppid=3032 vsize=52280 CPUtime=40.18 cores=1,3,5,7
/proc/3044/stat : 3044 (wbo1.4a) R 3032 3044 3044 0 -1 4202496 16038 0 0 0 3952 66 0 0 20 0 1 0 338402216 53534720 12266 33554432000 134512640 135751879 4289427232 4289425408 134616851 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/3044/statm: 13070 12266 139 303 0 12765 0
Current children cumulated CPU time (s) 105.92
Current children cumulated vsize (KiB) 188800

[startup+162.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/179 3057
/proc/meminfo: memFree=30225860/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136520 CPUtime=119.55 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 15084 43312 0 0 684 134 11059 78 20 0 1 0 338396005 139796480 6377 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34130 6377 1180 1 0 5187 0
[pid=3056] ppid=3032 vsize=53864 CPUtime=49.05 cores=1,3,5,7
/proc/3056/stat : 3056 (clasp-1.3.3-x86) R 3032 3056 3056 0 -1 4202496 13663 0 0 0 4902 3 0 0 20 0 1 0 338407328 55156736 12984 33554432000 134512640 136080129 4290201280 4290200352 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/3056/statm: 13466 12984 176 383 0 13081 0
Current children cumulated CPU time (s) 168.6
Current children cumulated vsize (KiB) 190384

[startup+222.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/179 3066
/proc/meminfo: memFree=30307392/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136520 CPUtime=222.83 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 16385 60095 0 0 935 176 21088 84 20 0 1 0 338396005 139796480 6378 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34130 6378 1180 1 0 5187 0
[pid=3063] ppid=3032 vsize=34976 CPUtime=8.67 cores=1,3,5,7
/proc/3063/stat : 3063 (wbo1.4a) R 3032 3063 3063 0 -1 4202496 11788 0 0 0 834 33 0 0 20 0 1 0 338417366 35815424 8010 33554432000 134512640 135751879 4287977040 4287975212 134517408 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/3063/statm: 8744 8010 139 303 0 8439 0
Current children cumulated CPU time (s) 231.5
Current children cumulated vsize (KiB) 171496

[startup+282.3 s]
/proc/loadavg: 2.09 2.11 2.09 3/179 3069
/proc/meminfo: memFree=30216652/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136520 CPUtime=225.59 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 16416 60095 0 0 1175 212 21088 84 20 0 1 0 338396005 139796480 6378 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34130 6378 1180 1 0 5187 0
[pid=3063] ppid=3032 vsize=60488 CPUtime=68.65 cores=1,3,5,7
/proc/3063/stat : 3063 (wbo1.4a) R 3032 3063 3063 0 -1 4202496 18059 0 0 0 6791 74 0 0 20 0 1 0 338417366 61939712 14293 33554432000 134512640 135751879 4287977040 4287975292 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/3063/statm: 15122 14293 139 303 0 14817 0
Current children cumulated CPU time (s) 294.24
Current children cumulated vsize (KiB) 197008

[startup+342.3 s]
/proc/loadavg: 2.23 2.15 2.10 3/180 3170
/proc/meminfo: memFree=30356476/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136520 CPUtime=329.75 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 17700 81019 0 0 1439 253 31107 176 20 0 1 0 338396005 139796480 6380 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34130 6380 1180 1 0 5187 0
[pid=3122] ppid=3032 vsize=43604 CPUtime=27.51 cores=1,3,5,7
/proc/3122/stat : 3122 (wbo1.4b) R 3032 3122 3122 0 -1 4202496 13908 0 0 0 2699 52 0 0 20 0 1 0 338427481 44650496 10134 33554432000 134512640 135751879 4294434016 4294432032 134616377 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/3122/statm: 10901 10134 143 303 0 10596 0
Current children cumulated CPU time (s) 357.26
Current children cumulated vsize (KiB) 180124

[startup+402.301 s]
/proc/loadavg: 2.03 2.11 2.09 3/197 3194
/proc/meminfo: memFree=29858016/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136520 CPUtime=383.65 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 18962 97893 0 0 1673 294 36154 244 20 0 1 0 338396005 139796480 6380 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34130 6380 1180 1 0 5187 0
[pid=3173] ppid=3032 vsize=2715136 CPUtime=38.79 cores=1,3,5,7
/proc/3173/stat : 3173 (java) S 3032 3173 3173 0 -1 4202496 11691 0 1 0 3843 36 0 0 20 0 19 0 338432600 2780299264 132565 33554432000 1073741824 1073778376 140735532570304 140735532561440 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3173/statm: 678784 132565 2269 9 0 669477 0

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

/proc/3302/statm: 23440 22925 176 383 0 23055 0
Current children cumulated CPU time (s) 1116.91
Current children cumulated vsize (KiB) 230280

[startup+1122.3 s]
/proc/loadavg: 2.05 2.10 2.09 3/179 3375
/proc/meminfo: memFree=30330100/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136520 CPUtime=1166.66 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 43034 355632 0 2 4577 798 110630 661 20 0 1 0 338396005 139796480 6390 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34130 6390 1180 1 0 5187 0
[pid=3372] ppid=3032 vsize=79304 CPUtime=12.98 cores=1,3,5,7
/proc/3372/stat : 3372 (bsolo_pb10) R 3032 3372 3372 0 -1 4202496 20645 0 0 0 1283 15 0 0 20 0 1 0 338506936 81207296 17354 33554432000 134512640 137138936 4291879424 4291726876 136570369 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/3372/statm: 19826 17354 185 642 0 19182 0
Current children cumulated CPU time (s) 1179.64
Current children cumulated vsize (KiB) 215824

[startup+1182.3 s]
/proc/loadavg: 2.02 2.08 2.08 3/179 3378
/proc/meminfo: memFree=30296468/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136520 CPUtime=1169.47 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 43081 355632 0 2 4818 838 110630 661 20 0 1 0 338396005 139796480 6390 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34130 6390 1180 1 0 5187 0
[pid=3372] ppid=3032 vsize=105764 CPUtime=72.94 cores=1,3,5,7
/proc/3372/stat : 3372 (bsolo_pb10) R 3032 3372 3372 0 -1 4202496 31675 0 0 0 7194 100 0 0 20 0 1 0 338506936 108302336 23981 33554432000 134512640 137138936 4291879424 4291878344 135984569 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/3372/statm: 26441 23981 192 642 0 25797 0
Current children cumulated CPU time (s) 1242.41
Current children cumulated vsize (KiB) 242284

[startup+1242.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/179 3384
/proc/meminfo: memFree=30346972/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136520 CPUtime=1283.91 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 45647 400251 0 2 5056 876 121692 767 20 0 1 0 338396005 139796480 6391 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34130 6391 1180 1 0 5187 0
[pid=3384] ppid=3032 vsize=44900 CPUtime=21.22 cores=1,3,5,7
/proc/3384/stat : 3384 (clasp-1.3.3-x86) R 3032 3384 3384 0 -1 4202496 11327 0 0 0 2119 3 0 0 20 0 1 0 338518111 45977600 10642 33554432000 134512640 136080129 4291353920 4291352912 134588737 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/3384/statm: 11225 10642 176 383 0 10840 0
Current children cumulated CPU time (s) 1305.13
Current children cumulated vsize (KiB) 181420

[startup+1302.3 s]
/proc/loadavg: 2.05 2.06 2.07 3/179 3384
/proc/meminfo: memFree=30322264/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136520 CPUtime=1286.6 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 45684 400251 0 2 5286 915 121692 767 20 0 1 0 338396005 139796480 6391 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34130 6391 1180 1 0 5187 0
[pid=3384] ppid=3032 vsize=61464 CPUtime=81.21 cores=1,3,5,7
/proc/3384/stat : 3384 (clasp-1.3.3-x86) R 3032 3384 3384 0 -1 4202496 15360 0 0 0 8116 5 0 0 20 0 1 0 338518111 62939136 14667 33554432000 134512640 136080129 4291353920 4291352912 134588592 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/3384/statm: 15366 14667 176 383 0 14981 0
Current children cumulated CPU time (s) 1367.81
Current children cumulated vsize (KiB) 197984

[startup+1362.3 s]
/proc/loadavg: 2.14 2.08 2.08 3/179 3394
/proc/meminfo: memFree=30327340/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136520 CPUtime=1410.21 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 49497 438013 0 2 5527 956 133758 780 20 0 1 0 338396005 139796480 6392 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34130 6392 1180 1 0 5187 0
[pid=3394] ppid=3032 vsize=45440 CPUtime=20.32 cores=1,3,5,7
/proc/3394/stat : 3394 (clasp-1.3.3-x86) R 3032 3394 3394 0 -1 4202496 11447 0 0 0 2030 2 0 0 20 0 1 0 338530200 46530560 10820 33554432000 134512640 136080129 4291736896 4291735972 134850025 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/3394/statm: 11360 10820 176 383 0 10975 0
Current children cumulated CPU time (s) 1430.53
Current children cumulated vsize (KiB) 181960

[startup+1422.31 s]
/proc/loadavg: 2.05 2.06 2.07 4/179 3400
/proc/meminfo: memFree=30316212/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136520 CPUtime=1473.76 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 52062 463098 0 2 5761 998 139830 787 20 0 1 0 338396005 139796480 6392 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34130 6392 1180 1 0 5187 0
[pid=3400] ppid=3032 vsize=44388 CPUtime=19.5 cores=1,3,5,7
/proc/3400/stat : 3400 (clasp-1.3.3-x86) R 3032 3400 3400 0 -1 4202496 11247 0 0 0 1948 2 0 0 20 0 1 0 338536284 45453312 10565 33554432000 134512640 136080129 4293691472 4293690464 134588658 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/3400/statm: 11097 10565 176 383 0 10712 0
Current children cumulated CPU time (s) 1493.26
Current children cumulated vsize (KiB) 180908

[startup+1482.3 s]
/proc/loadavg: 2.07 2.06 2.07 3/179 3403
/proc/meminfo: memFree=30235036/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136520 CPUtime=1476.42 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 52094 463098 0 2 5988 1037 139830 787 20 0 1 0 338396005 139796480 6392 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34130 6392 1180 1 0 5187 0
[pid=3400] ppid=3032 vsize=63776 CPUtime=79.46 cores=1,3,5,7
/proc/3400/stat : 3400 (clasp-1.3.3-x86) R 3032 3400 3400 0 -1 4202496 15998 0 0 0 7942 4 0 0 20 0 1 0 338536284 65306624 15541 33554432000 134512640 136080129 4293691472 4293690600 134803069 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/3400/statm: 15944 15541 176 383 0 15559 0
Current children cumulated CPU time (s) 1555.88
Current children cumulated vsize (KiB) 200296

[startup+1542.3 s]
/proc/loadavg: 2.06 2.06 2.07 3/180 3421
/proc/meminfo: memFree=30359836/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136652 CPUtime=1600.06 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 55936 500700 0 2 6228 1081 151898 799 20 0 1 0 338396005 139931648 6394 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34163 6394 1180 1 0 5220 0
[pid=3415] ppid=3032 vsize=43708 CPUtime=18.61 cores=1,3,5,7
/proc/3415/stat : 3415 (clasp-1.3.3-x86) R 3032 3415 3415 0 -1 4202496 11165 0 0 0 1858 3 0 0 20 0 1 0 338548372 44756992 10475 33554432000 134512640 136080129 4290709552 4290708624 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 10927 10475 176 383 0 10542 0
Current children cumulated CPU time (s) 1618.67
Current children cumulated vsize (KiB) 180360

[startup+1602.3 s]
/proc/loadavg: 2.11 2.08 2.08 3/179 3421
/proc/meminfo: memFree=30329628/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136652 CPUtime=1602.74 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 55981 500700 0 2 6454 1123 151898 799 20 0 1 0 338396005 139931648 6394 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34163 6394 1180 1 0 5220 0
[pid=3415] ppid=3032 vsize=64272 CPUtime=78.59 cores=1,3,5,7
/proc/3415/stat : 3415 (clasp-1.3.3-x86) R 3032 3415 3415 0 -1 4202496 16130 0 0 0 7854 5 0 0 20 0 1 0 338548372 65814528 15595 33554432000 134512640 136080129 4290709552 4290708544 134588742 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 16068 15595 176 383 0 15683 0
Current children cumulated CPU time (s) 1681.33
Current children cumulated vsize (KiB) 200924

[startup+1662.3 s]
/proc/loadavg: 2.17 2.09 2.08 3/179 3440
/proc/meminfo: memFree=30363192/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136652 CPUtime=1726.31 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 59798 538036 0 2 6691 1165 163964 811 20 0 1 0 338396005 139931648 6395 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34163 6395 1180 1 0 5220 0
[pid=3434] ppid=3032 vsize=41792 CPUtime=17.75 cores=1,3,5,7
/proc/3434/stat : 3434 (clasp-1.3.3-x86) R 3032 3434 3434 0 -1 4202496 10711 0 0 0 1774 1 0 0 20 0 1 0 338560458 42795008 10021 33554432000 134512640 136080129 4288402576 4288401704 134803132 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/3434/statm: 10448 10021 176 383 0 10063 0
Current children cumulated CPU time (s) 1744.06
Current children cumulated vsize (KiB) 178444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1715.9 s]
/proc/loadavg: 2.13 2.09 2.08 3/179 3443
/proc/meminfo: memFree=30340228/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136652 CPUtime=1728.68 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 59820 538036 0 2 6893 1200 163964 811 20 0 1 0 338396005 139931648 6395 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34163 6395 1180 1 0 5220 0
[pid=3434] ppid=3032 vsize=61744 CPUtime=71.34 cores=1,3,5,7
/proc/3434/stat : 3434 (clasp-1.3.3-x86) R 3032 3434 3434 0 -1 4202496 15450 0 0 0 7131 3 0 0 20 0 1 0 338560458 63225856 14871 33554432000 134512640 136080129 4288402576 4288401664 134579351 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/3434/statm: 15436 14871 176 383 0 15051 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 198396

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

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

[startup+1715.9 s]
/proc/loadavg: 2.13 2.09 2.08 3/179 3443
/proc/meminfo: memFree=30340228/32873844 swapFree=7900/7900
[pid=3032] ppid=3030 vsize=136652 CPUtime=1728.68 cores=1,3,5,7
/proc/3032/stat : 3032 (python) S 3030 3032 31325 0 -1 4202496 59820 538036 0 2 6893 1200 163964 811 20 0 1 0 338396005 139931648 6395 33554432000 4194304 4196484 140735537743168 140735537734928 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3032/statm: 34163 6395 1180 1 0 5220 0
[pid=3434] ppid=3032 vsize=61744 CPUtime=71.34 cores=1,3,5,7
/proc/3434/stat : 3434 (clasp-1.3.3-x86) R 3032 3434 3434 0 -1 4202496 15450 0 0 0 7131 3 0 0 20 0 1 0 338560458 63225856 14871 33554432000 134512640 136080129 4288402576 4288401664 134579351 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/3434/statm: 15436 14871 176 383 0 15051 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 198396

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3032 and gives
#  childrusage.ru_utime.tv_sec=1708
#  childrusage.ru_utime.tv_usec=581256
#  childrusage.ru_stime.tv_sec=20
#  childrusage.ru_stime.tv_usec=120941
# CPU time returned by wait4() is 1728.7
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1715.92
CPU time (s): 1800.02
CPU user time (s): 1779.88
CPU system time (s): 20.14
CPU usage (%): 104.901
Max. virtual memory (cumulated for all children) (KiB): 2851660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1708.58
system time used= 20.1209
maximum resident set size= 565352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 597857
page faults= 2
swaps= 0
block input operations= 0
block output operations= 256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13252
involuntary context switches= 9825

runsolver used 4.39033 second user time and 10.2344 second system time

The end

Launcher Data

Begin job on node137 at 2012-06-03 13:25:14
IDJOB=3741003
IDBENCH=89728
IDSOLVER=2323
FILE ID=node137/3741003-1338722714
RUNJOBID= node137-1338714575-31342
PBS_JOBID= 14636756
Free space on /tmp= 70236 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-76.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741003-1338722714/watcher-3741003-1338722714 -o /tmp/evaluation-result-3741003-1338722714/solver-3741003-1338722714 -C 1800 -W 1900 -M 15500  solver HOME/instance-3741003-1338722714.opb 728486643 

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

MD5SUM BENCH= f030651c159d27eae553d070b0927366
RANDOM SEED=728486643

node137.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		: 2666.600
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	: 5333.20
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		: 2666.600
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		: 2666.600
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		: 2666.600
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		: 2666.600
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		: 2666.600
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.90
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		: 2666.600
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	: 5331.91
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		: 2666.600
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:       32873844 kB
MemFree:        30343524 kB
Buffers:          241212 kB
Cached:          1317900 kB
SwapCached:         5796 kB
Active:          1010144 kB
Inactive:         693476 kB
Active(anon):     139852 kB
Inactive(anon):     7172 kB
Active(file):     870292 kB
Inactive(file):   686304 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             32324 kB
Writeback:             0 kB
AnonPages:        148340 kB
Mapped:            13316 kB
Shmem:                 0 kB
Slab:             687392 kB
SReclaimable:     128048 kB
SUnreclaim:       559344 kB
KernelStack:        1440 kB
PageTables:         4556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     264896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70236 MiB
End job on node137 at 2012-06-03 13:53:53