Trace number 2684918

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.02 1684.42

General information on the benchmark

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

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.93 0.98 0.91 3/106 20512
/proc/meminfo: memFree=1807736/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=228 CPUtime=0
/proc/20512/stat : 20512 (solver) D 20510 20512 19821 0 -1 4194304 100 0 0 0 0 0 0 0 21 0 1 0 11882514 233472 18 1992294400 4194304 4208684 140733798001984 18446744073709551615 236992866080 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 0
/proc/20512/statm: 57 18 13 4 0 22 0

[startup+0.0783621 s]
/proc/loadavg: 0.93 0.98 0.91 3/106 20512
/proc/meminfo: memFree=1807736/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=15776 CPUtime=0
/proc/20512/stat : 20512 (python) D 20510 20512 19821 0 -1 4194304 301 0 4 0 0 0 0 0 22 0 1 0 11882514 16154624 96 1992294400 4194304 4196484 140734578830192 18446744073709551615 237014586800 0 0 4096 0 18446744071562234166 0 0 17 0 0 0 7
/proc/20512/statm: 3944 96 69 1 0 40 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15776

[startup+0.101939 s]
/proc/loadavg: 0.93 0.98 0.91 3/106 20512
/proc/meminfo: memFree=1807736/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=16312 CPUtime=0
/proc/20512/stat : 20512 (python) D 20510 20512 19821 0 -1 4202496 593 0 7 0 0 0 0 0 22 0 1 0 11882514 16703488 372 1992294400 4194304 4196484 140734578830192 18446744073709551615 236997861120 0 0 16781312 2 18446744071562234166 0 0 17 0 0 0 9
/proc/20512/statm: 4078 372 252 1 0 174 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16312

[startup+0.302049 s]
/proc/loadavg: 0.93 0.98 0.91 3/106 20512
/proc/meminfo: memFree=1807736/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=17024 CPUtime=0.01
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 894 0 10 0 0 1 0 0 20 0 1 0 11882514 17432576 655 1992294400 4194304 4196484 140734578830192 18446744073709551615 236997857125 0 2147483391 16781312 2 18446744071699424446 0 0 17 0 0 0 28
/proc/20512/statm: 4256 655 316 1 0 352 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17024

[startup+0.701435 s]
/proc/loadavg: 0.93 0.98 0.91 3/106 20512
/proc/meminfo: memFree=1807736/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=70584 CPUtime=0.26
/proc/20512/stat : 20512 (python) R 20510 20512 19821 0 -1 4202496 3809 0 42 0 13 13 0 0 19 0 1 0 11882514 72278016 2731 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997861120 0 0 16781312 2 0 0 0 17 0 0 0 36
/proc/20512/statm: 17646 2731 672 1 0 2133 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 70584

[startup+1.50052 s]
/proc/loadavg: 0.93 0.98 0.91 2/107 20513
/proc/meminfo: memFree=1784152/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=112720 CPUtime=0.83
/proc/20512/stat : 20512 (python) R 20510 20512 19821 0 -1 4202496 7395 930 56 0 51 31 0 1 18 0 1 0 11882514 115425280 5004 1992294400 4194304 4196484 140736328430064 18446744073709551615 47249035977348 0 0 16781312 2 0 0 0 17 0 0 0 43
/proc/20512/statm: 28180 5004 1054 1 0 3948 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 112720

[startup+3.10067 s]
/proc/loadavg: 0.93 0.98 0.91 2/107 20517
/proc/meminfo: memFree=1770184/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=132036 CPUtime=1.32
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 9927 930 62 0 86 45 0 1 15 0 1 0 11882514 135204864 6259 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159688670771686137 0 0 17 0 0 0 47
/proc/20512/statm: 33009 6259 1132 1 0 5161 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 132036
heavy processes:

[startup+6.30099 s]
/proc/loadavg: 0.94 0.98 0.91 2/108 20518
/proc/meminfo: memFree=1761564/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=132036 CPUtime=1.53
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 9938 930 62 0 104 48 0 1 15 0 1 0 11882514 135204864 6259 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159688670771686137 0 0 17 0 0 0 47
/proc/20512/statm: 33009 6259 1132 1 0 5161 0
[pid=20518] ppid=20512 vsize=9796 CPUtime=4.12
/proc/20518/stat : 20518 (clasp-1.3.3-x86) R 20512 20518 20518 0 -1 4202496 2696 0 0 0 410 2 0 0 25 0 1 0 11882730 10031104 2187 1992294400 134512640 136080129 4287631504 18446744073709551615 134849244 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20518/statm: 2449 2187 175 383 0 2064 0
Current children cumulated CPU time (s) 5.65
Current children cumulated vsize (KiB) 141832

[startup+12.7006 s]
/proc/loadavg: 0.94 0.98 0.91 2/108 20519
/proc/meminfo: memFree=1760332/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=12.38
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 11186 4858 63 1 147 54 1032 5 19 0 1 0 11882514 137314304 6281 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 5704822853879169280 0 0 17 0 0 0 47
/proc/20512/statm: 33524 6281 1142 1 0 5161 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 134096

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.91 2/108 20522
/proc/meminfo: memFree=1760024/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=13.22
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 11234 4858 63 1 220 65 1032 5 15 0 1 0 11882514 137314304 6281 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159688670771686137 0 0 17 0 0 0 47
/proc/20512/statm: 33524 6281 1142 1 0 5161 0
[pid=20522] ppid=20512 vsize=11916 CPUtime=12.89
/proc/20522/stat : 20522 (clasp-1.3.3-x86) R 20512 20522 20522 0 -1 4202496 3210 0 0 0 1285 4 0 0 25 0 1 0 11883774 12201984 2697 1992294400 134512640 136080129 4291815760 18446744073709551615 134842459 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20522/statm: 2979 2697 175 383 0 2594 0
Current children cumulated CPU time (s) 26.11
Current children cumulated vsize (KiB) 146012

[startup+51.1015 s]
/proc/loadavg: 1.03 1.00 0.92 2/108 20526
/proc/meminfo: memFree=1728116/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=14.9
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 11295 4858 63 1 368 85 1032 5 15 0 1 0 11882514 137314304 6281 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159688670771686137 0 0 17 0 0 0 47
/proc/20512/statm: 33524 6281 1142 1 0 5161 0
[pid=20522] ppid=20512 vsize=14432 CPUtime=38.46
/proc/20522/stat : 20522 (clasp-1.3.3-x86) R 20512 20522 20522 0 -1 4202496 3840 0 0 0 3836 10 0 0 25 0 1 0 11883774 14778368 3327 1992294400 134512640 136080129 4291815760 18446744073709551615 134849989 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20522/statm: 3608 3327 175 383 0 3223 0
Current children cumulated CPU time (s) 53.36
Current children cumulated vsize (KiB) 148528

[startup+102.31 s]
/proc/loadavg: 1.06 1.01 0.93 2/108 20530
/proc/meminfo: memFree=1719188/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=69.19
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 12561 9981 63 1 696 132 6073 18 16 0 1 0 11882514 137314304 6282 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159836005329808121 0 0 17 1 0 0 47
/proc/20512/statm: 33524 6282 1142 1 0 5161 0
[pid=20529] ppid=20512 vsize=25008 CPUtime=38.87
/proc/20529/stat : 20529 (wbo1.4a) R 20512 20529 20529 0 -1 4202496 6857 0 0 0 3865 22 0 0 25 0 1 0 11888834 25608192 5664 1992294400 134512640 135751879 4291003680 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/20529/statm: 6252 5664 139 303 0 5947 0
Current children cumulated CPU time (s) 108.06
Current children cumulated vsize (KiB) 159104

