Trace number 3742287

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.03 1719.41

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K176.opb
MD5SUM3f678424628fecb2a53891618f9bde8f
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 variables20944
Total number of constraints21298
Number of constraints which are clauses21122
Number of constraints which are cardinality constraints (but not clauses)176
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint176
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 177
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.06 2.07 2.07 3/179 17569
/proc/meminfo: memFree=28558004/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/17569/stat : 17569 (python) D 17567 17569 11290 0 -1 4202496 756 0 0 0 0 0 0 0 20 0 1 0 339257969 15642624 527 33554432000 4194304 5683644 140733520517936 140733520503848 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 3 0 0 0 0 0
/proc/17569/statm: 3819 527 312 364 0 261 0

[startup+0.00795999 s]
/proc/loadavg: 2.06 2.07 2.07 3/179 17569
/proc/meminfo: memFree=28558004/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/17569/stat : 17569 (python) D 17567 17569 11290 0 -1 4202496 794 0 0 0 0 0 0 0 20 0 1 0 339257969 15642624 559 33554432000 4194304 5683644 140733520517936 140733520490120 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 3 0 0 0 0 0
/proc/17569/statm: 3819 559 324 364 0 261 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15276

[startup+0.100254 s]
/proc/loadavg: 2.06 2.07 2.07 3/179 17569
/proc/meminfo: memFree=28558004/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=17628 CPUtime=0.02 cores=1,3,5,7
/proc/17569/stat : 17569 (python) D 17567 17569 11290 0 -1 4202496 2214 0 0 0 1 1 0 0 20 0 1 0 339257969 18051072 723 33554432000 4194304 4196484 140737150459600 140737150389768 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/17569/statm: 4407 723 354 1 0 342 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17628

[startup+0.706813 s]
/proc/loadavg: 2.06 2.07 2.07 3/179 17569
/proc/meminfo: memFree=28558004/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=101564 CPUtime=0.26 cores=1,3,5,7
/proc/17569/stat : 17569 (python) D 17567 17569 11290 0 -1 4202496 6406 0 0 0 16 10 0 0 20 0 1 0 339257969 104001536 4233 33554432000 4194304 4196484 140737150459600 140737150413688 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/17569/statm: 25391 4233 1047 1 0 3193 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 101564

[startup+0.800321 s]
/proc/loadavg: 2.06 2.07 2.07 3/179 17569
/proc/meminfo: memFree=28558004/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=106960 CPUtime=0.32 cores=1,3,5,7
/proc/17569/stat : 17569 (python) R 17567 17569 11290 0 -1 4202496 7697 1011 0 0 21 11 0 0 20 0 1 0 339257969 109527040 4550 33554432000 4194304 4196484 140737150459600 140737150377464 215143124884 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 26740 4550 1054 1 0 3512 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 106960

[startup+1.50026 s]
/proc/loadavg: 2.06 2.07 2.07 2/180 17574
/proc/meminfo: memFree=28529228/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=118120 CPUtime=0.47 cores=1,3,5,7
/proc/17569/stat : 17569 (python) D 17567 17569 11290 0 -1 4202496 9593 1011 0 0 27 20 0 0 20 0 1 0 339257969 120954880 5831 33554432000 4194304 4196484 140737150459600 140737150393208 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 29530 5831 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 118120

[startup+3.10029 s]
/proc/loadavg: 2.06 2.07 2.07 3/181 17575
/proc/meminfo: memFree=28515464/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=134456 CPUtime=0.68 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 11233 1011 0 0 41 27 0 0 20 0 1 0 339257969 137682944 6349 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 33614 6349 1170 1 0 5186 0
[pid=17575] ppid=17569 vsize=7700 CPUtime=1.28 cores=1,3,5,7
/proc/17575/stat : 17575 (clasp-1.3.3-x86) R 17569 17575 17575 0 -1 4202496 2106 0 0 0 128 0 0 0 20 0 1 0 339258150 7884800 1669 33554432000 134512640 136080129 4290716768 4290715840 134849910 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17575/statm: 1925 1669 175 383 0 1540 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 142156
heavy processes:

[startup+6.30025 s]
/proc/loadavg: 2.05 2.06 2.07 3/181 17578
/proc/meminfo: memFree=28579572/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=134456 CPUtime=0.82 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 11245 1011 0 0 53 29 0 0 20 0 1 0 339257969 137682944 6349 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 33614 6349 1170 1 0 5186 0
[pid=17575] ppid=17569 vsize=8508 CPUtime=4.48 cores=1,3,5,7
/proc/17575/stat : 17575 (clasp-1.3.3-x86) R 17569 17575 17575 0 -1 4202496 2313 0 0 0 448 0 0 0 20 0 1 0 339258150 8712192 1876 33554432000 134512640 136080129 4290716768 4290715844 134850021 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17575/statm: 2127 1876 175 383 0 1742 0
Current children cumulated CPU time (s) 5.3
Current children cumulated vsize (KiB) 142964

[startup+12.7003 s]
/proc/loadavg: 2.05 2.06 2.07 3/181 17581
/proc/meminfo: memFree=28579332/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=11.69 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 12516 4672 0 0 82 34 1052 1 20 0 1 0 339257969 139792384 6369 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6369 1180 1 0 5186 0
[pid=17581] ppid=17569 vsize=7440 CPUtime=0.33 cores=1,3,5,7
/proc/17581/stat : 17581 (clasp-1.3.3-x86) R 17569 17581 17581 0 -1 4202496 2024 0 0 0 33 0 0 0 20 0 1 0 339259205 7618560 1591 33554432000 134512640 136080129 4288121200 4288120276 134850025 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 1860 1591 175 383 0 1475 0
Current children cumulated CPU time (s) 12.02
Current children cumulated vsize (KiB) 143956

[startup+25.5003 s]
/proc/loadavg: 2.11 2.07 2.08 3/181 17584
/proc/meminfo: memFree=28575752/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=12.26 cores=1,3,5,7
/proc/17569/stat : 17569 (python) R 17567 17569 11290 0 -1 4202496 12544 4672 0 0 132 41 1052 1 20 0 1 0 339257969 139792384 6369 33554432000 4194304 4196484 140737150459600 140737150451360 215143539594 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6369 1180 1 0 5186 0
[pid=17581] ppid=17569 vsize=10344 CPUtime=13.13 cores=1,3,5,7
/proc/17581/stat : 17581 (clasp-1.3.3-x86) R 17569 17581 17581 0 -1 4202496 2750 0 0 0 1313 0 0 0 20 0 1 0 339259205 10592256 2317 33554432000 134512640 136080129 4288121200 4288120192 134588617 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 2586 2317 175 383 0 2201 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 146860

[startup+51.1068 s]
/proc/loadavg: 2.07 2.07 2.07 3/181 17591
/proc/meminfo: memFree=28572828/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=13.39 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 12581 4672 0 0 229 57 1052 1 20 0 1 0 339257969 139792384 6369 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6369 1180 1 0 5186 0
[pid=17581] ppid=17569 vsize=12192 CPUtime=38.73 cores=1,3,5,7
/proc/17581/stat : 17581 (clasp-1.3.3-x86) R 17569 17581 17581 0 -1 4202496 3220 0 0 0 3873 0 0 0 20 0 1 0 339259205 12484608 2786 33554432000 134512640 136080129 4288121200 4288120272 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 3048 2786 175 383 0 2663 0
Current children cumulated CPU time (s) 52.12
Current children cumulated vsize (KiB) 148708

[startup+102.3 s]
/proc/loadavg: 2.18 2.10 2.09 3/182 17597
/proc/meminfo: memFree=28517008/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=66.38 cores=1,3,5,7
/proc/17569/stat : 17569 (python) R 17567 17569 11290 0 -1 4202496 13784 9169 0 0 454 94 6087 3 20 0 1 0 339257969 139792384 6374 33554432000 4194304 4196484 140737150459600 140737150451360 215143539639 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6374 1180 1 0 5186 0
[pid=17594] ppid=17569 vsize=65816 CPUtime=39.53 cores=1,3,5,7
/proc/17594/stat : 17594 (wbo1.4a) R 17569 17594 17594 0 -1 4202496 16479 0 0 0 3856 97 0 0 20 0 1 0 339264244 67395584 15839 33554432000 134512640 135751879 4294535152 4294532764 134517376 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17594/statm: 16454 15839 139 303 0 16149 0
Current children cumulated CPU time (s) 105.91
Current children cumulated vsize (KiB) 202332

