Trace number 3742482

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.06 1717.02

General information on the benchmark

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

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.03 2.06 2.07 3/195 21778
/proc/meminfo: memFree=26854744/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/21778/stat : 21778 (python) D 21776 21778 15301 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 339484653 15642624 527 33554432000 4194304 5683644 140733375994064 140733375979976 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/21778/statm: 3819 527 312 364 0 261 0

[startup+0.024038 s]
/proc/loadavg: 2.03 2.06 2.07 3/195 21778
/proc/meminfo: memFree=26854744/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=15576 CPUtime=0 cores=0,2,4,6
/proc/21778/stat : 21778 (python) R 21776 21778 15301 0 -1 4202496 980 0 0 0 0 0 0 0 20 0 1 0 339484653 15949824 719 33554432000 4194304 5683644 140733375994064 140733375952520 251053073335 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/21778/statm: 3894 719 347 364 0 336 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15576

[startup+0.100142 s]
/proc/loadavg: 2.03 2.06 2.07 3/195 21778
/proc/meminfo: memFree=26854744/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=17888 CPUtime=0.01 cores=0,2,4,6
/proc/21778/stat : 21778 (python) R 21776 21778 15301 0 -1 4202496 2272 0 0 0 1 0 0 0 20 0 1 0 339484653 18317312 767 33554432000 4194304 4196484 140736101805440 140736101749544 251053345190 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/21778/statm: 4472 767 367 1 0 407 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17888

[startup+0.300127 s]
/proc/loadavg: 2.03 2.06 2.07 3/195 21778
/proc/meminfo: memFree=26854744/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=57140 CPUtime=0.06 cores=0,2,4,6
/proc/21778/stat : 21778 (python) R 21776 21778 15301 0 -1 4202496 4079 0 0 0 4 2 0 0 20 0 1 0 339484653 58511360 2229 33554432000 4194304 4196484 140736101805440 140736101633144 251053032336 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/21778/statm: 14285 2229 603 1 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 57140

[startup+0.700188 s]
/proc/loadavg: 2.03 2.06 2.07 3/195 21778
/proc/meminfo: memFree=26854744/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=101564 CPUtime=0.22 cores=0,2,4,6
/proc/21778/stat : 21778 (python) R 21776 21778 15301 0 -1 4202496 6461 0 0 0 14 8 0 0 20 0 1 0 339484653 104001536 4245 33554432000 4194304 4196484 140736101805440 140736101771400 251053032832 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 25391 4246 1049 1 0 3193 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 101564

[startup+1.50011 s]
/proc/loadavg: 2.03 2.06 2.07 2/196 21783
/proc/meminfo: memFree=26835956/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=118116 CPUtime=0.4 cores=0,2,4,6
/proc/21778/stat : 21778 (python) D 21776 21778 15301 0 -1 4202496 9594 1010 0 0 27 13 0 0 20 0 1 0 339484653 120950784 5830 33554432000 4194304 4196484 140736101805440 140736101738792 251053031093 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 29529 5830 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 118116

[startup+3.10023 s]
/proc/loadavg: 2.03 2.06 2.07 3/197 21784
/proc/meminfo: memFree=26827088/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=134480 CPUtime=0.58 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 11215 1010 0 0 42 16 0 0 20 0 1 0 339484653 137707520 6346 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 33620 6346 1170 1 0 5192 0
[pid=21784] ppid=21778 vsize=6664 CPUtime=1.28 cores=0,2,4,6
/proc/21784/stat : 21784 (clasp-1.3.3-x86) R 21778 21784 21784 0 -1 4202496 1806 0 0 0 128 0 0 0 20 0 1 0 339484834 6823936 1405 33554432000 134512640 136080129 4290740784 4290739856 134849631 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/21784/statm: 1666 1405 175 383 0 1281 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 141144
heavy processes:

[startup+6.30028 s]
/proc/loadavg: 2.11 2.07 2.07 3/197 21784
/proc/meminfo: memFree=26822700/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=134480 CPUtime=0.72 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 11226 1010 0 0 54 18 0 0 20 0 1 0 339484653 137707520 6346 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 33620 6346 1170 1 0 5192 0
[pid=21784] ppid=21778 vsize=8116 CPUtime=4.48 cores=0,2,4,6
/proc/21784/stat : 21784 (clasp-1.3.3-x86) R 21778 21784 21784 0 -1 4202496 2160 0 0 0 448 0 0 0 20 0 1 0 339484834 8310784 1759 33554432000 134512640 136080129 4290740784 4290739856 134849614 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/21784/statm: 2029 1759 175 383 0 1644 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 142596

[startup+12.7002 s]
/proc/loadavg: 2.10 2.07 2.07 3/198 21788
/proc/meminfo: memFree=26818980/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=11.08 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 12483 4335 0 0 84 22 1001 1 20 0 1 0 339484653 139816960 6368 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6368 1180 1 0 5192 0
[pid=21788] ppid=21778 vsize=6400 CPUtime=0.84 cores=0,2,4,6
/proc/21788/stat : 21788 (clasp-1.3.3-x86) R 21778 21788 21788 0 -1 4202496 1750 0 0 0 84 0 0 0 20 0 1 0 339485838 6553600 1351 33554432000 134512640 136080129 4292460192 4292459264 134849408 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/21788/statm: 1600 1351 175 383 0 1215 0
Current children cumulated CPU time (s) 11.92
Current children cumulated vsize (KiB) 142940

[startup+25.5003 s]
/proc/loadavg: 2.15 2.08 2.08 3/198 21788
/proc/meminfo: memFree=26798992/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=11.67 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 12512 4335 0 0 136 29 1001 1 20 0 1 0 339484653 139816960 6368 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6368 1180 1 0 5192 0
[pid=21788] ppid=21778 vsize=9980 CPUtime=13.64 cores=0,2,4,6
/proc/21788/stat : 21788 (clasp-1.3.3-x86) R 21778 21788 21788 0 -1 4202496 2628 0 0 0 1364 0 0 0 20 0 1 0 339485838 10219520 2229 33554432000 134512640 136080129 4292460192 4292459056 134716422 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/21788/statm: 2495 2229 175 383 0 2110 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 146520

[startup+51.1003 s]
/proc/loadavg: 2.17 2.09 2.08 3/198 21788
/proc/meminfo: memFree=26766604/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=12.88 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 12539 4335 0 0 241 45 1001 1 20 0 1 0 339484653 139816960 6368 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6368 1180 1 0 5192 0
[pid=21788] ppid=21778 vsize=17768 CPUtime=39.23 cores=0,2,4,6
/proc/21788/stat : 21788 (clasp-1.3.3-x86) R 21778 21788 21788 0 -1 4202496 4582 0 0 0 3923 0 0 0 20 0 1 0 339485838 18194432 4183 33554432000 134512640 136080129 4292460192 4292459184 134588944 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/21788/statm: 4442 4183 175 383 0 4057 0
Current children cumulated CPU time (s) 52.11
Current children cumulated vsize (KiB) 154308

[startup+102.306 s]
/proc/loadavg: 2.13 2.09 2.08 3/179 21795
/proc/meminfo: memFree=26731524/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=66.03 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 13722 9842 0 0 477 79 6045 2 20 0 1 0 339484653 139816960 6372 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6372 1180 1 0 5192 0
[pid=21794] ppid=21778 vsize=72888 CPUtime=39.96 cores=0,2,4,6
/proc/21794/stat : 21794 (wbo1.4a) R 21778 21794 21794 0 -1 4202496 18296 0 0 0 3948 48 0 0 20 0 1 0 339490885 74637312 17709 33554432000 134512640 135751879 4291212000 4291210252 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/21794/statm: 18222 17709 139 303 0 17917 0
Current children cumulated CPU time (s) 105.99
Current children cumulated vsize (KiB) 209428