[startup+162.302 s]
/proc/loadavg: 1.05 1.02 0.93 2/108 20535
/proc/meminfo: memFree=1727000/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=124.01
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 13829 18428 63 1 1046 182 11125 48 15 0 1 0 11882514 137314304 6284 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159688670771686137 0 0 17 0 0 0 47
/proc/20512/statm: 33524 6284 1142 1 0 5161 0
[pid=20533] ppid=20512 vsize=15736 CPUtime=47.94
/proc/20533/stat : 20533 (clasp-1.3.3-x86) R 20512 20533 20533 0 -1 4202496 4190 0 0 0 4790 4 0 0 25 0 1 0 11893948 16113664 3671 1992294400 134512640 136080129 4288648224 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20533/statm: 3934 3671 175 383 0 3549 0
Current children cumulated CPU time (s) 171.95
Current children cumulated vsize (KiB) 149832

[startup+222.302 s]
/proc/loadavg: 1.02 1.02 0.93 2/108 20539
/proc/meminfo: memFree=1727248/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=228.67
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 14993 24104 63 1 1425 233 21155 54 15 0 1 0 11882514 137314304 6285 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159688670771686137 0 0 17 0 0 0 47
/proc/20512/statm: 33524 6285 1142 1 0 5161 0
[pid=20539] ppid=20512 vsize=16688 CPUtime=7.52
/proc/20539/stat : 20539 (wbo1.4a) R 20512 20539 20539 0 -1 4202496 4780 0 0 0 747 5 0 0 25 0 1 0 11903992 17088512 3586 1992294400 134512640 135751879 4288260048 18446744073709551615 134616866 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/20539/statm: 4172 3586 139 303 0 3867 0
Current children cumulated CPU time (s) 236.19
Current children cumulated vsize (KiB) 150784

