Trace number 3739628

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.03 1714.61

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12048_4-unsat.opb
MD5SUMe20086c85095d65afe65e19d07ad3aeb
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark33.9148
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables28798
Total number of constraints99736
Number of constraints which are clauses99264
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints472
Minimum length of a constraint1
Maximum length of a constraint69
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 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 397
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.08 2.04 3/177 2032
/proc/meminfo: memFree=30513284/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/2032/stat : 2032 (python) D 2030 2032 31325 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 338053935 15642624 526 33554432000 4194304 5683644 140737227021120 140737227002792 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/2032/statm: 3819 526 311 364 0 261 0

[startup+0.0229809 s]
/proc/loadavg: 2.03 2.08 2.04 3/177 2032
/proc/meminfo: memFree=30513284/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=15576 CPUtime=0 cores=1,3,5,7
/proc/2032/stat : 2032 (python) R 2030 2032 31325 0 -1 4202496 970 0 0 0 0 0 0 0 20 0 1 0 338053935 15949824 711 33554432000 4194304 5683644 140737227021120 140737226979576 225444709264 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/2032/statm: 3894 711 347 364 0 336 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15576

[startup+0.100295 s]
/proc/loadavg: 2.03 2.08 2.04 3/177 2032
/proc/meminfo: memFree=30513284/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=17892 CPUtime=0.03 cores=1,3,5,7
/proc/2032/stat : 2032 (python) R 2030 2032 31325 0 -1 4202496 2279 0 0 0 2 1 0 0 20 0 1 0 338053935 18321408 772 33554432000 4194304 4196484 140734816267472 140734816197640 139829363283296 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2032/statm: 4473 772 371 1 0 408 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17892

[startup+0.300275 s]
/proc/loadavg: 2.03 2.08 2.04 3/177 2032
/proc/meminfo: memFree=30513284/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=57176 CPUtime=0.1 cores=1,3,5,7
/proc/2032/stat : 2032 (python) R 2030 2032 31325 0 -1 4202496 4138 0 0 0 5 5 0 0 20 0 1 0 338053935 58548224 2274 33554432000 4194304 4196484 140734816267472 140734816127224 139829362839382 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2032/statm: 14294 2277 604 1 0 1632 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 57176

[startup+0.700226 s]
/proc/loadavg: 2.03 2.08 2.04 3/177 2032
/proc/meminfo: memFree=30513284/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=103800 CPUtime=0.31 cores=1,3,5,7
/proc/2032/stat : 2032 (python) R 2030 2032 31325 0 -1 4202496 6865 1015 0 0 19 12 0 0 20 0 1 0 338053935 106291200 4266 33554432000 4194304 4196484 140734816267472 140734816233432 139829363597412 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2032/statm: 25950 4266 1052 1 0 3236 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 103800

[startup+1.50025 s]
/proc/loadavg: 2.03 2.08 2.04 2/178 2037
/proc/meminfo: memFree=30494652/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=118120 CPUtime=0.53 cores=1,3,5,7
/proc/2032/stat : 2032 (python) R 2030 2032 31325 0 -1 4202496 9597 1015 0 0 31 22 0 0 20 0 1 0 338053935 120954880 5831 33554432000 4194304 4196484 140734816267472 140734816201080 225444708021 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2032/statm: 29530 5831 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 118120

[startup+3.10026 s]
/proc/loadavg: 2.03 2.07 2.04 3/179 2038
/proc/meminfo: memFree=30486460/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=134456 CPUtime=0.73 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 11241 1015 0 0 46 27 0 0 20 0 1 0 338053935 137682944 6349 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/2032/statm: 33614 6349 1170 1 0 5186 0
[pid=2038] ppid=2032 vsize=8584 CPUtime=1.36 cores=1,3,5,7
/proc/2038/stat : 2038 (clasp-1.3.3-x86) R 2032 2038 2038 0 -1 4202496 2378 0 0 0 136 0 0 0 20 0 1 0 338054108 8790016 1881 33554432000 134512640 136080129 4290411568 4290410640 134849100 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/2038/statm: 2146 1881 176 383 0 1761 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 143040
heavy processes:

[startup+6.30026 s]
/proc/loadavg: 2.03 2.07 2.04 3/179 2038
/proc/meminfo: memFree=30483104/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=134456 CPUtime=0.86 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 11252 1015 0 0 58 28 0 0 20 0 1 0 338053935 137682944 6349 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/2032/statm: 33614 6349 1170 1 0 5186 0
[pid=2038] ppid=2032 vsize=10168 CPUtime=4.57 cores=1,3,5,7
/proc/2038/stat : 2038 (clasp-1.3.3-x86) R 2032 2038 2038 0 -1 4202496 2756 0 0 0 456 1 0 0 20 0 1 0 338054108 10412032 2259 33554432000 134512640 136080129 4290411568 4290410704 134610276 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/2038/statm: 2542 2259 176 383 0 2157 0
Current children cumulated CPU time (s) 5.43
Current children cumulated vsize (KiB) 144624

[startup+12.7003 s]
/proc/loadavg: 2.02 2.07 2.04 3/179 2041
/proc/meminfo: memFree=30485452/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136516 CPUtime=11.27 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 12513 5261 0 0 87 34 1004 2 20 0 1 0 338053935 139792384 6370 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/2032/statm: 34129 6370 1180 1 0 5186 0
[pid=2041] ppid=2032 vsize=8032 CPUtime=0.88 cores=1,3,5,7
/proc/2041/stat : 2041 (clasp-1.3.3-x86) R 2032 2041 2041 0 -1 4202496 2249 0 0 0 88 0 0 0 20 0 1 0 338055116 8224768 1752 33554432000 134512640 136080129 4289377648 4289376516 135505028 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/2041/statm: 2008 1752 176 383 0 1623 0
Current children cumulated CPU time (s) 12.15
Current children cumulated vsize (KiB) 144548

[startup+25.5003 s]
/proc/loadavg: 2.02 2.07 2.04 3/179 2041
/proc/meminfo: memFree=30480644/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136516 CPUtime=11.85 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 12542 5261 0 0 137 42 1004 2 20 0 1 0 338053935 139792384 6370 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/2032/statm: 34129 6370 1180 1 0 5186 0
[pid=2041] ppid=2032 vsize=12724 CPUtime=13.68 cores=1,3,5,7
/proc/2041/stat : 2041 (clasp-1.3.3-x86) R 2032 2041 2041 0 -1 4202496 3394 0 0 0 1368 0 0 0 20 0 1 0 338055116 13029376 2897 33554432000 134512640 136080129 4289377648 4289376720 134849071 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/2041/statm: 3181 2897 176 383 0 2796 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 149240

[startup+51.1003 s]
/proc/loadavg: 2.01 2.06 2.04 3/179 2065
/proc/meminfo: memFree=30478500/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136516 CPUtime=13.03 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 12576 5261 0 0 239 58 1004 2 20 0 1 0 338053935 139792384 6370 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/2032/statm: 34129 6370 1180 1 0 5186 0
[pid=2041] ppid=2032 vsize=16280 CPUtime=39.28 cores=1,3,5,7
/proc/2041/stat : 2041 (clasp-1.3.3-x86) R 2032 2041 2041 0 -1 4202496 4300 0 0 0 3927 1 0 0 20 0 1 0 338055116 16670720 3801 33554432000 134512640 136080129 4289377648 4289376724 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/2041/statm: 4070 3801 176 383 0 3685 0
Current children cumulated CPU time (s) 52.31
Current children cumulated vsize (KiB) 152796

[startup+102.307 s]
/proc/loadavg: 2.06 2.06 2.04 3/196 2091
/proc/meminfo: memFree=30342148/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136516 CPUtime=66.16 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 13760 10751 0 0 471 95 6047 3 20 0 1 0 338053935 139792384 6373 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/2032/statm: 34129 6373 1180 1 0 5186 0
[pid=2091] ppid=2032 vsize=40280 CPUtime=40 cores=1,3,5,7
/proc/2091/stat : 2091 (wbo1.4a) R 2032 2091 2091 0 -1 4202496 10538 0 0 0 3987 13 0 0 20 0 1 0 338060163 41246720 9396 33554432000 134512640 135751879 4289796960 4289795136 134616361 0 0 16781312 3 0 0 0 17 1 0 0 0 0 0
/proc/2091/statm: 10070 9396 139 303 0 9765 0
Current children cumulated CPU time (s) 106.16
Current children cumulated vsize (KiB) 176796

