Trace number 3742183

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.01 1716.81

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K103.opb
MD5SUM34d84c84a6977bf98000135522032f88
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark170.657
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7004
Total number of constraints7212
Number of constraints which are clauses7109
Number of constraints which are cardinality constraints (but not clauses)103
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint103
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 104
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

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.16 2.09 2.08 3/177 31008
/proc/meminfo: memFree=28784432/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/31008/stat : 31008 (python) D 31006 31008 22930 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 339094328 15642624 527 33554432000 4194304 5683644 140734854487088 140734854473000 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/31008/statm: 3819 527 312 364 0 261 0

[startup+0.0143539 s]
/proc/loadavg: 2.16 2.09 2.08 3/177 31008
/proc/meminfo: memFree=28784432/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/31008/stat : 31008 (python) D 31006 31008 22930 0 -1 4202496 880 0 0 0 0 0 0 0 20 0 1 0 339094328 15749120 630 33554432000 4194304 5683644 140734854487088 140734854431816 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/31008/statm: 3845 630 334 364 0 287 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380

[startup+0.100355 s]
/proc/loadavg: 2.16 2.09 2.08 3/177 31008
/proc/meminfo: memFree=28784432/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=17892 CPUtime=0.03 cores=0,2,4,6
/proc/31008/stat : 31008 (python) D 31006 31008 22930 0 -1 4202496 2270 0 0 0 2 1 0 0 20 0 1 0 339094328 18321408 767 33554432000 4194304 4196484 140736963712864 140736963643032 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/31008/statm: 4473 767 367 1 0 408 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17892

[startup+0.30031 s]
/proc/loadavg: 2.16 2.09 2.08 3/177 31008
/proc/meminfo: memFree=28784432/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=57144 CPUtime=0.08 cores=0,2,4,6
/proc/31008/stat : 31008 (python) D 31006 31008 22930 0 -1 4202496 4148 0 0 0 5 3 0 0 20 0 1 0 339094328 58515456 2278 33554432000 4194304 4196484 140736963712864 140736963554584 233220947637 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/31008/statm: 14286 2278 604 1 0 1624 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 57144

[startup+0.700221 s]
/proc/loadavg: 2.16 2.09 2.08 3/177 31008
/proc/meminfo: memFree=28784432/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=103800 CPUtime=0.26 cores=0,2,4,6
/proc/31008/stat : 31008 (python) R 31006 31008 22930 0 -1 4202496 6858 1012 0 0 17 9 0 0 20 0 1 0 339094328 106291200 4265 33554432000 4194304 4196484 140736963712864 140736963678824 139926478847343 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 25950 4265 1052 1 0 3236 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 103800

[startup+1.5002 s]
/proc/loadavg: 2.16 2.09 2.08 2/178 31013
/proc/meminfo: memFree=28765932/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=118120 CPUtime=0.45 cores=0,2,4,6
/proc/31008/stat : 31008 (python) D 31006 31008 22930 0 -1 4202496 9592 1012 0 0 29 16 0 0 20 0 1 0 339094328 120954880 5830 33554432000 4194304 4196484 140736963712864 140736963646472 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 29530 5830 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 118120

[startup+3.10025 s]
/proc/loadavg: 2.16 2.09 2.08 3/179 31014
/proc/meminfo: memFree=28761088/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=134484 CPUtime=0.63 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 11230 1012 0 0 44 19 0 0 20 0 1 0 339094328 137711616 6346 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 33621 6346 1170 1 0 5193 0
[pid=31014] ppid=31008 vsize=4504 CPUtime=1.38 cores=0,2,4,6
/proc/31014/stat : 31014 (clasp-1.3.3-x86) R 31008 31014 31014 0 -1 4202496 1193 0 0 0 138 0 0 0 20 0 1 0 339094500 4612096 885 33554432000 134512640 136080129 4287172016 4287171024 134842294 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31014/statm: 1126 885 175 383 0 741 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 138988
heavy processes:

