Trace number 2675964

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.11 1697.82

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl.opb
MD5SUM1785d65de493315a1e7654bb7aab8248
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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 benchmark663.935
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables84836
Total number of constraints245062
Number of constraints which are clauses233598
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints11464
Minimum length of a constraint1
Maximum length of a constraint15
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 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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: 1.14 0.72 0.70 3/106 10488
/proc/meminfo: memFree=1370068/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=16708 CPUtime=0
/proc/10488/stat : 10488 (python) R 10486 10488 10239 0 -1 4202496 729 0 0 0 0 0 0 0 21 0 1 0 54776689 17108992 494 1992294400 4194304 4196484 140734265809808 18446744073709551615 246659101381 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10488/statm: 4177 496 272 1 0 273 0

[startup+0.00982801 s]
/proc/loadavg: 1.14 0.72 0.70 3/106 10488
/proc/meminfo: memFree=1370068/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=16708 CPUtime=0
/proc/10488/stat : 10488 (python) R 10486 10488 10239 0 -1 4202496 771 0 0 0 0 0 0 0 21 0 1 0 54776689 17108992 532 1992294400 4194304 4196484 140734265809808 18446744073709551615 246675726784 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10488/statm: 4177 532 284 1 0 273 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16708

[startup+0.103573 s]
/proc/loadavg: 1.14 0.72 0.70 3/106 10488
/proc/meminfo: memFree=1370068/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=34220 CPUtime=0.08
/proc/10488/stat : 10488 (python) R 10486 10488 10239 0 -1 4202496 2422 0 0 0 5 3 0 0 21 0 1 0 54776689 35041280 1394 1992294400 4194304 4196484 140734391268256 18446744073709551615 47608985844900 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10488/statm: 8555 1394 462 1 0 912 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34220

[startup+0.300573 s]
/proc/loadavg: 1.14 0.72 0.70 3/106 10488
/proc/meminfo: memFree=1370068/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=71508 CPUtime=0.26
/proc/10488/stat : 10488 (python) R 10486 10488 10239 0 -1 4202496 4194 0 0 0 17 9 0 0 21 0 1 0 54776689 73224192 2987 1992294400 4194304 4196484 140734391268256 18446744073709551615 47608985800161 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10488/statm: 17877 2987 695 1 0 2364 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 71508

[startup+0.700573 s]
/proc/loadavg: 1.14 0.72 0.70 3/106 10488
/proc/meminfo: memFree=1370068/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=104300 CPUtime=0.62
/proc/10488/stat : 10488 (python) R 10486 10488 10239 0 -1 4202496 6167 927 0 0 39 23 0 0 18 0 1 0 54776689 106803200 4406 1992294400 4194304 4196484 140734391268256 18446744073709551615 47608986132953 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10488/statm: 26075 4406 1028 1 0 3416 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 104300

[startup+1.50057 s]
/proc/loadavg: 1.14 0.72 0.70 2/107 10493
/proc/meminfo: memFree=1350088/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=132060 CPUtime=1.13
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 10250 927 0 0 79 34 0 0 18 0 1 0 54776689 135229440 6307 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 4995788143459270912 0 0 17 0 0 0 0
/proc/10488/statm: 33015 6307 1133 1 0 5167 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 132060

[startup+3.10057 s]
/proc/loadavg: 1.14 0.72 0.70 2/108 10494
/proc/meminfo: memFree=1325776/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=132060 CPUtime=1.22
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 10258 927 0 0 87 35 0 0 15 0 1 0 54776689 135229440 6307 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159688670771686220 0 0 17 0 0 0 0
/proc/10488/statm: 33015 6307 1133 1 0 5167 0
[pid=10494] ppid=10488 vsize=24992 CPUtime=1.82
/proc/10494/stat : 10494 (clasp-1.3.3-x86) R 10488 10494 10494 0 -1 4202496 6861 0 0 0 178 4 0 0 22 0 1 0 54776815 25591808 5922 1992294400 134512640 136080129 4287391920 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10494/statm: 6248 5922 175 383 0 5863 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 157052

