Trace number 3739602

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.09 1704.21

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1206_6-sat.opb
MD5SUM138289002292e7c474e0d36dbcddf060
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 variables37752
Total number of constraints120373
Number of constraints which are clauses119753
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints620
Minimum length of a constraint1
Maximum length of a constraint63
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 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 342
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.24 2.15 2.10 3/179 14351
/proc/meminfo: memFree=28632360/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/14351/stat : 14351 (python) D 14349 14351 11290 0 -1 4202496 879 0 0 0 0 0 0 0 20 0 1 0 338048998 15749120 629 33554432000 4194304 5683644 140735948531792 140735948472280 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 3 0 0 0 0 0
/proc/14351/statm: 3845 629 333 364 0 287 0

[startup+0.0930921 s]
/proc/loadavg: 2.24 2.15 2.10 3/179 14351
/proc/meminfo: memFree=28632360/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=49480 CPUtime=0.05 cores=1,3,5,7
/proc/14351/stat : 14351 (python) R 14349 14351 11290 0 -1 4202496 3466 0 0 0 4 1 0 0 20 0 1 0 338048998 50667520 1789 33554432000 4194304 4196484 140734638594352 140734638422056 215143166669 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/14351/statm: 12370 1814 555 1 0 1308 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 49480

[startup+0.10033 s]
/proc/loadavg: 2.24 2.15 2.10 3/179 14351
/proc/meminfo: memFree=28632360/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=54112 CPUtime=0.06 cores=1,3,5,7
/proc/14351/stat : 14351 (python) D 14349 14351 11290 0 -1 4202496 3796 0 0 0 4 2 0 0 20 0 1 0 338048998 55410688 2023 33554432000 4194304 4196484 140734638594352 140734638422056 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/14351/statm: 13528 2023 573 1 0 1383 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 54112

[startup+0.300262 s]
/proc/loadavg: 2.24 2.15 2.10 3/179 14351
/proc/meminfo: memFree=28632360/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=101288 CPUtime=0.22 cores=1,3,5,7
/proc/14351/stat : 14351 (python) R 14349 14351 11290 0 -1 4202496 6301 0 0 0 14 8 0 0 20 0 1 0 338048998 103718912 4135 33554432000 4194304 4196484 140734638594352 140734638537624 215143499136 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 25322 4135 1047 1 0 3124 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 101288

[startup+0.70024 s]
/proc/loadavg: 2.24 2.15 2.10 3/179 14351
/proc/meminfo: memFree=28632360/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=134484 CPUtime=0.47 cores=1,3,5,7
/proc/14351/stat : 14351 (python) R 14349 14351 11290 0 -1 4202496 11210 1012 0 0 34 13 0 0 20 0 1 0 338048998 137711616 6346 33554432000 4194304 4196484 140734638594352 140734638586112 215143539639 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 33621 6346 1170 1 0 5193 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 134484

[startup+1.50026 s]
/proc/loadavg: 2.22 2.15 2.10 4/181 14357
/proc/meminfo: memFree=28603204/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=134484 CPUtime=0.52 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 11212 1012 0 0 38 14 0 0 20 0 1 0 338048998 137711616 6346 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 33621 6346 1170 1 0 5193 0
[pid=14357] ppid=14351 vsize=10708 CPUtime=0.88 cores=1,3,5,7
/proc/14357/stat : 14357 (clasp-1.3.3-x86) R 14351 14357 14357 0 -1 4202496 2979 0 0 0 88 0 0 0 20 0 1 0 338049058 10964992 2390 33554432000 134512640 136080129 4291425552 4291424512 134808296 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14357/statm: 2677 2390 176 383 0 2292 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 145192

[startup+3.10023 s]
/proc/loadavg: 2.22 2.15 2.10 3/181 14357
/proc/meminfo: memFree=28600724/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=134484 CPUtime=0.6 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 11218 1012 0 0 45 15 0 0 20 0 1 0 338048998 137711616 6346 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 33621 6346 1170 1 0 5193 0
[pid=14357] ppid=14351 vsize=13032 CPUtime=2.48 cores=1,3,5,7
/proc/14357/stat : 14357 (clasp-1.3.3-x86) R 14351 14357 14357 0 -1 4202496 3583 0 0 0 248 0 0 0 20 0 1 0 338049058 13344768 2994 33554432000 134512640 136080129 4291425552 4291424420 135505028 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14357/statm: 3258 2994 176 383 0 2873 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 147516