[startup+6.30024 s]
/proc/loadavg: 2.14 2.09 2.08 4/179 31014
/proc/meminfo: memFree=28758732/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=134484 CPUtime=0.77 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 11239 1012 0 0 56 21 0 0 20 0 1 0 339094328 137711616 6346 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 33621 6346 1170 1 0 5193 0
[pid=31014] ppid=31008 vsize=5552 CPUtime=4.58 cores=0,2,4,6
/proc/31014/stat : 31014 (clasp-1.3.3-x86) R 31008 31014 31014 0 -1 4202496 1436 0 0 0 458 0 0 0 20 0 1 0 339094500 5685248 1128 33554432000 134512640 136080129 4287172016 4287171088 134849469 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31014/statm: 1388 1128 175 383 0 1003 0
Current children cumulated CPU time (s) 5.35
Current children cumulated vsize (KiB) 140036

[startup+12.7002 s]
/proc/loadavg: 2.13 2.09 2.08 3/179 31017
/proc/meminfo: memFree=28760972/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=11.14 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 12490 3982 0 0 86 26 1001 1 20 0 1 0 339094328 139821056 6368 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6368 1180 1 0 5193 0
[pid=31017] ppid=31008 vsize=4640 CPUtime=0.94 cores=0,2,4,6
/proc/31017/stat : 31017 (clasp-1.3.3-x86) R 31008 31017 31017 0 -1 4202496 1220 0 0 0 94 0 0 0 20 0 1 0 339095503 4751360 911 33554432000 134512640 136080129 4290983424 4290982416 134589253 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31017/statm: 1160 911 175 383 0 775 0
Current children cumulated CPU time (s) 12.08
Current children cumulated vsize (KiB) 141184

[startup+25.5003 s]
/proc/loadavg: 2.10 2.08 2.08 3/179 31017
/proc/meminfo: memFree=28754284/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=11.74 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 12519 3982 0 0 138 34 1001 1 20 0 1 0 339094328 139821056 6368 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6368 1180 1 0 5193 0
[pid=31017] ppid=31008 vsize=9476 CPUtime=13.74 cores=0,2,4,6
/proc/31017/stat : 31017 (clasp-1.3.3-x86) R 31008 31017 31017 0 -1 4202496 2442 0 0 0 1374 0 0 0 20 0 1 0 339095503 9703424 2133 33554432000 134512640 136080129 4290983424 4290982368 134716422 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31017/statm: 2369 2133 175 383 0 1984 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 146020

[startup+51.1002 s]
/proc/loadavg: 2.07 2.07 2.07 3/179 31017
/proc/meminfo: memFree=28747824/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=12.92 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 12543 3982 0 0 240 50 1001 1 20 0 1 0 339094328 139821056 6368 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6368 1180 1 0 5193 0
[pid=31017] ppid=31008 vsize=15068 CPUtime=39.33 cores=0,2,4,6
/proc/31017/stat : 31017 (clasp-1.3.3-x86) R 31008 31017 31017 0 -1 4202496 3829 0 0 0 3932 1 0 0 20 0 1 0 339095503 15429632 3515 33554432000 134512640 136080129 4290983424 4290982496 134849965 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31017/statm: 3767 3515 175 383 0 3382 0
Current children cumulated CPU time (s) 52.25
Current children cumulated vsize (KiB) 151612

[startup+102.306 s]
/proc/loadavg: 2.03 2.06 2.07 3/179 31020
/proc/meminfo: memFree=28652412/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=66.03 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 13729 9178 0 0 474 84 6042 3 20 0 1 0 339094328 139821056 6373 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6373 1180 1 0 5193 0
[pid=31020] ppid=31008 vsize=106688 CPUtime=40.08 cores=0,2,4,6
/proc/31020/stat : 31020 (wbo1.4a) R 31008 31020 31020 0 -1 4202496 26627 0 0 0 3942 66 0 0 20 0 1 0 339100549 109248512 26206 33554432000 134512640 135751879 4293217360 4293215048 134519014 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/31020/statm: 26672 26206 139 303 0 26367 0
Current children cumulated CPU time (s) 106.11
Current children cumulated vsize (KiB) 243232

