Trace number 3739927

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9045_1-sat.opb
MD5SUMd4d1ca36c8af6075d3c9b6c16eca4a6b
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 variables26754
Total number of constraints93164
Number of constraints which are clauses92580
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints584
Minimum length of a constraint1
Maximum length of a constraint90
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 23
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 530
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

running on 4 cores: 1,3,5,7

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.11 2.06 2.01 2/175 24004
/proc/meminfo: memFree=26632068/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/24004/stat : 24004 (python) D 24002 24004 21196 0 -1 4202496 866 0 0 0 0 0 0 0 20 0 1 0 338105675 15749120 618 33554432000 4194304 5683644 140734956920336 140734956878792 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/24004/statm: 3845 618 331 364 0 287 0

[startup+0.0335969 s]
/proc/loadavg: 2.11 2.06 2.01 2/175 24004
/proc/meminfo: memFree=26632068/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=17628 CPUtime=0.01 cores=1,3,5,7
/proc/24004/stat : 24004 (python) D 24002 24004 21196 0 -1 4202496 2218 0 0 0 1 0 0 0 20 0 1 0 338105675 18051072 723 33554432000 4194304 4196484 140734498840512 140734498766456 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/24004/statm: 4407 723 354 1 0 342 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17628

[startup+0.100271 s]
/proc/loadavg: 2.11 2.06 2.01 2/175 24004
/proc/meminfo: memFree=26632068/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=57144 CPUtime=0.06 cores=1,3,5,7
/proc/24004/stat : 24004 (python) D 24002 24004 21196 0 -1 4202496 4110 0 0 0 5 1 0 0 20 0 1 0 338105675 58515456 2252 33554432000 4194304 4196484 140734498840512 140734498696040 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/24004/statm: 14286 2252 603 1 0 1624 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 57144

[startup+0.300165 s]
/proc/loadavg: 2.11 2.06 2.01 2/175 24004
/proc/meminfo: memFree=26632068/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=103800 CPUtime=0.23 cores=1,3,5,7
/proc/24004/stat : 24004 (python) R 24002 24004 21196 0 -1 4202496 6861 1015 0 0 17 6 0 0 20 0 1 0 338105675 106291200 4266 33554432000 4194304 4196484 140734498840512 140734498806472 140572639713113 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 25950 4266 1052 1 0 3236 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 103800

[startup+0.700128 s]
/proc/loadavg: 2.11 2.06 2.01 2/175 24004
/proc/meminfo: memFree=26632068/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=134484 CPUtime=0.48 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 11213 1015 0 0 38 10 0 0 20 0 1 0 338105675 137711616 6347 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 33621 6347 1170 1 0 5193 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 134484

[startup+1.50022 s]
/proc/loadavg: 2.11 2.06 2.01 3/177 24010
/proc/meminfo: memFree=26604136/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=134484 CPUtime=0.5 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 11215 1015 0 0 40 10 0 0 20 0 1 0 338105675 137711616 6347 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 33621 6347 1170 1 0 5193 0
[pid=24010] ppid=24004 vsize=8980 CPUtime=0.9 cores=1,3,5,7
/proc/24010/stat : 24010 (clasp-1.3.3-x86) R 24004 24010 24010 0 -1 4202496 2452 0 0 0 90 0 0 0 20 0 1 0 338105733 9195520 1968 33554432000 134512640 136080129 4294115296 4294114384 134579365 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/24010/statm: 2245 1968 176 383 0 1860 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 143464

[startup+3.10022 s]
/proc/loadavg: 2.11 2.06 2.01 3/177 24010
/proc/meminfo: memFree=26601904/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=134484 CPUtime=0.57 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 11221 1015 0 0 46 11 0 0 20 0 1 0 338105675 137711616 6347 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 33621 6347 1170 1 0 5193 0
[pid=24010] ppid=24004 vsize=10696 CPUtime=2.5 cores=1,3,5,7
/proc/24010/stat : 24010 (clasp-1.3.3-x86) R 24004 24010 24010 0 -1 4202496 2891 0 0 0 250 0 0 0 20 0 1 0 338105733 10952704 2407 33554432000 134512640 136080129 4294115296 4294114256 134808261 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/24010/statm: 2674 2407 176 383 0 2289 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 145180

