Trace number 3742339

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.01 1717.12

General information on the benchmark

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

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.07 2.05 2.03 2/177 5311
/proc/meminfo: memFree=30476152/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/5311/stat : 5311 (python) R 5309 5311 31325 0 -1 4202496 755 0 0 0 0 0 0 0 20 0 1 0 339288702 15642624 526 33554432000 4194304 5683644 140736727763120 140736727744792 225444709264 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/5311/statm: 3819 527 312 364 0 261 0

[startup+0.091858 s]
/proc/loadavg: 2.07 2.05 2.03 2/177 5311
/proc/meminfo: memFree=30476152/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=17420 CPUtime=0.02 cores=0,2,4,6
/proc/5311/stat : 5311 (python) D 5309 5311 31325 0 -1 4202496 2142 0 0 0 1 1 0 0 20 0 1 0 339288702 17838080 657 33554432000 4194304 4196484 140733711333952 140733711278056 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 4355 657 354 1 0 290 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17420

[startup+0.100305 s]
/proc/loadavg: 2.07 2.05 2.03 2/177 5311
/proc/meminfo: memFree=30476152/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=17632 CPUtime=0.02 cores=0,2,4,6
/proc/5311/stat : 5311 (python) D 5309 5311 31325 0 -1 4202496 2215 0 0 0 1 1 0 0 20 0 1 0 339288702 18055168 723 33554432000 4194304 4196484 140733711333952 140733711264120 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 4408 723 354 1 0 343 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17632

[startup+0.300219 s]
/proc/loadavg: 2.07 2.05 2.03 2/177 5311
/proc/meminfo: memFree=30476152/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=54512 CPUtime=0.06 cores=0,2,4,6
/proc/5311/stat : 5311 (python) D 5309 5311 31325 0 -1 4202496 3933 0 0 0 4 2 0 0 20 0 1 0 339288702 55820288 2129 33554432000 4194304 4196484 140733711333952 140733711193704 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 13628 2129 600 1 0 1483 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 54512

[startup+0.700187 s]
/proc/loadavg: 2.07 2.05 2.03 2/177 5311
/proc/meminfo: memFree=30476152/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=99076 CPUtime=0.21 cores=0,2,4,6
/proc/5311/stat : 5311 (python) R 5309 5311 31325 0 -1 4202496 5740 0 0 0 13 8 0 0 20 0 1 0 339288702 101453824 3601 33554432000 4194304 4196484 140733711333952 140733711277224 225444750263 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 24761 3600 1047 1 0 2563 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 99076

[startup+1.5003 s]
/proc/loadavg: 2.07 2.05 2.03 2/178 5316
/proc/meminfo: memFree=30447608/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=118120 CPUtime=0.44 cores=0,2,4,6
/proc/5311/stat : 5311 (python) R 5309 5311 31325 0 -1 4202496 9590 1016 0 0 31 13 0 0 20 0 1 0 339288702 120954880 5829 33554432000 4194304 4196484 140733711333952 140733711267560 225444372960 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 29530 5829 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 118120

[startup+3.10022 s]
/proc/loadavg: 2.06 2.05 2.03 3/179 5317
/proc/meminfo: memFree=30432100/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=134484 CPUtime=0.64 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 11228 1016 0 0 46 18 0 0 20 0 1 0 339288702 137711616 6346 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/5311/statm: 33621 6346 1170 1 0 5193 0
[pid=5317] ppid=5311 vsize=6548 CPUtime=1.17 cores=0,2,4,6
/proc/5317/stat : 5317 (clasp-1.3.3-x86) R 5311 5317 5317 0 -1 4202496 1724 0 0 0 117 0 0 0 20 0 1 0 339288893 6705152 1369 33554432000 134512640 136080129 4291728256 4291727348 134607897 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/5317/statm: 1637 1369 175 383 0 1252 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 141032
heavy processes:

[startup+6.30022 s]
/proc/loadavg: 2.06 2.05 2.03 3/179 5317
/proc/meminfo: memFree=30411004/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=134484 CPUtime=0.78 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 11237 1016 0 0 58 20 0 0 20 0 1 0 339288702 137711616 6346 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/5311/statm: 33621 6346 1170 1 0 5193 0
[pid=5317] ppid=5311 vsize=7736 CPUtime=4.37 cores=0,2,4,6
/proc/5317/stat : 5317 (clasp-1.3.3-x86) R 5311 5317 5317 0 -1 4202496 2049 0 0 0 437 0 0 0 20 0 1 0 339288893 7921664 1694 33554432000 134512640 136080129 4291728256 4291727344 134579535 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/5317/statm: 1934 1694 175 383 0 1549 0
Current children cumulated CPU time (s) 5.15
Current children cumulated vsize (KiB) 142220

[startup+12.7001 s]
/proc/loadavg: 2.12 2.06 2.03 3/179 5317
/proc/meminfo: memFree=30384484/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=11.61 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 12488 4296 0 0 87 23 1050 1 20 0 1 0 339288702 139821056 6368 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/5311/statm: 34136 6368 1180 1 0 5193 0
Current children cumulated CPU time (s) 11.61
Current children cumulated vsize (KiB) 136544

[startup+25.5003 s]
/proc/loadavg: 2.10 2.06 2.03 3/179 5320
/proc/meminfo: memFree=30349376/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=12.2 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 12518 4296 0 0 137 32 1050 1 20 0 1 0 339288702 139821056 6368 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6368 1180 1 0 5193 0
[pid=5320] ppid=5311 vsize=9312 CPUtime=13.05 cores=0,2,4,6
/proc/5320/stat : 5320 (clasp-1.3.3-x86) R 5311 5320 5320 0 -1 4202496 2427 0 0 0 1305 0 0 0 20 0 1 0 339289947 9535488 2072 33554432000 134512640 136080129 4291098000 4291097076 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5320/statm: 2328 2072 175 383 0 1943 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 145856

[startup+51.1003 s]
/proc/loadavg: 2.07 2.05 2.03 3/197 5342
/proc/meminfo: memFree=30359056/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=13.39 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 12544 4296 0 0 239 49 1050 1 20 0 1 0 339288702 139821056 6368 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6368 1180 1 0 5193 0
[pid=5320] ppid=5311 vsize=19356 CPUtime=38.63 cores=0,2,4,6
/proc/5320/stat : 5320 (clasp-1.3.3-x86) R 5311 5320 5320 0 -1 4202496 4941 0 0 0 3863 0 0 0 20 0 1 0 339289947 19820544 4586 33554432000 134512640 136080129 4291098000 4291097008 134842292 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5320/statm: 4839 4586 175 383 0 4454 0
Current children cumulated CPU time (s) 52.02
Current children cumulated vsize (KiB) 155900

[startup+102.306 s]
/proc/loadavg: 2.15 2.07 2.03 3/197 5345
/proc/meminfo: memFree=30264336/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=66.47 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 13732 10159 0 0 468 86 6090 3 20 0 1 0 339288702 139821056 6373 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6373 1180 1 0 5193 0
[pid=5345] ppid=5311 vsize=67988 CPUtime=39.4 cores=0,2,4,6
/proc/5345/stat : 5345 (wbo1.4a) R 5311 5345 5345 0 -1 4202496 17036 0 0 0 3887 53 0 0 20 0 1 0 339294992 69619712 16472 33554432000 134512640 135751879 4291965344 4291963596 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/5345/statm: 16997 16472 139 303 0 16692 0
Current children cumulated CPU time (s) 105.87
Current children cumulated vsize (KiB) 204532

[startup+162.3 s]
/proc/loadavg: 2.05 2.06 2.03 3/179 5351
/proc/meminfo: memFree=30374208/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=120.16 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 14974 32048 0 0 716 121 11114 65 20 0 1 0 339288702 139821056 6375 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6375 1180 1 0 5193 0
[pid=5348] ppid=5311 vsize=20408 CPUtime=48.5 cores=0,2,4,6
/proc/5348/stat : 5348 (clasp-1.3.3-x86) R 5311 5348 5348 0 -1 4202496 5200 0 0 0 4850 0 0 0 20 0 1 0 339300079 20897792 4836 33554432000 134512640 136080129 4292495088 4292494160 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5348/statm: 5102 4836 175 383 0 4717 0
Current children cumulated CPU time (s) 168.66
Current children cumulated vsize (KiB) 156952

