Trace number 2676309

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 1692.42

General information on the benchmark

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

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


[startup+0 s]
/proc/loadavg: 1.10 0.99 0.82 3/106 6402
/proc/meminfo: memFree=1577456/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=16708 CPUtime=0
/proc/6402/stat : 6402 (python) R 6400 6402 6011 0 -1 4202496 733 0 0 0 0 0 0 0 18 0 1 0 89129287 17108992 498 1992294400 4194304 4196484 140733446421536 18446744073709551615 272917541573 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6402/statm: 4177 500 272 1 0 273 0

[startup+0.0493641 s]
/proc/loadavg: 1.10 0.99 0.82 3/106 6402
/proc/meminfo: memFree=1577456/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=17956 CPUtime=0.03
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 1846 0 0 0 2 1 0 0 19 0 1 0 89129287 18386944 871 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917878784 0 2147483391 16781312 2 18446744071699383486 0 0 17 0 0 0 0
/proc/6402/statm: 4489 871 399 1 0 469 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17956

[startup+0.106338 s]
/proc/loadavg: 1.10 0.99 0.82 3/106 6402
/proc/meminfo: memFree=1577456/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=32152 CPUtime=0.08
/proc/6402/stat : 6402 (python) R 6400 6402 6011 0 -1 4202496 2413 0 0 0 5 3 0 0 19 0 1 0 89129287 32923648 1389 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917876581 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/6402/statm: 8038 1389 459 1 0 910 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32152

[startup+0.300338 s]
/proc/loadavg: 1.10 0.99 0.82 3/106 6402
/proc/meminfo: memFree=1577456/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=70592 CPUtime=0.23
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 3960 0 0 0 15 8 0 0 19 0 1 0 89129287 72286208 2796 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917878784 0 2147483391 16781312 2 18446744071699383486 0 0 17 0 0 0 0
/proc/6402/statm: 17648 2796 693 1 0 2135 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 70592

[startup+0.700337 s]
/proc/loadavg: 1.10 0.99 0.82 3/106 6402
/proc/meminfo: memFree=1577456/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=98788 CPUtime=0.45
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 4864 0 0 0 29 16 0 0 17 0 1 0 89129287 101158912 3578 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917878784 0 2147483391 16781312 2 18446744071699383486 0 0 17 0 0 0 0
/proc/6402/statm: 24697 3578 1022 1 0 2554 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 98788

[startup+1.50034 s]
/proc/loadavg: 1.09 0.99 0.82 2/107 6407
/proc/meminfo: memFree=1562568/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=118476 CPUtime=0.95
/proc/6402/stat : 6402 (python) R 6400 6402 6011 0 -1 4202496 8765 927 0 0 65 30 0 0 16 0 1 0 89129287 121319424 5917 1992294400 4194304 4196484 140734287125728 18446744073709551615 47257970451904 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/6402/statm: 29619 5921 1063 1 0 4873 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 118476

[startup+3.10034 s]
/proc/loadavg: 1.09 0.99 0.82 2/108 6408
/proc/meminfo: memFree=1551028/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=132048 CPUtime=1.24
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 10280 927 0 0 91 33 0 0 15 0 1 0 89129287 135217152 6306 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/6402/statm: 33012 6306 1133 1 0 5164 0
[pid=6408] ppid=6402 vsize=9892 CPUtime=1.43
/proc/6408/stat : 6408 (clasp-1.3.3-x86) R 6402 6408 6408 0 -1 4202496 2545 0 0 0 142 1 0 0 19 0 1 0 89129452 10129408 2210 1992294400 134512640 136080129 4289020256 18446744073709551615 134588603 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/6408/statm: 2473 2210 174 383 0 2088 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 141940

[startup+6.30133 s]
/proc/loadavg: 1.09 0.99 0.82 2/108 6408
/proc/meminfo: memFree=1542596/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=132048 CPUtime=1.44
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 10291 927 0 0 108 36 0 0 15 0 1 0 89129287 135217152 6306 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/6402/statm: 33012 6306 1133 1 0 5164 0
[pid=6408] ppid=6402 vsize=14664 CPUtime=4.61
/proc/6408/stat : 6408 (clasp-1.3.3-x86) R 6402 6408 6408 0 -1 4202496 3744 0 0 0 460 1 0 0 25 0 1 0 89129452 15015936 3409 1992294400 134512640 136080129 4289020256 18446744073709551615 134804904 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/6408/statm: 3666 3409 174 383 0 3281 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 146712

