Trace number 2676300

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
borg-pb 10.05.30? (TO) 1800.02 1691.62

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb
MD5SUMfff7b3dc5d07bd6a4fd3046b5e5241f1
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.467928
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables8190
Total number of constraints181
Number of constraints which are clauses91
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint90
Maximum length of a constraint91
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 92
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2676300-1277135213/watcher-2676300-1277135213 -o /tmp/evaluation-result-2676300-1277135213/solver-2676300-1277135213 -C 1800 -W 2000 -M 1800 solver HOME/instance-2676300-1277135213.opb 1748730426 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.40 1.08 0.88 3/106 5490
/proc/meminfo: memFree=1457264/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=16708 CPUtime=0
/proc/5490/stat : 5490 (python) R 5488 5490 5136 0 -1 4202496 729 0 0 0 0 0 0 0 18 0 1 0 89122954 17108992 494 1992294400 4194304 4196484 140733618733104 18446744073709551615 239006593733 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5490/statm: 4177 496 272 1 0 273 0

[startup+0.097923 s]
/proc/loadavg: 1.40 1.08 0.88 3/106 5490
/proc/meminfo: memFree=1457264/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=31512 CPUtime=0.07
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 2243 0 0 0 5 2 0 0 15 0 1 0 89122954 32268288 1227 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006930944 0 2147483391 16781312 2 18446744071699387582 0 0 17 0 0 0 0
/proc/5490/statm: 7878 1227 459 1 0 750 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 31512

[startup+0.102465 s]
/proc/loadavg: 1.40 1.08 0.88 3/106 5490
/proc/meminfo: memFree=1457264/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=32156 CPUtime=0.07
/proc/5490/stat : 5490 (python) R 5488 5490 5136 0 -1 4202496 2375 0 0 0 5 2 0 0 15 0 1 0 89122954 32927744 1352 1992294400 4194304 4196484 140736202464128 18446744073709551615 47515007895488 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5490/statm: 8039 1355 459 1 0 911 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 32156

[startup+0.300468 s]
/proc/loadavg: 1.40 1.08 0.88 3/106 5490
/proc/meminfo: memFree=1457264/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=70596 CPUtime=0.22
/proc/5490/stat : 5490 (python) R 5488 5490 5136 0 -1 4202496 3960 0 0 0 15 7 0 0 15 0 1 0 89122954 72290304 2796 1992294400 4194304 4196484 140736202464128 18446744073709551615 47515007965880 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5490/statm: 17649 2796 693 1 0 2136 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 70596

[startup+0.700474 s]
/proc/loadavg: 1.40 1.08 0.88 3/106 5490
/proc/meminfo: memFree=1457264/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=98836 CPUtime=0.51
/proc/5490/stat : 5490 (python) R 5488 5490 5136 0 -1 4202496 4867 0 0 0 33 18 0 0 16 0 1 0 89122954 101208064 3580 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006928901 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5490/statm: 24709 3580 1022 1 0 2566 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 98836

[startup+1.50049 s]
/proc/loadavg: 1.40 1.08 0.88 2/107 5495
/proc/meminfo: memFree=1441012/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=119036 CPUtime=1.01
/proc/5490/stat : 5490 (python) R 5488 5490 5136 0 -1 4202496 8948 927 0 0 70 31 0 0 15 0 1 0 89122954 121892864 6100 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006619360 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5490/statm: 29759 6101 1063 1 0 5013 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 119036

[startup+3.10051 s]
/proc/loadavg: 1.40 1.08 0.88 2/108 5496
/proc/meminfo: memFree=1430960/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=132056 CPUtime=1.25
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 10261 927 0 0 91 34 0 0 15 0 1 0 89122954 135225344 6307 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/5490/statm: 33014 6307 1133 1 0 5166 0
[pid=5496] ppid=5490 vsize=9248 CPUtime=1.47
/proc/5496/stat : 5496 (clasp-1.3.3-x86) R 5490 5496 5496 0 -1 4202496 2391 0 0 0 146 1 0 0 19 0 1 0 89123115 9469952 2061 1992294400 134512640 136080129 4291490832 18446744073709551615 134804927 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5496/statm: 2312 2061 174 383 0 1927 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 141304

