Trace number 3730204

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
PB10: borg-pb 10.05.30? (TO) 1800.09 1715.21

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
MD5SUM887c74fdc5099423a97b443d1200370c
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.104983
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables5500
Total number of constraints210
Number of constraints which are clauses110
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 constraint50
Maximum length of a constraint55
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 56
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3730204-1338714887/watcher-3730204-1338714887 -o /tmp/evaluation-result-3730204-1338714887/solver-3730204-1338714887 -C 1800 -W 1900 -M 15500 solver HOME/instance-3730204-1338714887.opb 1440256167 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.96 2.04 2.00 3/179 11899
/proc/meminfo: memFree=28694440/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/11899/stat : 11899 (python) R 11897 11899 11290 0 -1 4202496 827 0 0 0 0 0 0 0 20 0 1 0 337613560 15749120 584 33554432000 4194304 5683644 140736626193312 140736626165496 4886790 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 3845 589 332 364 0 287 0

[startup+0.0203429 s]
/proc/loadavg: 1.96 2.04 2.00 3/179 11899
/proc/meminfo: memFree=28694440/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=16436 CPUtime=0 cores=0,2,4,6
/proc/11899/stat : 11899 (python) R 11897 11899 11290 0 -1 4202496 1240 0 0 0 0 0 0 0 20 0 1 0 337613560 16830464 936 33554432000 4194304 5683644 140736626193312 140736626175464 4566383 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 4109 936 392 364 0 551 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16436

[startup+0.100236 s]
/proc/loadavg: 1.96 2.04 2.00 3/179 11899
/proc/meminfo: memFree=28694440/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=54716 CPUtime=0.07 cores=0,2,4,6
/proc/11899/stat : 11899 (python) R 11897 11899 11290 0 -1 4202496 4010 0 0 0 5 2 0 0 20 0 1 0 337613560 56029184 2189 33554432000 4194304 4196484 140735087465360 140735087311176 215143539639 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/11899/statm: 13679 2191 600 1 0 1534 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 54716

[startup+0.443521 s]
/proc/loadavg: 1.96 2.04 2.00 3/179 11899
/proc/meminfo: memFree=28694440/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=116064 CPUtime=0.36 cores=0,2,4,6
/proc/11899/stat : 11899 (python) R 11897 11899 11290 0 -1 4202496 9507 1013 0 0 27 9 0 0 20 0 1 0 337613560 118849536 5780 33554432000 4194304 4196484 140735087465360 140735087401320 215143498640 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/11899/statm: 29016 5780 1081 1 0 4729 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 116064

[startup+0.700132 s]
/proc/loadavg: 1.96 2.04 2.00 3/179 11899
/proc/meminfo: memFree=28694440/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=134456 CPUtime=0.5 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 11229 1013 0 0 38 12 0 0 20 0 1 0 337613560 137682944 6349 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/11899/statm: 33614 6349 1170 1 0 5186 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 134456

[startup+1.50024 s]
/proc/loadavg: 1.96 2.04 2.00 3/181 11905
/proc/meminfo: memFree=28668104/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=134456 CPUtime=0.52 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 11230 1013 0 0 40 12 0 0 20 0 1 0 337613560 137682944 6349 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 33614 6349 1170 1 0 5186 0
[pid=11905] ppid=11899 vsize=5928 CPUtime=0.87 cores=0,2,4,6
/proc/11905/stat : 11905 (clasp-1.3.3-x86) R 11899 11905 11905 0 -1 4202496 1560 0 0 0 87 0 0 0 20 0 1 0 337613622 6070272 1245 33554432000 134512640 136080129 4288432224 4288431168 134580608 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/11905/statm: 1482 1245 175 383 0 1097 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 140384

[startup+3.10027 s]
/proc/loadavg: 1.96 2.04 2.00 3/181 11905
/proc/meminfo: memFree=28666600/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=134456 CPUtime=0.6 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 11237 1013 0 0 47 13 0 0 20 0 1 0 337613560 137682944 6349 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 33614 6349 1170 1 0 5186 0
[pid=11905] ppid=11899 vsize=7236 CPUtime=2.47 cores=0,2,4,6
/proc/11905/stat : 11905 (clasp-1.3.3-x86) R 11899 11905 11905 0 -1 4202496 1892 0 0 0 247 0 0 0 20 0 1 0 337613622 7409664 1577 33554432000 134512640 136080129 4288432224 4288430920 134601938 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/11905/statm: 1809 1577 175 383 0 1424 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 141692

