Trace number 3742391

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.1 1720.91

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K163.opb
MD5SUM5c9e224cdd9eef3594ee47236fa33798
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 variables19397
Total number of constraints19725
Number of constraints which are clauses19562
Number of constraints which are cardinality constraints (but not clauses)163
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint163
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 164
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.01 2.05 2.05 2/175 27176
/proc/meminfo: memFree=26748848/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/27176/stat : 27176 (python) D 27174 27176 21196 0 -1 4202496 759 0 0 0 0 0 0 0 20 0 1 0 339411988 15642624 527 33554432000 4194304 5683644 140734336931376 140734336917288 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/27176/statm: 3819 527 312 364 0 261 0

[startup+0.0642 s]
/proc/loadavg: 2.01 2.05 2.05 2/175 27176
/proc/meminfo: memFree=26748848/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=16592 CPUtime=0.01 cores=1,3,5,7
/proc/27176/stat : 27176 (python) D 27174 27176 21196 0 -1 4202496 1330 0 0 0 1 0 0 0 20 0 1 0 339411988 16990208 1002 33554432000 4194304 5683644 140734336931376 140734336895416 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/27176/statm: 4148 1002 422 364 0 590 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16592

[startup+0.100226 s]
/proc/loadavg: 2.01 2.05 2.05 2/175 27176
/proc/meminfo: memFree=26748848/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=18020 CPUtime=0.01 cores=1,3,5,7
/proc/27176/stat : 27176 (python) R 27174 27176 21196 0 -1 4202496 2317 0 0 0 1 0 0 0 20 0 1 0 339411988 18452480 809 33554432000 4194304 4196484 140736692501616 140736692431784 227512127380 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/27176/statm: 4505 822 388 1 0 440 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18020

[startup+0.300302 s]
/proc/loadavg: 2.01 2.05 2.05 2/175 27176
/proc/meminfo: memFree=26748848/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=57140 CPUtime=0.07 cores=1,3,5,7
/proc/27176/stat : 27176 (python) D 27174 27176 21196 0 -1 4202496 4151 0 0 0 4 3 0 0 20 0 1 0 339411988 58511360 2278 33554432000 4194304 4196484 140736692501616 140736692339032 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/27176/statm: 14285 2278 604 1 0 1623 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 57140

[startup+0.70018 s]
/proc/loadavg: 2.01 2.05 2.05 2/175 27176
/proc/meminfo: memFree=26748848/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=103796 CPUtime=0.27 cores=1,3,5,7
/proc/27176/stat : 27176 (python) R 27174 27176 21196 0 -1 4202496 6861 1016 0 0 16 11 0 0 20 0 1 0 339411988 106287104 4265 33554432000 4194304 4196484 140736692501616 140736692467576 140359142983922 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 25949 4265 1052 1 0 3235 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 103796

[startup+1.50024 s]
/proc/loadavg: 2.01 2.05 2.05 2/176 27181
/proc/meminfo: memFree=26730340/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=118116 CPUtime=0.46 cores=1,3,5,7
/proc/27176/stat : 27176 (python) R 27174 27176 21196 0 -1 4202496 9595 1016 0 0 27 19 0 0 20 0 1 0 339411988 120950784 5830 33554432000 4194304 4196484 140736692501616 140736692435224 227512501136 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 29529 5830 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 118116

[startup+3.10024 s]
/proc/loadavg: 2.01 2.05 2.05 3/177 27182
/proc/meminfo: memFree=26721096/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=134480 CPUtime=0.63 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 11218 1016 0 0 41 22 0 0 20 0 1 0 339411988 137707520 6347 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 33620 6347 1170 1 0 5192 0
[pid=27182] ppid=27176 vsize=7652 CPUtime=1.39 cores=1,3,5,7
/proc/27182/stat : 27182 (clasp-1.3.3-x86) R 27176 27182 27182 0 -1 4202496 2053 0 0 0 139 0 0 0 20 0 1 0 339412157 7835648 1635 33554432000 134512640 136080129 4287103136 4287102208 134849794 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27182/statm: 1913 1635 175 383 0 1528 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 142132
heavy processes:

[startup+6.30022 s]
/proc/loadavg: 2.08 2.06 2.05 3/177 27182
/proc/meminfo: memFree=26719980/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=134480 CPUtime=0.77 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 11227 1016 0 0 54 23 0 0 20 0 1 0 339411988 137707520 6347 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 33620 6347 1170 1 0 5192 0
[pid=27182] ppid=27176 vsize=8444 CPUtime=4.59 cores=1,3,5,7
/proc/27182/stat : 27182 (clasp-1.3.3-x86) R 27176 27182 27182 0 -1 4202496 2279 0 0 0 459 0 0 0 20 0 1 0 339412157 8646656 1861 33554432000 134512640 136080129 4287103136 4287102144 134716425 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27182/statm: 2111 1861 175 383 0 1726 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 142924

[startup+12.7001 s]
/proc/loadavg: 2.08 2.06 2.05 3/177 27182
/proc/meminfo: memFree=26717424/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=11.61 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 12472 4494 0 0 82 27 1051 1 20 0 1 0 339411988 139816960 6368 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6368 1180 1 0 5192 0
Current children cumulated CPU time (s) 11.61
Current children cumulated vsize (KiB) 136540

[startup+25.5003 s]
/proc/loadavg: 2.06 2.06 2.05 3/177 27185
/proc/meminfo: memFree=26715908/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=12.2 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 12503 4494 0 0 133 35 1051 1 20 0 1 0 339411988 139816960 6368 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6368 1180 1 0 5192 0
[pid=27185] ppid=27176 vsize=9924 CPUtime=13.26 cores=1,3,5,7
/proc/27185/stat : 27185 (clasp-1.3.3-x86) R 27176 27185 27185 0 -1 4202496 2646 0 0 0 1326 0 0 0 20 0 1 0 339413211 10162176 2224 33554432000 134512640 136080129 4291005088 4291004080 134588826 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27185/statm: 2481 2224 175 383 0 2096 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 146464

[startup+51.1002 s]
/proc/loadavg: 2.19 2.08 2.06 3/177 27186
/proc/meminfo: memFree=26707840/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=13.32 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 12533 4494 0 0 230 50 1051 1 20 0 1 0 339411988 139816960 6368 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6368 1180 1 0 5192 0
[pid=27185] ppid=27176 vsize=14676 CPUtime=38.85 cores=1,3,5,7
/proc/27185/stat : 27185 (clasp-1.3.3-x86) R 27176 27185 27185 0 -1 4202496 3817 0 0 0 3885 0 0 0 20 0 1 0 339413211 15028224 3392 33554432000 134512640 136080129 4291005088 4291004176 134622925 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27185/statm: 3669 3392 175 383 0 3284 0
Current children cumulated CPU time (s) 52.17
Current children cumulated vsize (KiB) 151216

[startup+102.3 s]
/proc/loadavg: 2.08 2.07 2.05 3/177 27192
/proc/meminfo: memFree=26655092/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=66.15 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 13714 9246 0 0 450 83 6080 2 20 0 1 0 339411988 139816960 6373 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6373 1180 1 0 5192 0
[pid=27189] ppid=27176 vsize=74268 CPUtime=39.71 cores=1,3,5,7
/proc/27189/stat : 27189 (wbo1.4a) R 27176 27189 27189 0 -1 4202496 18674 0 0 0 3914 57 0 0 20 0 1 0 339418243 76050432 18044 33554432000 134512640 135751879 4289778528 4289776780 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27189/statm: 18567 18044 139 303 0 18262 0
Current children cumulated CPU time (s) 105.86
Current children cumulated vsize (KiB) 210808