[startup+162.3 s]
/proc/loadavg: 2.02 2.05 2.03 3/179 2118
/proc/meminfo: memFree=30471648/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136516 CPUtime=119.22 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 15024 23228 0 0 714 134 11053 21 20 0 1 0 338053935 139792384 6375 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2032/statm: 34129 6375 1180 1 0 5186 0
[pid=2103] ppid=2032 vsize=21040 CPUtime=49.75 cores=1,3,5,7
/proc/2103/stat : 2103 (clasp-1.3.3-x86) R 2032 2103 2103 0 -1 4202496 5469 0 0 0 4974 1 0 0 20 0 1 0 338065188 21544960 4972 33554432000 134512640 136080129 4291586448 4291585520 134849631 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/2103/statm: 5260 4972 176 383 0 4875 0
Current children cumulated CPU time (s) 168.97
Current children cumulated vsize (KiB) 157556

[startup+222.3 s]
/proc/loadavg: 2.14 2.07 2.04 3/179 2189
/proc/meminfo: memFree=30512356/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136516 CPUtime=222.56 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 16294 29643 0 0 975 178 21080 23 20 0 1 0 338053935 139792384 6376 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2032/statm: 34129 6376 1180 1 0 5186 0
[pid=2123] ppid=2032 vsize=22440 CPUtime=9.42 cores=1,3,5,7
/proc/2123/stat : 2123 (wbo1.4a) R 2032 2123 2123 0 -1 4202496 6116 0 0 0 938 4 0 0 20 0 1 0 338075221 22978560 4971 33554432000 134512640 135751879 4289099392 4289097644 135270609 0 0 16781312 3 0 0 0 17 3 0 0 0 0 0
/proc/2123/statm: 5610 4971 139 303 0 5305 0
Current children cumulated CPU time (s) 231.98
Current children cumulated vsize (KiB) 158956

[startup+282.3 s]
/proc/loadavg: 2.06 2.06 2.03 4/179 2243
/proc/meminfo: memFree=30456236/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136516 CPUtime=225.41 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 16329 29643 0 0 1221 217 21080 23 20 0 1 0 338053935 139792384 6376 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2032/statm: 34129 6376 1180 1 0 5186 0
[pid=2123] ppid=2032 vsize=53260 CPUtime=69.4 cores=1,3,5,7
/proc/2123/stat : 2123 (wbo1.4a) R 2032 2123 2123 0 -1 4202496 13769 0 0 0 6917 23 0 0 20 0 1 0 338075221 54538240 12609 33554432000 134512640 135751879 4289099392 4289097564 134517408 0 0 16781312 3 0 0 0 17 3 0 0 0 0 0
/proc/2123/statm: 13315 12609 139 303 0 13010 0
Current children cumulated CPU time (s) 294.81
Current children cumulated vsize (KiB) 189776

[startup+342.3 s]
/proc/loadavg: 2.05 2.06 2.03 3/179 2252
/proc/meminfo: memFree=30470232/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136516 CPUtime=328.62 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 17570 46703 0 0 1470 257 31080 55 20 0 1 0 338053935 139792384 6377 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2032/statm: 34129 6377 1180 1 0 5186 0
[pid=2249] ppid=2032 vsize=51812 CPUtime=29.04 cores=1,3,5,7
/proc/2249/stat : 2249 (wbo1.4b) R 2032 2249 2249 0 -1 4202496 13435 0 0 0 2902 2 0 0 20 0 1 0 338085259 53055488 12294 33554432000 134512640 135751879 4291987424 4291985568 134524019 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/2249/statm: 12953 12294 142 303 0 12648 0
Current children cumulated CPU time (s) 357.66
Current children cumulated vsize (KiB) 188328

[startup+402.301 s]
/proc/loadavg: 2.09 2.06 2.03 3/197 2273
/proc/meminfo: memFree=30059912/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136516 CPUtime=381.64 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 18791 63932 0 0 1720 295 36090 59 20 0 1 0 338053935 139792384 6378 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2032/statm: 34129 6378 1180 1 0 5186 0

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

/proc/2384/statm: 6300 6018 176 383 0 5915 0
Current children cumulated CPU time (s) 1054.43
Current children cumulated vsize (KiB) 161716