[startup+6.30056 s]
/proc/loadavg: 1.37 1.08 0.88 3/108 5496
/proc/meminfo: memFree=1425256/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=132056 CPUtime=1.45
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 10272 927 0 0 107 38 0 0 15 0 1 0 89122954 135225344 6307 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/5490/statm: 33014 6307 1133 1 0 5166 0
[pid=5496] ppid=5490 vsize=13428 CPUtime=4.64
/proc/5496/stat : 5496 (clasp-1.3.3-x86) R 5490 5496 5496 0 -1 4202496 3425 0 0 0 461 3 0 0 25 0 1 0 89123115 13750272 3095 1992294400 134512640 136080129 4291490832 18446744073709551615 134588723 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5496/statm: 3357 3095 174 383 0 2972 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 145484

[startup+12.7007 s]
/proc/loadavg: 1.34 1.08 0.88 2/108 5499
/proc/meminfo: memFree=1433316/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=12.09
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 11573 5988 0 0 149 45 1009 6 15 0 1 0 89122954 137334784 6329 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159836005329808182 0 0 17 1 0 0 0
/proc/5490/statm: 33529 6329 1143 1 0 5166 0
[pid=5499] ppid=5490 vsize=7556 CPUtime=0.83
/proc/5499/stat : 5499 (clasp-1.3.3-x86) R 5490 5499 5499 0 -1 4202496 1953 0 0 0 83 0 0 0 18 0 1 0 89124140 7737344 1626 1992294400 134512640 136080129 4290028928 18446744073709551615 134850039 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5499/statm: 1889 1626 174 383 0 1504 0
Current children cumulated CPU time (s) 12.92
Current children cumulated vsize (KiB) 141672

[startup+25.5019 s]
/proc/loadavg: 1.27 1.07 0.88 2/108 5499
/proc/meminfo: memFree=1420420/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=12.93
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 11617 5988 0 0 222 56 1009 6 16 0 1 0 89122954 137334784 6329 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159836005329808182 0 0 17 1 0 0 0
/proc/5490/statm: 33529 6329 1143 1 0 5166 0
[pid=5499] ppid=5490 vsize=17336 CPUtime=13.62
/proc/5499/stat : 5499 (clasp-1.3.3-x86) R 5490 5499 5499 0 -1 4202496 4398 0 0 0 1361 1 0 0 25 0 1 0 89124140 17752064 4071 1992294400 134512640 136080129 4290028928 18446744073709551615 134601910 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5499/statm: 4334 4071 174 383 0 3949 0
Current children cumulated CPU time (s) 26.55
Current children cumulated vsize (KiB) 151452

[startup+51.1003 s]
/proc/loadavg: 1.17 1.06 0.88 3/108 5499
/proc/meminfo: memFree=1414716/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=14.61
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 11700 5988 0 0 371 75 1009 6 15 0 1 0 89122954 137334784 6329 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159836005329808182 0 0 17 1 0 0 0
/proc/5490/statm: 33529 6329 1143 1 0 5166 0
[pid=5499] ppid=5490 vsize=22640 CPUtime=39.2
/proc/5499/stat : 5499 (clasp-1.3.3-x86) R 5490 5499 5499 0 -1 4202496 5733 0 0 0 3917 3 0 0 25 0 1 0 89124140 23183360 5406 1992294400 134512640 136080129 4290028928 18446744073709551615 134610270 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5499/statm: 5660 5406 174 383 0 5275 0
Current children cumulated CPU time (s) 53.81
Current children cumulated vsize (KiB) 156756

[startup+102.308 s]
/proc/loadavg: 1.13 1.07 0.89 2/108 5504
/proc/meminfo: memFree=1380988/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=68.64
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 12963 12808 0 0 685 121 6047 11 15 0 1 0 89122954 137334784 6332 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/5490/statm: 33529 6332 1143 1 0 5166 0
[pid=5502] ppid=5490 vsize=57664 CPUtime=39.68
/proc/5502/stat : 5502 (wbo1.4a) R 5490 5502 5502 0 -1 4202496 14288 0 0 0 3949 19 0 0 25 0 1 0 89129189 59047936 13937 1992294400 134512640 135751879 4291565392 18446744073709551615 134516976 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/5502/statm: 14416 13937 139 303 0 14111 0
Current children cumulated CPU time (s) 108.32
Current children cumulated vsize (KiB) 191780

