Trace number 2675943

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.06 1675.33

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl.opb
MD5SUM70ea01a607f0d01f6199fb93098b84d8
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1799.77
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables77106
Total number of constraints218779
Number of constraints which are clauses205559
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13220
Minimum length of a constraint1
Maximum length of a constraint15
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.97 0.80 0.83 3/106 4580
/proc/meminfo: memFree=1556620/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=16708 CPUtime=0
/proc/4580/stat : 4580 (python) R 4578 4580 3991 0 -1 4202496 761 0 0 0 0 0 0 0 18 0 1 0 87140052 17108992 524 1992294400 4194304 4196484 140734740384544 18446744073709551615 271798044807 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4580/statm: 4177 524 281 1 0 273 0

[startup+0.064999 s]
/proc/loadavg: 0.97 0.80 0.83 3/106 4580
/proc/meminfo: memFree=1556620/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=18488 CPUtime=0.05
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 2067 0 0 0 3 2 0 0 18 0 1 0 87140052 18931712 1068 1992294400 4194304 4196484 140736028846240 18446744073709551615 271797999616 0 2147483391 16781312 2 18446744071699387582 0 0 17 1 0 0 0
/proc/4580/statm: 4622 1068 423 1 0 602 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18488

[startup+0.104048 s]
/proc/loadavg: 0.97 0.80 0.83 3/106 4580
/proc/meminfo: memFree=1556620/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=34216 CPUtime=0.09
/proc/4580/stat : 4580 (python) R 4578 4580 3991 0 -1 4202496 2422 0 0 0 5 4 0 0 18 0 1 0 87140052 35037184 1394 1992294400 4194304 4196484 140736028846240 18446744073709551615 47127798284869 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4580/statm: 8554 1394 462 1 0 911 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34216

[startup+0.301084 s]
/proc/loadavg: 0.97 0.80 0.83 3/106 4580
/proc/meminfo: memFree=1556620/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=71508 CPUtime=0.26
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 4146 0 0 0 17 9 0 0 18 0 1 0 87140052 73224192 2956 1992294400 4194304 4196484 140736028846240 18446744073709551615 271797999616 0 2147483391 16781312 2 18446744071699387582 0 0 17 1 0 0 0
/proc/4580/statm: 17877 2956 693 1 0 2364 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 71508

[startup+0.701157 s]
/proc/loadavg: 0.97 0.80 0.83 3/106 4580
/proc/meminfo: memFree=1556620/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=101644 CPUtime=0.63
/proc/4580/stat : 4580 (python) R 4578 4580 3991 0 -1 4202496 5554 0 0 0 41 22 0 0 18 0 1 0 87140052 104083456 4231 1992294400 4194304 4196484 140736028846240 18446744073709551615 47127798432043 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4580/statm: 25411 4231 1023 1 0 3268 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 101644

[startup+1.50131 s]
/proc/loadavg: 0.89 0.79 0.82 2/107 4585
/proc/meminfo: memFree=1536896/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=132048 CPUtime=1.23
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 10250 929 0 0 89 34 0 0 17 0 1 0 87140052 135217152 6305 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159688670771686108 0 0 17 0 0 0 0
/proc/4580/statm: 33012 6305 1133 1 0 5164 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 132048

[startup+3.1016 s]
/proc/loadavg: 0.89 0.79 0.82 2/108 4586
/proc/meminfo: memFree=1513576/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=132048 CPUtime=1.35
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 10258 929 0 0 100 35 0 0 15 0 1 0 87140052 135217152 6305 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159688670771686108 0 0 17 0 0 0 0
/proc/4580/statm: 33012 6305 1133 1 0 5164 0
[pid=4586] ppid=4580 vsize=23724 CPUtime=1.75
/proc/4586/stat : 4586 (clasp-1.3.3-x86) R 4580 4586 4586 0 -1 4202496 6476 0 0 0 172 3 0 0 21 0 1 0 87140186 24293376 5593 1992294400 134512640 136080129 4294554512 18446744073709551615 134716383 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4586/statm: 5931 5593 175 383 0 5546 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 155772

