Trace number 3741120

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 1718.71

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-31.opb
MD5SUM1231d9e508dc821e38b22e6db3fd2b2f
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 benchmark203.957
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9310
Total number of constraints199239
Number of constraints which are clauses178407
Number of constraints which are cardinality constraints (but not clauses)730
Number of constraints which are nor clauses,nor cardinality constraints20102
Minimum length of a constraint1
Maximum length of a constraint231
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.01 2.07 2.08 3/176 25096
/proc/meminfo: memFree=26731796/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=15016 CPUtime=0 cores=1,3,5,7
/proc/25096/stat : 25096 (python) D 25094 25096 21196 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 338549465 15376384 429 33554432000 4194304 5683644 140734257701376 140734257687928 227512499893 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/25096/statm: 3754 429 267 364 0 196 0

[startup+0.039394 s]
/proc/loadavg: 2.01 2.07 2.08 3/176 25096
/proc/meminfo: memFree=26731796/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=15968 CPUtime=0 cores=1,3,5,7
/proc/25096/stat : 25096 (python) D 25094 25096 21196 0 -1 4202496 1099 0 0 0 0 0 0 0 20 0 1 0 338549465 16351232 819 33554432000 4194304 5683644 140734257701376 140734257671560 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/25096/statm: 3992 819 367 364 0 434 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15968

[startup+0.100267 s]
/proc/loadavg: 2.01 2.07 2.08 3/176 25096
/proc/meminfo: memFree=26731796/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=17628 CPUtime=0.02 cores=1,3,5,7
/proc/25096/stat : 25096 (python) D 25094 25096 21196 0 -1 4202496 2231 0 0 0 1 1 0 0 20 0 1 0 338549465 18051072 737 33554432000 4194304 4196484 140736140150640 140736140108680 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/25096/statm: 4407 737 367 1 0 342 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17628

[startup+0.300199 s]
/proc/loadavg: 2.01 2.07 2.08 3/176 25096
/proc/meminfo: memFree=26731796/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=56780 CPUtime=0.07 cores=1,3,5,7
/proc/25096/stat : 25096 (python) D 25094 25096 21196 0 -1 4202496 4053 0 0 0 4 3 0 0 20 0 1 0 338549465 58142720 2212 33554432000 4194304 4196484 140736140150640 140736139974120 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/25096/statm: 14195 2212 603 1 0 1533 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 56780

[startup+0.700149 s]
/proc/loadavg: 2.01 2.07 2.08 3/176 25096
/proc/meminfo: memFree=26731796/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=103796 CPUtime=0.25 cores=1,3,5,7
/proc/25096/stat : 25096 (python) R 25094 25096 21196 0 -1 4202496 6863 1010 0 0 16 9 0 0 20 0 1 0 338549465 106287104 4265 33554432000 4194304 4196484 140736140150640 140736140116600 139927424851861 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 25949 4265 1052 1 0 3235 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 103796

[startup+1.5003 s]
/proc/loadavg: 2.01 2.07 2.08 3/177 25101
/proc/meminfo: memFree=26712328/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=118116 CPUtime=0.44 cores=1,3,5,7
/proc/25096/stat : 25096 (python) D 25094 25096 21196 0 -1 4202496 9596 1010 0 0 28 16 0 0 20 0 1 0 338549465 120950784 5831 33554432000 4194304 4196484 140736140150640 140736140084248 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 29529 5831 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 118116

[startup+3.10022 s]
/proc/loadavg: 2.01 2.07 2.08 3/178 25102
/proc/meminfo: memFree=26695076/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=134484 CPUtime=0.63 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 11248 1010 0 0 43 20 0 0 20 0 1 0 338549465 137711616 6349 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 33621 6349 1170 1 0 5193 0
[pid=25102] ppid=25096 vsize=17748 CPUtime=1.32 cores=1,3,5,7
/proc/25102/stat : 25102 (clasp-1.3.3-x86) R 25096 25102 25102 0 -1 4202496 4681 0 0 0 132 0 0 0 20 0 1 0 338549642 18173952 4160 33554432000 134512640 136080129 4292211792 4292210864 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/25102/statm: 4437 4160 176 383 0 4052 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 152232
heavy processes:

[startup+6.30025 s]
/proc/loadavg: 2.01 2.07 2.08 3/178 25102
/proc/meminfo: memFree=26686532/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=134484 CPUtime=0.75 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 11259 1010 0 0 54 21 0 0 20 0 1 0 338549465 137711616 6349 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 33621 6349 1170 1 0 5193 0
[pid=25102] ppid=25096 vsize=21988 CPUtime=4.52 cores=1,3,5,7
/proc/25102/stat : 25102 (clasp-1.3.3-x86) R 25096 25102 25102 0 -1 4202496 5709 0 0 0 451 1 0 0 20 0 1 0 338549642 22515712 5188 33554432000 134512640 136080129 4292211792 4292210864 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/25102/statm: 5497 5188 176 383 0 5112 0
Current children cumulated CPU time (s) 5.27
Current children cumulated vsize (KiB) 156472

[startup+12.7002 s]
/proc/loadavg: 2.01 2.07 2.08 3/178 25105
/proc/meminfo: memFree=26697696/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=11.24 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 12520 9322 0 0 83 25 1014 2 20 0 1 0 338549465 139821056 6369 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6369 1180 1 0 5193 0
[pid=25105] ppid=25096 vsize=16596 CPUtime=0.74 cores=1,3,5,7
/proc/25105/stat : 25105 (clasp-1.3.3-x86) R 25096 25105 25105 0 -1 4202496 4399 0 0 0 73 1 0 0 20 0 1 0 338550660 16994304 3880 33554432000 134512640 136080129 4292028992 4292028128 134845911 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/25105/statm: 4149 3880 176 383 0 3764 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 153140

[startup+25.5002 s]
/proc/loadavg: 2.00 2.07 2.07 3/177 25105
/proc/meminfo: memFree=26668392/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=11.8 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 12546 9322 0 0 131 33 1014 2 20 0 1 0 338549465 139821056 6369 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6369 1180 1 0 5193 0
[pid=25105] ppid=25096 vsize=31984 CPUtime=13.53 cores=1,3,5,7
/proc/25105/stat : 25105 (clasp-1.3.3-x86) R 25096 25105 25105 0 -1 4202496 8135 0 0 0 1352 1 0 0 20 0 1 0 338550660 32751616 7616 33554432000 134512640 136080129 4292028992 4292028064 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/25105/statm: 7996 7616 176 383 0 7611 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 168528

[startup+51.1003 s]
/proc/loadavg: 2.00 2.06 2.07 3/177 25105
/proc/meminfo: memFree=26654360/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=12.91 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 12570 9322 0 0 228 47 1014 2 20 0 1 0 338549465 139821056 6369 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6369 1180 1 0 5193 0
[pid=25105] ppid=25096 vsize=39184 CPUtime=39.13 cores=1,3,5,7
/proc/25105/stat : 25105 (clasp-1.3.3-x86) R 25096 25105 25105 0 -1 4202496 9937 0 0 0 3911 2 0 0 20 0 1 0 338550660 40124416 9416 33554432000 134512640 136080129 4292028992 4292028064 134849989 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/25105/statm: 9796 9416 176 383 0 9411 0
Current children cumulated CPU time (s) 52.04
Current children cumulated vsize (KiB) 175728

[startup+102.306 s]
/proc/loadavg: 2.00 2.05 2.07 4/177 25111
/proc/meminfo: memFree=26658520/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=65.93 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 13718 21045 0 0 453 79 6055 6 20 0 1 0 338549465 139821056 6375 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6375 1180 1 0 5193 0
[pid=25108] ppid=25096 vsize=55688 CPUtime=39.85 cores=1,3,5,7
/proc/25108/stat : 25108 (wbo1.4a) R 25096 25108 25108 0 -1 4202496 15909 0 0 0 3925 60 0 0 20 0 1 0 338555709 57024512 13310 33554432000 134512640 135751879 4286853264 4286851440 134616532 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/25108/statm: 13922 13310 139 303 0 13617 0
Current children cumulated CPU time (s) 105.78
Current children cumulated vsize (KiB) 192232