[startup+162.301 s]
/proc/loadavg: 1.12 1.07 0.90 2/108 5509
/proc/meminfo: memFree=1414592/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=123.12
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 14280 31656 0 0 1017 169 11090 36 15 0 1 0 89122954 137334784 6333 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/5490/statm: 33529 6333 1143 1 0 5166 0
[pid=5507] ppid=5490 vsize=23288 CPUtime=48.59
/proc/5507/stat : 5507 (clasp-1.3.3-x86) R 5490 5507 5507 0 -1 4202496 5877 0 0 0 4857 2 0 0 25 0 1 0 89134292 23846912 5550 1992294400 134512640 136080129 4290262112 18446744073709551615 134804891 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5507/statm: 5822 5550 174 383 0 5437 0
Current children cumulated CPU time (s) 171.71
Current children cumulated vsize (KiB) 157404

[startup+222.3 s]
/proc/loadavg: 1.19 1.09 0.92 2/108 5514
/proc/meminfo: memFree=1417692/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=227.55
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 15522 39728 0 0 1377 222 21115 41 15 0 1 0 89122954 137334784 6334 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/5490/statm: 33529 6334 1143 1 0 5166 0
[pid=5512] ppid=5490 vsize=20940 CPUtime=7.84
/proc/5512/stat : 5512 (wbo1.4a) R 5490 5512 5512 0 -1 4202496 5110 0 0 0 776 8 0 0 25 0 1 0 89144392 21442560 4756 1992294400 134512640 135751879 4290628576 18446744073709551615 134605082 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5512/statm: 5235 4756 139 303 0 4930 0
Current children cumulated CPU time (s) 235.39
Current children cumulated vsize (KiB) 155056

[startup+282.3 s]
/proc/loadavg: 1.07 1.07 0.92 2/108 5514
/proc/meminfo: memFree=1343540/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=231.35
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 15604 39728 0 0 1705 274 21115 41 15 0 1 0 89122954 137334784 6334 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/5490/statm: 33529 6334 1143 1 0 5166 0
[pid=5512] ppid=5490 vsize=95472 CPUtime=67.46
/proc/5512/stat : 5512 (wbo1.4a) R 5490 5512 5512 0 -1 4202496 23743 0 0 0 6722 24 0 0 25 0 1 0 89144392 97763328 23389 1992294400 134512640 135751879 4290628576 18446744073709551615 134616492 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5512/statm: 23868 23389 139 303 0 23563 0
Current children cumulated CPU time (s) 298.81
Current children cumulated vsize (KiB) 229588

[startup+342.301 s]
/proc/loadavg: 1.21 1.10 0.93 2/108 5519
/proc/meminfo: memFree=1395000/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=336.32
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 16901 72514 0 0 2065 324 31167 76 15 0 1 0 89122954 137334784 6336 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/5490/statm: 33529 6336 1143 1 0 5166 0
[pid=5519] ppid=5490 vsize=43680 CPUtime=26.17
/proc/5519/stat : 5519 (wbo1.4b) R 5490 5519 5519 0 -1 4202496 11076 0 0 0 2604 13 0 0 25 0 1 0 89154549 44728320 10475 1992294400 134512640 135751879 4288636816 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/5519/statm: 10920 10475 144 303 0 10615 0
Current children cumulated CPU time (s) 362.49
Current children cumulated vsize (KiB) 177796

[startup+402.301 s]
/proc/loadavg: 1.07 1.08 0.93 2/120 5536
/proc/meminfo: memFree=1336936/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=391.1
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 18220 91623 0 0 2429 373 36211 97 15 0 1 0 89122954 137334784 6337 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159836005329808182 0 0 17 1 0 0 0
/proc/5490/statm: 33529 6337 1143 1 0 5166 0
[pid=5522] ppid=5490 vsize=1478732 CPUtime=36.53
/proc/5522/stat : 5522 (java) S 5490 5522 5522 0 -1 4202496 29135 0 1 0 3640 13 0 0 15 0 13 0 89159650 1514221568 26296 1992294400 134512640 134550932 4293719584 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5522/statm: 369683 26296 1422 10 0 366985 0
[pid=5522/tid=5523] ppid=5490 vsize=1478732 CPUtime=35.12
/proc/5522/task/5523/stat : 5523 (java) R 5490 5522 5522 0 -1 4202560 24455 0 1 0 3501 11 0 0 25 0 13 0 89159651 1514221568 26296 1992294400 134512640 134550932 4293719584 18446744073709551615 4109015911 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5522/tid=5524] ppid=5490 vsize=1478732 CPUtime=0
/proc/5522/task/5524/stat : 5524 (java) S 5490 5522 5522 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 89159653 1514221568 26296 1992294400 134512640 134550932 4293719584 18446744073709551615 4294960144 0 4 0 16800975 18446604437833525376 0 0 -1 0 0 0 0
[pid=5522/tid=5525] ppid=5490 vsize=1478732 CPUtime=0
/proc/5522/task/5525/stat : 5525 (java) S 5490 5522 5522 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 89159653 1514221568 26296 1992294400 134512640 134550932 4293719584 18446744073709551615 4294960144 0 4 0 16800975 18446604437833525376 0 0 -1 0 0 0 0
[pid=5522/tid=5526] ppid=5490 vsize=1478732 CPUtime=0

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