[startup+6.3012 s]
/proc/loadavg: 0.89 0.79 0.82 2/108 4586
/proc/meminfo: memFree=1512336/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=132048 CPUtime=1.57
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 10272 929 0 0 120 37 0 0 16 0 1 0 87140052 135217152 6305 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159688670771686108 0 0 17 0 0 0 0
/proc/4580/statm: 33012 6305 1133 1 0 5164 0
[pid=4586] ppid=4580 vsize=24524 CPUtime=4.95
/proc/4586/stat : 4586 (clasp-1.3.3-x86) R 4580 4586 4586 0 -1 4202496 6679 0 0 0 490 5 0 0 25 0 1 0 87140186 25112576 5796 1992294400 134512640 136080129 4294554512 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4586/statm: 6131 5796 175 383 0 5746 0
Current children cumulated CPU time (s) 6.52
Current children cumulated vsize (KiB) 156572

[startup+12.7009 s]
/proc/loadavg: 0.91 0.79 0.82 2/108 4589
/proc/meminfo: memFree=1514328/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=12.22
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 11556 8716 0 0 166 43 1005 8 15 0 1 0 87140052 137326592 6327 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159688670771686108 0 0 17 0 0 0 0
/proc/4580/statm: 33527 6327 1143 1 0 5164 0
[pid=4589] ppid=4580 vsize=23460 CPUtime=1.18
/proc/4589/stat : 4589 (clasp-1.3.3-x86) R 4580 4589 4589 0 -1 4202496 6425 0 0 0 116 2 0 0 19 0 1 0 87141203 24023040 5544 1992294400 134512640 136080129 4293019424 18446744073709551615 134803069 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4589/statm: 5865 5544 175 383 0 5480 0
Current children cumulated CPU time (s) 13.4
Current children cumulated vsize (KiB) 157568

[startup+25.5007 s]
/proc/loadavg: 0.92 0.80 0.82 2/108 4589
/proc/meminfo: memFree=1511980/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=13.14
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 11603 8716 0 0 249 52 1005 8 15 0 1 0 87140052 137326592 6327 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159688670771686108 0 0 17 0 0 0 0
/proc/4580/statm: 33527 6327 1143 1 0 5164 0
[pid=4589] ppid=4580 vsize=25884 CPUtime=13.91
/proc/4589/stat : 4589 (clasp-1.3.3-x86) R 4580 4589 4589 0 -1 4202496 7021 0 0 0 1388 3 0 0 25 0 1 0 87141203 26505216 6140 1992294400 134512640 136080129 4293019424 18446744073709551615 134849634 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4589/statm: 6471 6140 175 383 0 6086 0
Current children cumulated CPU time (s) 27.05
Current children cumulated vsize (KiB) 159992

[startup+51.1005 s]
/proc/loadavg: 1.02 0.83 0.83 2/108 4591
/proc/meminfo: memFree=1509376/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=14.91
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 11689 8716 0 0 409 69 1005 8 15 0 1 0 87140052 137326592 6327 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159688670771686108 0 0 17 0 0 0 0
/proc/4580/statm: 33527 6327 1143 1 0 5164 0
[pid=4589] ppid=4580 vsize=28636 CPUtime=39.35
/proc/4589/stat : 4589 (clasp-1.3.3-x86) R 4580 4589 4589 0 -1 4202496 7702 0 0 0 3929 6 0 0 25 0 1 0 87141203 29323264 6821 1992294400 134512640 136080129 4293019424 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4589/statm: 7159 6821 175 383 0 6774 0
Current children cumulated CPU time (s) 54.26
Current children cumulated vsize (KiB) 162744