[startup+282.302 s]
/proc/loadavg: 1.00 1.01 0.93 2/108 20541
/proc/meminfo: memFree=1712864/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=232.7
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 15079 24104 63 1 1781 280 21155 54 15 0 1 0 11882514 137314304 6285 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159688670771686137 0 0 17 0 0 0 47
/proc/20512/statm: 33524 6285 1142 1 0 5161 0
[pid=20539] ppid=20512 vsize=31220 CPUtime=67.5
/proc/20539/stat : 20539 (wbo1.4a) R 20512 20539 20539 0 -1 4202496 8404 0 0 0 6722 28 0 0 25 0 1 0 11903992 31969280 7210 1992294400 134512640 135751879 4288260048 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/20539/statm: 7805 7210 139 303 0 7500 0
Current children cumulated CPU time (s) 300.2
Current children cumulated vsize (KiB) 165316

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 0.93 2/108 20545
/proc/meminfo: memFree=1695008/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=337.49
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 16278 34789 63 1 2136 331 31187 95 15 0 1 0 11882514 137314304 6286 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159688670771686137 0 0 17 0 0 0 47
/proc/20512/statm: 33524 6286 1142 1 0 5161 0
[pid=20545] ppid=20512 vsize=48988 CPUtime=26.73
/proc/20545/stat : 20545 (wbo1.4b) R 20512 20545 20545 0 -1 4202496 12810 0 0 0 2667 6 0 0 25 0 1 0 11914069 50163712 11614 1992294400 134512640 135751879 4292835872 18446744073709551615 134524619 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/20545/statm: 12247 11614 142 303 0 11942 0
Current children cumulated CPU time (s) 364.22
Current children cumulated vsize (KiB) 183084

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/120 20562
/proc/meminfo: memFree=1570108/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=392.2
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 17540 50949 63 1 2515 383 36217 105 15 0 1 0 11882514 137314304 6288 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159836005329808121 0 0 17 1 0 0 47
/proc/20512/statm: 33524 6288 1142 1 0 5161 0
[pid=20549] ppid=20512 vsize=1491580 CPUtime=38.44
/proc/20549/stat : 20549 (java) S 20512 20549 20549 0 -1 4202496 50172 0 1 0 3814 30 0 0 18 0 13 0 11919114 1527377920 44806 1992294400 134512640 134550932 4294235712 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20549/statm: 372895 44806 1437 10 0 370197 0
[pid=20549/tid=20550] ppid=20512 vsize=1491580 CPUtime=34.88
/proc/20549/task/20550/stat : 20550 (java) R 20512 20549 20549 0 -1 4202560 30983 0 1 0 3471 17 0 0 25 0 13 0 11919116 1527377920 44806 1992294400 134512640 134550932 4294235712 18446744073709551615 4109769700 0 4 0 16800975 0 0 0 -1 0 0 0 1
[pid=20549/tid=20551] ppid=20512 vsize=1491580 CPUtime=0.23
/proc/20549/task/20551/stat : 20551 (java) S 20512 20549 20549 0 -1 4202560 3827 0 0 0 22 1 0 0 18 0 13 0 11919119 1527377920 44806 1992294400 134512640 134550932 4294235712 18446744073709551615 4294960144 0 4 0 16800975 18446604437826041088 0 0 -1 1 0 0 0
[pid=20549/tid=20552] ppid=20512 vsize=1491580 CPUtime=0.24
/proc/20549/task/20552/stat : 20552 (java) S 20512 20549 20549 0 -1 4202560 4777 0 0 0 22 2 0 0 18 0 13 0 11919119 1527377920 44806 1992294400 134512640 134550932 4294235712 18446744073709551615 4294960144 0 4 0 16800975 18446604437826041088 0 0 -1 0 0 0 0
[pid=20549/tid=20553] ppid=20512 vsize=1491580 CPUtime=0.05
/proc/20549/task/20553/stat : 20553 (java) S 20512 20549 20549 0 -1 4202560 20 0 0 0 3 2 0 0 16 0 13 0 11919121 1527377920 44806 1992294400 134512640 134550932 4294235712 18446744073709551615 4294960144 0 0 0 16800975 18446604437826041088 0 0 -1 0 0 0 0
[pid=20549/tid=20554] ppid=20512 vsize=1491580 CPUtime=0
/proc/20549/task/20554/stat : 20554 (java) S 20512 20549 20549 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 11919122 1527377920 44806 1992294400 134512640 134550932 4294235712 18446744073709551615 4294960144 0 4 0 16800975 18446604437826041088 0 0 -1 0 0 0 0
[pid=20549/tid=20555] ppid=20512 vsize=1491580 CPUtime=0
/proc/20549/task/20555/stat : 20555 (java) S 20512 20549 20549 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 11919122 1527377920 44806 1992294400 134512640 134550932 4294235712 18446744073709551615 4294960144 0 4 0 16800975 18446604437826041088 0 0 -1 0 0 0 0

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

/proc/20639/statm: 5346 5082 175 383 0 4961 0
Current children cumulated CPU time (s) 1073.53
Current children cumulated vsize (KiB) 155480

[startup+1062.3 s]
/proc/loadavg: 1.03 1.13 1.03 2/108 20646
/proc/meminfo: memFree=1719376/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=885.21
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 39646 261262 63 3 6523 951 80767 280 15 0 1 0 11882514 137314304 6297 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159688670771686137 0 0 17 0 0 0 47
/proc/20512/statm: 33524 6297 1142 1 0 5161 0
[pid=20639] ppid=20512 vsize=22340 CPUtime=252.21
/proc/20639/stat : 20639 (clasp-1.3.3-x86) R 20512 20639 20639 0 -1 4202496 5810 0 0 0 25217 4 0 0 25 0 1 0 11963516 22876160 5291 1992294400 134512640 136080129 4286844624 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20639/statm: 5585 5291 175 383 0 5200 0
Current children cumulated CPU time (s) 1137.42
Current children cumulated vsize (KiB) 156436

