Trace number 2676297

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.08 1675.82

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb
MD5SUMa4a494535709e59392e65403b829113d
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 benchmark0.358945
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables6800
Total number of constraints165
Number of constraints which are clauses85
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint80
Maximum length of a constraint85
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 86
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.91 3/106 9244
/proc/meminfo: memFree=1521128/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=24036 CPUtime=0
/proc/9244/stat : 9244 (runsolver) D 9242 9244 9219 0 -1 4202560 82 0 0 0 0 0 0 0 19 0 1 0 54805572 24612864 106 1992294400 4194304 4302564 140734782047888 18446744073709551615 247894483959 0 0 4096 24578 18446744071562154983 0 0 17 1 0 0 0
/proc/9244/statm: 6009 106 69 27 0 2647 0

[startup+0.036682 s]
/proc/loadavg: 0.92 0.98 0.91 3/106 9244
/proc/meminfo: memFree=1521128/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=216 CPUtime=0
/proc/9244/stat : 9244 (python) D 9242 9244 9219 0 -1 4194304 223 0 0 0 0 0 0 0 16 0 1 0 54805572 221184 29 1992294400 4194304 4196484 140735075511488 18446744073709551615 247889739399 0 0 4096 0 18446744071562154983 0 0 17 0 0 0 2
/proc/9244/statm: 54 29 22 1 0 22 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 216

[startup+0.101692 s]
/proc/loadavg: 0.92 0.98 0.91 3/106 9244
/proc/meminfo: memFree=1521128/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=17024 CPUtime=0
/proc/9244/stat : 9244 (python) D 9242 9244 9219 0 -1 4202496 891 0 0 0 0 0 0 0 16 0 1 0 54805572 17432576 645 1992294400 4194304 4196484 140735075511488 18446744073709551615 247894658917 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 8
/proc/9244/statm: 4256 645 311 1 0 352 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 17024

[startup+0.302743 s]
/proc/loadavg: 0.92 0.98 0.91 3/106 9244
/proc/meminfo: memFree=1521128/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=32156 CPUtime=0.08
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 2401 0 14 0 5 3 0 0 15 0 1 0 54805572 32927744 1390 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894661120 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 12
/proc/9244/statm: 8039 1390 459 1 0 911 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32156

[startup+0.701865 s]
/proc/loadavg: 0.92 0.98 0.91 3/106 9244
/proc/meminfo: memFree=1521128/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=70596 CPUtime=0.27
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 3908 0 33 0 16 11 0 0 15 0 1 0 54805572 72290304 2777 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894658917 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 19
/proc/9244/statm: 17649 2777 673 1 0 2136 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 70596

[startup+1.50081 s]
/proc/loadavg: 0.92 0.98 0.91 2/107 9245
/proc/meminfo: memFree=1494952/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=102236 CPUtime=0.68
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 5718 0 42 0 42 26 0 0 16 0 1 0 54805572 104689664 4398 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894662912 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 36
/proc/9244/statm: 25559 4398 1025 1 0 3416 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 102236

[startup+3.10096 s]
/proc/loadavg: 0.92 0.98 0.91 1/107 9249
/proc/meminfo: memFree=1485556/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=132052 CPUtime=1.35
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 10202 920 49 9 89 45 0 1 17 0 1 0 54805572 135221248 6307 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159836005329808071 0 0 17 1 0 0 60
/proc/9244/statm: 33013 6307 1133 1 0 5165 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 132052
heavy processes:

[startup+6.30123 s]
/proc/loadavg: 0.93 0.98 0.91 2/108 9250
/proc/meminfo: memFree=1469860/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=132052 CPUtime=1.59
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 10216 920 49 9 111 47 0 1 15 0 1 0 54805572 135221248 6307 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159836005329808071 0 0 17 1 0 0 60
/proc/9244/statm: 33013 6307 1133 1 0 5165 0
[pid=9250] ppid=9244 vsize=10452 CPUtime=3.36
/proc/9250/stat : 9250 (clasp-1.3.3-x86) R 9244 9250 9250 0 -1 4202496 2661 0 0 0 335 1 0 0 25 0 1 0 54805863 10702848 2346 1992294400 134512640 136080129 4288718304 18446744073709551615 134588624 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9250/statm: 2613 2346 174 383 0 2228 0
Current children cumulated CPU time (s) 4.95
Current children cumulated vsize (KiB) 142504
heavy processes:

[startup+12.7008 s]
/proc/loadavg: 0.93 0.98 0.91 2/108 9250
/proc/meminfo: memFree=1466512/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=132052 CPUtime=2.06
/proc/9244/stat : 9244 (python) R 9242 9244 9219 0 -1 4202496 10239 920 49 9 152 53 0 1 15 0 1 0 54805572 135221248 6307 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894706311 0 0 16781312 2 0 0 0 17 1 0 0 60
/proc/9244/statm: 33013 6307 1133 1 0 5165 0
[pid=9250] ppid=9244 vsize=13152 CPUtime=9.72
/proc/9250/stat : 9250 (clasp-1.3.3-x86) R 9244 9250 9250 0 -1 4202496 3364 0 0 0 970 2 0 0 25 0 1 0 54805863 13467648 3049 1992294400 134512640 136080129 4288718304 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9250/statm: 3288 3049 174 383 0 2903 0
Current children cumulated CPU time (s) 11.78
Current children cumulated vsize (KiB) 145204

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.91 2/108 9253
/proc/meminfo: memFree=1465584/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=13.38
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 11543 5295 49 10 242 64 1027 5 15 0 1 0 54805572 137330688 6329 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159688670771686087 0 0 17 0 0 0 60
/proc/9244/statm: 33528 6329 1143 1 0 5165 0
[pid=9253] ppid=9244 vsize=13648 CPUtime=12.12
/proc/9253/stat : 9253 (clasp-1.3.3-x86) R 9244 9253 9253 0 -1 4202496 3483 0 0 0 1210 2 0 0 25 0 1 0 54806908 13975552 3171 1992294400 134512640 136080129 4286881856 18446744073709551615 134588881 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9253/statm: 3412 3171 174 383 0 3027 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 147760

[startup+51.1011 s]
/proc/loadavg: 1.04 1.00 0.92 2/108 9253
/proc/meminfo: memFree=1461740/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=15.17
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 11625 5295 49 10 401 84 1027 5 15 0 1 0 54805572 137330688 6329 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159688670771686087 0 0 17 0 0 0 60
/proc/9244/statm: 33528 6329 1143 1 0 5165 0
[pid=9253] ppid=9244 vsize=17748 CPUtime=37.71
/proc/9253/stat : 9253 (clasp-1.3.3-x86) R 9244 9253 9253 0 -1 4202496 4504 0 0 0 3768 3 0 0 25 0 1 0 54806908 18173952 4192 1992294400 134512640 136080129 4286881856 18446744073709551615 134804904 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9253/statm: 4437 4192 174 383 0 4052 0
Current children cumulated CPU time (s) 52.88
Current children cumulated vsize (KiB) 151860

[startup+102.309 s]
/proc/loadavg: 1.01 1.00 0.92 2/108 9258
/proc/meminfo: memFree=1422556/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=69.39
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 12887 11116 49 10 763 124 6042 10 15 0 1 0 54805572 137330688 6333 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159688670771686087 0 0 17 0 0 0 60
/proc/9244/statm: 33528 6333 1143 1 0 5165 0
[pid=9258] ppid=9244 vsize=58144 CPUtime=38.67
/proc/9258/stat : 9258 (wbo1.4a) R 9244 9258 9258 0 -1 4202496 14412 0 0 0 3850 17 0 0 25 0 1 0 54811934 59539456 14068 1992294400 134512640 135751879 4290122416 18446744073709551615 134518464 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9258/statm: 14536 14068 139 303 0 14231 0
Current children cumulated CPU time (s) 108.06
Current children cumulated vsize (KiB) 192256