[startup+6.30027 s]
/proc/loadavg: 1.97 2.04 2.00 3/181 11905
/proc/meminfo: memFree=28663872/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=134456 CPUtime=0.74 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 11248 1013 0 0 59 15 0 0 20 0 1 0 337613560 137682944 6349 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 33614 6349 1170 1 0 5186 0
[pid=11905] ppid=11899 vsize=9336 CPUtime=5.67 cores=0,2,4,6
/proc/11905/stat : 11905 (clasp-1.3.3-x86) R 11899 11905 11905 0 -1 4202496 2386 0 0 0 567 0 0 0 20 0 1 0 337613622 9560064 2071 33554432000 134512640 136080129 4288432224 4288431216 134588720 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/11905/statm: 2334 2071 175 383 0 1949 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 143792

[startup+12.7003 s]
/proc/loadavg: 1.97 2.04 2.00 3/181 11912
/proc/meminfo: memFree=28668176/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136516 CPUtime=11.12 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 12517 4490 0 0 89 21 1001 1 20 0 1 0 337613560 139792384 6369 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34129 6369 1180 1 0 5186 0
[pid=11911] ppid=11899 vsize=6976 CPUtime=2.03 cores=0,2,4,6
/proc/11911/stat : 11911 (clasp-1.3.3-x86) R 11899 11911 11911 0 -1 4202496 1809 0 0 0 203 0 0 0 20 0 1 0 337614626 7143424 1498 33554432000 134512640 136080129 4291190144 4291189136 134592902 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/11911/statm: 1744 1498 175 383 0 1359 0
Current children cumulated CPU time (s) 13.15
Current children cumulated vsize (KiB) 143492

[startup+25.5061 s]
/proc/loadavg: 1.97 2.03 2.00 4/181 11912
/proc/meminfo: memFree=28662728/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136516 CPUtime=11.72 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 12546 4490 0 0 143 27 1001 1 20 0 1 0 337613560 139792384 6369 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34129 6369 1180 1 0 5186 0
[pid=11911] ppid=11899 vsize=10608 CPUtime=14.83 cores=0,2,4,6
/proc/11911/stat : 11911 (clasp-1.3.3-x86) R 11899 11911 11911 0 -1 4202496 2728 0 0 0 1483 0 0 0 20 0 1 0 337614626 10862592 2417 33554432000 134512640 136080129 4291190144 4291189236 134607888 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/11911/statm: 2652 2417 175 383 0 2267 0
Current children cumulated CPU time (s) 26.55
Current children cumulated vsize (KiB) 147124

[startup+51.1003 s]
/proc/loadavg: 1.98 2.03 2.00 3/181 11912
/proc/meminfo: memFree=28657820/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136516 CPUtime=12.9 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 12581 4490 0 0 244 44 1001 1 20 0 1 0 337613560 139792384 6369 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34129 6369 1180 1 0 5186 0
[pid=11911] ppid=11899 vsize=14352 CPUtime=40.42 cores=0,2,4,6
/proc/11911/stat : 11911 (clasp-1.3.3-x86) R 11899 11911 11911 0 -1 4202496 3656 0 0 0 4042 0 0 0 20 0 1 0 337614626 14696448 3331 33554432000 134512640 136080129 4291190144 4291189232 134579566 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/11911/statm: 3588 3331 175 383 0 3203 0
Current children cumulated CPU time (s) 53.32
Current children cumulated vsize (KiB) 150868