[startup+1122.3 s]
/proc/loadavg: 1.01 1.10 1.03 3/108 20650
/proc/meminfo: memFree=1717392/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=1189.89
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 40878 268392 63 3 6884 1004 110814 287 15 0 1 0 11882514 137314304 6297 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159688670771686137 0 0 17 0 0 0 47
/proc/20512/statm: 33524 6297 1142 1 0 5161 0
[pid=20650] ppid=20512 vsize=32952 CPUtime=11.62
/proc/20650/stat : 20650 (bsolo_pb10) R 20512 20650 20650 0 -1 4202496 7040 0 0 0 1154 8 0 0 25 0 1 0 11993581 33742848 5715 1992294400 134512640 137138936 4292625936 18446744073709551615 134542187 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/20650/statm: 8238 5715 192 642 0 7594 0
Current children cumulated CPU time (s) 1201.51
Current children cumulated vsize (KiB) 167048

[startup+1182.3 s]
/proc/loadavg: 1.24 1.14 1.04 2/108 20652
/proc/meminfo: memFree=1686516/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=1193.92
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 40977 268392 63 3 7239 1052 110814 287 16 0 1 0 11882514 137314304 6297 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159688670771686137 0 0 17 0 0 0 47
/proc/20512/statm: 33524 6297 1142 1 0 5161 0
[pid=20650] ppid=20512 vsize=64784 CPUtime=71.61
/proc/20650/stat : 20650 (bsolo_pb10) R 20512 20650 20650 0 -1 4202496 14976 0 0 0 7145 16 0 0 25 0 1 0 11993581 66338816 13651 1992294400 134512640 137138936 4292625936 18446744073709551615 134542187 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/20650/statm: 16196 13651 192 642 0 15552 0
Current children cumulated CPU time (s) 1265.53
Current children cumulated vsize (KiB) 198880

[startup+1242.3 s]
/proc/loadavg: 1.20 1.15 1.05 3/108 20659
/proc/meminfo: memFree=1729544/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=1309.08
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 43440 292220 63 3 7598 1102 121896 312 15 0 1 0 11882514 137314304 6298 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159688670771686137 0 0 17 0 0 0 47
/proc/20512/statm: 33524 6298 1142 1 0 5161 0
[pid=20659] ppid=20512 vsize=12312 CPUtime=20.47
/proc/20659/stat : 20659 (clasp-1.3.3-x86) R 20512 20659 20659 0 -1 4202496 3324 0 0 0 2045 2 0 0 25 0 1 0 12004696 12607488 2802 1992294400 134512640 136080129 4292841520 18446744073709551615 134607916 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20659/statm: 3078 2802 175 383 0 2693 0
Current children cumulated CPU time (s) 1329.55
Current children cumulated vsize (KiB) 146408

[startup+1302.31 s]
/proc/loadavg: 1.07 1.12 1.04 3/108 20661
/proc/meminfo: memFree=1724088/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=1313
/proc/20512/stat : 20512 (python) R 20510 20512 19821 0 -1 4202496 43520 292220 63 3 7943 1149 121896 312 15 0 1 0 11882514 137314304 6298 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997859328 0 0 16781312 2 0 0 0 17 0 0 0 47
/proc/20512/statm: 33524 6298 1142 1 0 5161 0
[pid=20659] ppid=20512 vsize=17548 CPUtime=80.46
/proc/20659/stat : 20659 (clasp-1.3.3-x86) R 20512 20659 20659 0 -1 4202496 4631 0 0 0 8043 3 0 0 25 0 1 0 12004696 17969152 4109 1992294400 134512640 136080129 4292841520 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20659/statm: 4387 4109 175 383 0 4002 0
Current children cumulated CPU time (s) 1393.46
Current children cumulated vsize (KiB) 151644