[startup+162.3 s]
/proc/loadavg: 2.06 2.07 2.05 3/177 27201
/proc/meminfo: memFree=26713200/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=119.95 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 14959 34320 0 0 683 118 11119 75 20 0 1 0 339411988 139816960 6374 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6374 1180 1 0 5192 0
[pid=27198] ppid=27176 vsize=13644 CPUtime=48.56 cores=1,3,5,7
/proc/27198/stat : 27198 (clasp-1.3.3-x86) R 27176 27198 27198 0 -1 4202496 3559 0 0 0 4856 0 0 0 20 0 1 0 339423360 13971456 3131 33554432000 134512640 136080129 4288554624 4288553696 134849031 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27198/statm: 3411 3131 175 383 0 3026 0
Current children cumulated CPU time (s) 168.51
Current children cumulated vsize (KiB) 150184

[startup+222.306 s]
/proc/loadavg: 2.28 2.12 2.07 3/177 27251
/proc/meminfo: memFree=26707592/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=222.88 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 16202 39601 0 0 935 157 21119 77 20 0 1 0 339411988 139816960 6374 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6374 1180 1 0 5192 0
[pid=27251] ppid=27176 vsize=21712 CPUtime=8.53 cores=1,3,5,7
/proc/27251/stat : 27251 (wbo1.4a) R 27176 27251 27251 0 -1 4202496 5518 0 0 0 830 23 0 0 20 0 1 0 339433365 22233088 4877 33554432000 134512640 135751879 4286991536 4286989232 134606393 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27251/statm: 5428 4877 139 303 0 5123 0
Current children cumulated CPU time (s) 231.41
Current children cumulated vsize (KiB) 158252

[startup+282.3 s]
/proc/loadavg: 2.19 2.12 2.07 3/177 27254
/proc/meminfo: memFree=26567544/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=225.59 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 16246 39601 0 0 1173 190 21119 77 20 0 1 0 339411988 139816960 6375 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6375 1180 1 0 5192 0
[pid=27251] ppid=27176 vsize=128252 CPUtime=68.49 cores=1,3,5,7
/proc/27251/stat : 27251 (wbo1.4a) R 27176 27251 27251 0 -1 4202496 32198 0 0 0 6742 107 0 0 20 0 1 0 339433365 131330048 31551 33554432000 134512640 135751879 4286991536 4286989788 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27251/statm: 32063 31551 139 303 0 31758 0
Current children cumulated CPU time (s) 294.08
Current children cumulated vsize (KiB) 264792

[startup+342.3 s]
/proc/loadavg: 2.10 2.11 2.07 3/178 27264
/proc/meminfo: memFree=26580012/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=330.4 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 17463 86827 0 0 1415 227 31152 246 20 0 1 0 339411988 139816960 6376 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6376 1180 1 0 5192 0
[pid=27260] ppid=27176 vsize=146100 CPUtime=26.42 cores=1,3,5,7
/proc/27260/stat : 27260 (wbo1.4b) R 27176 27260 27260 0 -1 4202496 36624 0 0 0 2635 7 0 0 20 0 1 0 339443573 149606400 36014 33554432000 134512640 135751879 4294249392 4294247536 134524028 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27260/statm: 36525 36014 142 303 0 36220 0
Current children cumulated CPU time (s) 356.82
Current children cumulated vsize (KiB) 282640

[startup+402.301 s]
/proc/loadavg: 2.10 2.10 2.07 3/195 27285
/proc/meminfo: memFree=26544668/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=383.57 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 18685 140992 0 0 1654 262 36182 259 20 0 1 0 339411988 139816960 6376 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6376 1180 1 0 5192 0
[pid=27267] ppid=27176 vsize=2715136 CPUtime=36.95 cores=1,3,5,7
/proc/27267/stat : 27267 (java) S 27176 27267 27267 0 -1 4202496 10635 0 1 0 3691 4 0 0 20 0 19 0 339448620 2780299264 43666 33554432000 1073741824 1073778376 140733441987152 140733441978288 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27267/statm: 678784 43666 2256 9 0 669477 0

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

/proc/27176/statm: 34135 6386 1180 1 0 5192 0
[pid=27391] ppid=27176 vsize=49620 CPUtime=248.61 cores=1,3,5,7
/proc/27391/stat : 27391 (clasp-1.3.3-x86) R 27176 27391 27391 0 -1 4202496 12567 0 0 0 24858 3 0 0 20 0 1 0 339493351 50810880 12127 33554432000 134512640 136080129 4289610896 4289609888 134588768 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27391/statm: 12405 12127 175 383 0 12020 0
Current children cumulated CPU time (s) 1111.73
Current children cumulated vsize (KiB) 186160