[startup+6.30024 s]
/proc/loadavg: 2.22 2.15 2.10 3/181 14357
/proc/meminfo: memFree=28596268/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=134484 CPUtime=0.76 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 11227 1012 0 0 59 17 0 0 20 0 1 0 338048998 137711616 6346 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 33621 6346 1170 1 0 5193 0
[pid=14357] ppid=14351 vsize=14748 CPUtime=5.68 cores=1,3,5,7
/proc/14357/stat : 14357 (clasp-1.3.3-x86) R 14351 14357 14357 0 -1 4202496 3997 0 0 0 568 0 0 0 20 0 1 0 338049058 15101952 3408 33554432000 134512640 136080129 4291425552 4291424624 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14357/statm: 3687 3408 176 383 0 3302 0
Current children cumulated CPU time (s) 6.44
Current children cumulated vsize (KiB) 149232

[startup+12.7003 s]
/proc/loadavg: 2.26 2.16 2.10 3/181 14360
/proc/meminfo: memFree=28597892/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=11.3 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 12482 6769 0 0 94 22 1013 1 20 0 1 0 338048998 139821056 6368 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6368 1180 1 0 5193 0
[pid=14360] ppid=14351 vsize=12316 CPUtime=1.91 cores=1,3,5,7
/proc/14360/stat : 14360 (clasp-1.3.3-x86) R 14351 14360 14360 0 -1 4202496 3401 0 0 0 191 0 0 0 20 0 1 0 338050075 12611584 2814 33554432000 134512640 136080129 4292924320 4292923392 134849440 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14360/statm: 3079 2814 176 383 0 2694 0
Current children cumulated CPU time (s) 13.21
Current children cumulated vsize (KiB) 148860

[startup+25.5003 s]
/proc/loadavg: 2.22 2.15 2.10 3/181 14360
/proc/meminfo: memFree=28583888/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=11.95 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 12509 6769 0 0 150 31 1013 1 20 0 1 0 338048998 139821056 6368 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6368 1180 1 0 5193 0
[pid=14360] ppid=14351 vsize=19900 CPUtime=14.72 cores=1,3,5,7
/proc/14360/stat : 14360 (clasp-1.3.3-x86) R 14351 14360 14360 0 -1 4202496 5275 0 0 0 1471 1 0 0 20 0 1 0 338050075 20377600 4688 33554432000 134512640 136080129 4292924320 4292923408 134804935 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14360/statm: 4975 4688 176 383 0 4590 0
Current children cumulated CPU time (s) 26.67
Current children cumulated vsize (KiB) 156444

[startup+51.1003 s]
/proc/loadavg: 2.21 2.15 2.10 3/181 14363
/proc/meminfo: memFree=28573824/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=13.3 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 12540 6769 0 0 270 46 1013 1 20 0 1 0 338048998 139821056 6368 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6368 1180 1 0 5193 0
[pid=14360] ppid=14351 vsize=28612 CPUtime=40.3 cores=1,3,5,7
/proc/14360/stat : 14360 (clasp-1.3.3-x86) R 14351 14360 14360 0 -1 4202496 7464 0 0 0 4028 2 0 0 20 0 1 0 338050075 29298688 6869 33554432000 134512640 136080129 4292924320 4292923448 134803123 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14360/statm: 7153 6869 176 383 0 6768 0
Current children cumulated CPU time (s) 53.6
Current children cumulated vsize (KiB) 165156

