Trace number 2684806

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
borg-pb 10.05.30? (TO) 1800.01 1700.02

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12038_8-unsat.opb
MD5SUMa4c61139e0eb75a13e9da4d40232e606
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 benchmark311.848
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables29040
Total number of constraints96434
Number of constraints which are clauses95958
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints476
Minimum length of a constraint1
Maximum length of a constraint120
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 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 740
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2684806-1278434406/watcher-2684806-1278434406 -o /tmp/evaluation-result-2684806-1278434406/solver-2684806-1278434406 -C 1800 -W 2000 -M 1800 solver HOME/instance-2684806-1278434406.opb 1076361073 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.94 0.96 0.83 2/106 18425
/proc/meminfo: memFree=1805856/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=24036 CPUtime=0
/proc/18425/stat : 18425 (runsolver) D 18423 18425 18099 0 -1 4202560 81 0 0 0 0 0 0 0 18 0 1 0 11654251 24612864 107 1992294400 4194304 4302564 140734658243888 18446744073709551615 211173352439 0 0 4096 24578 18446744071562154983 0 0 17 1 0 0 0
/proc/18425/statm: 6009 107 69 27 0 2647 0

[startup+0.10348 s]
/proc/loadavg: 0.94 0.96 0.83 2/106 18425
/proc/meminfo: memFree=1805856/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=16312 CPUtime=0
/proc/18425/stat : 18425 (python) D 18423 18425 18099 0 -1 4202496 594 0 6 0 0 0 0 0 18 0 1 0 11654251 16703488 374 1992294400 4194304 4196484 140733522915232 18446744073709551615 211173531392 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 9
/proc/18425/statm: 4078 374 252 1 0 174 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16312

[startup+0.200492 s]
/proc/loadavg: 0.94 0.96 0.83 2/106 18425
/proc/meminfo: memFree=1805856/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=16708 CPUtime=0
/proc/18425/stat : 18425 (python) D 18423 18425 18099 0 -1 4202496 773 0 9 0 0 0 0 0 18 0 1 0 11654251 17108992 545 1992294400 4194304 4196484 140733522915232 18446744073709551615 211173336859 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 18
/proc/18425/statm: 4177 545 293 1 0 273 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16708

[startup+0.301777 s]
/proc/loadavg: 0.94 0.96 0.83 2/106 18425
/proc/meminfo: memFree=1805856/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=17224 CPUtime=0.03
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 1552 0 14 0 1 2 0 0 16 0 1 0 11654251 17637376 632 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173529600 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 26
/proc/18425/statm: 4306 632 340 1 0 286 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17224

[startup+0.70038 s]
/proc/loadavg: 0.94 0.96 0.83 2/106 18425
/proc/meminfo: memFree=1805856/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=73360 CPUtime=0.26
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 4054 0 41 0 15 11 0 0 16 0 1 0 11654251 75120640 2954 1992294400 4194304 4196484 140734197258096 18446744073709551615 211168607879 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 34
/proc/18425/statm: 18340 2954 707 1 0 2261 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 73360

[startup+1.50037 s]
/proc/loadavg: 0.94 0.96 0.83 2/107 18426
/proc/meminfo: memFree=1782212/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=114452 CPUtime=0.78
/proc/18425/stat : 18425 (python) R 18423 18425 18099 0 -1 4202496 7816 931 55 0 49 29 0 0 17 0 1 0 11654251 117198848 5387 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173529600 0 0 16781312 2 0 0 0 17 0 0 0 43
/proc/18425/statm: 28613 5387 1054 1 0 4381 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 114452