[startup+222.3 s]
/proc/loadavg: 2.13 2.07 2.03 3/179 5354
/proc/meminfo: memFree=30309028/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=223.51 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 16187 40809 0 0 980 162 21142 67 20 0 1 0 339288702 139821056 6375 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6375 1180 1 0 5193 0
[pid=5354] ppid=5311 vsize=20052 CPUtime=8.18 cores=0,2,4,6
/proc/5354/stat : 5354 (wbo1.4a) R 5311 5354 5354 0 -1 4202496 5044 0 0 0 795 23 0 0 20 0 1 0 339310114 20533248 4479 33554432000 134512640 135751879 4291454768 4291453020 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/5354/statm: 5013 4479 139 303 0 4708 0
Current children cumulated CPU time (s) 231.69
Current children cumulated vsize (KiB) 156596

[startup+282.3 s]
/proc/loadavg: 2.23 2.10 2.04 3/179 5357
/proc/meminfo: memFree=30332760/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=226.35 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 16224 40809 0 0 1226 200 21142 67 20 0 1 0 339288702 139821056 6375 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6375 1180 1 0 5193 0
[pid=5354] ppid=5311 vsize=103536 CPUtime=68.15 cores=0,2,4,6
/proc/5354/stat : 5354 (wbo1.4a) R 5311 5354 5354 0 -1 4202496 25932 0 0 0 6754 61 0 0 20 0 1 0 339310114 106020864 25359 33554432000 134512640 135751879 4291454768 4291452384 134605060 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/5354/statm: 25884 25359 139 303 0 25579 0
Current children cumulated CPU time (s) 294.5
Current children cumulated vsize (KiB) 240080

[startup+342.3 s]
/proc/loadavg: 2.21 2.13 2.05 3/179 5376
/proc/meminfo: memFree=30324840/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=330.5 cores=0,2,4,6
/proc/5311/stat : 5311 (python) R 5309 5311 31325 0 -1 4202496 17467 75063 0 0 1479 239 31190 142 20 0 1 0 339288702 139821056 6377 33554432000 4194304 4196484 140733711333952 140733711325712 225444750218 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6377 1180 1 0 5193 0
[pid=5366] ppid=5311 vsize=156572 CPUtime=26.88 cores=0,2,4,6
/proc/5366/stat : 5366 (wbo1.4b) R 5311 5366 5366 0 -1 4202496 39154 0 0 0 2680 8 0 0 20 0 1 0 339320242 160329728 38609 33554432000 134512640 135751879 4291500976 4291499136 134524613 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/5366/statm: 39143 38609 142 303 0 38838 0
Current children cumulated CPU time (s) 357.38
Current children cumulated vsize (KiB) 293116

[startup+402.301 s]
/proc/loadavg: 2.29 2.16 2.07 3/216 5433
/proc/meminfo: memFree=30230560/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=383.94 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 18678 116764 0 0 1731 277 36233 153 20 0 1 0 339288702 139821056 6377 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6377 1180 1 0 5193 0
[pid=5388] ppid=5311 vsize=2715136 CPUtime=37.22 cores=0,2,4,6
/proc/5388/stat : 5388 (java) S 5311 5388 5388 0 -1 4202496 10421 0 1 0 3717 5 0 0 20 0 19 0 339325300 2780299264 36614 33554432000 1073741824 1073778376 140735235204304 140735235195440 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5388/statm: 678784 36614 2256 9 0 669477 0

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

/proc/5550/statm: 10625 10368 175 383 0 10240 0
Current children cumulated CPU time (s) 1114.15
Current children cumulated vsize (KiB) 179044