[startup+1062.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/179 2450
/proc/meminfo: memFree=30479820/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136516 CPUtime=857.69 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 41081 224213 0 2 4515 735 80321 198 20 0 1 0 338053935 139792384 6388 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2032/statm: 34129 6388 1180 1 0 5186 0
[pid=2384] ppid=2032 vsize=27308 CPUtime=259.46 cores=1,3,5,7
/proc/2384/stat : 2384 (clasp-1.3.3-x86) R 2032 2384 2384 0 -1 4202496 6998 0 0 0 25945 1 0 0 20 0 1 0 338134214 27963392 6523 33554432000 134512640 136080129 4289494560 4289493632 134849233 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2384/statm: 6827 6523 176 383 0 6442 0
Current children cumulated CPU time (s) 1117.15
Current children cumulated vsize (KiB) 163824

[startup+1122.3 s]
/proc/loadavg: 2.09 2.09 2.08 3/179 2454
/proc/meminfo: memFree=30454772/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136516 CPUtime=1160.78 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 42330 232908 0 2 4769 776 110332 201 20 0 1 0 338053935 139792384 6389 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2032/statm: 34129 6389 1180 1 0 5186 0
[pid=2454] ppid=2032 vsize=53928 CPUtime=19.31 cores=1,3,5,7
/proc/2454/stat : 2454 (bsolo_pb10) R 2032 2454 2454 0 -1 4202496 12172 0 0 0 1927 4 0 0 20 0 1 0 338164234 55222272 10918 33554432000 134512640 137138936 4288235712 4288234640 134542793 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/2454/statm: 13482 10918 192 642 0 12838 0
Current children cumulated CPU time (s) 1180.09
Current children cumulated vsize (KiB) 190444

[startup+1182.3 s]
/proc/loadavg: 2.11 2.09 2.08 3/179 2454
/proc/meminfo: memFree=30386364/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136516 CPUtime=1163.62 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 42355 232908 0 2 5009 820 110332 201 20 0 1 0 338053935 139792384 6389 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2032/statm: 34129 6389 1180 1 0 5186 0
[pid=2454] ppid=2032 vsize=112296 CPUtime=79.26 cores=1,3,5,7
/proc/2454/stat : 2454 (bsolo_pb10) R 2032 2454 2454 0 -1 4202496 26803 0 0 0 7916 10 0 0 20 0 1 0 338164234 114991104 25510 33554432000 134512640 137138936 4288235712 4288234640 134542187 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/2454/statm: 28074 25510 192 642 0 27430 0
Current children cumulated CPU time (s) 1242.88
Current children cumulated vsize (KiB) 248812

[startup+1242.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/179 2460
/proc/meminfo: memFree=30472312/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136516 CPUtime=1276.84 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 44864 268298 0 2 5256 858 121355 215 20 0 1 0 338053935 139792384 6390 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2032/statm: 34129 6390 1180 1 0 5186 0
[pid=2460] ppid=2032 vsize=15904 CPUtime=28.83 cores=1,3,5,7
/proc/2460/stat : 2460 (clasp-1.3.3-x86) R 2032 2460 2460 0 -1 4202496 4188 0 0 0 2882 1 0 0 20 0 1 0 338175281 16285696 3690 33554432000 134512640 136080129 4289226624 4289225696 134849100 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2460/statm: 3976 3690 176 383 0 3591 0
Current children cumulated CPU time (s) 1305.67
Current children cumulated vsize (KiB) 152420

[startup+1302.3 s]
/proc/loadavg: 2.14 2.11 2.09 3/179 2460
/proc/meminfo: memFree=30457472/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136516 CPUtime=1279.62 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 44889 268298 0 2 5495 897 121355 215 20 0 1 0 338053935 139792384 6390 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2032/statm: 34129 6390 1180 1 0 5186 0
[pid=2460] ppid=2032 vsize=22832 CPUtime=88.82 cores=1,3,5,7
/proc/2460/stat : 2460 (clasp-1.3.3-x86) R 2032 2460 2460 0 -1 4202496 5916 0 0 0 8881 1 0 0 20 0 1 0 338175281 23379968 5424 33554432000 134512640 136080129 4289226624 4289225584 134808258 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2460/statm: 5708 5424 176 383 0 5323 0
Current children cumulated CPU time (s) 1368.44
Current children cumulated vsize (KiB) 159348

[startup+1362.3 s]
/proc/loadavg: 2.05 2.09 2.08 3/180 2475
/proc/meminfo: memFree=30436944/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136516 CPUtime=1402.91 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 48656 283684 0 2 5743 937 133391 220 20 0 1 0 338053935 139792384 6391 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2032/statm: 34129 6391 1180 1 0 5186 0
[pid=2475] ppid=2032 vsize=15796 CPUtime=28.36 cores=1,3,5,7
/proc/2475/stat : 2475 (clasp-1.3.3-x86) R 2032 2475 2475 0 -1 4202496 4189 0 0 0 2836 0 0 0 20 0 1 0 338187328 16175104 3687 33554432000 134512640 136080129 4287560176 4287559248 134849054 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2475/statm: 3949 3687 176 383 0 3564 0
Current children cumulated CPU time (s) 1431.27
Current children cumulated vsize (KiB) 152312

[startup+1422.31 s]
/proc/loadavg: 2.13 2.10 2.09 3/179 2482
/proc/meminfo: memFree=30342864/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136516 CPUtime=1466.29 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 51167 294145 0 2 5991 975 139440 223 20 0 1 0 338053935 139792384 6392 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2032/statm: 34129 6392 1180 1 0 5186 0
[pid=2481] ppid=2032 vsize=15796 CPUtime=27.81 cores=1,3,5,7
/proc/2481/stat : 2481 (clasp-1.3.3-x86) R 2032 2481 2481 0 -1 4202496 4192 0 0 0 2780 1 0 0 20 0 1 0 338193384 16175104 3688 33554432000 134512640 136080129 4289566384 4289565344 134808132 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2481/statm: 3949 3688 176 383 0 3564 0
Current children cumulated CPU time (s) 1494.1
Current children cumulated vsize (KiB) 152312

[startup+1482.3 s]
/proc/loadavg: 2.16 2.11 2.09 3/179 2488
/proc/meminfo: memFree=30485896/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136516 CPUtime=1469.08 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 51194 294145 0 2 6235 1010 139440 223 20 0 1 0 338053935 139792384 6392 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2032/statm: 34129 6392 1180 1 0 5186 0
[pid=2481] ppid=2032 vsize=20776 CPUtime=87.79 cores=1,3,5,7
/proc/2481/stat : 2481 (clasp-1.3.3-x86) R 2032 2481 2481 0 -1 4202496 5413 0 0 0 8778 1 0 0 20 0 1 0 338193384 21274624 4907 33554432000 134512640 136080129 4289566384 4289565476 134607857 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2481/statm: 5194 4907 176 383 0 4809 0
Current children cumulated CPU time (s) 1556.87
Current children cumulated vsize (KiB) 157292

[startup+1542.3 s]
/proc/loadavg: 2.08 2.10 2.09 3/179 2500
/proc/meminfo: memFree=30505508/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136516 CPUtime=1592.42 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 54957 308937 0 2 6486 1048 151480 228 20 0 1 0 338053935 139792384 6393 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2032/statm: 34129 6393 1180 1 0 5186 0
[pid=2497] ppid=2032 vsize=15796 CPUtime=27.29 cores=1,3,5,7
/proc/2497/stat : 2497 (clasp-1.3.3-x86) R 2032 2497 2497 0 -1 4202496 4192 0 0 0 2728 1 0 0 20 0 1 0 338205435 16175104 3689 33554432000 134512640 136080129 4293625552 4293624628 134850025 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2497/statm: 3949 3689 176 383 0 3564 0
Current children cumulated CPU time (s) 1619.71
Current children cumulated vsize (KiB) 152312

[startup+1602.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/179 2506
/proc/meminfo: memFree=30484224/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136516 CPUtime=1595.2 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 54985 308937 0 2 6727 1085 151480 228 20 0 1 0 338053935 139792384 6393 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2032/statm: 34129 6393 1180 1 0 5186 0
[pid=2497] ppid=2032 vsize=22264 CPUtime=87.28 cores=1,3,5,7
/proc/2497/stat : 2497 (clasp-1.3.3-x86) R 2032 2497 2497 0 -1 4202496 5792 0 0 0 8726 2 0 0 20 0 1 0 338205435 22798336 5290 33554432000 134512640 136080129 4293625552 4293624544 134588804 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2497/statm: 5566 5290 176 383 0 5181 0
Current children cumulated CPU time (s) 1682.48
Current children cumulated vsize (KiB) 158780

[startup+1662.3 s]
/proc/loadavg: 2.06 2.09 2.09 3/179 2521
/proc/meminfo: memFree=30490684/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136648 CPUtime=1718.5 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 58746 324190 0 2 6977 1125 163514 234 20 0 1 0 338053935 139927552 6394 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2032/statm: 34162 6394 1180 1 0 5219 0
[pid=2521] ppid=2032 vsize=15904 CPUtime=26.83 cores=1,3,5,7
/proc/2521/stat : 2521 (clasp-1.3.3-x86) R 2032 2521 2521 0 -1 4202496 4190 0 0 0 2682 1 0 0 20 0 1 0 338217481 16285696 3689 33554432000 134512640 136080129 4290729424 4290728496 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2521/statm: 3976 3689 176 383 0 3591 0
Current children cumulated CPU time (s) 1745.33
Current children cumulated vsize (KiB) 152552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1714.6 s]
/proc/loadavg: 2.07 2.09 2.09 3/179 2522
/proc/meminfo: memFree=30477644/32873844 swapFree=7900/7900
[pid=2032] ppid=2030 vsize=136648 CPUtime=1720.9 cores=1,3,5,7
/proc/2032/stat : 2032 (python) S 2030 2032 31325 0 -1 4202496 58768 324190 0 2 7184 1158 163514 234 20 0 1 0 338053935 139927552 6394 33554432000 4194304 4196484 140734816267472 140734816259232 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2032/statm: 34162 6394 1180 1 0 5219 0
[pid=2521] ppid=2032 vsize=20568 CPUtime=79.13 cores=1,3,5,7
/proc/2521/stat : 2521 (clasp-1.3.3-x86) R 2032 2521 2521 0 -1 4202496 5372 0 0 0 7911 2 0 0 20 0 1 0 338217481 21061632 4870 33554432000 134512640 136080129 4290729424 4290728496 134849233 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2521/statm: 5142 4870 176 383 0 4757 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 157216

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 2032 and gives
#  childrusage.ru_utime.tv_sec=1706
#  childrusage.ru_utime.tv_usec=995497
#  childrusage.ru_stime.tv_sec=13
#  childrusage.ru_stime.tv_usec=933881
# CPU time returned by wait4() is 1720.93
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1714.61
CPU time (s): 1800.03
CPU user time (s): 1786.09
CPU system time (s): 13.94
CPU usage (%): 104.982
Max. virtual memory (cumulated for all children) (KiB): 2851656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1707
system time used= 13.9339
maximum resident set size= 536148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 382958
page faults= 2
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11778
involuntary context switches= 4962

runsolver used 3.88241 second user time and 9.1946 second system time

The end

Launcher Data 

Begin job on node137 at 2012-06-03 12:28:13
IDJOB=3739628
IDBENCH=73869
IDSOLVER=2323
FILE ID=node137/3739628-1338719293
RUNJOBID= node137-1338714575-31342
PBS_JOBID= 14636756
Free space on /tmp= 70300 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12048_4-unsat.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3739628-1338719293/watcher-3739628-1338719293 -o /tmp/evaluation-result-3739628-1338719293/solver-3739628-1338719293 -C 1800 -W 1900 -M 15500  solver HOME/instance-3739628-1338719293.opb 66302425 

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

MD5SUM BENCH= e20086c85095d65afe65e19d07ad3aeb
RANDOM SEED=66302425

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:        30513664 kB
Buffers:          234688 kB
Cached:          1228396 kB
SwapCached:         5796 kB
Active:           865720 kB
Inactive:         668980 kB
Active(anon):      67164 kB
Inactive(anon):     7172 kB
Active(file):     798556 kB
Inactive(file):   661808 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             23576 kB
Writeback:             0 kB
AnonPages:         75544 kB
Mapped:            13356 kB
Shmem:                 0 kB
Slab:             686020 kB
SReclaimable:     126344 kB
SUnreclaim:       559676 kB
KernelStack:        1448 kB
PageTables:         4440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     199816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 70276 MiB
End job on node137 at 2012-06-03 12:56:51