[startup+3.10035 s]
/proc/loadavg: 0.94 0.96 0.83 2/108 18431
/proc/meminfo: memFree=1761800/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=132032 CPUtime=1.15
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 9921 931 61 0 78 37 0 0 15 0 1 0 11654251 135200768 6259 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159688670771686227 0 0 17 0 0 0 46
/proc/18425/statm: 33008 6259 1132 1 0 5160 0
[pid=18431] ppid=18425 vsize=8300 CPUtime=1.02
/proc/18431/stat : 18431 (clasp-1.3.3-x86) R 18425 18431 18431 0 -1 4202496 2323 0 0 0 102 0 0 0 19 0 1 0 11654457 8499200 1820 1992294400 134512640 136080129 4293890336 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18431/statm: 2075 1820 175 383 0 1690 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 140332
heavy processes:

[startup+6.30131 s]
/proc/loadavg: 0.94 0.96 0.83 2/108 18431
/proc/meminfo: memFree=1759196/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=132032 CPUtime=1.33
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 9935 931 61 0 94 39 0 0 15 0 1 0 11654251 135200768 6259 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159688670771686227 0 0 17 0 0 0 46
/proc/18425/statm: 33008 6259 1132 1 0 5160 0
[pid=18431] ppid=18425 vsize=10940 CPUtime=4.19
/proc/18431/stat : 18431 (clasp-1.3.3-x86) R 18425 18431 18431 0 -1 4202496 2971 0 0 0 416 3 0 0 25 0 1 0 11654457 11202560 2468 1992294400 134512640 136080129 4293890336 18446744073709551615 134808301 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18431/statm: 2735 2468 175 383 0 2350 0
Current children cumulated CPU time (s) 5.52
Current children cumulated vsize (KiB) 142972

[startup+12.7002 s]
/proc/loadavg: 0.95 0.96 0.83 2/108 18431
/proc/meminfo: memFree=1757212/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=11.98
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 11217 5301 62 1 132 46 1014 6 17 0 1 0 11654251 137310208 6280 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159836005329808211 0 0 17 1 0 0 46
/proc/18425/statm: 33523 6280 1142 1 0 5160 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 134092

[startup+25.5001 s]
/proc/loadavg: 1.04 0.98 0.84 3/108 18435
/proc/meminfo: memFree=1755292/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=12.74
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 11265 5301 62 1 195 59 1014 6 15 0 1 0 11654251 137310208 6280 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159836005329808211 0 0 17 1 0 0 46
/proc/18425/statm: 33523 6280 1142 1 0 5160 0
[pid=18434] ppid=18425 vsize=14832 CPUtime=13.09
/proc/18434/stat : 18434 (clasp-1.3.3-x86) R 18425 18434 18434 0 -1 4202496 3960 0 0 0 1307 2 0 0 25 0 1 0 11655490 15187968 3451 1992294400 134512640 136080129 4291791824 18446744073709551615 134607897 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/18434/statm: 3708 3451 175 383 0 3323 0
Current children cumulated CPU time (s) 25.83
Current children cumulated vsize (KiB) 148924

[startup+51.1008 s]
/proc/loadavg: 1.02 0.98 0.84 2/108 18436
/proc/meminfo: memFree=1750332/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=14.26
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 11328 5301 62 1 318 88 1014 6 15 0 1 0 11654251 137310208 6280 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159836005329808211 0 0 17 1 0 0 46
/proc/18425/statm: 33523 6280 1142 1 0 5160 0
[pid=18434] ppid=18425 vsize=20272 CPUtime=38.69
/proc/18434/stat : 18434 (clasp-1.3.3-x86) R 18425 18434 18434 0 -1 4202496 5295 0 0 0 3866 3 0 0 25 0 1 0 11655490 20758528 4786 1992294400 134512640 136080129 4291791824 18446744073709551615 134845705 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/18434/statm: 5068 4786 175 383 0 4683 0
Current children cumulated CPU time (s) 52.95
Current children cumulated vsize (KiB) 154364

