Trace number 3742053

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.12 1716.51

General information on the benchmark

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

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.13 2.14 2.09 3/177 30582
/proc/meminfo: memFree=28779704/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/30582/stat : 30582 (python) R 30580 30582 22930 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 338922374 15642624 526 33554432000 4194304 5683644 140736307885184 140736307866856 233220948880 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/30582/statm: 3819 526 311 364 0 261 0

[startup+0.065792 s]
/proc/loadavg: 2.13 2.14 2.09 3/177 30582
/proc/meminfo: memFree=28779704/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=16596 CPUtime=0.01 cores=0,2,4,6
/proc/30582/stat : 30582 (python) D 30580 30582 22930 0 -1 4202496 1322 0 0 0 1 0 0 0 20 0 1 0 338922374 16994304 997 33554432000 4194304 5683644 140736307885184 140736307852648 233220947637 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/30582/statm: 4149 997 418 364 0 591 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16596

[startup+0.100298 s]
/proc/loadavg: 2.13 2.14 2.09 3/177 30582
/proc/meminfo: memFree=28779704/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=17616 CPUtime=0.02 cores=0,2,4,6
/proc/30582/stat : 30582 (python) D 30580 30582 22930 0 -1 4202496 2213 0 0 0 1 1 0 0 20 0 1 0 338922374 18038784 720 33554432000 4194304 4196484 140734579077312 140734579007480 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/30582/statm: 4404 720 354 1 0 339 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17616

[startup+0.300283 s]
/proc/loadavg: 2.13 2.14 2.09 3/177 30582
/proc/meminfo: memFree=28779704/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=54512 CPUtime=0.09 cores=0,2,4,6
/proc/30582/stat : 30582 (python) R 30580 30582 22930 0 -1 4202496 3936 0 0 0 5 4 0 0 20 0 1 0 338922374 55820288 2130 33554432000 4194304 4196484 140734579077312 140734578923128 233220949280 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/30582/statm: 13628 2130 600 1 0 1483 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 54512

[startup+0.70027 s]
/proc/loadavg: 2.13 2.14 2.09 3/177 30582
/proc/meminfo: memFree=28779704/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=101564 CPUtime=0.27 cores=0,2,4,6
/proc/30582/stat : 30582 (python) D 30580 30582 22930 0 -1 4202496 6409 0 0 0 16 11 0 0 20 0 1 0 338922374 104001536 4233 33554432000 4194304 4196484 140734579077312 140734579027176 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/30582/statm: 25391 4233 1047 1 0 3193 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 101564

[startup+1.5002 s]
/proc/loadavg: 2.13 2.14 2.09 2/178 30587
/proc/meminfo: memFree=28761088/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=118120 CPUtime=0.48 cores=0,2,4,6
/proc/30582/stat : 30582 (python) D 30580 30582 22930 0 -1 4202496 9596 1011 0 0 30 18 0 0 20 0 1 0 338922374 120954880 5831 33554432000 4194304 4196484 140734579077312 140734579010920 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 29530 5831 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 118120

[startup+3.10027 s]
/proc/loadavg: 2.13 2.14 2.09 3/179 30588
/proc/meminfo: memFree=28755624/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=134456 CPUtime=0.68 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 11251 1011 0 0 45 23 0 0 20 0 1 0 338922374 137682944 6349 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 33614 6349 1170 1 0 5186 0
[pid=30588] ppid=30582 vsize=4532 CPUtime=1.3 cores=0,2,4,6
/proc/30588/stat : 30588 (clasp-1.3.3-x86) R 30582 30588 30588 0 -1 4202496 1197 0 0 0 130 0 0 0 20 0 1 0 338922552 4640768 882 33554432000 134512640 136080129 4292261904 4292260896 134588768 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/30588/statm: 1133 882 175 383 0 748 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 138988
heavy processes:

[startup+6.30028 s]
/proc/loadavg: 2.12 2.14 2.09 3/179 30588
/proc/meminfo: memFree=28753640/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=134456 CPUtime=0.83 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 11260 1011 0 0 58 25 0 0 20 0 1 0 338922374 137682944 6349 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 33614 6349 1170 1 0 5186 0
[pid=30588] ppid=30582 vsize=6768 CPUtime=4.5 cores=0,2,4,6
/proc/30588/stat : 30588 (clasp-1.3.3-x86) R 30582 30588 30588 0 -1 4202496 1755 0 0 0 450 0 0 0 20 0 1 0 338922552 6930432 1440 33554432000 134512640 136080129 4292261904 4292260976 134849103 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/30588/statm: 1692 1440 175 383 0 1307 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 141224

[startup+12.7003 s]
/proc/loadavg: 2.19 2.15 2.10 3/179 30591
/proc/meminfo: memFree=28756252/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=11.2 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 12504 4142 0 0 88 30 1001 1 20 0 1 0 338922374 139792384 6369 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6369 1180 1 0 5186 0
[pid=30591] ppid=30582 vsize=4144 CPUtime=0.86 cores=0,2,4,6
/proc/30591/stat : 30591 (clasp-1.3.3-x86) R 30582 30591 30591 0 -1 4202496 1095 0 0 0 86 0 0 0 20 0 1 0 338923557 4243456 785 33554432000 134512640 136080129 4286884848 4286883920 134849631 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/30591/statm: 1036 785 175 383 0 651 0
Current children cumulated CPU time (s) 12.06
Current children cumulated vsize (KiB) 140660

[startup+25.5003 s]
/proc/loadavg: 2.15 2.14 2.09 3/179 30591
/proc/meminfo: memFree=28751176/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=11.79 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 12529 4142 0 0 139 38 1001 1 20 0 1 0 338922374 139792384 6369 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6369 1180 1 0 5186 0
[pid=30591] ppid=30582 vsize=9524 CPUtime=13.65 cores=0,2,4,6
/proc/30591/stat : 30591 (clasp-1.3.3-x86) R 30582 30591 30591 0 -1 4202496 2440 0 0 0 1365 0 0 0 20 0 1 0 338923557 9752576 2130 33554432000 134512640 136080129 4286884848 4286883980 134716434 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/30591/statm: 2381 2130 175 383 0 1996 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 146040

[startup+51.1003 s]
/proc/loadavg: 2.10 2.13 2.09 3/179 30592
/proc/meminfo: memFree=28746456/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=12.98 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 12554 4142 0 0 243 53 1001 1 20 0 1 0 338922374 139792384 6369 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6369 1180 1 0 5186 0
[pid=30591] ppid=30582 vsize=13356 CPUtime=39.25 cores=0,2,4,6
/proc/30591/stat : 30591 (clasp-1.3.3-x86) R 30582 30591 30591 0 -1 4202496 3430 0 0 0 3924 1 0 0 20 0 1 0 338923557 13676544 3095 33554432000 134512640 136080129 4286884848 4286883808 134808289 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/30591/statm: 3339 3095 175 383 0 2954 0
Current children cumulated CPU time (s) 52.23
Current children cumulated vsize (KiB) 149872

[startup+102.306 s]
/proc/loadavg: 2.04 2.11 2.08 3/179 30595
/proc/meminfo: memFree=28664064/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=66.12 cores=0,2,4,6
/proc/30582/stat : 30582 (python) R 30580 30582 22930 0 -1 4202496 13723 8996 0 0 479 86 6044 3 20 0 1 0 338922374 139792384 6374 33554432000 4194304 4196484 140734579077312 140734579069072 233220989879 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6374 1180 1 0 5186 0
[pid=30595] ppid=30582 vsize=93712 CPUtime=39.97 cores=0,2,4,6
/proc/30595/stat : 30595 (wbo1.4a) R 30582 30595 30595 0 -1 4202496 23398 0 0 0 3956 41 0 0 20 0 1 0 338928604 95961088 22994 33554432000 134512640 135751879 4292379088 4292376700 134518948 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/30595/statm: 23428 22994 139 303 0 23123 0
Current children cumulated CPU time (s) 106.09
Current children cumulated vsize (KiB) 230228