[startup+162.302 s]
/proc/loadavg: 1.06 1.01 0.92 2/108 9263
/proc/meminfo: memFree=1460872/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=124.37
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 14208 31290 49 10 1150 171 11082 34 15 0 1 0 54805572 137330688 6333 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159688670771686087 0 0 17 0 0 0 60
/proc/9244/statm: 33528 6333 1143 1 0 5165 0
[pid=9261] ppid=9244 vsize=19156 CPUtime=47.93
/proc/9261/stat : 9261 (clasp-1.3.3-x86) R 9244 9261 9261 0 -1 4202496 4848 0 0 0 4791 2 0 0 25 0 1 0 54817002 19615744 4530 1992294400 134512640 136080129 4288237008 18446744073709551615 134588820 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9261/statm: 4789 4530 174 383 0 4404 0
Current children cumulated CPU time (s) 172.3
Current children cumulated vsize (KiB) 153268

[startup+222.301 s]
/proc/loadavg: 1.07 1.03 0.93 2/108 9268
/proc/meminfo: memFree=1462484/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=229.53
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 15424 38165 49 10 1571 217 21126 39 15 0 1 0 54805572 137330688 6334 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159836005329808071 0 0 17 1 0 0 60
/proc/9244/statm: 33528 6334 1143 1 0 5165 0
[pid=9268] ppid=9244 vsize=18384 CPUtime=7.03
/proc/9268/stat : 9268 (wbo1.4a) R 9244 9268 9268 0 -1 4202496 4480 0 0 0 698 5 0 0 25 0 1 0 54827094 18825216 4133 1992294400 134512640 135751879 4292760032 18446744073709551615 134518477 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9268/statm: 4596 4133 139 303 0 4291 0
Current children cumulated CPU time (s) 236.56
Current children cumulated vsize (KiB) 152496

[startup+282.301 s]
/proc/loadavg: 1.09 1.03 0.93 3/108 9268
/proc/meminfo: memFree=1370848/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=234.17
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 15509 38165 49 10 1982 270 21126 39 15 0 1 0 54805572 137330688 6334 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159836005329808071 0 0 17 1 0 0 60
/proc/9244/statm: 33528 6334 1143 1 0 5165 0
[pid=9268] ppid=9244 vsize=110840 CPUtime=66.67
/proc/9268/stat : 9268 (wbo1.4a) R 9244 9268 9268 0 -1 4202496 27601 0 0 0 6641 26 0 0 25 0 1 0 54827094 113500160 27254 1992294400 134512640 135751879 4292760032 18446744073709551615 134605082 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/9268/statm: 27710 27254 139 303 0 27405 0
Current children cumulated CPU time (s) 300.84
Current children cumulated vsize (KiB) 244952

[startup+342.302 s]
/proc/loadavg: 1.18 1.06 0.94 2/108 9273
/proc/meminfo: memFree=1437064/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=339.54
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 16790 78820 49 10 2412 320 31142 80 15 0 1 0 54805572 137330688 6337 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159688670771686087 0 0 17 0 0 0 60
/proc/9244/statm: 33528 6337 1143 1 0 5165 0
[pid=9273] ppid=9244 vsize=43908 CPUtime=25.86
/proc/9273/stat : 9273 (wbo1.4b) R 9244 9273 9273 0 -1 4202496 11051 0 0 0 2575 11 0 0 25 0 1 0 54837215 44961792 10506 1992294400 134512640 135751879 4288023840 18446744073709551615 134616545 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9273/statm: 10977 10506 143 303 0 10672 0
Current children cumulated CPU time (s) 365.4
Current children cumulated vsize (KiB) 178020

