Trace number 2675945

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.07 1699.32

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
MD5SUM8c486f10dc9ea0956b38d79189648654
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 benchmark786.704
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables109757
Total number of constraints313451
Number of constraints which are clauses295929
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17522
Minimum length of a constraint1
Maximum length of a constraint15
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 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.08 0.80 0.75 3/105 13470
/proc/meminfo: memFree=1593428/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=16708 CPUtime=0
/proc/13470/stat : 13470 (python) R 13468 13470 13150 0 -1 4202496 738 0 0 0 0 0 0 0 21 0 1 0 54778400 17108992 503 1992294400 4194304 4196484 140737410441888 18446744073709551615 270558245573 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/13470/statm: 4177 505 272 1 0 273 0

[startup+0.06369 s]
/proc/loadavg: 1.08 0.80 0.75 3/105 13470
/proc/meminfo: memFree=1593428/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=18488 CPUtime=0.05
/proc/13470/stat : 13470 (python) R 13468 13470 13150 0 -1 4202496 2042 0 0 0 3 2 0 0 21 0 1 0 54778400 18931712 1046 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558584464 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/13470/statm: 4623 1047 423 1 0 603 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18488

[startup+0.100685 s]
/proc/loadavg: 1.08 0.80 0.75 3/105 13470
/proc/meminfo: memFree=1593428/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=32156 CPUtime=0.08
/proc/13470/stat : 13470 (python) R 13468 13470 13150 0 -1 4202496 2414 0 0 0 4 4 0 0 21 0 1 0 54778400 32927744 1390 1992294400 4194304 4196484 140736907645168 18446744073709551615 47316115913962 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/13470/statm: 8039 1390 459 1 0 911 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32156

[startup+0.300709 s]
/proc/loadavg: 1.08 0.80 0.75 3/105 13470
/proc/meminfo: memFree=1593428/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=71248 CPUtime=0.24
/proc/13470/stat : 13470 (python) R 13468 13470 13150 0 -1 4202496 4111 0 0 0 15 9 0 0 20 0 1 0 54778400 72957952 2933 1992294400 4194304 4196484 140736907645168 18446744073709551615 47316115907176 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/13470/statm: 17812 2933 693 1 0 2299 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 71248

[startup+0.700749 s]
/proc/loadavg: 1.08 0.80 0.75 3/105 13470
/proc/meminfo: memFree=1593428/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=98792 CPUtime=0.55
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 4892 0 0 0 32 23 0 0 20 0 1 0 54778400 101163008 3586 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558582784 0 2147483391 16781312 2 18446744071699268798 0 0 17 0 0 0 0
/proc/13470/statm: 24698 3586 1022 1 0 2555 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 98792

[startup+1.50083 s]
/proc/loadavg: 1.08 0.80 0.75 2/106 13475
/proc/meminfo: memFree=1575432/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=129984 CPUtime=1.13
/proc/13470/stat : 13470 (python) R 13468 13470 13150 0 -1 4202496 9933 930 0 0 77 35 0 1 19 0 1 0 54778400 133103616 6295 1992294400 4194304 4196484 140736907645168 18446744073709551615 47316115264434 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/13470/statm: 32496 6295 1123 1 0 5166 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 129984

[startup+3.10845 s]
/proc/loadavg: 1.08 0.80 0.75 2/107 13476
/proc/meminfo: memFree=1542068/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=132052 CPUtime=1.25
/proc/13470/stat : 13470 (python) R 13468 13470 13150 0 -1 4202496 10286 930 0 0 87 37 0 1 15 0 1 0 54778400 135221248 6307 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558582784 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/13470/statm: 33013 6307 1133 1 0 5165 0
[pid=13476] ppid=13470 vsize=32580 CPUtime=1.57
/proc/13476/stat : 13476 (clasp-1.3.3-x86) R 13470 13476 13476 0 -1 4202496 8914 0 0 0 153 4 0 0 25 0 1 0 54778550 33361920 7787 1992294400 134512640 136080129 4290002544 18446744073709551615 134849212 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/13476/statm: 8145 7787 175 383 0 7760 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 164632