/proc/5612/statm: 8380 8127 174 383 0 7995 0
Current children cumulated CPU time (s) 1067.83
Current children cumulated vsize (KiB) 167636

[startup+1062.3 s]
/proc/loadavg: 1.01 1.06 0.99 2/108 5629
/proc/meminfo: memFree=1401140/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=883.43
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 40901 428704 0 2 6436 912 80667 328 15 0 1 0 89122954 137334784 6347 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159836005329808182 0 0 17 1 0 0 0
/proc/5490/statm: 33529 6347 1143 1 0 5166 0
[pid=5612] ppid=5490 vsize=35708 CPUtime=248.05
/proc/5612/stat : 5612 (clasp-1.3.3-x86) R 5490 5612 5612 0 -1 4202496 9056 0 0 0 24797 8 0 0 25 0 1 0 89204222 36564992 8672 1992294400 134512640 136080129 4289507696 18446744073709551615 134580643 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5612/statm: 8927 8672 174 383 0 8542 0
Current children cumulated CPU time (s) 1131.48
Current children cumulated vsize (KiB) 169824

[startup+1122.3 s]
/proc/loadavg: 1.13 1.08 1.00 2/108 5634
/proc/meminfo: memFree=1366048/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=1188.14
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 42133 439440 0 2 6803 958 110713 340 15 0 1 0 89122954 137334784 6348 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/5490/statm: 33529 6348 1143 1 0 5166 0
[pid=5632] ppid=5490 vsize=83588 CPUtime=7.12
/proc/5632/stat : 5632 (bsolo_pb10) R 5490 5632 5632 0 -1 4202496 19701 0 0 0 701 11 0 0 25 0 1 0 89234471 85594112 18475 1992294400 134512640 137138936 4290802272 18446744073709551615 136504212 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/5632/statm: 20897 18475 192 642 0 20253 0
Current children cumulated CPU time (s) 1195.26
Current children cumulated vsize (KiB) 217704

[startup+1182.3 s]
/proc/loadavg: 1.14 1.09 1.01 2/108 5634
/proc/meminfo: memFree=1231632/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=1191.9
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 42229 439440 0 2 7134 1003 110713 340 15 0 1 0 89122954 137334784 6348 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/5490/statm: 33529 6348 1143 1 0 5166 0
[pid=5632] ppid=5490 vsize=218768 CPUtime=67.1
/proc/5632/stat : 5632 (bsolo_pb10) R 5490 5632 5632 0 -1 4202496 56092 0 0 0 6680 30 0 0 25 0 1 0 89234471 224018432 52263 1992294400 134512640 137138936 4290802272 18446744073709551615 134542796 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/5632/statm: 54692 52263 192 642 0 54048 0
Current children cumulated CPU time (s) 1259
Current children cumulated vsize (KiB) 352884

[startup+1242.3 s]
/proc/loadavg: 1.05 1.07 1.00 2/108 5642
/proc/meminfo: memFree=1419244/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=1306.77
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 44729 513679 0 2 7477 1053 121757 390 15 0 1 0 89122954 137334784 6348 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/5490/statm: 33529 6348 1143 1 0 5166 0
[pid=5642] ppid=5490 vsize=17704 CPUtime=15.99
/proc/5642/stat : 5642 (clasp-1.3.3-x86) R 5490 5642 5642 0 -1 4202496 4491 0 0 0 1597 2 0 0 25 0 1 0 89245574 18128896 4157 1992294400 134512640 136080129 4287853840 18446744073709551615 134580585 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5642/statm: 4426 4157 174 383 0 4041 0
Current children cumulated CPU time (s) 1322.76
Current children cumulated vsize (KiB) 151820