[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/177 25121
/proc/meminfo: memFree=26649436/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=119.43 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 14979 39277 0 0 683 118 11069 73 20 0 1 0 338549465 139821056 6378 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6378 1180 1 0 5193 0
[pid=25117] ppid=25096 vsize=44340 CPUtime=49 cores=1,3,5,7
/proc/25117/stat : 25117 (clasp-1.3.3-x86) R 25096 25117 25117 0 -1 4202496 11100 0 0 0 4898 2 0 0 20 0 1 0 338560792 45404160 10628 33554432000 134512640 136080129 4289323152 4289322224 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/25117/statm: 11085 10628 176 383 0 10700 0
Current children cumulated CPU time (s) 168.43
Current children cumulated vsize (KiB) 180884

[startup+222.3 s]
/proc/loadavg: 2.08 2.04 2.06 3/177 25171
/proc/meminfo: memFree=26567372/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=222.5 cores=1,3,5,7
/proc/25096/stat : 25096 (python) R 25094 25096 21196 0 -1 4202496 16242 52555 0 0 935 155 21083 77 20 0 1 0 338549465 139821056 6379 33554432000 4194304 4196484 140736140150640 140736140142400 227512542135 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6379 1180 1 0 5193 0
[pid=25171] ppid=25096 vsize=27040 CPUtime=8.8 cores=1,3,5,7
/proc/25171/stat : 25171 (wbo1.4a) R 25096 25171 25171 0 -1 4202496 8781 0 0 0 856 24 0 0 20 0 1 0 338570814 27688960 6179 33554432000 134512640 135751879 4287181696 4287179948 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/25171/statm: 6760 6179 139 303 0 6455 0
Current children cumulated CPU time (s) 231.3
Current children cumulated vsize (KiB) 163584

[startup+282.3 s]
/proc/loadavg: 2.17 2.07 2.06 3/177 25174
/proc/meminfo: memFree=26514816/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=225.14 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 16282 52555 0 0 1162 192 21083 77 20 0 1 0 338549465 139821056 6379 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6379 1180 1 0 5193 0
[pid=25171] ppid=25096 vsize=68532 CPUtime=68.77 cores=1,3,5,7
/proc/25171/stat : 25171 (wbo1.4a) R 25096 25171 25171 0 -1 4202496 19113 0 0 0 6808 69 0 0 20 0 1 0 338570814 70176768 16518 33554432000 134512640 135751879 4287181696 4287179948 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/25171/statm: 17133 16518 139 303 0 16828 0
Current children cumulated CPU time (s) 293.91
Current children cumulated vsize (KiB) 205076

[startup+342.3 s]
/proc/loadavg: 2.12 2.07 2.06 4/177 25180
/proc/meminfo: memFree=26507104/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=329.07 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 17529 78795 0 0 1412 232 31096 167 20 0 1 0 338549465 139821056 6380 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6380 1180 1 0 5193 0
[pid=25180] ppid=25096 vsize=63400 CPUtime=27.71 cores=1,3,5,7
/proc/25180/stat : 25180 (wbo1.4b) R 25096 25180 25180 0 -1 4202496 17823 0 0 0 2732 39 0 0 20 0 1 0 338580923 64921600 15225 33554432000 134512640 135751879 4289444800 4289442892 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/25180/statm: 15850 15225 143 303 0 15545 0
Current children cumulated CPU time (s) 356.78
Current children cumulated vsize (KiB) 199944

[startup+402.301 s]
/proc/loadavg: 2.09 2.07 2.06 3/195 25201
/proc/meminfo: memFree=25993400/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=382.69 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 18778 104690 0 0 1648 269 36133 219 20 0 1 0 338549465 139821056 6381 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6381 1180 1 0 5193 0

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

/proc/25096/statm: 34136 6390 1180 1 0 5193 0
[pid=25403] ppid=25096 vsize=57216 CPUtime=14.98 cores=1,3,5,7
/proc/25403/stat : 25403 (bsolo_pb10) R 25096 25403 25403 0 -1 4202496 14535 0 0 0 1475 23 0 0 20 0 1 0 338660196 58589184 11869 33554432000 134512640 137138936 4289488672 4289487600 134542233 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/25403/statm: 14304 11869 192 642 0 13660 0
Current children cumulated CPU time (s) 1177.16
Current children cumulated vsize (KiB) 193760

[startup+1182.3 s]
/proc/loadavg: 2.05 2.08 2.08 3/178 25406
/proc/meminfo: memFree=26378888/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=1164.85 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 42267 334058 0 2 4792 756 110432 505 20 0 1 0 338549465 139821056 6390 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6390 1180 1 0 5193 0
[pid=25403] ppid=25096 vsize=113812 CPUtime=74.96 cores=1,3,5,7
/proc/25403/stat : 25403 (bsolo_pb10) R 25096 25403 25403 0 -1 4202496 28667 0 0 0 7454 42 0 0 20 0 1 0 338660196 116543488 25988 33554432000 134512640 137138936 4289488672 4289487788 136570369 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/25403/statm: 28453 25988 192 642 0 27809 0
Current children cumulated CPU time (s) 1239.81
Current children cumulated vsize (KiB) 250356

[startup+1242.3 s]
/proc/loadavg: 2.09 2.08 2.08 3/177 25412
/proc/meminfo: memFree=26420256/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=1278.67 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 44757 382122 0 2 5030 791 121487 559 20 0 1 0 338549465 139821056 6390 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6390 1180 1 0 5193 0
[pid=25412] ppid=25096 vsize=34240 CPUtime=23.84 cores=1,3,5,7
/proc/25412/stat : 25412 (clasp-1.3.3-x86) R 25096 25412 25412 0 -1 4202496 8703 0 0 0 2382 2 0 0 20 0 1 0 338671310 35061760 8181 33554432000 134512640 136080129 4290338192 4290337264 134849100 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 8560 8181 176 383 0 8175 0
Current children cumulated CPU time (s) 1302.51
Current children cumulated vsize (KiB) 170784

[startup+1302.3 s]
/proc/loadavg: 2.08 2.08 2.08 3/177 25412
/proc/meminfo: memFree=26383824/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=1281.28 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 44781 382122 0 2 5257 825 121487 559 20 0 1 0 338549465 139821056 6390 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6390 1180 1 0 5193 0
[pid=25412] ppid=25096 vsize=46408 CPUtime=83.84 cores=1,3,5,7
/proc/25412/stat : 25412 (clasp-1.3.3-x86) R 25096 25412 25412 0 -1 4202496 11619 0 0 0 8381 3 0 0 20 0 1 0 338671310 47521792 11097 33554432000 134512640 136080129 4290338192 4290337268 134850025 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 11602 11097 176 383 0 11217 0
Current children cumulated CPU time (s) 1365.12
Current children cumulated vsize (KiB) 182952

[startup+1362.3 s]
/proc/loadavg: 2.03 2.06 2.08 3/177 25425
/proc/meminfo: memFree=26388260/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=1404.59 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 48497 412261 0 2 5493 867 133529 570 20 0 1 0 338549465 139821056 6391 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6391 1180 1 0 5193 0
[pid=25425] ppid=25096 vsize=33356 CPUtime=23.25 cores=1,3,5,7
/proc/25425/stat : 25425 (clasp-1.3.3-x86) R 25096 25425 25425 0 -1 4202496 8513 0 0 0 2324 1 0 0 20 0 1 0 338683368 34156544 7986 33554432000 134512640 136080129 4293553728 4293552596 135505028 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/25425/statm: 8339 7986 176 383 0 7954 0
Current children cumulated CPU time (s) 1427.84
Current children cumulated vsize (KiB) 169900

[startup+1422.31 s]
/proc/loadavg: 2.10 2.08 2.08 3/177 25437
/proc/meminfo: memFree=26567944/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=1467.94 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 50985 432074 0 2 5727 903 139588 576 20 0 1 0 338549465 139821056 6392 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6392 1180 1 0 5193 0
[pid=25431] ppid=25096 vsize=35380 CPUtime=22.57 cores=1,3,5,7
/proc/25431/stat : 25431 (clasp-1.3.3-x86) R 25096 25431 25431 0 -1 4202496 9010 0 0 0 2256 1 0 0 20 0 1 0 338689436 36229120 8537 33554432000 134512640 136080129 4287543104 4287542172 134588560 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/25431/statm: 8845 8537 176 383 0 8460 0
Current children cumulated CPU time (s) 1490.51
Current children cumulated vsize (KiB) 171924

[startup+1482.3 s]
/proc/loadavg: 2.17 2.10 2.09 4/177 25437
/proc/meminfo: memFree=26492596/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=1470.57 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 51012 432074 0 2 5955 938 139588 576 20 0 1 0 338549465 139821056 6392 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6392 1180 1 0 5193 0
[pid=25431] ppid=25096 vsize=48504 CPUtime=82.56 cores=1,3,5,7
/proc/25431/stat : 25431 (clasp-1.3.3-x86) R 25096 25431 25431 0 -1 4202496 12120 0 0 0 8253 3 0 0 20 0 1 0 338689436 49668096 11647 33554432000 134512640 136080129 4287543104 4287542176 134849692 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/25431/statm: 12126 11647 176 383 0 11741 0
Current children cumulated CPU time (s) 1553.13
Current children cumulated vsize (KiB) 185048

[startup+1542.3 s]
/proc/loadavg: 2.13 2.11 2.09 4/177 25455
/proc/meminfo: memFree=26572696/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=1593.8 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 54733 462449 0 2 6193 974 151630 583 20 0 1 0 338549465 139821056 6394 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6394 1180 1 0 5193 0
[pid=25449] ppid=25096 vsize=32300 CPUtime=22 cores=1,3,5,7
/proc/25449/stat : 25449 (clasp-1.3.3-x86) R 25096 25449 25449 0 -1 4202496 8266 0 0 0 2199 1 0 0 20 0 1 0 338701493 33075200 7803 33554432000 134512640 136080129 4289919072 4289918144 134849656 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/25449/statm: 8075 7803 176 383 0 7690 0
Current children cumulated CPU time (s) 1615.8
Current children cumulated vsize (KiB) 168844

[startup+1602.3 s]
/proc/loadavg: 2.17 2.12 2.09 4/177 25461
/proc/meminfo: memFree=26560920/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=1596.44 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 54760 462449 0 2 6421 1010 151630 583 20 0 1 0 338549465 139821056 6394 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6394 1180 1 0 5193 0
[pid=25449] ppid=25096 vsize=48768 CPUtime=81.99 cores=1,3,5,7
/proc/25449/stat : 25449 (clasp-1.3.3-x86) R 25096 25449 25449 0 -1 4202496 12203 0 0 0 8197 2 0 0 20 0 1 0 338701493 49938432 11740 33554432000 134512640 136080129 4289919072 4289918144 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/25449/statm: 12192 11740 176 383 0 11807 0
Current children cumulated CPU time (s) 1678.43
Current children cumulated vsize (KiB) 185312

[startup+1662.3 s]
/proc/loadavg: 2.06 2.10 2.09 3/177 25471
/proc/meminfo: memFree=26509200/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=1719.71 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 58487 493247 0 2 6660 1046 163672 593 20 0 1 0 338549465 139821056 6397 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6397 1180 1 0 5193 0
[pid=25470] ppid=25096 vsize=32888 CPUtime=21.44 cores=1,3,5,7
/proc/25470/stat : 25470 (clasp-1.3.3-x86) R 25096 25470 25470 0 -1 4202496 8370 0 0 0 2143 1 0 0 20 0 1 0 338713550 33677312 7841 33554432000 134512640 136080129 4294296752 4294295916 134803024 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 8222 7841 176 383 0 7837 0
Current children cumulated CPU time (s) 1741.15
Current children cumulated vsize (KiB) 169432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1718.7 s]
/proc/loadavg: 2.12 2.11 2.09 3/177 25477
/proc/meminfo: memFree=26551072/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=1722.19 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 58513 493247 0 2 6873 1081 163672 593 20 0 1 0 338549465 139821056 6397 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6397 1180 1 0 5193 0
[pid=25470] ppid=25096 vsize=46332 CPUtime=77.82 cores=1,3,5,7
/proc/25470/stat : 25470 (clasp-1.3.3-x86) R 25096 25470 25470 0 -1 4202496 11670 0 0 0 7780 2 0 0 20 0 1 0 338713550 47443968 11182 33554432000 134512640 136080129 4294296752 4294295824 134849682 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 11583 11182 176 383 0 11198 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 182876

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

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