[startup+6.56638 s]
/proc/loadavg: 1.32 0.85 0.77 2/107 13476
/proc/meminfo: memFree=1539836/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=132052 CPUtime=1.45
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 10296 930 0 0 104 40 0 1 16 0 1 0 54778400 135221248 6307 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558604815 0 0 16781312 2 159688670771686152 0 0 17 0 0 0 0
/proc/13470/statm: 33013 6307 1133 1 0 5165 0
[pid=13476] ppid=13470 vsize=33528 CPUtime=5.03
/proc/13476/stat : 13476 (clasp-1.3.3-x86) R 13470 13476 13476 0 -1 4202496 9159 0 0 0 499 4 0 0 25 0 1 0 54778550 34332672 8032 1992294400 134512640 136080129 4290002544 18446744073709551615 134849100 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/13476/statm: 8382 8032 175 383 0 7997 0
Current children cumulated CPU time (s) 6.48
Current children cumulated vsize (KiB) 165580

[startup+12.701 s]
/proc/loadavg: 1.29 0.85 0.77 2/107 13479
/proc/meminfo: memFree=1551376/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=11.95
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 11573 11198 0 0 141 43 1004 7 15 0 1 0 54778400 137330688 6329 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558604815 0 0 16781312 2 159836005329808136 0 0 17 1 0 0 0
/proc/13470/statm: 33528 6329 1143 1 0 5165 0
[pid=13479] ppid=13470 vsize=32448 CPUtime=1.01
/proc/13479/stat : 13479 (clasp-1.3.3-x86) R 13470 13479 13479 0 -1 4202496 8852 0 0 0 97 4 0 0 22 0 1 0 54779566 33226752 7732 1992294400 134512640 136080129 4290426912 18446744073709551615 134849692 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/13479/statm: 8112 7732 175 383 0 7727 0
Current children cumulated CPU time (s) 12.96
Current children cumulated vsize (KiB) 166560

[startup+25.5004 s]
/proc/loadavg: 1.31 0.87 0.78 2/107 13479
/proc/meminfo: memFree=1539968/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=12.7
/proc/13470/stat : 13470 (python) R 13468 13470 13150 0 -1 4202496 11617 11198 0 0 209 50 1004 7 15 0 1 0 54778400 137330688 6329 1992294400 4194304 4196484 140736907645168 18446744073709551615 47316116148419 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/13470/statm: 33529 6329 1143 1 0 5166 0
[pid=13479] ppid=13470 vsize=34588 CPUtime=13.73
/proc/13479/stat : 13479 (clasp-1.3.3-x86) R 13470 13479 13479 0 -1 4202496 9409 0 0 0 1369 4 0 0 25 0 1 0 54779566 35418112 8289 1992294400 134512640 136080129 4290426912 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/13479/statm: 8647 8289 175 383 0 8262 0
Current children cumulated CPU time (s) 26.43
Current children cumulated vsize (KiB) 168700

[startup+51.1011 s]
/proc/loadavg: 1.20 0.88 0.78 2/107 13481
/proc/meminfo: memFree=1536868/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=14.21
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 11701 11198 0 0 342 68 1004 7 16 0 1 0 54778400 137330688 6329 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558604815 0 0 16781312 2 159836005329808136 0 0 17 1 0 0 0
/proc/13470/statm: 33528 6329 1143 1 0 5165 0
[pid=13479] ppid=13470 vsize=37732 CPUtime=39.17
/proc/13479/stat : 13479 (clasp-1.3.3-x86) R 13470 13479 13479 0 -1 4202496 10185 0 0 0 3911 6 0 0 25 0 1 0 54779566 38637568 9065 1992294400 134512640 136080129 4290426912 18446744073709551615 134849731 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/13479/statm: 9433 9065 175 383 0 9048 0
Current children cumulated CPU time (s) 53.38
Current children cumulated vsize (KiB) 171844

