Trace number 3741819

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.07 1715.21

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K90.opb
MD5SUMa811647d9332337c7e73474eee26f5b9
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 variables6120
Total number of constraints6302
Number of constraints which are clauses6212
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint90
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 91
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.10 2.10 2.09 3/177 3652
/proc/meminfo: memFree=30470668/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/3652/stat : 3652 (python) R 3650 3652 31325 0 -1 4202496 865 0 0 0 0 0 0 0 20 0 1 0 338600729 15749120 618 33554432000 4194304 5683644 140733682873424 140733682831880 225444709264 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/3652/statm: 3853 618 331 364 0 295 0

[startup+0.057921 s]
/proc/loadavg: 2.10 2.10 2.09 3/177 3652
/proc/meminfo: memFree=30470668/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=25368 CPUtime=0.03 cores=0,2,4,6
/proc/3652/stat : 3652 (python) R 3650 3652 31325 0 -1 4202496 2737 0 0 0 3 0 0 0 20 0 1 0 338600729 25976832 1158 33554432000 4194304 4196484 140735977011936 140735976917672 225444709760 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/3652/statm: 6342 1172 454 1 0 725 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25368

[startup+0.100317 s]
/proc/loadavg: 2.10 2.10 2.09 3/177 3652
/proc/meminfo: memFree=30470668/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=54104 CPUtime=0.06 cores=0,2,4,6
/proc/3652/stat : 3652 (python) R 3650 3652 31325 0 -1 4202496 3803 0 0 0 5 1 0 0 20 0 1 0 338600729 55402496 2024 33554432000 4194304 4196484 140735977011936 140735976839640 225444709264 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/3652/statm: 13526 2024 573 1 0 1381 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 54104

[startup+0.300207 s]
/proc/loadavg: 2.10 2.10 2.09 3/177 3652
/proc/meminfo: memFree=30470668/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=101560 CPUtime=0.24 cores=0,2,4,6
/proc/3652/stat : 3652 (python) R 3650 3652 31325 0 -1 4202496 6638 507 0 0 16 8 0 0 20 0 1 0 338600729 103997440 4250 33554432000 4194304 4196484 140735977011936 140735976977896 140520091632160 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 25390 4250 1049 1 0 3192 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 101560

[startup+0.700139 s]
/proc/loadavg: 2.10 2.10 2.09 3/177 3652
/proc/meminfo: memFree=30470668/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=134480 CPUtime=0.51 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 11212 1014 0 0 38 13 0 0 20 0 1 0 338600729 137707520 6346 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/3652/statm: 33620 6346 1170 1 0 5192 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 134480

[startup+1.50021 s]
/proc/loadavg: 2.10 2.10 2.09 3/179 3658
/proc/meminfo: memFree=30447968/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=134480 CPUtime=0.53 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 11214 1014 0 0 40 13 0 0 20 0 1 0 338600729 137707520 6346 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/3652/statm: 33620 6346 1170 1 0 5192 0
[pid=3658] ppid=3652 vsize=4264 CPUtime=0.87 cores=0,2,4,6
/proc/3658/stat : 3658 (clasp-1.3.3-x86) R 3652 3658 3658 0 -1 4202496 1117 0 0 0 87 0 0 0 20 0 1 0 338600791 4366336 805 33554432000 134512640 136080129 4292885984 4292885052 134856960 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/3658/statm: 1066 805 175 383 0 681 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 138744

[startup+3.10022 s]
/proc/loadavg: 2.10 2.10 2.09 3/179 3658
/proc/meminfo: memFree=30445860/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=134480 CPUtime=0.6 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 11220 1014 0 0 46 14 0 0 20 0 1 0 338600729 137707520 6346 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/3652/statm: 33620 6346 1170 1 0 5192 0
[pid=3658] ppid=3652 vsize=5052 CPUtime=2.47 cores=0,2,4,6
/proc/3658/stat : 3658 (clasp-1.3.3-x86) R 3652 3658 3658 0 -1 4202496 1315 0 0 0 247 0 0 0 20 0 1 0 338600791 5173248 1003 33554432000 134512640 136080129 4292885984 4292884880 134842526 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/3658/statm: 1263 1003 175 383 0 878 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 139532

