Trace number 3741133

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.05 1713.72

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-21.opb
MD5SUM3f7496125222b93dca78bd7d73f5e00c
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark949.823
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7351
Total number of constraints155824
Number of constraints which are clauses139567
Number of constraints which are cardinality constraints (but not clauses)563
Number of constraints which are nor clauses,nor cardinality constraints15694
Minimum length of a constraint2
Maximum length of a constraint195
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 196
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.12 2.10 2.09 3/179 15763
/proc/meminfo: memFree=28571276/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=15016 CPUtime=0 cores=0,2,4,6
/proc/15763/stat : 15763 (python) D 15761 15763 11290 0 -1 4202496 650 0 0 0 0 0 0 0 20 0 1 0 338560649 15376384 430 33554432000 4194304 5683644 140736974660848 140736974647400 215143497397 0 0 4096 0 18446744072100748580 0 0 17 4 0 0 0 0 0
/proc/15763/statm: 3754 430 267 364 0 196 0

[startup+0.010491 s]
/proc/loadavg: 2.12 2.10 2.09 3/179 15763
/proc/meminfo: memFree=28571276/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/15763/stat : 15763 (python) D 15761 15763 11290 0 -1 4202496 796 0 0 0 0 0 0 0 20 0 1 0 338560649 15642624 559 33554432000 4194304 5683644 140736974660848 140736974633032 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 4 0 0 0 0 0
/proc/15763/statm: 3819 559 324 364 0 261 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15276

[startup+0.100199 s]
/proc/loadavg: 2.12 2.10 2.09 3/179 15763
/proc/meminfo: memFree=28571276/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=17616 CPUtime=0.02 cores=0,2,4,6
/proc/15763/stat : 15763 (python) D 15761 15763 11290 0 -1 4202496 2213 0 0 0 1 1 0 0 20 0 1 0 338560649 18038784 720 33554432000 4194304 4196484 140737352045296 140737351971240 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 6 0 0 0 0 0
/proc/15763/statm: 4404 720 354 1 0 339 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17616

[startup+0.300267 s]
/proc/loadavg: 2.12 2.10 2.09 3/179 15763
/proc/meminfo: memFree=28571276/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=54512 CPUtime=0.09 cores=0,2,4,6
/proc/15763/stat : 15763 (python) D 15761 15763 11290 0 -1 4202496 3936 0 0 0 5 4 0 0 20 0 1 0 338560649 55820288 2130 33554432000 4194304 4196484 140737352045296 140737351905048 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 6 0 0 0 0 0
/proc/15763/statm: 13628 2130 600 1 0 1483 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 54512

[startup+0.700184 s]
/proc/loadavg: 2.12 2.10 2.09 3/179 15763
/proc/meminfo: memFree=28571276/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=99044 CPUtime=0.24 cores=0,2,4,6
/proc/15763/stat : 15763 (python) R 15761 15763 11290 0 -1 4202496 5756 0 0 0 12 12 0 0 20 0 1 0 338560649 101421056 3603 33554432000 4194304 4196484 140737352045296 140737351988168 215143497557 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0
/proc/15763/statm: 24761 3603 1047 1 0 2563 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 99044

[startup+1.50023 s]
/proc/loadavg: 2.11 2.10 2.09 3/180 15768
/proc/meminfo: memFree=28553032/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=118120 CPUtime=0.51 cores=0,2,4,6
/proc/15763/stat : 15763 (python) D 15761 15763 11290 0 -1 4202496 9594 1012 0 0 28 23 0 0 20 0 1 0 338560649 120954880 5831 33554432000 4194304 4196484 140737352045296 140737351978904 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 29530 5831 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 118120

[startup+3.10022 s]
/proc/loadavg: 2.11 2.10 2.09 3/181 15769
/proc/meminfo: memFree=28538268/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=134452 CPUtime=0.71 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 11223 1012 0 0 44 27 0 0 20 0 1 0 338560649 137678848 6348 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/15763/statm: 33613 6348 1170 1 0 5185 0
[pid=15769] ppid=15763 vsize=15524 CPUtime=1.24 cores=0,2,4,6
/proc/15769/stat : 15769 (clasp-1.3.3-x86) R 15763 15769 15769 0 -1 4202496 4043 0 0 0 124 0 0 0 20 0 1 0 338560834 15896576 3630 33554432000 134512640 136080129 4289274848 4289273920 134849682 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/15769/statm: 3881 3630 176 383 0 3496 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 149976
heavy processes:

[startup+6.30022 s]
/proc/loadavg: 2.11 2.10 2.09 3/181 15769
/proc/meminfo: memFree=28531696/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=134452 CPUtime=0.84 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 11233 1012 0 0 56 28 0 0 20 0 1 0 338560649 137678848 6348 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/15763/statm: 33613 6348 1170 1 0 5185 0
[pid=15769] ppid=15763 vsize=20656 CPUtime=4.44 cores=0,2,4,6
/proc/15769/stat : 15769 (clasp-1.3.3-x86) R 15763 15769 15769 0 -1 4202496 5263 0 0 0 444 0 0 0 20 0 1 0 338560834 21151744 4850 33554432000 134512640 136080129 4289274848 4289273920 134849682 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/15769/statm: 5164 4850 176 383 0 4779 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 155108

[startup+12.7003 s]
/proc/loadavg: 2.09 2.10 2.09 4/181 15772
/proc/meminfo: memFree=28543484/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136512 CPUtime=11.3 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 12485 8482 0 0 85 34 1009 2 20 0 1 0 338560649 139788288 6369 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34128 6369 1180 1 0 5185 0
[pid=15772] ppid=15763 vsize=14312 CPUtime=0.71 cores=0,2,4,6
/proc/15772/stat : 15772 (clasp-1.3.3-x86) R 15763 15772 15772 0 -1 4202496 3740 0 0 0 71 0 0 0 20 0 1 0 338561847 14655488 3320 33554432000 134512640 136080129 4289128544 4289127332 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15772/statm: 3578 3320 176 383 0 3193 0
Current children cumulated CPU time (s) 12.01
Current children cumulated vsize (KiB) 150824

[startup+25.5003 s]
/proc/loadavg: 2.00 2.08 2.08 3/181 15816
/proc/meminfo: memFree=28569420/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136512 CPUtime=11.88 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 12514 8482 0 0 135 42 1009 2 20 0 1 0 338560649 139788288 6369 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34128 6369 1180 1 0 5185 0
[pid=15772] ppid=15763 vsize=25132 CPUtime=13.51 cores=0,2,4,6
/proc/15772/stat : 15772 (clasp-1.3.3-x86) R 15763 15772 15772 0 -1 4202496 6385 0 0 0 1349 2 0 0 20 0 1 0 338561847 25735168 5965 33554432000 134512640 136080129 4289128544 4289127712 134835109 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15772/statm: 6283 5965 176 383 0 5898 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 161644

[startup+51.1003 s]
/proc/loadavg: 2.06 2.09 2.08 3/181 15819
/proc/meminfo: memFree=28553788/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136512 CPUtime=13.08 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 12541 8482 0 0 236 61 1009 2 20 0 1 0 338560649 139788288 6369 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34128 6369 1180 1 0 5185 0
[pid=15772] ppid=15763 vsize=35688 CPUtime=39.11 cores=0,2,4,6
/proc/15772/stat : 15772 (clasp-1.3.3-x86) R 15763 15772 15772 0 -1 4202496 8968 0 0 0 3908 3 0 0 20 0 1 0 338561847 36544512 8556 33554432000 134512640 136080129 4289128544 4289127412 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15772/statm: 8922 8556 176 383 0 8537 0
Current children cumulated CPU time (s) 52.19
Current children cumulated vsize (KiB) 172200

[startup+102.306 s]
/proc/loadavg: 2.08 2.08 2.08 3/181 15873
/proc/meminfo: memFree=28471060/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136512 CPUtime=66.34 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 13721 18759 0 0 471 97 6060 6 20 0 1 0 338560649 139788288 6373 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34128 6373 1180 1 0 5185 0
[pid=15822] ppid=15763 vsize=49648 CPUtime=39.72 cores=0,2,4,6
/proc/15822/stat : 15822 (wbo1.4a) R 15763 15822 15822 0 -1 4202496 13853 0 0 0 3928 44 0 0 20 0 1 0 338566905 50839552 11698 33554432000 134512640 135751879 4290981744 4290979920 134616336 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/15822/statm: 12412 11698 139 303 0 12107 0
Current children cumulated CPU time (s) 106.06
Current children cumulated vsize (KiB) 186160

