Trace number 3739563

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.04 1714.01

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12046_2-sat.opb
MD5SUM8df6acf86997549eac6f2a4fde05a479
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48158
Total number of constraints168360
Number of constraints which are clauses167568
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints792
Minimum length of a constraint1
Maximum length of a constraint67
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 432
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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: 2.32 2.15 2.10 2/179 14214
/proc/meminfo: memFree=28633108/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=15440 CPUtime=0 cores=0,2,4,6
/proc/14214/stat : 14214 (python) R 14212 14214 11290 0 -1 4202496 811 0 0 0 0 0 0 0 20 0 1 0 338045960 15810560 574 33554432000 4194304 5683644 140736681443744 140736681415928 5288080 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 3860 575 326 364 0 302 0

[startup+0.0162589 s]
/proc/loadavg: 2.32 2.15 2.10 2/179 14214
/proc/meminfo: memFree=28633108/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=15968 CPUtime=0 cores=0,2,4,6
/proc/14214/stat : 14214 (python) D 14212 14214 11290 0 -1 4202496 1099 0 0 0 0 0 0 0 20 0 1 0 338045960 16351232 819 33554432000 4194304 5683644 140736681443744 140736681413928 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 3992 819 367 364 0 434 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15968

[startup+0.100304 s]
/proc/loadavg: 2.32 2.15 2.10 2/179 14214
/proc/meminfo: memFree=28633108/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=49624 CPUtime=0.06 cores=0,2,4,6
/proc/14214/stat : 14214 (python) R 14212 14214 11290 0 -1 4202496 3651 0 0 0 4 2 0 0 20 0 1 0 338045960 50814976 1912 33554432000 4194304 4196484 140735093241040 140735093040872 215143499136 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/14214/statm: 12407 1919 555 1 0 1345 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 49624

[startup+0.300273 s]
/proc/loadavg: 2.32 2.15 2.10 2/179 14214
/proc/meminfo: memFree=28633108/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=99048 CPUtime=0.19 cores=0,2,4,6
/proc/14214/stat : 14214 (python) D 14212 14214 11290 0 -1 4202496 5755 0 0 0 12 7 0 0 20 0 1 0 338045960 101425152 3603 33554432000 4194304 4196484 140735093241040 140735093187640 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/14214/statm: 24762 3603 1047 1 0 2564 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 99048

[startup+0.700125 s]
/proc/loadavg: 2.32 2.15 2.10 2/179 14214
/proc/meminfo: memFree=28633108/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=134488 CPUtime=0.5 cores=0,2,4,6
/proc/14214/stat : 14214 (python) R 14212 14214 11290 0 -1 4202496 11212 1012 0 0 34 16 0 0 20 0 1 0 338045960 137715712 6347 33554432000 4194304 4196484 140735093241040 140735093232800 215143539639 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/14214/statm: 33622 6347 1170 1 0 5194 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 134488

[startup+1.50022 s]
/proc/loadavg: 2.32 2.15 2.10 3/181 14220
/proc/meminfo: memFree=28602232/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=134488 CPUtime=0.56 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 11228 1012 0 0 39 17 0 0 20 0 1 0 338045960 137715712 6347 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/14214/statm: 33622 6347 1170 1 0 5194 0
[pid=14220] ppid=14214 vsize=12376 CPUtime=0.8 cores=0,2,4,6
/proc/14220/stat : 14220 (clasp-1.3.3-x86) R 14214 14220 14220 0 -1 4202496 3485 0 0 0 80 0 0 0 20 0 1 0 338046029 12673024 2821 33554432000 134512640 136080129 4290323024 4290322096 134849251 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/14220/statm: 3094 2821 176 383 0 2709 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 146864

[startup+3.10022 s]
/proc/loadavg: 2.37 2.16 2.10 3/181 14220
/proc/meminfo: memFree=28600380/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=134488 CPUtime=0.63 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 11232 1012 0 0 45 18 0 0 20 0 1 0 338045960 137715712 6347 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/14214/statm: 33622 6347 1170 1 0 5194 0
[pid=14220] ppid=14214 vsize=13728 CPUtime=2.4 cores=0,2,4,6
/proc/14220/stat : 14220 (clasp-1.3.3-x86) R 14214 14220 14220 0 -1 4202496 3813 0 0 0 239 1 0 0 20 0 1 0 338046029 14057472 3149 33554432000 134512640 136080129 4290323024 4290322160 134845726 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/14220/statm: 3432 3149 176 383 0 3047 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 148216

