Trace number 3741884

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB10: borg-pb 10.05.30? (TO) 1800.01 1720.61

General information on the benchmark

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

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.00 2.06 2.07 3/177 3997
/proc/meminfo: memFree=30511424/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/3997/stat : 3997 (python) D 3995 3997 31325 0 -1 4202496 756 0 0 0 0 0 0 0 20 0 1 0 338739866 15642624 525 33554432000 4194304 5683644 140736445942192 140736445923864 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 3819 525 311 364 0 261 0

[startup+0.0266791 s]
/proc/loadavg: 2.00 2.06 2.07 3/177 3997
/proc/meminfo: memFree=30511424/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=15980 CPUtime=0 cores=1,3,5,7
/proc/3997/stat : 3997 (python) R 3995 3997 31325 0 -1 4202496 1005 0 0 0 0 0 0 0 20 0 1 0 338739866 16363520 744 33554432000 4194304 5683644 140736445942192 140736445886920 225444709664 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 3987 738 347 364 0 429 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15980

[startup+0.100257 s]
/proc/loadavg: 2.00 2.06 2.07 3/177 3997
/proc/meminfo: memFree=30511424/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=17624 CPUtime=0.02 cores=1,3,5,7
/proc/3997/stat : 3997 (python) D 3995 3997 31325 0 -1 4202496 2230 0 0 0 1 1 0 0 20 0 1 0 338739866 18046976 736 33554432000 4194304 4196484 140735584235600 140735584189416 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 4406 736 367 1 0 341 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17624

[startup+0.300268 s]
/proc/loadavg: 2.00 2.06 2.07 3/177 3997
/proc/meminfo: memFree=30511424/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=54712 CPUtime=0.07 cores=1,3,5,7
/proc/3997/stat : 3997 (python) R 3995 3997 31325 0 -1 4202496 4022 0 0 0 4 3 0 0 20 0 1 0 338739866 56025088 2194 33554432000 4194304 4196484 140735584235600 140735584067480 225444708021 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 13678 2194 600 1 0 1533 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 54712

[startup+0.700238 s]
/proc/loadavg: 2.00 2.06 2.07 3/177 3997
/proc/meminfo: memFree=30511424/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=99852 CPUtime=0.25 cores=1,3,5,7
/proc/3997/stat : 3997 (python) R 3995 3997 31325 0 -1 4202496 5918 0 0 0 14 11 0 0 20 0 1 0 338739866 102248448 3752 33554432000 4194304 4196484 140735584235600 140735584178872 225444335508 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 24963 3753 1047 1 0 2765 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 99852

[startup+1.50025 s]
/proc/loadavg: 2.00 2.06 2.07 2/178 4002
/proc/meminfo: memFree=30491832/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=118116 CPUtime=0.52 cores=1,3,5,7
/proc/3997/stat : 3997 (python) D 3995 3997 31325 0 -1 4202496 9594 1011 0 0 29 23 0 0 20 0 1 0 338739866 120950784 5830 33554432000 4194304 4196484 140735584235600 140735584168952 225444708021 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 29529 5830 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 118116

[startup+3.10027 s]
/proc/loadavg: 2.00 2.06 2.07 3/179 4003
/proc/meminfo: memFree=30486244/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=134480 CPUtime=0.73 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 11246 1011 0 0 44 29 0 0 20 0 1 0 338739866 137707520 6346 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 33620 6346 1170 1 0 5192 0
[pid=4003] ppid=3997 vsize=4212 CPUtime=1.23 cores=1,3,5,7
/proc/4003/stat : 4003 (clasp-1.3.3-x86) R 3997 4003 4003 0 -1 4202496 1132 0 0 0 123 0 0 0 20 0 1 0 338740052 4313088 814 33554432000 134512640 136080129 4287774416 4287773204 135505028 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4003/statm: 1053 814 175 383 0 668 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 138692
heavy processes:

[startup+6.30026 s]
/proc/loadavg: 2.00 2.06 2.07 4/179 4003
/proc/meminfo: memFree=30481408/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=134480 CPUtime=0.87 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 11254 1011 0 0 55 32 0 0 20 0 1 0 338739866 137707520 6346 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 33620 6346 1170 1 0 5192 0
[pid=4003] ppid=3997 vsize=5528 CPUtime=4.43 cores=1,3,5,7
/proc/4003/stat : 4003 (clasp-1.3.3-x86) R 3997 4003 4003 0 -1 4202496 1447 0 0 0 443 0 0 0 20 0 1 0 338740052 5660672 1129 33554432000 134512640 136080129 4287774416 4287773360 134579993 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4003/statm: 1382 1129 175 383 0 997 0
Current children cumulated CPU time (s) 5.3
Current children cumulated vsize (KiB) 140008

[startup+12.7002 s]
/proc/loadavg: 2.00 2.06 2.07 3/179 4006
/proc/meminfo: memFree=30482904/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=11.69 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 12484 3859 0 0 82 36 1050 1 20 0 1 0 338739866 139816960 6368 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6368 1180 1 0 5192 0
Current children cumulated CPU time (s) 11.69
Current children cumulated vsize (KiB) 136540

[startup+25.5003 s]
/proc/loadavg: 2.00 2.06 2.07 3/179 4009
/proc/meminfo: memFree=30478060/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=12.25 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 12513 3859 0 0 131 43 1050 1 20 0 1 0 338739866 139816960 6368 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6368 1180 1 0 5192 0
[pid=4009] ppid=3997 vsize=8412 CPUtime=13.09 cores=1,3,5,7
/proc/4009/stat : 4009 (clasp-1.3.3-x86) R 3997 4009 4009 0 -1 4202496 2170 0 0 0 1309 0 0 0 20 0 1 0 338741105 8613888 1854 33554432000 134512640 136080129 4294653712 4294652704 134588720 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4009/statm: 2103 1854 175 383 0 1718 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 144952

[startup+51.1003 s]
/proc/loadavg: 2.00 2.05 2.07 3/179 4010
/proc/meminfo: memFree=30469556/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=13.38 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 12539 3859 0 0 228 59 1050 1 20 0 1 0 338739866 139816960 6368 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6368 1180 1 0 5192 0
[pid=4009] ppid=3997 vsize=11264 CPUtime=38.68 cores=1,3,5,7
/proc/4009/stat : 4009 (clasp-1.3.3-x86) R 3997 4009 4009 0 -1 4202496 2898 0 0 0 3868 0 0 0 20 0 1 0 338741105 11534336 2580 33554432000 134512640 136080129 4294653712 4294652656 134579981 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4009/statm: 2816 2580 175 383 0 2431 0
Current children cumulated CPU time (s) 52.06
Current children cumulated vsize (KiB) 147804

[startup+102.306 s]
/proc/loadavg: 2.04 2.06 2.07 3/179 4013
/proc/meminfo: memFree=30388736/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=66.22 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 13706 7969 0 0 448 92 6080 2 20 0 1 0 338739866 139816960 6373 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6373 1180 1 0 5192 0
[pid=4013] ppid=3997 vsize=89324 CPUtime=39.54 cores=1,3,5,7
/proc/4013/stat : 4013 (wbo1.4a) R 3997 4013 4013 0 -1 4202496 22286 0 0 0 3914 40 0 0 20 0 1 0 338746139 91467776 21885 33554432000 134512640 135751879 4289034176 4289032428 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/4013/statm: 22331 21885 139 303 0 22026 0
Current children cumulated CPU time (s) 105.76
Current children cumulated vsize (KiB) 225864