[startup+6.30022 s]
/proc/loadavg: 2.09 2.10 2.09 3/179 3658
/proc/meminfo: memFree=30441272/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=134480 CPUtime=0.75 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 11229 1014 0 0 58 17 0 0 20 0 1 0 338600729 137707520 6346 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/3652/statm: 33620 6346 1170 1 0 5192 0
[pid=3658] ppid=3652 vsize=6232 CPUtime=5.67 cores=0,2,4,6
/proc/3658/stat : 3658 (clasp-1.3.3-x86) R 3652 3658 3658 0 -1 4202496 1635 0 0 0 567 0 0 0 20 0 1 0 338600791 6381568 1323 33554432000 134512640 136080129 4292885984 4292885060 134850021 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/3658/statm: 1558 1323 175 383 0 1173 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 140712

[startup+12.7003 s]
/proc/loadavg: 2.08 2.10 2.09 3/179 3661
/proc/meminfo: memFree=30436436/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=11.59 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 12484 3975 0 0 87 20 1051 1 20 0 1 0 338600729 139816960 6368 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34135 6368 1180 1 0 5192 0
[pid=3661] ppid=3652 vsize=4396 CPUtime=1.53 cores=0,2,4,6
/proc/3661/stat : 3661 (clasp-1.3.3-x86) R 3652 3661 3661 0 -1 4202496 1157 0 0 0 153 0 0 0 20 0 1 0 338601845 4501504 848 33554432000 134512640 136080129 4291150064 4291149056 134588720 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/3661/statm: 1099 848 175 383 0 714 0
Current children cumulated CPU time (s) 13.12
Current children cumulated vsize (KiB) 140936

[startup+25.5003 s]
/proc/loadavg: 2.07 2.09 2.09 3/179 3661
/proc/meminfo: memFree=30417640/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=12.21 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 12512 3975 0 0 140 29 1051 1 20 0 1 0 338600729 139816960 6368 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34135 6368 1180 1 0 5192 0
[pid=3661] ppid=3652 vsize=10952 CPUtime=14.33 cores=0,2,4,6
/proc/3661/stat : 3661 (clasp-1.3.3-x86) R 3652 3661 3661 0 -1 4202496 2808 0 0 0 1433 0 0 0 20 0 1 0 338601845 11214848 2499 33554432000 134512640 136080129 4291150064 4291149008 134579967 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/3661/statm: 2738 2499 175 383 0 2353 0
Current children cumulated CPU time (s) 26.54
Current children cumulated vsize (KiB) 147492

[startup+51.1002 s]
/proc/loadavg: 2.04 2.08 2.08 3/198 3685
/proc/meminfo: memFree=29973640/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=13.38 cores=0,2,4,6
/proc/3652/stat : 3652 (python) R 3650 3652 31325 0 -1 4202496 12541 3975 0 0 241 45 1051 1 20 0 1 0 338600729 139816960 6368 33554432000 4194304 4196484 140735977011936 140735977003696 225444750263 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34135 6368 1180 1 0 5192 0
[pid=3661] ppid=3652 vsize=13028 CPUtime=39.92 cores=0,2,4,6
/proc/3661/stat : 3661 (clasp-1.3.3-x86) R 3652 3661 3661 0 -1 4202496 3316 0 0 0 3992 0 0 0 20 0 1 0 338601845 13340672 3003 33554432000 134512640 136080129 4291150064 4291149056 134588974 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/3661/statm: 3257 3003 175 383 0 2872 0
Current children cumulated CPU time (s) 53.3
Current children cumulated vsize (KiB) 149568