[startup+1122.3 s]
/proc/loadavg: 2.11 2.09 2.07 3/179 5578
/proc/meminfo: memFree=30441804/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=1162.47 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 41852 285626 0 2 4782 759 110443 263 20 0 1 0 339288702 139821056 6387 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6387 1180 1 0 5193 0
[pid=5578] ppid=5311 vsize=37116 CPUtime=14.65 cores=0,2,4,6
/proc/5578/stat : 5578 (bsolo_pb10) R 5311 5578 5578 0 -1 4202496 7497 0 0 0 1459 6 0 0 20 0 1 0 339399467 38006784 6810 33554432000 134512640 137138936 4289883808 4289882924 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/5578/statm: 9279 6810 192 642 0 8635 0
Current children cumulated CPU time (s) 1177.12
Current children cumulated vsize (KiB) 173660

[startup+1182.3 s]
/proc/loadavg: 2.04 2.07 2.07 3/179 5578
/proc/meminfo: memFree=30351252/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=1165.29 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 41887 285626 0 2 5026 797 110443 263 20 0 1 0 339288702 139821056 6387 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6387 1180 1 0 5193 0
[pid=5578] ppid=5311 vsize=112588 CPUtime=74.6 cores=0,2,4,6
/proc/5578/stat : 5578 (bsolo_pb10) R 5311 5578 5578 0 -1 4202496 26412 0 0 0 7449 11 0 0 20 0 1 0 339399467 115290112 25711 33554432000 134512640 137138936 4289883808 4289882736 134542480 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/5578/statm: 28147 25711 192 642 0 27503 0
Current children cumulated CPU time (s) 1239.89
Current children cumulated vsize (KiB) 249132