[startup+6.3002 s]
/proc/loadavg: 2.37 2.16 2.10 3/181 14220
/proc/meminfo: memFree=28595916/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=134488 CPUtime=0.76 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 11241 1012 0 0 57 19 0 0 20 0 1 0 338045960 137715712 6347 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/14214/statm: 33622 6347 1170 1 0 5194 0
[pid=14220] ppid=14214 vsize=15724 CPUtime=5.6 cores=0,2,4,6
/proc/14220/stat : 14220 (clasp-1.3.3-x86) R 14214 14220 14220 0 -1 4202496 4316 0 0 0 559 1 0 0 20 0 1 0 338046029 16101376 3652 33554432000 134512640 136080129 4290323024 4290321984 134808104 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/14220/statm: 3931 3652 176 383 0 3546 0
Current children cumulated CPU time (s) 6.36
Current children cumulated vsize (KiB) 150212

[startup+12.7003 s]
/proc/loadavg: 2.31 2.16 2.10 3/181 14223
/proc/meminfo: memFree=28599240/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=11.19 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 12492 6791 0 0 87 24 1006 2 20 0 1 0 338045960 139825152 6369 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6369 1180 1 0 5194 0
[pid=14223] ppid=14214 vsize=13068 CPUtime=1.9 cores=0,2,4,6
/proc/14223/stat : 14223 (clasp-1.3.3-x86) R 14214 14223 14223 0 -1 4202496 3632 0 0 0 190 0 0 0 20 0 1 0 338047039 13381632 2967 33554432000 134512640 136080129 4289186544 4289185616 134849659 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/14223/statm: 3267 2967 176 383 0 2882 0
Current children cumulated CPU time (s) 13.09
Current children cumulated vsize (KiB) 149616

[startup+25.5003 s]
/proc/loadavg: 2.27 2.15 2.10 3/178 14231
/proc/meminfo: memFree=28642828/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=11.76 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 12520 6791 0 0 136 32 1006 2 20 0 1 0 338045960 139825152 6369 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6369 1180 1 0 5194 0
[pid=14223] ppid=14214 vsize=19424 CPUtime=14.69 cores=0,2,4,6
/proc/14223/stat : 14223 (clasp-1.3.3-x86) R 14214 14223 14223 0 -1 4202496 5239 0 0 0 1469 0 0 0 20 0 1 0 338047039 19890176 4574 33554432000 134512640 136080129 4289186544 4289185552 134842292 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/14223/statm: 4856 4574 176 383 0 4471 0
Current children cumulated CPU time (s) 26.45
Current children cumulated vsize (KiB) 155972

[startup+51.1003 s]
/proc/loadavg: 2.24 2.15 2.10 3/181 14360
/proc/meminfo: memFree=28590708/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=12.93 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 12548 6791 0 0 239 46 1006 2 20 0 1 0 338045960 139825152 6369 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6369 1180 1 0 5194 0
[pid=14223] ppid=14214 vsize=27436 CPUtime=40.28 cores=0,2,4,6
/proc/14223/stat : 14223 (clasp-1.3.3-x86) R 14214 14223 14223 0 -1 4202496 7232 0 0 0 4028 0 0 0 20 0 1 0 338047039 28094464 6570 33554432000 134512640 136080129 4289186544 4289185616 134849160 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/14223/statm: 6859 6570 176 383 0 6474 0
Current children cumulated CPU time (s) 53.21
Current children cumulated vsize (KiB) 163984