[startup+1718.7 s]
/proc/loadavg: 2.12 2.11 2.09 3/177 25477
/proc/meminfo: memFree=26551072/32873624 swapFree=7112/7112
[pid=25096] ppid=25094 vsize=136544 CPUtime=1722.19 cores=1,3,5,7
/proc/25096/stat : 25096 (python) S 25094 25096 21196 0 -1 4202496 58513 493247 0 2 6873 1081 163672 593 20 0 1 0 338549465 139821056 6397 33554432000 4194304 4196484 140736140150640 140736140142400 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/25096/statm: 34136 6397 1180 1 0 5193 0
[pid=25470] ppid=25096 vsize=46332 CPUtime=77.82 cores=1,3,5,7
/proc/25470/stat : 25470 (clasp-1.3.3-x86) R 25096 25470 25470 0 -1 4202496 11670 0 0 0 7780 2 0 0 20 0 1 0 338713550 47443968 11182 33554432000 134512640 136080129 4294296752 4294295824 134849682 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/25470/statm: 11583 11182 176 383 0 11198 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 182876

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25096 and gives
#  childrusage.ru_utime.tv_sec=1705
#  childrusage.ru_utime.tv_usec=466729
#  childrusage.ru_stime.tv_sec=16
#  childrusage.ru_stime.tv_usec=750453
# CPU time returned by wait4() is 1722.22
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.0200195
#  lost CPU user time (s): 0.160004
#  lost CPU system time (s): -0.14