[startup+162.3 s]
/proc/loadavg: 2.06 2.06 2.07 3/179 31027
/proc/meminfo: memFree=28696192/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=119.75 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 14973 41705 0 0 724 119 11054 78 20 0 1 0 339094328 139821056 6375 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6375 1180 1 0 5193 0
[pid=31023] ppid=31008 vsize=18404 CPUtime=49.18 cores=0,2,4,6
/proc/31023/stat : 31023 (clasp-1.3.3-x86) R 31008 31023 31023 0 -1 4202496 4679 0 0 0 4918 0 0 0 20 0 1 0 339105638 18845696 4356 33554432000 134512640 136080129 4292748240 4292747184 134580629 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31023/statm: 4601 4356 175 383 0 4216 0
Current children cumulated CPU time (s) 168.93
Current children cumulated vsize (KiB) 154948

[startup+222.3 s]
/proc/loadavg: 2.16 2.09 2.08 3/179 31030
/proc/meminfo: memFree=28607576/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=223.14 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 16166 48657 0 0 993 155 21087 79 20 0 1 0 339094328 139821056 6375 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6375 1180 1 0 5193 0
[pid=31030] ppid=31008 vsize=31164 CPUtime=8.82 cores=0,2,4,6
/proc/31030/stat : 31030 (wbo1.4a) R 31008 31030 31030 0 -1 4202496 7759 0 0 0 869 13 0 0 20 0 1 0 339115676 31911936 7338 33554432000 134512640 135751879 4293952736 4293950432 134610209 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/31030/statm: 7791 7338 139 303 0 7486 0
Current children cumulated CPU time (s) 231.96
Current children cumulated vsize (KiB) 167708

[startup+282.3 s]
/proc/loadavg: 2.14 2.10 2.08 3/179 31036
/proc/meminfo: memFree=28597716/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=226 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 16190 48657 0 0 1245 189 21087 79 20 0 1 0 339094328 139821056 6375 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6375 1180 1 0 5193 0
[pid=31030] ppid=31008 vsize=178496 CPUtime=68.78 cores=0,2,4,6
/proc/31030/stat : 31030 (wbo1.4a) R 31008 31030 31030 0 -1 4202496 44622 0 0 0 6773 105 0 0 20 0 1 0 339115676 182779904 44168 33554432000 134512640 135751879 4293952736 4293950912 134616514 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/31030/statm: 44624 44168 139 303 0 44319 0
Current children cumulated CPU time (s) 294.78
Current children cumulated vsize (KiB) 315040

[startup+342.3 s]
/proc/loadavg: 2.05 2.08 2.08 3/179 31042
/proc/meminfo: memFree=28726240/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=330.42 cores=0,2,4,6
/proc/31008/stat : 31008 (python) R 31006 31008 22930 0 -1 4202496 17447 114848 0 0 1507 223 31096 216 20 0 1 0 339094328 139821056 6377 33554432000 4194304 4196484 140736963712864 140736963704624 233220948880 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6377 1180 1 0 5193 0
[pid=31039] ppid=31008 vsize=56932 CPUtime=27.28 cores=0,2,4,6
/proc/31039/stat : 31039 (wbo1.4b) R 31008 31039 31039 0 -1 4202496 14203 0 0 0 2724 4 0 0 20 0 1 0 339125828 58298368 13777 33554432000 134512640 135751879 4291902992 4291900716 135200241 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/31039/statm: 14233 13777 142 303 0 13928 0
Current children cumulated CPU time (s) 357.7
Current children cumulated vsize (KiB) 193476

[startup+402.301 s]
/proc/loadavg: 2.09 2.08 2.08 3/197 31069
/proc/meminfo: memFree=28658820/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=384.21 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 18671 135980 0 0 1780 265 36117 259 20 0 1 0 339094328 139821056 6378 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6378 1180 1 0 5193 0

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

/proc/31008/statm: 34136 6387 1180 1 0 5193 0
[pid=31221] ppid=31008 vsize=32132 CPUtime=253.98 cores=0,2,4,6
/proc/31221/stat : 31221 (clasp-1.3.3-x86) R 31008 31221 31221 0 -1 4202496 8120 0 0 0 25396 2 0 0 20 0 1 0 339175155 32903168 7766 33554432000 134512640 136080129 4288068864 4288067808 134804949 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31221/statm: 8033 7766 175 383 0 7648 0
Current children cumulated CPU time (s) 1114.22
Current children cumulated vsize (KiB) 168676