[startup+402.303 s]
/proc/loadavg: 1.28 1.11 0.96 2/120 9290
/proc/meminfo: memFree=1369196/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=394.46
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 18101 98854 49 10 2829 371 36144 102 15 0 1 0 54805572 137330688 6337 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159836005329808071 0 0 17 1 0 0 60
/proc/9244/statm: 33528 6337 1143 1 0 5165 0
[pid=9278] ppid=9244 vsize=1482092 CPUtime=36.37
/proc/9278/stat : 9278 (java) S 9244 9278 9278 0 -1 4202496 30107 0 32 0 3623 14 0 0 16 0 13 0 54842242 1517662208 28291 1992294400 134512640 134550932 4294628160 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 4
/proc/9278/statm: 370523 28291 1426 10 0 367825 0
[pid=9278/tid=9279] ppid=9244 vsize=1482092 CPUtime=34.82
/proc/9278/task/9279/stat : 9279 (java) R 9244 9278 9278 0 -1 4202560 25199 0 3 0 3471 11 0 0 25 0 13 0 54842249 1517662208 28291 1992294400 134512640 134550932 4294628160 18446744073709551615 4109453670 0 4 0 16800975 0 0 0 -1 0 0 0 3
[pid=9278/tid=9280] ppid=9244 vsize=1482092 CPUtime=0
/proc/9278/task/9280/stat : 9280 (java) S 9244 9278 9278 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 13 0 54842253 1517662208 28291 1992294400 134512640 134550932 4294628160 18446744073709551615 4294960144 0 4 0 16800975 18446604437846696384 0 0 -1 1 0 0 0
[pid=9278/tid=9281] ppid=9244 vsize=1482092 CPUtime=0
/proc/9278/task/9281/stat : 9281 (java) S 9244 9278 9278 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 13 0 54842253 1517662208 28291 1992294400 134512640 134550932 4294628160 18446744073709551615 4294960144 0 4 0 16800975 18446604437846696384 0 0 -1 0 0 0 0
[pid=9278/tid=9282] ppid=9244 vsize=1482092 CPUtime=0
/proc/9278/task/9282/stat : 9282 (java) S 9244 9278 9278 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 13 0 54842255 1517662208 28291 1992294400 134512640 134550932 4294628160 18446744073709551615 4294960144 0 0 0 16800975 18446604437846696384 0 0 -1 0 0 0 0

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

/proc/9368/statm: 6826 6577 174 383 0 6441 0
Current children cumulated CPU time (s) 1078.06
Current children cumulated vsize (KiB) 161416

[startup+1062.3 s]
/proc/loadavg: 1.06 1.08 1.00 3/108 9383
/proc/meminfo: memFree=1444188/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=893.4
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 40509 365241 49 43 7499 915 80647 279 15 0 1 0 54805572 137330688 6347 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159836005329808071 0 0 17 1 0 0 60
/proc/9244/statm: 33528 6347 1143 1 0 5165 0
[pid=9368] ppid=9244 vsize=30836 CPUtime=249.13
/proc/9368/stat : 9368 (clasp-1.3.3-x86) R 9244 9368 9368 0 -1 4202496 7833 0 0 0 24907 6 0 0 25 0 1 0 54886874 31576064 7438 1992294400 134512640 136080129 4291518992 18446744073709551615 134588944 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9368/statm: 7709 7438 174 383 0 7324 0
Current children cumulated CPU time (s) 1142.53
Current children cumulated vsize (KiB) 164948