[startup+102.3 s]
/proc/loadavg: 1.06 1.00 0.85 2/108 18440
/proc/meminfo: memFree=1735080/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=67.78
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 12560 11603 62 1 601 137 6029 11 15 0 1 0 11654251 137310208 6280 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159688670771686227 0 0 17 0 0 0 46
/proc/18425/statm: 33523 6280 1142 1 0 5160 0
[pid=18439] ppid=18425 vsize=36780 CPUtime=39.39
/proc/18439/stat : 18439 (wbo1.4a) R 18425 18439 18439 0 -1 4202496 9742 0 0 0 3913 26 0 0 25 0 1 0 11660515 37662720 8541 1992294400 134512640 135751879 4287616624 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/18439/statm: 9195 8541 139 303 0 8890 0
Current children cumulated CPU time (s) 107.17
Current children cumulated vsize (KiB) 170872

[startup+162.3 s]
/proc/loadavg: 1.02 1.00 0.86 3/108 18444
/proc/meminfo: memFree=1749960/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=122.06
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 13872 23426 62 1 906 182 11072 46 15 0 1 0 11654251 137310208 6282 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159688670771686227 0 0 17 0 0 0 46
/proc/18425/statm: 33523 6282 1142 1 0 5160 0
[pid=18444] ppid=18425 vsize=20272 CPUtime=48.21
/proc/18444/stat : 18444 (clasp-1.3.3-x86) R 18425 18444 18444 0 -1 4202496 5296 0 0 0 4818 3 0 0 25 0 1 0 11665630 20758528 4786 1992294400 134512640 136080129 4292737728 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18444/statm: 5068 4786 175 383 0 4683 0
Current children cumulated CPU time (s) 170.27
Current children cumulated vsize (KiB) 154364

[startup+222.309 s]
/proc/loadavg: 1.07 1.01 0.87 2/108 18449
/proc/meminfo: memFree=1752440/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=226.1
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 15028 31942 62 1 1231 225 21101 53 15 0 1 0 11654251 137310208 6284 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159688670771686227 0 0 17 0 0 0 46
/proc/18425/statm: 33523 6284 1142 1 0 5160 0
[pid=18449] ppid=18425 vsize=18948 CPUtime=7.48
/proc/18449/stat : 18449 (wbo1.4a) R 18425 18449 18449 0 -1 4202496 5292 0 0 0 743 5 0 0 25 0 1 0 11675733 19402752 4094 1992294400 134512640 135751879 4288272576 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/18449/statm: 4737 4094 139 303 0 4432 0
Current children cumulated CPU time (s) 233.58
Current children cumulated vsize (KiB) 153040

[startup+282.301 s]
/proc/loadavg: 1.02 1.01 0.87 2/108 18451
/proc/meminfo: memFree=1724168/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=229.49
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 15123 31942 62 1 1527 268 21101 53 15 0 1 0 11654251 137310208 6284 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159688670771686227 0 0 17 0 0 0 46
/proc/18425/statm: 33523 6284 1142 1 0 5160 0
[pid=18449] ppid=18425 vsize=47440 CPUtime=67.45
/proc/18449/stat : 18449 (wbo1.4a) R 18425 18449 18449 0 -1 4202496 12411 0 0 0 6710 35 0 0 25 0 1 0 11675733 48578560 11213 1992294400 134512640 135751879 4288272576 18446744073709551615 134517425 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/18449/statm: 11860 11213 139 303 0 11555 0
Current children cumulated CPU time (s) 296.94
Current children cumulated vsize (KiB) 181532

[startup+342.301 s]
/proc/loadavg: 1.06 1.02 0.88 2/108 18456
/proc/meminfo: memFree=1724912/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=333.6
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 16364 48056 62 1 1835 311 31109 105 15 0 1 0 11654251 137310208 6285 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159688670771686227 0 0 17 0 0 0 46
/proc/18425/statm: 33523 6285 1142 1 0 5160 0
[pid=18454] ppid=18425 vsize=46600 CPUtime=26.8
/proc/18454/stat : 18454 (wbo1.4b) R 18425 18454 18454 0 -1 4202496 12171 0 0 0 2676 4 0 0 25 0 1 0 11685799 47718400 10968 1992294400 134512640 135751879 4294745472 18446744073709551615 134524619 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/18454/statm: 11650 10968 142 303 0 11345 0
Current children cumulated CPU time (s) 360.4
Current children cumulated vsize (KiB) 180692