[startup+1242.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/179 5593
/proc/meminfo: memFree=30456312/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=1278.52 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 44350 319637 0 2 5274 838 121463 277 20 0 1 0 339288702 139821056 6387 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6387 1180 1 0 5193 0
[pid=5593] ppid=5311 vsize=15128 CPUtime=24.22 cores=0,2,4,6
/proc/5593/stat : 5593 (clasp-1.3.3-x86) R 5311 5593 5593 0 -1 4202496 3894 0 0 0 2421 1 0 0 20 0 1 0 339410510 15491072 3531 33554432000 134512640 136080129 4289175424 4289174148 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5593/statm: 3782 3531 175 383 0 3397 0
Current children cumulated CPU time (s) 1302.74
Current children cumulated vsize (KiB) 151672

[startup+1302.3 s]
/proc/loadavg: 2.04 2.06 2.06 3/179 5594
/proc/meminfo: memFree=30431672/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=1281.28 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 44374 319637 0 2 5513 875 121463 277 20 0 1 0 339288702 139821056 6387 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6387 1180 1 0 5193 0
[pid=5593] ppid=5311 vsize=23988 CPUtime=84.2 cores=0,2,4,6
/proc/5593/stat : 5593 (clasp-1.3.3-x86) R 5311 5593 5593 0 -1 4202496 6092 0 0 0 8419 1 0 0 20 0 1 0 339410510 24563712 5723 33554432000 134512640 136080129 4289175424 4289174496 134849629 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5593/statm: 5997 5723 175 383 0 5612 0
Current children cumulated CPU time (s) 1365.48
Current children cumulated vsize (KiB) 160532

[startup+1362.3 s]
/proc/loadavg: 2.12 2.08 2.07 3/179 5612
/proc/meminfo: memFree=30453708/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=1404.61 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 48074 335317 0 2 5771 914 133494 282 20 0 1 0 339288702 139821056 6388 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6388 1180 1 0 5193 0
[pid=5612] ppid=5311 vsize=13412 CPUtime=23.79 cores=0,2,4,6
/proc/5612/stat : 5612 (clasp-1.3.3-x86) R 5311 5612 5612 0 -1 4202496 3447 0 0 0 2379 0 0 0 20 0 1 0 339422552 13733888 3086 33554432000 134512640 136080129 4287387744 4287386816 134849989 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5612/statm: 3353 3086 175 383 0 2968 0
Current children cumulated CPU time (s) 1428.4
Current children cumulated vsize (KiB) 149956

[startup+1422.31 s]
/proc/loadavg: 2.04 2.06 2.06 3/179 5665
/proc/meminfo: memFree=30463264/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=1467.96 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 50553 346605 0 2 6025 949 139538 284 20 0 1 0 339288702 139821056 6388 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6388 1180 1 0 5193 0
[pid=5618] ppid=5311 vsize=12348 CPUtime=23.29 cores=0,2,4,6
/proc/5618/stat : 5618 (clasp-1.3.3-x86) R 5311 5618 5618 0 -1 4202496 3209 0 0 0 2325 4 0 0 20 0 1 0 339428603 12644352 2845 33554432000 134512640 136080129 4291857056 4291856048 134588804 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5618/statm: 3087 2845 175 383 0 2702 0
Current children cumulated CPU time (s) 1491.25
Current children cumulated vsize (KiB) 148892

[startup+1482.3 s]
/proc/loadavg: 2.11 2.08 2.06 3/179 5668
/proc/meminfo: memFree=30416496/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=1470.74 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 50580 346605 0 2 6268 984 139538 284 20 0 1 0 339288702 139821056 6388 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6388 1180 1 0 5193 0
[pid=5618] ppid=5311 vsize=27824 CPUtime=83.27 cores=0,2,4,6
/proc/5618/stat : 5618 (clasp-1.3.3-x86) R 5311 5618 5618 0 -1 4202496 7074 0 0 0 8323 4 0 0 20 0 1 0 339428603 28491776 6702 33554432000 134512640 136080129 4291857056 4291856132 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5618/statm: 6956 6702 175 383 0 6571 0
Current children cumulated CPU time (s) 1554.01
Current children cumulated vsize (KiB) 164368

[startup+1542.3 s]
/proc/loadavg: 2.12 2.09 2.07 3/179 5680
/proc/meminfo: memFree=30447388/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=1594.09 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 54285 362857 0 2 6527 1022 151567 293 20 0 1 0 339288702 139821056 6389 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6389 1180 1 0 5193 0
[pid=5677] ppid=5311 vsize=16612 CPUtime=22.86 cores=0,2,4,6
/proc/5677/stat : 5677 (clasp-1.3.3-x86) R 5311 5677 5677 0 -1 4202496 4281 0 0 0 2286 0 0 0 20 0 1 0 339440645 17010688 3914 33554432000 134512640 136080129 4291897760 4291896836 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5677/statm: 4153 3914 175 383 0 3768 0
Current children cumulated CPU time (s) 1616.95
Current children cumulated vsize (KiB) 153156

[startup+1602.3 s]
/proc/loadavg: 2.18 2.11 2.08 3/180 5684
/proc/meminfo: memFree=30427824/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=1596.89 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 54312 362857 0 2 6772 1057 151567 293 20 0 1 0 339288702 139821056 6389 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6389 1180 1 0 5193 0
[pid=5677] ppid=5311 vsize=29608 CPUtime=82.84 cores=0,2,4,6
/proc/5677/stat : 5677 (clasp-1.3.3-x86) R 5311 5677 5677 0 -1 4202496 7514 0 0 0 8283 1 0 0 20 0 1 0 339440645 30318592 7139 33554432000 134512640 136080129 4291897760 4291896720 134808341 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5677/statm: 7402 7139 175 383 0 7017 0
Current children cumulated CPU time (s) 1679.73
Current children cumulated vsize (KiB) 166152

[startup+1662.3 s]
/proc/loadavg: 2.17 2.12 2.08 3/179 5696
/proc/meminfo: memFree=30385136/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=1720.25 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 58027 377873 0 2 7029 1096 163602 298 20 0 1 0 339288702 139821056 6392 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6392 1180 1 0 5193 0
[pid=5696] ppid=5311 vsize=11424 CPUtime=22.4 cores=0,2,4,6
/proc/5696/stat : 5696 (clasp-1.3.3-x86) R 5311 5696 5696 0 -1 4202496 2952 0 0 0 2240 0 0 0 20 0 1 0 339452691 11698176 2589 33554432000 134512640 136080129 4287175824 4287174896 134849100 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 2856 2589 175 383 0 2471 0
Current children cumulated CPU time (s) 1742.65
Current children cumulated vsize (KiB) 147968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1717.11 s]
/proc/loadavg: 2.07 2.10 2.08 4/179 5696
/proc/meminfo: memFree=30269100/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=1722.81 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 58051 377873 0 2 7251 1130 163602 298 20 0 1 0 339288702 139821056 6392 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6392 1180 1 0 5193 0
[pid=5696] ppid=5311 vsize=25188 CPUtime=77.2 cores=0,2,4,6
/proc/5696/stat : 5696 (clasp-1.3.3-x86) R 5311 5696 5696 0 -1 4202496 6411 0 0 0 7719 1 0 0 20 0 1 0 339452691 25792512 6048 33554432000 134512640 136080129 4287175824 4287174768 134579970 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 6297 6048 175 383 0 5912 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 161732

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

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