[startup+1122.3 s]
/proc/loadavg: 2.10 2.08 2.07 3/198 31258
/proc/meminfo: memFree=28576064/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=1163.7 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 41998 323806 0 2 4890 733 110291 456 20 0 1 0 339094328 139821056 6387 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6387 1180 1 0 5193 0
[pid=31258] ppid=31008 vsize=47408 CPUtime=13.52 cores=0,2,4,6
/proc/31258/stat : 31258 (bsolo_pb10) R 31008 31258 31258 0 -1 4202496 9962 0 0 0 1346 6 0 0 20 0 1 0 339205206 48545792 9414 33554432000 134512640 137138936 4293293744 4293292288 134607584 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/31258/statm: 11852 9414 192 642 0 11208 0
Current children cumulated CPU time (s) 1177.22
Current children cumulated vsize (KiB) 183952

[startup+1182.3 s]
/proc/loadavg: 2.26 2.14 2.09 3/197 31258
/proc/meminfo: memFree=28447264/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=1166.55 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 42024 323806 0 2 5142 766 110291 456 20 0 1 0 339094328 139821056 6387 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6387 1180 1 0 5193 0
[pid=31258] ppid=31008 vsize=140600 CPUtime=73.51 cores=0,2,4,6
/proc/31258/stat : 31258 (bsolo_pb10) R 31008 31258 31258 0 -1 4202496 33269 0 0 0 7334 17 0 0 20 0 1 0 339205206 143974400 32721 33554432000 134512640 137138936 4293293744 4293285920 134618214 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/31258/statm: 35150 32721 192 642 0 34506 0
Current children cumulated CPU time (s) 1240.06
Current children cumulated vsize (KiB) 277144

[startup+1242.3 s]
/proc/loadavg: 2.21 2.14 2.09 3/179 31267
/proc/meminfo: memFree=28622176/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=1280.16 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 44486 368826 0 2 5397 805 121337 477 20 0 1 0 339094328 139821056 6388 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6388 1180 1 0 5193 0
[pid=31267] ppid=31008 vsize=11272 CPUtime=22.8 cores=0,2,4,6
/proc/31267/stat : 31267 (clasp-1.3.3-x86) R 31008 31267 31267 0 -1 4202496 2891 0 0 0 2280 0 0 0 20 0 1 0 339216278 11542528 2577 33554432000 134512640 136080129 4290570320 4290569264 134580629 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31267/statm: 2818 2577 175 383 0 2433 0
Current children cumulated CPU time (s) 1302.96
Current children cumulated vsize (KiB) 147816

[startup+1302.3 s]
/proc/loadavg: 2.11 2.13 2.09 3/179 31267
/proc/meminfo: memFree=28521392/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=1282.94 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 44510 368826 0 2 5638 842 121337 477 20 0 1 0 339094328 139821056 6388 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6388 1180 1 0 5193 0
[pid=31267] ppid=31008 vsize=20992 CPUtime=82.79 cores=0,2,4,6
/proc/31267/stat : 31267 (clasp-1.3.3-x86) R 31008 31267 31267 0 -1 4202496 5304 0 0 0 8279 0 0 0 20 0 1 0 339216278 21495808 4990 33554432000 134512640 136080129 4290570320 4290569312 134588720 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31267/statm: 5248 4990 175 383 0 4863 0
Current children cumulated CPU time (s) 1365.73
Current children cumulated vsize (KiB) 157536