[startup+12.7003 s]
/proc/loadavg: 1.08 0.99 0.83 2/108 6413
/proc/meminfo: memFree=1553508/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=12.1
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 11608 6707 0 0 151 43 1012 4 15 0 1 0 89129287 137326592 6330 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159836005329808123 0 0 17 1 0 0 0
/proc/6402/statm: 33527 6330 1143 1 0 5164 0
[pid=6413] ppid=6402 vsize=9500 CPUtime=0.77
/proc/6413/stat : 6413 (clasp-1.3.3-x86) R 6402 6413 6413 0 -1 4202496 2464 0 0 0 77 0 0 0 18 0 1 0 89130478 9728000 2128 1992294400 134512640 136080129 4291832512 18446744073709551615 135505028 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/6413/statm: 2375 2128 174 383 0 1990 0
Current children cumulated CPU time (s) 12.87
Current children cumulated vsize (KiB) 143608

[startup+25.5013 s]
/proc/loadavg: 1.07 0.99 0.83 2/108 6413
/proc/meminfo: memFree=1536272/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=12.95
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 11650 6707 0 0 228 51 1012 4 15 0 1 0 89129287 137326592 6330 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159836005329808123 0 0 17 1 0 0 0
/proc/6402/statm: 33527 6330 1143 1 0 5164 0
[pid=6413] ppid=6402 vsize=21496 CPUtime=13.57
/proc/6413/stat : 6413 (clasp-1.3.3-x86) R 6402 6413 6413 0 -1 4202496 5463 0 0 0 1355 2 0 0 25 0 1 0 89130478 22011904 5127 1992294400 134512640 136080129 4291832512 18446744073709551615 134607891 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/6413/statm: 5374 5127 174 383 0 4989 0
Current children cumulated CPU time (s) 26.52
Current children cumulated vsize (KiB) 155604

[startup+51.1083 s]
/proc/loadavg: 1.04 0.99 0.83 2/108 6413
/proc/meminfo: memFree=1529204/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=14.63
/proc/6402/stat : 6402 (python) R 6400 6402 6011 0 -1 4202496 11736 6707 0 0 380 67 1012 4 15 0 1 0 89129287 137326592 6330 1992294400 4194304 4196484 140734287125728 18446744073709551615 47257970455949 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6402/statm: 33527 6330 1143 1 0 5164 0
[pid=6413] ppid=6402 vsize=28364 CPUtime=39.16
/proc/6413/stat : 6413 (clasp-1.3.3-x86) R 6402 6413 6413 0 -1 4202496 7173 0 0 0 3912 4 0 0 25 0 1 0 89130478 29044736 6837 1992294400 134512640 136080129 4291832512 18446744073709551615 134844922 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/6413/statm: 7091 6837 174 383 0 6706 0
Current children cumulated CPU time (s) 53.79
Current children cumulated vsize (KiB) 162472

[startup+102.309 s]
/proc/loadavg: 1.06 1.00 0.84 2/108 6418
/proc/meminfo: memFree=1502916/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=68.7
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 13015 15295 0 0 695 112 6053 10 15 0 1 0 89129287 137326592 6332 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/6402/statm: 33527 6332 1143 1 0 5164 0
[pid=6416] ppid=6402 vsize=55744 CPUtime=39.6
/proc/6416/stat : 6416 (wbo1.4a) R 6402 6416 6416 0 -1 4202496 13822 0 0 0 3945 15 0 0 25 0 1 0 89135532 57081856 13461 1992294400 134512640 135751879 4288249072 18446744073709551615 134518464 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/6416/statm: 13936 13461 139 303 0 13631 0
Current children cumulated CPU time (s) 108.3
Current children cumulated vsize (KiB) 189852

[startup+162.301 s]
/proc/loadavg: 1.02 1.00 0.85 2/108 6423
/proc/meminfo: memFree=1527468/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=123.03
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 14334 33098 0 0 1029 161 11082 31 15 0 1 0 89129287 137326592 6333 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/6402/statm: 33527 6333 1143 1 0 5164 0
[pid=6421] ppid=6402 vsize=30472 CPUtime=48.71
/proc/6421/stat : 6421 (clasp-1.3.3-x86) R 6402 6421 6421 0 -1 4202496 7680 0 0 0 4868 3 0 0 25 0 1 0 89140615 31203328 7342 1992294400 134512640 136080129 4291119152 18446744073709551615 134588592 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/6421/statm: 7618 7342 174 383 0 7233 0
Current children cumulated CPU time (s) 171.74
Current children cumulated vsize (KiB) 164580