[startup+162.3 s]
/proc/loadavg: 2.14 2.13 2.09 4/179 30601
/proc/meminfo: memFree=28690052/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=119.69 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 14964 38269 0 0 731 120 11064 54 20 0 1 0 338922374 139792384 6375 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6375 1180 1 0 5186 0
[pid=30598] ppid=30582 vsize=16772 CPUtime=49.25 cores=0,2,4,6
/proc/30598/stat : 30598 (clasp-1.3.3-x86) R 30582 30598 30598 0 -1 4202496 4268 0 0 0 4925 0 0 0 20 0 1 0 338933676 17174528 3952 33554432000 134512640 136080129 4286728448 4286727392 134580629 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/30598/statm: 4193 3952 175 383 0 3808 0
Current children cumulated CPU time (s) 168.94
Current children cumulated vsize (KiB) 153288

[startup+222.3 s]
/proc/loadavg: 2.16 2.13 2.09 3/179 30604
/proc/meminfo: memFree=28605648/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=223.12 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 16213 44319 0 0 999 160 21098 55 20 0 1 0 338922374 139792384 6376 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6376 1180 1 0 5186 0
[pid=30604] ppid=30582 vsize=30696 CPUtime=8.87 cores=0,2,4,6
/proc/30604/stat : 30604 (wbo1.4a) R 30582 30604 30604 0 -1 4202496 7624 0 0 0 873 14 0 0 20 0 1 0 338943715 31432704 7217 33554432000 134512640 135751879 4290482736 4290480904 134517414 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/30604/statm: 7674 7217 139 303 0 7369 0
Current children cumulated CPU time (s) 231.99
Current children cumulated vsize (KiB) 167212

[startup+282.3 s]
/proc/loadavg: 2.15 2.14 2.09 3/179 30610
/proc/meminfo: memFree=28630328/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=226.02 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 16253 44319 0 0 1251 198 21098 55 20 0 1 0 338922374 139792384 6376 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6376 1180 1 0 5186 0
[pid=30604] ppid=30582 vsize=148780 CPUtime=68.81 cores=0,2,4,6
/proc/30604/stat : 30604 (wbo1.4a) R 30582 30604 30604 0 -1 4202496 37198 0 0 0 6820 61 0 0 20 0 1 0 338943715 152350720 36754 33554432000 134512640 135751879 4290482736 4290480988 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/30604/statm: 37195 36754 139 303 0 36890 0
Current children cumulated CPU time (s) 294.83
Current children cumulated vsize (KiB) 285296

[startup+342.3 s]
/proc/loadavg: 2.05 2.11 2.09 3/178 30616
/proc/meminfo: memFree=28735488/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=330.3 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 17477 93969 0 0 1526 236 31138 130 20 0 1 0 338922374 139792384 6378 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6378 1180 1 0 5186 0
[pid=30613] ppid=30582 vsize=48264 CPUtime=27.6 cores=0,2,4,6
/proc/30613/stat : 30613 (wbo1.4b) R 30582 30613 30613 0 -1 4202496 12033 0 0 0 2744 16 0 0 20 0 1 0 338953841 49422336 11620 33554432000 134512640 135751879 4294925984 4294924076 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/30613/statm: 12066 11620 144 303 0 11761 0
Current children cumulated CPU time (s) 357.9
Current children cumulated vsize (KiB) 184780

[startup+402.301 s]
/proc/loadavg: 2.10 2.10 2.09 3/197 30644
/proc/meminfo: memFree=28660372/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=384.12 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 18707 114342 0 0 1786 272 36186 168 20 0 1 0 338922374 139792384 6379 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6379 1180 1 0 5186 0

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