[startup+102.309 s]
/proc/loadavg: 1.15 0.91 0.80 2/107 13484
/proc/meminfo: memFree=1524964/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=67.85
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 12942 23118 0 0 658 92 6019 16 15 0 1 0 54778400 137330688 6331 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558604815 0 0 16781312 2 159836005329808136 0 0 17 1 0 0 0
/proc/13470/statm: 33528 6331 1143 1 0 5165 0
[pid=13484] ppid=13470 vsize=54476 CPUtime=39.8
/proc/13484/stat : 13484 (wbo1.4a) R 13470 13484 13484 0 -1 4202496 15854 0 0 0 3962 18 0 0 25 0 1 0 54784624 55783424 11980 1992294400 134512640 135751879 4293804624 18446744073709551615 134611016 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/13484/statm: 13619 11980 139 303 0 13314 0
Current children cumulated CPU time (s) 107.65
Current children cumulated vsize (KiB) 188588

[startup+162.302 s]
/proc/loadavg: 1.12 0.94 0.81 2/107 13489
/proc/meminfo: memFree=1535380/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=122.09
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 14241 40192 0 0 970 140 11060 39 15 0 1 0 54778400 137330688 6332 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558604815 0 0 16781312 2 159688670771686152 0 0 17 0 0 0 0
/proc/13470/statm: 33528 6332 1143 1 0 5165 0
[pid=13487] ppid=13470 vsize=39320 CPUtime=48.76
/proc/13487/stat : 13487 (clasp-1.3.3-x86) R 13470 13487 13487 0 -1 4202496 10595 0 0 0 4871 5 0 0 25 0 1 0 54789723 40263680 9471 1992294400 134512640 136080129 4286667248 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/13487/statm: 9830 9471 175 383 0 9445 0
Current children cumulated CPU time (s) 170.85
Current children cumulated vsize (KiB) 173432

[startup+222.301 s]
/proc/loadavg: 1.15 0.98 0.83 2/107 13494
/proc/meminfo: memFree=1529924/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=226.29
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 15455 52942 0 0 1287 199 21095 48 15 0 1 0 54778400 137330688 6333 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558604815 0 0 16781312 2 159688670771686152 0 0 17 0 0 0 0
/proc/13470/statm: 33528 6333 1143 1 0 5165 0
[pid=13494] ppid=13470 vsize=49656 CPUtime=7.97
/proc/13494/stat : 13494 (wbo1.4a) R 13470 13494 13494 0 -1 4202496 14666 0 0 0 791 6 0 0 25 0 1 0 54799832 50847744 10788 1992294400 134512640 135751879 4293261824 18446744073709551615 134604712 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/13494/statm: 12414 10788 139 303 0 12109 0
Current children cumulated CPU time (s) 234.26
Current children cumulated vsize (KiB) 183768

[startup+282.308 s]
/proc/loadavg: 1.06 0.98 0.84 2/107 13496
/proc/meminfo: memFree=1520252/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=229.88
/proc/13470/stat : 13470 (python) R 13468 13470 13150 0 -1 4202496 15539 52942 0 0 1584 261 21095 48 15 0 1 0 54778400 137330688 6334 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558278022 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/13470/statm: 33528 6334 1143 1 0 5165 0
[pid=13494] ppid=13470 vsize=59604 CPUtime=67.96
/proc/13494/stat : 13494 (wbo1.4a) R 13470 13494 13494 0 -1 4202496 17128 0 0 0 6769 27 0 0 25 0 1 0 54799832 61034496 13250 1992294400 134512640 135751879 4293261824 18446744073709551615 134604625 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/13494/statm: 14901 13250 139 303 0 14596 0
Current children cumulated CPU time (s) 297.84
Current children cumulated vsize (KiB) 193716

[startup+342.301 s]
/proc/loadavg: 1.07 1.00 0.85 2/107 13499
/proc/meminfo: memFree=1374800/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=334.45
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 16793 72649 0 0 1878 334 31144 89 15 0 1 0 54778400 137330688 6335 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558604815 0 0 16781312 2 159688670771686152 0 0 17 0 0 0 0
/proc/13470/statm: 33528 6335 1143 1 0 5165 0
[pid=13499] ppid=13470 vsize=205232 CPUtime=26.99
/proc/13499/stat : 13499 (wbo1.4b) R 13470 13499 13499 0 -1 4202496 53301 0 0 0 2682 17 0 0 25 0 1 0 54809928 210157568 49428 1992294400 134512640 135751879 4293418480 18446744073709551615 134524597 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/13499/statm: 51308 49428 142 303 0 51003 0
Current children cumulated CPU time (s) 361.44
Current children cumulated vsize (KiB) 339344