[startup+6.30158 s]
/proc/loadavg: 1.13 0.72 0.70 3/108 10494
/proc/meminfo: memFree=1324784/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=132060 CPUtime=1.41
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 10268 927 0 0 104 37 0 0 15 0 1 0 54776689 135229440 6307 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159688670771686220 0 0 17 0 0 0 0
/proc/10488/statm: 33015 6307 1133 1 0 5167 0
[pid=10494] ppid=10488 vsize=25388 CPUtime=5
/proc/10494/stat : 10494 (clasp-1.3.3-x86) R 10488 10494 10494 0 -1 4202496 6983 0 0 0 496 4 0 0 25 0 1 0 54776815 25997312 6044 1992294400 134512640 136080129 4287391920 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10494/statm: 6347 6044 175 383 0 5962 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 157448

[startup+12.7016 s]
/proc/loadavg: 1.12 0.72 0.70 2/108 10497
/proc/meminfo: memFree=1336448/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=12.33
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 11561 9152 0 0 141 43 1043 6 15 0 1 0 54776689 137338880 6330 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159688670771686220 0 0 17 0 0 0 0
/proc/10488/statm: 33530 6330 1143 1 0 5167 0
[pid=10497] ppid=10488 vsize=24728 CPUtime=0.83
/proc/10497/stat : 10497 (clasp-1.3.3-x86) R 10488 10497 10497 0 -1 4202496 6799 0 0 0 80 3 0 0 19 0 1 0 54777874 25321472 5860 1992294400 134512640 136080129 4287991568 18446744073709551615 134617058 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10497/statm: 6182 5860 175 383 0 5797 0
Current children cumulated CPU time (s) 13.16
Current children cumulated vsize (KiB) 158848

[startup+25.5006 s]
/proc/loadavg: 1.09 0.74 0.71 2/108 10497
/proc/meminfo: memFree=1323800/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=13.06
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 11606 9152 0 0 207 50 1043 6 15 0 1 0 54776689 137338880 6330 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159688670771686220 0 0 17 0 0 0 0
/proc/10488/statm: 33530 6330 1143 1 0 5167 0
[pid=10497] ppid=10488 vsize=27268 CPUtime=13.56
/proc/10497/stat : 10497 (clasp-1.3.3-x86) R 10488 10497 10497 0 -1 4202496 7452 0 0 0 1352 4 0 0 25 0 1 0 54777874 27922432 6513 1992294400 134512640 136080129 4287991568 18446744073709551615 134849975 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/10497/statm: 6817 6513 175 383 0 6432 0
Current children cumulated CPU time (s) 26.62
Current children cumulated vsize (KiB) 161388

[startup+51.1006 s]
/proc/loadavg: 1.06 0.76 0.71 3/108 10499
/proc/meminfo: memFree=1319956/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=14.57
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 11689 9152 0 0 343 65 1043 6 15 0 1 0 54776689 137338880 6330 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159688670771686220 0 0 17 0 0 0 0
/proc/10488/statm: 33530 6330 1143 1 0 5167 0
[pid=10497] ppid=10488 vsize=31488 CPUtime=38.99
/proc/10497/stat : 10497 (clasp-1.3.3-x86) R 10488 10497 10497 0 -1 4202496 8484 0 0 0 3893 6 0 0 25 0 1 0 54777874 32243712 7545 1992294400 134512640 136080129 4287991568 18446744073709551615 134835109 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10497/statm: 7872 7545 175 383 0 7487 0
Current children cumulated CPU time (s) 53.56
Current children cumulated vsize (KiB) 165608