[startup+1362.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/179 31282
/proc/meminfo: memFree=28765388/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=1406.27 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 48206 381617 0 2 5897 878 133370 482 20 0 1 0 339094328 139821056 6389 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6389 1180 1 0 5193 0
[pid=31279] ppid=31008 vsize=11404 CPUtime=22.35 cores=0,2,4,6
/proc/31279/stat : 31279 (clasp-1.3.3-x86) R 31008 31279 31279 0 -1 4202496 2910 0 0 0 2235 0 0 0 20 0 1 0 339228321 11677696 2593 33554432000 134512640 136080129 4294824704 4294823776 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31279/statm: 2851 2593 175 383 0 2466 0
Current children cumulated CPU time (s) 1428.62
Current children cumulated vsize (KiB) 147948

[startup+1422.31 s]
/proc/loadavg: 2.01 2.08 2.08 3/179 31307
/proc/meminfo: memFree=28765212/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=1469.63 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 50680 389634 0 2 6145 919 139415 484 20 0 1 0 339094328 139821056 6390 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6390 1180 1 0 5193 0
[pid=31301] ppid=31008 vsize=11616 CPUtime=21.85 cores=0,2,4,6
/proc/31301/stat : 31301 (clasp-1.3.3-x86) R 31008 31301 31301 0 -1 4202496 2962 0 0 0 2185 0 0 0 20 0 1 0 339234373 11894784 2649 33554432000 134512640 136080129 4292020528 4292019224 134601831 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31301/statm: 2904 2649 175 383 0 2519 0
Current children cumulated CPU time (s) 1491.48
Current children cumulated vsize (KiB) 148160

[startup+1482.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/197 31334
/proc/meminfo: memFree=28580136/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=1472.42 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 50707 389634 0 2 6388 955 139415 484 20 0 1 0 339094328 139821056 6390 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6390 1180 1 0 5193 0
[pid=31301] ppid=31008 vsize=23204 CPUtime=81.83 cores=0,2,4,6
/proc/31301/stat : 31301 (clasp-1.3.3-x86) R 31008 31301 31301 0 -1 4202496 5857 0 0 0 8182 1 0 0 20 0 1 0 339234373 23760896 5538 33554432000 134512640 136080129 4292020528 4292019488 134808099 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31301/statm: 5801 5538 175 383 0 5416 0
Current children cumulated CPU time (s) 1554.25
Current children cumulated vsize (KiB) 159748

[startup+1542.3 s]
/proc/loadavg: 2.18 2.11 2.09 3/179 31358
/proc/meminfo: memFree=28763880/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=1595.76 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 54412 403578 0 2 6646 993 151448 489 20 0 1 0 339094328 139821056 6391 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6391 1180 1 0 5193 0
[pid=31349] ppid=31008 vsize=13700 CPUtime=21.41 cores=0,2,4,6
/proc/31349/stat : 31349 (clasp-1.3.3-x86) R 31008 31349 31349 0 -1 4202496 3501 0 0 0 2140 1 0 0 20 0 1 0 339246416 14028800 3183 33554432000 134512640 136080129 4293019680 4293018752 134850424 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31349/statm: 3425 3183 175 383 0 3040 0
Current children cumulated CPU time (s) 1617.17
Current children cumulated vsize (KiB) 150244

[startup+1602.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/179 31361
/proc/meminfo: memFree=28750680/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=1598.57 cores=0,2,4,6
/proc/31008/stat : 31008 (python) R 31006 31008 22930 0 -1 4202496 54439 403578 0 2 6888 1032 151448 489 20 0 1 0 339094328 139821056 6391 33554432000 4194304 4196484 140736963712864 140736963704624 233220572690 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6391 1180 1 0 5193 0
[pid=31349] ppid=31008 vsize=20116 CPUtime=81.39 cores=0,2,4,6
/proc/31349/stat : 31349 (clasp-1.3.3-x86) R 31008 31349 31349 0 -1 4202496 5100 0 0 0 8138 1 0 0 20 0 1 0 339246416 20598784 4777 33554432000 134512640 136080129 4293019680 4293018752 134849781 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31349/statm: 5029 4777 175 383 0 4644 0
Current children cumulated CPU time (s) 1679.96
Current children cumulated vsize (KiB) 156660

[startup+1662.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/179 31370
/proc/meminfo: memFree=28757516/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=1721.9 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 58120 416058 0 2 7143 1072 163482 493 20 0 1 0 339094328 139821056 6392 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6392 1180 1 0 5193 0
[pid=31370] ppid=31008 vsize=11660 CPUtime=20.95 cores=0,2,4,6
/proc/31370/stat : 31370 (clasp-1.3.3-x86) R 31008 31370 31370 0 -1 4202496 2974 0 0 0 2095 0 0 0 20 0 1 0 339258461 11939840 2658 33554432000 134512640 136080129 4293506608 4293505600 134588671 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31370/statm: 2915 2658 175 383 0 2530 0
Current children cumulated CPU time (s) 1742.85
Current children cumulated vsize (KiB) 148204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1716.8 s]
/proc/loadavg: 2.09 2.08 2.08 3/180 31374
/proc/meminfo: memFree=28747436/32873844 swapFree=7120/7120
[pid=31008] ppid=31006 vsize=136544 CPUtime=1724.46 cores=0,2,4,6
/proc/31008/stat : 31008 (python) S 31006 31008 22930 0 -1 4202496 58146 416058 0 2 7366 1105 163482 493 20 0 1 0 339094328 139821056 6392 33554432000 4194304 4196484 140736963712864 140736963704624 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31008/statm: 34136 6392 1180 1 0 5193 0
[pid=31370] ppid=31008 vsize=19200 CPUtime=75.45 cores=0,2,4,6
/proc/31370/stat : 31370 (clasp-1.3.3-x86) R 31008 31370 31370 0 -1 4202496 4883 0 0 0 7544 1 0 0 20 0 1 0 339258461 19660800 4563 33554432000 134512640 136080129 4293506608 4293505600 134588614 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31370/statm: 4800 4563 175 383 0 4415 0
Current children cumulated CPU time (s) 1799.91
Current children cumulated vsize (KiB) 155744

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 31008 and gives
#  childrusage.ru_utime.tv_sec=1708
#  childrusage.ru_utime.tv_usec=485270
#  childrusage.ru_stime.tv_sec=15
#  childrusage.ru_stime.tv_usec=995568
# CPU time returned by wait4() is 1724.48
# while last known CPU time is 1799.91
#
# 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.0999756
#  lost CPU user time (s): 0.129974
#  lost CPU system time (s): -0.0299997

Real time (s): 1716.81
CPU time (s): 1800.01
CPU user time (s): 1784.05
CPU system time (s): 15.96
CPU usage (%): 104.846
Max. virtual memory (cumulated for all children) (KiB): 2851684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1708.49
system time used= 15.9956
maximum resident set size= 259164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 474205
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= 11038
involuntary context switches= 2795

runsolver used 3.9304 second user time and 8.5747 second system time

The end

Launcher Data

Begin job on node142 at 2012-06-03 15:21:34
IDJOB=3742183
IDBENCH=90138
IDSOLVER=2323
FILE ID=node142/3742183-1338729694
RUNJOBID= node142-1338713724-22946
PBS_JOBID= 14636740
Free space on /tmp= 71168 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K103.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742183-1338729694/watcher-3742183-1338729694 -o /tmp/evaluation-result-3742183-1338729694/solver-3742183-1338729694 -C 1800 -W 1900 -M 15500  solver HOME/instance-3742183-1338729694.opb 1054171525 

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

MD5SUM BENCH= 34d84c84a6977bf98000135522032f88
RANDOM SEED=1054171525

node142.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.776
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.55
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.776
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		: 2666.776
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	: 5391.91
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.776
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.92
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.776
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.90
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.776
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		: 2666.776
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.776
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:        28785068 kB
Buffers:          352180 kB
Cached:          2860696 kB
SwapCached:            0 kB
Active:          1340748 kB
Inactive:        1926416 kB
Active(anon):      45472 kB
Inactive(anon):    11220 kB
Active(file):    1295276 kB
Inactive(file):  1915196 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             20984 kB
Writeback:            28 kB
AnonPages:         61072 kB
Mapped:            14424 kB
Shmem:               200 kB
Slab:             682760 kB
SReclaimable:     124288 kB
SUnreclaim:       558472 kB
KernelStack:        1448 kB
PageTables:         4508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     168868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71148 MiB
End job on node142 at 2012-06-03 15:50:13