[startup+402.301 s]
/proc/loadavg: 1.12 1.03 0.87 2/119 13516
/proc/meminfo: memFree=1338232/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=388.87
/proc/13470/stat : 13470 (python) R 13468 13470 13150 0 -1 4202496 18095 132818 0 0 2187 392 36195 113 15 0 1 0 54778400 137330688 6335 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558627975 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/13470/statm: 33528 6335 1143 1 0 5165 0
[pid=13504] ppid=13470 vsize=1478572 CPUtime=38.28
/proc/13504/stat : 13504 (java) S 13470 13504 13504 0 -1 4202496 59318 0 91 0 3796 32 0 0 18 0 13 0 54815007 1514057728 57079 1992294400 134512640 134550932 4292116688 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7
/proc/13504/statm: 369643 57079 1437 10 0 366945 0
[pid=13504/tid=13505] ppid=13470 vsize=1478572 CPUtime=33.92
/proc/13504/task/13505/stat : 13505 (java) R 13470 13504 13504 0 -1 4202560 30915 0 57 0 3376 16 0 0 25 0 13 0 54815018 1514057728 57079 1992294400 134512640 134550932 4292116688 18446744073709551615 4109397033 0 4 0 16800975 0 0 0 -1 0 0 0 13
[pid=13504/tid=13506] ppid=13470 vsize=1478572 CPUtime=1.21
/proc/13504/task/13506/stat : 13506 (java) S 13470 13504 13504 0 -1 4202560 11610 0 0 0 115 6 0 0 16 0 13 0 54815023 1514057728 57079 1992294400 134512640 134550932 4292116688 18446744073709551615 4294960144 0 4 0 16800975 18446604437837669440 0 0 -1 1 0 0 0
[pid=13504/tid=13507] ppid=13470 vsize=1478572 CPUtime=1.28
/proc/13504/task/13507/stat : 13507 (java) S 13470 13504 13504 0 -1 4202560 13871 0 0 0 122 6 0 0 15 0 13 0 54815023 1514057728 57079 1992294400 134512640 134550932 4292116688 18446744073709551615 4294960144 0 4 0 16800975 18446604437837669440 0 0 -1 0 0 0 0
[pid=13504/tid=13508] ppid=13470 vsize=1478572 CPUtime=0.01

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

/proc/13594/statm: 11471 11114 175 383 0 11086 0
Current children cumulated CPU time (s) 1063.93
Current children cumulated vsize (KiB) 179996

[startup+1062.3 s]
/proc/loadavg: 1.08 1.04 0.94 2/107 13600
/proc/meminfo: memFree=1516456/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=873.91
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 40182 539507 0 92 5774 828 80446 343 15 0 1 0 54778400 137330688 6345 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558604815 0 0 16781312 2 159836005329808136 0 0 17 1 0 0 0
/proc/13470/statm: 33528 6345 1143 1 0 5165 0
[pid=13594] ppid=13470 vsize=46300 CPUtime=253.5
/proc/13594/stat : 13594 (clasp-1.3.3-x86) R 13470 13594 13594 0 -1 4202496 12328 0 0 0 25343 7 0 0 25 0 1 0 54859209 47411200 11200 1992294400 134512640 136080129 4293175968 18446744073709551615 134803236 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/13594/statm: 11575 11200 175 383 0 11190 0
Current children cumulated CPU time (s) 1127.41
Current children cumulated vsize (KiB) 180412