[startup+402.302 s]
/proc/loadavg: 1.02 1.01 0.89 2/120 18472
/proc/meminfo: memFree=1565612/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=387.6
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 17612 64204 62 1 2143 356 36147 114 15 0 1 0 11654251 137310208 6286 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159688670771686227 0 0 17 0 0 0 46
/proc/18425/statm: 33523 6286 1142 1 0 5160 0
[pid=18459] ppid=18425 vsize=1488572 CPUtime=38.15
/proc/18459/stat : 18459 (java) S 18425 18459 18459 0 -1 4202496 52390 0 102 0 3788 27 0 0 16 0 13 0 11690849 1524297728 48974 1992294400 134512640 134550932 4289993472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 12
/proc/18459/statm: 372143 48974 1437 10 0 369445 0
[pid=18459/tid=18460] ppid=18425 vsize=1488572 CPUtime=35.09
/proc/18459/task/18460/stat : 18460 (java) R 18425 18459 18459 0 -1 4202560 30931 0 61 0 3494 15 0 0 25 0 13 0 11690865 1524297728 48974 1992294400 134512640 134550932 4289993472 18446744073709551615 4109136766 0 4 0 16800975 0 0 0 -1 1 0 0 15
[pid=18459/tid=18461] ppid=18425 vsize=1488572 CPUtime=0.38
/proc/18459/task/18461/stat : 18461 (java) S 18425 18459 18459 0 -1 4202560 6827 0 0 0 36 2 0 0 18 0 13 0 11690876 1524297728 48974 1992294400 134512640 134550932 4289993472 18446744073709551615 4294960144 0 4 0 16800975 18446604437833441472 0 0 -1 1 0 0 0
[pid=18459/tid=18462] ppid=18425 vsize=1488572 CPUtime=0.38
/proc/18459/task/18462/stat : 18462 (java) S 18425 18459 18459 0 -1 4202560 7116 0 0 0 35 3 0 0 18 0 13 0 11690876 1524297728 48974 1992294400 134512640 134550932 4289993472 18446744073709551615 4294960144 0 4 0 16800975 18446604437833441472 0 0 -1 0 0 0 0
[pid=18459/tid=18463] ppid=18425 vsize=1488572 CPUtime=0.01
/proc/18459/task/18463/stat : 18463 (java) S 18425 18459 18459 0 -1 4202560 25 0 0 0 1 0 0 0 15 0 13 0 11690879 1524297728 48974 1992294400 134512640 134550932 4289993472 18446744073709551615 4294960144 0 0 0 16800975 18446604437833441472 0 0 -1 0 0 0 0
[pid=18459/tid=18464] ppid=18425 vsize=1488572 CPUtime=0

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

/proc/18549/statm: 8248 7950 175 383 0 7863 0
Current children cumulated CPU time (s) 1127.02
Current children cumulated vsize (KiB) 167084

[startup+1122.3 s]
/proc/loadavg: 1.02 1.04 0.95 2/108 18560
/proc/meminfo: memFree=1733552/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=1177.12
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 40620 305683 62 104 5859 998 110557 298 15 0 1 0 11654251 137310208 6297 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159688670771686227 0 0 17 0 0 0 46
/proc/18425/statm: 33523 6297 1142 1 0 5160 0
[pid=18560] ppid=18425 vsize=32952 CPUtime=13.43
/proc/18560/stat : 18560 (bsolo_pb10) R 18425 18560 18560 0 -1 4202496 7115 0 0 0 1334 9 0 0 25 0 1 0 11765136 33742848 5685 1992294400 134512640 137138936 4286836144 18446744073709551615 136504904 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/18560/statm: 8238 5685 192 642 0 7594 0
Current children cumulated CPU time (s) 1190.55
Current children cumulated vsize (KiB) 167044