[startup+6.30022 s]
/proc/loadavg: 2.18 2.08 2.01 3/177 24010
/proc/meminfo: memFree=26597804/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=134484 CPUtime=0.7 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 11230 1015 0 0 57 13 0 0 20 0 1 0 338105675 137711616 6347 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 33621 6347 1170 1 0 5193 0
[pid=24010] ppid=24004 vsize=13468 CPUtime=5.7 cores=1,3,5,7
/proc/24010/stat : 24010 (clasp-1.3.3-x86) R 24004 24010 24010 0 -1 4202496 3578 0 0 0 570 0 0 0 20 0 1 0 338105733 13791232 3094 33554432000 134512640 136080129 4294115296 4294114368 134849100 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/24010/statm: 3367 3094 176 383 0 2982 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 147952

[startup+12.7001 s]
/proc/loadavg: 2.17 2.08 2.01 3/177 24013
/proc/meminfo: memFree=26594212/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=11.04 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 12490 6081 0 0 85 17 1001 1 20 0 1 0 338105675 139821056 6369 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 34136 6369 1180 1 0 5193 0
[pid=24013] ppid=24004 vsize=10432 CPUtime=2.06 cores=1,3,5,7
/proc/24013/stat : 24013 (clasp-1.3.3-x86) R 24004 24013 24013 0 -1 4202496 2816 0 0 0 206 0 0 0 20 0 1 0 338106738 10682368 2335 33554432000 134512640 136080129 4291887616 4291886484 135505028 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/24013/statm: 2608 2335 176 383 0 2223 0
Current children cumulated CPU time (s) 13.1
Current children cumulated vsize (KiB) 146976

[startup+25.5061 s]
/proc/loadavg: 2.13 2.07 2.01 3/177 24013
/proc/meminfo: memFree=26584420/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=11.61 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 12518 6081 0 0 134 25 1001 1 20 0 1 0 338105675 139821056 6369 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 34136 6369 1180 1 0 5193 0
[pid=24013] ppid=24004 vsize=16240 CPUtime=14.87 cores=1,3,5,7
/proc/24013/stat : 24013 (clasp-1.3.3-x86) R 24004 24013 24013 0 -1 4202496 4272 0 0 0 1486 1 0 0 20 0 1 0 338106738 16629760 3791 33554432000 134512640 136080129 4291887616 4291886688 134849440 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/24013/statm: 4060 3791 176 383 0 3675 0
Current children cumulated CPU time (s) 26.48
Current children cumulated vsize (KiB) 152784