[startup+222.301 s]
/proc/loadavg: 1.06 1.01 0.86 2/108 6426
/proc/meminfo: memFree=1538876/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=227.4
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 15569 43142 0 0 1380 213 21109 38 15 0 1 0 89129287 137326592 6334 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159836005329808123 0 0 17 1 0 0 0
/proc/6402/statm: 33527 6334 1143 1 0 5164 0
[pid=6426] ppid=6402 vsize=19536 CPUtime=8.03
/proc/6426/stat : 6426 (wbo1.4a) R 6402 6426 6426 0 -1 4202496 4751 0 0 0 795 8 0 0 25 0 1 0 89150713 20004864 4388 1992294400 134512640 135751879 4287427984 18446744073709551615 134517248 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/6426/statm: 4884 4388 139 303 0 4579 0
Current children cumulated CPU time (s) 235.43
Current children cumulated vsize (KiB) 153644

[startup+282.302 s]
/proc/loadavg: 1.02 1.01 0.86 2/108 6428
/proc/meminfo: memFree=1469684/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=231.4
/proc/6402/stat : 6402 (python) R 6400 6402 6011 0 -1 4202496 15660 43142 0 0 1734 259 21109 38 15 0 1 0 89129287 137326592 6334 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917923975 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6402/statm: 33527 6334 1143 1 0 5164 0
[pid=6426] ppid=6402 vsize=90916 CPUtime=67.72
/proc/6426/stat : 6426 (wbo1.4a) R 6402 6426 6426 0 -1 4202496 22614 0 0 0 6746 26 0 0 25 0 1 0 89150713 93097984 22251 1992294400 134512640 135751879 4287427984 18446744073709551615 134616534 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/6426/statm: 22729 22251 139 303 0 22424 0
Current children cumulated CPU time (s) 299.12
Current children cumulated vsize (KiB) 225024

[startup+342.302 s]
/proc/loadavg: 1.01 1.00 0.87 2/108 6433
/proc/meminfo: memFree=1516432/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=336.39
/proc/6402/stat : 6402 (python) R 6400 6402 6011 0 -1 4202496 16954 81355 0 0 2105 312 31147 75 15 0 1 0 89129287 137326592 6336 1992294400 4194304 4196484 140734287125728 18446744073709551615 47257970096566 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/6402/statm: 33527 6336 1143 1 0 5164 0
[pid=6433] ppid=6402 vsize=42552 CPUtime=26.51
/proc/6433/stat : 6433 (wbo1.4b) R 6402 6433 6433 0 -1 4202496 10845 0 0 0 2638 13 0 0 25 0 1 0 89160848 43573248 10155 1992294400 134512640 135751879 4288572016 18446744073709551615 134642407 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/6433/statm: 10638 10155 143 303 0 10333 0
Current children cumulated CPU time (s) 362.9
Current children cumulated vsize (KiB) 176660

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.87 2/120 6450
/proc/meminfo: memFree=1455824/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=390.84
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 18275 99503 0 0 2452 364 36171 97 16 0 1 0 89129287 137326592 6337 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/6402/statm: 33527 6337 1143 1 0 5164 0
[pid=6436] ppid=6402 vsize=1477036 CPUtime=36.78
/proc/6436/stat : 6436 (java) S 6402 6436 6436 0 -1 4202496 27856 0 1 0 3665 13 0 0 15 0 13 0 89165928 1512484864 26497 1992294400 134512640 134550932 4288022128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6436/statm: 369259 26497 1422 10 0 366561 0
[pid=6436/tid=6437] ppid=6402 vsize=1477036 CPUtime=35.38
/proc/6436/task/6437/stat : 6437 (java) R 6402 6436 6436 0 -1 4202560 24782 0 1 0 3527 11 0 0 25 0 13 0 89165929 1512484864 26497 1992294400 134512640 134550932 4288022128 18446744073709551615 4109940215 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6436/tid=6438] ppid=6402 vsize=1477036 CPUtime=0
/proc/6436/task/6438/stat : 6438 (java) S 6402 6436 6436 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 89165931 1512484864 26497 1992294400 134512640 134550932 4288022128 18446744073709551615 4294960144 0 4 0 16800975 18446604437831777024 0 0 -1 0 0 0 0
[pid=6436/tid=6439] ppid=6402 vsize=1477036 CPUtime=0
/proc/6436/task/6439/stat : 6439 (java) S 6402 6436 6436 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 89165931 1512484864 26497 1992294400 134512640 134550932 4288022128 18446744073709551615 4294960144 0 4 0 16800975 18446604437831777024 0 0 -1 0 0 0 0
[pid=6436/tid=6440] ppid=6402 vsize=1477036 CPUtime=0

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