[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.06 3/179 4025
/proc/meminfo: memFree=30470432/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=119.76 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 14936 35562 0 0 681 128 11115 52 20 0 1 0 338739866 139816960 6374 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6374 1180 1 0 5192 0
[pid=4019] ppid=3997 vsize=12288 CPUtime=48.65 cores=1,3,5,7
/proc/4019/stat : 4019 (clasp-1.3.3-x86) R 3997 4019 4019 0 -1 4202496 3139 0 0 0 4865 0 0 0 20 0 1 0 338751228 12582912 2825 33554432000 134512640 136080129 4292032320 4292031392 134849659 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4019/statm: 3072 2825 175 383 0 2687 0
Current children cumulated CPU time (s) 168.41
Current children cumulated vsize (KiB) 148828

[startup+222.3 s]
/proc/loadavg: 2.08 2.05 2.06 3/179 4028
/proc/meminfo: memFree=30453192/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=222.7 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 16183 40574 0 0 932 167 21117 54 20 0 1 0 338739866 139816960 6374 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6374 1180 1 0 5192 0
[pid=4028] ppid=3997 vsize=25660 CPUtime=8.59 cores=1,3,5,7
/proc/4028/stat : 4028 (wbo1.4a) R 3997 4028 4028 0 -1 4202496 6355 0 0 0 848 11 0 0 20 0 1 0 338761236 26275840 5960 33554432000 134512640 135751879 4291959584 4291957836 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/4028/statm: 6415 5960 139 303 0 6110 0
Current children cumulated CPU time (s) 231.29
Current children cumulated vsize (KiB) 162200

[startup+282.3 s]
/proc/loadavg: 2.06 2.05 2.06 3/179 4037
/proc/meminfo: memFree=30361232/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=225.41 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 16227 40574 0 0 1162 208 21117 54 20 0 1 0 338739866 139816960 6375 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6375 1180 1 0 5192 0
[pid=4028] ppid=3997 vsize=124492 CPUtime=68.53 cores=1,3,5,7
/proc/4028/stat : 4028 (wbo1.4a) R 3997 4028 4028 0 -1 4202496 31089 0 0 0 6797 56 0 0 20 0 1 0 338761236 127479808 30655 33554432000 134512640 135751879 4291959584 4291957836 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/4028/statm: 31123 30655 139 303 0 30818 0
Current children cumulated CPU time (s) 293.94
Current children cumulated vsize (KiB) 261032

[startup+342.3 s]
/proc/loadavg: 2.09 2.06 2.06 4/179 4088
/proc/meminfo: memFree=30447032/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=329.47 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 17423 79450 0 0 1417 250 31159 121 20 0 1 0 338739866 139816960 6376 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6376 1180 1 0 5192 0
[pid=4040] ppid=3997 vsize=42856 CPUtime=27.38 cores=1,3,5,7
/proc/4040/stat : 4040 (wbo1.4b) R 3997 4040 4040 0 -1 4202496 10674 0 0 0 2726 12 0 0 20 0 1 0 338771354 43884544 10267 33554432000 134512640 135751879 4290014992 4290013084 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/4040/statm: 10714 10267 144 303 0 10409 0
Current children cumulated CPU time (s) 356.85
Current children cumulated vsize (KiB) 179396

[startup+402.301 s]
/proc/loadavg: 2.11 2.07 2.07 3/197 4112
/proc/meminfo: memFree=30349496/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=382.56 cores=1,3,5,7
/proc/3997/stat : 3997 (python) R 3995 3997 31325 0 -1 4202496 18636 107730 0 0 1651 293 36160 152 20 0 1 0 338739866 139816960 6378 33554432000 4194304 4196484 140735584235600 140735584227360 225444750263 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6378 1180 1 0 5192 0
[pid=4091] ppid=3997 vsize=2715136 CPUtime=37.8 cores=1,3,5,7
/proc/4091/stat : 4091 (java) S 3997 4091 4091 0 -1 4202496 11207 0 1 0 3776 4 0 0 20 0 19 0 338776392 2780299264 30054 33554432000 1073741824 1073778376 140733545583424 140733545574560 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4091/statm: 678784 30054 2250 9 0 669477 0

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

/proc/4222/statm: 4871 4611 175 383 0 4486 0
Current children cumulated CPU time (s) 1049.29
Current children cumulated vsize (KiB) 156024

[startup+1062.3 s]
/proc/loadavg: 2.10 2.10 2.07 3/198 4277
/proc/meminfo: memFree=30367384/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=861.89 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 40637 262215 0 2 4315 733 80872 269 20 0 1 0 338739866 139816960 6387 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6387 1180 1 0 5192 0
[pid=4222] ppid=3997 vsize=24136 CPUtime=250.06 cores=1,3,5,7
/proc/4222/stat : 4222 (clasp-1.3.3-x86) R 3997 4222 4222 0 -1 4202496 6132 0 0 0 25005 1 0 0 20 0 1 0 338821083 24715264 5788 33554432000 134512640 136080129 4293239616 4293238688 134849989 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4222/statm: 6034 5788 175 383 0 5649 0
Current children cumulated CPU time (s) 1111.95
Current children cumulated vsize (KiB) 160676

[startup+1122.3 s]
/proc/loadavg: 2.07 2.09 2.07 3/179 4292
/proc/meminfo: memFree=30456044/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=1164.92 cores=1,3,5,7
/proc/3997/stat : 3997 (python) R 3995 3997 31325 0 -1 4202496 41866 269607 0 2 4560 774 110887 271 20 0 1 0 338739866 139816960 6387 33554432000 4194304 4196484 140735584235600 140735584227360 225444750263 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6387 1180 1 0 5192 0
[pid=4289] ppid=3997 vsize=42380 CPUtime=9.86 cores=1,3,5,7
/proc/4289/stat : 4289 (bsolo_pb10) R 3997 4289 4289 0 -1 4202496 8645 0 0 0 982 4 0 0 20 0 1 0 338851108 43397120 8162 33554432000 134512640 137138936 4292067888 4292066816 134542307 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/4289/statm: 10595 8162 192 642 0 9951 0
Current children cumulated CPU time (s) 1174.78
Current children cumulated vsize (KiB) 178920

[startup+1182.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/179 4298
/proc/meminfo: memFree=30364936/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=1167.58 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 41891 269607 0 2 4789 811 110887 271 20 0 1 0 338739866 139816960 6387 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6387 1180 1 0 5192 0
[pid=4289] ppid=3997 vsize=123900 CPUtime=69.81 cores=1,3,5,7
/proc/4289/stat : 4289 (bsolo_pb10) R 3997 4289 4289 0 -1 4202496 29072 0 0 0 6968 13 0 0 20 0 1 0 338851108 126873600 28543 33554432000 134512640 137138936 4292067888 4292051280 134602749 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/4289/statm: 30975 28543 192 642 0 30331 0
Current children cumulated CPU time (s) 1237.39
Current children cumulated vsize (KiB) 260440

[startup+1242.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/179 4304
/proc/meminfo: memFree=30464904/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=1281.29 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 44368 310224 0 2 5024 850 121965 290 20 0 1 0 338739866 139816960 6387 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6387 1180 1 0 5192 0
[pid=4304] ppid=3997 vsize=9300 CPUtime=18.81 cores=1,3,5,7
/proc/4304/stat : 4304 (clasp-1.3.3-x86) R 3997 4304 4304 0 -1 4202496 2381 0 0 0 1880 1 0 0 20 0 1 0 338862214 9523200 2062 33554432000 134512640 136080129 4294142784 4294141920 134846010 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4304/statm: 2325 2062 175 383 0 1940 0
Current children cumulated CPU time (s) 1300.1
Current children cumulated vsize (KiB) 145840

[startup+1302.3 s]
/proc/loadavg: 2.03 2.06 2.06 3/179 4305
/proc/meminfo: memFree=30452184/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=1283.96 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 44393 310224 0 2 5255 886 121965 290 20 0 1 0 338739866 139816960 6387 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6387 1180 1 0 5192 0
[pid=4304] ppid=3997 vsize=15220 CPUtime=78.8 cores=1,3,5,7
/proc/4304/stat : 4304 (clasp-1.3.3-x86) R 3997 4304 4304 0 -1 4202496 3921 0 0 0 7879 1 0 0 20 0 1 0 338862214 15585280 3568 33554432000 134512640 136080129 4294142784 4294141776 134588772 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4304/statm: 3805 3568 175 383 0 3420 0
Current children cumulated CPU time (s) 1362.76
Current children cumulated vsize (KiB) 151760

[startup+1362.3 s]
/proc/loadavg: 2.07 2.06 2.06 3/179 4314
/proc/meminfo: memFree=30454856/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=1407.91 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 48103 321170 0 2 5498 924 134074 295 20 0 1 0 338739866 139816960 6388 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6388 1180 1 0 5192 0
[pid=4314] ppid=3997 vsize=10360 CPUtime=17.62 cores=1,3,5,7
/proc/4314/stat : 4314 (clasp-1.3.3-x86) R 3997 4314 4314 0 -1 4202496 2651 0 0 0 1762 0 0 0 20 0 1 0 338874332 10608640 2333 33554432000 134512640 136080129 4294643600 4294642736 134610270 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4314/statm: 2590 2333 175 383 0 2205 0
Current children cumulated CPU time (s) 1425.53
Current children cumulated vsize (KiB) 146900

[startup+1422.31 s]
/proc/loadavg: 2.10 2.06 2.06 3/179 4320
/proc/meminfo: memFree=30450944/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=1471.51 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 50586 328374 0 2 5734 963 140157 297 20 0 1 0 338739866 139816960 6388 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6388 1180 1 0 5192 0
[pid=4320] ppid=3997 vsize=8668 CPUtime=16.74 cores=1,3,5,7
/proc/4320/stat : 4320 (clasp-1.3.3-x86) R 3997 4320 4320 0 -1 4202496 2223 0 0 0 1674 0 0 0 20 0 1 0 338880422 8876032 1905 33554432000 134512640 136080129 4286827056 4286826128 134849074 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4320/statm: 2167 1905 175 383 0 1782 0
Current children cumulated CPU time (s) 1488.25
Current children cumulated vsize (KiB) 145208

[startup+1482.3 s]
/proc/loadavg: 2.18 2.09 2.07 3/179 4323
/proc/meminfo: memFree=30386332/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=1474.19 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 50613 328374 0 2 5968 997 140157 297 20 0 1 0 338739866 139816960 6388 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6388 1180 1 0 5192 0
[pid=4320] ppid=3997 vsize=15540 CPUtime=76.71 cores=1,3,5,7
/proc/4320/stat : 4320 (clasp-1.3.3-x86) R 3997 4320 4320 0 -1 4202496 3955 0 0 0 7671 0 0 0 20 0 1 0 338880422 15912960 3632 33554432000 134512640 136080129 4286827056 4286825824 134602673 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4320/statm: 3885 3632 175 383 0 3500 0
Current children cumulated CPU time (s) 1550.9
Current children cumulated vsize (KiB) 152080

[startup+1542.3 s]
/proc/loadavg: 2.11 2.09 2.07 3/179 4335
/proc/meminfo: memFree=30479548/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=1598.14 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 54347 339544 0 2 6212 1033 152268 301 20 0 1 0 338739866 139816960 6389 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6389 1180 1 0 5192 0
[pid=4332] ppid=3997 vsize=8556 CPUtime=15.51 cores=1,3,5,7
/proc/4332/stat : 4332 (clasp-1.3.3-x86) R 3997 4332 4332 0 -1 4202496 2215 0 0 0 1551 0 0 0 20 0 1 0 338892543 8761344 1893 33554432000 134512640 136080129 4293467472 4293466544 134849981 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4332/statm: 2139 1893 175 383 0 1754 0
Current children cumulated CPU time (s) 1613.65
Current children cumulated vsize (KiB) 145096

[startup+1602.3 s]
/proc/loadavg: 2.09 2.08 2.07 3/179 4339
/proc/meminfo: memFree=30462052/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=1600.84 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 54373 339544 0 2 6443 1072 152268 301 20 0 1 0 338739866 139816960 6389 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6389 1180 1 0 5192 0
[pid=4332] ppid=3997 vsize=14520 CPUtime=75.51 cores=1,3,5,7
/proc/4332/stat : 4332 (clasp-1.3.3-x86) R 3997 4332 4332 0 -1 4202496 3706 0 0 0 7550 1 0 0 20 0 1 0 338892543 14868480 3383 33554432000 134512640 136080129 4293467472 4293466592 134804972 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4332/statm: 3630 3383 175 383 0 3245 0
Current children cumulated CPU time (s) 1676.35
Current children cumulated vsize (KiB) 151060

[startup+1662.3 s]
/proc/loadavg: 2.12 2.10 2.07 3/180 4357
/proc/meminfo: memFree=30478984/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=1724.81 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 58092 350864 0 2 6684 1114 164379 304 20 0 1 0 338739866 139816960 6391 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6391 1180 1 0 5192 0
[pid=4354] ppid=3997 vsize=8276 CPUtime=14.32 cores=1,3,5,7
/proc/4354/stat : 4354 (clasp-1.3.3-x86) R 3997 4354 4354 0 -1 4202496 2127 0 0 0 1432 0 0 0 20 0 1 0 338904663 8474624 1809 33554432000 134512640 136080129 4291526384 4291525520 134845911 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4354/statm: 2069 1809 175 383 0 1684 0
Current children cumulated CPU time (s) 1739.13
Current children cumulated vsize (KiB) 144816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1720.6 s]
/proc/loadavg: 2.14 2.11 2.08 3/179 4363
/proc/meminfo: memFree=30474028/32873844 swapFree=7900/7900
[pid=3997] ppid=3995 vsize=136540 CPUtime=1727.4 cores=1,3,5,7
/proc/3997/stat : 3997 (python) S 3995 3997 31325 0 -1 4202496 58116 350864 0 2 6905 1152 164379 304 20 0 1 0 338739866 139816960 6391 33554432000 4194304 4196484 140735584235600 140735584227360 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3997/statm: 34135 6391 1180 1 0 5192 0
[pid=4354] ppid=3997 vsize=14256 CPUtime=72.61 cores=1,3,5,7
/proc/4354/stat : 4354 (clasp-1.3.3-x86) R 3997 4354 4354 0 -1 4202496 3640 0 0 0 7261 0 0 0 20 0 1 0 338904663 14598144 3320 33554432000 134512640 136080129 4291526384 4291525344 134808286 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4354/statm: 3564 3320 175 383 0 3179 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 150796

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3997 and gives
#  childrusage.ru_utime.tv_sec=1712
#  childrusage.ru_utime.tv_usec=855606
#  childrusage.ru_stime.tv_sec=14
#  childrusage.ru_stime.tv_usec=575784
# CPU time returned by wait4() is 1727.43
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1720.61
CPU time (s): 1800.01
CPU user time (s): 1785.45
CPU system time (s): 14.56
CPU usage (%): 104.614
Max. virtual memory (cumulated for all children) (KiB): 2851680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1712.86
system time used= 14.5758
maximum resident set size= 191896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 408981
page faults= 2
swaps= 0
block input operations= 0
block output operations= 256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11170
involuntary context switches= 2417

runsolver used 3.9544 second user time and 8.90065 second system time

The end

Launcher Data 

Begin job on node137 at 2012-06-03 14:22:32
IDJOB=3741884
IDBENCH=90115
IDSOLVER=2323
FILE ID=node137/3741884-1338726152
RUNJOBID= node137-1338714575-31342
PBS_JOBID= 14636756
Free space on /tmp= 70304 MiB

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

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

MD5SUM BENCH= a3fcbcd7997dcbab652ff1a098fe5a93
RANDOM SEED=1272652375

node137.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.600
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.20
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.600
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.600
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.600
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.600
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.600
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.600
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.600
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:        30511704 kB
Buffers:          249360 kB
Cached:          1254328 kB
SwapCached:         5796 kB
Active:           838072 kB
Inactive:         699932 kB
Active(anon):      29656 kB
Inactive(anon):     7172 kB
Active(file):     808416 kB
Inactive(file):   692760 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             20984 kB
Writeback:             0 kB
AnonPages:         39728 kB
Mapped:            13256 kB
Shmem:                 0 kB
Slab:             685928 kB
SReclaimable:     126600 kB
SUnreclaim:       559328 kB
KernelStack:        1448 kB
PageTables:         4256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     153680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 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= 70284 MiB
End job on node137 at 2012-06-03 14:51:16