Trace number 3742612

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.07 1717.41

General information on the benchmark

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

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.10 2.11 2.09 3/177 6188
/proc/meminfo: memFree=30387972/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/6188/stat : 6188 (python) R 6186 6188 31325 0 -1 4202496 863 0 0 0 0 0 0 0 20 0 1 0 339635200 15749120 617 33554432000 4194304 5683644 140736418392768 140736418351224 225444709264 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/6188/statm: 3853 620 331 364 0 295 0

[startup+0.066084 s]
/proc/loadavg: 2.10 2.11 2.09 3/177 6188
/proc/meminfo: memFree=30387972/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=33756 CPUtime=0.04 cores=0,2,4,6
/proc/6188/stat : 6188 (python) R 6186 6188 31325 0 -1 4202496 2877 0 0 0 3 1 0 0 20 0 1 0 339635200 34566144 1274 33554432000 4194304 4196484 140733619505776 140733619388088 140007630402045 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/6188/statm: 8439 1274 470 1 0 751 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 33756

[startup+0.100301 s]
/proc/loadavg: 2.10 2.11 2.09 3/177 6188
/proc/meminfo: memFree=30387972/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=54492 CPUtime=0.06 cores=0,2,4,6
/proc/6188/stat : 6188 (python) D 6186 6188 31325 0 -1 4202496 3853 0 0 0 4 2 0 0 20 0 1 0 339635200 55799808 2064 33554432000 4194304 4196484 140733619505776 140733619301432 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/6188/statm: 13631 2064 573 1 0 1486 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 54492

[startup+0.300244 s]
/proc/loadavg: 2.10 2.11 2.09 3/177 6188
/proc/meminfo: memFree=30387972/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=99488 CPUtime=0.21 cores=0,2,4,6
/proc/6188/stat : 6188 (python) R 6186 6188 31325 0 -1 4202496 5879 0 0 0 14 7 0 0 20 0 1 0 339635200 101875712 3714 33554432000 4194304 4196484 140733619505776 140733619449048 225444377293 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/6188/statm: 24872 3714 1047 1 0 2674 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 99488

[startup+0.700189 s]
/proc/loadavg: 2.10 2.11 2.09 3/177 6188
/proc/meminfo: memFree=30387972/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=134488 CPUtime=0.49 cores=0,2,4,6
/proc/6188/stat : 6188 (python) R 6186 6188 31325 0 -1 4202496 11243 1011 0 0 37 12 0 0 20 0 1 0 339635200 137715712 6347 33554432000 4194304 4196484 140733619505776 140733619497536 140007631056934 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 33622 6347 1170 1 0 5194 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 134488

[startup+1.50026 s]
/proc/loadavg: 2.10 2.11 2.09 3/179 6194
/proc/meminfo: memFree=30362652/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=134488 CPUtime=0.55 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 11260 1011 0 0 42 13 0 0 20 0 1 0 339635200 137715712 6348 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 33622 6348 1170 1 0 5194 0
[pid=6194] ppid=6188 vsize=3564 CPUtime=0.81 cores=0,2,4,6
/proc/6194/stat : 6194 (clasp-1.3.3-x86) R 6188 6194 6194 0 -1 4202496 972 0 0 0 81 0 0 0 20 0 1 0 339635268 3649536 657 33554432000 134512640 136080129 4292544960 4292543828 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/6194/statm: 891 657 175 383 0 506 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 138052

[startup+3.10026 s]
/proc/loadavg: 2.10 2.11 2.09 3/179 6194
/proc/meminfo: memFree=30357444/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=134488 CPUtime=0.62 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 11264 1011 0 0 48 14 0 0 20 0 1 0 339635200 137715712 6348 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 33622 6348 1170 1 0 5194 0
[pid=6194] ppid=6188 vsize=4748 CPUtime=2.41 cores=0,2,4,6
/proc/6194/stat : 6194 (clasp-1.3.3-x86) R 6188 6194 6194 0 -1 4202496 1264 0 0 0 241 0 0 0 20 0 1 0 339635268 4861952 949 33554432000 134512640 136080129 4292544960 4292544096 134845739 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/6194/statm: 1187 949 175 383 0 802 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 139236