[startup+162.3 s]
/proc/loadavg: 2.13 2.09 2.09 3/181 17600
/proc/meminfo: memFree=28546724/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=120.68 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 15071 30908 0 0 690 132 11102 144 20 0 1 0 339257969 139792384 6376 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6376 1180 1 0 5186 0
[pid=17600] ppid=17569 vsize=12732 CPUtime=47.93 cores=1,3,5,7
/proc/17600/stat : 17600 (clasp-1.3.3-x86) R 17569 17600 17600 0 -1 4202496 3356 0 0 0 4793 0 0 0 20 0 1 0 339269403 13037568 2923 33554432000 134512640 136080129 4293030784 4293029856 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17600/statm: 3183 2923 175 383 0 2798 0
Current children cumulated CPU time (s) 168.61
Current children cumulated vsize (KiB) 149248

[startup+222.3 s]
/proc/loadavg: 2.09 2.09 2.08 3/181 17603
/proc/meminfo: memFree=28539388/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=223.79 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 16350 35880 0 0 944 175 21114 146 20 0 1 0 339257969 139792384 6377 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6377 1180 1 0 5186 0
[pid=17603] ppid=17569 vsize=21360 CPUtime=7.76 cores=1,3,5,7
/proc/17603/stat : 17603 (wbo1.4a) R 17569 17603 17603 0 -1 4202496 5368 0 0 0 748 28 0 0 20 0 1 0 339279422 21872640 4702 33554432000 134512640 135751879 4293209104 4293207356 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17603/statm: 5340 4702 139 303 0 5035 0
Current children cumulated CPU time (s) 231.55
Current children cumulated vsize (KiB) 157876

