Trace number 2685408

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.09 1694.82

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6013_2-unsat.opb
MD5SUMc3eb9faf1d58b30f1971366448425ca3
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 benchmark61.8236
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12322
Total number of constraints38967
Number of constraints which are clauses38567
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints400
Minimum length of a constraint1
Maximum length of a constraint60
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 394
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.92 0.98 0.99 3/106 24314
/proc/meminfo: memFree=1812424/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=228 CPUtime=0
/proc/24314/stat : 24314 (solver) D 24312 24314 23691 0 -1 4194304 99 0 0 0 0 0 0 0 23 0 1 0 12298010 233472 18 1992294400 4194304 4208684 140735119079280 18446744073709551615 212584113952 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 0
/proc/24314/statm: 57 18 13 4 0 22 0

[startup+0.052702 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 24314
/proc/meminfo: memFree=1812424/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=17028 CPUtime=0
/proc/24314/stat : 24314 (python) D 24312 24314 23691 0 -1 4202496 889 0 1 0 0 0 0 0 23 0 1 0 12298010 17436672 645 1992294400 4194304 4196484 140736799471504 18446744073709551615 212589108992 0 0 16781312 2 18446744071562234166 0 0 17 1 0 0 1
/proc/24314/statm: 4257 645 311 1 0 353 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 17028

[startup+0.10176 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 24314
/proc/meminfo: memFree=1812424/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=17828 CPUtime=0.02
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 1746 0 7 0 1 1 0 0 23 0 1 0 12298010 18255872 810 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589105076 0 2147483391 16781312 2 18446744071699326142 0 0 17 0 0 0 5
/proc/24314/statm: 4456 826 386 1 0 436 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17828

[startup+0.300734 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 24314
/proc/meminfo: memFree=1812424/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=54520 CPUtime=0.14
/proc/24314/stat : 24314 (python) D 24312 24314 23691 0 -1 4202496 3190 0 25 0 8 6 0 0 23 0 1 0 12298010 55828480 2138 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589108992 0 0 16781312 2 18446744071562234166 0 0 17 0 0 0 9
/proc/24314/statm: 13630 2138 592 1 0 1530 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 54520

[startup+0.700771 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 24314
/proc/meminfo: memFree=1812424/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=94536 CPUtime=0.38
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 4623 0 41 0 22 16 0 0 22 0 1 0 12298010 96804864 3482 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589107200 0 2147483391 16781312 2 18446744071699326142 0 0 17 0 0 0 14
/proc/24314/statm: 23634 3482 1001 1 0 2522 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 94536

[startup+1.50086 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 24319
/proc/meminfo: memFree=1786400/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=117868 CPUtime=0.91
/proc/24314/stat : 24314 (python) R 24312 24314 23691 0 -1 4202496 8294 931 47 0 57 33 0 1 25 0 1 0 12298010 120696832 5801 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589107200 0 0 16781312 2 0 0 0 17 0 0 0 20
/proc/24314/statm: 29467 5801 1057 1 0 4721 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 117868

[startup+3.10202 s]
/proc/loadavg: 0.92 0.98 0.99 2/108 24320
/proc/meminfo: memFree=1771564/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=132028 CPUtime=1.22
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 9935 931 53 0 83 38 0 1 16 0 1 0 12298010 135196672 6258 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159688670771686189 0 0 17 0 0 0 21
/proc/24314/statm: 33007 6258 1132 1 0 5159 0
[pid=24320] ppid=24314 vsize=5152 CPUtime=1.36
/proc/24320/stat : 24320 (clasp-1.3.3-x86) R 24314 24320 24320 0 -1 4202496 1400 0 0 0 136 0 0 0 25 0 1 0 12298183 5275648 1047 1992294400 134512640 136080129 4291805072 18446744073709551615 134849924 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/24320/statm: 1288 1047 175 383 0 903 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 137180

[startup+6.30135 s]
/proc/loadavg: 1.01 1.00 1.00 2/108 24320
/proc/meminfo: memFree=1770200/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=132028 CPUtime=1.41
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 9949 931 53 0 100 40 0 1 15 0 1 0 12298010 135196672 6258 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159688670771686189 0 0 17 0 0 0 21
/proc/24314/statm: 33007 6258 1132 1 0 5159 0
[pid=24320] ppid=24314 vsize=6472 CPUtime=4.56
/proc/24320/stat : 24320 (clasp-1.3.3-x86) R 24314 24320 24320 0 -1 4202496 1713 0 0 0 456 0 0 0 25 0 1 0 12298183 6627328 1360 1992294400 134512640 136080129 4291805072 18446744073709551615 134808099 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/24320/statm: 1618 1360 175 383 0 1233 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 138500

[startup+12.702 s]
/proc/loadavg: 1.25 1.05 1.02 3/108 24323
/proc/meminfo: memFree=1772556/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134088 CPUtime=12.07
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 11200 3779 54 0 141 45 1018 3 15 0 1 0 12298010 137306112 6281 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159688670771686189 0 0 17 0 0 0 21
/proc/24314/statm: 33522 6281 1142 1 0 5159 0
[pid=24323] ppid=24314 vsize=5020 CPUtime=0.72
/proc/24323/stat : 24323 (clasp-1.3.3-x86) R 24314 24323 24323 0 -1 4202496 1355 0 0 0 72 0 0 0 21 0 1 0 12299207 5140480 1001 1992294400 134512640 136080129 4287047472 18446744073709551615 134846024 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/24323/statm: 1255 1001 175 383 0 870 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 139108

[startup+25.5014 s]
/proc/loadavg: 1.77 1.18 1.06 2/108 24323
/proc/meminfo: memFree=1768844/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134088 CPUtime=12.81
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 11247 3779 54 0 200 60 1018 3 15 0 1 0 12298010 137306112 6281 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159688670771686189 0 0 17 0 0 0 21
/proc/24314/statm: 33522 6281 1142 1 0 5159 0
[pid=24323] ppid=24314 vsize=7660 CPUtime=13.52
/proc/24323/stat : 24323 (clasp-1.3.3-x86) R 24314 24323 24323 0 -1 4202496 2019 0 0 0 1351 1 0 0 25 0 1 0 12299207 7843840 1665 1992294400 134512640 136080129 4287047472 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/24323/statm: 1915 1665 175 383 0 1530 0
Current children cumulated CPU time (s) 26.33
Current children cumulated vsize (KiB) 141748

[startup+51.101 s]
/proc/loadavg: 2.11 1.31 1.10 2/108 24323
/proc/meminfo: memFree=1766736/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134088 CPUtime=14.31
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 11318 3779 54 0 323 87 1018 3 15 0 1 0 12298010 137306112 6281 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159688670771686189 0 0 17 0 0 0 21
/proc/24314/statm: 33522 6281 1142 1 0 5159 0
[pid=24323] ppid=24314 vsize=10040 CPUtime=39.11
/proc/24323/stat : 24323 (clasp-1.3.3-x86) R 24314 24323 24323 0 -1 4202496 2627 0 0 0 3909 2 0 0 25 0 1 0 12299207 10280960 2273 1992294400 134512640 136080129 4287047472 18446744073709551615 134842470 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/24323/statm: 2510 2273 175 383 0 2125 0
Current children cumulated CPU time (s) 53.42
Current children cumulated vsize (KiB) 144128

[startup+102.308 s]
/proc/loadavg: 1.54 1.27 1.10 2/108 24328
/proc/meminfo: memFree=1755708/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134088 CPUtime=67.82
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 12510 7426 54 0 621 131 6023 7 16 0 1 0 12298010 137306112 6283 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159688670771686189 0 0 17 0 0 0 21
/proc/24314/statm: 33522 6283 1142 1 0 5159 0
[pid=24328] ppid=24314 vsize=22448 CPUtime=40.18
/proc/24328/stat : 24328 (wbo1.4a) R 24314 24328 24328 0 -1 4202496 5764 0 0 0 3997 21 0 0 25 0 1 0 12304221 22986752 5108 1992294400 134512640 135751879 4287419584 18446744073709551615 134616701 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/24328/statm: 5612 5108 139 303 0 5307 0
Current children cumulated CPU time (s) 108
Current children cumulated vsize (KiB) 156536

[startup+162.302 s]
/proc/loadavg: 1.20 1.22 1.09 2/108 24333
/proc/meminfo: memFree=1766868/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134088 CPUtime=122.23
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 13796 14954 54 0 916 194 11077 36 15 0 1 0 12298010 137306112 6284 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159688670771686189 0 0 17 0 0 0 21
/proc/24314/statm: 33522 6284 1142 1 0 5159 0
[pid=24331] ppid=24314 vsize=10568 CPUtime=49.31
/proc/24331/stat : 24331 (clasp-1.3.3-x86) R 24314 24331 24331 0 -1 4202496 2737 0 0 0 4931 0 0 0 25 0 1 0 12309306 10821632 2376 1992294400 134512640 136080129 4289655376 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/24331/statm: 2642 2376 175 383 0 2257 0
Current children cumulated CPU time (s) 171.54
Current children cumulated vsize (KiB) 144656

[startup+222.301 s]
/proc/loadavg: 1.07 1.18 1.08 3/108 24338
/proc/meminfo: memFree=1766248/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134088 CPUtime=226.19
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 14981 19428 54 0 1247 251 21082 39 15 0 1 0 12298010 137306112 6285 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159688670771686189 0 0 17 0 0 0 21
/proc/24314/statm: 33522 6285 1142 1 0 5159 0
[pid=24338] ppid=24314 vsize=12164 CPUtime=9.18
/proc/24338/stat : 24338 (wbo1.4a) R 24314 24338 24338 0 -1 4202496 3178 0 0 0 912 6 0 0 25 0 1 0 12319320 12455936 2522 1992294400 134512640 135751879 4293139328 18446744073709551615 134616669 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/24338/statm: 3041 2522 139 303 0 2736 0
Current children cumulated CPU time (s) 235.37
Current children cumulated vsize (KiB) 146252

[startup+282.301 s]
/proc/loadavg: 1.09 1.16 1.08 2/108 24338
/proc/meminfo: memFree=1748888/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134088 CPUtime=229.74
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 15072 19428 54 0 1573 280 21082 39 16 0 1 0 12298010 137306112 6285 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159688670771686189 0 0 17 0 0 0 21
/proc/24314/statm: 33522 6285 1142 1 0 5159 0
[pid=24338] ppid=24314 vsize=29584 CPUtime=69.17
/proc/24338/stat : 24338 (wbo1.4a) R 24314 24338 24338 0 -1 4202496 7541 0 0 0 6882 35 0 0 25 0 1 0 12319320 30294016 6885 1992294400 134512640 135751879 4293139328 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/24338/statm: 7396 6885 139 303 0 7091 0
Current children cumulated CPU time (s) 298.91
Current children cumulated vsize (KiB) 163672

[startup+342.301 s]
/proc/loadavg: 1.03 1.13 1.08 2/108 24343
/proc/meminfo: memFree=1744796/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134088 CPUtime=334.32
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 16338 29930 54 0 1918 300 31121 93 15 0 1 0 12298010 137306112 6286 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159836005329808173 0 0 17 1 0 0 21
/proc/24314/statm: 33522 6286 1142 1 0 5159 0
[pid=24343] ppid=24314 vsize=33772 CPUtime=28.04
/proc/24343/stat : 24343 (wbo1.4b) R 24314 24343 24343 0 -1 4202496 8579 0 0 0 2800 4 0 0 25 0 1 0 12329419 34582528 7918 1992294400 134512640 135751879 4292449376 18446744073709551615 134524613 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/24343/statm: 8443 7918 142 303 0 8138 0
Current children cumulated CPU time (s) 362.36
Current children cumulated vsize (KiB) 167860

[startup+402.302 s]
/proc/loadavg: 1.07 1.12 1.08 2/120 24360
/proc/meminfo: memFree=1591996/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134088 CPUtime=388.51
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 17592 41507 54 0 2248 340 36163 100 15 0 1 0 12298010 137306112 6287 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159688670771686189 0 0 17 0 0 0 21
/proc/24314/statm: 33522 6287 1142 1 0 5159 0
[pid=24348] ppid=24314 vsize=1493796 CPUtime=39.74
/proc/24348/stat : 24348 (java) S 24314 24348 24348 0 -1 4202496 52091 0 1 0 3947 27 0 0 18 0 13 0 12334500 1529647104 47160 1992294400 134512640 134550932 4287193904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24348/statm: 373449 47160 1437 10 0 370751 0
[pid=24348/tid=24349] ppid=24314 vsize=1493796 CPUtime=36.46
/proc/24348/task/24349/stat : 24349 (java) R 24314 24348 24348 0 -1 4202560 30979 0 1 0 3630 16 0 0 25 0 13 0 12334502 1529647104 47160 1992294400 134512640 134550932 4287193904 18446744073709551615 4110017406 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24348/tid=24350] ppid=24314 vsize=1493796 CPUtime=0.21
/proc/24348/task/24350/stat : 24350 (java) S 24314 24348 24348 0 -1 4202560 4878 0 0 0 19 2 0 0 18 0 13 0 12334503 1529647104 47160 1992294400 134512640 134550932 4287193904 18446744073709551615 4294960144 0 4 0 16800975 18446604437845592256 0 0 -1 0 0 0 0
[pid=24348/tid=24351] ppid=24314 vsize=1493796 CPUtime=0.21
/proc/24348/task/24351/stat : 24351 (java) S 24314 24348 24348 0 -1 4202560 5743 0 0 0 19 2 0 0 18 0 13 0 12334503 1529647104 47160 1992294400 134512640 134550932 4287193904 18446744073709551615 4294960144 0 4 0 16800975 18446604437845592256 0 0 -1 1 0 0 0
[pid=24348/tid=24352] ppid=24314 vsize=1493796 CPUtime=0

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

/proc/24436/statm: 3967 3714 175 383 0 3582 0
Current children cumulated CPU time (s) 1067.81
Current children cumulated vsize (KiB) 149956

[startup+1062.3 s]
/proc/loadavg: 1.07 1.11 1.09 2/108 24444
/proc/meminfo: memFree=1758748/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134088 CPUtime=875.06
/proc/24314/stat : 24314 (python) R 24312 24314 23691 0 -1 4202496 39662 236923 54 2 5944 809 80510 243 16 0 1 0 12298010 137306112 6296 1992294400 4194304 4196484 140735988840448 18446744073709551615 47475917547867 0 0 16781312 2 0 0 0 17 1 0 0 21
/proc/24314/statm: 33522 6296 1142 1 0 5159 0
[pid=24436] ppid=24314 vsize=17328 CPUtime=256.23
/proc/24436/stat : 24436 (clasp-1.3.3-x86) R 24314 24436 24436 0 -1 4202496 4440 0 0 0 25619 4 0 0 25 0 1 0 12378605 17743872 4076 1992294400 134512640 136080129 4287832544 18446744073709551615 134588974 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24436/statm: 4332 4076 175 383 0 3947 0
Current children cumulated CPU time (s) 1131.29
Current children cumulated vsize (KiB) 151416

[startup+1122.3 s]
/proc/loadavg: 1.08 1.10 1.09 2/108 24449
/proc/meminfo: memFree=1748208/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134088 CPUtime=1179.17
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 40918 242524 54 2 6288 841 110539 249 15 0 1 0 12298010 137306112 6297 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159836005329808173 0 0 17 1 0 0 21
/proc/24314/statm: 33522 6297 1142 1 0 5159 0
[pid=24447] ppid=24314 vsize=36480 CPUtime=15.8
/proc/24447/stat : 24447 (bsolo_pb10) R 24314 24447 24447 0 -1 4202496 7379 0 0 0 1572 8 0 0 25 0 1 0 12408658 37355520 6646 1992294400 134512640 137138936 4286999392 18446744073709551615 136504020 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/24447/statm: 9120 6646 192 642 0 8476 0
Current children cumulated CPU time (s) 1194.97
Current children cumulated vsize (KiB) 170568

[startup+1182.3 s]
/proc/loadavg: 1.14 1.11 1.09 2/108 24449
/proc/meminfo: memFree=1696252/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134088 CPUtime=1182.75
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 40995 242524 54 2 6614 873 110539 249 16 0 1 0 12298010 137306112 6297 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159688670771686189 0 0 17 0 0 0 21
/proc/24314/statm: 33522 6297 1142 1 0 5159 0
[pid=24447] ppid=24314 vsize=89020 CPUtime=75.62
/proc/24447/stat : 24447 (bsolo_pb10) R 24314 24447 24447 0 -1 4202496 20515 0 0 0 7543 19 0 0 25 0 1 0 12408658 91156480 19782 1992294400 134512640 137138936 4286999392 18446744073709551615 134607563 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/24447/statm: 22255 19782 192 642 0 21611 0
Current children cumulated CPU time (s) 1258.37
Current children cumulated vsize (KiB) 223108

[startup+1242.3 s]
/proc/loadavg: 1.10 1.10 1.09 2/108 24457
/proc/meminfo: memFree=1767056/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134088 CPUtime=1297.25
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 43456 271389 54 2 6961 897 121591 276 15 0 1 0 12298010 137306112 6298 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159836005329808173 0 0 17 1 0 0 21
/proc/24314/statm: 33522 6298 1142 1 0 5159 0
[pid=24457] ppid=24314 vsize=9116 CPUtime=24.53
/proc/24457/stat : 24457 (clasp-1.3.3-x86) R 24314 24457 24457 0 -1 4202496 2386 0 0 0 2452 1 0 0 25 0 1 0 12419785 9334784 2021 1992294400 134512640 136080129 4287112720 18446744073709551615 134588932 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24457/statm: 2279 2021 175 383 0 1894 0
Current children cumulated CPU time (s) 1321.78
Current children cumulated vsize (KiB) 143204

[startup+1302.3 s]
/proc/loadavg: 1.21 1.13 1.10 2/108 24459
/proc/meminfo: memFree=1763088/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134088 CPUtime=1300.72
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 43529 271389 54 2 7286 919 121591 276 15 0 1 0 12298010 137306112 6298 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159836005329808173 0 0 17 1 0 0 21
/proc/24314/statm: 33522 6298 1142 1 0 5159 0
[pid=24457] ppid=24314 vsize=12812 CPUtime=84.51
/proc/24457/stat : 24457 (clasp-1.3.3-x86) R 24314 24457 24457 0 -1 4202496 3328 0 0 0 8448 3 0 0 25 0 1 0 12419785 13119488 2963 1992294400 134512640 136080129 4287112720 18446744073709551615 134849956 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24457/statm: 3203 2963 175 383 0 2818 0
Current children cumulated CPU time (s) 1385.23
Current children cumulated vsize (KiB) 146900

[startup+1362.31 s]
/proc/loadavg: 1.19 1.14 1.10 2/108 24470
/proc/meminfo: memFree=1766932/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134088 CPUtime=1425.34
/proc/24314/stat : 24314 (python) R 24312 24314 23691 0 -1 4202496 47137 281649 54 2 7637 947 133663 287 15 0 1 0 12298010 137306112 6299 1992294400 4194304 4196484 140735988840448 18446744073709551615 212588757932 0 0 16781312 2 0 0 0 17 1 0 0 21
/proc/24314/statm: 33522 6299 1142 1 0 5159 0
[pid=24470] ppid=24314 vsize=8984 CPUtime=23.45
/proc/24470/stat : 24470 (clasp-1.3.3-x86) R 24314 24470 24470 0 -1 4202496 2345 0 0 0 2344 1 0 0 25 0 1 0 12431895 9199616 1980 1992294400 134512640 136080129 4291290656 18446744073709551615 134850039 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24470/statm: 2246 1980 175 383 0 1861 0
Current children cumulated CPU time (s) 1448.79
Current children cumulated vsize (KiB) 143072

[startup+1422.31 s]
/proc/loadavg: 1.11 1.13 1.10 2/108 24478
/proc/meminfo: memFree=1766808/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134088 CPUtime=1489.2
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 49623 288240 54 2 7982 968 139677 293 15 0 1 0 12298010 137306112 6299 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159688670771686189 0 0 17 0 0 0 21
/proc/24314/statm: 33522 6299 1142 1 0 5159 0
[pid=24476] ppid=24314 vsize=8984 CPUtime=22.95
/proc/24476/stat : 24476 (clasp-1.3.3-x86) R 24314 24476 24476 0 -1 4202496 2341 0 0 0 2294 1 0 0 25 0 1 0 12437930 9199616 1976 1992294400 134512640 136080129 4286649648 18446744073709551615 134846018 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24476/statm: 2246 1976 175 383 0 1861 0
Current children cumulated CPU time (s) 1512.15
Current children cumulated vsize (KiB) 143072

[startup+1482.3 s]
/proc/loadavg: 1.19 1.16 1.10 2/108 24478
/proc/meminfo: memFree=1762964/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134088 CPUtime=1492.74
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 49695 288240 54 2 8323 981 139677 293 15 0 1 0 12298010 137306112 6299 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159688670771686189 0 0 17 0 0 0 21
/proc/24314/statm: 33522 6299 1142 1 0 5159 0
[pid=24476] ppid=24314 vsize=12680 CPUtime=82.56
/proc/24476/stat : 24476 (clasp-1.3.3-x86) R 24314 24476 24476 0 -1 4202496 3275 0 0 0 8255 1 0 0 25 0 1 0 12437930 12984320 2910 1992294400 134512640 136080129 4286649648 18446744073709551615 134849054 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/24476/statm: 3170 2910 175 383 0 2785 0
Current children cumulated CPU time (s) 1575.3
Current children cumulated vsize (KiB) 146768

[startup+1542.3 s]
/proc/loadavg: 1.10 1.14 1.10 3/108 24489
/proc/meminfo: memFree=1766684/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134088 CPUtime=1617.37
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 53391 298414 54 2 8667 1011 151756 303 15 0 1 0 12298010 137306112 6300 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159836005329808173 0 0 17 1 0 0 21
/proc/24314/statm: 33522 6300 1142 1 0 5159 0
[pid=24489] ppid=24314 vsize=8848 CPUtime=21.45
/proc/24489/stat : 24489 (clasp-1.3.3-x86) R 24314 24489 24489 0 -1 4202496 2337 0 0 0 2144 1 0 0 25 0 1 0 12450093 9060352 1971 1992294400 134512640 136080129 4290996096 18446744073709551615 134579953 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24489/statm: 2212 1971 175 383 0 1827 0
Current children cumulated CPU time (s) 1638.82
Current children cumulated vsize (KiB) 142936

[startup+1602.3 s]
/proc/loadavg: 1.25 1.18 1.11 2/108 24491
/proc/meminfo: memFree=1763212/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134088 CPUtime=1620.88
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 53466 298414 54 2 8979 1050 151756 303 15 0 1 0 12298010 137306112 6300 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159836005329808173 0 0 17 1 0 0 21
/proc/24314/statm: 33522 6300 1142 1 0 5159 0
[pid=24489] ppid=24314 vsize=12680 CPUtime=81.43
/proc/24489/stat : 24489 (clasp-1.3.3-x86) R 24314 24489 24489 0 -1 4202496 3276 0 0 0 8141 2 0 0 25 0 1 0 12450093 12984320 2910 1992294400 134512640 136080129 4290996096 18446744073709551615 134716418 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24489/statm: 3170 2910 175 383 0 2785 0
Current children cumulated CPU time (s) 1702.31
Current children cumulated vsize (KiB) 146768

[startup+1662.3 s]
/proc/loadavg: 1.22 1.17 1.11 2/108 24502
/proc/meminfo: memFree=1766560/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134220 CPUtime=1745.53
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 57085 308658 54 2 9320 1089 163831 313 15 0 1 0 12298010 137441280 6301 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159688670771686189 0 0 17 0 0 0 21
/proc/24314/statm: 33555 6301 1142 1 0 5192 0
[pid=24502] ppid=24314 vsize=8848 CPUtime=20.29
/proc/24502/stat : 24502 (clasp-1.3.3-x86) R 24314 24502 24502 0 -1 4202496 2325 0 0 0 2028 1 0 0 25 0 1 0 12462198 9060352 1962 1992294400 134512640 136080129 4291324368 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/24502/statm: 2212 1962 175 383 0 1827 0
Current children cumulated CPU time (s) 1765.82
Current children cumulated vsize (KiB) 143068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1694.8 s]
/proc/loadavg: 1.12 1.15 1.10 2/108 24502
/proc/meminfo: memFree=1764824/2059040 swapFree=4141732/4192956
[pid=24314] ppid=24312 vsize=134220 CPUtime=1747.44
/proc/24314/stat : 24314 (python) S 24312 24314 23691 0 -1 4202496 57157 308658 54 2 9495 1105 163831 313 15 0 1 0 12298010 137441280 6301 1992294400 4194304 4196484 140735988840448 18446744073709551615 212589129231 0 0 16781312 2 159836005329808173 0 0 17 1 0 0 21
/proc/24314/statm: 33555 6301 1142 1 0 5192 0
[pid=24502] ppid=24314 vsize=10568 CPUtime=52.65
/proc/24502/stat : 24502 (clasp-1.3.3-x86) R 24314 24502 24502 0 -1 4202496 2753 0 0 0 5264 1 0 0 25 0 1 0 12462198 10821632 2390 1992294400 134512640 136080129 4291324368 18446744073709551615 134850071 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24502/statm: 2642 2390 175 383 0 2257 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 144788

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 24314 and gives
#  childrusage.ru_utime.tv_sec=1733
#  childrusage.ru_utime.tv_usec=267503
#  childrusage.ru_stime.tv_sec=14
#  childrusage.ru_stime.tv_usec=194842
# CPU time returned by wait4() is 1747.46
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1694.82
CPU time (s): 1800.09
CPU user time (s): 1785.9
CPU system time (s): 14.19
CPU usage (%): 106.211
Max. virtual memory (cumulated for all children) (KiB): 1631176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1733.27
system time used= 14.1948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365816
page faults= 56
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12333
involuntary context switches= 18912

runsolver used 2.90056 second user time and 8.15676 second system time

The end

Launcher Data 

Begin job on node083 at 2010-07-06 20:28:16
IDJOB=2685408
IDBENCH=75736
IDSOLVER=1178
FILE ID=node083/2685408-1278440895
PBS_JOBID= 11233483
Free space on /tmp= 62540 MiB

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

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

MD5SUM BENCH= c3eb9faf1d58b30f1971366448425ca3
RANDOM SEED=924295013

node083.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.249
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.49
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.249
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	: 5999.80
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1812828 kB
Buffers:          6732 kB
Cached:         117608 kB
SwapCached:      39584 kB
Active:          56516 kB
Inactive:       116220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1812828 kB
SwapTotal:     4192956 kB
SwapFree:      4141732 kB
Dirty:           21772 kB
Writeback:           0 kB
AnonPages:       11740 kB
Mapped:          11904 kB
Slab:            51480 kB
PageTables:       4164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183388 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= 62520 MiB
End job on node083 at 2010-07-06 20:56:33