/proc/30582/statm: 34129 6387 1180 1 0 5186 0
[pid=30854] ppid=30582 vsize=42392 CPUtime=13.39 cores=0,2,4,6
/proc/30854/stat : 30854 (bsolo_pb10) R 30582 30854 30854 0 -1 4202496 8654 0 0 0 1334 5 0 0 20 0 1 0 339033263 43409408 8149 33554432000 134512640 137138936 4291697328 4291695920 134539684 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/30854/statm: 10598 8149 192 642 0 9954 0
Current children cumulated CPU time (s) 1177.4
Current children cumulated vsize (KiB) 178908

[startup+1182.3 s]
/proc/loadavg: 2.11 2.12 2.09 4/197 30854
/proc/meminfo: memFree=28503904/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=1166.9 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 42176 281946 0 2 5152 779 110447 312 20 0 1 0 338922374 139792384 6387 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6387 1180 1 0 5186 0
[pid=30854] ppid=30582 vsize=126428 CPUtime=73.39 cores=0,2,4,6
/proc/30854/stat : 30854 (bsolo_pb10) R 30582 30854 30854 0 -1 4202496 29690 0 0 0 7326 13 0 0 20 0 1 0 339033263 129462272 29185 33554432000 134512640 137138936 4291697328 4291696256 134542516 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/30854/statm: 31607 29185 192 642 0 30963 0
Current children cumulated CPU time (s) 1240.29
Current children cumulated vsize (KiB) 262944

[startup+1242.3 s]
/proc/loadavg: 2.14 2.13 2.09 3/179 30863
/proc/meminfo: memFree=28686488/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=1280.15 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 44686 323413 0 2 5407 818 121460 330 20 0 1 0 338922374 139792384 6389 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6389 1180 1 0 5186 0
[pid=30863] ppid=30582 vsize=11840 CPUtime=23.04 cores=0,2,4,6
/proc/30863/stat : 30863 (clasp-1.3.3-x86) R 30582 30863 30863 0 -1 4202496 3037 0 0 0 2304 0 0 0 20 0 1 0 339044298 12124160 2722 33554432000 134512640 136080129 4288621376 4288620512 134845765 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/30863/statm: 2960 2722 175 383 0 2575 0
Current children cumulated CPU time (s) 1303.19
Current children cumulated vsize (KiB) 148356

[startup+1302.3 s]
/proc/loadavg: 2.09 2.12 2.09 3/179 30867
/proc/meminfo: memFree=28762236/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=1282.96 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 44714 323413 0 2 5655 851 121460 330 20 0 1 0 338922374 139792384 6389 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6389 1180 1 0 5186 0
[pid=30863] ppid=30582 vsize=18416 CPUtime=83.04 cores=0,2,4,6
/proc/30863/stat : 30863 (clasp-1.3.3-x86) R 30582 30863 30863 0 -1 4202496 4679 0 0 0 8303 1 0 0 20 0 1 0 339044298 18857984 4364 33554432000 134512640 136080129 4288621376 4288620448 134849631 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/30863/statm: 4604 4364 175 383 0 4219 0
Current children cumulated CPU time (s) 1366
Current children cumulated vsize (KiB) 154932