[startup+1362.3 s]
/proc/loadavg: 1.12 1.12 1.05 2/108 20672
/proc/meminfo: memFree=1729420/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=1438.23
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 47154 305850 63 3 8308 1201 133989 325 15 0 1 0 11882514 137314304 6299 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159688670771686137 0 0 17 0 0 0 47
/proc/20512/statm: 33524 6299 1142 1 0 5161 0
[pid=20671] ppid=20512 vsize=12172 CPUtime=19.28
/proc/20671/stat : 20671 (clasp-1.3.3-x86) R 20512 20671 20671 0 -1 4202496 3304 0 0 0 1926 2 0 0 25 0 1 0 12016814 12464128 2783 1992294400 134512640 136080129 4292550448 18446744073709551615 134716418 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20671/statm: 3043 2783 175 383 0 2658 0
Current children cumulated CPU time (s) 1457.51
Current children cumulated vsize (KiB) 146268

[startup+1422.31 s]
/proc/loadavg: 1.04 1.10 1.04 2/108 20679
/proc/meminfo: memFree=1729420/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=1503.24
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 49652 314977 63 3 8667 1251 140072 334 15 0 1 0 11882514 137314304 6299 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159688670771686137 0 0 17 0 0 0 47
/proc/20512/statm: 33524 6299 1142 1 0 5161 0
[pid=20679] ppid=20512 vsize=12180 CPUtime=18.3
/proc/20679/stat : 20679 (clasp-1.3.3-x86) R 20512 20679 20679 0 -1 4202496 3294 0 0 0 1828 2 0 0 25 0 1 0 12022914 12472320 2774 1992294400 134512640 136080129 4288311296 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20679/statm: 3045 2774 175 383 0 2660 0
Current children cumulated CPU time (s) 1521.54
Current children cumulated vsize (KiB) 146276

[startup+1482.3 s]
/proc/loadavg: 1.01 1.08 1.04 2/108 20681
/proc/meminfo: memFree=1725080/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=1507.16
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 49731 314977 63 3 9012 1298 140072 334 15 0 1 0 11882514 137314304 6299 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159688670771686137 0 0 17 0 0 0 47
/proc/20512/statm: 33524 6299 1142 1 0 5161 0
[pid=20679] ppid=20512 vsize=17016 CPUtime=78.27
/proc/20679/stat : 20679 (clasp-1.3.3-x86) R 20512 20679 20679 0 -1 4202496 4499 0 0 0 7824 3 0 0 25 0 1 0 12022914 17424384 3979 1992294400 134512640 136080129 4288311296 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20679/statm: 4254 3979 175 383 0 3869 0
Current children cumulated CPU time (s) 1585.43
Current children cumulated vsize (KiB) 151112

[startup+1542.3 s]
/proc/loadavg: 1.07 1.08 1.04 2/108 20691
/proc/meminfo: memFree=1729172/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=1632.31
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 53470 328503 63 3 9377 1348 152158 348 15 0 1 0 11882514 137314304 6300 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159836005329808121 0 0 17 1 0 0 47
/proc/20512/statm: 33524 6300 1142 1 0 5161 0
[pid=20691] ppid=20512 vsize=12180 CPUtime=16.99
/proc/20691/stat : 20691 (clasp-1.3.3-x86) R 20512 20691 20691 0 -1 4202496 3296 0 0 0 1697 2 0 0 25 0 1 0 12035032 12472320 2775 1992294400 134512640 136080129 4293602208 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20691/statm: 3045 2775 175 383 0 2660 0
Current children cumulated CPU time (s) 1649.3
Current children cumulated vsize (KiB) 146276

[startup+1602.3 s]
/proc/loadavg: 1.10 1.09 1.04 2/108 20693
/proc/meminfo: memFree=1725204/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=1636.18
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 53548 328503 63 3 9715 1397 152158 348 15 0 1 0 11882514 137314304 6300 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159836005329808121 0 0 17 1 0 0 47
/proc/20512/statm: 33524 6300 1142 1 0 5161 0
[pid=20691] ppid=20512 vsize=16212 CPUtime=76.63
/proc/20691/stat : 20691 (clasp-1.3.3-x86) R 20512 20691 20691 0 -1 4202496 4306 0 0 0 7658 5 0 0 25 0 1 0 12035032 16601088 3785 1992294400 134512640 136080129 4293602208 18446744073709551615 134849989 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/20691/statm: 4053 3785 175 383 0 3668 0
Current children cumulated CPU time (s) 1712.81
Current children cumulated vsize (KiB) 150308

