Trace number 3742144

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 1721.61

General information on the benchmark

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.97 2.06 2.08 3/177 4824
/proc/meminfo: memFree=30503456/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/4824/stat : 4824 (python) D 4822 4824 31325 0 -1 4202496 756 0 0 0 0 0 0 0 20 0 1 0 339084558 15642624 526 33554432000 4194304 5683644 140735943409168 140735943395080 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 3819 526 312 364 0 261 0

[startup+0.053462 s]
/proc/loadavg: 1.97 2.06 2.08 3/177 4824
/proc/meminfo: memFree=30503456/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=16464 CPUtime=0.01 cores=1,3,5,7
/proc/4824/stat : 4824 (python) R 4822 4824 31325 0 -1 4202496 1247 0 0 0 1 0 0 0 20 0 1 0 339084558 16859136 943 33554432000 4194304 5683644 140735943409168 140735943391800 225444709760 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 4116 943 392 364 0 558 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16464

[startup+0.100374 s]
/proc/loadavg: 1.97 2.06 2.08 3/177 4824
/proc/meminfo: memFree=30503456/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=17660 CPUtime=0.02 cores=1,3,5,7
/proc/4824/stat : 4824 (python) R 4822 4824 31325 0 -1 4202496 2216 0 0 0 1 1 0 0 20 0 1 0 339084558 18083840 724 33554432000 4194304 4196484 140733329678624 140733329608792 225444709760 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 4407 723 354 1 0 342 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17660

[startup+0.300304 s]
/proc/loadavg: 1.97 2.06 2.08 3/177 4824
/proc/meminfo: memFree=30503456/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=54716 CPUtime=0.08 cores=1,3,5,7
/proc/4824/stat : 4824 (python) D 4822 4824 31325 0 -1 4202496 4011 0 0 0 5 3 0 0 20 0 1 0 339084558 56029184 2191 33554432000 4194304 4196484 140733329678624 140733329510504 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 13679 2191 600 1 0 1534 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 54716

[startup+0.700297 s]
/proc/loadavg: 1.97 2.06 2.08 3/177 4824
/proc/meminfo: memFree=30503456/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=99488 CPUtime=0.25 cores=1,3,5,7
/proc/4824/stat : 4824 (python) R 4822 4824 31325 0 -1 4202496 5900 0 0 0 14 11 0 0 20 0 1 0 339084558 101875712 3735 33554432000 4194304 4196484 140733329678624 140733329621896 225444335508 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 24872 3736 1047 1 0 2674 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 99488

[startup+1.5003 s]
/proc/loadavg: 1.97 2.06 2.08 3/179 4832
/proc/meminfo: memFree=30483800/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=118120 CPUtime=0.5 cores=1,3,5,7
/proc/4824/stat : 4824 (python) D 4822 4824 31325 0 -1 4202496 9595 1011 0 0 28 22 0 0 20 0 1 0 339084558 120954880 5831 33554432000 4194304 4196484 140733329678624 140733329612232 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 29530 5831 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 118120

[startup+3.10023 s]
/proc/loadavg: 1.97 2.06 2.08 3/179 4835
/proc/meminfo: memFree=30485024/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=134456 CPUtime=0.71 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 11252 1011 0 0 43 28 0 0 20 0 1 0 339084558 137682944 6349 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 33614 6349 1170 1 0 5186 0
[pid=4833] ppid=4824 vsize=4432 CPUtime=1.23 cores=1,3,5,7
/proc/4833/stat : 4833 (clasp-1.3.3-x86) R 4824 4833 4833 0 -1 4202496 1159 0 0 0 123 0 0 0 20 0 1 0 339084745 4538368 844 33554432000 134512640 136080129 4292797856 4292796944 134804943 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 1108 844 175 383 0 723 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 138888
heavy processes:

[startup+6.30023 s]
/proc/loadavg: 1.97 2.06 2.08 3/180 4836
/proc/meminfo: memFree=30479568/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=134456 CPUtime=0.85 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 11261 1011 0 0 55 30 0 0 20 0 1 0 339084558 137682944 6349 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 33614 6349 1170 1 0 5186 0
[pid=4833] ppid=4824 vsize=5484 CPUtime=4.43 cores=1,3,5,7
/proc/4833/stat : 4833 (clasp-1.3.3-x86) R 4824 4833 4833 0 -1 4202496 1432 0 0 0 443 0 0 0 20 0 1 0 339084745 5615616 1117 33554432000 134512640 136080129 4292797856 4292796848 134588844 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 1371 1117 175 383 0 986 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 139940

[startup+12.7003 s]
/proc/loadavg: 1.98 2.06 2.07 3/180 4836
/proc/meminfo: memFree=30473028/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=11.68 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 12508 4141 0 0 83 34 1051 0 20 0 1 0 339084558 139792384 6369 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6369 1180 1 0 5186 0
Current children cumulated CPU time (s) 11.68
Current children cumulated vsize (KiB) 136516

[startup+25.5002 s]
/proc/loadavg: 1.98 2.06 2.07 4/180 4839
/proc/meminfo: memFree=30468692/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=12.22 cores=1,3,5,7
/proc/4824/stat : 4824 (python) R 4822 4824 31325 0 -1 4202496 12535 4141 0 0 130 41 1051 0 20 0 1 0 339084558 139792384 6369 33554432000 4194304 4196484 140733329678624 140733329670384 225444750263 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6369 1180 1 0 5186 0
[pid=4839] ppid=4824 vsize=9140 CPUtime=13.09 cores=1,3,5,7
/proc/4839/stat : 4839 (clasp-1.3.3-x86) R 4824 4839 4839 0 -1 4202496 2339 0 0 0 1309 0 0 0 20 0 1 0 339085797 9359360 2026 33554432000 134512640 136080129 4287019344 4287018336 134588804 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4839/statm: 2285 2026 175 383 0 1900 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 145656

[startup+51.1003 s]
/proc/loadavg: 1.99 2.05 2.07 3/180 4839
/proc/meminfo: memFree=30460012/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=13.32 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 12561 4141 0 0 225 56 1051 0 20 0 1 0 339084558 139792384 6369 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6369 1180 1 0 5186 0
[pid=4839] ppid=4824 vsize=13820 CPUtime=38.69 cores=1,3,5,7
/proc/4839/stat : 4839 (clasp-1.3.3-x86) R 4824 4839 4839 0 -1 4202496 3532 0 0 0 3869 0 0 0 20 0 1 0 339085797 14151680 3219 33554432000 134512640 136080129 4287019344 4287018416 134850019 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4839/statm: 3455 3219 175 383 0 3070 0
Current children cumulated CPU time (s) 52.01
Current children cumulated vsize (KiB) 150336

[startup+102.307 s]
/proc/loadavg: 2.04 2.06 2.07 3/179 4842
/proc/meminfo: memFree=30379940/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=66.12 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 13732 9047 0 0 442 92 6076 2 20 0 1 0 339084558 139792384 6374 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6374 1180 1 0 5186 0
[pid=4842] ppid=4824 vsize=83848 CPUtime=39.57 cores=1,3,5,7
/proc/4842/stat : 4842 (wbo1.4a) R 4824 4842 4842 0 -1 4202496 20916 0 0 0 3917 40 0 0 20 0 1 0 339090828 85860352 20489 33554432000 134512640 135751879 4294890080 4294888332 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/4842/statm: 20962 20489 139 303 0 20657 0
Current children cumulated CPU time (s) 105.69
Current children cumulated vsize (KiB) 220364

[startup+162.3 s]
/proc/loadavg: 2.10 2.07 2.08 3/179 4854
/proc/meminfo: memFree=30458920/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=119.61 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 14982 35916 0 0 674 130 11110 47 20 0 1 0 339084558 139792384 6376 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6376 1180 1 0 5186 0
[pid=4851] ppid=4824 vsize=17616 CPUtime=48.74 cores=1,3,5,7
/proc/4851/stat : 4851 (clasp-1.3.3-x86) R 4824 4851 4851 0 -1 4202496 4468 0 0 0 4873 1 0 0 20 0 1 0 339095912 18038784 4149 33554432000 134512640 136080129 4293778224 4293777216 134589253 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4851/statm: 4404 4149 175 383 0 4019 0
Current children cumulated CPU time (s) 168.35
Current children cumulated vsize (KiB) 154132

