Trace number 2684932

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 1699.53

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12032_3-unsat.opb
MD5SUM336dbbe12a18bfd6b8d34c583a70b44b
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 benchmark1480.58
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables32186
Total number of constraints107047
Number of constraints which are clauses106519
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints528
Minimum length of a constraint1
Maximum length of a constraint93
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 26
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 561
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 24013
/proc/meminfo: memFree=1324424/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=16308 CPUtime=0
/proc/24013/stat : 24013 (python) R 24011 24013 23823 0 -1 4202496 589 0 0 0 0 0 0 0 18 0 1 0 11918163 16699392 362 1992294400 4194304 4196484 140733662758944 18446744073709551615 208159618004 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/24013/statm: 4077 370 250 1 0 173 0

[startup+0.06413 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 24013
/proc/meminfo: memFree=1324424/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=17436 CPUtime=0.02
/proc/24013/stat : 24013 (python) D 24011 24013 23823 0 -1 4202496 1654 0 9 0 1 1 0 0 15 0 1 0 11918163 17854464 722 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159923968 0 0 16781312 2 18446744071562234166 0 0 17 0 0 0 1
/proc/24013/statm: 4359 723 354 1 0 339 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17436

[startup+0.102189 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 24013
/proc/meminfo: memFree=1324424/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=17960 CPUtime=0.04
/proc/24013/stat : 24013 (python) D 24011 24013 23823 0 -1 4202496 1834 0 9 0 2 2 0 0 15 0 1 0 11918163 18391040 893 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159923968 0 0 16781312 2 18446744071562234166 0 0 17 0 0 0 1
/proc/24013/statm: 4490 893 401 1 0 470 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17960

[startup+0.301152 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 24013
/proc/meminfo: memFree=1324424/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=41028 CPUtime=0.11
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 2537 0 17 0 6 5 0 0 15 0 1 0 11918163 42012672 1550 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159919973 0 2147483391 16781312 2 18446744071699387582 0 0 17 0 0 0 4
/proc/24013/statm: 10257 1550 475 1 0 1057 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 41028

[startup+0.70118 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 24013
/proc/meminfo: memFree=1324424/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=94020 CPUtime=0.3
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 4510 0 40 0 18 12 0 0 15 0 1 0 11918163 96276480 3382 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159922176 0 2147483391 16781312 2 18446744071699387582 0 0 17 0 0 0 11
/proc/24013/statm: 23505 3382 1001 1 0 2393 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 94020

[startup+1.50125 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24014
/proc/meminfo: memFree=1298128/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=114064 CPUtime=0.81
/proc/24013/stat : 24013 (python) R 24011 24013 23823 0 -1 4202496 7727 923 42 8 50 31 0 0 15 0 1 0 11918163 116801536 5295 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159922176 0 2147483391 16781312 2 0 0 0 17 0 0 0 17
/proc/24013/statm: 28516 5295 1054 1 0 4284 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 114064

[startup+3.10038 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24018
/proc/meminfo: memFree=1282504/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=132032 CPUtime=1.23
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 9952 923 47 8 80 43 0 0 15 0 1 0 11918163 135200768 6259 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 20
/proc/24013/statm: 33008 6259 1132 1 0 5160 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 132032
heavy processes:

[startup+6.30166 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24019
/proc/meminfo: memFree=1273212/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=132032 CPUtime=1.4
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 9962 923 47 8 95 45 0 0 15 0 1 0 11918163 135200768 6259 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 20
/proc/24013/statm: 33008 6259 1132 1 0 5160 0
[pid=24019] ppid=24013 vsize=11152 CPUtime=4.11
/proc/24019/stat : 24019 (clasp-1.3.3-x86) R 24013 24019 24019 0 -1 4202496 3051 0 0 0 410 1 0 0 25 0 1 0 11918381 11419648 2530 1992294400 134512640 136080129 4291550352 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/24019/statm: 2788 2530 175 383 0 2403 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 143184

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24019
/proc/meminfo: memFree=1270980/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=12.15
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 11230 5234 47 8 134 52 1025 4 16 0 1 0 11918163 137310208 6281 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159836005329808152 0 0 17 1 0 0 20
/proc/24013/statm: 33523 6281 1142 1 0 5160 0
Current children cumulated CPU time (s) 12.15
Current children cumulated vsize (KiB) 134092

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24022
/proc/meminfo: memFree=1270856/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=12.91
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 11279 5234 47 8 197 65 1025 4 16 0 1 0 11918163 137310208 6281 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159836005329808152 0 0 17 1 0 0 20
/proc/24013/statm: 33523 6281 1142 1 0 5160 0
[pid=24022] ppid=24013 vsize=13428 CPUtime=12.92
/proc/24022/stat : 24022 (clasp-1.3.3-x86) R 24013 24022 24022 0 -1 4202496 3616 0 0 0 1290 2 0 0 25 0 1 0 11919412 13750272 3090 1992294400 134512640 136080129 4294274592 18446744073709551615 134849046 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24022/statm: 3357 3090 175 383 0 2972 0
Current children cumulated CPU time (s) 25.83
Current children cumulated vsize (KiB) 147520

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24022
/proc/meminfo: memFree=1266640/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=14.43
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 11347 5234 47 8 326 88 1025 4 15 0 1 0 11918163 137310208 6281 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159836005329808152 0 0 17 1 0 0 20
/proc/24013/statm: 33523 6281 1142 1 0 5160 0
[pid=24022] ppid=24013 vsize=17660 CPUtime=38.37
/proc/24022/stat : 24022 (clasp-1.3.3-x86) R 24013 24022 24022 0 -1 4202496 4647 0 0 0 3834 3 0 0 25 0 1 0 11919412 18083840 4121 1992294400 134512640 136080129 4294274592 18446744073709551615 134849722 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24022/statm: 4415 4121 175 383 0 4030 0
Current children cumulated CPU time (s) 52.8
Current children cumulated vsize (KiB) 151752

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24027
/proc/meminfo: memFree=1255232/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=68.11
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 12595 10979 47 8 604 133 6065 9 15 0 1 0 11918163 137310208 6282 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 20
/proc/24013/statm: 33523 6282 1142 1 0 5160 0
[pid=24025] ppid=24013 vsize=30300 CPUtime=39.01
/proc/24025/stat : 24025 (wbo1.4a) R 24013 24025 24025 0 -1 4202496 8096 0 0 0 3881 20 0 0 25 0 1 0 11924491 31027200 6847 1992294400 134512640 135751879 4289529984 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/24025/statm: 7575 6847 139 303 0 7270 0
Current children cumulated CPU time (s) 107.12
Current children cumulated vsize (KiB) 164392

[startup+162.301 s]
/proc/loadavg: 1.13 1.04 1.01 2/108 24032
/proc/meminfo: memFree=1265772/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=122.46
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 13889 20842 47 8 907 191 11112 36 16 0 1 0 11918163 137310208 6284 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159836005329808152 0 0 17 1 0 0 20
/proc/24013/statm: 33523 6284 1142 1 0 5160 0
[pid=24030] ppid=24013 vsize=17924 CPUtime=47.96
/proc/24030/stat : 24030 (clasp-1.3.3-x86) R 24013 24030 24030 0 -1 4202496 4745 0 0 0 4792 4 0 0 25 0 1 0 11929568 18354176 4215 1992294400 134512640 136080129 4291489200 18446744073709551615 134849440 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24030/statm: 4481 4215 175 383 0 4096 0
Current children cumulated CPU time (s) 170.42
Current children cumulated vsize (KiB) 152016

[startup+222.301 s]
/proc/loadavg: 1.05 1.03 1.01 2/108 24037
/proc/meminfo: memFree=1267260/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=226.56
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 15062 27987 47 8 1243 245 21123 45 15 0 1 0 11918163 137310208 6285 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 20
/proc/24013/statm: 33523 6285 1142 1 0 5160 0
[pid=24037] ppid=24013 vsize=18248 CPUtime=7.43
/proc/24037/stat : 24037 (wbo1.4a) R 24013 24037 24037 0 -1 4202496 5081 0 0 0 738 5 0 0 25 0 1 0 11939649 18685952 3832 1992294400 134512640 135751879 4286607520 18446744073709551615 134516977 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/24037/statm: 4562 3832 139 303 0 4257 0
Current children cumulated CPU time (s) 233.99
Current children cumulated vsize (KiB) 152340

[startup+282.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/108 24037
/proc/meminfo: memFree=1247544/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=230.01
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 15154 27987 47 8 1545 288 21123 45 15 0 1 0 11918163 137310208 6285 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 20
/proc/24013/statm: 33523 6285 1142 1 0 5160 0
[pid=24037] ppid=24013 vsize=38180 CPUtime=67.42
/proc/24037/stat : 24037 (wbo1.4a) R 24013 24037 24037 0 -1 4202496 10036 0 0 0 6710 32 0 0 25 0 1 0 11939649 39096320 8787 1992294400 134512640 135751879 4286607520 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/24037/statm: 9545 8787 139 303 0 9240 0
Current children cumulated CPU time (s) 297.43
Current children cumulated vsize (KiB) 172272

[startup+342.302 s]
/proc/loadavg: 1.08 1.03 1.01 2/108 24042
/proc/meminfo: memFree=1232664/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=334.45
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 16417 40915 47 8 1848 346 31159 92 16 0 1 0 11918163 137310208 6286 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159836005329808152 0 0 17 1 0 0 20
/proc/24013/statm: 33523 6286 1142 1 0 5160 0
[pid=24042] ppid=24013 vsize=53056 CPUtime=26.4
/proc/24042/stat : 24042 (wbo1.4b) R 24013 24042 24042 0 -1 4202496 13713 0 0 0 2635 5 0 0 25 0 1 0 11949737 54329344 12459 1992294400 134512640 135751879 4291431648 18446744073709551615 134523933 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/24042/statm: 13264 12459 142 303 0 12959 0
Current children cumulated CPU time (s) 360.85
Current children cumulated vsize (KiB) 187148

[startup+402.301 s]
/proc/loadavg: 1.17 1.07 1.02 2/120 24059
/proc/meminfo: memFree=1093856/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=388.58
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 17682 58340 47 8 2176 396 36185 101 15 0 1 0 11918163 137310208 6288 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 20
/proc/24013/statm: 33523 6288 1142 1 0 5160 0
[pid=24047] ppid=24013 vsize=1489452 CPUtime=37.47
/proc/24047/stat : 24047 (java) S 24013 24047 24047 0 -1 4202496 50055 0 91 0 3723 24 0 0 16 0 13 0 11954806 1525198848 45602 1992294400 134512640 134550932 4292352544 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 4
/proc/24047/statm: 372363 45602 1437 10 0 369665 0
[pid=24047/tid=24048] ppid=24013 vsize=1489452 CPUtime=34.13
/proc/24047/task/24048/stat : 24048 (java) R 24013 24047 24047 0 -1 4202560 30905 0 58 0 3396 17 0 0 25 0 13 0 11954815 1525198848 45602 1992294400 134512640 134550932 4292352544 18446744073709551615 4109440174 0 4 0 16800975 0 0 0 -1 1 0 0 29
[pid=24047/tid=24049] ppid=24013 vsize=1489452 CPUtime=0.34
/proc/24047/task/24049/stat : 24049 (java) S 24013 24047 24047 0 -1 4202560 4989 0 0 0 33 1 0 0 18 0 13 0 11954823 1525198848 45602 1992294400 134512640 134550932 4292352544 18446744073709551615 4294960144 0 4 0 16800975 18446604437871797504 0 0 -1 1 0 0 0
[pid=24047/tid=24050] ppid=24013 vsize=1489452 CPUtime=0.28
/proc/24047/task/24050/stat : 24050 (java) S 24013 24047 24047 0 -1 4202560 4922 0 0 0 27 1 0 0 18 0 13 0 11954823 1525198848 45602 1992294400 134512640 134550932 4292352544 18446744073709551615 4294960144 0 4 0 16800975 18446604437871797504 0 0 -1 0 0 0 0
[pid=24047/tid=24051] ppid=24013 vsize=1489452 CPUtime=0
/proc/24047/task/24051/stat : 24051 (java) S 24013 24047 24047 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 13 0 11954827 1525198848 45602 1992294400 134512640 134550932 4292352544 18446744073709551615 4294960144 0 0 0 16800975 18446604437871797504 0 0 -1 1 0 0 0
[pid=24047/tid=24052] ppid=24013 vsize=1489452 CPUtime=0
/proc/24047/task/24052/stat : 24052 (java) S 24013 24047 24047 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 11954827 1525198848 45602 1992294400 134512640 134550932 4292352544 18446744073709551615 4294960144 0 4 0 16800975 18446604437871797504 0 0 -1 0 0 0 0
[pid=24047/tid=24053] ppid=24013 vsize=1489452 CPUtime=0
/proc/24047/task/24053/stat : 24053 (java) S 24013 24047 24047 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 11954827 1525198848 45602 1992294400 134512640 134550932 4292352544 18446744073709551615 4294960144 0 4 0 16800975 18446604437871797504 0 0 -1 0 0 0 0

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

/proc/24135/statm: 7513 7225 175 383 0 7128 0
Current children cumulated CPU time (s) 1126.44
Current children cumulated vsize (KiB) 164144

[startup+1122.3 s]
/proc/loadavg: 1.08 1.10 1.02 2/108 24148
/proc/meminfo: memFree=1247092/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=1179.46
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 40896 297739 47 100 5914 1124 110628 280 15 0 1 0 11918163 137310208 6297 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159836005329808152 0 0 17 1 0 0 20
/proc/24013/statm: 33523 6297 1142 1 0 5160 0
[pid=24146] ppid=24013 vsize=34052 CPUtime=10.45
/proc/24146/stat : 24146 (bsolo_pb10) R 24013 24146 24146 0 -1 4202496 7165 0 0 0 1039 6 0 0 25 0 1 0 12029341 34869248 5967 1992294400 134512640 137138936 4288720144 18446744073709551615 134566461 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/24146/statm: 8513 5967 184 642 0 7869 0
Current children cumulated CPU time (s) 1189.91
Current children cumulated vsize (KiB) 168144

[startup+1182.3 s]
/proc/loadavg: 1.10 1.10 1.03 2/108 24148
/proc/meminfo: memFree=1193400/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=1183.29
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 41002 297739 47 100 6214 1207 110628 280 15 0 1 0 11918163 137310208 6298 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159836005329808152 0 0 17 1 0 0 20
/proc/24013/statm: 33523 6298 1142 1 0 5160 0
[pid=24146] ppid=24013 vsize=88376 CPUtime=70.1
/proc/24146/stat : 24146 (bsolo_pb10) R 24013 24146 24146 0 -1 4202496 21066 0 0 0 6986 24 0 0 25 0 1 0 12029341 90497024 19553 1992294400 134512640 137138936 4288720144 18446744073709551615 134542802 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/24146/statm: 22094 19553 192 642 0 21450 0
Current children cumulated CPU time (s) 1253.39
Current children cumulated vsize (KiB) 222468

[startup+1242.3 s]
/proc/loadavg: 1.07 1.10 1.03 2/108 24156
/proc/meminfo: memFree=1258252/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=1297.9
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 43460 329989 47 100 6519 1270 121686 315 15 0 1 0 11918163 137310208 6298 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 20
/proc/24013/statm: 33523 6298 1142 1 0 5160 0
[pid=24156] ppid=24013 vsize=13956 CPUtime=18.93
/proc/24156/stat : 24156 (clasp-1.3.3-x86) R 24013 24156 24156 0 -1 4202496 3740 0 0 0 1891 2 0 0 25 0 1 0 12040499 14290944 3208 1992294400 134512640 136080129 4287115856 18446744073709551615 134588674 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/24156/statm: 3489 3208 175 383 0 3104 0
Current children cumulated CPU time (s) 1316.83
Current children cumulated vsize (KiB) 148048

[startup+1302.3 s]
/proc/loadavg: 1.06 1.09 1.02 2/108 24158
/proc/meminfo: memFree=1250068/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=1301.26
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 43541 329989 47 100 6814 1311 121686 315 15 0 1 0 11918163 137310208 6298 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 20
/proc/24013/statm: 33523 6298 1142 1 0 5160 0
[pid=24156] ppid=24013 vsize=21788 CPUtime=78.93
/proc/24156/stat : 24156 (clasp-1.3.3-x86) R 24013 24156 24156 0 -1 4202496 5696 0 0 0 7889 4 0 0 25 0 1 0 12040499 22310912 5164 1992294400 134512640 136080129 4287115856 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/24156/statm: 5447 5164 175 383 0 5062 0
Current children cumulated CPU time (s) 1380.19
Current children cumulated vsize (KiB) 155880

[startup+1362.3 s]
/proc/loadavg: 1.06 1.08 1.02 2/108 24169
/proc/meminfo: memFree=1258128/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=1425.89
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 47140 345861 47 100 7126 1370 133766 327 15 0 1 0 11918163 137310208 6298 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159836005329808152 0 0 17 1 0 0 20
/proc/24013/statm: 33523 6298 1142 1 0 5160 0
[pid=24169] ppid=24013 vsize=13824 CPUtime=17.71
/proc/24169/stat : 24169 (clasp-1.3.3-x86) R 24013 24169 24169 0 -1 4202496 3697 0 0 0 1768 3 0 0 25 0 1 0 12052610 14155776 3168 1992294400 134512640 136080129 4289308736 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24169/statm: 3456 3168 175 383 0 3071 0
Current children cumulated CPU time (s) 1443.6
Current children cumulated vsize (KiB) 147916

[startup+1422.31 s]
/proc/loadavg: 1.02 1.07 1.02 2/108 24177
/proc/meminfo: memFree=1258128/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=1490.38
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 49623 355925 47 100 7433 1435 139831 339 16 0 1 0 11918163 137310208 6299 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159836005329808152 0 0 17 1 0 0 20
/proc/24013/statm: 33523 6299 1142 1 0 5160 0
[pid=24175] ppid=24013 vsize=13824 CPUtime=16.7
/proc/24175/stat : 24175 (clasp-1.3.3-x86) R 24013 24175 24175 0 -1 4202496 3698 0 0 0 1668 2 0 0 25 0 1 0 12058723 14155776 3168 1992294400 134512640 136080129 4290708736 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24175/statm: 3456 3168 175 383 0 3071 0
Current children cumulated CPU time (s) 1507.08
Current children cumulated vsize (KiB) 147916

[startup+1482.3 s]
/proc/loadavg: 1.04 1.07 1.02 2/108 24177
/proc/meminfo: memFree=1250068/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=1493.96
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 49707 355925 47 100 7726 1500 139831 339 15 0 1 0 11918163 137310208 6299 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159836005329808152 0 0 17 1 0 0 20
/proc/24013/statm: 33523 6299 1142 1 0 5160 0
[pid=24175] ppid=24013 vsize=21788 CPUtime=76.66
/proc/24175/stat : 24175 (clasp-1.3.3-x86) R 24013 24175 24175 0 -1 4202496 5704 0 0 0 7660 6 0 0 25 0 1 0 12058723 22310912 5174 1992294400 134512640 136080129 4290708736 18446744073709551615 134842499 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24175/statm: 5447 5174 175 383 0 5062 0
Current children cumulated CPU time (s) 1570.62
Current children cumulated vsize (KiB) 155880

[startup+1542.3 s]
/proc/loadavg: 1.01 1.05 1.01 2/108 24188
/proc/meminfo: memFree=1258004/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=1618.42
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 53394 371684 47 100 8036 1563 151889 354 15 0 1 0 11918163 137310208 6300 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 20
/proc/24013/statm: 33523 6300 1142 1 0 5160 0
[pid=24188] ppid=24013 vsize=13824 CPUtime=15.75
/proc/24188/stat : 24188 (clasp-1.3.3-x86) R 24013 24188 24188 0 -1 4202496 3699 0 0 0 1573 2 0 0 25 0 1 0 12070817 14155776 3168 1992294400 134512640 136080129 4290179056 18446744073709551615 134808135 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/24188/statm: 3456 3168 175 383 0 3071 0
Current children cumulated CPU time (s) 1634.17
Current children cumulated vsize (KiB) 147916

[startup+1602.3 s]
/proc/loadavg: 1.00 1.04 1.01 2/108 24190
/proc/meminfo: memFree=1249944/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=1621.78
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 53485 371684 47 100 8333 1602 151889 354 15 0 1 0 11918163 137310208 6300 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 20
/proc/24013/statm: 33523 6300 1142 1 0 5160 0
[pid=24188] ppid=24013 vsize=21788 CPUtime=75.73
/proc/24188/stat : 24188 (clasp-1.3.3-x86) R 24013 24188 24188 0 -1 4202496 5695 0 0 0 7569 4 0 0 25 0 1 0 12070817 22310912 5164 1992294400 134512640 136080129 4290179056 18446744073709551615 134803211 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/24188/statm: 5447 5164 175 383 0 5062 0
Current children cumulated CPU time (s) 1697.51
Current children cumulated vsize (KiB) 155880

[startup+1662.3 s]
/proc/loadavg: 1.04 1.04 1.01 2/108 24201
/proc/meminfo: memFree=1257756/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=1746.37
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 57101 387519 47 100 8651 1645 163972 369 15 0 1 0 11918163 137310208 6301 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 20
/proc/24013/statm: 33523 6301 1142 1 0 5160 0
[pid=24201] ppid=24013 vsize=13824 CPUtime=14.59
/proc/24201/stat : 24201 (clasp-1.3.3-x86) R 24013 24201 24201 0 -1 4202496 3697 0 0 0 1456 3 0 0 25 0 1 0 12082925 14155776 3167 1992294400 134512640 136080129 4287516464 18446744073709551615 134599302 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/24201/statm: 3456 3167 175 383 0 3071 0
Current children cumulated CPU time (s) 1760.96
Current children cumulated vsize (KiB) 147916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1699.51 s]
/proc/loadavg: 1.07 1.05 1.01 2/108 24201
/proc/meminfo: memFree=1253664/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=1748.45
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 57181 387519 47 100 8837 1667 163972 369 15 0 1 0 11918163 137310208 6301 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 20
/proc/24013/statm: 33523 6301 1142 1 0 5160 0
[pid=24201] ppid=24013 vsize=17924 CPUtime=51.57
/proc/24201/stat : 24201 (clasp-1.3.3-x86) R 24013 24201 24201 0 -1 4202496 4745 0 0 0 5153 4 0 0 25 0 1 0 12082925 18354176 4215 1992294400 134512640 136080129 4287516464 18446744073709551615 134588723 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24201/statm: 4481 4215 175 383 0 4096 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 152016

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

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

[startup+1699.51 s]
/proc/loadavg: 1.07 1.05 1.01 2/108 24201
/proc/meminfo: memFree=1253664/2059040 swapFree=4192956/4192956
[pid=24013] ppid=24011 vsize=134092 CPUtime=1748.45
/proc/24013/stat : 24013 (python) S 24011 24013 23823 0 -1 4202496 57181 387519 47 100 8837 1667 163972 369 15 0 1 0 11918163 137310208 6301 1992294400 4194304 4196484 140735423265616 18446744073709551615 208159944207 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 20
/proc/24013/statm: 33523 6301 1142 1 0 5160 0
[pid=24201] ppid=24013 vsize=17924 CPUtime=51.57
/proc/24201/stat : 24201 (clasp-1.3.3-x86) R 24013 24201 24201 0 -1 4202496 4745 0 0 0 5153 4 0 0 25 0 1 0 12082925 18354176 4215 1992294400 134512640 136080129 4287516464 18446744073709551615 134588723 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24201/statm: 4481 4215 175 383 0 4096 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 152016

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24013 and gives
#  childrusage.ru_utime.tv_sec=1728
#  childrusage.ru_utime.tv_usec=100288
#  childrusage.ru_stime.tv_sec=20
#  childrusage.ru_stime.tv_usec=370903
# CPU time returned by wait4() is 1748.47
# 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): 1699.53
CPU time (s): 1800.02
CPU user time (s): 1779.62
CPU system time (s): 20.4
CPU usage (%): 105.913
Max. virtual memory (cumulated for all children) (KiB): 1626296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1728.1
system time used= 20.3709
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 444700
page faults= 147
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15293
involuntary context switches= 25115

runsolver used 3.55146 second user time and 8.50871 second system time

The end

Launcher Data 

Begin job on node057 at 2010-07-06 19:25:17
IDJOB=2684932
IDBENCH=73961
IDSOLVER=1178
FILE ID=node057/2684932-1278437117
PBS_JOBID= 11233488
Free space on /tmp= 62508 MiB

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

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

MD5SUM BENCH= 336dbbe12a18bfd6b8d34c583a70b44b
RANDOM SEED=1630649226

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1324704 kB
Buffers:        112548 kB
Cached:         472216 kB
SwapCached:          0 kB
Active:         206832 kB
Inactive:       437700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1324704 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           23880 kB
Writeback:           0 kB
AnonPages:       59756 kB
Mapped:          14508 kB
Slab:            67684 kB
PageTables:       4160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183280 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= 62484 MiB
End job on node057 at 2010-07-06 19:53:40