Trace number 3742456

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.02 1719.81

General information on the benchmark

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

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.08 3/177 21661
/proc/meminfo: memFree=27010860/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/21661/stat : 21661 (python) D 21659 21661 15301 0 -1 4202496 759 0 0 0 0 0 0 0 20 0 1 0 339443372 15642624 527 33554432000 4194304 5683644 140734262823792 140734262809704 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/21661/statm: 3819 527 312 364 0 261 0

[startup+0.0196241 s]
/proc/loadavg: 2.01 2.05 2.08 3/177 21661
/proc/meminfo: memFree=27010860/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=15576 CPUtime=0 cores=1,3,5,7
/proc/21661/stat : 21661 (python) D 21659 21661 15301 0 -1 4202496 953 0 0 0 0 0 0 0 20 0 1 0 339443372 15949824 695 33554432000 4194304 5683644 140734262823792 140734262750552 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/21661/statm: 3894 695 334 364 0 336 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15576

[startup+0.100261 s]
/proc/loadavg: 2.01 2.05 2.08 3/177 21661
/proc/meminfo: memFree=27010860/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=18024 CPUtime=0.01 cores=1,3,5,7
/proc/21661/stat : 21661 (python) R 21659 21661 15301 0 -1 4202496 2300 0 0 0 1 0 0 0 20 0 1 0 339443372 18456576 793 33554432000 4194304 4196484 140733600900736 140733600830904 251052658580 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/21661/statm: 4506 795 376 1 0 441 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18024

[startup+0.300245 s]
/proc/loadavg: 2.01 2.05 2.08 3/177 21661
/proc/meminfo: memFree=27010860/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=57144 CPUtime=0.05 cores=1,3,5,7
/proc/21661/stat : 21661 (python) D 21659 21661 15301 0 -1 4202496 4151 0 0 0 4 1 0 0 20 0 1 0 339443372 58515456 2278 33554432000 4194304 4196484 140733600900736 140733600728440 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/21661/statm: 14286 2278 604 1 0 1624 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 57144

[startup+0.700128 s]
/proc/loadavg: 2.01 2.05 2.08 3/177 21661
/proc/meminfo: memFree=27010860/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=103800 CPUtime=0.22 cores=1,3,5,7
/proc/21661/stat : 21661 (python) D 21659 21661 15301 0 -1 4202496 7007 1014 0 0 17 5 0 0 20 0 1 0 339443372 106291200 4265 33554432000 4194304 4196484 140733600900736 140733600850648 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 25950 4265 1052 1 0 3236 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 103800

[startup+1.50024 s]
/proc/loadavg: 2.09 2.07 2.08 3/178 21666
/proc/meminfo: memFree=26990360/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=118120 CPUtime=0.42 cores=1,3,5,7
/proc/21661/stat : 21661 (python) R 21659 21661 15301 0 -1 4202496 9594 1014 0 0 29 13 0 0 20 0 1 0 339443372 120954880 5830 33554432000 4194304 4196484 140733600900736 140733600834344 251053031093 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 29530 5830 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 118120

[startup+3.10026 s]
/proc/loadavg: 2.09 2.07 2.08 3/179 21667
/proc/meminfo: memFree=26983408/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=134484 CPUtime=0.6 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 11229 1014 0 0 44 16 0 0 20 0 1 0 339443372 137711616 6346 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 33621 6346 1170 1 0 5193 0
[pid=21667] ppid=21661 vsize=7208 CPUtime=1.37 cores=1,3,5,7
/proc/21667/stat : 21667 (clasp-1.3.3-x86) R 21661 21667 21667 0 -1 4202496 1969 0 0 0 137 0 0 0 20 0 1 0 339443544 7380992 1553 33554432000 134512640 136080129 4288356672 4288355744 134849989 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21667/statm: 1802 1553 175 383 0 1417 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 141692
heavy processes:

[startup+6.30026 s]
/proc/loadavg: 2.08 2.07 2.08 3/179 21667
/proc/meminfo: memFree=26982252/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=134484 CPUtime=0.74 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 11238 1014 0 0 56 18 0 0 20 0 1 0 339443372 137711616 6346 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 33621 6346 1170 1 0 5193 0
[pid=21667] ppid=21661 vsize=8264 CPUtime=4.57 cores=1,3,5,7
/proc/21667/stat : 21667 (clasp-1.3.3-x86) R 21661 21667 21667 0 -1 4202496 2236 0 0 0 457 0 0 0 20 0 1 0 339443544 8462336 1820 33554432000 134512640 136080129 4288356672 4288355744 134849599 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21667/statm: 2066 1820 175 383 0 1681 0
Current children cumulated CPU time (s) 5.31
Current children cumulated vsize (KiB) 142748

[startup+12.7002 s]
/proc/loadavg: 2.08 2.07 2.08 3/180 21670
/proc/meminfo: memFree=26980112/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=11.59 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 12490 4414 0 0 86 21 1051 1 20 0 1 0 339443372 139821056 6368 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6368 1180 1 0 5193 0
Current children cumulated CPU time (s) 11.59
Current children cumulated vsize (KiB) 136544

[startup+25.5003 s]
/proc/loadavg: 2.06 2.06 2.08 3/180 21676
/proc/meminfo: memFree=26990720/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=12.18 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 12520 4414 0 0 138 28 1051 1 20 0 1 0 339443372 139821056 6368 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6368 1180 1 0 5193 0
[pid=21673] ppid=21661 vsize=9348 CPUtime=13.22 cores=1,3,5,7
/proc/21673/stat : 21673 (clasp-1.3.3-x86) R 21661 21673 21673 0 -1 4202496 2501 0 0 0 1322 0 0 0 20 0 1 0 339444599 9572352 2084 33554432000 134512640 136080129 4294281312 4294280304 134588804 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21673/statm: 2337 2084 175 383 0 1952 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 145892

[startup+51.1003 s]
/proc/loadavg: 2.04 2.06 2.08 3/180 21682
/proc/meminfo: memFree=26986684/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=13.32 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 12545 4414 0 0 234 46 1051 1 20 0 1 0 339443372 139821056 6368 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6368 1180 1 0 5193 0
[pid=21673] ppid=21661 vsize=11996 CPUtime=38.82 cores=1,3,5,7
/proc/21673/stat : 21673 (clasp-1.3.3-x86) R 21661 21673 21673 0 -1 4202496 3168 0 0 0 3882 0 0 0 20 0 1 0 339444599 12283904 2752 33554432000 134512640 136080129 4294281312 4294280388 134850025 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21673/statm: 2999 2752 175 383 0 2614 0
Current children cumulated CPU time (s) 52.14
Current children cumulated vsize (KiB) 148540

[startup+102.306 s]
/proc/loadavg: 2.02 2.05 2.07 3/179 21691
/proc/meminfo: memFree=26928876/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=66.23 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 13729 8906 0 0 456 80 6084 3 20 0 1 0 339443372 139821056 6373 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6373 1180 1 0 5193 0
[pid=21685] ppid=21661 vsize=73648 CPUtime=39.64 cores=1,3,5,7
/proc/21685/stat : 21685 (wbo1.4a) R 21661 21685 21685 0 -1 4202496 18508 0 0 0 3886 78 0 0 20 0 1 0 339449636 75415552 17926 33554432000 134512640 135751879 4289089424 4289087676 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/21685/statm: 18412 17926 139 303 0 18107 0
Current children cumulated CPU time (s) 105.87
Current children cumulated vsize (KiB) 210192

[startup+162.3 s]
/proc/loadavg: 2.08 2.05 2.07 3/179 21694
/proc/meminfo: memFree=26982548/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=120.41 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 14972 33320 0 0 691 115 11121 114 20 0 1 0 339443372 139821056 6375 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6375 1180 1 0 5193 0
[pid=21694] ppid=21661 vsize=13604 CPUtime=48.12 cores=1,3,5,7
/proc/21694/stat : 21694 (clasp-1.3.3-x86) R 21661 21694 21694 0 -1 4202496 3543 0 0 0 4812 0 0 0 20 0 1 0 339454788 13930496 3120 33554432000 134512640 136080129 4290049120 4290048192 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21694/statm: 3401 3120 175 383 0 3016 0
Current children cumulated CPU time (s) 168.53
Current children cumulated vsize (KiB) 150148