[startup+222.3 s]
/proc/loadavg: 2.04 2.06 2.07 4/179 4857
/proc/meminfo: memFree=30436780/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=222.55 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 16230 42732 0 0 925 168 21112 50 20 0 1 0 339084558 139792384 6377 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6377 1180 1 0 5186 0
[pid=4857] ppid=4824 vsize=27728 CPUtime=8.66 cores=1,3,5,7
/proc/4857/stat : 4857 (wbo1.4a) R 4824 4857 4857 0 -1 4202496 6881 0 0 0 850 16 0 0 20 0 1 0 339105920 28393472 6463 33554432000 134512640 135751879 4288315888 4288313504 134605084 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/4857/statm: 6932 6463 139 303 0 6627 0
Current children cumulated CPU time (s) 231.21
Current children cumulated vsize (KiB) 164244

[startup+282.3 s]
/proc/loadavg: 2.10 2.07 2.08 3/179 4867
/proc/meminfo: memFree=30337852/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=225.18 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 16270 42732 0 0 1156 200 21112 50 20 0 1 0 339084558 139792384 6377 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6377 1180 1 0 5186 0
[pid=4857] ppid=4824 vsize=139068 CPUtime=68.64 cores=1,3,5,7
/proc/4857/stat : 4857 (wbo1.4a) R 4824 4857 4857 0 -1 4202496 34736 0 0 0 6798 66 0 0 20 0 1 0 339105920 142405632 34300 33554432000 134512640 135751879 4288315888 4288314064 134616534 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/4857/statm: 34767 34300 139 303 0 34462 0
Current children cumulated CPU time (s) 293.82
Current children cumulated vsize (KiB) 275584

[startup+342.3 s]
/proc/loadavg: 2.03 2.06 2.07 4/179 4917
/proc/meminfo: memFree=30427032/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=328.93 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 17498 93915 0 0 1392 240 31117 144 20 0 1 0 339084558 139792384 6377 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6377 1180 1 0 5186 0
[pid=4870] ppid=4824 vsize=52612 CPUtime=27.58 cores=1,3,5,7
/proc/4870/stat : 4870 (wbo1.4b) R 4824 4870 4870 0 -1 4202496 13112 0 0 0 2754 4 0 0 20 0 1 0 339116027 53874688 12697 33554432000 134512640 135751879 4287896944 4287895104 134524613 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/4870/statm: 13153 12697 142 303 0 12848 0
Current children cumulated CPU time (s) 356.51
Current children cumulated vsize (KiB) 189128

[startup+402.301 s]
/proc/loadavg: 2.12 2.09 2.08 3/197 4941
/proc/meminfo: memFree=30352736/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=382.45 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 18745 113225 0 0 1645 284 36140 176 20 0 1 0 339084558 139792384 6379 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6379 1180 1 0 5186 0
[pid=4920] ppid=4824 vsize=2715136 CPUtime=37.72 cores=1,3,5,7
/proc/4920/stat : 4920 (java) S 4824 4920 4920 0 -1 4202496 8644 0 1 0 3767 5 0 0 20 0 19 0 339121086 2780299264 30196 33554432000 1073741824 1073778376 140734887758096 140734887749232 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4920/statm: 678784 30196 2250 9 0 669477 0

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

/proc/5050/statm: 6703 6469 175 383 0 6318 0
Current children cumulated CPU time (s) 1048.72
Current children cumulated vsize (KiB) 163328