[startup+1182.3 s]
/proc/loadavg: 1.16 1.07 0.97 2/108 18562
/proc/meminfo: memFree=1660764/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=1180.5
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 40719 305683 62 104 6155 1040 110557 298 15 0 1 0 11654251 137310208 6298 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159688670771686227 0 0 17 0 0 0 46
/proc/18425/statm: 33523 6298 1142 1 0 5160 0
[pid=18560] ppid=18425 vsize=106156 CPUtime=73.41
/proc/18560/stat : 18560 (bsolo_pb10) R 18425 18560 18560 0 -1 4202496 25417 0 0 0 7320 21 0 0 25 0 1 0 11765136 108703744 23987 1992294400 134512640 137138936 4286836144 18446744073709551615 135984556 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/18560/statm: 26539 23987 192 642 0 25895 0
Current children cumulated CPU time (s) 1253.91
Current children cumulated vsize (KiB) 240248

[startup+1242.3 s]
/proc/loadavg: 1.06 1.06 0.97 2/108 18570
/proc/meminfo: memFree=1741364/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=1294.68
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 43144 341587 62 104 6473 1080 121585 330 15 0 1 0 11654251 137310208 6298 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159836005329808211 0 0 17 1 0 0 46
/proc/18425/statm: 33523 6298 1142 1 0 5160 0
[pid=18569] ppid=18425 vsize=15756 CPUtime=22.74
/proc/18569/stat : 18569 (clasp-1.3.3-x86) R 18425 18569 18569 0 -1 4202496 4189 0 0 0 2272 2 0 0 25 0 1 0 11776205 16134144 3675 1992294400 134512640 136080129 4294902880 18446744073709551615 134849138 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/18569/statm: 3939 3675 175 383 0 3554 0
Current children cumulated CPU time (s) 1317.42
Current children cumulated vsize (KiB) 149848

[startup+1302.3 s]
/proc/loadavg: 1.02 1.05 0.97 2/108 18580
/proc/meminfo: memFree=1729296/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=1298.19
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 43218 341587 62 104 6783 1121 121585 330 15 0 1 0 11654251 137310208 6298 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159836005329808211 0 0 17 1 0 0 46
/proc/18425/statm: 33523 6298 1142 1 0 5160 0
[pid=18569] ppid=18425 vsize=26380 CPUtime=82.69
/proc/18569/stat : 18569 (clasp-1.3.3-x86) R 18425 18569 18569 0 -1 4202496 6841 0 0 0 8262 7 0 0 25 0 1 0 11776205 27013120 6327 1992294400 134512640 136080129 4294902880 18446744073709551615 134588687 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/18569/statm: 6595 6327 175 383 0 6210 0
Current children cumulated CPU time (s) 1380.88
Current children cumulated vsize (KiB) 160472

[startup+1362.3 s]
/proc/loadavg: 1.00 1.03 0.97 2/108 18590
/proc/meminfo: memFree=1740332/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=1422.53
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 46828 358915 62 104 7113 1162 133631 347 16 0 1 0 11654251 137310208 6299 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159836005329808211 0 0 17 1 0 0 46
/proc/18425/statm: 33523 6299 1142 1 0 5160 0
[pid=18590] ppid=18425 vsize=15756 CPUtime=21.77
/proc/18590/stat : 18590 (clasp-1.3.3-x86) R 18425 18590 18590 0 -1 4202496 4188 0 0 0 2173 4 0 0 25 0 1 0 11788290 16134144 3675 1992294400 134512640 136080129 4288791488 18446744073709551615 134850077 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/18590/statm: 3939 3675 175 383 0 3554 0
Current children cumulated CPU time (s) 1444.3
Current children cumulated vsize (KiB) 149848