[startup+102.309 s]
/proc/loadavg: 1.08 0.87 0.84 3/108 4594
/proc/meminfo: memFree=1495984/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=69.29
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 12934 17607 0 0 781 114 6018 16 16 0 1 0 87140052 137326592 6331 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159688670771686108 0 0 17 0 0 0 0
/proc/4580/statm: 33527 6331 1143 1 0 5164 0
[pid=4594] ppid=4580 vsize=45148 CPUtime=39.99
/proc/4594/stat : 4594 (wbo1.4a) R 4580 4594 4594 0 -1 4202496 12880 0 0 0 3972 27 0 0 25 0 1 0 87146257 46231552 10210 1992294400 134512640 135751879 4294009680 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4594/statm: 11287 10210 139 303 0 10982 0
Current children cumulated CPU time (s) 109.28
Current children cumulated vsize (KiB) 179256

[startup+162.301 s]
/proc/loadavg: 1.10 0.91 0.85 2/108 4599
/proc/meminfo: memFree=1508384/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=124.23
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 14238 32121 0 0 1164 162 11046 51 15 0 1 0 87140052 137326592 6332 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159688670771686108 0 0 17 0 0 0 0
/proc/4580/statm: 33527 6332 1143 1 0 5164 0
[pid=4599] ppid=4580 vsize=29768 CPUtime=48.95
/proc/4599/stat : 4599 (clasp-1.3.3-x86) R 4580 4599 4599 0 -1 4202496 7981 0 0 0 4890 5 0 0 25 0 1 0 87151354 30482432 7096 1992294400 134512640 136080129 4287145456 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4599/statm: 7442 7096 175 383 0 7057 0
Current children cumulated CPU time (s) 173.18
Current children cumulated vsize (KiB) 163876

[startup+222.301 s]
/proc/loadavg: 1.08 0.94 0.86 2/108 4604
/proc/meminfo: memFree=1505036/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=229.45
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 15455 41976 0 0 1581 213 21091 60 16 0 1 0 87140052 137326592 6333 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159836005329808092 0 0 17 1 0 0 0
/proc/4580/statm: 33527 6333 1143 1 0 5164 0
[pid=4604] ppid=4580 vsize=35992 CPUtime=8
/proc/4604/stat : 4604 (wbo1.4a) R 4580 4604 4604 0 -1 4202496 10598 0 0 0 791 9 0 0 25 0 1 0 87161476 36855808 7925 1992294400 134512640 135751879 4287336656 18446744073709551615 134620495 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4604/statm: 8998 7925 139 303 0 8693 0
Current children cumulated CPU time (s) 237.45
Current children cumulated vsize (KiB) 170100

[startup+282.302 s]
/proc/loadavg: 1.03 0.95 0.87 3/108 4606
/proc/meminfo: memFree=1488916/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=234.17
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 15539 41976 0 0 1998 268 21091 60 16 0 1 0 87140052 137326592 6333 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159836005329808092 0 0 17 1 0 0 0
/proc/4580/statm: 33527 6333 1143 1 0 5164 0
[pid=4604] ppid=4580 vsize=52400 CPUtime=67.63
/proc/4604/stat : 4604 (wbo1.4a) R 4580 4604 4604 0 -1 4202496 14660 0 0 0 6725 38 0 0 25 0 1 0 87161476 53657600 11987 1992294400 134512640 135751879 4287336656 18446744073709551615 134616334 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4604/statm: 13100 11987 139 303 0 12795 0
Current children cumulated CPU time (s) 301.8
Current children cumulated vsize (KiB) 186508

[startup+342.301 s]
/proc/loadavg: 1.07 0.97 0.88 2/108 4611
/proc/meminfo: memFree=1398644/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=339.53
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 16804 59692 0 0 2423 321 31092 117 15 0 1 0 87140052 137326592 6334 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159836005329808092 0 0 17 1 0 0 0
/proc/4580/statm: 33527 6334 1143 1 0 5164 0
[pid=4609] ppid=4580 vsize=142640 CPUtime=26.63
/proc/4609/stat : 4609 (wbo1.4b) R 4580 4609 4609 0 -1 4202496 37101 0 0 0 2650 13 0 0 25 0 1 0 87171600 146063360 34425 1992294400 134512640 135751879 4290857040 18446744073709551615 134524613 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4609/statm: 35660 34425 142 303 0 35355 0
Current children cumulated CPU time (s) 366.16
Current children cumulated vsize (KiB) 276748