[startup+1062.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/197 5102
/proc/meminfo: memFree=30297116/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=861.71 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 40946 278663 0 2 4291 714 80830 336 20 0 1 0 339084558 139792384 6386 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6386 1180 1 0 5186 0
[pid=5050] ppid=4824 vsize=29408 CPUtime=249.64 cores=1,3,5,7
/proc/5050/stat : 5050 (clasp-1.3.3-x86) R 4824 5050 5050 0 -1 4202496 7475 0 0 0 24963 1 0 0 20 0 1 0 339165819 30113792 7108 33554432000 134512640 136080129 4294486800 4294485872 134849595 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/5050/statm: 7352 7108 175 383 0 6967 0
Current children cumulated CPU time (s) 1111.35
Current children cumulated vsize (KiB) 165924

[startup+1122.3 s]
/proc/loadavg: 2.08 2.05 2.06 3/179 5120
/proc/meminfo: memFree=30454716/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=1165.08 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 42166 287880 0 2 4535 753 110882 338 20 0 1 0 339084558 139792384 6387 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6387 1180 1 0 5186 0
[pid=5117] ppid=4824 vsize=34976 CPUtime=9.07 cores=1,3,5,7
/proc/5117/stat : 5117 (bsolo_pb10) R 4824 5117 5117 0 -1 4202496 6854 0 0 0 901 6 0 0 20 0 1 0 339195881 35815424 6325 33554432000 134512640 137138936 4294856848 4294855600 134578636 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/5117/statm: 8744 6325 192 642 0 8100 0
Current children cumulated CPU time (s) 1174.15
Current children cumulated vsize (KiB) 171492

[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 2.06 3/179 5124
/proc/meminfo: memFree=30328120/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=1167.78 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 42213 287880 0 2 4766 792 110882 338 20 0 1 0 339084558 139792384 6387 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6387 1180 1 0 5186 0
[pid=5117] ppid=4824 vsize=148684 CPUtime=69.04 cores=1,3,5,7
/proc/5117/stat : 5117 (bsolo_pb10) R 4824 5117 5117 0 -1 4202496 35286 0 0 0 6886 18 0 0 20 0 1 0 339195881 152252416 34744 33554432000 134512640 137138936 4294856848 4294855744 134542480 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/5117/statm: 37171 34744 192 642 0 36527 0
Current children cumulated CPU time (s) 1236.82
Current children cumulated vsize (KiB) 285200

[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.06 3/180 5133
/proc/meminfo: memFree=30452704/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=1281.67 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 44682 333648 0 2 4996 835 121974 362 20 0 1 0 339084558 139792384 6388 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6388 1180 1 0 5186 0
[pid=5133] ppid=4824 vsize=11024 CPUtime=17.84 cores=1,3,5,7
/proc/5133/stat : 5133 (clasp-1.3.3-x86) R 4824 5133 5133 0 -1 4202496 2827 0 0 0 1784 0 0 0 20 0 1 0 339207003 11288576 2507 33554432000 134512640 136080129 4292622144 4292621232 134579541 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/5133/statm: 2756 2507 175 383 0 2371 0
Current children cumulated CPU time (s) 1299.51
Current children cumulated vsize (KiB) 147540

[startup+1302.3 s]
/proc/loadavg: 2.06 2.05 2.06 3/179 5133
/proc/meminfo: memFree=30433856/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=1284.28 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 44717 333648 0 2 5221 871 121974 362 20 0 1 0 339084558 139792384 6388 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6388 1180 1 0 5186 0
[pid=5133] ppid=4824 vsize=19144 CPUtime=77.83 cores=1,3,5,7
/proc/5133/stat : 5133 (clasp-1.3.3-x86) R 4824 5133 5133 0 -1 4202496 4877 0 0 0 7783 0 0 0 20 0 1 0 339207003 19603456 4552 33554432000 134512640 136080129 4292622144 4292621232 134804939 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/5133/statm: 4786 4552 175 383 0 4401 0
Current children cumulated CPU time (s) 1362.11
Current children cumulated vsize (KiB) 155660

[startup+1362.3 s]
/proc/loadavg: 2.08 2.06 2.06 3/179 5142
/proc/meminfo: memFree=30423620/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=1408.62 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 48393 345655 0 2 5459 910 134127 366 20 0 1 0 339084558 139792384 6390 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6390 1180 1 0 5186 0
[pid=5142] ppid=4824 vsize=9548 CPUtime=16.21 cores=1,3,5,7
/proc/5142/stat : 5142 (clasp-1.3.3-x86) R 4824 5142 5142 0 -1 4202496 2451 0 0 0 1621 0 0 0 20 0 1 0 339219166 9777152 2131 33554432000 134512640 136080129 4292232992 4292232172 134576490 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/5142/statm: 2387 2131 175 383 0 2002 0
Current children cumulated CPU time (s) 1424.83
Current children cumulated vsize (KiB) 146064

[startup+1422.31 s]
/proc/loadavg: 2.03 2.04 2.05 3/179 5148
/proc/meminfo: memFree=30419140/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=1472.17 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 50885 353684 0 2 5694 948 140206 369 20 0 1 0 339084558 139792384 6391 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6391 1180 1 0 5186 0
[pid=5148] ppid=4824 vsize=9992 CPUtime=15.36 cores=1,3,5,7
/proc/5148/stat : 5148 (clasp-1.3.3-x86) R 4824 5148 5148 0 -1 4202496 2576 0 0 0 1536 0 0 0 20 0 1 0 339225252 10231808 2257 33554432000 134512640 136080129 4294307248 4294306320 134849684 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/5148/statm: 2498 2257 175 383 0 2113 0
Current children cumulated CPU time (s) 1487.53
Current children cumulated vsize (KiB) 146508

[startup+1482.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/179 5152
/proc/meminfo: memFree=30389848/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=1474.78 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 50912 353684 0 2 5917 986 140206 369 20 0 1 0 339084558 139792384 6391 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6391 1180 1 0 5186 0
[pid=5148] ppid=4824 vsize=20124 CPUtime=75.34 cores=1,3,5,7
/proc/5148/stat : 5148 (clasp-1.3.3-x86) R 4824 5148 5148 0 -1 4202496 5139 0 0 0 7533 1 0 0 20 0 1 0 339225252 20606976 4797 33554432000 134512640 136080129 4294307248 4294306192 134580629 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/5148/statm: 5031 4797 175 383 0 4646 0
Current children cumulated CPU time (s) 1550.12
Current children cumulated vsize (KiB) 156640

[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.04 3/179 5167
/proc/meminfo: memFree=30471268/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=1599.15 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 54648 365893 0 2 6156 1025 152361 373 20 0 1 0 339084558 139792384 6393 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6393 1180 1 0 5186 0
[pid=5161] ppid=4824 vsize=9660 CPUtime=13.71 cores=1,3,5,7
/proc/5161/stat : 5161 (clasp-1.3.3-x86) R 4824 5161 5161 0 -1 4202496 2475 0 0 0 1370 1 0 0 20 0 1 0 339237417 9891840 2154 33554432000 134512640 136080129 4294502176 4294501120 134580638 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/5161/statm: 2415 2154 175 383 0 2030 0
Current children cumulated CPU time (s) 1612.86
Current children cumulated vsize (KiB) 146176

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/179 5167
/proc/meminfo: memFree=30453772/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=1601.76 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 54671 365893 0 2 6385 1057 152361 373 20 0 1 0 339084558 139792384 6393 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6393 1180 1 0 5186 0
[pid=5161] ppid=4824 vsize=19220 CPUtime=73.69 cores=1,3,5,7
/proc/5161/stat : 5161 (clasp-1.3.3-x86) R 4824 5161 5161 0 -1 4202496 4924 0 0 0 7368 1 0 0 20 0 1 0 339237417 19681280 4562 33554432000 134512640 136080129 4294502176 4294501248 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/5161/statm: 4805 4562 175 383 0 4420 0
Current children cumulated CPU time (s) 1675.45
Current children cumulated vsize (KiB) 155736

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.04 3/179 5185
/proc/meminfo: memFree=30473316/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=1726.13 cores=1,3,5,7
/proc/4824/stat : 4824 (python) R 4822 4824 31325 0 -1 4202496 58376 378824 0 2 6626 1096 164514 377 20 0 1 0 339084558 139792384 6393 33554432000 4194304 4196484 140733329678624 140733329670384 225444750263 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6393 1180 1 0 5186 0
[pid=5179] ppid=4824 vsize=7972 CPUtime=12.07 cores=1,3,5,7
/proc/5179/stat : 5179 (clasp-1.3.3-x86) R 4824 5179 5179 0 -1 4202496 2058 0 0 0 1207 0 0 0 20 0 1 0 339249581 8163328 1738 33554432000 134512640 136080129 4293486096 4293485232 134610352 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/5179/statm: 1993 1738 175 383 0 1608 0
Current children cumulated CPU time (s) 1738.2
Current children cumulated vsize (KiB) 144488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1721.6 s]
/proc/loadavg: 2.02 2.03 2.03 3/179 5188
/proc/meminfo: memFree=30459856/32873844 swapFree=7900/7900
[pid=4824] ppid=4822 vsize=136516 CPUtime=1728.71 cores=1,3,5,7
/proc/4824/stat : 4824 (python) S 4822 4824 31325 0 -1 4202496 58402 378824 0 2 6848 1132 164514 377 20 0 1 0 339084558 139792384 6393 33554432000 4194304 4196484 140733329678624 140733329670384 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4824/statm: 34129 6393 1180 1 0 5186 0
[pid=5179] ppid=4824 vsize=17288 CPUtime=71.36 cores=1,3,5,7
/proc/5179/stat : 5179 (clasp-1.3.3-x86) R 4824 5179 5179 0 -1 4202496 4391 0 0 0 7136 0 0 0 20 0 1 0 339249581 17702912 4068 33554432000 134512640 136080129 4293486096 4293485168 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/5179/statm: 4322 4068 175 383 0 3937 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 153804

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 4824 and gives
#  childrusage.ru_utime.tv_sec=1713
#  childrusage.ru_utime.tv_usec=635487
#  childrusage.ru_stime.tv_sec=15
#  childrusage.ru_stime.tv_usec=108703
# CPU time returned by wait4() is 1728.74
# 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): 1721.61
CPU time (s): 1800.07
CPU user time (s): 1784.98
CPU system time (s): 15.09
CPU usage (%): 104.557
Max. virtual memory (cumulated for all children) (KiB): 2851656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1713.64
system time used= 15.1087
maximum resident set size= 225864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 437226
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= 11184
involuntary context switches= 2469

runsolver used 4.03239 second user time and 9.26359 second system time

The end

Launcher Data 

Begin job on node137 at 2012-06-03 15:19:59
IDJOB=3742144
IDBENCH=90135
IDSOLVER=2323
FILE ID=node137/3742144-1338729599
RUNJOBID= node137-1338714575-31342
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/ShortestPathTate/normalized-TateBritain_K96.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742144-1338729599/watcher-3742144-1338729599 -o /tmp/evaluation-result-3742144-1338729599/solver-3742144-1338729599 -C 1800 -W 1900 -M 15500  solver HOME/instance-3742144-1338729599.opb 2045305788 

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

MD5SUM BENCH= 12d577f059d1da283bb935f5e106dee7
RANDOM SEED=2045305788

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:        30503612 kB
Buffers:          254448 kB
Cached:          1254612 kB
SwapCached:         5796 kB
Active:           844380 kB
Inactive:         700992 kB
Active(anon):      31764 kB
Inactive(anon):     7172 kB
Active(file):     812616 kB
Inactive(file):   693820 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             21088 kB
Writeback:             0 kB
AnonPages:         40220 kB
Mapped:            13200 kB
Shmem:                 0 kB
Slab:             685804 kB
SReclaimable:     126676 kB
SUnreclaim:       559128 kB
KernelStack:        1464 kB
PageTables:         4404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     155896 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 15:48:44