[startup+1662.3 s]
/proc/loadavg: 1.08 1.08 1.04 2/108 20704
/proc/meminfo: memFree=1729420/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=1761.22
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 57191 342155 63 3 10078 1449 164231 364 15 0 1 0 11882514 137314304 6301 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159836005329808121 0 0 17 1 0 0 47
/proc/20512/statm: 33524 6301 1142 1 0 5161 0
[pid=20703] ppid=20512 vsize=12044 CPUtime=15.39
/proc/20703/stat : 20703 (clasp-1.3.3-x86) R 20512 20703 20703 0 -1 4202496 3264 0 0 0 1536 3 0 0 25 0 1 0 12047194 12333056 2743 1992294400 134512640 136080129 4294406208 18446744073709551615 134849493 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20703/statm: 3011 2743 175 383 0 2626 0
Current children cumulated CPU time (s) 1776.61
Current children cumulated vsize (KiB) 146140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1684.4 s]
/proc/loadavg: 1.19 1.11 1.05 2/108 20704
/proc/meminfo: memFree=1727312/2059040 swapFree=4192956/4192956
[pid=20512] ppid=20510 vsize=134096 CPUtime=1762.66
/proc/20512/stat : 20512 (python) S 20510 20512 19821 0 -1 4202496 57230 342155 63 3 10206 1465 164231 364 15 0 1 0 11882514 137314304 6301 1992294400 4194304 4196484 140736328430064 18446744073709551615 236997881359 0 0 16781312 2 159836005329808121 0 0 17 1 0 0 47
/proc/20512/statm: 33524 6301 1142 1 0 5161 0
[pid=20703] ppid=20512 vsize=14032 CPUtime=37.36
/proc/20703/stat : 20703 (clasp-1.3.3-x86) R 20512 20703 20703 0 -1 4202496 3769 0 0 0 3732 4 0 0 25 0 1 0 12047194 14368768 3248 1992294400 134512640 136080129 4294406208 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20703/statm: 3508 3248 175 383 0 3123 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 148128

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 20512 and gives
#  childrusage.ru_utime.tv_sec=1744
#  childrusage.ru_utime.tv_usec=377814
#  childrusage.ru_stime.tv_sec=18
#  childrusage.ru_stime.tv_usec=309216
# CPU time returned by wait4() is 1762.69
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1684.42
CPU time (s): 1800.02
CPU user time (s): 1781.69
CPU system time (s): 18.33
CPU usage (%): 106.863
Max. virtual memory (cumulated for all children) (KiB): 1626700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1744.38
system time used= 18.3092
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399387
page faults= 66
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12451
involuntary context switches= 19621

runsolver used 3.35749 second user time and 8.5417 second system time

The end

Launcher Data 

Begin job on node027 at 2010-07-06 19:18:29
IDJOB=2684918
IDBENCH=73956
IDSOLVER=1178
FILE ID=node027/2684918-1278436709
PBS_JOBID= 11233450
Free space on /tmp= 62344 MiB

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

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

MD5SUM BENCH= 185b639ab7915adc40998376a286d172
RANDOM SEED=1316683868

node027.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		: 2800.222
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	: 5600.44
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		: 2800.222
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:       1808256 kB
Buffers:         14312 kB
Cached:          99208 kB
SwapCached:          0 kB
Active:          71244 kB
Inactive:       102716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1808256 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           23856 kB
Writeback:           4 kB
AnonPages:       60412 kB
Mapped:          14428 kB
Slab:            54704 kB
PageTables:       4168 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180696 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62320 MiB
End job on node027 at 2010-07-06 19:46:37