[startup+6.30027 s]
/proc/loadavg: 2.17 2.12 2.09 3/179 6194
/proc/meminfo: memFree=30345176/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=134488 CPUtime=0.77 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 11270 1011 0 0 61 16 0 0 20 0 1 0 339635200 137715712 6348 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 33622 6348 1170 1 0 5194 0
[pid=6194] ppid=6188 vsize=5400 CPUtime=5.61 cores=0,2,4,6
/proc/6194/stat : 6194 (clasp-1.3.3-x86) R 6188 6194 6194 0 -1 4202496 1403 0 0 0 561 0 0 0 20 0 1 0 339635268 5529600 1088 33554432000 134512640 136080129 4292544960 4292544096 134845871 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/6194/statm: 1350 1088 175 383 0 965 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 139888

[startup+12.7003 s]
/proc/loadavg: 2.15 2.12 2.09 3/179 6197
/proc/meminfo: memFree=30328792/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=11.12 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 12510 3608 0 0 91 20 1001 0 20 0 1 0 339635200 139825152 6368 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6368 1180 1 0 5194 0
[pid=6197] ppid=6188 vsize=4220 CPUtime=1.98 cores=0,2,4,6
/proc/6197/stat : 6197 (clasp-1.3.3-x86) R 6188 6197 6197 0 -1 4202496 1114 0 0 0 198 0 0 0 20 0 1 0 339636271 4321280 803 33554432000 134512640 136080129 4290007744 4290006696 134589417 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/6197/statm: 1055 803 175 383 0 670 0
Current children cumulated CPU time (s) 13.1
Current children cumulated vsize (KiB) 140768

[startup+25.5003 s]
/proc/loadavg: 2.12 2.11 2.09 4/179 6197
/proc/meminfo: memFree=30316508/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=11.72 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 12538 3608 0 0 144 27 1001 0 20 0 1 0 339635200 139825152 6368 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6368 1180 1 0 5194 0
[pid=6197] ppid=6188 vsize=6576 CPUtime=14.77 cores=0,2,4,6
/proc/6197/stat : 6197 (clasp-1.3.3-x86) R 6188 6197 6197 0 -1 4202496 1697 0 0 0 1477 0 0 0 20 0 1 0 339636271 6733824 1386 33554432000 134512640 136080129 4290007744 4290006816 134849989 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/6197/statm: 1644 1386 175 383 0 1259 0
Current children cumulated CPU time (s) 26.49
Current children cumulated vsize (KiB) 143124

[startup+51.1003 s]
/proc/loadavg: 2.08 2.10 2.09 3/197 6218
/proc/meminfo: memFree=30336016/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=12.89 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 12565 3608 0 0 244 44 1001 0 20 0 1 0 339635200 139825152 6368 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6368 1180 1 0 5194 0
[pid=6197] ppid=6188 vsize=8620 CPUtime=40.36 cores=0,2,4,6
/proc/6197/stat : 6197 (clasp-1.3.3-x86) R 6188 6197 6197 0 -1 4202496 2220 0 0 0 4036 0 0 0 20 0 1 0 339636271 8826880 1907 33554432000 134512640 136080129 4290007744 4290006820 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/6197/statm: 2155 1907 175 383 0 1770 0
Current children cumulated CPU time (s) 53.25
Current children cumulated vsize (KiB) 145168

[startup+102.307 s]
/proc/loadavg: 2.03 2.08 2.08 3/197 6221
/proc/meminfo: memFree=30245080/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=66 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 13756 6876 0 0 478 78 6042 2 20 0 1 0 339635200 139825152 6373 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6373 1180 1 0 5194 0
[pid=6221] ppid=6188 vsize=50620 CPUtime=41.13 cores=0,2,4,6
/proc/6221/stat : 6221 (wbo1.4a) R 6188 6221 6221 0 -1 4202496 12557 0 0 0 4099 14 0 0 20 0 1 0 339641316 51834880 12192 33554432000 134512640 135751879 4292143568 4292141184 134604784 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/6221/statm: 12655 12192 139 303 0 12350 0
Current children cumulated CPU time (s) 107.13
Current children cumulated vsize (KiB) 187168