[startup+102.306 s]
/proc/loadavg: 2.26 2.17 2.10 4/181 14366
/proc/meminfo: memFree=28567140/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=66.15 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 13735 15777 0 0 473 85 6054 3 20 0 1 0 338045960 139825152 6374 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6374 1180 1 0 5194 0
[pid=14363] ppid=14214 vsize=46000 CPUtime=40.95 cores=0,2,4,6
/proc/14363/stat : 14363 (wbo1.4a) R 14214 14363 14363 0 -1 4202496 12363 0 0 0 4078 17 0 0 20 0 1 0 338052093 47104000 10502 33554432000 134512640 135751879 4287616016 4287614268 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/14363/statm: 11500 10502 139 303 0 11195 0
Current children cumulated CPU time (s) 107.1
Current children cumulated vsize (KiB) 182548

[startup+162.3 s]
/proc/loadavg: 2.14 2.15 2.10 3/181 14372
/proc/meminfo: memFree=28583004/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=119.3 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 14956 30173 0 0 718 123 11065 24 20 0 1 0 338045960 139825152 6375 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6375 1180 1 0 5194 0
[pid=14369] ppid=14214 vsize=30772 CPUtime=50.6 cores=0,2,4,6
/proc/14369/stat : 14369 (clasp-1.3.3-x86) R 14214 14369 14369 0 -1 4202496 8066 0 0 0 5058 2 0 0 20 0 1 0 338057128 31510528 7399 33554432000 134512640 136080129 4291017952 4291017040 134580008 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/14369/statm: 7693 7399 176 383 0 7308 0
Current children cumulated CPU time (s) 169.9
Current children cumulated vsize (KiB) 167320

[startup+222.3 s]
/proc/loadavg: 2.11 2.15 2.10 4/182 14378
/proc/meminfo: memFree=28573028/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=222.73 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 16169 42011 0 0 982 165 21098 28 20 0 1 0 338045960 139825152 6376 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6376 1180 1 0 5194 0
[pid=14378] ppid=14214 vsize=29072 CPUtime=10.21 cores=0,2,4,6
/proc/14378/stat : 14378 (wbo1.4a) R 14214 14378 14378 0 -1 4202496 8150 0 0 0 1016 5 0 0 20 0 1 0 338067168 29769728 6281 33554432000 134512640 135751879 4293030256 4293028508 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/14378/statm: 7268 6281 139 303 0 6963 0
Current children cumulated CPU time (s) 232.94
Current children cumulated vsize (KiB) 165620

[startup+282.3 s]
/proc/loadavg: 2.18 2.15 2.10 3/181 14382
/proc/meminfo: memFree=28529100/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=225.56 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 16213 42011 0 0 1225 205 21098 28 20 0 1 0 338045960 139825152 6376 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6376 1180 1 0 5194 0
[pid=14378] ppid=14214 vsize=58080 CPUtime=70.18 cores=0,2,4,6
/proc/14378/stat : 14378 (wbo1.4a) R 14214 14378 14378 0 -1 4202496 15364 0 0 0 6996 22 0 0 20 0 1 0 338067168 59473920 13499 33554432000 134512640 135751879 4293030256 4293028508 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/14378/statm: 14520 13499 139 303 0 14215 0
Current children cumulated CPU time (s) 295.74
Current children cumulated vsize (KiB) 194628

[startup+342.3 s]
/proc/loadavg: 2.06 2.12 2.09 3/181 14385
/proc/meminfo: memFree=28424144/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=328.99 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 17458 61090 0 0 1476 245 31120 58 20 0 1 0 338045960 139825152 6377 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6377 1180 1 0 5194 0
[pid=14385] ppid=14214 vsize=126340 CPUtime=29.64 cores=0,2,4,6
/proc/14385/stat : 14385 (wbo1.4b) R 14214 14385 14385 0 -1 4202496 32334 0 0 0 2960 4 0 0 20 0 1 0 338077224 129372160 30498 33554432000 134512640 135751879 4294815008 4294811632 134594790 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/14385/statm: 31585 30498 142 303 0 31280 0
Current children cumulated CPU time (s) 358.63
Current children cumulated vsize (KiB) 262888

[startup+402.301 s]
/proc/loadavg: 2.20 2.14 2.10 3/217 14430
/proc/meminfo: memFree=27799536/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=382.2 cores=0,2,4,6

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

/proc/14568/statm: 12833 12552 176 383 0 12448 0
Current children cumulated CPU time (s) 1054.75
Current children cumulated vsize (KiB) 187880