/proc/6535/statm: 11207 10928 174 383 0 10822 0
Current children cumulated CPU time (s) 1066.48
Current children cumulated vsize (KiB) 178936

[startup+1062.3 s]
/proc/loadavg: 1.08 1.06 0.95 2/108 6543
/proc/meminfo: memFree=1509924/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=881.81
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 41182 358038 0 2 6440 917 80548 276 15 0 1 0 89129287 137326592 6347 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159836005329808123 0 0 17 1 0 0 0
/proc/6402/statm: 33527 6347 1143 1 0 5164 0
[pid=6535] ppid=6402 vsize=46868 CPUtime=248.28
/proc/6535/stat : 6535 (clasp-1.3.3-x86) R 6402 6535 6535 0 -1 4202496 11793 0 0 0 24819 9 0 0 25 0 1 0 89210533 47992832 11450 1992294400 134512640 136080129 4294100752 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/6535/statm: 11717 11450 174 383 0 11332 0
Current children cumulated CPU time (s) 1130.09
Current children cumulated vsize (KiB) 180976

[startup+1122.3 s]
/proc/loadavg: 1.10 1.06 0.95 2/108 6546
/proc/meminfo: memFree=1505460/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=1186.16
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 42439 372353 0 2 6809 964 110554 289 15 0 1 0 89129287 137326592 6347 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/6402/statm: 33527 6347 1143 1 0 5164 0
[pid=6546] ppid=6402 vsize=61204 CPUtime=7.89
/proc/6546/stat : 6546 (bsolo_pb10) R 6402 6546 6546 0 -1 4202496 13389 0 0 0 781 8 0 0 25 0 1 0 89240727 62672896 12881 1992294400 134512640 137138936 4286965328 18446744073709551615 134542761 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/6546/statm: 15301 12881 192 642 0 14657 0
Current children cumulated CPU time (s) 1194.05
Current children cumulated vsize (KiB) 195312

[startup+1182.3 s]
/proc/loadavg: 1.04 1.05 0.95 2/108 6548
/proc/meminfo: memFree=1394728/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=1189.94
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 42528 372353 0 2 7143 1008 110554 289 15 0 1 0 89129287 137326592 6347 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/6402/statm: 33527 6347 1143 1 0 5164 0
[pid=6546] ppid=6402 vsize=171952 CPUtime=67.87
/proc/6546/stat : 6546 (bsolo_pb10) R 6402 6546 6546 0 -1 4202496 41070 0 0 0 6768 19 0 0 25 0 1 0 89240727 176078848 40562 1992294400 134512640 137138936 4286965328 18446744073709551615 134618311 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/6546/statm: 42988 40562 192 642 0 42344 0
Current children cumulated CPU time (s) 1257.81
Current children cumulated vsize (KiB) 306060

[startup+1242.3 s]
/proc/loadavg: 1.12 1.07 0.97 2/108 6556
/proc/meminfo: memFree=1533732/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=1304.87
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 45050 429393 0 2 7493 1057 121616 321 15 0 1 0 89129287 137326592 6348 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159836005329808123 0 0 17 1 0 0 0
/proc/6402/statm: 33527 6348 1143 1 0 5164 0
[pid=6556] ppid=6402 vsize=22900 CPUtime=16.86
/proc/6556/stat : 6556 (clasp-1.3.3-x86) R 6402 6556 6556 0 -1 4202496 5822 0 0 0 1684 2 0 0 25 0 1 0 89251830 23449600 5478 1992294400 134512640 136080129 4289861120 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/6556/statm: 5725 5478 174 383 0 5340 0
Current children cumulated CPU time (s) 1321.73
Current children cumulated vsize (KiB) 157008