[startup+162.3 s]
/proc/loadavg: 2.07 2.08 2.08 3/179 6227
/proc/meminfo: memFree=30321840/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=119.13 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 14998 22498 0 0 720 118 11056 19 20 0 1 0 339635200 139825152 6374 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6374 1180 1 0 5194 0
[pid=6224] ppid=6188 vsize=10344 CPUtime=50.79 cores=0,2,4,6
/proc/6224/stat : 6224 (clasp-1.3.3-x86) R 6188 6224 6224 0 -1 4202496 2652 0 0 0 5079 0 0 0 20 0 1 0 339646349 10592256 2323 33554432000 134512640 136080129 4286976608 4286975676 135519619 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/6224/statm: 2586 2323 175 383 0 2201 0
Current children cumulated CPU time (s) 169.92
Current children cumulated vsize (KiB) 146892

[startup+222.3 s]
/proc/loadavg: 2.02 2.07 2.08 3/179 6230
/proc/meminfo: memFree=30305068/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=222.43 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 16248 26300 0 0 982 157 21083 21 20 0 1 0 339635200 139825152 6376 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6376 1180 1 0 5194 0
[pid=6230] ppid=6188 vsize=18460 CPUtime=10.48 cores=0,2,4,6
/proc/6230/stat : 6230 (wbo1.4a) R 6188 6230 6230 0 -1 4202496 4552 0 0 0 1040 8 0 0 20 0 1 0 339656381 18903040 4186 33554432000 134512640 135751879 4293337216 4293335468 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/6230/statm: 4615 4186 139 303 0 4310 0
Current children cumulated CPU time (s) 232.91
Current children cumulated vsize (KiB) 155008

[startup+282.3 s]
/proc/loadavg: 2.12 2.08 2.08 3/179 6237
/proc/meminfo: memFree=30396152/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=225.24 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 16287 26300 0 0 1223 197 21083 21 20 0 1 0 339635200 139825152 6376 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6376 1180 1 0 5194 0
[pid=6230] ppid=6188 vsize=78124 CPUtime=70.45 cores=0,2,4,6
/proc/6230/stat : 6230 (wbo1.4a) R 6188 6230 6230 0 -1 4202496 19458 0 0 0 7021 24 0 0 20 0 1 0 339656381 79998976 19085 33554432000 134512640 135751879 4293337216 4293335468 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/6230/statm: 19531 19085 139 303 0 19226 0
Current children cumulated CPU time (s) 295.69
Current children cumulated vsize (KiB) 214672

[startup+342.3 s]
/proc/loadavg: 2.17 2.11 2.09 4/179 6255
/proc/meminfo: memFree=30360672/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=329.03 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 17519 53483 0 0 1493 239 31117 54 20 0 1 0 339635200 139825152 6377 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6377 1180 1 0 5194 0
[pid=6249] ppid=6188 vsize=111460 CPUtime=29.71 cores=0,2,4,6
/proc/6249/stat : 6249 (wbo1.4b) R 6188 6249 6249 0 -1 4202496 27818 0 0 0 2953 18 0 0 20 0 1 0 339666454 114135040 27431 33554432000 134512640 135751879 4291204464 4291202556 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/6249/statm: 27865 27431 144 303 0 27560 0
Current children cumulated CPU time (s) 358.74
Current children cumulated vsize (KiB) 248008

[startup+402.301 s]
/proc/loadavg: 2.19 2.12 2.09 3/215 6306
/proc/meminfo: memFree=30243052/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=382.63 cores=0,2,4,6

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

/proc/6426/statm: 3246 3008 175 383 0 2861 0
Current children cumulated CPU time (s) 1052.14
Current children cumulated vsize (KiB) 149532