[startup+1422.3 s]
/proc/loadavg: 1.00 1.03 0.97 2/108 18598
/proc/meminfo: memFree=1740208/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=1486.86
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 49306 369599 62 104 7441 1199 139688 358 15 0 1 0 11654251 137310208 6300 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159836005329808211 0 0 17 1 0 0 46
/proc/18425/statm: 33523 6300 1142 1 0 5160 0
[pid=18598] ppid=18425 vsize=15756 CPUtime=20.73
/proc/18598/stat : 18598 (clasp-1.3.3-x86) R 18425 18598 18598 0 -1 4202496 4185 0 0 0 2071 2 0 0 25 0 1 0 11794395 16134144 3674 1992294400 134512640 136080129 4286647776 18446744073709551615 134849659 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18598/statm: 3939 3674 175 383 0 3554 0
Current children cumulated CPU time (s) 1507.59
Current children cumulated vsize (KiB) 149848

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 0.97 2/108 18600
/proc/meminfo: memFree=1733760/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=1490.42
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 49386 369599 62 104 7767 1229 139688 358 16 0 1 0 11654251 137310208 6300 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159836005329808211 0 0 17 1 0 0 46
/proc/18425/statm: 33523 6300 1142 1 0 5160 0
[pid=18598] ppid=18425 vsize=22120 CPUtime=80.35
/proc/18598/stat : 18598 (clasp-1.3.3-x86) R 18425 18598 18598 0 -1 4202496 5779 0 0 0 8030 5 0 0 25 0 1 0 11794395 22650880 5268 1992294400 134512640 136080129 4286647776 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/18598/statm: 5530 5268 175 383 0 5145 0
Current children cumulated CPU time (s) 1570.77
Current children cumulated vsize (KiB) 156212

[startup+1542.31 s]
/proc/loadavg: 1.00 1.01 0.97 2/108 18611
/proc/meminfo: memFree=1740952/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=1615.21
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 53063 386856 62 104 8093 1271 151783 374 15 0 1 0 11654251 137310208 6300 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159688670771686227 0 0 17 0 0 0 46
/proc/18425/statm: 33523 6300 1142 1 0 5160 0
[pid=18610] ppid=18425 vsize=14964 CPUtime=18.83
/proc/18610/stat : 18610 (clasp-1.3.3-x86) R 18425 18610 18610 0 -1 4202496 3987 0 0 0 1880 3 0 0 25 0 1 0 11806585 15323136 3474 1992294400 134512640 136080129 4290647520 18446744073709551615 134849046 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/18610/statm: 3741 3474 175 383 0 3356 0
Current children cumulated CPU time (s) 1634.04
Current children cumulated vsize (KiB) 149056

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 0.97 2/108 18612
/proc/meminfo: memFree=1733760/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=1618.55
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 53135 386856 62 104 8388 1310 151783 374 15 0 1 0 11654251 137310208 6300 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159688670771686227 0 0 17 0 0 0 46
/proc/18425/statm: 33523 6300 1142 1 0 5160 0
[pid=18610] ppid=18425 vsize=22120 CPUtime=78.46
/proc/18610/stat : 18610 (clasp-1.3.3-x86) R 18425 18610 18610 0 -1 4202496 5782 0 0 0 7841 5 0 0 25 0 1 0 11806585 22650880 5269 1992294400 134512640 136080129 4290647520 18446744073709551615 134849238 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18610/statm: 5530 5269 175 383 0 5145 0
Current children cumulated CPU time (s) 1697.01
Current children cumulated vsize (KiB) 156212