[startup+1122.3 s]
/proc/loadavg: 1.06 1.05 0.94 2/107 13605
/proc/meminfo: memFree=1493020/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=1177.69
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 41424 553459 0 92 6101 864 110451 353 15 0 1 0 54778400 137330688 6345 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558604815 0 0 16781312 2 159688670771686152 0 0 17 0 0 0 0
/proc/13470/statm: 33528 6345 1143 1 0 5165 0
[pid=13605] ppid=13470 vsize=80176 CPUtime=13.22
/proc/13605/stat : 13605 (bsolo_pb10) R 13470 13605 13605 0 -1 4202496 20659 0 0 0 1315 7 0 0 25 0 1 0 54889298 82100224 17104 1992294400 134512640 137138936 4293869104 18446744073709551615 136504512 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/13605/statm: 20044 17104 183 642 0 19400 0
Current children cumulated CPU time (s) 1190.91
Current children cumulated vsize (KiB) 214288

[startup+1182.3 s]
/proc/loadavg: 1.13 1.07 0.95 2/107 13607
/proc/meminfo: memFree=1492152/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=1181.19
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 41511 553459 0 92 6406 909 110451 353 15 0 1 0 54778400 137330688 6345 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558604815 0 0 16781312 2 159688670771686152 0 0 17 0 0 0 0
/proc/13470/statm: 33528 6345 1143 1 0 5165 0
[pid=13605] ppid=13470 vsize=81100 CPUtime=72.84
/proc/13605/stat : 13605 (bsolo_pb10) R 13470 13605 13605 0 -1 4202496 20891 0 0 0 7273 11 0 0 25 0 1 0 54889298 83046400 17336 1992294400 134512640 137138936 4293869104 18446744073709551615 134542128 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/13605/statm: 20275 17336 183 642 0 19631 0
Current children cumulated CPU time (s) 1254.03
Current children cumulated vsize (KiB) 215212

[startup+1242.3 s]
/proc/loadavg: 1.15 1.08 0.97 2/107 13622
/proc/meminfo: memFree=1527492/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=1295.94
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 44014 585727 0 92 6714 965 121540 375 15 0 1 0 54778400 137330688 6346 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558604815 0 0 16781312 2 159688670771686152 0 0 17 0 0 0 0
/proc/13470/statm: 33528 6346 1143 1 0 5165 0
[pid=13622] ppid=13470 vsize=35388 CPUtime=21.28
/proc/13622/stat : 13622 (clasp-1.3.3-x86) R 13470 13622 13622 0 -1 4202496 9631 0 0 0 2123 5 0 0 25 0 1 0 54900486 36237312 8500 1992294400 134512640 136080129 4294860912 18446744073709551615 134849100 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/13622/statm: 8847 8500 175 383 0 8462 0
Current children cumulated CPU time (s) 1317.22
Current children cumulated vsize (KiB) 169500

[startup+1302.3 s]
/proc/loadavg: 1.09 1.08 0.97 2/107 13624
/proc/meminfo: memFree=1519060/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=1299.44
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 44085 585727 0 92 7015 1014 121540 375 15 0 1 0 54778400 137330688 6346 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558604815 0 0 16781312 2 159688670771686152 0 0 17 0 0 0 0
/proc/13470/statm: 33528 6346 1143 1 0 5165 0
[pid=13622] ppid=13470 vsize=43556 CPUtime=80.94
/proc/13622/stat : 13622 (clasp-1.3.3-x86) R 13470 13622 13622 0 -1 4202496 11673 0 0 0 8086 8 0 0 25 0 1 0 54900486 44601344 10542 1992294400 134512640 136080129 4294860912 18446744073709551615 134850034 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/13622/statm: 10889 10542 175 383 0 10504 0
Current children cumulated CPU time (s) 1380.38
Current children cumulated vsize (KiB) 177668

[startup+1362.3 s]
/proc/loadavg: 1.03 1.06 0.97 2/107 13635
/proc/meminfo: memFree=1527492/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=1423.73
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 47787 619466 0 92 7320 1073 133582 398 15 0 1 0 54778400 137330688 6347 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558604815 0 0 16781312 2 159836005329808136 0 0 17 1 0 0 0
/proc/13470/statm: 33528 6347 1143 1 0 5165 0
[pid=13635] ppid=13470 vsize=35388 CPUtime=19.98
/proc/13635/stat : 13635 (clasp-1.3.3-x86) R 13470 13635 13635 0 -1 4202496 9612 0 0 0 1993 5 0 0 25 0 1 0 54912629 36237312 8482 1992294400 134512640 136080129 4289859520 18446744073709551615 134849206 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/13635/statm: 8847 8482 175 383 0 8462 0
Current children cumulated CPU time (s) 1443.71
Current children cumulated vsize (KiB) 169500