[startup+102.307 s]
/proc/loadavg: 2.23 2.17 2.10 3/181 14369
/proc/meminfo: memFree=28563684/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=66.61 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 13725 15154 0 0 535 84 6038 4 20 0 1 0 338048998 139821056 6372 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6372 1180 1 0 5193 0
[pid=14366] ppid=14351 vsize=51544 CPUtime=41.2 cores=1,3,5,7
/proc/14366/stat : 14366 (wbo1.4a) R 14351 14366 14366 0 -1 4202496 13601 0 0 0 4105 15 0 0 20 0 1 0 338055106 52781056 12254 33554432000 134512640 135751879 4287457760 4287456012 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 12886 12254 139 303 0 12581 0
Current children cumulated CPU time (s) 107.81
Current children cumulated vsize (KiB) 188088

[startup+162.3 s]
/proc/loadavg: 2.19 2.17 2.10 3/182 14375
/proc/meminfo: memFree=28568152/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=120.27 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 14972 31148 0 0 815 120 11069 23 20 0 1 0 338048998 139821056 6372 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6372 1180 1 0 5193 0
[pid=14372] ppid=14351 vsize=28636 CPUtime=50.66 cores=1,3,5,7
/proc/14372/stat : 14372 (clasp-1.3.3-x86) R 14351 14372 14372 0 -1 4202496 7469 0 0 0 5064 2 0 0 20 0 1 0 338060159 29323264 6869 33554432000 134512640 136080129 4289606208 4289605336 134803132 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14372/statm: 7159 6869 176 383 0 6774 0
Current children cumulated CPU time (s) 170.93
Current children cumulated vsize (KiB) 165180

[startup+222.3 s]
/proc/loadavg: 2.07 2.13 2.09 3/181 14381
/proc/meminfo: memFree=28567068/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=224.15 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 16229 41624 0 0 1118 163 21108 26 20 0 1 0 338048998 139821056 6374 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6374 1180 1 0 5193 0
[pid=14381] ppid=14351 vsize=26556 CPUtime=10.2 cores=1,3,5,7
/proc/14381/stat : 14381 (wbo1.4a) R 14351 14381 14381 0 -1 4202496 7344 0 0 0 1014 6 0 0 20 0 1 0 338070206 27193344 5994 33554432000 134512640 135751879 4288950944 4288949196 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/14381/statm: 6639 5994 139 303 0 6334 0
Current children cumulated CPU time (s) 234.35
Current children cumulated vsize (KiB) 163100

[startup+282.3 s]
/proc/loadavg: 2.11 2.14 2.09 3/181 14382
/proc/meminfo: memFree=28499340/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=227.38 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 16264 41624 0 0 1401 203 21108 26 20 0 1 0 338048998 139821056 6375 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6375 1180 1 0 5193 0
[pid=14381] ppid=14351 vsize=70800 CPUtime=70.18 cores=1,3,5,7
/proc/14381/stat : 14381 (wbo1.4a) R 14351 14381 14381 0 -1 4202496 18369 0 0 0 6992 26 0 0 20 0 1 0 338070206 72499200 17024 33554432000 134512640 135751879 4288950944 4288949196 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/14381/statm: 17700 17024 139 303 0 17395 0
Current children cumulated CPU time (s) 297.56
Current children cumulated vsize (KiB) 207344

[startup+342.3 s]
/proc/loadavg: 2.10 2.12 2.09 3/199 14409
/proc/meminfo: memFree=28148832/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=331.21 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 17501 65414 0 0 1694 242 31122 63 20 0 1 0 338048998 139821056 6376 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6376 1180 1 0 5193 0
[pid=14388] ppid=14351 vsize=93636 CPUtime=29.65 cores=1,3,5,7
/proc/14388/stat : 14388 (wbo1.4b) R 14351 14388 14388 0 -1 4202496 24072 0 0 0 2961 4 0 0 20 0 1 0 338080261 95883264 22721 33554432000 134512640 135751879 4291228016 4291224768 134524816 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/14388/statm: 23409 22721 142 303 0 23104 0
Current children cumulated CPU time (s) 360.86
Current children cumulated vsize (KiB) 230180

[startup+402.301 s]
/proc/loadavg: 2.18 2.14 2.09 3/217 14430
/proc/meminfo: memFree=27729780/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=384.99 cores=1,3,5,7

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