[startup+222.3 s]
/proc/loadavg: 2.06 2.05 2.07 3/179 21707
/proc/meminfo: memFree=26983060/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=223.45 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 16195 39185 0 0 943 155 21132 115 20 0 1 0 339443372 139821056 6375 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6375 1180 1 0 5193 0
[pid=21704] ppid=21661 vsize=20040 CPUtime=7.97 cores=1,3,5,7
/proc/21704/stat : 21704 (wbo1.4a) R 21661 21704 21704 0 -1 4202496 5094 0 0 0 781 16 0 0 20 0 1 0 339464803 20520960 4465 33554432000 134512640 135751879 4292846352 4292843968 134605053 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/21704/statm: 5010 4465 139 303 0 4705 0
Current children cumulated CPU time (s) 231.42
Current children cumulated vsize (KiB) 156584

[startup+282.3 s]
/proc/loadavg: 2.16 2.07 2.07 3/179 21707
/proc/meminfo: memFree=26866604/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=226.18 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 16233 39185 0 0 1179 192 21132 115 20 0 1 0 339443372 139821056 6375 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6375 1180 1 0 5193 0
[pid=21704] ppid=21661 vsize=129788 CPUtime=67.94 cores=1,3,5,7
/proc/21704/stat : 21704 (wbo1.4a) R 21661 21704 21704 0 -1 4202496 32562 0 0 0 6675 119 0 0 20 0 1 0 339464803 132902912 31930 33554432000 134512640 135751879 4292846352 4292843968 134605065 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/21704/statm: 32447 31930 139 303 0 32142 0
Current children cumulated CPU time (s) 294.12
Current children cumulated vsize (KiB) 266332

[startup+342.3 s]
/proc/loadavg: 2.06 2.06 2.07 3/179 21719
/proc/meminfo: memFree=26856428/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=330.58 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 17506 86624 0 0 1422 228 31154 254 20 0 1 0 339443372 139821056 6377 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6377 1180 1 0 5193 0
[pid=21710] ppid=21661 vsize=146480 CPUtime=26.29 cores=1,3,5,7
/proc/21710/stat : 21710 (wbo1.4b) R 21661 21710 21710 0 -1 4202496 36717 0 0 0 2623 6 0 0 20 0 1 0 339474971 149995520 36125 33554432000 134512640 135751879 4289889632 4289887024 134524619 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/21710/statm: 36620 36125 142 303 0 36315 0
Current children cumulated CPU time (s) 356.87
Current children cumulated vsize (KiB) 283024

[startup+402.301 s]
/proc/loadavg: 2.14 2.08 2.07 3/197 21740
/proc/meminfo: memFree=26831904/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=383.81 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 18746 139684 0 0 1663 265 36188 265 20 0 1 0 339443372 139821056 6377 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6377 1180 1 0 5193 0
[pid=21722] ppid=21661 vsize=2715136 CPUtime=36.81 cores=1,3,5,7
/proc/21722/stat : 21722 (java) S 21661 21722 21722 0 -1 4202496 11251 0 1 0 3676 5 0 0 20 0 19 0 339480019 2780299264 42552 33554432000 1073741824 1073778376 140735072410512 140735072401648 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21722/statm: 678784 42552 2256 9 0 669477 0

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

/proc/21898/statm: 11882 11606 175 383 0 11497 0
Current children cumulated CPU time (s) 1049.87
Current children cumulated vsize (KiB) 184072