[startup+1422.31 s]
/proc/loadavg: 1.01 1.05 0.97 2/107 13643
/proc/meminfo: memFree=1527244/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=1488.01
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 50304 641781 0 92 7626 1129 139631 415 15 0 1 0 54778400 137330688 6347 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558604815 0 0 16781312 2 159836005329808136 0 0 17 1 0 0 0
/proc/13470/statm: 33528 6347 1143 1 0 5165 0
[pid=13643] ppid=13470 vsize=35248 CPUtime=19.25
/proc/13643/stat : 13643 (clasp-1.3.3-x86) R 13470 13643 13643 0 -1 4202496 9612 0 0 0 1921 4 0 0 25 0 1 0 54918703 36093952 8479 1992294400 134512640 136080129 4292440256 18446744073709551615 134849112 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/13643/statm: 8812 8479 175 383 0 8427 0
Current children cumulated CPU time (s) 1507.26
Current children cumulated vsize (KiB) 169360

[startup+1482.3 s]
/proc/loadavg: 1.06 1.05 0.98 2/107 13645
/proc/meminfo: memFree=1520548/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=1491.51
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 50375 641781 0 92 7907 1198 139631 415 15 0 1 0 54778400 137330688 6347 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558604815 0 0 16781312 2 159836005329808136 0 0 17 1 0 0 0
/proc/13470/statm: 33528 6347 1143 1 0 5165 0
[pid=13643] ppid=13470 vsize=42088 CPUtime=79.23
/proc/13643/stat : 13643 (clasp-1.3.3-x86) R 13470 13643 13643 0 -1 4202496 11311 0 0 0 7917 6 0 0 25 0 1 0 54918703 43098112 10178 1992294400 134512640 136080129 4292440256 18446744073709551615 134849206 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/13643/statm: 10522 10178 175 383 0 10137 0
Current children cumulated CPU time (s) 1570.74
Current children cumulated vsize (KiB) 176200

[startup+1542.3 s]
/proc/loadavg: 1.18 1.09 0.99 2/107 13654
/proc/meminfo: memFree=1527616/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=1615.93
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 54107 675379 0 92 8210 1263 151684 436 15 0 1 0 54778400 137330688 6348 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558604815 0 0 16781312 2 159688670771686152 0 0 17 0 0 0 0
/proc/13470/statm: 33528 6348 1143 1 0 5165 0
[pid=13654] ppid=13470 vsize=34976 CPUtime=18.33
/proc/13654/stat : 13654 (clasp-1.3.3-x86) R 13470 13654 13654 0 -1 4202496 9517 0 0 0 1828 5 0 0 25 0 1 0 54930795 35815424 8388 1992294400 134512640 136080129 4287436672 18446744073709551615 134849659 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/13654/statm: 8744 8388 175 383 0 8359 0
Current children cumulated CPU time (s) 1634.26
Current children cumulated vsize (KiB) 169088

[startup+1602.3 s]
/proc/loadavg: 1.18 1.10 1.00 2/107 13656
/proc/meminfo: memFree=1520548/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=1619.44
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 54182 675379 0 92 8501 1323 151684 436 15 0 1 0 54778400 137330688 6348 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558604815 0 0 16781312 2 159688670771686152 0 0 17 0 0 0 0
/proc/13470/statm: 33528 6348 1143 1 0 5165 0
[pid=13654] ppid=13470 vsize=42012 CPUtime=78.31
/proc/13654/stat : 13654 (clasp-1.3.3-x86) R 13470 13654 13654 0 -1 4202496 11294 0 0 0 7824 7 0 0 25 0 1 0 54930795 43020288 10165 1992294400 134512640 136080129 4287436672 18446744073709551615 134610270 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/13654/statm: 10503 10165 175 383 0 10118 0
Current children cumulated CPU time (s) 1697.75
Current children cumulated vsize (KiB) 176124