Real time (s): 1718.71
CPU time (s): 1800.03
CPU user time (s): 1783.41
CPU system time (s): 16.62
CPU usage (%): 104.731
Max. virtual memory (cumulated for all children) (KiB): 2851684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1705.47
system time used= 16.7505
maximum resident set size= 574220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 551761
page faults= 2
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13112
involuntary context switches= 7087

runsolver used 3.66144 second user time and 9.16261 second system time

The end

Launcher Data 

Begin job on node121 at 2012-06-03 13:50:39
IDJOB=3741120
IDBENCH=89784
IDSOLVER=2323
FILE ID=node121/3741120-1338724239
RUNJOBID= node121-1338714575-21213
PBS_JOBID= 14636757
Free space on /tmp= 71216 MiB

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

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

MD5SUM BENCH= 1231d9e508dc821e38b22e6db3fd2b2f
RANDOM SEED=1632090904

node121.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		: 2667.042
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	: 5334.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
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		: 2667.042
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		: 2667.042
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		: 2667.042
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		: 2667.042
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.91
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		: 2667.042
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	: 5438.55
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		: 2667.042
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:       32873624 kB
MemFree:        26732588 kB
Buffers:          646616 kB
Cached:          4553032 kB
SwapCached:            0 kB
Active:          1956080 kB
Inactive:        3302824 kB
Active(anon):      46900 kB
Inactive(anon):    10760 kB
Active(file):    1909180 kB
Inactive(file):  3292064 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             28632 kB
Writeback:            84 kB
AnonPages:         64096 kB
Mapped:            18288 kB
Shmem:               200 kB
Slab:             745476 kB
SReclaimable:     188872 kB
SUnreclaim:       556604 kB
KernelStack:        1448 kB
PageTables:         4576 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     159300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71156 MiB
End job on node121 at 2012-06-03 14:19:21