[startup+1122.3 s]
/proc/loadavg: 2.12 2.09 2.08 3/177 27464
/proc/meminfo: memFree=26711984/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=1166.32 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 42141 330097 0 2 4568 701 110978 385 20 0 1 0 339411988 139816960 6387 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6387 1180 1 0 5192 0
[pid=27464] ppid=27176 vsize=18188 CPUtime=8.1 cores=1,3,5,7
/proc/27464/stat : 27464 (bsolo_pb10) R 27176 27464 27464 0 -1 4202496 2683 0 0 0 810 0 0 0 20 0 1 0 339523406 18624512 2041 33554432000 134512640 137138936 4293966528 4293732428 136570369 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/27464/statm: 4547 2041 184 642 0 3903 0
Current children cumulated CPU time (s) 1174.42
Current children cumulated vsize (KiB) 154728

[startup+1182.3 s]
/proc/loadavg: 2.18 2.10 2.08 3/177 27464
/proc/meminfo: memFree=26605508/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=1169.11 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 42168 330097 0 2 4811 737 110978 385 20 0 1 0 339411988 139816960 6387 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6387 1180 1 0 5192 0
[pid=27464] ppid=27176 vsize=121484 CPUtime=68.06 cores=1,3,5,7
/proc/27464/stat : 27464 (bsolo_pb10) R 27176 27464 27464 0 -1 4202496 28766 0 0 0 6777 29 0 0 20 0 1 0 339523406 124399616 27888 33554432000 134512640 137138936 4293966528 4293965120 134539684 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/27464/statm: 30371 27888 192 642 0 29727 0
Current children cumulated CPU time (s) 1237.17
Current children cumulated vsize (KiB) 258024

[startup+1242.3 s]
/proc/loadavg: 2.15 2.10 2.08 3/177 27470
/proc/meminfo: memFree=26676908/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=1282.83 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 44635 371127 0 2 5050 774 122038 421 20 0 1 0 339411988 139816960 6387 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6387 1180 1 0 5192 0
[pid=27470] ppid=27176 vsize=10424 CPUtime=17.05 cores=1,3,5,7
/proc/27470/stat : 27470 (clasp-1.3.3-x86) R 27176 27470 27470 0 -1 4202496 2769 0 0 0 1705 0 0 0 20 0 1 0 339534511 10674176 2341 33554432000 134512640 136080129 4292657968 4292657040 134849918 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27470/statm: 2606 2341 175 383 0 2221 0
Current children cumulated CPU time (s) 1299.88
Current children cumulated vsize (KiB) 146964

[startup+1302.3 s]
/proc/loadavg: 2.15 2.11 2.08 3/177 27471
/proc/meminfo: memFree=26669492/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=1285.5 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 44660 371127 0 2 5282 809 122038 421 20 0 1 0 339411988 139816960 6387 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6387 1180 1 0 5192 0
[pid=27470] ppid=27176 vsize=16144 CPUtime=77.05 cores=1,3,5,7
/proc/27470/stat : 27470 (clasp-1.3.3-x86) R 27176 27470 27470 0 -1 4202496 4199 0 0 0 7704 1 0 0 20 0 1 0 339534511 16531456 3771 33554432000 134512640 136080129 4292657968 4292656960 134588592 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27470/statm: 4036 3771 175 383 0 3651 0
Current children cumulated CPU time (s) 1362.55
Current children cumulated vsize (KiB) 152684