[startup+1302.3 s]
/proc/loadavg: 1.17 1.10 0.98 2/108 6558
/proc/meminfo: memFree=1521456/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=1308.8
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 45119 429393 0 2 7845 1098 121616 321 15 0 1 0 89129287 137326592 6348 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159836005329808123 0 0 17 1 0 0 0
/proc/6402/statm: 33527 6348 1143 1 0 5164 0
[pid=6556] ppid=6402 vsize=35204 CPUtime=76.84
/proc/6556/stat : 6556 (clasp-1.3.3-x86) R 6402 6556 6556 0 -1 4202496 8870 0 0 0 7679 5 0 0 25 0 1 0 89251830 36048896 8526 1992294400 134512640 136080129 4289861120 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/6556/statm: 8801 8526 174 383 0 8416 0
Current children cumulated CPU time (s) 1385.64
Current children cumulated vsize (KiB) 169312

[startup+1362.3 s]
/proc/loadavg: 1.23 1.12 1.00 2/108 6569
/proc/meminfo: memFree=1534228/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=1433.59
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 48924 451452 0 2 8208 1149 133665 337 15 0 1 0 89129287 137326592 6349 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159836005329808123 0 0 17 1 0 0 0
/proc/6402/statm: 33527 6349 1143 1 0 5164 0
[pid=6567] ppid=6402 vsize=22932 CPUtime=15.96
/proc/6567/stat : 6567 (clasp-1.3.3-x86) R 6402 6567 6567 0 -1 4202496 5818 0 0 0 1594 2 0 0 25 0 1 0 89263920 23482368 5477 1992294400 134512640 136080129 4289032976 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/6567/statm: 5733 5477 174 383 0 5348 0
Current children cumulated CPU time (s) 1449.55
Current children cumulated vsize (KiB) 157040

[startup+1422.31 s]
/proc/loadavg: 1.08 1.10 1.00 2/108 6575
/proc/meminfo: memFree=1534600/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=1498.33
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 51532 466052 0 2 8564 1199 139724 346 15 0 1 0 89129287 137326592 6349 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/6402/statm: 33527 6349 1143 1 0 5164 0
[pid=6575] ppid=6402 vsize=22300 CPUtime=15.06
/proc/6575/stat : 6575 (clasp-1.3.3-x86) R 6402 6575 6575 0 -1 4202496 5672 0 0 0 1504 2 0 0 25 0 1 0 89270001 22835200 5331 1992294400 134512640 136080129 4290883024 18446744073709551615 134804902 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/6575/statm: 5575 5331 174 383 0 5190 0
Current children cumulated CPU time (s) 1513.39
Current children cumulated vsize (KiB) 156408

[startup+1482.3 s]
/proc/loadavg: 1.11 1.09 1.00 2/108 6577
/proc/meminfo: memFree=1521456/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=1502.05
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 51602 466052 0 2 8890 1245 139724 346 16 0 1 0 89129287 137326592 6349 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/6402/statm: 33527 6349 1143 1 0 5164 0
[pid=6575] ppid=6402 vsize=35100 CPUtime=74.67
/proc/6575/stat : 6575 (clasp-1.3.3-x86) R 6402 6575 6575 0 -1 4202496 8831 0 0 0 7463 4 0 0 25 0 1 0 89270001 35942400 8490 1992294400 134512640 136080129 4290883024 18446744073709551615 134588658 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/6575/statm: 8775 8490 174 383 0 8390 0
Current children cumulated CPU time (s) 1576.72
Current children cumulated vsize (KiB) 169208

[startup+1542.3 s]
/proc/loadavg: 1.04 1.07 1.00 2/108 6588
/proc/meminfo: memFree=1534972/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=1626.82
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 55460 487762 0 2 9240 1297 151785 360 15 0 1 0 89129287 137326592 6350 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/6402/statm: 33527 6350 1143 1 0 5164 0
[pid=6588] ppid=6402 vsize=21520 CPUtime=13.59
/proc/6588/stat : 6588 (clasp-1.3.3-x86) R 6402 6588 6588 0 -1 4202496 5470 0 0 0 1357 2 0 0 25 0 1 0 89282156 22036480 5125 1992294400 134512640 136080129 4287813744 18446744073709551615 134601814 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/6588/statm: 5380 5125 174 383 0 4995 0
Current children cumulated CPU time (s) 1640.41
Current children cumulated vsize (KiB) 155628