[startup+1122.3 s]
/proc/loadavg: 1.06 1.08 1.00 2/108 9388
/proc/meminfo: memFree=1423232/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=1198.26
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 41733 374447 49 43 7923 965 110650 288 15 0 1 0 54805572 137330688 6348 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159688670771686087 0 0 17 0 0 0 60
/proc/9244/statm: 33528 6348 1143 1 0 5165 0
[pid=9388] ppid=9244 vsize=62612 CPUtime=8.91
/proc/9388/stat : 9388 (bsolo_pb10) R 9244 9388 9388 0 -1 4202496 13656 0 0 0 881 10 0 0 25 0 1 0 54916906 64114688 13227 1992294400 134512640 137138936 4291844800 18446744073709551615 134542624 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/9388/statm: 15653 13227 192 642 0 15009 0
Current children cumulated CPU time (s) 1207.17
Current children cumulated vsize (KiB) 196724

[startup+1182.3 s]
/proc/loadavg: 1.06 1.08 1.00 2/108 9388
/proc/meminfo: memFree=1326140/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=1202.59
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 41834 374447 49 43 8309 1012 110650 288 16 0 1 0 54805572 137330688 6348 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159688670771686087 0 0 17 0 0 0 60
/proc/9244/statm: 33528 6348 1143 1 0 5165 0
[pid=9388] ppid=9244 vsize=160688 CPUtime=68.53
/proc/9388/stat : 9388 (bsolo_pb10) R 9244 9388 9388 0 -1 4202496 38169 0 0 0 6831 22 0 0 25 0 1 0 54916906 164544512 37740 1992294400 134512640 137138936 4291844800 18446744073709551615 134542770 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/9388/statm: 40172 37740 192 642 0 39528 0
Current children cumulated CPU time (s) 1271.12
Current children cumulated vsize (KiB) 294800

[startup+1242.3 s]
/proc/loadavg: 1.05 1.07 1.00 2/108 9396
/proc/meminfo: memFree=1459812/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=1318.22
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 44344 431281 49 43 8718 1060 121720 324 16 0 1 0 54805572 137330688 6348 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159836005329808071 0 0 17 1 0 0 60
/proc/9244/statm: 33528 6348 1143 1 0 5165 0
[pid=9396] ppid=9244 vsize=15608 CPUtime=17.13
/proc/9396/stat : 9396 (clasp-1.3.3-x86) R 9244 9396 9396 0 -1 4202496 3962 0 0 0 1711 2 0 0 25 0 1 0 54928087 15982592 3638 1992294400 134512640 136080129 4290668112 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9396/statm: 3902 3638 174 383 0 3517 0
Current children cumulated CPU time (s) 1335.35
Current children cumulated vsize (KiB) 149720

[startup+1302.3 s]
/proc/loadavg: 1.13 1.09 1.01 2/108 9398
/proc/meminfo: memFree=1453860/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=1322.77
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 44427 431281 49 43 9125 1108 121720 324 15 0 1 0 54805572 137330688 6348 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159836005329808071 0 0 17 1 0 0 60
/proc/9244/statm: 33528 6348 1143 1 0 5165 0
[pid=9396] ppid=9244 vsize=21488 CPUtime=77.11
/proc/9396/stat : 9396 (clasp-1.3.3-x86) R 9244 9396 9396 0 -1 4202496 5440 0 0 0 7708 3 0 0 25 0 1 0 54928087 22003712 5116 1992294400 134512640 136080129 4290668112 18446744073709551615 134808296 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9396/statm: 5372 5116 174 383 0 4987 0
Current children cumulated CPU time (s) 1399.88
Current children cumulated vsize (KiB) 155600

[startup+1362.3 s]
/proc/loadavg: 1.05 1.07 1.00 2/108 9409
/proc/meminfo: memFree=1459812/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=1448.25
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 48176 446956 49 43 9541 1158 133791 335 15 0 1 0 54805572 137330688 6349 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159688670771686087 0 0 17 0 0 0 60
/proc/9244/statm: 33528 6349 1143 1 0 5165 0
[pid=9409] ppid=9244 vsize=15600 CPUtime=15.93
/proc/9409/stat : 9409 (clasp-1.3.3-x86) R 9244 9409 9409 0 -1 4202496 3961 0 0 0 1591 2 0 0 25 0 1 0 54940197 15974400 3635 1992294400 134512640 136080129 4293182496 18446744073709551615 134589256 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9409/statm: 3900 3635 174 383 0 3515 0
Current children cumulated CPU time (s) 1464.18
Current children cumulated vsize (KiB) 149712