[startup+162.3 s]
/proc/loadavg: 2.11 2.09 2.08 3/179 21801
/proc/meminfo: memFree=26982796/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=119.45 cores=0,2,4,6
/proc/21778/stat : 21778 (python) R 21776 21778 15301 0 -1 4202496 14972 34430 0 0 724 115 11046 60 20 0 1 0 339484653 139816960 6372 33554432000 4194304 4196484 140736101805440 140736101797200 251053032336 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34136 6372 1180 1 0 5193 0
[pid=21798] ppid=21778 vsize=17360 CPUtime=49.34 cores=0,2,4,6
/proc/21798/stat : 21798 (clasp-1.3.3-x86) R 21778 21798 21798 0 -1 4202496 4495 0 0 0 4934 0 0 0 20 0 1 0 339495946 17776640 4087 33554432000 134512640 136080129 4292568736 4292567808 134849595 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/21798/statm: 4340 4087 175 383 0 3955 0
Current children cumulated CPU time (s) 168.79
Current children cumulated vsize (KiB) 153900

[startup+222.3 s]
/proc/loadavg: 2.04 2.07 2.07 3/180 21813
/proc/meminfo: memFree=26977476/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=222.82 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 16230 42826 0 0 992 156 21072 62 20 0 1 0 339484653 139816960 6376 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6376 1180 1 0 5192 0
[pid=21810] ppid=21778 vsize=24044 CPUtime=9.04 cores=0,2,4,6
/proc/21810/stat : 21810 (wbo1.4a) R 21778 21810 21810 0 -1 4202496 6073 0 0 0 885 19 0 0 20 0 1 0 339505977 24621056 5500 33554432000 134512640 135751879 4294350912 4294349164 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/21810/statm: 6011 5500 139 303 0 5706 0
Current children cumulated CPU time (s) 231.86
Current children cumulated vsize (KiB) 160584

[startup+282.3 s]
/proc/loadavg: 2.09 2.07 2.07 3/179 21831
/proc/meminfo: memFree=26871336/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=225.6 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 16267 42826 0 0 1231 195 21072 62 20 0 1 0 339484653 139816960 6376 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6376 1180 1 0 5192 0
[pid=21810] ppid=21778 vsize=131496 CPUtime=69.02 cores=0,2,4,6
/proc/21810/stat : 21810 (wbo1.4a) R 21778 21810 21810 0 -1 4202496 32944 0 0 0 6839 63 0 0 20 0 1 0 339505977 134651904 32360 33554432000 134512640 135751879 4294350912 4294348528 134605082 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/21810/statm: 32874 32360 139 303 0 32569 0
Current children cumulated CPU time (s) 294.62
Current children cumulated vsize (KiB) 268036

[startup+342.3 s]
/proc/loadavg: 2.13 2.08 2.08 3/197 21858
/proc/meminfo: memFree=26686884/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=329.84 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 17498 88727 0 0 1486 232 31123 143 20 0 1 0 339484653 139816960 6377 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6377 1180 1 0 5192 0
[pid=21858] ppid=21778 vsize=155220 CPUtime=27.67 cores=0,2,4,6
/proc/21858/stat : 21858 (wbo1.4b) R 21778 21858 21858 0 -1 4202496 38860 0 0 0 2760 7 0 0 20 0 1 0 339516114 158945280 38275 33554432000 134512640 135751879 4290605184 4290602192 134524613 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/21858/statm: 38805 38275 142 303 0 38500 0
Current children cumulated CPU time (s) 357.51
Current children cumulated vsize (KiB) 291760

[startup+402.301 s]
/proc/loadavg: 2.16 2.10 2.08 4/197 21898
/proc/meminfo: memFree=26853760/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=383.19 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 18726 133689 0 0 1732 269 36165 153 20 0 1 0 339484653 139816960 6378 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6378 1180 1 0 5192 0

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

/proc/21980/statm: 9502 9234 175 383 0 9117 0
Current children cumulated CPU time (s) 1051.59
Current children cumulated vsize (KiB) 174548