[startup+1362.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/179 30882
/proc/meminfo: memFree=28774008/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=1406.36 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 48462 335782 0 2 5918 885 133499 334 20 0 1 0 338922374 139792384 6390 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6390 1180 1 0 5186 0
[pid=30876] ppid=30582 vsize=10920 CPUtime=22.54 cores=0,2,4,6
/proc/30876/stat : 30876 (clasp-1.3.3-x86) R 30582 30876 30876 0 -1 4202496 2804 0 0 0 2254 0 0 0 20 0 1 0 339056347 11182080 2484 33554432000 134512640 136080129 4288508592 4288507584 134588745 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/30876/statm: 2730 2484 175 383 0 2345 0
Current children cumulated CPU time (s) 1428.9
Current children cumulated vsize (KiB) 147436

[startup+1422.31 s]
/proc/loadavg: 2.01 2.07 2.08 3/179 30903
/proc/meminfo: memFree=28770232/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=1469.79 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 50954 343706 0 2 6176 920 139547 336 20 0 1 0 338922374 139792384 6390 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6390 1180 1 0 5186 0
[pid=30897] ppid=30582 vsize=11860 CPUtime=22.01 cores=0,2,4,6
/proc/30897/stat : 30897 (clasp-1.3.3-x86) R 30582 30897 30897 0 -1 4202496 3044 0 0 0 2201 0 0 0 20 0 1 0 339062402 12144640 2726 33554432000 134512640 136080129 4292720160 4292719104 134580585 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/30897/statm: 2965 2726 175 383 0 2580 0
Current children cumulated CPU time (s) 1491.8
Current children cumulated vsize (KiB) 148376

[startup+1482.3 s]
/proc/loadavg: 2.04 2.07 2.08 3/197 30930
/proc/meminfo: memFree=28652556/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=1472.64 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 50980 343706 0 2 6425 956 139547 336 20 0 1 0 338922374 139792384 6390 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6390 1180 1 0 5186 0
[pid=30897] ppid=30582 vsize=18836 CPUtime=82 cores=0,2,4,6
/proc/30897/stat : 30897 (clasp-1.3.3-x86) R 30582 30897 30897 0 -1 4202496 4766 0 0 0 8199 1 0 0 20 0 1 0 339062402 19288064 4444 33554432000 134512640 136080129 4292720160 4292719152 134588654 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/30897/statm: 4709 4444 175 383 0 4324 0
Current children cumulated CPU time (s) 1554.64
Current children cumulated vsize (KiB) 155352

[startup+1542.3 s]
/proc/loadavg: 2.01 2.06 2.07 3/179 30954
/proc/meminfo: memFree=28770596/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=1596.05 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 54743 356235 0 2 6685 992 151588 340 20 0 1 0 338922374 139792384 6393 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6393 1180 1 0 5186 0
[pid=30948] ppid=30582 vsize=11680 CPUtime=21.49 cores=0,2,4,6
/proc/30948/stat : 30948 (clasp-1.3.3-x86) R 30582 30948 30948 0 -1 4202496 3002 0 0 0 2149 0 0 0 20 0 1 0 339074453 11960320 2685 33554432000 134512640 136080129 4286774576 4286773568 134588745 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/30948/statm: 2920 2685 175 383 0 2535 0
Current children cumulated CPU time (s) 1617.54
Current children cumulated vsize (KiB) 148196

[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 2.07 3/179 30958
/proc/meminfo: memFree=28757128/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=1598.88 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 54771 356235 0 2 6929 1031 151588 340 20 0 1 0 338922374 139792384 6393 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6393 1180 1 0 5186 0
[pid=30948] ppid=30582 vsize=17616 CPUtime=81.47 cores=0,2,4,6
/proc/30948/stat : 30948 (clasp-1.3.3-x86) R 30582 30948 30948 0 -1 4202496 4464 0 0 0 8147 0 0 0 20 0 1 0 339074453 18038784 4144 33554432000 134512640 136080129 4286774576 4286773520 134580608 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/30948/statm: 4404 4144 175 383 0 4019 0
Current children cumulated CPU time (s) 1680.35
Current children cumulated vsize (KiB) 154132

[startup+1662.3 s]
/proc/loadavg: 2.12 2.08 2.07 3/180 30970
/proc/meminfo: memFree=28756136/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=1722.26 cores=0,2,4,6
/proc/30582/stat : 30582 (python) R 30580 30582 22930 0 -1 4202496 58524 368352 0 2 7189 1068 163625 344 20 0 1 0 338922374 139792384 6393 33554432000 4194304 4196484 140734579077312 140734579069072 139786396457124 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6393 1180 1 0 5186 0
[pid=30970] ppid=30582 vsize=12080 CPUtime=21.02 cores=0,2,4,6
/proc/30970/stat : 30970 (clasp-1.3.3-x86) R 30582 30970 30970 0 -1 4202496 3086 0 0 0 2102 0 0 0 20 0 1 0 339086500 12369920 2773 33554432000 134512640 136080129 4289160016 4289158712 134601768 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/30970/statm: 3020 2773 175 383 0 2635 0
Current children cumulated CPU time (s) 1743.28
Current children cumulated vsize (KiB) 148596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1716.5 s]
/proc/loadavg: 2.17 2.09 2.08 3/179 30970
/proc/meminfo: memFree=28748508/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=1724.81 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 58547 368352 0 2 7412 1100 163625 344 20 0 1 0 338922374 139792384 6393 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6393 1180 1 0 5186 0
[pid=30970] ppid=30582 vsize=17804 CPUtime=75.21 cores=0,2,4,6
/proc/30970/stat : 30970 (clasp-1.3.3-x86) R 30582 30970 30970 0 -1 4202496 4516 0 0 0 7521 0 0 0 20 0 1 0 339086500 18231296 4199 33554432000 134512640 136080129 4289160016 4289158740 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/30970/statm: 4451 4199 175 383 0 4066 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 154320

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

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

[startup+1716.5 s]
/proc/loadavg: 2.17 2.09 2.08 3/179 30970
/proc/meminfo: memFree=28748508/32873844 swapFree=7120/7120
[pid=30582] ppid=30580 vsize=136516 CPUtime=1724.81 cores=0,2,4,6
/proc/30582/stat : 30582 (python) S 30580 30582 22930 0 -1 4202496 58547 368352 0 2 7412 1100 163625 344 20 0 1 0 338922374 139792384 6393 33554432000 4194304 4196484 140734579077312 140734579069072 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30582/statm: 34129 6393 1180 1 0 5186 0
[pid=30970] ppid=30582 vsize=17804 CPUtime=75.21 cores=0,2,4,6
/proc/30970/stat : 30970 (clasp-1.3.3-x86) R 30582 30970 30970 0 -1 4202496 4516 0 0 0 7521 0 0 0 20 0 1 0 339086500 18231296 4199 33554432000 134512640 136080129 4289160016 4289158740 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/30970/statm: 4451 4199 175 383 0 4066 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 154320

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30582 and gives
#  childrusage.ru_utime.tv_sec=1710
#  childrusage.ru_utime.tv_usec=386981
#  childrusage.ru_stime.tv_sec=14
#  childrusage.ru_stime.tv_usec=454802
# CPU time returned by wait4() is 1724.84
# while last known CPU time is 1800.02
#
# 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.100006
#  lost CPU user time (s): 0.170044
#  lost CPU system time (s): -0.0699992

Real time (s): 1716.51
CPU time (s): 1800.12
CPU user time (s): 1785.75
CPU system time (s): 14.37
CPU usage (%): 104.871
Max. virtual memory (cumulated for all children) (KiB): 2851656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1710.39
system time used= 14.4548
maximum resident set size= 193008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 426899
page faults= 2
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11088
involuntary context switches= 2834

runsolver used 3.42048 second user time and 8.80366 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-03 14:52:54
IDJOB=3742053
IDBENCH=90128
IDSOLVER=2323
FILE ID=node142/3742053-1338727974
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_K89.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742053-1338727974/watcher-3742053-1338727974 -o /tmp/evaluation-result-3742053-1338727974/solver-3742053-1338727974 -C 1800 -W 1900 -M 15500  solver HOME/instance-3742053-1338727974.opb 1975005415 

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

MD5SUM BENCH= 30c9df0e6d94fba856558f98ad1383d9
RANDOM SEED=1975005415

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:        28780356 kB
Buffers:          349920 kB
Cached:          2860692 kB
SwapCached:            0 kB
Active:          1345088 kB
Inactive:        1926388 kB
Active(anon):      52228 kB
Inactive(anon):    11220 kB
Active(file):    1292860 kB
Inactive(file):  1915168 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             21000 kB
Writeback:            28 kB
AnonPages:         67976 kB
Mapped:            14436 kB
Shmem:               200 kB
Slab:             682736 kB
SReclaimable:     124280 kB
SUnreclaim:       558456 kB
KernelStack:        1456 kB
PageTables:         4396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     175888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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:21:33