[startup+102.309 s]
/proc/loadavg: 1.02 0.79 0.73 2/108 10502
/proc/meminfo: memFree=1312516/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=68.51
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 12924 18915 0 0 644 100 6092 15 15 0 1 0 54776689 137338880 6333 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159688670771686220 0 0 17 0 0 0 0
/proc/10488/statm: 33530 6333 1143 1 0 5167 0
[pid=10502] ppid=10488 vsize=41316 CPUtime=39.26
/proc/10502/stat : 10502 (wbo1.4a) R 10488 10502 10502 0 -1 4202496 12305 0 0 0 3909 17 0 0 25 0 1 0 54782968 42307584 9388 1992294400 134512640 135751879 4289213552 18446744073709551615 134616334 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10502/statm: 10329 9388 139 303 0 10024 0
Current children cumulated CPU time (s) 107.77
Current children cumulated vsize (KiB) 175436

[startup+162.301 s]
/proc/loadavg: 1.10 0.86 0.75 2/108 10507
/proc/meminfo: memFree=1318344/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=122.73
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 14235 32446 0 0 955 141 11140 37 15 0 1 0 54776689 137338880 6334 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159688670771686220 0 0 17 0 0 0 0
/proc/10488/statm: 33530 6334 1143 1 0 5167 0
[pid=10505] ppid=10488 vsize=32748 CPUtime=48.45
/proc/10505/stat : 10505 (clasp-1.3.3-x86) R 10488 10505 10505 0 -1 4202496 8802 0 0 0 4841 4 0 0 25 0 1 0 54788071 33533952 7859 1992294400 134512640 136080129 4287786448 18446744073709551615 134849270 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10505/statm: 8187 7859 175 383 0 7802 0
Current children cumulated CPU time (s) 171.18
Current children cumulated vsize (KiB) 166868

[startup+222.301 s]
/proc/loadavg: 1.03 0.88 0.76 2/108 10512
/proc/meminfo: memFree=1316980/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=226.76
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 15461 43324 0 0 1282 186 21163 45 15 0 1 0 54776689 137338880 6334 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159688670771686220 0 0 17 0 0 0 0
/proc/10488/statm: 33530 6334 1143 1 0 5167 0
[pid=10512] ppid=10488 vsize=36484 CPUtime=8.1
/proc/10512/stat : 10512 (wbo1.4a) R 10488 10512 10512 0 -1 4202496 11097 0 0 0 804 6 0 0 25 0 1 0 54798108 37359616 8176 1992294400 134512640 135751879 4287382912 18446744073709551615 134616326 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10512/statm: 9121 8176 139 303 0 8816 0
Current children cumulated CPU time (s) 234.86
Current children cumulated vsize (KiB) 170604

[startup+282.301 s]
/proc/loadavg: 1.01 0.90 0.77 2/108 10514
/proc/meminfo: memFree=1308424/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=230.32
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 15543 43324 0 0 1603 221 21163 45 15 0 1 0 54776689 137338880 6335 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159688670771686220 0 0 17 0 0 0 0
/proc/10488/statm: 33530 6335 1143 1 0 5167 0
[pid=10512] ppid=10488 vsize=45196 CPUtime=67.74
/proc/10512/stat : 10512 (wbo1.4a) R 10488 10512 10512 0 -1 4202496 13280 0 0 0 6748 26 0 0 25 0 1 0 54798108 46280704 10359 1992294400 134512640 135751879 4287382912 18446744073709551615 134611297 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10512/statm: 11299 10359 139 303 0 10994 0
Current children cumulated CPU time (s) 298.06
Current children cumulated vsize (KiB) 179316

[startup+342.301 s]
/proc/loadavg: 1.00 0.91 0.79 2/108 10517
/proc/meminfo: memFree=1247664/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=334.38
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 16815 58762 0 0 1930 260 31165 83 15 0 1 0 54776689 137338880 6336 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159688670771686220 0 0 17 0 0 0 0
/proc/10488/statm: 33530 6336 1143 1 0 5167 0
[pid=10517] ppid=10488 vsize=106168 CPUtime=26.92
/proc/10517/stat : 10517 (wbo1.4b) R 10488 10517 10517 0 -1 4202496 28378 0 0 0 2680 12 0 0 25 0 1 0 54808207 108716032 25461 1992294400 134512640 135751879 4293699200 18446744073709551615 134524019 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10517/statm: 26542 25461 142 303 0 26237 0
Current children cumulated CPU time (s) 361.3
Current children cumulated vsize (KiB) 240288