[startup+102.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/181 11918
/proc/meminfo: memFree=28431060/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136516 CPUtime=66.06 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 13787 9145 0 0 481 79 6044 2 20 0 1 0 337613560 139792384 6374 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34129 6374 1180 1 0 5186 0
[pid=11918] ppid=11899 vsize=120452 CPUtime=41.16 cores=0,2,4,6
/proc/11918/stat : 11918 (wbo1.4a) R 11899 11918 11918 0 -1 4202496 29974 0 0 0 4101 15 0 0 20 0 1 0 337619673 123342848 29637 33554432000 134512640 135751879 4292672704 4292670956 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/11918/statm: 30113 29637 139 303 0 29808 0
Current children cumulated CPU time (s) 107.22
Current children cumulated vsize (KiB) 256968

[startup+162.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/181 11924
/proc/meminfo: memFree=28656828/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136516 CPUtime=119.53 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 15075 47737 0 0 728 118 11085 22 20 0 1 0 337613560 139792384 6376 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34129 6376 1180 1 0 5186 0
[pid=11924] ppid=11899 vsize=14540 CPUtime=50.53 cores=0,2,4,6
/proc/11924/stat : 11924 (clasp-1.3.3-x86) R 11899 11924 11924 0 -1 4202496 3715 0 0 0 5052 1 0 0 20 0 1 0 337624736 14888960 3399 33554432000 134512640 136080129 4290307872 4290306964 134607925 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/11924/statm: 3635 3399 175 383 0 3250 0
Current children cumulated CPU time (s) 170.06
Current children cumulated vsize (KiB) 151056

[startup+222.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/181 11930
/proc/meminfo: memFree=28600092/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136516 CPUtime=222.92 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 16370 53282 0 0 993 160 21115 24 20 0 1 0 337613560 139792384 6377 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34129 6377 1180 1 0 5186 0
[pid=11930] ppid=11899 vsize=38804 CPUtime=10.19 cores=0,2,4,6
/proc/11930/stat : 11930 (wbo1.4a) R 11899 11930 11930 0 -1 4202496 9585 0 0 0 1014 5 0 0 20 0 1 0 337634770 39735296 9248 33554432000 134512640 135751879 4287075648 4287073900 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/11930/statm: 9701 9248 139 303 0 9396 0
Current children cumulated CPU time (s) 233.11
Current children cumulated vsize (KiB) 175320

[startup+282.3 s]
/proc/loadavg: 2.26 2.11 2.02 3/181 12020
/proc/meminfo: memFree=28419632/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136516 CPUtime=225.76 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 16403 53282 0 0 1239 198 21115 24 20 0 1 0 337613560 139792384 6377 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34129 6377 1180 1 0 5186 0
[pid=11930] ppid=11899 vsize=256236 CPUtime=70.16 cores=0,2,4,6
/proc/11930/stat : 11930 (wbo1.4a) R 11899 11930 11930 0 -1 4202496 63931 0 0 0 6986 30 0 0 20 0 1 0 337634770 262385664 63592 33554432000 134512640 135751879 4287075648 4287073900 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/11930/statm: 64059 63592 139 303 0 63754 0
Current children cumulated CPU time (s) 295.92
Current children cumulated vsize (KiB) 392752

[startup+342.306 s]
/proc/loadavg: 2.18 2.11 2.02 2/181 12077
/proc/meminfo: memFree=28592272/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136516 CPUtime=329.45 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 17666 150248 0 0 1506 238 31134 67 20 0 1 0 337613560 139792384 6378 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34129 6378 1180 1 0 5186 0
[pid=12026] ppid=11899 vsize=83712 CPUtime=29.52 cores=0,2,4,6
/proc/12026/stat : 12026 (wbo1.4b) R 11899 12026 12026 0 -1 4202496 20960 0 0 0 2942 10 0 0 20 0 1 0 337644836 85721088 20462 33554432000 134512640 135751879 4294120544 4294118560 134616489 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/12026/statm: 20928 20462 144 303 0 20623 0
Current children cumulated CPU time (s) 358.97
Current children cumulated vsize (KiB) 220228

[startup+402.301 s]
/proc/loadavg: 2.11 2.11 2.02 3/199 12102
/proc/meminfo: memFree=28459604/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136516 CPUtime=382.95 cores=0,2,4,6

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

/proc/12211/statm: 5400 5158 175 383 0 5015 0
Current children cumulated CPU time (s) 1053.44
Current children cumulated vsize (KiB) 158116

[startup+1062.3 s]
/proc/loadavg: 2.16 2.09 2.02 3/181 12272
/proc/meminfo: memFree=28642564/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136516 CPUtime=858.73 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 41646 426029 0 2 4595 711 80325 242 20 0 1 0 337613560 139792384 6388 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34129 6388 1180 1 0 5186 0
[pid=12211] ppid=11899 vsize=24124 CPUtime=257.46 cores=0,2,4,6
/proc/12211/stat : 12211 (clasp-1.3.3-x86) R 11899 12211 12211 0 -1 4202496 6355 0 0 0 25745 1 0 0 20 0 1 0 337694038 24702976 5798 33554432000 134512640 136080129 4286686400 4286685392 134588768 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/12211/statm: 6031 5798 175 383 0 5646 0
Current children cumulated CPU time (s) 1116.19
Current children cumulated vsize (KiB) 160640

[startup+1122.3 s]
/proc/loadavg: 2.09 2.09 2.02 3/181 12275
/proc/meminfo: memFree=28587216/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136516 CPUtime=1162.02 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 42909 433468 0 2 4851 750 110357 244 20 0 1 0 337613560 139792384 6389 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34129 6389 1180 1 0 5186 0
[pid=12275] ppid=11899 vsize=88220 CPUtime=17.1 cores=0,2,4,6
/proc/12275/stat : 12275 (bsolo_pb10) R 11899 12275 12275 0 -1 4202496 20018 0 0 0 1706 4 0 0 20 0 1 0 337724079 90337280 19634 33554432000 134512640 137138936 4293753328 4293734288 134603105 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/12275/statm: 22055 19634 192 642 0 21411 0
Current children cumulated CPU time (s) 1179.12
Current children cumulated vsize (KiB) 224736

[startup+1182.3 s]
/proc/loadavg: 2.12 2.10 2.02 3/181 12278
/proc/meminfo: memFree=28270072/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136516 CPUtime=1164.86 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 42934 433468 0 2 5099 786 110357 244 20 0 1 0 337613560 139792384 6389 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34129 6389 1180 1 0 5186 0
[pid=12275] ppid=11899 vsize=279496 CPUtime=77.04 cores=0,2,4,6
/proc/12275/stat : 12275 (bsolo_pb10) R 11899 12275 12275 0 -1 4202496 67871 0 0 0 7691 13 0 0 20 0 1 0 337724079 286203904 67452 33554432000 134512640 137138936 4293753328 4293752256 134542480 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/12275/statm: 69874 67452 192 642 0 69230 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 416012

[startup+1242.3 s]
/proc/loadavg: 2.10 2.09 2.02 3/182 12289
/proc/meminfo: memFree=28615824/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136516 CPUtime=1278.41 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 45477 517206 0 2 5353 823 121401 264 20 0 1 0 337613560 139792384 6389 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34129 6389 1180 1 0 5186 0
[pid=12285] ppid=11899 vsize=12812 CPUtime=26.36 cores=0,2,4,6
/proc/12285/stat : 12285 (clasp-1.3.3-x86) R 11899 12285 12285 0 -1 4202496 3318 0 0 0 2636 0 0 0 20 0 1 0 337735153 13119488 2962 33554432000 134512640 136080129 4293334912 4293333904 134588731 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/12285/statm: 3203 2962 175 383 0 2818 0
Current children cumulated CPU time (s) 1304.77
Current children cumulated vsize (KiB) 149328

[startup+1302.3 s]
/proc/loadavg: 2.20 2.12 2.03 3/199 12310
/proc/meminfo: memFree=28539172/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136516 CPUtime=1281.2 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 45502 517206 0 2 5596 859 121401 264 20 0 1 0 337613560 139792384 6389 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34129 6389 1180 1 0 5186 0
[pid=12285] ppid=11899 vsize=16668 CPUtime=86.35 cores=0,2,4,6
/proc/12285/stat : 12285 (clasp-1.3.3-x86) R 11899 12285 12285 0 -1 4202496 4384 0 0 0 8634 1 0 0 20 0 1 0 337735153 17068032 3905 33554432000 134512640 136080129 4293334912 4293334048 134846246 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/12285/statm: 4167 3905 175 383 0 3782 0
Current children cumulated CPU time (s) 1367.55
Current children cumulated vsize (KiB) 153184

[startup+1362.3 s]
/proc/loadavg: 2.13 2.11 2.03 4/199 12319
/proc/meminfo: memFree=28424548/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136516 CPUtime=1404.56 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 49311 529793 0 2 5856 896 133436 268 20 0 1 0 337613560 139792384 6389 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34129 6389 1180 1 0 5186 0
[pid=12319] ppid=11899 vsize=12400 CPUtime=25.92 cores=0,2,4,6
/proc/12319/stat : 12319 (clasp-1.3.3-x86) R 11899 12319 12319 0 -1 4202496 3158 0 0 0 2592 0 0 0 20 0 1 0 337747197 12697600 2840 33554432000 134512640 136080129 4287613808 4287612900 134607888 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/12319/statm: 3100 2840 175 383 0 2715 0
Current children cumulated CPU time (s) 1430.48
Current children cumulated vsize (KiB) 148916

[startup+1422.3 s]
/proc/loadavg: 2.11 2.10 2.03 3/181 12328
/proc/meminfo: memFree=28545688/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136516 CPUtime=1467.92 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 51844 537917 0 2 6109 933 139479 271 20 0 1 0 337613560 139792384 6390 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34129 6390 1180 1 0 5186 0
[pid=12328] ppid=11899 vsize=12412 CPUtime=25.42 cores=0,2,4,6
/proc/12328/stat : 12328 (clasp-1.3.3-x86) R 11899 12328 12328 0 -1 4202496 3165 0 0 0 2542 0 0 0 20 0 1 0 337753247 12709888 2845 33554432000 134512640 136080129 4294511056 4294510192 134846026 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/12328/statm: 3103 2845 175 383 0 2718 0
Current children cumulated CPU time (s) 1493.34
Current children cumulated vsize (KiB) 148928

[startup+1482.3 s]
/proc/loadavg: 2.04 2.08 2.03 3/180 12375
/proc/meminfo: memFree=28654424/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136516 CPUtime=1470.7 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 51875 537917 0 2 6350 970 139479 271 20 0 1 0 337613560 139792384 6390 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34129 6390 1180 1 0 5186 0
[pid=12328] ppid=11899 vsize=16944 CPUtime=85.4 cores=0,2,4,6
/proc/12328/stat : 12328 (clasp-1.3.3-x86) R 11899 12328 12328 0 -1 4202496 4313 0 0 0 8540 0 0 0 20 0 1 0 337753247 17350656 3985 33554432000 134512640 136080129 4294511056 4294510128 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/12328/statm: 4236 3985 175 383 0 3851 0
Current children cumulated CPU time (s) 1556.1
Current children cumulated vsize (KiB) 153460

[startup+1542.3 s]
/proc/loadavg: 2.08 2.09 2.03 3/182 12437
/proc/meminfo: memFree=28641392/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136516 CPUtime=1594.07 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 55676 550453 0 2 6611 1008 151514 274 20 0 1 0 337613560 139792384 6390 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34129 6390 1180 1 0 5186 0
[pid=12436] ppid=11899 vsize=12344 CPUtime=24.97 cores=0,2,4,6
/proc/12436/stat : 12436 (clasp-1.3.3-x86) R 11899 12436 12436 0 -1 4202496 3160 0 0 0 2497 0 0 0 20 0 1 0 337765292 12640256 2844 33554432000 134512640 136080129 4287187728 4287186720 134588944 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/12436/statm: 3086 2844 175 383 0 2701 0
Current children cumulated CPU time (s) 1619.04
Current children cumulated vsize (KiB) 148860

[startup+1602.3 s]
/proc/loadavg: 2.11 2.09 2.03 3/181 12443
/proc/meminfo: memFree=28646172/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136516 CPUtime=1596.85 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 55706 550453 0 2 6851 1046 151514 274 20 0 1 0 337613560 139792384 6390 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34129 6390 1180 1 0 5186 0
[pid=12436] ppid=11899 vsize=16944 CPUtime=84.95 cores=0,2,4,6
/proc/12436/stat : 12436 (clasp-1.3.3-x86) R 11899 12436 12436 0 -1 4202496 4313 0 0 0 8495 0 0 0 20 0 1 0 337765292 17350656 3985 33554432000 134512640 136080129 4287187728 4287186864 134845723 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/12436/statm: 4236 3985 175 383 0 3851 0
Current children cumulated CPU time (s) 1681.8
Current children cumulated vsize (KiB) 153460

[startup+1662.31 s]
/proc/loadavg: 2.04 2.07 2.02 3/181 12452
/proc/meminfo: memFree=28640024/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136648 CPUtime=1720.23 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 59518 562987 0 2 7108 1086 163551 278 20 0 1 0 337613560 139927552 6392 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34162 6392 1180 1 0 5219 0
[pid=12452] ppid=11899 vsize=12416 CPUtime=24.51 cores=0,2,4,6
/proc/12452/stat : 12452 (clasp-1.3.3-x86) R 11899 12452 12452 0 -1 4202496 3161 0 0 0 2451 0 0 0 20 0 1 0 337777338 12713984 2842 33554432000 134512640 136080129 4288389712 4288388800 134579967 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/12452/statm: 3104 2842 175 383 0 2719 0
Current children cumulated CPU time (s) 1744.74
Current children cumulated vsize (KiB) 149064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1715.2 s]
/proc/loadavg: 2.06 2.07 2.02 3/181 12455
/proc/meminfo: memFree=28601140/32873844 swapFree=7380/7380
[pid=11899] ppid=11897 vsize=136648 CPUtime=1722.68 cores=0,2,4,6
/proc/11899/stat : 11899 (python) S 11897 11899 11290 0 -1 4202496 59544 562987 0 2 7321 1118 163551 278 20 0 1 0 337613560 139927552 6392 33554432000 4194304 4196484 140735087465360 140735087457120 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/11899/statm: 34162 6392 1180 1 0 5219 0
[pid=12452] ppid=11899 vsize=16380 CPUtime=77.41 cores=0,2,4,6
/proc/12452/stat : 12452 (clasp-1.3.3-x86) R 11899 12452 12452 0 -1 4202496 4198 0 0 0 7740 1 0 0 20 0 1 0 337777338 16773120 3850 33554432000 134512640 136080129 4288389712 4288388656 134804904 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/12452/statm: 4095 3850 175 383 0 3710 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 153028

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 11899 and gives
#  childrusage.ru_utime.tv_sec=1708
#  childrusage.ru_utime.tv_usec=733233
#  childrusage.ru_stime.tv_sec=13
#  childrusage.ru_stime.tv_usec=974875
# CPU time returned by wait4() is 1722.71
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1715.21
CPU time (s): 1800.09
CPU user time (s): 1786.12
CPU system time (s): 13.97
CPU usage (%): 104.948
Max. virtual memory (cumulated for all children) (KiB): 2851656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1708.73
system time used= 13.9749
maximum resident set size= 693708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 622531
page faults= 2
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9038
involuntary context switches= 3529

runsolver used 3.46047 second user time and 8.81466 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 11:14:47
IDJOB=3730204
IDBENCH=1396
IDSOLVER=2323
FILE ID=node133/3730204-1338714887
RUNJOBID= node133-1338713154-11306
PBS_JOBID= 14636724
Free space on /tmp= 70464 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3730204-1338714887/watcher-3730204-1338714887 -o /tmp/evaluation-result-3730204-1338714887/solver-3730204-1338714887 -C 1800 -W 1900 -M 15500  solver HOME/instance-3730204-1338714887.opb 1440256167 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 887c74fdc5099423a97b443d1200370c
RANDOM SEED=1440256167

node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28695068 kB
Buffers:          420008 kB
Cached:          2823176 kB
SwapCached:          676 kB
Active:          1497196 kB
Inactive:        1779608 kB
Active(anon):      24936 kB
Inactive(anon):    10220 kB
Active(file):    1472260 kB
Inactive(file):  1769388 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             41336 kB
Writeback:             0 kB
AnonPages:         39476 kB
Mapped:            14348 kB
Shmem:                 0 kB
Slab:             761208 kB
SReclaimable:     202596 kB
SUnreclaim:       558612 kB
KernelStack:        1472 kB
PageTables:         4384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     149472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70444 MiB
End job on node133 at 2012-06-03 11:43:25