[startup+1302.3 s]
/proc/loadavg: 1.16 1.09 1.01 2/108 5644
/proc/meminfo: memFree=1410936/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=1310.47
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 44808 513679 0 2 7800 1100 121757 390 15 0 1 0 89122954 137334784 6348 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/5490/statm: 33529 6348 1143 1 0 5166 0
[pid=5642] ppid=5490 vsize=25780 CPUtime=75.61
/proc/5642/stat : 5642 (clasp-1.3.3-x86) R 5490 5642 5642 0 -1 4202496 6534 0 0 0 7558 3 0 0 25 0 1 0 89245574 26398720 6192 1992294400 134512640 136080129 4287853840 18446744073709551615 134588728 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5642/statm: 6445 6192 174 383 0 6060 0
Current children cumulated CPU time (s) 1386.08
Current children cumulated vsize (KiB) 159896

[startup+1362.3 s]
/proc/loadavg: 1.06 1.07 1.00 2/108 5655
/proc/meminfo: memFree=1419368/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=1435.43
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 48570 532065 0 2 8158 1151 133832 402 16 0 1 0 89122954 137334784 6349 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159836005329808182 0 0 17 1 0 0 0
/proc/5490/statm: 33529 6349 1143 1 0 5166 0
[pid=5655] ppid=5490 vsize=17308 CPUtime=14.47
/proc/5655/stat : 5655 (clasp-1.3.3-x86) R 5490 5655 5655 0 -1 4202496 4402 0 0 0 1445 2 0 0 25 0 1 0 89257735 17723392 4071 1992294400 134512640 136080129 4294464432 18446744073709551615 134580640 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5655/statm: 4327 4071 174 383 0 3942 0
Current children cumulated CPU time (s) 1449.9
Current children cumulated vsize (KiB) 151424

[startup+1422.31 s]
/proc/loadavg: 1.02 1.05 1.00 2/108 5663
/proc/meminfo: memFree=1419244/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=1500.11
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 51157 544052 0 2 8510 1201 139889 411 15 0 1 0 89122954 137334784 6350 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/5490/statm: 33529 6350 1143 1 0 5166 0
[pid=5661] ppid=5490 vsize=17336 CPUtime=13.72
/proc/5661/stat : 5661 (clasp-1.3.3-x86) R 5490 5661 5661 0 -1 4202496 4395 0 0 0 1370 2 0 0 25 0 1 0 89263811 17752064 4062 1992294400 134512640 136080129 4291976928 18446744073709551615 134610270 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5661/statm: 4334 4062 174 383 0 3949 0
Current children cumulated CPU time (s) 1513.83
Current children cumulated vsize (KiB) 151452

[startup+1482.31 s]
/proc/loadavg: 1.01 1.04 1.00 2/108 5663
/proc/meminfo: memFree=1410812/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134120 CPUtime=1503.84
/proc/5490/stat : 5490 (python) R 5488 5490 5136 0 -1 4202496 51233 544052 0 2 8837 1247 139889 411 15 0 1 0 89122954 137338880 6350 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006932736 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5490/statm: 33530 6350 1143 1 0 5167 0
[pid=5661] ppid=5490 vsize=25816 CPUtime=73.7
/proc/5661/stat : 5661 (clasp-1.3.3-x86) R 5490 5661 5661 0 -1 4202496 6524 0 0 0 7366 4 0 0 25 0 1 0 89263811 26435584 6185 1992294400 134512640 136080129 4291976928 18446744073709551615 134804930 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5661/statm: 6454 6185 174 383 0 6069 0
Current children cumulated CPU time (s) 1577.54
Current children cumulated vsize (KiB) 159936

[startup+1542.3 s]
/proc/loadavg: 1.15 1.06 1.01 2/108 5674
/proc/meminfo: memFree=1419740/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=1628.81
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 55058 562318 0 2 9198 1297 151961 425 15 0 1 0 89122954 137334784 6351 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159836005329808182 0 0 17 1 0 0 0
/proc/5490/statm: 33529 6351 1143 1 0 5166 0
[pid=5674] ppid=5490 vsize=16816 CPUtime=12.54
/proc/5674/stat : 5674 (clasp-1.3.3-x86) R 5490 5674 5674 0 -1 4202496 4282 0 0 0 1251 3 0 0 25 0 1 0 89275922 17219584 3947 1992294400 134512640 136080129 4293191552 18446744073709551615 134805176 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5674/statm: 4204 3947 174 383 0 3819 0
Current children cumulated CPU time (s) 1641.35
Current children cumulated vsize (KiB) 150932