[startup+162.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/181 15879
/proc/meminfo: memFree=28457128/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136512 CPUtime=119.88 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 14973 34712 0 0 716 137 11079 56 20 0 1 0 338560649 139788288 6376 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34128 6376 1180 1 0 5185 0
[pid=15876] ppid=15763 vsize=38548 CPUtime=49 cores=0,2,4,6
/proc/15876/stat : 15876 (clasp-1.3.3-x86) R 15763 15876 15876 0 -1 4202496 9623 0 0 0 4898 2 0 0 20 0 1 0 338571977 39473152 9206 33554432000 134512640 136080129 4289264848 4289263936 134579365 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15876/statm: 9637 9206 176 383 0 9252 0
Current children cumulated CPU time (s) 168.88
Current children cumulated vsize (KiB) 175060

[startup+222.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/181 15885
/proc/meminfo: memFree=28474660/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136512 CPUtime=223.39 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 16195 47256 0 0 983 178 21119 59 20 0 1 0 338560649 139788288 6377 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34128 6377 1180 1 0 5185 0
[pid=15885] ppid=15763 vsize=26648 CPUtime=8.53 cores=0,2,4,6
/proc/15885/stat : 15885 (wbo1.4a) R 15763 15885 15885 0 -1 4202496 8193 0 0 0 828 25 0 0 20 0 1 0 338582025 27287552 6047 33554432000 134512640 135751879 4289190512 4289188764 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/15885/statm: 6662 6047 139 303 0 6357 0
Current children cumulated CPU time (s) 231.92
Current children cumulated vsize (KiB) 163160

[startup+282.3 s]
/proc/loadavg: 2.17 2.11 2.09 3/181 15885
/proc/meminfo: memFree=28372272/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136512 CPUtime=226.26 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 16221 47256 0 0 1233 215 21119 59 20 0 1 0 338560649 139788288 6377 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34128 6377 1180 1 0 5185 0
[pid=15885] ppid=15763 vsize=66728 CPUtime=68.51 cores=0,2,4,6
/proc/15885/stat : 15885 (wbo1.4a) R 15763 15885 15885 0 -1 4202496 18071 0 0 0 6790 61 0 0 20 0 1 0 338582025 68329472 15916 33554432000 134512640 135751879 4289190512 4289188688 134616336 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/15885/statm: 16682 15916 139 303 0 16377 0
Current children cumulated CPU time (s) 294.77
Current children cumulated vsize (KiB) 203240

[startup+342.3 s]
/proc/loadavg: 2.15 2.11 2.09 3/181 15892
/proc/meminfo: memFree=28438880/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136512 CPUtime=330.35 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 17457 69393 0 0 1509 256 31140 130 20 0 1 0 338560649 139788288 6379 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34128 6379 1180 1 0 5185 0
[pid=15892] ppid=15763 vsize=36180 CPUtime=27.55 cores=0,2,4,6
/proc/15892/stat : 15892 (wbo1.4b) R 15763 15892 15892 0 -1 4202496 10480 0 0 0 2729 26 0 0 20 0 1 0 338592123 37048320 8335 33554432000 134512640 135751879 4289057936 4289056028 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/15892/statm: 9045 8335 143 303 0 8740 0
Current children cumulated CPU time (s) 357.9
Current children cumulated vsize (KiB) 172692

[startup+402.301 s]
/proc/loadavg: 2.13 2.12 2.09 3/199 15913
/proc/meminfo: memFree=27954004/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136512 CPUtime=383.95 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 18701 82394 0 0 1761 296 36174 164 20 0 1 0 338560649 139788288 6380 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34128 6380 1180 1 0 5185 0

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

/proc/16090/statm: 15476 15107 176 383 0 15091 0
Current children cumulated CPU time (s) 1117.62
Current children cumulated vsize (KiB) 198416

[startup+1122.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/181 16115
/proc/meminfo: memFree=28418752/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136512 CPUtime=1165.99 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 42127 285440 0 2 4873 785 110519 422 20 0 1 0 338560649 139788288 6389 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34128 6389 1180 1 0 5185 0
[pid=16115] ppid=15763 vsize=51620 CPUtime=14.62 cores=0,2,4,6
/proc/16115/stat : 16115 (bsolo_pb10) R 15763 16115 16115 0 -1 4202496 17002 0 0 0 1439 23 0 0 20 0 1 0 338671415 52858880 10472 33554432000 134512640 137138936 4287778448 4287776116 136500388 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/16115/statm: 12905 10472 192 642 0 12261 0
Current children cumulated CPU time (s) 1180.61
Current children cumulated vsize (KiB) 188132

[startup+1182.3 s]
/proc/loadavg: 2.16 2.10 2.09 3/181 16115
/proc/meminfo: memFree=28378736/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136512 CPUtime=1168.83 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 42154 285440 0 2 5120 822 110519 422 20 0 1 0 338560649 139788288 6389 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34128 6389 1180 1 0 5185 0
[pid=16115] ppid=15763 vsize=89596 CPUtime=74.61 cores=0,2,4,6
/proc/16115/stat : 16115 (bsolo_pb10) R 15763 16115 16115 0 -1 4202496 26476 0 0 0 7425 36 0 0 20 0 1 0 338671415 91746304 19940 33554432000 134512640 137138936 4287778448 4287777376 134542301 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/16115/statm: 22399 19940 192 642 0 21755 0
Current children cumulated CPU time (s) 1243.44
Current children cumulated vsize (KiB) 226108

[startup+1242.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/181 16125
/proc/meminfo: memFree=28362680/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136512 CPUtime=1282.64 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 44632 322720 0 2 5372 861 121567 464 20 0 1 0 338560649 139788288 6390 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34128 6390 1180 1 0 5185 0
[pid=16125] ppid=15763 vsize=29716 CPUtime=23.67 cores=0,2,4,6
/proc/16125/stat : 16125 (clasp-1.3.3-x86) R 15763 16125 16125 0 -1 4202496 7445 0 0 0 2365 2 0 0 20 0 1 0 338682512 30429184 7021 33554432000 134512640 136080129 4291807008 4291806000 134589224 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16125/statm: 7429 7021 176 383 0 7044 0
Current children cumulated CPU time (s) 1306.31
Current children cumulated vsize (KiB) 166228

[startup+1302.3 s]
/proc/loadavg: 2.11 2.09 2.09 3/180 16128
/proc/meminfo: memFree=28468080/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136512 CPUtime=1285.46 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 44656 322720 0 2 5617 898 121567 464 20 0 1 0 338560649 139788288 6390 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34128 6390 1180 1 0 5185 0
[pid=16125] ppid=15763 vsize=43228 CPUtime=83.66 cores=0,2,4,6
/proc/16125/stat : 16125 (clasp-1.3.3-x86) R 15763 16125 16125 0 -1 4202496 10706 0 0 0 8363 3 0 0 20 0 1 0 338682512 44265472 10282 33554432000 134512640 136080129 4291807008 4291806076 134807664 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16125/statm: 10807 10282 176 383 0 10422 0
Current children cumulated CPU time (s) 1369.12
Current children cumulated vsize (KiB) 179740

[startup+1362.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/181 16141
/proc/meminfo: memFree=28469808/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136512 CPUtime=1409.12 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 48367 350021 0 2 5873 937 133628 474 20 0 1 0 338560649 139788288 6391 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34128 6391 1180 1 0 5185 0
[pid=16140] ppid=15763 vsize=32296 CPUtime=22.89 cores=0,2,4,6
/proc/16140/stat : 16140 (clasp-1.3.3-x86) R 15763 16140 16140 0 -1 4202496 8110 0 0 0 2287 2 0 0 20 0 1 0 338694589 33071104 7682 33554432000 134512640 136080129 4289908176 4289907248 134849984 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16140/statm: 8074 7682 176 383 0 7689 0
Current children cumulated CPU time (s) 1432.01
Current children cumulated vsize (KiB) 168808

[startup+1422.31 s]
/proc/loadavg: 2.18 2.11 2.09 3/181 16153
/proc/meminfo: memFree=28488580/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136512 CPUtime=1472.2 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 50826 368480 0 2 6121 978 139641 480 20 0 1 0 338560649 139788288 6391 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34128 6391 1180 1 0 5185 0
[pid=16147] ppid=15763 vsize=30104 CPUtime=22.65 cores=0,2,4,6
/proc/16147/stat : 16147 (clasp-1.3.3-x86) R 15763 16147 16147 0 -1 4202496 7564 0 0 0 2264 1 0 0 20 0 1 0 338700613 30826496 7139 33554432000 134512640 136080129 4293100496 4293099572 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16147/statm: 7526 7139 176 383 0 7141 0
Current children cumulated CPU time (s) 1494.85
Current children cumulated vsize (KiB) 166616

[startup+1482.3 s]
/proc/loadavg: 2.07 2.09 2.09 3/181 16159
/proc/meminfo: memFree=28465440/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136512 CPUtime=1475.04 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 50853 368480 0 2 6366 1017 139641 480 20 0 1 0 338560649 139788288 6391 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34128 6391 1180 1 0 5185 0
[pid=16147] ppid=15763 vsize=49252 CPUtime=82.63 cores=0,2,4,6
/proc/16147/stat : 16147 (clasp-1.3.3-x86) R 15763 16147 16147 0 -1 4202496 12306 0 0 0 8261 2 0 0 20 0 1 0 338700613 50434048 11988 33554432000 134512640 136080129 4293100496 4293099572 134850021 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16147/statm: 12313 11988 176 383 0 11928 0
Current children cumulated CPU time (s) 1557.67
Current children cumulated vsize (KiB) 185764

[startup+1542.3 s]
/proc/loadavg: 2.10 2.09 2.09 4/181 16172
/proc/meminfo: memFree=28471240/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136644 CPUtime=1598.7 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 54556 397540 0 2 6622 1055 151706 487 20 0 1 0 338560649 139923456 6393 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34161 6393 1180 1 0 5218 0
[pid=16171] ppid=15763 vsize=30676 CPUtime=21.86 cores=0,2,4,6
/proc/16171/stat : 16171 (clasp-1.3.3-x86) R 15763 16171 16171 0 -1 4202496 7636 0 0 0 2185 1 0 0 20 0 1 0 338712692 31412224 7209 33554432000 134512640 136080129 4286838480 4286837616 134610270 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16171/statm: 7669 7209 176 383 0 7284 0
Current children cumulated CPU time (s) 1620.56
Current children cumulated vsize (KiB) 167320

[startup+1602.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/181 16178
/proc/meminfo: memFree=28496688/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136644 CPUtime=1601.5 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 54585 397540 0 2 6863 1094 151706 487 20 0 1 0 338560649 139923456 6393 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34161 6393 1180 1 0 5218 0
[pid=16171] ppid=15763 vsize=45852 CPUtime=81.84 cores=0,2,4,6
/proc/16171/stat : 16171 (clasp-1.3.3-x86) R 15763 16171 16171 0 -1 4202496 11470 0 0 0 8183 1 0 0 20 0 1 0 338712692 46952448 11091 33554432000 134512640 136080129 4286838480 4286837472 134588658 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16171/statm: 11463 11091 176 383 0 11078 0
Current children cumulated CPU time (s) 1683.34
Current children cumulated vsize (KiB) 182496

[startup+1662.3 s]
/proc/loadavg: 2.10 2.08 2.09 3/182 16193
/proc/meminfo: memFree=28471964/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136644 CPUtime=1725.17 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 58296 426194 0 2 7122 1131 163769 495 20 0 1 0 338560649 139923456 6396 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34161 6396 1180 1 0 5218 0
[pid=16190] ppid=15763 vsize=30260 CPUtime=21.07 cores=0,2,4,6
/proc/16190/stat : 16190 (clasp-1.3.3-x86) R 15763 16190 16190 0 -1 4202496 7547 0 0 0 2106 1 0 0 20 0 1 0 338724770 30986240 7119 33554432000 134512640 136080129 4290905056 4290904048 134588804 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16190/statm: 7565 7119 176 383 0 7180 0
Current children cumulated CPU time (s) 1746.24
Current children cumulated vsize (KiB) 166904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1713.7 s]
/proc/loadavg: 2.04 2.07 2.08 3/181 16196
/proc/meminfo: memFree=28475552/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136644 CPUtime=1727.58 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 58318 426194 0 2 7332 1162 163769 495 20 0 1 0 338560649 139923456 6396 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34161 6396 1180 1 0 5218 0
[pid=16190] ppid=15763 vsize=43308 CPUtime=72.47 cores=0,2,4,6
/proc/16190/stat : 16190 (clasp-1.3.3-x86) R 15763 16190 16190 0 -1 4202496 10691 0 0 0 7245 2 0 0 20 0 1 0 338724770 44347392 10399 33554432000 134512640 136080129 4290905056 4290904128 134849659 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16190/statm: 10827 10399 176 383 0 10442 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 179952

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

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

[startup+1713.7 s]
/proc/loadavg: 2.04 2.07 2.08 3/181 16196
/proc/meminfo: memFree=28475552/32873844 swapFree=7380/7380
[pid=15763] ppid=15761 vsize=136644 CPUtime=1727.58 cores=0,2,4,6
/proc/15763/stat : 15763 (python) S 15761 15763 11290 0 -1 4202496 58318 426194 0 2 7332 1162 163769 495 20 0 1 0 338560649 139923456 6396 33554432000 4194304 4196484 140737352045296 140737352037056 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15763/statm: 34161 6396 1180 1 0 5218 0
[pid=16190] ppid=15763 vsize=43308 CPUtime=72.47 cores=0,2,4,6
/proc/16190/stat : 16190 (clasp-1.3.3-x86) R 15763 16190 16190 0 -1 4202496 10691 0 0 0 7245 2 0 0 20 0 1 0 338724770 44347392 10399 33554432000 134512640 136080129 4290905056 4290904128 134849659 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16190/statm: 10827 10399 176 383 0 10442 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 179952

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15763 and gives
#  childrusage.ru_utime.tv_sec=1711
#  childrusage.ru_utime.tv_usec=27884
#  childrusage.ru_stime.tv_sec=16
#  childrusage.ru_stime.tv_usec=577479
# CPU time returned by wait4() is 1727.61
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1713.72
CPU time (s): 1800.05
CPU user time (s): 1783.46
CPU system time (s): 16.59
CPU usage (%): 105.038
Max. virtual memory (cumulated for all children) (KiB): 2851652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1711.03
system time used= 16.5775
maximum resident set size= 546572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 484513
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= 12028
involuntary context switches= 5861

runsolver used 3.48247 second user time and 9.48356 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 13:52:38
IDJOB=3741133
IDBENCH=89785
IDSOLVER=2323
FILE ID=node133/3741133-1338724357
RUNJOBID= node133-1338713154-11306
PBS_JOBID= 14636724
Free space on /tmp= 70448 MiB

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

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

MD5SUM BENCH= 3f7496125222b93dca78bd7d73f5e00c
RANDOM SEED=1024173401

node133.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.540
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.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		: 2666.540
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.92
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.540
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.540
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.540
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.540
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.540
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.540
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:        28571540 kB
Buffers:          460712 kB
Cached:          2862728 kB
SwapCached:          676 kB
Active:          1596572 kB
Inactive:        1803948 kB
Active(anon):      68452 kB
Inactive(anon):    10220 kB
Active(file):    1528120 kB
Inactive(file):  1793728 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             26692 kB
Writeback:            12 kB
AnonPages:         83000 kB
Mapped:            14568 kB
Shmem:                 0 kB
Slab:             760840 kB
SReclaimable:     202384 kB
SUnreclaim:       558456 kB
KernelStack:        1480 kB
PageTables:         4424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     192852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 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= 70404 MiB
End job on node133 at 2012-06-03 14:21:14