[startup+1362.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/177 27483
/proc/meminfo: memFree=26652976/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=1409.41 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 48398 384040 0 2 5526 844 134146 425 20 0 1 0 339411988 139816960 6388 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6388 1180 1 0 5192 0
[pid=27483] ppid=27176 vsize=10292 CPUtime=15.89 cores=1,3,5,7
/proc/27483/stat : 27483 (clasp-1.3.3-x86) R 27176 27483 27483 0 -1 4202496 2733 0 0 0 1589 0 0 0 20 0 1 0 339546628 10539008 2301 33554432000 134512640 136080129 4291359312 4291358304 134588772 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27483/statm: 2573 2301 175 383 0 2188 0
Current children cumulated CPU time (s) 1425.3
Current children cumulated vsize (KiB) 146832

[startup+1422.3 s]
/proc/loadavg: 2.17 2.12 2.09 3/177 27495
/proc/meminfo: memFree=26718860/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=1472.97 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 50922 391974 0 2 5765 878 140227 427 20 0 1 0 339411988 139816960 6389 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6389 1180 1 0 5192 0
[pid=27489] ppid=27176 vsize=9896 CPUtime=15.01 cores=1,3,5,7
/proc/27489/stat : 27489 (clasp-1.3.3-x86) R 27176 27489 27489 0 -1 4202496 2641 0 0 0 1501 0 0 0 20 0 1 0 339552715 10133504 2214 33554432000 134512640 136080129 4290826944 4290826016 134849910 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27489/statm: 2474 2214 175 383 0 2089 0
Current children cumulated CPU time (s) 1487.98
Current children cumulated vsize (KiB) 146436

[startup+1482.3 s]
/proc/loadavg: 2.15 2.13 2.09 4/177 27495
/proc/meminfo: memFree=26699784/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=1475.63 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 50949 391974 0 2 5994 915 140227 427 20 0 1 0 339411988 139816960 6389 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6389 1180 1 0 5192 0
[pid=27489] ppid=27176 vsize=22852 CPUtime=75 cores=1,3,5,7
/proc/27489/stat : 27489 (clasp-1.3.3-x86) R 27176 27489 27489 0 -1 4202496 5868 0 0 0 7499 1 0 0 20 0 1 0 339552715 23400448 5439 33554432000 134512640 136080129 4290826944 4290826016 134850002 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27489/statm: 5713 5439 175 383 0 5328 0
Current children cumulated CPU time (s) 1550.63
Current children cumulated vsize (KiB) 159392

[startup+1542.31 s]
/proc/loadavg: 2.12 2.12 2.09 3/178 27513
/proc/meminfo: memFree=26715788/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=1599.52 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 54685 405715 0 2 6237 951 152332 432 20 0 1 0 339411988 139816960 6389 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6389 1180 1 0 5192 0
[pid=27507] ppid=27176 vsize=9768 CPUtime=13.86 cores=1,3,5,7
/proc/27507/stat : 27507 (clasp-1.3.3-x86) R 27176 27507 27507 0 -1 4202496 2609 0 0 0 1386 0 0 0 20 0 1 0 339564831 10002432 2180 33554432000 134512640 136080129 4290452048 4290451120 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27507/statm: 2442 2180 175 383 0 2057 0
Current children cumulated CPU time (s) 1613.38
Current children cumulated vsize (KiB) 146308

[startup+1602.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/177 27520
/proc/meminfo: memFree=26712064/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=1602.16 cores=1,3,5,7
/proc/27176/stat : 27176 (python) R 27174 27176 21196 0 -1 4202496 54719 405715 0 2 6466 986 152332 432 20 0 1 0 339411988 139816960 6389 33554432000 4194304 4196484 140736692501616 140736692493376 140359142721748 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6389 1180 1 0 5192 0
[pid=27507] ppid=27176 vsize=14652 CPUtime=73.84 cores=1,3,5,7
/proc/27507/stat : 27507 (clasp-1.3.3-x86) R 27176 27507 27507 0 -1 4202496 3829 0 0 0 7384 0 0 0 20 0 1 0 339564831 15003648 3398 33554432000 134512640 136080129 4290452048 4290451120 134849501 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27507/statm: 3663 3398 175 383 0 3278 0
Current children cumulated CPU time (s) 1676
Current children cumulated vsize (KiB) 151192

[startup+1662.3 s]
/proc/loadavg: 2.14 2.13 2.09 3/177 27532
/proc/meminfo: memFree=26709652/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=1726.08 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 58468 420472 0 2 6714 1020 164438 436 20 0 1 0 339411988 139816960 6391 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6391 1180 1 0 5192 0
[pid=27532] ppid=27176 vsize=9496 CPUtime=12.7 cores=1,3,5,7
/proc/27532/stat : 27532 (clasp-1.3.3-x86) R 27176 27532 27532 0 -1 4202496 2537 0 0 0 1270 0 0 0 20 0 1 0 339576946 9723904 2107 33554432000 134512640 136080129 4290152320 4290151392 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27532/statm: 2374 2107 175 383 0 1989 0
Current children cumulated CPU time (s) 1738.78
Current children cumulated vsize (KiB) 146036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1720.9 s]
/proc/loadavg: 2.13 2.13 2.09 3/177 27538
/proc/meminfo: memFree=26711960/32873624 swapFree=7112/7112
[pid=27176] ppid=27174 vsize=136540 CPUtime=1728.7 cores=1,3,5,7
/proc/27176/stat : 27176 (python) S 27174 27176 21196 0 -1 4202496 58493 420472 0 2 6946 1050 164438 436 20 0 1 0 339411988 139816960 6391 33554432000 4194304 4196484 140736692501616 140736692493376 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27176/statm: 34135 6391 1180 1 0 5192 0
[pid=27532] ppid=27176 vsize=15172 CPUtime=71.29 cores=1,3,5,7
/proc/27532/stat : 27532 (clasp-1.3.3-x86) R 27176 27532 27532 0 -1 4202496 3955 0 0 0 7129 0 0 0 20 0 1 0 339576946 15536128 3522 33554432000 134512640 136080129 4290152320 4290151480 134856211 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27532/statm: 3793 3522 175 383 0 3408 0
Current children cumulated CPU time (s) 1799.99
Current children cumulated vsize (KiB) 151712

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 27176 and gives
#  childrusage.ru_utime.tv_sec=1713
#  childrusage.ru_utime.tv_usec=854454
#  childrusage.ru_stime.tv_sec=14
#  childrusage.ru_stime.tv_usec=871739
# CPU time returned by wait4() is 1728.73
# while last known CPU time is 1799.99
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.109985
#  lost CPU user time (s): 0.149994
#  lost CPU system time (s): -0.04

Real time (s): 1720.91
CPU time (s): 1800.1
CPU user time (s): 1785.28
CPU system time (s): 14.82
CPU usage (%): 104.601
Max. virtual memory (cumulated for all children) (KiB): 2851680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1713.85
system time used= 14.8717
maximum resident set size= 232008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 478965
page faults= 2
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11215
involuntary context switches= 2571

runsolver used 3.48147 second user time and 9.01263 second system time

The end

Launcher Data 

Begin job on node121 at 2012-06-03 16:14:24
IDJOB=3742391
IDBENCH=90172
IDSOLVER=2323
FILE ID=node121/3742391-1338732864
RUNJOBID= node121-1338714575-21213
PBS_JOBID= 14636757
Free space on /tmp= 71232 MiB

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

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

MD5SUM BENCH= 5c9e224cdd9eef3594ee47236fa33798
RANDOM SEED=617076928

node121.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		: 2667.042
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	: 5334.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		: 2667.042
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		: 2667.042
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		: 2667.042
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		: 2667.042
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		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
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	: 5438.55
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		: 2667.042
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:       32873624 kB
MemFree:        26749864 kB
Buffers:          655764 kB
Cached:          4543476 kB
SwapCached:            0 kB
Active:          1935900 kB
Inactive:        3306636 kB
Active(anon):      31312 kB
Inactive(anon):    10760 kB
Active(file):    1904588 kB
Inactive(file):  3295876 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             21936 kB
Writeback:             0 kB
AnonPages:         46704 kB
Mapped:            18188 kB
Shmem:               200 kB
Slab:             745164 kB
SReclaimable:     188764 kB
SUnreclaim:       556400 kB
KernelStack:        1432 kB
PageTables:         4532 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     143680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71212 MiB
End job on node121 at 2012-06-03 16:43:08