[startup+102.307 s]
/proc/loadavg: 2.05 2.08 2.08 3/198 3711
/proc/meminfo: memFree=29844624/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=66.54 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 13726 8831 0 0 476 79 6097 2 20 0 1 0 338600729 139816960 6372 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34135 6372 1180 1 0 5192 0
[pid=3688] ppid=3652 vsize=87104 CPUtime=40.64 cores=0,2,4,6
/proc/3688/stat : 3688 (wbo1.4a) R 3652 3688 3688 0 -1 4202496 21701 0 0 0 4019 45 0 0 20 0 1 0 338606894 89194496 21291 33554432000 134512640 135751879 4289010960 4289009212 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/3688/statm: 21776 21291 139 303 0 21471 0
Current children cumulated CPU time (s) 107.18
Current children cumulated vsize (KiB) 223644

[startup+162.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/179 3717
/proc/meminfo: memFree=30423916/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=120.3 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 14974 36702 0 0 726 115 11133 56 20 0 1 0 338600729 139816960 6372 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34135 6372 1180 1 0 5192 0
[pid=3714] ppid=3652 vsize=16076 CPUtime=49.7 cores=0,2,4,6
/proc/3714/stat : 3714 (clasp-1.3.3-x86) R 3652 3714 3714 0 -1 4202496 4079 0 0 0 4969 1 0 0 20 0 1 0 338611987 16461824 3756 33554432000 134512640 136080129 4289854016 4289853088 134850389 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3714/statm: 4019 3756 175 383 0 3634 0
Current children cumulated CPU time (s) 170
Current children cumulated vsize (KiB) 152616

[startup+222.3 s]
/proc/loadavg: 2.07 2.08 2.08 3/179 3721
/proc/meminfo: memFree=30365564/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=223.71 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 16228 43329 0 0 992 155 21165 59 20 0 1 0 338600729 139816960 6376 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34135 6376 1180 1 0 5192 0
[pid=3721] ppid=3652 vsize=31228 CPUtime=9.33 cores=0,2,4,6
/proc/3721/stat : 3721 (wbo1.4a) R 3652 3721 3721 0 -1 4202496 7719 0 0 0 915 18 0 0 20 0 1 0 338622025 31977472 7311 33554432000 134512640 135751879 4293113328 4293111580 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/3721/statm: 7807 7311 139 303 0 7502 0
Current children cumulated CPU time (s) 233.04
Current children cumulated vsize (KiB) 167768

[startup+282.3 s]
/proc/loadavg: 2.09 2.08 2.08 3/179 3724
/proc/meminfo: memFree=30260696/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=226.56 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 16264 43329 0 0 1241 191 21165 59 20 0 1 0 338600729 139816960 6376 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34135 6376 1180 1 0 5192 0
[pid=3721] ppid=3652 vsize=153500 CPUtime=69.27 cores=0,2,4,6
/proc/3721/stat : 3721 (wbo1.4a) R 3652 3721 3721 0 -1 4202496 38335 0 0 0 6854 73 0 0 20 0 1 0 338622025 157184000 37893 33554432000 134512640 135751879 4293113328 4293111580 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/3721/statm: 38375 37893 139 303 0 38070 0
Current children cumulated CPU time (s) 295.83
Current children cumulated vsize (KiB) 290040

[startup+342.3 s]
/proc/loadavg: 2.03 2.06 2.08 3/179 3745
/proc/meminfo: memFree=30415356/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=330.9 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 17501 101767 0 0 1516 228 31187 159 20 0 1 0 338600729 139816960 6378 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34135 6378 1180 1 0 5192 0
[pid=3736] ppid=3652 vsize=48948 CPUtime=28 cores=0,2,4,6
/proc/3736/stat : 3736 (wbo1.4b) R 3652 3736 3736 0 -1 4202496 12183 0 0 0 2784 16 0 0 20 0 1 0 338632156 50122752 11776 33554432000 134512640 135751879 4289873312 4289871404 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/3736/statm: 12237 11776 144 303 0 11932 0
Current children cumulated CPU time (s) 358.9
Current children cumulated vsize (KiB) 185488

[startup+402.301 s]
/proc/loadavg: 2.20 2.09 2.09 4/215 3796
/proc/meminfo: memFree=29863060/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=384.62 cores=0,2,4,6

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

/proc/3894/statm: 6076 5829 175 383 0 5691 0
Current children cumulated CPU time (s) 1052.89
Current children cumulated vsize (KiB) 160844

[startup+1062.3 s]
/proc/loadavg: 2.06 2.06 2.08 3/179 3910
/proc/meminfo: memFree=30405928/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=861.01 cores=0,2,4,6
/proc/3652/stat : 3652 (python) R 3650 3652 31325 0 -1 4202496 41058 335333 0 2 4634 683 80417 367 20 0 1 0 338600729 139816960 6386 33554432000 4194304 4196484 140735977011936 140735977003696 140520090973569 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34136 6386 1180 1 0 5193 0
[pid=3894] ppid=3652 vsize=27840 CPUtime=254.7 cores=0,2,4,6
/proc/3894/stat : 3894 (clasp-1.3.3-x86) R 3652 3894 3894 0 -1 4202496 7079 0 0 0 25469 1 0 0 20 0 1 0 338681482 28508160 6721 33554432000 134512640 136080129 4291991632 4291990704 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3894/statm: 6960 6721 175 383 0 6575 0
Current children cumulated CPU time (s) 1115.71
Current children cumulated vsize (KiB) 164380

[startup+1122.3 s]
/proc/loadavg: 2.10 2.07 2.08 3/179 3920
/proc/meminfo: memFree=30398260/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=1164.44 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 42305 343499 0 2 4895 723 110457 369 20 0 1 0 338600729 139816960 6387 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34135 6387 1180 1 0 5192 0
[pid=3919] ppid=3652 vsize=47972 CPUtime=14.25 cores=0,2,4,6
/proc/3919/stat : 3919 (bsolo_pb10) R 3652 3919 3919 0 -1 4202496 10079 0 0 0 1420 5 0 0 20 0 1 0 338711532 49123328 9573 33554432000 134512640 137138936 4288762464 4288761580 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/3919/statm: 11993 9573 192 642 0 11349 0
Current children cumulated CPU time (s) 1178.69
Current children cumulated vsize (KiB) 184512

[startup+1182.3 s]
/proc/loadavg: 2.04 2.05 2.07 3/179 3923
/proc/meminfo: memFree=30343784/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=1167.29 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 42330 343499 0 2 5142 761 110457 369 20 0 1 0 338600729 139816960 6387 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34135 6387 1180 1 0 5192 0
[pid=3919] ppid=3652 vsize=122948 CPUtime=74.21 cores=0,2,4,6
/proc/3919/stat : 3919 (bsolo_pb10) R 3652 3919 3919 0 -1 4202496 28968 0 0 0 7410 11 0 0 20 0 1 0 338711532 125898752 28318 33554432000 134512640 137138936 4288762464 4288761392 134542490 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/3919/statm: 30737 28318 192 642 0 30093 0
Current children cumulated CPU time (s) 1241.5
Current children cumulated vsize (KiB) 259488

[startup+1242.3 s]
/proc/loadavg: 2.07 2.06 2.07 3/180 3938
/proc/meminfo: memFree=30416752/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=1280.45 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 44831 383246 0 2 5397 802 121461 385 20 0 1 0 338600729 139816960 6388 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34135 6388 1180 1 0 5192 0
[pid=3935] ppid=3652 vsize=10636 CPUtime=23.98 cores=0,2,4,6
/proc/3935/stat : 3935 (clasp-1.3.3-x86) R 3652 3935 3935 0 -1 4202496 2728 0 0 0 2398 0 0 0 20 0 1 0 338722559 10891264 2411 33554432000 134512640 136080129 4287144400 4287143472 134849750 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3935/statm: 2659 2411 175 383 0 2274 0
Current children cumulated CPU time (s) 1304.43
Current children cumulated vsize (KiB) 147176

[startup+1302.3 s]
/proc/loadavg: 2.08 2.06 2.07 3/179 3941
/proc/meminfo: memFree=30436468/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=1283.29 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 44855 383246 0 2 5649 834 121461 385 20 0 1 0 338600729 139816960 6388 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34135 6388 1180 1 0 5192 0
[pid=3935] ppid=3652 vsize=19152 CPUtime=83.97 cores=0,2,4,6
/proc/3935/stat : 3935 (clasp-1.3.3-x86) R 3652 3935 3935 0 -1 4202496 4862 0 0 0 8397 0 0 0 20 0 1 0 338722559 19611648 4540 33554432000 134512640 136080129 4287144400 4287143392 134588944 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3935/statm: 4788 4540 175 383 0 4403 0
Current children cumulated CPU time (s) 1367.26
Current children cumulated vsize (KiB) 155692

[startup+1362.3 s]
/proc/loadavg: 2.14 2.09 2.08 3/179 3956
/proc/meminfo: memFree=30423744/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=1406.81 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 48581 395442 0 2 5913 873 133506 389 20 0 1 0 338600729 139816960 6389 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34135 6389 1180 1 0 5192 0
[pid=3956] ppid=3652 vsize=11828 CPUtime=23.43 cores=0,2,4,6
/proc/3956/stat : 3956 (clasp-1.3.3-x86) R 3652 3956 3956 0 -1 4202496 3028 0 0 0 2343 0 0 0 20 0 1 0 338734615 12111872 2712 33554432000 134512640 136080129 4289215616 4289214512 134842456 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2957 2712 175 383 0 2572 0
Current children cumulated CPU time (s) 1430.24
Current children cumulated vsize (KiB) 148368

[startup+1422.31 s]
/proc/loadavg: 2.00 2.05 2.07 3/178 4009
/proc/meminfo: memFree=30476084/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=1470.28 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 51077 403586 0 2 6168 911 139557 392 20 0 1 0 338600729 139816960 6389 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34135 6389 1180 1 0 5192 0
[pid=4006] ppid=3652 vsize=11064 CPUtime=22.85 cores=0,2,4,6
/proc/4006/stat : 4006 (clasp-1.3.3-x86) R 3652 4006 4006 0 -1 4202496 2825 0 0 0 2285 0 0 0 20 0 1 0 338740673 11329536 2509 33554432000 134512640 136080129 4294369952 4294369040 134579342 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4006/statm: 2766 2509 175 383 0 2381 0
Current children cumulated CPU time (s) 1493.13
Current children cumulated vsize (KiB) 147604

[startup+1482.3 s]
/proc/loadavg: 2.05 2.06 2.07 3/179 4013
/proc/meminfo: memFree=30412932/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=1473.12 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 51103 403586 0 2 6421 942 139557 392 20 0 1 0 338600729 139816960 6389 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34135 6389 1180 1 0 5192 0
[pid=4006] ppid=3652 vsize=19016 CPUtime=82.83 cores=0,2,4,6
/proc/4006/stat : 4006 (clasp-1.3.3-x86) R 3652 4006 4006 0 -1 4202496 4816 0 0 0 8283 0 0 0 20 0 1 0 338740673 19472384 4497 33554432000 134512640 136080129 4294369952 4294369024 134849659 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4006/statm: 4754 4497 175 383 0 4369 0
Current children cumulated CPU time (s) 1555.95
Current children cumulated vsize (KiB) 155556

[startup+1542.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/179 4025
/proc/meminfo: memFree=30474896/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=1596.55 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 54838 415429 0 2 6680 980 151600 395 20 0 1 0 338600729 139816960 6391 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34135 6391 1180 1 0 5192 0
[pid=4025] ppid=3652 vsize=10396 CPUtime=22.32 cores=0,2,4,6
/proc/4025/stat : 4025 (clasp-1.3.3-x86) R 3652 4025 4025 0 -1 4202496 2653 0 0 0 2232 0 0 0 20 0 1 0 338752725 10645504 2337 33554432000 134512640 136080129 4287010704 4287009776 134849623 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4025/statm: 2599 2337 175 383 0 2214 0
Current children cumulated CPU time (s) 1618.87
Current children cumulated vsize (KiB) 146936

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/179 4025
/proc/meminfo: memFree=30461056/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=1599.39 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 54863 415429 0 2 6930 1014 151600 395 20 0 1 0 338600729 139816960 6391 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34135 6391 1180 1 0 5192 0
[pid=4025] ppid=3652 vsize=18920 CPUtime=82.3 cores=0,2,4,6
/proc/4025/stat : 4025 (clasp-1.3.3-x86) R 3652 4025 4025 0 -1 4202496 4818 0 0 0 8230 0 0 0 20 0 1 0 338752725 19374080 4494 33554432000 134512640 136080129 4287010704 4287009776 134849680 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4025/statm: 4730 4494 175 383 0 4345 0
Current children cumulated CPU time (s) 1681.69
Current children cumulated vsize (KiB) 155460

[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.06 3/179 4037
/proc/meminfo: memFree=30371912/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=1722.87 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 58600 427580 0 2 7199 1046 163643 399 20 0 1 0 338600729 139816960 6392 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34135 6392 1180 1 0 5192 0
[pid=4037] ppid=3652 vsize=11916 CPUtime=21.8 cores=0,2,4,6
/proc/4037/stat : 4037 (clasp-1.3.3-x86) R 3652 4037 4037 0 -1 4202496 3042 0 0 0 2180 0 0 0 20 0 1 0 338764778 12201984 2728 33554432000 134512640 136080129 4291652928 4291651888 134808296 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4037/statm: 2979 2728 175 383 0 2594 0
Current children cumulated CPU time (s) 1744.67
Current children cumulated vsize (KiB) 148456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1715.2 s]
/proc/loadavg: 2.03 2.04 2.06 3/179 4040
/proc/meminfo: memFree=30437504/32873844 swapFree=7900/7900
[pid=3652] ppid=3650 vsize=136540 CPUtime=1725.39 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 31325 0 -1 4202496 58623 427580 0 2 7419 1078 163643 399 20 0 1 0 338600729 139816960 6392 33554432000 4194304 4196484 140735977011936 140735977003696 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3652/statm: 34135 6392 1180 1 0 5192 0
[pid=4037] ppid=3652 vsize=16168 CPUtime=74.68 cores=0,2,4,6
/proc/4037/stat : 4037 (clasp-1.3.3-x86) R 3652 4037 4037 0 -1 4202496 4120 0 0 0 7468 0 0 0 20 0 1 0 338764778 16556032 3802 33554432000 134512640 136080129 4291652928 4291652004 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4037/statm: 4042 3802 175 383 0 3657 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 152708

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3652 and gives
#  childrusage.ru_utime.tv_sec=1710
#  childrusage.ru_utime.tv_usec=633944
#  childrusage.ru_stime.tv_sec=14
#  childrusage.ru_stime.tv_usec=782752
# CPU time returned by wait4() is 1725.42
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1715.21
CPU time (s): 1800.07
CPU user time (s): 1785.3
CPU system time (s): 14.77
CPU usage (%): 104.947
Max. virtual memory (cumulated for all children) (KiB): 2851680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1710.63
system time used= 14.7828
maximum resident set size= 336120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 486203
page faults= 2
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9154
involuntary context switches= 4704

runsolver used 3.80242 second user time and 8.79266 second system time

The end

Launcher Data 

Begin job on node137 at 2012-06-03 13:59:22
IDJOB=3741819
IDBENCH=90110
IDSOLVER=2323
FILE ID=node137/3741819-1338724762
RUNJOBID= node137-1338714575-31341
PBS_JOBID= 14636756
Free space on /tmp= 70292 MiB

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

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

MD5SUM BENCH= a811647d9332337c7e73474eee26f5b9
RANDOM SEED=221925829

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:        30470824 kB
Buffers:          247456 kB
Cached:          1265316 kB
SwapCached:         5796 kB
Active:           877872 kB
Inactive:         698636 kB
Active(anon):      59068 kB
Inactive(anon):     7172 kB
Active(file):     818804 kB
Inactive(file):   691464 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             20672 kB
Writeback:             0 kB
AnonPages:         51152 kB
Mapped:            13332 kB
Shmem:                 0 kB
Slab:             686228 kB
SReclaimable:     126508 kB
SUnreclaim:       559720 kB
KernelStack:        1464 kB
PageTables:         4356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     185156 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= 70284 MiB
End job on node137 at 2012-06-03 14:27:59