[startup+402.302 s]
/proc/loadavg: 1.00 0.93 0.80 2/120 10534
/proc/meminfo: memFree=1138512/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=388.9
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 18129 90428 0 0 2267 306 36218 99 15 0 1 0 54776689 137338880 6337 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159836005329808204 0 0 17 1 0 0 0
/proc/10488/statm: 33530 6337 1143 1 0 5167 0
[pid=10522] ppid=10488 vsize=1480928 CPUtime=39.01
/proc/10522/stat : 10522 (java) S 10488 10522 10522 0 -1 4202496 57854 0 1 0 3870 31 0 0 15 0 13 0 54813298 1516470272 53896 1992294400 134512640 134550932 4294538816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10522/statm: 370232 53896 1437 10 0 367534 0
[pid=10522/tid=10523] ppid=10488 vsize=1480928 CPUtime=34.7
/proc/10522/task/10523/stat : 10523 (java) R 10488 10522 10522 0 -1 4202560 30997 0 1 0 3453 17 0 0 25 0 13 0 54813300 1516470272 53896 1992294400 134512640 134550932 4294538816 18446744073709551615 4109846083 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10522/tid=10524] ppid=10488 vsize=1480928 CPUtime=1.05
/proc/10522/task/10524/stat : 10524 (java) S 10488 10522 10522 0 -1 4202560 9712 0 0 0 101 4 0 0 16 0 13 0 54813302 1516470272 53896 1992294400 134512640 134550932 4294538816 18446744073709551615 4294960144 0 4 0 16800975 18446604437816785728 0 0 -1 0 0 0 0
[pid=10522/tid=10525] ppid=10488 vsize=1480928 CPUtime=1.1
/proc/10522/task/10525/stat : 10525 (java) S 10488 10522 10522 0 -1 4202560 11439 0 0 0 105 5 0 0 15 0 13 0 54813302 1516470272 53896 1992294400 134512640 134550932 4294538816 18446744073709551615 4294960144 0 4 0 16800975 18446604437816785728 0 0 -1 1 0 0 0
[pid=10522/tid=10526] ppid=10488 vsize=1480928 CPUtime=0

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

/proc/10612/statm: 10086 9780 175 383 0 9701 0
Current children cumulated CPU time (s) 1064.97
Current children cumulated vsize (KiB) 174464

[startup+1062.3 s]
/proc/loadavg: 1.04 1.03 0.91 2/108 10618
/proc/meminfo: memFree=1307124/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=878.75
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 40438 435264 0 2 5831 783 80946 315 15 0 1 0 54776689 137338880 6346 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159688670771686220 0 0 17 0 0 0 0
/proc/10488/statm: 33530 6346 1143 1 0 5167 0
[pid=10612] ppid=10488 vsize=43080 CPUtime=249.61
/proc/10612/stat : 10612 (clasp-1.3.3-x86) R 10488 10612 10612 0 -1 4202496 11395 0 0 0 24952 9 0 0 25 0 1 0 54857950 44113920 10445 1992294400 134512640 136080129 4289403488 18446744073709551615 134849100 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10612/statm: 10770 10445 175 383 0 10385 0
Current children cumulated CPU time (s) 1128.36
Current children cumulated vsize (KiB) 177200