[startup+51.1002 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 24016
/proc/meminfo: memFree=26671012/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=12.7 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 12544 6081 0 0 228 40 1001 1 20 0 1 0 338105675 139821056 6369 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 34136 6369 1180 1 0 5193 0
[pid=24013] ppid=24004 vsize=23676 CPUtime=40.45 cores=1,3,5,7
/proc/24013/stat : 24013 (clasp-1.3.3-x86) R 24004 24013 24013 0 -1 4202496 6150 0 0 0 4044 1 0 0 20 0 1 0 338106738 24244224 5661 33554432000 134512640 136080129 4291887616 4291886608 134589236 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/24013/statm: 5919 5661 176 383 0 5534 0
Current children cumulated CPU time (s) 53.15
Current children cumulated vsize (KiB) 160220

[startup+102.3 s]
/proc/loadavg: 2.16 2.08 2.01 3/177 24028
/proc/meminfo: memFree=26680128/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=65.48 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 13732 13154 0 0 446 71 6028 3 20 0 1 0 338105675 139821056 6373 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 34136 6373 1180 1 0 5193 0
[pid=24019] ppid=24004 vsize=56724 CPUtime=41.32 cores=1,3,5,7
/proc/24019/stat : 24019 (wbo1.4a) R 24004 24019 24019 0 -1 4202496 14757 0 0 0 4119 13 0 0 20 0 1 0 338111770 58085376 13583 33554432000 134512640 135751879 4287551456 4287549632 134616876 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/24019/statm: 14181 13583 139 303 0 13876 0
Current children cumulated CPU time (s) 106.8
Current children cumulated vsize (KiB) 193268

[startup+162.3 s]
/proc/loadavg: 2.09 2.08 2.01 3/177 24049
/proc/meminfo: memFree=26717544/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=118.35 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 14992 31037 0 0 675 103 11036 21 20 0 1 0 338105675 139821056 6373 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 34136 6373 1180 1 0 5193 0
[pid=24034] ppid=24004 vsize=23788 CPUtime=51.04 cores=1,3,5,7
/proc/24034/stat : 24034 (clasp-1.3.3-x86) R 24004 24034 24034 0 -1 4202496 6171 0 0 0 5103 1 0 0 20 0 1 0 338116798 24358912 5685 33554432000 134512640 136080129 4290004224 4290003216 134588720 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/24034/statm: 5947 5685 176 383 0 5562 0
Current children cumulated CPU time (s) 169.39
Current children cumulated vsize (KiB) 160332

[startup+222.3 s]
/proc/loadavg: 2.14 2.09 2.02 3/178 24079
/proc/meminfo: memFree=26713440/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=221.72 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 16263 41551 0 0 924 142 21081 25 20 0 1 0 338105675 139821056 6377 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 34136 6377 1180 1 0 5193 0
[pid=24076] ppid=24004 vsize=25672 CPUtime=10.53 cores=1,3,5,7
/proc/24076/stat : 24076 (wbo1.4a) R 24004 24076 24076 0 -1 4202496 6971 0 0 0 1048 5 0 0 20 0 1 0 338126851 26288128 5816 33554432000 134512640 135751879 4292912096 4292910348 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/24076/statm: 6418 5816 139 303 0 6113 0
Current children cumulated CPU time (s) 232.25
Current children cumulated vsize (KiB) 162216

[startup+282.3 s]
/proc/loadavg: 2.13 2.10 2.02 3/176 24094
/proc/meminfo: memFree=26648424/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=224.36 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 16299 41551 0 0 1154 176 21081 25 20 0 1 0 338105675 139821056 6377 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 34136 6377 1180 1 0 5193 0
[pid=24076] ppid=24004 vsize=86824 CPUtime=70.49 cores=1,3,5,7
/proc/24076/stat : 24076 (wbo1.4a) R 24004 24076 24076 0 -1 4202496 22266 0 0 0 7027 22 0 0 20 0 1 0 338126851 88907776 21091 33554432000 134512640 135751879 4292912096 4292910348 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/24076/statm: 21706 21091 139 303 0 21401 0
Current children cumulated CPU time (s) 294.85
Current children cumulated vsize (KiB) 223368

[startup+342.306 s]
/proc/loadavg: 2.15 2.11 2.03 3/177 24098
/proc/meminfo: memFree=26613524/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=327.79 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 17534 69873 0 0 1386 212 31125 56 20 0 1 0 338105675 139821056 6379 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 34136 6379 1180 1 0 5193 0
[pid=24098] ppid=24004 vsize=101836 CPUtime=29.72 cores=1,3,5,7
/proc/24098/stat : 24098 (wbo1.4b) R 24004 24098 24098 0 -1 4202496 25990 0 0 0 2967 5 0 0 20 0 1 0 338136932 104280064 24874 33554432000 134512640 135751879 4286743904 4286740976 134524613 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/24098/statm: 25459 24874 142 303 0 25154 0
Current children cumulated CPU time (s) 357.51
Current children cumulated vsize (KiB) 238380

[startup+402.301 s]
/proc/loadavg: 2.33 2.18 2.05 3/195 24119
/proc/meminfo: memFree=26197736/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=380.98 cores=1,3,5,7

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

/proc/24004/statm: 34136 6387 1180 1 0 5193 0
[pid=24213] ppid=24004 vsize=43164 CPUtime=260.1 cores=1,3,5,7
/proc/24213/stat : 24213 (clasp-1.3.3-x86) R 24004 24213 24213 0 -1 4202496 10989 0 0 0 26008 2 0 0 20 0 1 0 338185887 44199936 10511 33554432000 134512640 136080129 4294742560 4294741632 134849753 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/24213/statm: 10791 10511 176 383 0 10406 0
Current children cumulated CPU time (s) 1113.77
Current children cumulated vsize (KiB) 179708

[startup+1122.3 s]
/proc/loadavg: 2.17 2.12 2.05 3/177 24241
/proc/meminfo: memFree=26682096/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=1156.66 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 42222 302209 0 2 4457 678 110337 194 20 0 1 0 338105675 139821056 6387 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 34136 6387 1180 1 0 5193 0
[pid=24241] ppid=24004 vsize=56280 CPUtime=19.84 cores=1,3,5,7
/proc/24241/stat : 24241 (bsolo_pb10) R 24004 24241 24241 0 -1 4202496 12886 0 0 0 1981 3 0 0 20 0 1 0 338215918 57630720 11520 33554432000 134512640 137138936 4293078672 4293077280 134552745 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/24241/statm: 14070 11520 192 642 0 13426 0
Current children cumulated CPU time (s) 1176.5
Current children cumulated vsize (KiB) 192824

[startup+1182.3 s]
/proc/loadavg: 2.06 2.09 2.05 3/177 24241
/proc/meminfo: memFree=26551232/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=1159.25 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 42248 302209 0 2 4679 715 110337 194 20 0 1 0 338105675 139821056 6388 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 34136 6388 1180 1 0 5193 0
[pid=24241] ppid=24004 vsize=172812 CPUtime=79.81 cores=1,3,5,7
/proc/24241/stat : 24241 (bsolo_pb10) R 24004 24241 24241 0 -1 4202496 42061 0 0 0 7970 11 0 0 20 0 1 0 338215918 176959488 40655 33554432000 134512640 137138936 4293078672 4293077216 134607563 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/24241/statm: 43203 40655 192 642 0 42559 0
Current children cumulated CPU time (s) 1239.06
Current children cumulated vsize (KiB) 309356

[startup+1242.3 s]
/proc/loadavg: 2.06 2.09 2.05 4/177 24295
/proc/meminfo: memFree=26559288/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=1272.59 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 44760 356906 0 2 4907 753 121389 210 20 0 1 0 338105675 139821056 6389 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 34136 6389 1180 1 0 5193 0
[pid=24295] ppid=24004 vsize=22484 CPUtime=29.08 cores=1,3,5,7
/proc/24295/stat : 24295 (clasp-1.3.3-x86) R 24004 24295 24295 0 -1 4202496 5838 0 0 0 2908 0 0 0 20 0 1 0 338226995 23023616 5352 33554432000 134512640 136080129 4289745936 4289744928 134588592 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/24295/statm: 5621 5352 176 383 0 5236 0
Current children cumulated CPU time (s) 1301.67
Current children cumulated vsize (KiB) 159028

[startup+1302.3 s]
/proc/loadavg: 2.11 2.10 2.05 3/177 24298
/proc/meminfo: memFree=26559560/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=1275.17 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 44788 356906 0 2 5130 788 121389 210 20 0 1 0 338105675 139821056 6389 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 34136 6389 1180 1 0 5193 0
[pid=24295] ppid=24004 vsize=30576 CPUtime=89.06 cores=1,3,5,7
/proc/24295/stat : 24295 (clasp-1.3.3-x86) R 24004 24295 24295 0 -1 4202496 7864 0 0 0 8905 1 0 0 20 0 1 0 338226995 31309824 7372 33554432000 134512640 136080129 4289745936 4289744896 134808261 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/24295/statm: 7644 7372 176 383 0 7259 0
Current children cumulated CPU time (s) 1364.23
Current children cumulated vsize (KiB) 167120

[startup+1362.3 s]
/proc/loadavg: 2.12 2.10 2.05 3/177 24310
/proc/meminfo: memFree=26535064/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=1398.47 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 48545 377580 0 2 5368 825 133439 215 20 0 1 0 338105675 139821056 6389 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 34136 6389 1180 1 0 5193 0
[pid=24310] ppid=24004 vsize=22484 CPUtime=28.47 cores=1,3,5,7
/proc/24310/stat : 24310 (clasp-1.3.3-x86) R 24004 24310 24310 0 -1 4202496 5841 0 0 0 2846 1 0 0 20 0 1 0 338239056 23023616 5352 33554432000 134512640 136080129 4291861216 4291860288 134849100 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/24310/statm: 5621 5352 176 383 0 5236 0
Current children cumulated CPU time (s) 1426.94
Current children cumulated vsize (KiB) 159028

[startup+1422.3 s]
/proc/loadavg: 2.04 2.08 2.04 3/178 24322
/proc/meminfo: memFree=26579084/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=1461.49 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 51054 389742 0 2 5600 861 139469 219 20 0 1 0 338105675 139821056 6390 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 34136 6390 1180 1 0 5193 0
[pid=24316] ppid=24004 vsize=22468 CPUtime=28.1 cores=1,3,5,7
/proc/24316/stat : 24316 (clasp-1.3.3-x86) R 24004 24316 24316 0 -1 4202496 5849 0 0 0 2809 1 0 0 20 0 1 0 338245093 23007232 5354 33554432000 134512640 136080129 4288508992 4288507952 134808433 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/24316/statm: 5617 5354 176 383 0 5232 0
Current children cumulated CPU time (s) 1489.59
Current children cumulated vsize (KiB) 159012

[startup+1482.3 s]
/proc/loadavg: 2.06 2.07 2.04 3/178 24345
/proc/meminfo: memFree=26531328/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=1464.07 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 51083 389742 0 2 5824 895 139469 219 20 0 1 0 338105675 139821056 6390 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 34136 6390 1180 1 0 5193 0
[pid=24316] ppid=24004 vsize=30824 CPUtime=88.09 cores=1,3,5,7
/proc/24316/stat : 24316 (clasp-1.3.3-x86) R 24004 24316 24316 0 -1 4202496 7914 0 0 0 8808 1 0 0 20 0 1 0 338245093 31563776 7419 33554432000 134512640 136080129 4288508992 4288507780 135505028 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/24316/statm: 7706 7419 176 383 0 7321 0
Current children cumulated CPU time (s) 1552.16
Current children cumulated vsize (KiB) 167368

[startup+1542.3 s]
/proc/loadavg: 2.02 2.06 2.04 3/177 24358
/proc/meminfo: memFree=26560788/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=1587.34 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 54824 410456 0 2 6058 933 151519 224 20 0 1 0 338105675 139821056 6392 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 34136 6392 1180 1 0 5193 0
[pid=24358] ppid=24004 vsize=22488 CPUtime=27.49 cores=1,3,5,7
/proc/24358/stat : 24358 (clasp-1.3.3-x86) R 24004 24358 24358 0 -1 4202496 5842 0 0 0 2748 1 0 0 20 0 1 0 338257155 23027712 5353 33554432000 134512640 136080129 4286945712 4286944704 134588914 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/24358/statm: 5622 5353 176 383 0 5237 0
Current children cumulated CPU time (s) 1614.83
Current children cumulated vsize (KiB) 159032

[startup+1602.3 s]
/proc/loadavg: 2.01 2.05 2.03 4/195 24379
/proc/meminfo: memFree=26036136/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=1589.91 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 54849 410456 0 2 6281 967 151519 224 20 0 1 0 338105675 139821056 6392 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 34136 6392 1180 1 0 5193 0
[pid=24358] ppid=24004 vsize=30636 CPUtime=87.46 cores=1,3,5,7
/proc/24358/stat : 24358 (clasp-1.3.3-x86) R 24004 24358 24358 0 -1 4202496 7871 0 0 0 8745 1 0 0 20 0 1 0 338257155 31371264 7375 33554432000 134512640 136080129 4286945712 4286944672 134808296 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/24358/statm: 7659 7375 176 383 0 7274 0
Current children cumulated CPU time (s) 1677.37
Current children cumulated vsize (KiB) 167180

[startup+1662.31 s]
/proc/loadavg: 2.04 2.05 2.03 3/177 24391
/proc/meminfo: memFree=26562344/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=1713.19 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 58589 431156 0 2 6514 1006 163569 230 20 0 1 0 338105675 139821056 6392 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 34136 6392 1180 1 0 5193 0
[pid=24388] ppid=24004 vsize=22484 CPUtime=26.86 cores=1,3,5,7
/proc/24388/stat : 24388 (clasp-1.3.3-x86) R 24004 24388 24388 0 -1 4202496 5848 0 0 0 2686 0 0 0 20 0 1 0 338269217 23023616 5352 33554432000 134512640 136080129 4289198976 4289197968 134588592 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/24388/statm: 5621 5352 176 383 0 5236 0
Current children cumulated CPU time (s) 1740.05
Current children cumulated vsize (KiB) 159028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1719.8 s]
/proc/loadavg: 2.15 2.08 2.04 3/177 24391
/proc/meminfo: memFree=26534300/32873624 swapFree=7112/7112
[pid=24004] ppid=24002 vsize=136544 CPUtime=1715.65 cores=1,3,5,7
/proc/24004/stat : 24004 (python) S 24002 24004 21196 0 -1 4202496 58613 431156 0 2 6730 1036 163569 230 20 0 1 0 338105675 139821056 6392 33554432000 4194304 4196484 140734498840512 140734498832272 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/24004/statm: 34136 6392 1180 1 0 5193 0
[pid=24388] ppid=24004 vsize=30580 CPUtime=84.35 cores=1,3,5,7
/proc/24388/stat : 24388 (clasp-1.3.3-x86) R 24004 24388 24388 0 -1 4202496 7868 0 0 0 8434 1 0 0 20 0 1 0 338269217 31313920 7372 33554432000 134512640 136080129 4289198976 4289198044 134807664 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/24388/statm: 7645 7372 176 383 0 7260 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 167124

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 24004 and gives
#  childrusage.ru_utime.tv_sec=1703
#  childrusage.ru_utime.tv_usec=8103
#  childrusage.ru_stime.tv_sec=12
#  childrusage.ru_stime.tv_usec=676072
# CPU time returned by wait4() is 1715.68
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.0800171
#  lost CPU user time (s): 0.220001
#  lost CPU system time (s): -0.14