[startup+402.302 s]
/proc/loadavg: 1.07 0.99 0.89 2/120 4626
/proc/meminfo: memFree=1315700/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=394.37
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 18113 103529 0 0 2826 372 36103 136 16 0 1 0 87140052 137326592 6335 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159688670771686108 0 0 17 0 0 0 0
/proc/4580/statm: 33527 6335 1143 1 0 5164 0
[pid=4614] ppid=4580 vsize=1479664 CPUtime=38.17
/proc/4614/stat : 4614 (java) S 4580 4614 4614 0 -1 4202496 56913 0 91 0 3781 36 0 0 16 0 13 0 87176666 1515175936 53660 1992294400 134512640 134550932 4286773552 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7
/proc/4614/statm: 369916 53660 1437 10 0 367218 0
[pid=4614/tid=4615] ppid=4580 vsize=1479664 CPUtime=33.8
/proc/4614/task/4615/stat : 4615 (java) R 4580 4614 4614 0 -1 4202560 30911 0 57 0 3362 18 0 0 25 0 13 0 87176677 1515175936 53660 1992294400 134512640 134550932 4286773552 18446744073709551615 4109959787 0 4 0 16800975 0 0 0 -1 1 0 0 13
[pid=4614/tid=4616] ppid=4580 vsize=1479664 CPUtime=1.12
/proc/4614/task/4616/stat : 4616 (java) S 4580 4614 4614 0 -1 4202560 10099 0 0 0 104 8 0 0 16 0 13 0 87176682 1515175936 53660 1992294400 134512640 134550932 4286773552 18446744073709551615 4294960144 0 4 0 16800975 18446604437860386816 0 0 -1 0 0 0 0
[pid=4614/tid=4617] ppid=4580 vsize=1479664 CPUtime=1.04
/proc/4614/task/4617/stat : 4617 (java) S 4580 4614 4614 0 -1 4202560 11737 0 0 0 100 4 0 0 16 0 13 0 87176682 1515175936 53660 1992294400 134512640 134550932 4286773552 18446744073709551615 4294960144 0 4 0 16800975 18446604437860386816 0 0 -1 1 0 0 0
[pid=4614/tid=4618] ppid=4580 vsize=1479664 CPUtime=0

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

/proc/4704/statm: 12521 12160 175 383 0 12136 0
Current children cumulated CPU time (s) 1143.62
Current children cumulated vsize (KiB) 184192

[startup+1122.3 s]
/proc/loadavg: 1.17 1.10 1.00 2/108 4715
/proc/meminfo: memFree=1476872/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=1195.6
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 41615 441588 0 92 7755 983 110457 365 15 0 1 0 87140052 137326592 6345 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159688670771686108 0 0 17 0 0 0 0
/proc/4580/statm: 33527 6345 1143 1 0 5164 0
[pid=4715] ppid=4580 vsize=59260 CPUtime=12.5
/proc/4715/stat : 4715 (bsolo_pb10) R 4580 4715 4715 0 -1 4202496 14542 0 0 0 1243 7 0 0 25 0 1 0 87251023 60682240 12106 1992294400 134512640 137138936 4292678864 18446744073709551615 136500388 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/4715/statm: 14815 12106 183 642 0 14171 0
Current children cumulated CPU time (s) 1208.1
Current children cumulated vsize (KiB) 193368