[startup+1062.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/181 14581
/proc/meminfo: memFree=28512392/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=858.51 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 40830 315675 0 2 4516 722 80418 195 20 0 1 0 338045960 139825152 6386 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6386 1180 1 0 5194 0
[pid=14568] ppid=14214 vsize=61424 CPUtime=259.01 cores=0,2,4,6
/proc/14568/stat : 14568 (clasp-1.3.3-x86) R 14214 14568 14568 0 -1 4202496 15696 0 0 0 25898 3 0 0 20 0 1 0 338126282 62898176 15068 33554432000 134512640 136080129 4289539808 4289538880 134849659 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/14568/statm: 15356 15068 176 383 0 14971 0
Current children cumulated CPU time (s) 1117.52
Current children cumulated vsize (KiB) 197972

[startup+1122.3 s]
/proc/loadavg: 2.12 2.10 2.09 4/181 14584
/proc/meminfo: memFree=28536048/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=1161.67 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 42064 332357 0 2 4760 762 110445 200 20 0 1 0 338045960 139825152 6386 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6386 1180 1 0 5194 0
[pid=14584] ppid=14214 vsize=46180 CPUtime=18.67 cores=0,2,4,6
/proc/14584/stat : 14584 (bsolo_pb10) R 14214 14584 14584 0 -1 4202496 10574 0 0 0 1865 2 0 0 20 0 1 0 338156322 47288320 8883 33554432000 134512640 137138936 4292173264 4291594072 135984589 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/14584/statm: 11545 8883 184 642 0 10901 0
Current children cumulated CPU time (s) 1180.34
Current children cumulated vsize (KiB) 182728

[startup+1182.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/181 14588
/proc/meminfo: memFree=28470616/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=1164.61 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 42093 332357 0 2 5014 802 110445 200 20 0 1 0 338045960 139825152 6386 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6386 1180 1 0 5194 0
[pid=14584] ppid=14214 vsize=104592 CPUtime=78.65 cores=0,2,4,6
/proc/14584/stat : 14584 (bsolo_pb10) R 14214 14584 14584 0 -1 4202496 25854 0 0 0 7853 12 0 0 20 0 1 0 338156322 107102208 23575 33554432000 134512640 137138936 4292173264 4292171688 134606670 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/14584/statm: 26148 23575 192 642 0 25504 0
Current children cumulated CPU time (s) 1243.26
Current children cumulated vsize (KiB) 241140

[startup+1242.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/181 14597
/proc/meminfo: memFree=28594920/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=1278.17 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 44571 374807 0 2 5265 844 121490 218 20 0 1 0 338045960 139825152 6387 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6387 1180 1 0 5194 0
[pid=14594] ppid=14214 vsize=24136 CPUtime=27.97 cores=0,2,4,6
/proc/14594/stat : 14594 (clasp-1.3.3-x86) R 14214 14594 14594 0 -1 4202496 6432 0 0 0 2796 1 0 0 20 0 1 0 338167391 24715264 5766 33554432000 134512640 136080129 4287999120 4287998192 134849267 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/14594/statm: 6034 5766 176 383 0 5649 0
Current children cumulated CPU time (s) 1306.14
Current children cumulated vsize (KiB) 160684

[startup+1302.3 s]
/proc/loadavg: 2.07 2.09 2.09 4/181 14600
/proc/meminfo: memFree=28567500/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=1280.95 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 44595 374807 0 2 5507 880 121490 218 20 0 1 0 338045960 139825152 6387 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6387 1180 1 0 5194 0
[pid=14594] ppid=14214 vsize=37784 CPUtime=87.96 cores=0,2,4,6
/proc/14594/stat : 14594 (clasp-1.3.3-x86) R 14214 14594 14594 0 -1 4202496 9820 0 0 0 8794 2 0 0 20 0 1 0 338167391 38690816 9157 33554432000 134512640 136080129 4287999120 4287998080 134808258 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/14594/statm: 9446 9157 176 383 0 9061 0
Current children cumulated CPU time (s) 1368.91
Current children cumulated vsize (KiB) 174332

[startup+1362.3 s]
/proc/loadavg: 2.15 2.10 2.09 3/181 14615
/proc/meminfo: memFree=28595432/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=1404.49 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 48316 396300 0 2 5759 919 133546 225 20 0 1 0 338045960 139825152 6388 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6388 1180 1 0 5194 0
[pid=14609] ppid=14214 vsize=24132 CPUtime=27.29 cores=0,2,4,6
/proc/14609/stat : 14609 (clasp-1.3.3-x86) R 14214 14609 14609 0 -1 4202496 5916 0 0 0 2729 0 0 0 20 0 1 0 338179460 24711168 5755 33554432000 134512640 136080129 4289876688 4289875816 134803104 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/14609/statm: 6033 5755 176 383 0 5648 0
Current children cumulated CPU time (s) 1431.78
Current children cumulated vsize (KiB) 160680

[startup+1422.31 s]
/proc/loadavg: 2.17 2.11 2.09 3/182 14630
/proc/meminfo: memFree=28594736/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=1468.01 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 50805 410609 0 2 6009 958 139605 229 20 0 1 0 338045960 139825152 6389 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6389 1180 1 0 5194 0
[pid=14627] ppid=14214 vsize=24128 CPUtime=26.61 cores=0,2,4,6
/proc/14627/stat : 14627 (clasp-1.3.3-x86) R 14214 14627 14627 0 -1 4202496 5918 0 0 0 2660 1 0 0 20 0 1 0 338185528 24707072 5753 33554432000 134512640 136080129 4287463296 4287462368 134849241 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/14627/statm: 6032 5753 176 383 0 5647 0
Current children cumulated CPU time (s) 1494.62
Current children cumulated vsize (KiB) 160676

[startup+1482.3 s]
/proc/loadavg: 2.19 2.12 2.10 3/180 14633
/proc/meminfo: memFree=28566940/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=1470.78 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 50832 410609 0 2 6245 999 139605 229 20 0 1 0 338045960 139825152 6389 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6389 1180 1 0 5194 0
[pid=14627] ppid=14214 vsize=37740 CPUtime=86.59 cores=0,2,4,6
/proc/14627/stat : 14627 (clasp-1.3.3-x86) R 14214 14627 14627 0 -1 4202496 9315 0 0 0 8658 1 0 0 20 0 1 0 338185528 38645760 9155 33554432000 134512640 136080129 4287463296 4287462256 134808296 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/14627/statm: 9435 9155 176 383 0 9050 0
Current children cumulated CPU time (s) 1557.37
Current children cumulated vsize (KiB) 174288

[startup+1542.3 s]
/proc/loadavg: 2.14 2.11 2.09 3/181 14649
/proc/meminfo: memFree=28592808/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=1594.35 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 54550 432351 0 2 6502 1038 151660 235 20 0 1 0 338045960 139825152 6390 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6390 1180 1 0 5194 0
[pid=14643] ppid=14214 vsize=27464 CPUtime=25.93 cores=0,2,4,6
/proc/14643/stat : 14643 (clasp-1.3.3-x86) R 14214 14643 14643 0 -1 4202496 6745 0 0 0 2592 1 0 0 20 0 1 0 338197595 28123136 6603 33554432000 134512640 136080129 4291553584 4291552452 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/14643/statm: 6866 6603 176 383 0 6481 0
Current children cumulated CPU time (s) 1620.28
Current children cumulated vsize (KiB) 164012

[startup+1602.3 s]
/proc/loadavg: 2.19 2.12 2.10 3/181 14652
/proc/meminfo: memFree=28563896/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=1597.14 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 54576 432351 0 2 6744 1075 151660 235 20 0 1 0 338045960 139825152 6390 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6390 1180 1 0 5194 0
[pid=14643] ppid=14214 vsize=40964 CPUtime=85.91 cores=0,2,4,6
/proc/14643/stat : 14643 (clasp-1.3.3-x86) R 14214 14643 14643 0 -1 4202496 10123 0 0 0 8589 2 0 0 20 0 1 0 338197595 41947136 9984 33554432000 134512640 136080129 4291553584 4291552544 134808296 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/14643/statm: 10241 9984 176 383 0 9856 0
Current children cumulated CPU time (s) 1683.05
Current children cumulated vsize (KiB) 177512

[startup+1662.3 s]
/proc/loadavg: 2.06 2.10 2.09 3/181 14667
/proc/meminfo: memFree=28596912/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=1720.69 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 58296 454223 0 2 6994 1118 163715 242 20 0 1 0 338045960 139825152 6392 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6392 1180 1 0 5194 0
[pid=14661] ppid=14214 vsize=24132 CPUtime=25.24 cores=0,2,4,6
/proc/14661/stat : 14661 (clasp-1.3.3-x86) R 14214 14661 14661 0 -1 4202496 5917 0 0 0 2523 1 0 0 20 0 1 0 338209664 24711168 5756 33554432000 134512640 136080129 4294244000 4294243072 134849440 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/14661/statm: 6033 5756 176 383 0 5648 0
Current children cumulated CPU time (s) 1745.93
Current children cumulated vsize (KiB) 160680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1714 s]
/proc/loadavg: 2.17 2.11 2.09 3/181 14670
/proc/meminfo: memFree=28567572/32873844 swapFree=7380/7380
[pid=14214] ppid=14212 vsize=136548 CPUtime=1723.1 cores=0,2,4,6
/proc/14214/stat : 14214 (python) S 14212 14214 11290 0 -1 4202496 58319 454223 0 2 7203 1150 163715 242 20 0 1 0 338045960 139825152 6392 33554432000 4194304 4196484 140735093241040 140735093232800 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14214/statm: 34137 6392 1180 1 0 5194 0
[pid=14661] ppid=14214 vsize=37284 CPUtime=76.94 cores=0,2,4,6
/proc/14661/stat : 14661 (clasp-1.3.3-x86) R 14214 14661 14661 0 -1 4202496 9175 0 0 0 7692 2 0 0 20 0 1 0 338209664 38178816 9017 33554432000 134512640 136080129 4294244000 4294242992 134588584 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/14661/statm: 9321 9017 176 383 0 8936 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 173832

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 14214 and gives
#  childrusage.ru_utime.tv_sec=1709
#  childrusage.ru_utime.tv_usec=192163
#  childrusage.ru_stime.tv_sec=13
#  childrusage.ru_stime.tv_usec=931882
# CPU time returned by wait4() is 1723.12
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1714.01
CPU time (s): 1800.04
CPU user time (s): 1786.1
CPU system time (s): 13.94
CPU usage (%): 105.019
Max. virtual memory (cumulated for all children) (KiB): 2851688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1709.19
system time used= 13.9319
maximum resident set size= 516376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 512542
page faults= 2
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9822
involuntary context switches= 4180

runsolver used 3.69344 second user time and 9.14261 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 12:26:51
IDJOB=3739563
IDBENCH=73459
IDSOLVER=2323
FILE ID=node133/3739563-1338719211
RUNJOBID= node133-1338713154-11306
PBS_JOBID= 14636724
Free space on /tmp= 70460 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12046_2-sat.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3739563-1338719211/watcher-3739563-1338719211 -o /tmp/evaluation-result-3739563-1338719211/solver-3739563-1338719211 -C 1800 -W 1900 -M 15500  solver HOME/instance-3739563-1338719211.opb 110295926 

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

MD5SUM BENCH= 8df6acf86997549eac6f2a4fde05a479
RANDOM SEED=110295926

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:        28633528 kB
Buffers:          447996 kB
Cached:          2831008 kB
SwapCached:          676 kB
Active:          1554792 kB
Inactive:        1782028 kB
Active(anon):      49616 kB
Inactive(anon):    10220 kB
Active(file):    1505176 kB
Inactive(file):  1771808 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             30712 kB
Writeback:             0 kB
AnonPages:         64068 kB
Mapped:            14500 kB
Shmem:                 0 kB
Slab:             762436 kB
SReclaimable:     202588 kB
SUnreclaim:       559848 kB
KernelStack:        1472 kB
PageTables:         4652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     173396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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= 70436 MiB
End job on node133 at 2012-06-03 12:55:28