[startup+1122.3 s]
/proc/loadavg: 1.08 1.04 0.92 2/108 10623
/proc/meminfo: memFree=1295964/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=1182.69
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 41687 448035 0 2 6140 825 110977 327 15 0 1 0 54776689 137338880 6347 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159688670771686220 0 0 17 0 0 0 0
/proc/10488/statm: 33530 6347 1143 1 0 5167 0
[pid=10623] ppid=10488 vsize=64400 CPUtime=9.13
/proc/10623/stat : 10623 (bsolo_pb10) R 10488 10623 10623 0 -1 4202496 15999 0 0 0 908 5 0 0 25 0 1 0 54888004 65945600 13237 1992294400 134512640 137138936 4290327072 18446744073709551615 136504449 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/10623/statm: 16100 13237 183 642 0 15456 0
Current children cumulated CPU time (s) 1191.82
Current children cumulated vsize (KiB) 198520

[startup+1182.3 s]
/proc/loadavg: 1.13 1.06 0.93 2/108 10625
/proc/meminfo: memFree=1295468/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=1186.12
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 41800 448035 0 2 6443 865 110977 327 15 0 1 0 54776689 137338880 6347 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159688670771686220 0 0 17 0 0 0 0
/proc/10488/statm: 33530 6347 1143 1 0 5167 0
[pid=10623] ppid=10488 vsize=64928 CPUtime=69.12
/proc/10623/stat : 10623 (bsolo_pb10) R 10488 10623 10623 0 -1 4202496 16112 0 0 0 6904 8 0 0 25 0 1 0 54888004 66486272 13350 1992294400 134512640 137138936 4290327072 18446744073709551615 136504449 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/10623/statm: 16232 13350 183 642 0 15588 0
Current children cumulated CPU time (s) 1255.24
Current children cumulated vsize (KiB) 199048

[startup+1242.3 s]
/proc/loadavg: 1.10 1.06 0.94 3/108 10631
/proc/meminfo: memFree=1321756/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=1300.79
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 44329 473459 0 2 6762 910 122062 345 16 0 1 0 54776689 137338880 6347 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159836005329808204 0 0 17 1 0 0 0
/proc/10488/statm: 33530 6347 1143 1 0 5167 0
[pid=10631] ppid=10488 vsize=28360 CPUtime=17.85
/proc/10631/stat : 10631 (clasp-1.3.3-x86) R 10488 10631 10631 0 -1 4202496 7731 0 0 0 1781 4 0 0 25 0 1 0 54899122 29040640 6782 1992294400 134512640 136080129 4289566240 18446744073709551615 134849659 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10631/statm: 7090 6782 175 383 0 6705 0
Current children cumulated CPU time (s) 1318.64
Current children cumulated vsize (KiB) 162480

[startup+1302.3 s]
/proc/loadavg: 1.08 1.06 0.94 2/108 10642
/proc/meminfo: memFree=1315060/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=1304.5
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 44408 473459 0 2 7079 964 122062 345 15 0 1 0 54776689 137338880 6347 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159836005329808204 0 0 17 1 0 0 0
/proc/10488/statm: 33530 6347 1143 1 0 5167 0
[pid=10631] ppid=10488 vsize=34712 CPUtime=77.44
/proc/10631/stat : 10631 (clasp-1.3.3-x86) R 10488 10631 10631 0 -1 4202496 9321 0 0 0 7735 9 0 0 25 0 1 0 54899122 35545088 8372 1992294400 134512640 136080129 4289566240 18446744073709551615 134849447 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10631/statm: 8678 8372 175 383 0 8293 0
Current children cumulated CPU time (s) 1381.94
Current children cumulated vsize (KiB) 168832

[startup+1362.3 s]
/proc/loadavg: 1.06 1.06 0.95 2/108 10653
/proc/meminfo: memFree=1322252/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=1429.93
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 48133 500517 0 2 7402 1015 134208 368 16 0 1 0 54776689 137338880 6348 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159688670771686220 0 0 17 0 0 0 0
/proc/10488/statm: 33530 6348 1143 1 0 5167 0
[pid=10653] ppid=10488 vsize=27832 CPUtime=15.5
/proc/10653/stat : 10653 (clasp-1.3.3-x86) R 10488 10653 10653 0 -1 4202496 7602 0 0 0 1547 3 0 0 25 0 1 0 54911367 28499968 6650 1992294400 134512640 136080129 4291840288 18446744073709551615 134849950 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10653/statm: 6958 6650 175 383 0 6573 0
Current children cumulated CPU time (s) 1445.43
Current children cumulated vsize (KiB) 161952