[startup+1182.3 s]
/proc/loadavg: 1.13 1.10 1.00 2/108 4717
/proc/meminfo: memFree=1476128/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=1199.92
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 41704 441588 0 92 8137 1033 110457 365 15 0 1 0 87140052 137326592 6345 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159688670771686108 0 0 17 0 0 0 0
/proc/4580/statm: 33527 6345 1143 1 0 5164 0
[pid=4715] ppid=4580 vsize=59788 CPUtime=72.12
/proc/4715/stat : 4715 (bsolo_pb10) R 4580 4715 4715 0 -1 4202496 14679 0 0 0 7202 10 0 0 25 0 1 0 87251023 61222912 12243 1992294400 134512640 137138936 4292678864 18446744073709551615 134542128 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/4715/statm: 14947 12243 183 642 0 14303 0
Current children cumulated CPU time (s) 1272.04
Current children cumulated vsize (KiB) 193896

[startup+1242.3 s]
/proc/loadavg: 1.05 1.08 1.00 2/108 4734
/proc/meminfo: memFree=1499564/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=1314.71
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 44198 465093 0 92 8531 1090 121465 385 15 0 1 0 87140052 137326592 6345 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159688670771686108 0 0 17 0 0 0 0
/proc/4580/statm: 33527 6345 1143 1 0 5164 0
[pid=4723] ppid=4580 vsize=26816 CPUtime=21.38
/proc/4723/stat : 4723 (clasp-1.3.3-x86) R 4580 4723 4723 0 -1 4202496 7265 0 0 0 2134 4 0 0 25 0 1 0 87262128 27459584 6375 1992294400 134512640 136080129 4292550000 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4723/statm: 6704 6375 175 383 0 6319 0
Current children cumulated CPU time (s) 1336.09
Current children cumulated vsize (KiB) 160924

[startup+1302.3 s]
/proc/loadavg: 1.09 1.09 1.01 2/108 4734
/proc/meminfo: memFree=1493736/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=1319.08
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 44275 465093 0 92 8919 1139 121465 385 15 0 1 0 87140052 137326592 6345 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159688670771686108 0 0 17 0 0 0 0
/proc/4580/statm: 33527 6345 1143 1 0 5164 0
[pid=4723] ppid=4580 vsize=32668 CPUtime=80.99
/proc/4723/stat : 4723 (clasp-1.3.3-x86) R 4580 4723 4723 0 -1 4202496 8727 0 0 0 8093 6 0 0 25 0 1 0 87262128 33452032 7837 1992294400 134512640 136080129 4292550000 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/4723/statm: 8167 7837 175 383 0 7782 0
Current children cumulated CPU time (s) 1400.07
Current children cumulated vsize (KiB) 166776

[startup+1362.3 s]
/proc/loadavg: 1.07 1.08 1.00 2/108 4745
/proc/meminfo: memFree=1499688/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=1444.32
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 47965 490690 0 92 9338 1195 133492 407 15 0 1 0 87140052 137326592 6347 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159836005329808092 0 0 17 1 0 0 0
/proc/4580/statm: 33527 6347 1143 1 0 5164 0
[pid=4745] ppid=4580 vsize=26680 CPUtime=20.1
/proc/4745/stat : 4745 (clasp-1.3.3-x86) R 4580 4745 4745 0 -1 4202496 7235 0 0 0 2007 3 0 0 25 0 1 0 87274259 27320320 6346 1992294400 134512640 136080129 4294279008 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/4745/statm: 6670 6346 175 383 0 6285 0
Current children cumulated CPU time (s) 1464.42
Current children cumulated vsize (KiB) 160788

[startup+1422.31 s]
/proc/loadavg: 1.12 1.10 1.01 2/108 4753
/proc/meminfo: memFree=1499688/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=1509.7
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 50470 507519 0 92 9748 1248 139556 418 15 0 1 0 87140052 137326592 6347 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159688670771686108 0 0 17 0 0 0 0
/proc/4580/statm: 33527 6347 1143 1 0 5164 0
[pid=4753] ppid=4580 vsize=26548 CPUtime=19.1
/proc/4753/stat : 4753 (clasp-1.3.3-x86) R 4580 4753 4753 0 -1 4202496 7209 0 0 0 1906 4 0 0 25 0 1 0 87280372 27185152 6321 1992294400 134512640 136080129 4294786368 18446744073709551615 134803069 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4753/statm: 6637 6321 175 383 0 6252 0
Current children cumulated CPU time (s) 1528.8
Current children cumulated vsize (KiB) 160656