Real time (s): 1719.81
CPU time (s): 1800.08
CPU user time (s): 1787.55
CPU system time (s): 12.53
CPU usage (%): 104.667
Max. virtual memory (cumulated for all children) (KiB): 2851684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1703.01
system time used= 12.6761
maximum resident set size= 568992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 489770
page faults= 2
swaps= 0
block input operations= 0
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10329
involuntary context switches= 5598

runsolver used 3.40248 second user time and 8.84366 second system time

The end

Launcher Data 

Begin job on node121 at 2012-06-03 12:36:42
IDJOB=3739927
IDBENCH=75548
IDSOLVER=2323
FILE ID=node121/3739927-1338719802
RUNJOBID= node121-1338714575-21213
PBS_JOBID= 14636757
Free space on /tmp= 71228 MiB

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

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

MD5SUM BENCH= d4d1ca36c8af6075d3c9b6c16eca4a6b
RANDOM SEED=852921793

node121.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		: 2667.042
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	: 5334.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		: 2667.042
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.91
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		: 2667.042
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		: 2667.042
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		: 2667.042
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		: 2667.042
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.91
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		: 2667.042
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	: 5438.55
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		: 2667.042
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:       32873624 kB
MemFree:        26631960 kB
Buffers:          641624 kB
Cached:          4542616 kB
SwapCached:            0 kB
Active:          2046820 kB
Inactive:        3310716 kB
Active(anon):     161076 kB
Inactive(anon):    10760 kB
Active(file):    1885744 kB
Inactive(file):  3299956 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             28908 kB
Writeback:             0 kB
AnonPages:        176360 kB
Mapped:            18032 kB
Shmem:               200 kB
Slab:             746948 kB
SReclaimable:     188480 kB
SUnreclaim:       558468 kB
KernelStack:        1440 kB
PageTables:         4592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     275132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     86016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71160 MiB
End job on node121 at 2012-06-03 13:05:24