[startup+1662.3 s]
/proc/loadavg: 1.16 1.05 0.99 2/108 18622
/proc/meminfo: memFree=1740704/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=1743.05
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 56758 404186 62 104 8694 1371 163850 390 15 0 1 0 11654251 137310208 6301 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159836005329808211 0 0 17 1 0 0 46
/proc/18425/statm: 33523 6301 1142 1 0 5160 0
[pid=18622] ppid=18425 vsize=14964 CPUtime=17.29
/proc/18622/stat : 18622 (clasp-1.3.3-x86) R 18425 18622 18622 0 -1 4202496 3987 0 0 0 1726 3 0 0 25 0 1 0 11818741 15323136 3474 1992294400 134512640 136080129 4293518080 18446744073709551615 134803042 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18622/statm: 3741 3474 175 383 0 3356 0
Current children cumulated CPU time (s) 1760.34
Current children cumulated vsize (KiB) 149056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1700 s]
/proc/loadavg: 1.16 1.06 0.99 2/108 18624
/proc/meminfo: memFree=1735372/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=1745.28
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 56833 404186 62 104 8880 1408 163850 390 15 0 1 0 11654251 137310208 6301 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159836005329808211 0 0 17 1 0 0 46
/proc/18425/statm: 33523 6301 1142 1 0 5160 0
[pid=18622] ppid=18425 vsize=20272 CPUtime=54.73
/proc/18622/stat : 18622 (clasp-1.3.3-x86) R 18425 18622 18622 0 -1 4202496 5319 0 0 0 5469 4 0 0 25 0 1 0 11818741 20758528 4806 1992294400 134512640 136080129 4293518080 18446744073709551615 134849918 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18622/statm: 5068 4806 175 383 0 4683 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 154364

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

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

[startup+1700 s]
/proc/loadavg: 1.16 1.06 0.99 2/108 18624
/proc/meminfo: memFree=1735372/2059040 swapFree=4192956/4192956
[pid=18425] ppid=18423 vsize=134092 CPUtime=1745.28
/proc/18425/stat : 18425 (python) S 18423 18425 18099 0 -1 4202496 56833 404186 62 104 8880 1408 163850 390 15 0 1 0 11654251 137310208 6301 1992294400 4194304 4196484 140734197258096 18446744073709551615 211173551631 0 0 16781312 2 159836005329808211 0 0 17 1 0 0 46
/proc/18425/statm: 33523 6301 1142 1 0 5160 0
[pid=18622] ppid=18425 vsize=20272 CPUtime=54.73
/proc/18622/stat : 18622 (clasp-1.3.3-x86) R 18425 18622 18622 0 -1 4202496 5319 0 0 0 5469 4 0 0 25 0 1 0 11818741 20758528 4806 1992294400 134512640 136080129 4293518080 18446744073709551615 134849918 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18622/statm: 5068 4806 175 383 0 4683 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 154364

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18425 and gives
#  childrusage.ru_utime.tv_sec=1727
#  childrusage.ru_utime.tv_usec=316407
#  childrusage.ru_stime.tv_sec=17
#  childrusage.ru_stime.tv_usec=991264
# CPU time returned by wait4() is 1745.31
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1700.02
CPU time (s): 1800.01
CPU user time (s): 1781.99
CPU system time (s): 18.02
CPU usage (%): 105.882
Max. virtual memory (cumulated for all children) (KiB): 1623248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1727.32
system time used= 17.9913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 461019
page faults= 166
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13062
involuntary context switches= 22248

runsolver used 3.12252 second user time and 8.59569 second system time

The end

Launcher Data 

Begin job on node007 at 2010-07-06 18:40:06
IDJOB=2684806
IDBENCH=73572
IDSOLVER=1178
FILE ID=node007/2684806-1278434406
PBS_JOBID= 11233463
Free space on /tmp= 62488 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_8-unsat.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684806-1278434406/watcher-2684806-1278434406 -o /tmp/evaluation-result-2684806-1278434406/solver-2684806-1278434406 -C 1800 -W 2000 -M 1800  solver HOME/instance-2684806-1278434406.opb 1076361073 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= a4c61139e0eb75a13e9da4d40232e606
RANDOM SEED=1076361073

node007.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.256
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.256
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1806624 kB
Buffers:         14800 kB
Cached:         102836 kB
SwapCached:          0 kB
Active:          71100 kB
Inactive:       106136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1806624 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           23768 kB
Writeback:           0 kB
AnonPages:       59624 kB
Mapped:          14376 kB
Slab:            53228 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181788 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62468 MiB
End job on node007 at 2010-07-06 19:08:29