[startup+1422.31 s]
/proc/loadavg: 1.05 1.06 0.95 2/108 10661
/proc/meminfo: memFree=1322252/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=1494.53
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 50687 518624 0 2 7724 1058 140290 381 16 0 1 0 54776689 137338880 6349 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159836005329808204 0 0 17 1 0 0 0
/proc/10488/statm: 33530 6349 1143 1 0 5167 0
[pid=10661] ppid=10488 vsize=27700 CPUtime=14.38
/proc/10661/stat : 10661 (clasp-1.3.3-x86) R 10488 10661 10661 0 -1 4202496 7559 0 0 0 1434 4 0 0 25 0 1 0 54917469 28364800 6612 1992294400 134512640 136080129 4291875520 18446744073709551615 134844376 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10661/statm: 6925 6612 175 383 0 6540 0
Current children cumulated CPU time (s) 1508.91
Current children cumulated vsize (KiB) 161820

[startup+1482.3 s]
/proc/loadavg: 1.08 1.06 0.96 2/108 10663
/proc/meminfo: memFree=1315556/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=1498.18
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 50761 518624 0 2 8036 1111 140290 381 15 0 1 0 54776689 137338880 6349 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159836005329808204 0 0 17 1 0 0 0
/proc/10488/statm: 33530 6349 1143 1 0 5167 0
[pid=10661] ppid=10488 vsize=34384 CPUtime=74
/proc/10661/stat : 10661 (clasp-1.3.3-x86) R 10488 10661 10661 0 -1 4202496 9205 0 0 0 7393 7 0 0 25 0 1 0 54917469 35209216 8258 1992294400 134512640 136080129 4291875520 18446744073709551615 134803069 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/10661/statm: 8596 8258 175 383 0 8211 0
Current children cumulated CPU time (s) 1572.18
Current children cumulated vsize (KiB) 168504

[startup+1542.3 s]
/proc/loadavg: 1.12 1.08 0.97 2/108 10672
/proc/meminfo: memFree=1322252/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=1623.58
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 54544 545580 0 2 8360 1161 152434 403 15 0 1 0 54776689 137338880 6349 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159688670771686220 0 0 17 0 0 0 0
/proc/10488/statm: 33530 6349 1143 1 0 5167 0
[pid=10672] ppid=10488 vsize=27004 CPUtime=12.06
/proc/10672/stat : 10672 (clasp-1.3.3-x86) R 10488 10672 10672 0 -1 4202496 7395 0 0 0 1202 4 0 0 25 0 1 0 54929712 27652096 6448 1992294400 134512640 136080129 4289949888 18446744073709551615 134849454 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10672/statm: 6751 6448 175 383 0 6366 0
Current children cumulated CPU time (s) 1635.64
Current children cumulated vsize (KiB) 161124

[startup+1602.3 s]
/proc/loadavg: 1.10 1.08 0.97 2/108 10674
/proc/meminfo: memFree=1314688/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=1626.99
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 54635 545580 0 2 8662 1200 152434 403 15 0 1 0 54776689 137338880 6349 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159688670771686220 0 0 17 0 0 0 0
/proc/10488/statm: 33530 6349 1143 1 0 5167 0
[pid=10672] ppid=10488 vsize=34572 CPUtime=72.03
/proc/10672/stat : 10672 (clasp-1.3.3-x86) R 10488 10672 10672 0 -1 4202496 9270 0 0 0 7198 5 0 0 25 0 1 0 54929712 35401728 8323 1992294400 134512640 136080129 4289949888 18446744073709551615 134849100 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10672/statm: 8643 8323 175 383 0 8258 0
Current children cumulated CPU time (s) 1699.02
Current children cumulated vsize (KiB) 168692