[startup+1662.3 s]
/proc/loadavg: 1.10 1.09 1.00 2/107 13667
/proc/meminfo: memFree=1527616/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=1744.33
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 57881 708733 0 92 8808 1380 163786 459 15 0 1 0 54778400 137330688 6349 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558604815 0 0 16781312 2 159836005329808136 0 0 17 1 0 0 0
/proc/13470/statm: 33528 6349 1143 1 0 5165 0
[pid=13667] ppid=13470 vsize=34968 CPUtime=16.8
/proc/13667/stat : 13667 (clasp-1.3.3-x86) R 13470 13667 13667 0 -1 4202496 9543 0 0 0 1675 5 0 0 25 0 1 0 54942939 35807232 8413 1992294400 134512640 136080129 4291042944 18446744073709551615 134617067 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/13667/statm: 8742 8413 175 383 0 8357 0
Current children cumulated CPU time (s) 1761.13
Current children cumulated vsize (KiB) 169080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1699.3 s]
/proc/loadavg: 1.06 1.08 1.00 2/107 13667
/proc/meminfo: memFree=1524020/2059040 swapFree=4139632/4192956
[pid=13470] ppid=13468 vsize=134112 CPUtime=1746.5
/proc/13470/stat : 13470 (python) S 13468 13470 13150 0 -1 4202496 57944 708733 0 92 8998 1407 163786 459 15 0 1 0 54778400 137330688 6349 1992294400 4194304 4196484 140736907645168 18446744073709551615 270558604815 0 0 16781312 2 159836005329808136 0 0 17 1 0 0 0
/proc/13470/statm: 33528 6349 1143 1 0 5165 0
[pid=13667] ppid=13470 vsize=38336 CPUtime=53.57
/proc/13667/stat : 13667 (clasp-1.3.3-x86) R 13470 13667 13667 0 -1 4202496 10375 0 0 0 5351 6 0 0 25 0 1 0 54942939 39256064 9245 1992294400 134512640 136080129 4291042944 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/13667/statm: 9584 9245 175 383 0 9199 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 172448

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 13470 and gives
#  childrusage.ru_utime.tv_sec=1727
#  childrusage.ru_utime.tv_usec=852326
#  childrusage.ru_stime.tv_sec=18
#  childrusage.ru_stime.tv_usec=678160
# CPU time returned by wait4() is 1746.53
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1699.32
CPU time (s): 1800.07
CPU user time (s): 1781.35
CPU system time (s): 18.72
CPU usage (%): 105.929
Max. virtual memory (cumulated for all children) (KiB): 1613032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1727.85
system time used= 18.6782
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 766678
page faults= 92
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13029
involuntary context switches= 26806

runsolver used 2.93055 second user time and 8.13176 second system time

The end

Launcher Data 

Begin job on node082 at 2010-06-21 17:40:49
IDJOB=2675945
IDBENCH=1489
IDSOLVER=1178
FILE ID=node082/2675945-1277134848
PBS_JOBID= 11182069
Free space on /tmp= 62508 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2675945-1277134848/watcher-2675945-1277134848 -o /tmp/evaluation-result-2675945-1277134848/solver-2675945-1277134848 -C 1800 -W 2000 -M 1800  solver HOME/instance-2675945-1277134848.opb 411184918 

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

MD5SUM BENCH= 8c486f10dc9ea0956b38d79189648654
RANDOM SEED=411184918

node082.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.215
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.43
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.215
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1593956 kB
Buffers:        127176 kB
Cached:         239448 kB
SwapCached:       6312 kB
Active:         213904 kB
Inactive:       166360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1593956 kB
SwapTotal:     4192956 kB
SwapFree:      4139632 kB
Dirty:           31812 kB
Writeback:           0 kB
AnonPages:       12080 kB
Mapped:          12892 kB
Slab:            63100 kB
PageTables:       3964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183604 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62488 MiB
End job on node082 at 2010-06-21 18:09:10