[startup+1062.3 s]
/proc/loadavg: 2.05 2.10 2.09 3/179 21916
/proc/meminfo: memFree=26950956/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=860.99 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 40834 312430 0 2 4351 689 80652 407 20 0 1 0 339443372 139821056 6387 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6387 1180 1 0 5193 0
[pid=21898] ppid=21661 vsize=51168 CPUtime=251.53 cores=1,3,5,7
/proc/21898/stat : 21898 (clasp-1.3.3-x86) R 21661 21898 21898 0 -1 4202496 12951 0 0 0 25151 2 0 0 20 0 1 0 339524442 52396032 12522 33554432000 134512640 136080129 4289866816 4289865648 134716422 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21898/statm: 12792 12522 175 383 0 12407 0
Current children cumulated CPU time (s) 1112.52
Current children cumulated vsize (KiB) 187712

[startup+1122.3 s]
/proc/loadavg: 2.22 2.13 2.10 4/197 21956
/proc/meminfo: memFree=26874068/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=1164.04 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 42070 328020 0 2 4590 730 110673 411 20 0 1 0 339443372 139821056 6387 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6387 1180 1 0 5193 0
[pid=21935] ppid=21661 vsize=26356 CPUtime=11.26 cores=1,3,5,7
/proc/21935/stat : 21935 (bsolo_pb10) R 21661 21935 21935 0 -1 4202496 4929 0 0 0 1120 6 0 0 20 0 1 0 339554476 26988544 4103 33554432000 134512640 137138936 4292372512 4292370936 134606673 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/21935/statm: 6589 4103 192 642 0 5945 0
Current children cumulated CPU time (s) 1175.3
Current children cumulated vsize (KiB) 162900

[startup+1182.3 s]
/proc/loadavg: 2.08 2.10 2.09 4/179 21962
/proc/meminfo: memFree=26872232/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=1166.79 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 42099 328020 0 2 4828 767 110673 411 20 0 1 0 339443372 139821056 6387 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6387 1180 1 0 5193 0
[pid=21935] ppid=21661 vsize=109404 CPUtime=71.24 cores=1,3,5,7
/proc/21935/stat : 21935 (bsolo_pb10) R 21661 21935 21935 0 -1 4202496 25710 0 0 0 7090 34 0 0 20 0 1 0 339554476 112029696 24868 33554432000 134512640 137138936 4292372512 4292371440 134542516 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/21935/statm: 27351 24868 192 642 0 26707 0
Current children cumulated CPU time (s) 1238.03
Current children cumulated vsize (KiB) 245948

[startup+1242.3 s]
/proc/loadavg: 2.06 2.10 2.09 3/180 21983
/proc/meminfo: memFree=26985184/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=1281.03 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 44577 365723 0 2 5068 807 121775 453 20 0 1 0 339443372 139821056 6387 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6387 1180 1 0 5193 0
[pid=21983] ppid=21661 vsize=10516 CPUtime=19.75 cores=1,3,5,7
/proc/21983/stat : 21983 (clasp-1.3.3-x86) R 21661 21983 21983 0 -1 4202496 2776 0 0 0 1975 0 0 0 20 0 1 0 339565626 10768384 2352 33554432000 134512640 136080129 4287698848 4287697920 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21983/statm: 2629 2352 175 383 0 2244 0
Current children cumulated CPU time (s) 1300.78
Current children cumulated vsize (KiB) 147060

[startup+1302.3 s]
/proc/loadavg: 2.11 2.11 2.09 4/179 21983
/proc/meminfo: memFree=26961996/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=1283.72 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 44601 365723 0 2 5301 843 121775 453 20 0 1 0 339443372 139821056 6387 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6387 1180 1 0 5193 0
[pid=21983] ppid=21661 vsize=19364 CPUtime=79.74 cores=1,3,5,7
/proc/21983/stat : 21983 (clasp-1.3.3-x86) R 21661 21983 21983 0 -1 4202496 5014 0 0 0 7974 0 0 0 20 0 1 0 339565626 19828736 4588 33554432000 134512640 136080129 4287698848 4287697920 134849659 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21983/statm: 4841 4588 175 383 0 4456 0
Current children cumulated CPU time (s) 1363.46
Current children cumulated vsize (KiB) 155908