[startup+1717.11 s]
/proc/loadavg: 2.07 2.10 2.08 4/179 5696
/proc/meminfo: memFree=30269100/32873844 swapFree=7900/7900
[pid=5311] ppid=5309 vsize=136544 CPUtime=1722.81 cores=0,2,4,6
/proc/5311/stat : 5311 (python) S 5309 5311 31325 0 -1 4202496 58051 377873 0 2 7251 1130 163602 298 20 0 1 0 339288702 139821056 6392 33554432000 4194304 4196484 140733711333952 140733711325712 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5311/statm: 34136 6392 1180 1 0 5193 0
[pid=5696] ppid=5311 vsize=25188 CPUtime=77.2 cores=0,2,4,6
/proc/5696/stat : 5696 (clasp-1.3.3-x86) R 5311 5696 5696 0 -1 4202496 6411 0 0 0 7719 1 0 0 20 0 1 0 339452691 25792512 6048 33554432000 134512640 136080129 4287175824 4287174768 134579970 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 6297 6048 175 383 0 5912 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 161732

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5311 and gives
#  childrusage.ru_utime.tv_sec=1708
#  childrusage.ru_utime.tv_usec=542262
#  childrusage.ru_stime.tv_sec=14
#  childrusage.ru_stime.tv_usec=289827
# CPU time returned by wait4() is 1722.83
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1717.12
CPU time (s): 1800.01
CPU user time (s): 1785.72
CPU system time (s): 14.29
CPU usage (%): 104.827
Max. virtual memory (cumulated for all children) (KiB): 2851684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1708.54
system time used= 14.2898
maximum resident set size= 199704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435924
page faults= 2
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11185
involuntary context switches= 3048

runsolver used 3.51047 second user time and 8.83466 second system time

The end

Launcher Data 

Begin job on node137 at 2012-06-03 15:54:01
IDJOB=3742339
IDBENCH=90161
IDSOLVER=2323
FILE ID=node137/3742339-1338731641
RUNJOBID= node137-1338714575-31341
PBS_JOBID= 14636756
Free space on /tmp= 70304 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K129.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742339-1338731641/watcher-3742339-1338731641 -o /tmp/evaluation-result-3742339-1338731641/solver-3742339-1338731641 -C 1800 -W 1900 -M 15500  solver HOME/instance-3742339-1338731641.opb 2078376428 

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

MD5SUM BENCH= 1a22ba01765c232fe0c8623cfb5d750f
RANDOM SEED=2078376428

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:        30476904 kB
Buffers:          258028 kB
Cached:          1256392 kB
SwapCached:         5796 kB
Active:           871280 kB
Inactive:         701784 kB
Active(anon):      53980 kB
Inactive(anon):     7172 kB
Active(file):     817300 kB
Inactive(file):   694612 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             21476 kB
Writeback:             0 kB
AnonPages:         62336 kB
Mapped:            13184 kB
Shmem:                 0 kB
Slab:             686040 kB
SReclaimable:     126760 kB
SUnreclaim:       559280 kB
KernelStack:        1448 kB
PageTables:         4388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     179752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70280 MiB
End job on node137 at 2012-06-03 16:22:41