[startup+1062.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/179 21999
/proc/meminfo: memFree=26935948/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=858.68 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 41103 300513 0 2 4527 709 80364 268 20 0 1 0 339484653 139816960 6386 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6386 1180 1 0 5192 0
[pid=21980] ppid=21778 vsize=50432 CPUtime=255.71 cores=0,2,4,6
/proc/21980/stat : 21980 (clasp-1.3.3-x86) R 21778 21980 21980 0 -1 4202496 12751 0 0 0 25568 3 0 0 20 0 1 0 339565306 51642368 12329 33554432000 134512640 136080129 4294648336 4294647424 134579953 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/21980/statm: 12608 12329 175 383 0 12223 0
Current children cumulated CPU time (s) 1114.39
Current children cumulated vsize (KiB) 186972

[startup+1122.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/179 22011
/proc/meminfo: memFree=26966208/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=1161.9 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 42356 314480 0 2 4781 750 110387 272 20 0 1 0 339484653 139816960 6387 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6387 1180 1 0 5192 0
[pid=22008] ppid=21778 vsize=44672 CPUtime=15.41 cores=0,2,4,6
/proc/22008/stat : 22008 (bsolo_pb10) R 21778 22008 22008 0 -1 4202496 9451 0 0 0 1531 10 0 0 20 0 1 0 339595340 45744128 8715 33554432000 134512640 137138936 4294050992 4294049416 134606680 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/22008/statm: 11168 8715 192 642 0 10524 0
Current children cumulated CPU time (s) 1177.31
Current children cumulated vsize (KiB) 181212

[startup+1182.3 s]
/proc/loadavg: 2.01 2.07 2.08 3/178 22011
/proc/meminfo: memFree=26868464/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=1164.72 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 42382 314480 0 2 5025 788 110387 272 20 0 1 0 339484653 139816960 6387 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6387 1180 1 0 5192 0
[pid=22008] ppid=21778 vsize=127032 CPUtime=75.39 cores=0,2,4,6
/proc/22008/stat : 22008 (bsolo_pb10) R 21778 22008 22008 0 -1 4202496 30050 0 0 0 7517 22 0 0 20 0 1 0 339595340 130080768 29310 33554432000 134512640 137138936 4294050992 4294049920 134542528 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/22008/statm: 31758 29310 192 642 0 31114 0
Current children cumulated CPU time (s) 1240.11
Current children cumulated vsize (KiB) 263572

[startup+1242.3 s]
/proc/loadavg: 2.10 2.09 2.08 4/179 22027
/proc/meminfo: memFree=26983336/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=1278.28 cores=0,2,4,6
/proc/21778/stat : 21778 (python) R 21776 21778 15301 0 -1 4202496 44873 357917 0 2 5277 826 121422 303 20 0 1 0 339484653 139816960 6387 33554432000 4194304 4196484 140736101805440 140736101797200 140240427695607 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6387 1180 1 0 5192 0
[pid=22020] ppid=21778 vsize=17244 CPUtime=24.7 cores=0,2,4,6
/proc/22020/stat : 22020 (clasp-1.3.3-x86) R 21778 22020 22020 0 -1 4202496 4470 0 0 0 2469 1 0 0 20 0 1 0 339606412 17657856 4062 33554432000 134512640 136080129 4289374608 4289373332 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22020/statm: 4311 4062 175 383 0 3926 0
Current children cumulated CPU time (s) 1302.98
Current children cumulated vsize (KiB) 153784

[startup+1302.3 s]
/proc/loadavg: 2.07 2.08 2.08 3/179 22028
/proc/meminfo: memFree=26955084/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=1281.07 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 44899 357917 0 2 5519 863 121422 303 20 0 1 0 339484653 139816960 6387 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6387 1180 1 0 5192 0
[pid=22020] ppid=21778 vsize=32200 CPUtime=84.69 cores=0,2,4,6
/proc/22020/stat : 22020 (clasp-1.3.3-x86) R 21778 22020 22020 0 -1 4202496 8205 0 0 0 8467 2 0 0 20 0 1 0 339606412 32972800 7791 33554432000 134512640 136080129 4289374608 4289373680 134849100 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22020/statm: 8050 7791 175 383 0 7665 0
Current children cumulated CPU time (s) 1365.76
Current children cumulated vsize (KiB) 168740

[startup+1362.3 s]
/proc/loadavg: 2.02 2.06 2.08 3/179 22084
/proc/meminfo: memFree=26979128/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=1404.34 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 48622 373714 0 2 5776 900 133447 311 20 0 1 0 339484653 139816960 6388 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6388 1180 1 0 5192 0
[pid=22084] ppid=21778 vsize=11956 CPUtime=24.3 cores=0,2,4,6
/proc/22084/stat : 22084 (clasp-1.3.3-x86) R 21778 22084 22084 0 -1 4202496 3152 0 0 0 2430 0 0 0 20 0 1 0 339618450 12242944 2742 33554432000 134512640 136080129 4292281520 4292280512 134588671 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22084/statm: 2989 2742 175 383 0 2604 0
Current children cumulated CPU time (s) 1428.64
Current children cumulated vsize (KiB) 148496

[startup+1422.31 s]
/proc/loadavg: 2.01 2.05 2.07 3/180 22096
/proc/meminfo: memFree=26910052/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=1467.69 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 51105 383955 0 2 6027 937 139491 314 20 0 1 0 339484653 139816960 6388 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6388 1180 1 0 5192 0
[pid=22096] ppid=21778 vsize=11548 CPUtime=23.8 cores=0,2,4,6
/proc/22096/stat : 22096 (clasp-1.3.3-x86) R 21778 22096 22096 0 -1 4202496 3024 0 0 0 2380 0 0 0 20 0 1 0 339624501 11825152 2617 33554432000 134512640 136080129 4288423328 4288422320 134588801 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22096/statm: 2887 2617 175 383 0 2502 0
Current children cumulated CPU time (s) 1491.49
Current children cumulated vsize (KiB) 148088

[startup+1482.3 s]
/proc/loadavg: 2.04 2.05 2.07 3/179 22099
/proc/meminfo: memFree=26955908/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=1470.47 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 51131 383955 0 2 6266 976 139491 314 20 0 1 0 339484653 139816960 6388 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6388 1180 1 0 5192 0
[pid=22096] ppid=21778 vsize=28460 CPUtime=83.79 cores=0,2,4,6
/proc/22096/stat : 22096 (clasp-1.3.3-x86) R 21778 22096 22096 0 -1 4202496 7254 0 0 0 8377 2 0 0 20 0 1 0 339624501 29143040 6841 33554432000 134512640 136080129 4288423328 4288422400 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22096/statm: 7115 6841 175 383 0 6730 0
Current children cumulated CPU time (s) 1554.26
Current children cumulated vsize (KiB) 165000

[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.07 3/179 22111
/proc/meminfo: memFree=26959712/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=1593.72 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 54868 399802 0 2 6518 1017 151518 319 20 0 1 0 339484653 139816960 6389 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6389 1180 1 0 5192 0
[pid=22108] ppid=21778 vsize=12872 CPUtime=23.41 cores=0,2,4,6
/proc/22108/stat : 22108 (clasp-1.3.3-x86) R 21778 22108 22108 0 -1 4202496 3360 0 0 0 2341 0 0 0 20 0 1 0 339636540 13180928 2947 33554432000 134512640 136080129 4289413584 4289412448 134716422 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22108/statm: 3218 2947 175 383 0 2833 0
Current children cumulated CPU time (s) 1617.13
Current children cumulated vsize (KiB) 149412

[startup+1602.3 s]
/proc/loadavg: 2.23 2.08 2.08 3/179 22112
/proc/meminfo: memFree=26854104/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=1596.5 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 54895 399802 0 2 6761 1052 151518 319 20 0 1 0 339484653 139816960 6389 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6389 1180 1 0 5192 0
[pid=22108] ppid=21778 vsize=29796 CPUtime=83.4 cores=0,2,4,6
/proc/22108/stat : 22108 (clasp-1.3.3-x86) R 21778 22108 22108 0 -1 4202496 7588 0 0 0 8339 1 0 0 20 0 1 0 339636540 30511104 7175 33554432000 134512640 136080129 4289413584 4289412576 134588783 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22108/statm: 7449 7175 175 383 0 7064 0
Current children cumulated CPU time (s) 1679.9
Current children cumulated vsize (KiB) 166336

[startup+1662.3 s]
/proc/loadavg: 2.13 2.08 2.08 3/179 22124
/proc/meminfo: memFree=26831316/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=1719.79 cores=0,2,4,6
/proc/21778/stat : 21778 (python) S 21776 21778 15301 0 -1 4202496 58621 415784 0 2 7021 1087 163547 324 20 0 1 0 339484653 139816960 6391 33554432000 4194304 4196484 140736101805440 140736101797200 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6391 1180 1 0 5192 0
[pid=22124] ppid=21778 vsize=11020 CPUtime=23.01 cores=0,2,4,6
/proc/22124/stat : 22124 (clasp-1.3.3-x86) R 21778 22124 22124 0 -1 4202496 2902 0 0 0 2301 0 0 0 20 0 1 0 339648580 11284480 2494 33554432000 134512640 136080129 4292676256 4292675344 134804939 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22124/statm: 2755 2494 175 383 0 2370 0
Current children cumulated CPU time (s) 1742.8
Current children cumulated vsize (KiB) 147560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1717 s]
/proc/loadavg: 2.09 2.08 2.08 4/197 22145
/proc/meminfo: memFree=26827532/32873648 swapFree=7368/7368
[pid=21778] ppid=21776 vsize=136540 CPUtime=1722.35 cores=0,2,4,6
/proc/21778/stat : 21778 (python) R 21776 21778 15301 0 -1 4202496 58645 415784 0 2 7245 1119 163547 324 20 0 1 0 339484653 139816960 6391 33554432000 4194304 4196484 140736101805440 140736101797200 251053073335 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/21778/statm: 34135 6391 1180 1 0 5192 0
[pid=22124] ppid=21778 vsize=30732 CPUtime=77.71 cores=0,2,4,6
/proc/22124/stat : 22124 (clasp-1.3.3-x86) R 21778 22124 22124 0 -1 4202496 7840 0 0 0 7770 1 0 0 20 0 1 0 339648580 31469568 7427 33554432000 134512640 136080129 4292676256 4292675328 134849629 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22124/statm: 7683 7427 175 383 0 7298 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 167272

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 21778 and gives
#  childrusage.ru_utime.tv_sec=1707
#  childrusage.ru_utime.tv_usec=934354
#  childrusage.ru_stime.tv_sec=14
#  childrusage.ru_stime.tv_usec=451802
# CPU time returned by wait4() is 1722.39
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1717.02
CPU time (s): 1800.06
CPU user time (s): 1785.62
CPU system time (s): 14.44
CPU usage (%): 104.836
Max. virtual memory (cumulated for all children) (KiB): 2851680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1707.93
system time used= 14.4518
maximum resident set size= 216036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 474429
page faults= 2
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11109
involuntary context switches= 2815

runsolver used 3.66144 second user time and 8.62269 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-03 16:26:45
IDJOB=3742482
IDBENCH=90190
IDSOLVER=2323
FILE ID=node149/3742482-1338733605
RUNJOBID= node149-1338713283-15317
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_K138.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742482-1338733605/watcher-3742482-1338733605 -o /tmp/evaluation-result-3742482-1338733605/solver-3742482-1338733605 -C 1800 -W 1900 -M 15500  solver HOME/instance-3742482-1338733605.opb 530448460 

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

MD5SUM BENCH= b6be79d7c894904bfb5f7c9acfb80f53
RANDOM SEED=530448460

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:        26855248 kB
Buffers:          771852 kB
Cached:          4133264 kB
SwapCached:         2468 kB
Active:          2233352 kB
Inactive:        2883296 kB
Active(anon):     194528 kB
Inactive(anon):     9368 kB
Active(file):    2038824 kB
Inactive(file):  2873928 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:             21756 kB
Writeback:             0 kB
AnonPages:        208948 kB
Mapped:            25880 kB
Shmem:                96 kB
Slab:             760904 kB
SReclaimable:     203632 kB
SUnreclaim:       557272 kB
KernelStack:        1600 kB
PageTables:         4852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1537556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 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:55:25