[startup+1602.3 s]
/proc/loadavg: 1.26 1.11 1.03 2/108 5676
/proc/meminfo: memFree=1410688/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=1632.77
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 55140 562318 0 2 9549 1342 151961 425 15 0 1 0 89122954 137334784 6351 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159836005329808182 0 0 17 1 0 0 0
/proc/5490/statm: 33529 6351 1143 1 0 5166 0
[pid=5674] ppid=5490 vsize=25796 CPUtime=72.15
/proc/5674/stat : 5674 (clasp-1.3.3-x86) R 5490 5674 5674 0 -1 4202496 6532 0 0 0 7210 5 0 0 25 0 1 0 89275922 26415104 6187 1992294400 134512640 136080129 4293191552 18446744073709551615 134842491 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5674/statm: 6449 6187 174 383 0 6064 0
Current children cumulated CPU time (s) 1704.92
Current children cumulated vsize (KiB) 159912

[startup+1662.3 s]
/proc/loadavg: 1.13 1.10 1.03 2/108 5690
/proc/meminfo: memFree=1419864/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=1757.64
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 58949 580672 0 2 9914 1394 164014 442 15 0 1 0 89122954 137334784 6351 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159836005329808182 0 0 17 1 0 0 0
/proc/5490/statm: 33529 6351 1143 1 0 5166 0
[pid=5690] ppid=5490 vsize=16336 CPUtime=11.16
/proc/5690/stat : 5690 (clasp-1.3.3-x86) R 5490 5690 5690 0 -1 4202496 4161 0 0 0 1114 2 0 0 25 0 1 0 89288066 16728064 3828 1992294400 134512640 136080129 4287516672 18446744073709551615 134602613 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5690/statm: 4084 3828 174 383 0 3699 0
Current children cumulated CPU time (s) 1768.8
Current children cumulated vsize (KiB) 150452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1691.6 s]
/proc/loadavg: 1.08 1.09 1.02 2/108 5690
/proc/meminfo: memFree=1413416/2059040 swapFree=4139956/4192956
[pid=5490] ppid=5488 vsize=134116 CPUtime=1759.57
/proc/5490/stat : 5490 (python) S 5488 5490 5136 0 -1 4202496 59006 580672 0 2 10085 1416 164014 442 15 0 1 0 89122954 137334784 6351 1992294400 4194304 4196484 140736202464128 18446744073709551615 239006952975 0 0 16781312 2 159836005329808182 0 0 17 1 0 0 0
/proc/5490/statm: 33529 6351 1143 1 0 5166 0
[pid=5690] ppid=5490 vsize=22832 CPUtime=40.45
/proc/5690/stat : 5690 (clasp-1.3.3-x86) R 5490 5690 5690 0 -1 4202496 5763 0 0 0 4043 2 0 0 25 0 1 0 89288066 23379968 5430 1992294400 134512640 136080129 4287516672 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5690/statm: 5708 5430 174 383 0 5323 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 156948

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 5490 and gives
#  childrusage.ru_utime.tv_sec=1741
#  childrusage.ru_utime.tv_usec=2327
#  childrusage.ru_stime.tv_sec=18
#  childrusage.ru_stime.tv_usec=588174
# CPU time returned by wait4() is 1759.59
# 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): 1691.62
CPU time (s): 1800.02
CPU user time (s): 1781.42
CPU system time (s): 18.6
CPU usage (%): 106.408
Max. virtual memory (cumulated for all children) (KiB): 1616640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1741
system time used= 18.5882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 639679
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11379
involuntary context switches= 27908

runsolver used 3.20651 second user time and 8.62069 second system time

The end

Launcher Data 

Begin job on node010 at 2010-06-21 17:46:53
IDJOB=2676300
IDBENCH=2584
IDSOLVER=1178
FILE ID=node010/2676300-1277135213
PBS_JOBID= 11182099
Free space on /tmp= 62512 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2676300-1277135213/watcher-2676300-1277135213 -o /tmp/evaluation-result-2676300-1277135213/solver-2676300-1277135213 -C 1800 -W 2000 -M 1800  solver HOME/instance-2676300-1277135213.opb 1748730426 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= fff7b3dc5d07bd6a4fd3046b5e5241f1
RANDOM SEED=1748730426

node010.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.267
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.267
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1457792 kB
Buffers:        130264 kB
Cached:         362828 kB
SwapCached:       5604 kB
Active:         248720 kB
Inactive:       257416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1457792 kB
SwapTotal:     4192956 kB
SwapFree:      4139956 kB
Dirty:           20640 kB
Writeback:           0 kB
AnonPages:       11540 kB
Mapped:          12864 kB
Slab:            73192 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182540 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62492 MiB
End job on node010 at 2010-06-21 18:15:07