[startup+282.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/181 17603
/proc/meminfo: memFree=28457372/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=226.56 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 16375 35880 0 0 1185 211 21114 146 20 0 1 0 339257969 139792384 6377 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6377 1180 1 0 5186 0
[pid=17603] ppid=17569 vsize=101728 CPUtime=67.73 cores=1,3,5,7
/proc/17603/stat : 17603 (wbo1.4a) R 17569 17603 17603 0 -1 4202496 25475 0 0 0 6595 178 0 0 20 0 1 0 339279422 104169472 24796 33554432000 134512640 135751879 4293209104 4293207356 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17603/statm: 25432 24796 139 303 0 25127 0
Current children cumulated CPU time (s) 294.29
Current children cumulated vsize (KiB) 238244

[startup+342.3 s]
/proc/loadavg: 2.05 2.08 2.08 3/179 17609
/proc/meminfo: memFree=28460044/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=332.19 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 17629 75581 0 0 1428 252 31128 411 20 0 1 0 339257969 139792384 6378 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6378 1180 1 0 5186 0
[pid=17606] ppid=17569 vsize=129668 CPUtime=24.87 cores=1,3,5,7
/proc/17606/stat : 17606 (wbo1.4b) R 17569 17606 17606 0 -1 4202496 32417 0 0 0 2480 7 0 0 20 0 1 0 339289710 132780032 31765 33554432000 134512640 135751879 4294605904 4294604000 134524613 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/17606/statm: 32417 31765 142 303 0 32112 0
Current children cumulated CPU time (s) 357.06
Current children cumulated vsize (KiB) 266184

[startup+402.301 s]
/proc/loadavg: 2.11 2.09 2.09 3/199 17632
/proc/meminfo: memFree=28325804/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=385.47 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 18913 120588 0 0 1666 292 36165 424 20 0 1 0 339257969 139792384 6379 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6379 1180 1 0 5186 0

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

/proc/17761/statm: 11397 11117 175 383 0 11012 0
Current children cumulated CPU time (s) 1112.92
Current children cumulated vsize (KiB) 182104

[startup+1122.3 s]
/proc/loadavg: 2.05 2.08 2.08 3/181 17827
/proc/meminfo: memFree=28566392/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=1163.34 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 42907 308099 0 2 4591 776 110354 613 20 0 1 0 339257969 139792384 6387 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6387 1180 1 0 5186 0
[pid=17827] ppid=17569 vsize=24264 CPUtime=12.39 cores=1,3,5,7
/proc/17827/stat : 17827 (bsolo_pb10) R 17569 17827 17827 0 -1 4202496 4467 0 0 0 1229 10 0 0 20 0 1 0 339368958 24846336 3554 33554432000 134512640 137138936 4291065872 4291064548 136511125 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/17827/statm: 6066 3554 192 642 0 5422 0
Current children cumulated CPU time (s) 1175.73
Current children cumulated vsize (KiB) 160780

[startup+1182.3 s]
/proc/loadavg: 2.19 2.11 2.09 4/181 17830
/proc/meminfo: memFree=28441752/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=1166.08 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 42946 308099 0 2 4827 814 110354 613 20 0 1 0 339257969 139792384 6387 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6387 1180 1 0 5186 0
[pid=17827] ppid=17569 vsize=115388 CPUtime=72.36 cores=1,3,5,7
/proc/17827/stat : 17827 (bsolo_pb10) R 17569 17827 17827 0 -1 4202496 27290 0 0 0 7193 43 0 0 20 0 1 0 339368958 118157312 26340 33554432000 134512640 137138936 4291065872 4291064800 134542770 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/17827/statm: 28847 26340 192 642 0 28203 0
Current children cumulated CPU time (s) 1238.44
Current children cumulated vsize (KiB) 251904

[startup+1242.3 s]
/proc/loadavg: 2.07 2.08 2.09 3/181 17836
/proc/meminfo: memFree=28434724/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=1279.64 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 45493 346493 0 2 5072 852 121378 662 20 0 1 0 339257969 139792384 6388 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6388 1180 1 0 5186 0
[pid=17836] ppid=17569 vsize=10880 CPUtime=21.58 cores=1,3,5,7
/proc/17836/stat : 17836 (clasp-1.3.3-x86) R 17569 17836 17836 0 -1 4202496 2869 0 0 0 2158 0 0 0 20 0 1 0 339380040 11141120 2438 33554432000 134512640 136080129 4292882192 4292881264 134849581 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17836/statm: 2720 2438 175 383 0 2335 0
Current children cumulated CPU time (s) 1301.22
Current children cumulated vsize (KiB) 147396

[startup+1302.3 s]
/proc/loadavg: 2.11 2.09 2.09 3/182 17843
/proc/meminfo: memFree=28382496/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=1282.32 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 45520 346493 0 2 5301 891 121378 662 20 0 1 0 339257969 139792384 6388 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6388 1180 1 0 5186 0
[pid=17836] ppid=17569 vsize=18868 CPUtime=81.57 cores=1,3,5,7
/proc/17836/stat : 17836 (clasp-1.3.3-x86) R 17569 17836 17836 0 -1 4202496 4864 0 0 0 8156 1 0 0 20 0 1 0 339380040 19320832 4432 33554432000 134512640 136080129 4292882192 4292881200 134716389 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17836/statm: 4717 4432 175 383 0 4332 0
Current children cumulated CPU time (s) 1363.89
Current children cumulated vsize (KiB) 155384

[startup+1362.31 s]
/proc/loadavg: 2.08 2.09 2.09 3/199 17873
/proc/meminfo: memFree=28400428/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=1405.34 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 49323 360275 0 2 5543 931 133392 668 20 0 1 0 339257969 139792384 6388 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6388 1180 1 0 5186 0
[pid=17873] ppid=17569 vsize=11148 CPUtime=21.34 cores=1,3,5,7
/proc/17873/stat : 17873 (clasp-1.3.3-x86) R 17569 17873 17873 0 -1 4202496 2974 0 0 0 2134 0 0 0 20 0 1 0 339392065 11415552 2535 33554432000 134512640 136080129 4291905936 4291904864 134842255 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17873/statm: 2787 2535 175 383 0 2402 0
Current children cumulated CPU time (s) 1426.68
Current children cumulated vsize (KiB) 147664

[startup+1422.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/181 17882
/proc/meminfo: memFree=28489308/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=1468.49 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 51869 370672 0 2 5779 972 139427 671 20 0 1 0 339257969 139792384 6389 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6389 1180 1 0 5186 0
[pid=17879] ppid=17569 vsize=11128 CPUtime=20.91 cores=1,3,5,7
/proc/17879/stat : 17879 (clasp-1.3.3-x86) R 17569 17879 17879 0 -1 4202496 2953 0 0 0 2091 0 0 0 20 0 1 0 339398106 11395072 2515 33554432000 134512640 136080129 4287177888 4287176880 134589297 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17879/statm: 2782 2515 175 383 0 2397 0
Current children cumulated CPU time (s) 1489.4
Current children cumulated vsize (KiB) 147644

[startup+1482.3 s]
/proc/loadavg: 2.18 2.11 2.09 3/181 17882
/proc/meminfo: memFree=28362988/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=1471.21 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 51896 370672 0 2 6014 1009 139427 671 20 0 1 0 339257969 139792384 6389 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6389 1180 1 0 5186 0
[pid=17879] ppid=17569 vsize=17200 CPUtime=80.9 cores=1,3,5,7
/proc/17879/stat : 17879 (clasp-1.3.3-x86) R 17569 17879 17879 0 -1 4202496 4463 0 0 0 8090 0 0 0 20 0 1 0 339398106 17612800 4025 33554432000 134512640 136080129 4287177888 4287176960 134850002 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17879/statm: 4300 4025 175 383 0 3915 0
Current children cumulated CPU time (s) 1552.11
Current children cumulated vsize (KiB) 153716

[startup+1542.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/181 17894
/proc/meminfo: memFree=28528884/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=1594.8 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 55698 383359 0 2 6257 1051 151496 676 20 0 1 0 339257969 139792384 6390 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6390 1180 1 0 5186 0
[pid=17894] ppid=17569 vsize=11008 CPUtime=20.12 cores=1,3,5,7
/proc/17894/stat : 17894 (clasp-1.3.3-x86) R 17569 17894 17894 0 -1 4202496 2929 0 0 0 2011 1 0 0 20 0 1 0 339410186 11272192 2491 33554432000 134512640 136080129 4290707136 4290706000 134716422 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17894/statm: 2752 2491 175 383 0 2367 0
Current children cumulated CPU time (s) 1614.92
Current children cumulated vsize (KiB) 147524

[startup+1602.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/181 17907
/proc/meminfo: memFree=28559012/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=1597.46 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 55731 383359 0 2 6483 1091 151496 676 20 0 1 0 339257969 139792384 6390 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6390 1180 1 0 5186 0
[pid=17894] ppid=17569 vsize=24360 CPUtime=80.11 cores=1,3,5,7
/proc/17894/stat : 17894 (clasp-1.3.3-x86) R 17569 17894 17894 0 -1 4202496 6275 0 0 0 8009 2 0 0 20 0 1 0 339410186 24944640 5840 33554432000 134512640 136080129 4290707136 4290706256 134594528 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17894/statm: 6090 5840 175 383 0 5705 0
Current children cumulated CPU time (s) 1677.57
Current children cumulated vsize (KiB) 160876

[startup+1662.3 s]
/proc/loadavg: 2.37 2.16 2.11 3/199 17952
/proc/meminfo: memFree=28438416/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=1720.48 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 59544 397817 0 2 6729 1129 163508 682 20 0 1 0 339257969 139792384 6391 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6391 1180 1 0 5186 0
[pid=17928] ppid=17569 vsize=10756 CPUtime=19.87 cores=1,3,5,7
/proc/17928/stat : 17928 (clasp-1.3.3-x86) R 17569 17928 17928 0 -1 4202496 2870 0 0 0 1987 0 0 0 20 0 1 0 339422210 11014144 2432 33554432000 134512640 136080129 4289624080 4289622944 134716374 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17928/statm: 2689 2432 175 383 0 2304 0
Current children cumulated CPU time (s) 1740.35
Current children cumulated vsize (KiB) 147272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1719.4 s]
/proc/loadavg: 2.20 2.14 2.10 3/181 17958
/proc/meminfo: memFree=28505632/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=1723.06 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 59572 397817 0 2 6949 1167 163508 682 20 0 1 0 339257969 139792384 6391 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6391 1180 1 0 5186 0
[pid=17928] ppid=17569 vsize=18148 CPUtime=76.97 cores=1,3,5,7
/proc/17928/stat : 17928 (clasp-1.3.3-x86) R 17569 17928 17928 0 -1 4202496 4723 0 0 0 7696 1 0 0 20 0 1 0 339422210 18583552 4284 33554432000 134512640 136080129 4289624080 4289623072 134588720 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17928/statm: 4537 4284 175 383 0 4152 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 154664

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1719.4 s]
/proc/loadavg: 2.20 2.14 2.10 3/181 17958
/proc/meminfo: memFree=28505632/32873844 swapFree=7380/7380
[pid=17569] ppid=17567 vsize=136516 CPUtime=1723.06 cores=1,3,5,7
/proc/17569/stat : 17569 (python) S 17567 17569 11290 0 -1 4202496 59572 397817 0 2 6949 1167 163508 682 20 0 1 0 339257969 139792384 6391 33554432000 4194304 4196484 140737150459600 140737150451360 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17569/statm: 34129 6391 1180 1 0 5186 0
[pid=17928] ppid=17569 vsize=18148 CPUtime=76.97 cores=1,3,5,7
/proc/17928/stat : 17928 (clasp-1.3.3-x86) R 17569 17928 17928 0 -1 4202496 4723 0 0 0 7696 1 0 0 20 0 1 0 339422210 18583552 4284 33554432000 134512640 136080129 4289624080 4289623072 134588720 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17928/statm: 4537 4284 175 383 0 4152 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 154664

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17569 and gives
#  childrusage.ru_utime.tv_sec=1704
#  childrusage.ru_utime.tv_usec=588863
#  childrusage.ru_stime.tv_sec=18
#  childrusage.ru_stime.tv_usec=501187
# CPU time returned by wait4() is 1723.09
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1719.41
CPU time (s): 1800.03
CPU user time (s): 1781.53
CPU system time (s): 18.5
CPU usage (%): 104.689
Max. virtual memory (cumulated for all children) (KiB): 2851656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1704.59
system time used= 18.5012
maximum resident set size= 230464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 457389
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= 11249
involuntary context switches= 2595

runsolver used 3.74043 second user time and 9.77351 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 15:48:51
IDJOB=3742287
IDBENCH=90147
IDSOLVER=2323
FILE ID=node133/3742287-1338731331
RUNJOBID= node133-1338713154-11307
PBS_JOBID= 14636724
Free space on /tmp= 70460 MiB

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

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

MD5SUM BENCH= 3f678424628fecb2a53891618f9bde8f
RANDOM SEED=1029981515

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28558416 kB
Buffers:          471744 kB
Cached:          2853772 kB
SwapCached:          676 kB
Active:          1605344 kB
Inactive:        1808668 kB
Active(anon):      80140 kB
Inactive(anon):    10220 kB
Active(file):    1525204 kB
Inactive(file):  1798448 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             22156 kB
Writeback:             0 kB
AnonPages:         96584 kB
Mapped:            14416 kB
Shmem:                 0 kB
Slab:             760864 kB
SReclaimable:     202436 kB
SUnreclaim:       558428 kB
KernelStack:        1464 kB
PageTables:         4592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     206116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 70440 MiB
End job on node133 at 2012-06-03 16:17:33