[startup+1662.3 s]
/proc/loadavg: 1.09 1.08 0.98 2/108 10685
/proc/meminfo: memFree=1323120/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=1752.05
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 58379 573100 0 2 8987 1241 164555 422 15 0 1 0 54776689 137338880 6350 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159688670771686220 0 0 17 0 0 0 0
/proc/10488/statm: 33530 6350 1143 1 0 5167 0
[pid=10685] ppid=10488 vsize=26740 CPUtime=10.53
/proc/10685/stat : 10685 (clasp-1.3.3-x86) R 10488 10685 10685 0 -1 4202496 7315 0 0 0 1050 3 0 0 25 0 1 0 54941864 27381760 6367 1992294400 134512640 136080129 4294779840 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10685/statm: 6685 6367 175 383 0 6300 0
Current children cumulated CPU time (s) 1762.58
Current children cumulated vsize (KiB) 160860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1697.8 s]
/proc/loadavg: 1.05 1.07 0.98 2/108 10687
/proc/meminfo: memFree=1317664/2059040 swapFree=4140136/4192956
[pid=10488] ppid=10486 vsize=134120 CPUtime=1754.08
/proc/10488/stat : 10488 (python) S 10486 10488 10239 0 -1 4202496 58457 573100 0 2 9164 1267 164555 422 15 0 1 0 54776689 137338880 6350 1992294400 4194304 4196484 140734391268256 18446744073709551615 246659460623 0 0 16781312 2 159688670771686220 0 0 17 0 0 0 0
/proc/10488/statm: 33530 6350 1143 1 0 5167 0
[pid=10685] ppid=10488 vsize=32036 CPUtime=46.03
/proc/10685/stat : 10685 (clasp-1.3.3-x86) R 10488 10685 10685 0 -1 4202496 8630 0 0 0 4598 5 0 0 25 0 1 0 54941864 32804864 7682 1992294400 134512640 136080129 4294779840 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10685/statm: 8009 7682 175 383 0 7624 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 166156

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10488 and gives
#  childrusage.ru_utime.tv_sec=1737
#  childrusage.ru_utime.tv_usec=206904
#  childrusage.ru_stime.tv_sec=16
#  childrusage.ru_stime.tv_usec=907429
# CPU time returned by wait4() is 1754.11
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1697.82
CPU time (s): 1800.11
CPU user time (s): 1783.17
CPU system time (s): 16.94
CPU usage (%): 106.025
Max. virtual memory (cumulated for all children) (KiB): 1619456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1737.21
system time used= 16.9074
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 631557
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9964
involuntary context switches= 24692

runsolver used 3.49847 second user time and 8.5317 second system time

The end

Launcher Data 

Begin job on node033 at 2010-06-21 17:40:15
IDJOB=2675964
IDBENCH=1465
IDSOLVER=1178
FILE ID=node033/2675964-1277134815
PBS_JOBID= 11182088
Free space on /tmp= 62364 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2675964-1277134815/watcher-2675964-1277134815 -o /tmp/evaluation-result-2675964-1277134815/solver-2675964-1277134815 -C 1800 -W 2000 -M 1800  solver HOME/instance-2675964-1277134815.opb 939667635 

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

MD5SUM BENCH= 1785d65de493315a1e7654bb7aab8248
RANDOM SEED=939667635

node033.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.242
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.48
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.242
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1370472 kB
Buffers:        132728 kB
Cached:         446296 kB
SwapCached:       6704 kB
Active:         269884 kB
Inactive:       323408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1370472 kB
SwapTotal:     4192956 kB
SwapFree:      4140136 kB
Dirty:           29928 kB
Writeback:           0 kB
AnonPages:       11544 kB
Mapped:          13036 kB
Slab:            73504 kB
PageTables:       3984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182952 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= 62344 MiB
End job on node033 at 2010-06-21 18:08:36