[startup+1362.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/179 21992
/proc/meminfo: memFree=26964740/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=1407.25 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 48311 380233 0 2 5546 883 133839 457 20 0 1 0 339443372 139821056 6388 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6388 1180 1 0 5193 0
[pid=21992] ppid=21661 vsize=10508 CPUtime=19.02 cores=1,3,5,7
/proc/21992/stat : 21992 (clasp-1.3.3-x86) R 21661 21992 21992 0 -1 4202496 2779 0 0 0 1902 0 0 0 20 0 1 0 339577699 10760192 2353 33554432000 134512640 136080129 4291120656 4291119664 134842470 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21992/statm: 2627 2353 175 383 0 2242 0
Current children cumulated CPU time (s) 1426.27
Current children cumulated vsize (KiB) 147052

[startup+1422.31 s]
/proc/loadavg: 2.13 2.12 2.09 3/179 21999
/proc/meminfo: memFree=26961524/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=1470.4 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 50793 389621 0 2 5788 919 139874 459 20 0 1 0 339443372 139821056 6389 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6389 1180 1 0 5193 0
[pid=21999] ppid=21661 vsize=10164 CPUtime=18.62 cores=1,3,5,7
/proc/21999/stat : 21999 (clasp-1.3.3-x86) R 21661 21999 21999 0 -1 4202496 2712 0 0 0 1862 0 0 0 20 0 1 0 339583739 10407936 2285 33554432000 134512640 136080129 4288951920 4288950992 134849100 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21999/statm: 2541 2285 175 383 0 2156 0
Current children cumulated CPU time (s) 1489.02
Current children cumulated vsize (KiB) 146708

[startup+1482.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/179 21999
/proc/meminfo: memFree=26935016/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=1473.09 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 50819 389621 0 2 6022 954 139874 459 20 0 1 0 339443372 139821056 6389 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6389 1180 1 0 5193 0
[pid=21999] ppid=21661 vsize=22852 CPUtime=78.6 cores=1,3,5,7
/proc/21999/stat : 21999 (clasp-1.3.3-x86) R 21661 21999 21999 0 -1 4202496 5882 0 0 0 7859 1 0 0 20 0 1 0 339583739 23400448 5453 33554432000 134512640 136080129 4288951920 4288950912 134588745 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21999/statm: 5713 5453 175 383 0 5328 0
Current children cumulated CPU time (s) 1551.69
Current children cumulated vsize (KiB) 159396

[startup+1542.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/179 22011
/proc/meminfo: memFree=26947976/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=1596.1 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 54516 403556 0 2 6266 996 151885 463 20 0 1 0 339443372 139821056 6389 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6389 1180 1 0 5193 0
[pid=22011] ppid=21661 vsize=10412 CPUtime=18.4 cores=1,3,5,7
/proc/22011/stat : 22011 (clasp-1.3.3-x86) R 21661 22011 22011 0 -1 4202496 2759 0 0 0 1840 0 0 0 20 0 1 0 339595761 10661888 2333 33554432000 134512640 136080129 4294206240 4294205312 134849100 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/22011/statm: 2603 2333 175 383 0 2218 0
Current children cumulated CPU time (s) 1614.5
Current children cumulated vsize (KiB) 146956

[startup+1602.3 s]
/proc/loadavg: 2.01 2.07 2.08 3/178 22011
/proc/meminfo: memFree=26852080/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=1598.77 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 54540 403556 0 2 6497 1032 151885 463 20 0 1 0 339443372 139821056 6389 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6389 1180 1 0 5193 0
[pid=22011] ppid=21661 vsize=24848 CPUtime=78.38 cores=1,3,5,7
/proc/22011/stat : 22011 (clasp-1.3.3-x86) R 21661 22011 22011 0 -1 4202496 6389 0 0 0 7838 0 0 0 20 0 1 0 339595761 25444352 5963 33554432000 134512640 136080129 4294206240 4294205316 134850025 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/22011/statm: 6212 5963 175 383 0 5827 0
Current children cumulated CPU time (s) 1677.15
Current children cumulated vsize (KiB) 161392

[startup+1662.3 s]
/proc/loadavg: 2.16 2.10 2.09 3/179 22027
/proc/meminfo: memFree=26980256/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=1722.8 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 58250 417773 0 2 6740 1072 164001 467 20 0 1 0 339443372 139821056 6391 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6391 1180 1 0 5193 0
[pid=22026] ppid=21661 vsize=10304 CPUtime=17.14 cores=1,3,5,7
/proc/22026/stat : 22026 (clasp-1.3.3-x86) R 21661 22026 22026 0 -1 4202496 2732 0 0 0 1714 0 0 0 20 0 1 0 339607886 10551296 2308 33554432000 134512640 136080129 4293851936 4293850896 134808387 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/22026/statm: 2576 2308 175 383 0 2191 0
Current children cumulated CPU time (s) 1739.94
Current children cumulated vsize (KiB) 146848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1719.8 s]
/proc/loadavg: 2.14 2.10 2.09 3/179 22028
/proc/meminfo: memFree=26953780/32873648 swapFree=7368/7368
[pid=21661] ppid=21659 vsize=136544 CPUtime=1725.38 cores=1,3,5,7
/proc/21661/stat : 21661 (python) S 21659 21661 15301 0 -1 4202496 58277 417773 0 2 6964 1106 164001 467 20 0 1 0 339443372 139821056 6391 33554432000 4194304 4196484 140733600900736 140733600892496 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/21661/statm: 34136 6391 1180 1 0 5193 0
[pid=22026] ppid=21661 vsize=22588 CPUtime=74.64 cores=1,3,5,7
/proc/22026/stat : 22026 (clasp-1.3.3-x86) R 21661 22026 22026 0 -1 4202496 5802 0 0 0 7463 1 0 0 20 0 1 0 339607886 23130112 5378 33554432000 134512640 136080129 4293851936 4293851008 134850019 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/22026/statm: 5647 5378 175 383 0 5262 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 159132

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 21661 and gives
#  childrusage.ru_utime.tv_sec=1709
#  childrusage.ru_utime.tv_usec=666091
#  childrusage.ru_stime.tv_sec=15
#  childrusage.ru_stime.tv_usec=742606
# CPU time returned by wait4() is 1725.41
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1719.81
CPU time (s): 1800.02
CPU user time (s): 1784.28
CPU system time (s): 15.74
CPU usage (%): 104.664
Max. virtual memory (cumulated for all children) (KiB): 2851684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1709.67
system time used= 15.7426
maximum resident set size= 233696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 476050
page faults= 2
swaps= 0
block input operations= 0
block output operations= 256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11229
involuntary context switches= 2533

runsolver used 3.40048 second user time and 9.11561 second system time

The end

Launcher Data

Begin job on node149 at 2012-06-03 16:19:52
IDJOB=3742456
IDBENCH=90187
IDSOLVER=2323
FILE ID=node149/3742456-1338733192
RUNJOBID= node149-1338713283-15318
PBS_JOBID= 14636730
Free space on /tmp= 71032 MiB

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

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

MD5SUM BENCH= 4be3ef5c0a6baf670611a9fd5e5deae8
RANDOM SEED=194837405

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
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	: 5438.55
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.145
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.145
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.145
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	: 5438.55
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.145
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.145
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:       32873648 kB
MemFree:        27010876 kB
Buffers:          770992 kB
Cached:          4134056 kB
SwapCached:         2468 kB
Active:          2080580 kB
Inactive:        2883348 kB
Active(anon):      42316 kB
Inactive(anon):     9368 kB
Active(file):    2038264 kB
Inactive(file):  2873980 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:             21884 kB
Writeback:             0 kB
AnonPages:         54460 kB
Mapped:            18216 kB
Shmem:                96 kB
Slab:             760980 kB
SReclaimable:     203644 kB
SUnreclaim:       557336 kB
KernelStack:        1464 kB
PageTables:         4064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     165016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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= 71012 MiB
End job on node149 at 2012-06-03 16:48:35