[startup+1602.3 s]
/proc/loadavg: 1.09 1.07 1.01 2/108 6593
/proc/meminfo: memFree=1521580/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=1630.54
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 55535 487762 0 2 9566 1343 151785 360 15 0 1 0 89129287 137326592 6350 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/6402/statm: 33527 6350 1143 1 0 5164 0
[pid=6588] ppid=6402 vsize=35104 CPUtime=73.57
/proc/6588/stat : 6588 (clasp-1.3.3-x86) R 6402 6588 6588 0 -1 4202496 8843 0 0 0 7353 4 0 0 25 0 1 0 89282156 35946496 8498 1992294400 134512640 136080129 4287813744 18446744073709551615 135503633 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/6588/statm: 8776 8498 174 383 0 8391 0
Current children cumulated CPU time (s) 1704.11
Current children cumulated vsize (KiB) 169212

[startup+1662.3 s]
/proc/loadavg: 1.03 1.06 1.00 2/108 6604
/proc/meminfo: memFree=1536336/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=1755.56
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 59359 509696 0 2 9924 1393 163864 375 15 0 1 0 89129287 137326592 6351 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/6402/statm: 33527 6351 1143 1 0 5164 0
[pid=6602] ppid=6402 vsize=20060 CPUtime=12.46
/proc/6602/stat : 6602 (clasp-1.3.3-x86) R 6402 6602 6602 0 -1 4202496 5094 0 0 0 1244 2 0 0 25 0 1 0 89294270 20541440 4752 1992294400 134512640 136080129 4291833808 18446744073709551615 134597971 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/6602/statm: 5015 4752 174 383 0 4630 0
Current children cumulated CPU time (s) 1768.02
Current children cumulated vsize (KiB) 154168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1692.4 s]
/proc/loadavg: 1.02 1.05 1.00 2/108 6604
/proc/meminfo: memFree=1528028/2059040 swapFree=4139424/4192956
[pid=6402] ppid=6400 vsize=134108 CPUtime=1757.45
/proc/6402/stat : 6402 (python) S 6400 6402 6011 0 -1 4202496 59425 509696 0 2 10089 1417 163864 375 16 0 1 0 89129287 137326592 6351 1992294400 4194304 4196484 140734287125728 18446744073709551615 272917900815 0 0 16781312 2 159688670771686139 0 0 17 0 0 0 0
/proc/6402/statm: 33527 6351 1143 1 0 5164 0
[pid=6602] ppid=6402 vsize=28484 CPUtime=42.55
/proc/6602/stat : 6602 (clasp-1.3.3-x86) R 6402 6602 6602 0 -1 4202496 7181 0 0 0 4252 3 0 0 25 0 1 0 89294270 29167616 6839 1992294400 134512640 136080129 4291833808 18446744073709551615 134588720 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/6602/statm: 7121 6839 174 383 0 6736 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 162592

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 6402 and gives
#  childrusage.ru_utime.tv_sec=1739
#  childrusage.ru_utime.tv_usec=543549
#  childrusage.ru_stime.tv_sec=17
#  childrusage.ru_stime.tv_usec=925274
# CPU time returned by wait4() is 1757.47
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1692.42
CPU time (s): 1800
CPU user time (s): 1782.05
CPU system time (s): 17.95
CPU usage (%): 106.356
Max. virtual memory (cumulated for all children) (KiB): 1612816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1739.54
system time used= 17.9253
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 569121
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11432
involuntary context switches= 29961

runsolver used 3.2955 second user time and 8.75767 second system time

The end

Launcher Data 

Begin job on node006 at 2010-06-21 17:47:36
IDJOB=2676309
IDBENCH=2601
IDSOLVER=1178
FILE ID=node006/2676309-1277135256
PBS_JOBID= 11182102
Free space on /tmp= 62572 MiB

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

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

MD5SUM BENCH= 1f72b7f8bd829aeeb06978977df8efc2
RANDOM SEED=1013642101

node006.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.204
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.40
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.204
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1577984 kB
Buffers:        127580 kB
Cached:         246948 kB
SwapCached:       6660 kB
Active:         225008 kB
Inactive:       163648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1577984 kB
SwapTotal:     4192956 kB
SwapFree:      4139424 kB
Dirty:           20720 kB
Writeback:           0 kB
AnonPages:       12552 kB
Mapped:          12924 kB
Slab:            70480 kB
PageTables:       4036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183612 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= 62552 MiB
End job on node006 at 2010-06-21 18:15:51