[startup+1482.3 s]
/proc/loadavg: 1.04 1.08 1.00 2/108 4755
/proc/meminfo: memFree=1494232/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=1513.96
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 50540 507519 0 92 10131 1291 139556 418 15 0 1 0 87140052 137326592 6347 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159688670771686108 0 0 17 0 0 0 0
/proc/4580/statm: 33527 6347 1143 1 0 5164 0
[pid=4753] ppid=4580 vsize=32284 CPUtime=79.07
/proc/4753/stat : 4753 (clasp-1.3.3-x86) R 4580 4753 4753 0 -1 4202496 8616 0 0 0 7902 5 0 0 25 0 1 0 87280372 33058816 7728 1992294400 134512640 136080129 4294786368 18446744073709551615 134803117 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4753/statm: 8071 7728 175 383 0 7686 0
Current children cumulated CPU time (s) 1593.03
Current children cumulated vsize (KiB) 166392

[startup+1542.3 s]
/proc/loadavg: 1.06 1.08 1.00 3/108 4766
/proc/meminfo: memFree=1499564/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=1639.2
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 54327 533126 0 92 10552 1343 151588 437 16 0 1 0 87140052 137326592 6348 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159836005329808092 0 0 17 1 0 0 0
/proc/4580/statm: 33527 6348 1143 1 0 5164 0
[pid=4764] ppid=4580 vsize=26548 CPUtime=18.33
/proc/4764/stat : 4764 (clasp-1.3.3-x86) R 4580 4764 4764 0 -1 4202496 7204 0 0 0 1829 4 0 0 25 0 1 0 87292436 27185152 6309 1992294400 134512640 136080129 4288359456 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4764/statm: 6637 6309 175 383 0 6252 0
Current children cumulated CPU time (s) 1657.53
Current children cumulated vsize (KiB) 160656

[startup+1602.3 s]
/proc/loadavg: 1.08 1.07 1.00 2/108 4766
/proc/meminfo: memFree=1494356/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=1643.8
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 54409 533126 0 92 10957 1398 151588 437 16 0 1 0 87140052 137326592 6348 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159836005329808092 0 0 17 1 0 0 0
/proc/4580/statm: 33527 6348 1143 1 0 5164 0
[pid=4764] ppid=4580 vsize=32000 CPUtime=77.97
/proc/4764/stat : 4764 (clasp-1.3.3-x86) R 4580 4764 4764 0 -1 4202496 8568 0 0 0 7790 7 0 0 25 0 1 0 87292436 32768000 7673 1992294400 134512640 136080129 4288359456 18446744073709551615 134610270 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/4764/statm: 8000 7673 175 383 0 7615 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 166108