/proc/14580/statm: 14121 13813 176 383 0 13736 0
Current children cumulated CPU time (s) 1060.96
Current children cumulated vsize (KiB) 193028

[startup+1062.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/181 14581
/proc/meminfo: memFree=28512128/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=866.48 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 40989 289807 0 2 5144 747 80545 212 20 0 1 0 338048998 139821056 6384 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6384 1180 1 0 5193 0
[pid=14580] ppid=14351 vsize=59672 CPUtime=257.59 cores=1,3,5,7
/proc/14580/stat : 14580 (clasp-1.3.3-x86) R 14351 14580 14580 0 -1 4202496 15235 0 0 0 25755 4 0 0 20 0 1 0 338129461 61104128 14654 33554432000 134512640 136080129 4288837792 4288836752 134808086 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14580/statm: 14918 14654 176 383 0 14533 0
Current children cumulated CPU time (s) 1124.07
Current children cumulated vsize (KiB) 196216

[startup+1122.3 s]
/proc/loadavg: 2.07 2.09 2.09 3/181 14587
/proc/meminfo: memFree=28561180/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=1170.26 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 42212 306388 0 2 5425 787 110596 218 20 0 1 0 338048998 139821056 6385 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6385 1180 1 0 5193 0
[pid=14587] ppid=14351 vsize=36676 CPUtime=17 cores=1,3,5,7
/proc/14587/stat : 14587 (bsolo_pb10) R 14351 14587 14587 0 -1 4202496 8039 0 0 0 1698 2 0 0 20 0 1 0 338159526 37556224 6617 33554432000 134512640 137138936 4291554208 4291099884 136570369 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/14587/statm: 9169 6617 184 642 0 8525 0
Current children cumulated CPU time (s) 1187.26
Current children cumulated vsize (KiB) 173220

[startup+1182.3 s]
/proc/loadavg: 2.13 2.10 2.09 4/181 14591
/proc/meminfo: memFree=28495648/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=1173.57 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 42254 306388 0 2 5716 827 110596 218 20 0 1 0 338048998 139821056 6385 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6385 1180 1 0 5193 0
[pid=14587] ppid=14351 vsize=131140 CPUtime=76.95 cores=1,3,5,7
/proc/14587/stat : 14587 (bsolo_pb10) R 14351 14587 14587 0 -1 4202496 32208 0 0 0 7680 15 0 0 20 0 1 0 338159526 134287360 30223 33554432000 134512640 137138936 4291554208 4291553136 134542295 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/14587/statm: 32785 30223 192 642 0 32141 0
Current children cumulated CPU time (s) 1250.52
Current children cumulated vsize (KiB) 267684

[startup+1242.3 s]
/proc/loadavg: 2.11 2.10 2.09 5/181 14600
/proc/meminfo: memFree=28577988/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=1287.29 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 44733 351883 0 2 6003 868 121621 237 20 0 1 0 338048998 139821056 6386 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6386 1180 1 0 5193 0
[pid=14600] ppid=14351 vsize=24264 CPUtime=26.45 cores=1,3,5,7
/proc/14600/stat : 14600 (clasp-1.3.3-x86) R 14351 14600 14600 0 -1 4202496 6378 0 0 0 2644 1 0 0 20 0 1 0 338170581 24846336 5782 33554432000 134512640 136080129 4289013312 4289012384 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14600/statm: 6066 5782 176 383 0 5681 0
Current children cumulated CPU time (s) 1313.74
Current children cumulated vsize (KiB) 160808

[startup+1302.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/181 14606
/proc/meminfo: memFree=28579648/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=1290.43 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 44757 351883 0 2 6278 907 121621 237 20 0 1 0 338048998 139821056 6386 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6386 1180 1 0 5193 0
[pid=14600] ppid=14351 vsize=36656 CPUtime=86.43 cores=1,3,5,7
/proc/14600/stat : 14600 (clasp-1.3.3-x86) R 14351 14600 14600 0 -1 4202496 9465 0 0 0 8641 2 0 0 20 0 1 0 338170581 37535744 8873 33554432000 134512640 136080129 4289013312 4289012384 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14600/statm: 9164 8873 176 383 0 8779 0
Current children cumulated CPU time (s) 1376.86
Current children cumulated vsize (KiB) 173200

[startup+1362.3 s]
/proc/loadavg: 2.15 2.10 2.09 3/182 14624
/proc/meminfo: memFree=28593092/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=1414.49 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 48472 373890 0 2 6566 948 133690 245 20 0 1 0 338048998 139821056 6387 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6387 1180 1 0 5193 0
[pid=14618] ppid=14351 vsize=23468 CPUtime=25.62 cores=1,3,5,7
/proc/14618/stat : 14618 (clasp-1.3.3-x86) R 14351 14618 14618 0 -1 4202496 6201 0 0 0 2561 1 0 0 20 0 1 0 338182663 24031232 5624 33554432000 134512640 136080129 4294460704 4294459776 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14618/statm: 5867 5624 176 383 0 5482 0
Current children cumulated CPU time (s) 1440.11
Current children cumulated vsize (KiB) 160012

[startup+1422.31 s]
/proc/loadavg: 2.10 2.10 2.09 3/181 14633
/proc/meminfo: memFree=28577864/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=1478.12 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 50961 388085 0 2 6852 983 139729 248 20 0 1 0 338048998 139821056 6388 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6388 1180 1 0 5193 0
[pid=14633] ppid=14351 vsize=23468 CPUtime=25.17 cores=1,3,5,7
/proc/14633/stat : 14633 (clasp-1.3.3-x86) R 14351 14633 14633 0 -1 4202496 6200 0 0 0 2516 1 0 0 20 0 1 0 338188710 24031232 5604 33554432000 134512640 136080129 4291569968 4291569044 134850025 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14633/statm: 5867 5604 176 383 0 5482 0
Current children cumulated CPU time (s) 1503.29
Current children cumulated vsize (KiB) 160012

[startup+1482.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/181 14640
/proc/meminfo: memFree=28582512/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=1481.26 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 50990 388085 0 2 7128 1021 139729 248 20 0 1 0 338048998 139821056 6388 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6388 1180 1 0 5193 0
[pid=14633] ppid=14351 vsize=35300 CPUtime=85.15 cores=1,3,5,7
/proc/14633/stat : 14633 (clasp-1.3.3-x86) R 14351 14633 14633 0 -1 4202496 9145 0 0 0 8513 2 0 0 20 0 1 0 338188710 36147200 8539 33554432000 134512640 136080129 4291569968 4291569040 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14633/statm: 8825 8539 176 383 0 8440 0
Current children cumulated CPU time (s) 1566.41
Current children cumulated vsize (KiB) 171844

[startup+1542.3 s]
/proc/loadavg: 2.16 2.12 2.09 3/181 14652
/proc/meminfo: memFree=28575576/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=1605.31 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 54703 410111 0 2 7415 1063 151798 255 20 0 1 0 338048998 139821056 6390 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6390 1180 1 0 5193 0
[pid=14652] ppid=14351 vsize=23472 CPUtime=24.35 cores=1,3,5,7
/proc/14652/stat : 14652 (clasp-1.3.3-x86) R 14351 14652 14652 0 -1 4202496 5686 0 0 0 2434 1 0 0 20 0 1 0 338200792 24035328 5605 33554432000 134512640 136080129 4293252304 4293251376 134849989 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14652/statm: 5868 5605 176 383 0 5483 0
Current children cumulated CPU time (s) 1629.66
Current children cumulated vsize (KiB) 160016

[startup+1602.3 s]
/proc/loadavg: 2.10 2.11 2.09 4/181 14658
/proc/meminfo: memFree=28582824/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=1608.45 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 54730 410111 0 2 7691 1101 151798 255 20 0 1 0 338048998 139821056 6390 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6390 1180 1 0 5193 0
[pid=14652] ppid=14351 vsize=35296 CPUtime=84.33 cores=1,3,5,7
/proc/14652/stat : 14652 (clasp-1.3.3-x86) R 14351 14652 14652 0 -1 4202496 8632 0 0 0 8431 2 0 0 20 0 1 0 338200792 36143104 8542 33554432000 134512640 136080129 4293252304 4293251000 134601745 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14652/statm: 8824 8542 176 383 0 8439 0
Current children cumulated CPU time (s) 1692.78
Current children cumulated vsize (KiB) 171840

[startup+1662.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/181 14670
/proc/meminfo: memFree=28578856/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=1732.51 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 58449 431009 0 2 7979 1142 163867 263 20 0 1 0 338048998 139821056 6391 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6391 1180 1 0 5193 0
[pid=14670] ppid=14351 vsize=23468 CPUtime=23.51 cores=1,3,5,7
/proc/14670/stat : 14670 (clasp-1.3.3-x86) R 14351 14670 14670 0 -1 4202496 6201 0 0 0 2350 1 0 0 20 0 1 0 338212875 24031232 5604 33554432000 134512640 136080129 4289823088 4289822096 134716380 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 5867 5604 176 383 0 5482 0
Current children cumulated CPU time (s) 1756.02
Current children cumulated vsize (KiB) 160012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1704.2 s]
/proc/loadavg: 2.05 2.09 2.08 3/181 14939
/proc/meminfo: memFree=28261004/32873844 swapFree=7380/7380
[pid=14351] ppid=14349 vsize=136544 CPUtime=1734.69 cores=1,3,5,7
/proc/14351/stat : 14351 (python) S 14349 14351 11290 0 -1 4202496 58474 431009 0 2 8169 1170 163867 263 20 0 1 0 338048998 139821056 6391 33554432000 4194304 4196484 140734638594352 140734638586112 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14351/statm: 34136 6391 1180 1 0 5193 0
[pid=14670] ppid=14351 vsize=30144 CPUtime=65.4 cores=1,3,5,7
/proc/14670/stat : 14670 (clasp-1.3.3-x86) R 14351 14670 14670 0 -1 4202496 7844 0 0 0 6539 1 0 0 20 0 1 0 338212875 30867456 7238 33554432000 134512640 136080129 4289823088 4289822160 134849571 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 7536 7238 176 383 0 7151 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 166688

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 14351 and gives
#  childrusage.ru_utime.tv_sec=1720
#  childrusage.ru_utime.tv_usec=372463
#  childrusage.ru_stime.tv_sec=14
#  childrusage.ru_stime.tv_usec=342819
# CPU time returned by wait4() is 1734.72
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1704.21
CPU time (s): 1800.09
CPU user time (s): 1785.75
CPU system time (s): 14.34
CPU usage (%): 105.626
Max. virtual memory (cumulated for all children) (KiB): 2851684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1720.37
system time used= 14.3428
maximum resident set size= 516940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 489486
page faults= 2
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9466
involuntary context switches= 5267

runsolver used 3.61245 second user time and 10.3124 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 12:27:22
IDJOB=3739602
IDBENCH=73805
IDSOLVER=2323
FILE ID=node133/3739602-1338719242
RUNJOBID= node133-1338713154-11307
PBS_JOBID= 14636724
Free space on /tmp= 70456 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j1206_6-sat.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3739602-1338719242/watcher-3739602-1338719242 -o /tmp/evaluation-result-3739602-1338719242/solver-3739602-1338719242 -C 1800 -W 1900 -M 15500  solver HOME/instance-3739602-1338719242.opb 1994572239 

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

MD5SUM BENCH= 138289002292e7c474e0d36dbcddf060
RANDOM SEED=1994572239

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28632632 kB
Buffers:          450472 kB
Cached:          2835672 kB
SwapCached:          676 kB
Active:          1554852 kB
Inactive:        1783460 kB
Active(anon):      43784 kB
Inactive(anon):    10220 kB
Active(file):    1511068 kB
Inactive(file):  1773240 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             25292 kB
Writeback:             0 kB
AnonPages:         58680 kB
Mapped:            14508 kB
Shmem:                 0 kB
Slab:             761848 kB
SReclaimable:     202368 kB
SUnreclaim:       559480 kB
KernelStack:        1472 kB
PageTables:         4380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     168028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 70180 MiB
End job on node133 at 2012-06-03 12:55:48