[startup+1062.3 s]
/proc/loadavg: 2.15 2.10 2.09 3/179 6445
/proc/meminfo: memFree=30456992/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=859.35 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 40812 290712 0 2 4542 715 80480 198 20 0 1 0 339635200 139825152 6388 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6388 1180 1 0 5194 0
[pid=6426] ppid=6188 vsize=14164 CPUtime=255.55 cores=0,2,4,6
/proc/6426/stat : 6426 (clasp-1.3.3-x86) R 6188 6426 6426 0 -1 4202496 3617 0 0 0 25555 0 0 0 20 0 1 0 339715869 14503936 3296 33554432000 134512640 136080129 4292435360 4292434304 134579995 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/6426/statm: 3541 3296 175 383 0 3156 0
Current children cumulated CPU time (s) 1114.9
Current children cumulated vsize (KiB) 150712

[startup+1122.3 s]
/proc/loadavg: 2.13 2.11 2.09 3/180 6454
/proc/meminfo: memFree=30420328/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=1162.55 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 42051 295344 0 2 4798 754 110503 200 20 0 1 0 339635200 139825152 6388 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6388 1180 1 0 5194 0
[pid=6454] ppid=6188 vsize=49536 CPUtime=15.28 cores=0,2,4,6
/proc/6454/stat : 6454 (bsolo_pb10) R 6188 6454 6454 0 -1 4202496 10336 0 0 0 1525 3 0 0 20 0 1 0 339745900 50724864 9955 33554432000 134512640 137138936 4286891312 4286890428 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/6454/statm: 12384 9955 192 642 0 11740 0
Current children cumulated CPU time (s) 1177.83
Current children cumulated vsize (KiB) 186084