[startup+1422.31 s]
/proc/loadavg: 1.18 1.10 1.01 2/108 9417
/proc/meminfo: memFree=1460928/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=1513.43
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 50745 457191 49 43 9941 1204 139856 342 15 0 1 0 54805572 137330688 6350 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159688670771686087 0 0 17 0 0 0 60
/proc/9244/statm: 33528 6350 1143 1 0 5165 0
[pid=9417] ppid=9244 vsize=14452 CPUtime=14.87
/proc/9417/stat : 9417 (clasp-1.3.3-x86) R 9244 9417 9417 0 -1 4202496 3689 0 0 0 1487 0 0 0 25 0 1 0 54946314 14798848 3365 1992294400 134512640 136080129 4293854544 18446744073709551615 134588720 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9417/statm: 3613 3365 174 383 0 3228 0
Current children cumulated CPU time (s) 1528.3
Current children cumulated vsize (KiB) 148564

[startup+1482.3 s]
/proc/loadavg: 1.13 1.10 1.01 2/108 9417
/proc/meminfo: memFree=1453860/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=1517.68
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 50825 457191 49 43 10323 1247 139856 342 16 0 1 0 54805572 137330688 6350 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159688670771686087 0 0 17 0 0 0 60
/proc/9244/statm: 33528 6350 1143 1 0 5165 0
[pid=9417] ppid=9244 vsize=21500 CPUtime=74.85
/proc/9417/stat : 9417 (clasp-1.3.3-x86) R 9244 9417 9417 0 -1 4202496 5440 0 0 0 7484 1 0 0 25 0 1 0 54946314 22016000 5116 1992294400 134512640 136080129 4293854544 18446744073709551615 134808352 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9417/statm: 5375 5116 174 383 0 4990 0
Current children cumulated CPU time (s) 1592.53
Current children cumulated vsize (KiB) 155612

[startup+1542.3 s]
/proc/loadavg: 1.04 1.08 1.01 2/108 9428
/proc/meminfo: memFree=1461300/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=1643.39
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 54617 472968 49 43 10737 1300 151950 352 15 0 1 0 54805572 137330688 6351 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159688670771686087 0 0 17 0 0 0 60
/proc/9244/statm: 33528 6351 1143 1 0 5165 0
[pid=9428] ppid=9244 vsize=13932 CPUtime=13.6
/proc/9428/stat : 9428 (clasp-1.3.3-x86) R 9244 9428 9428 0 -1 4202496 3558 0 0 0 1358 2 0 0 25 0 1 0 54958441 14266368 3232 1992294400 134512640 136080129 4287586752 18446744073709551615 134580640 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9428/statm: 3483 3232 174 383 0 3098 0
Current children cumulated CPU time (s) 1656.99
Current children cumulated vsize (KiB) 148044

[startup+1602.3 s]
/proc/loadavg: 1.12 1.09 1.01 3/108 9430
/proc/meminfo: memFree=1453736/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=1647.63
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 54702 472968 49 43 11118 1343 151950 352 15 0 1 0 54805572 137330688 6351 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159688670771686087 0 0 17 0 0 0 60
/proc/9244/statm: 33528 6351 1143 1 0 5165 0
[pid=9428] ppid=9244 vsize=21504 CPUtime=73.58
/proc/9428/stat : 9428 (clasp-1.3.3-x86) R 9244 9428 9428 0 -1 4202496 5440 0 0 0 7356 2 0 0 25 0 1 0 54958441 22020096 5114 1992294400 134512640 136080129 4287586752 18446744073709551615 134844922 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9428/statm: 5376 5114 174 383 0 4991 0
Current children cumulated CPU time (s) 1721.21
Current children cumulated vsize (KiB) 155616