[startup+1662.3 s]
/proc/loadavg: 1.03 1.06 1.00 2/108 4777
/proc/meminfo: memFree=1499688/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=1769.39
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 58151 558710 0 92 11377 1451 163653 458 15 0 1 0 87140052 137326592 6349 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159688670771686108 0 0 17 0 0 0 0
/proc/4580/statm: 33527 6349 1143 1 0 5164 0
[pid=4777] ppid=4580 vsize=26284 CPUtime=16.74
/proc/4777/stat : 4777 (clasp-1.3.3-x86) R 4580 4777 4777 0 -1 4202496 7154 0 0 0 1670 4 0 0 25 0 1 0 87304606 26914816 6265 1992294400 134512640 136080129 4289766992 18446744073709551615 134849100 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4777/statm: 6571 6265 175 383 0 6186 0
Current children cumulated CPU time (s) 1786.13
Current children cumulated vsize (KiB) 160392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1675.31 s]
/proc/loadavg: 1.02 1.06 1.00 2/108 4777
/proc/meminfo: memFree=1498076/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=1770.31
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 58185 558710 0 92 11460 1460 163653 458 15 0 1 0 87140052 137326592 6349 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159688670771686108 0 0 17 0 0 0 0
/proc/4580/statm: 33527 6349 1143 1 0 5164 0
[pid=4777] ppid=4580 vsize=27908 CPUtime=29.75
/proc/4777/stat : 4777 (clasp-1.3.3-x86) R 4580 4777 4777 0 -1 4202496 7551 0 0 0 2971 4 0 0 25 0 1 0 87304606 28577792 6662 1992294400 134512640 136080129 4289766992 18446744073709551615 134803138 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4777/statm: 6977 6662 175 383 0 6592 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 162016

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

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

[startup+1675.31 s]
/proc/loadavg: 1.02 1.06 1.00 2/108 4777
/proc/meminfo: memFree=1498076/2059040 swapFree=4140588/4192956
[pid=4580] ppid=4578 vsize=134108 CPUtime=1770.31
/proc/4580/stat : 4580 (python) S 4578 4580 3991 0 -1 4202496 58185 558710 0 92 11460 1460 163653 458 15 0 1 0 87140052 137326592 6349 1992294400 4194304 4196484 140736028846240 18446744073709551615 271798021647 0 0 16781312 2 159688670771686108 0 0 17 0 0 0 0
/proc/4580/statm: 33527 6349 1143 1 0 5164 0
[pid=4777] ppid=4580 vsize=27908 CPUtime=29.75
/proc/4777/stat : 4777 (clasp-1.3.3-x86) R 4580 4777 4777 0 -1 4202496 7551 0 0 0 2971 4 0 0 25 0 1 0 87304606 28577792 6662 1992294400 134512640 136080129 4289766992 18446744073709551615 134803138 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4777/statm: 6977 6662 175 383 0 6592 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 162016

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4580 and gives
#  childrusage.ru_utime.tv_sec=1751
#  childrusage.ru_utime.tv_usec=146785
#  childrusage.ru_stime.tv_sec=19
#  childrusage.ru_stime.tv_usec=189082
# CPU time returned by wait4() is 1770.34
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1675.33
CPU time (s): 1800.06
CPU user time (s): 1780.84
CPU system time (s): 19.22
CPU usage (%): 107.445
Max. virtual memory (cumulated for all children) (KiB): 1615704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1751.15
system time used= 19.1891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 616897
page faults= 92
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10419
involuntary context switches= 33532

runsolver used 3.60645 second user time and 8.42072 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-21 17:40:37
IDJOB=2675943
IDBENCH=1481
IDSOLVER=1178
FILE ID=node019/2675943-1277134836
PBS_JOBID= 11182093
Free space on /tmp= 62544 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2675943-1277134836/watcher-2675943-1277134836 -o /tmp/evaluation-result-2675943-1277134836/solver-2675943-1277134836 -C 1800 -W 2000 -M 1800  solver HOME/instance-2675943-1277134836.opb 1867160326 

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

MD5SUM BENCH= 70ea01a607f0d01f6199fb93098b84d8
RANDOM SEED=1867160326

node019.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.264
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.52
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.264
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1557148 kB
Buffers:        134104 kB
Cached:         262332 kB
SwapCached:       5796 kB
Active:         226068 kB
Inactive:       184220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1557148 kB
SwapTotal:     4192956 kB
SwapFree:      4140588 kB
Dirty:           29432 kB
Writeback:           0 kB
AnonPages:       12416 kB
Mapped:          13116 kB
Slab:            69804 kB
PageTables:       4084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183736 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= 62524 MiB
End job on node019 at 2010-06-21 18:08:35