[startup+1182.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/179 6461
/proc/meminfo: memFree=30368564/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=1165.33 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 42075 295344 0 2 5039 791 110503 200 20 0 1 0 339635200 139825152 6388 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6388 1180 1 0 5194 0
[pid=6454] ppid=6188 vsize=113872 CPUtime=75.23 cores=0,2,4,6
/proc/6454/stat : 6454 (bsolo_pb10) R 6188 6454 6454 0 -1 4202496 26446 0 0 0 7515 8 0 0 20 0 1 0 339745900 116604928 26027 33554432000 134512640 137138936 4286891312 4286890240 134542480 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/6454/statm: 28468 26027 192 642 0 27824 0
Current children cumulated CPU time (s) 1240.56
Current children cumulated vsize (KiB) 250420

[startup+1242.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/179 6470
/proc/meminfo: memFree=30451664/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=1278.76 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 44554 330459 0 2 5289 826 121549 212 20 0 1 0 339635200 139825152 6389 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6389 1180 1 0 5194 0
[pid=6470] ppid=6188 vsize=7228 CPUtime=24.61 cores=0,2,4,6
/proc/6470/stat : 6470 (clasp-1.3.3-x86) R 6188 6470 6470 0 -1 4202496 1870 0 0 0 2461 0 0 0 20 0 1 0 339756967 7401472 1552 33554432000 134512640 136080129 4293188272 4293187344 134849160 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/6470/statm: 1807 1552 175 383 0 1422 0
Current children cumulated CPU time (s) 1303.37
Current children cumulated vsize (KiB) 143776

[startup+1302.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/179 6476
/proc/meminfo: memFree=30461396/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=1281.52 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 44581 330459 0 2 5528 863 121549 212 20 0 1 0 339635200 139825152 6389 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6389 1180 1 0 5194 0
[pid=6470] ppid=6188 vsize=11048 CPUtime=84.6 cores=0,2,4,6
/proc/6470/stat : 6470 (clasp-1.3.3-x86) R 6188 6470 6470 0 -1 4202496 2835 0 0 0 8460 0 0 0 20 0 1 0 339756967 11313152 2513 33554432000 134512640 136080129 4293188272 4293187232 134808040 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/6470/statm: 2762 2513 175 383 0 2377 0
Current children cumulated CPU time (s) 1366.12
Current children cumulated vsize (KiB) 147596

[startup+1362.3 s]
/proc/loadavg: 2.05 2.08 2.08 3/179 6488
/proc/meminfo: memFree=30448812/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=1404.73 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 48271 339238 0 2 5783 901 133573 216 20 0 1 0 339635200 139825152 6390 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6390 1180 1 0 5194 0
[pid=6488] ppid=6188 vsize=7356 CPUtime=24.29 cores=0,2,4,6
/proc/6488/stat : 6488 (clasp-1.3.3-x86) R 6188 6488 6488 0 -1 4202496 1917 0 0 0 2429 0 0 0 20 0 1 0 339769000 7532544 1600 33554432000 134512640 136080129 4289890208 4289889200 134588737 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/6488/statm: 1839 1600 175 383 0 1454 0
Current children cumulated CPU time (s) 1429.02
Current children cumulated vsize (KiB) 143904

[startup+1422.31 s]
/proc/loadavg: 1.57 1.95 2.04 2/172 6519
/proc/meminfo: memFree=30515096/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=1468.47 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 50771 344952 0 2 6023 940 139666 218 20 0 1 0 339635200 139825152 6390 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6390 1180 1 0 5194 0
[pid=6519] ppid=6188 vsize=7516 CPUtime=23.3 cores=0,2,4,6
/proc/6519/stat : 6519 (clasp-1.3.3-x86) R 6188 6519 6519 0 -1 4202496 1949 0 0 0 2330 0 0 0 20 0 1 0 339775099 7696384 1629 33554432000 134512640 136080129 4290164560 4290163552 134844922 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/6519/statm: 1879 1629 175 383 0 1494 0
Current children cumulated CPU time (s) 1491.77
Current children cumulated vsize (KiB) 144064

[startup+1482.3 s]
/proc/loadavg: 1.26 1.79 1.98 2/172 6520
/proc/meminfo: memFree=30511744/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=1471.12 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 50798 344952 0 2 6254 974 139666 218 20 0 1 0 339635200 139825152 6390 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6390 1180 1 0 5194 0
[pid=6519] ppid=6188 vsize=10640 CPUtime=83.28 cores=0,2,4,6
/proc/6519/stat : 6519 (clasp-1.3.3-x86) R 6188 6519 6519 0 -1 4202496 2744 0 0 0 8328 0 0 0 20 0 1 0 339775099 10895360 2422 33554432000 134512640 136080129 4290164560 4290163552 134588974 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/6519/statm: 2660 2422 175 383 0 2275 0
Current children cumulated CPU time (s) 1554.4
Current children cumulated vsize (KiB) 147188

[startup+1542.3 s]
/proc/loadavg: 1.09 1.65 1.91 2/172 6529
/proc/meminfo: memFree=30515032/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=1595.02 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 54531 353568 0 2 6498 1009 151773 222 20 0 1 0 339635200 139825152 6391 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6391 1180 1 0 5194 0
[pid=6529] ppid=6188 vsize=7500 CPUtime=22.13 cores=0,2,4,6
/proc/6529/stat : 6529 (clasp-1.3.3-x86) R 6188 6529 6529 0 -1 4202496 1955 0 0 0 2213 0 0 0 20 0 1 0 339787216 7680000 1634 33554432000 134512640 136080129 4287728016 4287727088 134849910 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/6529/statm: 1875 1634 175 383 0 1490 0
Current children cumulated CPU time (s) 1617.15
Current children cumulated vsize (KiB) 144048

[startup+1602.3 s]
/proc/loadavg: 1.11 1.54 1.86 2/172 6529
/proc/meminfo: memFree=30511556/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=1597.66 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 54556 353568 0 2 6728 1043 151773 222 20 0 1 0 339635200 139825152 6391 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6391 1180 1 0 5194 0
[pid=6529] ppid=6188 vsize=10896 CPUtime=82.12 cores=0,2,4,6
/proc/6529/stat : 6529 (clasp-1.3.3-x86) R 6188 6529 6529 0 -1 4202496 2823 0 0 0 8212 0 0 0 20 0 1 0 339787216 11157504 2492 33554432000 134512640 136080129 4287728016 4287727088 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/6529/statm: 2724 2492 175 383 0 2339 0
Current children cumulated CPU time (s) 1679.78
Current children cumulated vsize (KiB) 147444

[startup+1662.3 s]
/proc/loadavg: 1.04 1.44 1.80 2/172 6538
/proc/meminfo: memFree=30515468/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=1721.58 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 58275 362310 0 2 6972 1079 163882 225 20 0 1 0 339635200 139825152 6392 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6392 1180 1 0 5194 0
[pid=6538] ppid=6188 vsize=7100 CPUtime=20.94 cores=0,2,4,6
/proc/6538/stat : 6538 (clasp-1.3.3-x86) R 6188 6538 6538 0 -1 4202496 1854 0 0 0 2094 0 0 0 20 0 1 0 339799334 7270400 1535 33554432000 134512640 136080129 4287694544 4287693536 134588772 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/6538/statm: 1775 1535 175 383 0 1390 0
Current children cumulated CPU time (s) 1742.52
Current children cumulated vsize (KiB) 143648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1717.4 s]
/proc/loadavg: 1.01 1.36 1.75 2/173 6541
/proc/meminfo: memFree=30512420/32873844 swapFree=7900/7900
[pid=6188] ppid=6186 vsize=136548 CPUtime=1724.03 cores=0,2,4,6
/proc/6188/stat : 6188 (python) S 6186 6188 31325 0 -1 4202496 58298 362310 0 2 7183 1113 163882 225 20 0 1 0 339635200 139825152 6392 33554432000 4194304 4196484 140733619505776 140733619497536 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 34137 6392 1180 1 0 5194 0
[pid=6538] ppid=6188 vsize=9976 CPUtime=76.04 cores=0,2,4,6
/proc/6538/stat : 6538 (clasp-1.3.3-x86) R 6188 6538 6538 0 -1 4202496 2575 0 0 0 7604 0 0 0 20 0 1 0 339799334 10215424 2255 33554432000 134512640 136080129 4287694544 4287693616 134849690 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/6538/statm: 2494 2255 175 383 0 2109 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 146524

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 6188 and gives
#  childrusage.ru_utime.tv_sec=1710
#  childrusage.ru_utime.tv_usec=672938
#  childrusage.ru_stime.tv_sec=13
#  childrusage.ru_stime.tv_usec=392963
# CPU time returned by wait4() is 1724.07
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1717.41
CPU time (s): 1800.07
CPU user time (s): 1786.69
CPU system time (s): 13.38
CPU usage (%): 104.813
Max. virtual memory (cumulated for all children) (KiB): 2851688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1710.67
system time used= 13.393
maximum resident set size= 385928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 420609
page faults= 2
swaps= 0
block input operations= 0
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9154
involuntary context switches= 4738

runsolver used 3.47047 second user time and 8.93364 second system time

The end

Launcher Data 

Begin job on node137 at 2012-06-03 16:51:46
IDJOB=3742612
IDBENCH=90217
IDSOLVER=2323
FILE ID=node137/3742612-1338735106
RUNJOBID= node137-1338714575-31341
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/ShortestPathBA/normalized-BeauxArts_K65.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742612-1338735106/watcher-3742612-1338735106 -o /tmp/evaluation-result-3742612-1338735106/solver-3742612-1338735106 -C 1800 -W 1900 -M 15500  solver HOME/instance-3742612-1338735106.opb 1565962687 

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

MD5SUM BENCH= a4b90b74bc3d4958439bc17b9ac2ee03
RANDOM SEED=1565962687

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:        30388368 kB
Buffers:          263964 kB
Cached:          1256184 kB
SwapCached:         5796 kB
Active:           955084 kB
Inactive:         702892 kB
Active(anon):     133448 kB
Inactive(anon):     7172 kB
Active(file):     821636 kB
Inactive(file):   695720 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             21620 kB
Writeback:             0 kB
AnonPages:        144032 kB
Mapped:            13068 kB
Shmem:                 0 kB
Slab:             685956 kB
SReclaimable:     126664 kB
SUnreclaim:       559292 kB
KernelStack:        1448 kB
PageTables:         4468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     261320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70304 MiB
End job on node137 at 2012-06-03 17:20:26