[startup+1662.3 s]
/proc/loadavg: 1.04 1.07 1.01 2/108 9441
/proc/meminfo: memFree=1461424/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=1773.33
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 58445 488806 49 43 11540 1391 164038 364 15 0 1 0 54805572 137330688 6351 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159836005329808071 0 0 17 1 0 0 60
/proc/9244/statm: 33528 6351 1143 1 0 5165 0
[pid=9441] ppid=9244 vsize=13672 CPUtime=12.29
/proc/9441/stat : 9441 (clasp-1.3.3-x86) R 9244 9441 9441 0 -1 4202496 3489 0 0 0 1228 1 0 0 25 0 1 0 54970566 14000128 3166 1992294400 134512640 136080129 4290301552 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9441/statm: 3418 3166 174 383 0 3033 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (KiB) 147784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1675.8 s]
/proc/loadavg: 1.03 1.07 1.00 2/108 9441
/proc/meminfo: memFree=1458076/2059040 swapFree=4164948/4192956
[pid=9244] ppid=9242 vsize=134112 CPUtime=1774.36
/proc/9244/stat : 9244 (python) S 9242 9244 9219 0 -1 4202496 58480 488806 49 43 11632 1402 164038 364 15 0 1 0 54805572 137330688 6351 1992294400 4194304 4196484 140735078129216 18446744073709551615 247894683151 0 0 16781312 2 159836005329808071 0 0 17 1 0 0 60
/proc/9244/statm: 33528 6351 1143 1 0 5165 0
[pid=9441] ppid=9244 vsize=17128 CPUtime=25.72
/proc/9441/stat : 9441 (clasp-1.3.3-x86) R 9244 9441 9441 0 -1 4202496 4367 0 0 0 2570 2 0 0 25 0 1 0 54970566 17539072 4023 1992294400 134512640 136080129 4290301552 18446744073709551615 134588723 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9441/statm: 4282 4023 174 383 0 3897 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 151240

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9244 and gives
#  childrusage.ru_utime.tv_sec=1756
#  childrusage.ru_utime.tv_usec=717938
#  childrusage.ru_stime.tv_sec=17
#  childrusage.ru_stime.tv_usec=673313
# CPU time returned by wait4() is 1774.39
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1675.82
CPU time (s): 1800.08
CPU user time (s): 1782.4
CPU system time (s): 17.68
CPU usage (%): 107.415
Max. virtual memory (cumulated for all children) (KiB): 1616208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.72
system time used= 17.6733
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 547287
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= 14274
involuntary context switches= 24867

runsolver used 3.10553 second user time and 8.5767 second system time

The end

Launcher Data 

Begin job on node041 at 2010-06-21 17:45:28
IDJOB=2676297
IDBENCH=2580
IDSOLVER=1178
FILE ID=node041/2676297-1277135128
PBS_JOBID= 11182114
Free space on /tmp= 62112 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2676297-1277135128/watcher-2676297-1277135128 -o /tmp/evaluation-result-2676297-1277135128/solver-2676297-1277135128 -C 1800 -W 2000 -M 1800  solver HOME/instance-2676297-1277135128.opb 1664651120 

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

MD5SUM BENCH= a4a494535709e59392e65403b829113d
RANDOM SEED=1664651120

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1521532 kB
Buffers:        125104 kB
Cached:         295976 kB
SwapCached:       1312 kB
Active:         208128 kB
Inactive:       246280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1521532 kB
SwapTotal:     4192956 kB
SwapFree:      4164948 kB
Dirty:           20952 kB
Writeback:           0 kB
AnonPages:       32100 kB
Mapped:          14208 kB
Slab:            61304 kB
PageTables:       4104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182076 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= 62092 MiB
End job on node041 at 2010-06-21 18:13:27