Trace number 2685044

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

General information on the benchmark

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

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: 0.92 0.98 0.99 2/106 20501
/proc/meminfo: memFree=1437472/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=24036 CPUtime=0
/proc/20501/stat : 20501 (runsolver) D 20499 20501 20235 0 -1 4202560 82 0 0 0 0 0 0 0 19 0 1 0 12103185 24612864 106 1992294400 4194304 4302564 140733315713024 18446744073709551615 242479637495 0 0 4096 24578 18446744071562234166 0 0 17 1 0 0 0
/proc/20501/statm: 6009 106 69 27 0 2647 0

[startup+0.105528 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 20501
/proc/meminfo: memFree=1437472/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=17960 CPUtime=0.04
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 1810 0 9 0 2 2 0 0 16 0 1 0 12103185 18391040 871 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479812453 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 2
/proc/20501/statm: 4490 871 399 1 0 470 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17960

[startup+0.201416 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 20501
/proc/meminfo: memFree=1437472/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=31508 CPUtime=0.07
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 2210 0 14 0 3 4 0 0 15 0 1 0 12103185 32264192 1239 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479812453 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 4
/proc/20501/statm: 7877 1239 458 1 0 749 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 31508

[startup+0.301456 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 20501
/proc/meminfo: memFree=1437472/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=41036 CPUtime=0.12
/proc/20501/stat : 20501 (python) D 20499 20501 20235 0 -1 4202496 2542 0 17 0 6 6 0 0 15 0 1 0 12103185 42020864 1553 1992294400 4194304 4196484 140734114944016 18446744073709551615 242474893031 0 0 16781312 2 18446744071562234166 0 0 17 0 0 0 5
/proc/20501/statm: 10259 1553 475 1 0 1059 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 41036

[startup+0.701482 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 20501
/proc/meminfo: memFree=1437472/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=94028 CPUtime=0.32
/proc/20501/stat : 20501 (python) R 20499 20501 20235 0 -1 4202496 4517 0 40 0 18 14 0 0 15 0 1 0 12103185 96284672 3387 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479814656 0 2147483391 16781312 2 0 0 0 17 0 0 0 12
/proc/20501/statm: 23507 3387 1001 1 0 2395 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 94028

[startup+1.50156 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 20502
/proc/meminfo: memFree=1408944/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=114072 CPUtime=0.84
/proc/20501/stat : 20501 (python) R 20499 20501 20235 0 -1 4202496 7731 917 42 8 52 32 0 0 16 0 1 0 12103185 116809728 5299 1992294400 4194304 4196484 140734114944016 18446744073709551615 46957817061330 0 0 16781312 2 0 0 0 17 0 0 0 16
/proc/20501/statm: 28518 5299 1054 1 0 4286 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 114072

[startup+3.10074 s]
/proc/loadavg: 0.92 0.98 0.99 3/108 20507
/proc/meminfo: memFree=1390352/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=132040 CPUtime=1.3
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 9938 917 47 8 85 45 0 0 15 0 1 0 12103185 135208960 6260 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159836005329808053 0 0 17 1 0 0 19
/proc/20501/statm: 33010 6260 1132 1 0 5162 0
[pid=20507] ppid=20501 vsize=10176 CPUtime=0.92
/proc/20507/stat : 20507 (clasp-1.3.3-x86) R 20501 20507 20507 0 -1 4202496 2861 0 0 0 91 1 0 0 19 0 1 0 12103400 10420224 2267 1992294400 134512640 136080129 4290930512 18446744073709551615 134849493 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/20507/statm: 2544 2267 175 383 0 2159 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 142216
heavy processes:

[startup+6.3011 s]
/proc/loadavg: 0.93 0.98 0.99 2/108 20507
/proc/meminfo: memFree=1385516/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=132040 CPUtime=1.54
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 9951 917 47 8 106 48 0 0 15 0 1 0 12103185 135208960 6260 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159836005329808053 0 0 17 1 0 0 19
/proc/20501/statm: 33010 6260 1132 1 0 5162 0
[pid=20507] ppid=20501 vsize=12316 CPUtime=4.11
/proc/20507/stat : 20507 (clasp-1.3.3-x86) R 20501 20507 20507 0 -1 4202496 3380 0 0 0 409 2 0 0 25 0 1 0 12103400 12611584 2786 1992294400 134512640 136080129 4290930512 18446744073709551615 134849462 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/20507/statm: 3079 2786 175 383 0 2694 0
Current children cumulated CPU time (s) 5.65
Current children cumulated vsize (KiB) 144356

[startup+12.7026 s]
/proc/loadavg: 1.01 1.00 1.00 3/108 20507
/proc/meminfo: memFree=1382672/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=12.46
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 10255 5252 47 8 149 53 1040 4 17 0 1 0 12103185 137318400 6263 1992294400 4194304 4196484 140734114944016 18446744073709551615 242491646725 0 0 16781312 2 18446744071562232103 0 0 17 1 0 0 19
/proc/20501/statm: 33525 6263 1134 1 0 5162 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 134100

[startup+25.5005 s]
/proc/loadavg: 1.16 1.03 1.01 2/108 20510
/proc/meminfo: memFree=1381992/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=13.52
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 11250 5712 47 8 242 65 1040 5 16 0 1 0 12103185 137318400 6282 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159836005329808053 0 0 17 1 0 0 19
/proc/20501/statm: 33525 6282 1142 1 0 5162 0
[pid=20510] ppid=20501 vsize=15088 CPUtime=12.77
/proc/20510/stat : 20510 (clasp-1.3.3-x86) R 20501 20510 20510 0 -1 4202496 4097 0 0 0 1275 2 0 0 25 0 1 0 12104457 15450112 3500 1992294400 134512640 136080129 4294292368 18446744073709551615 134849100 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/20510/statm: 3772 3500 175 383 0 3387 0
Current children cumulated CPU time (s) 26.29
Current children cumulated vsize (KiB) 149188

[startup+51.1003 s]
/proc/loadavg: 1.10 1.03 1.01 2/108 20511
/proc/meminfo: memFree=1377900/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=15.45
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 11323 5712 47 8 416 84 1040 5 15 0 1 0 12103185 137318400 6282 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159836005329808053 0 0 17 1 0 0 19
/proc/20501/statm: 33525 6282 1142 1 0 5162 0
[pid=20510] ppid=20501 vsize=18872 CPUtime=38.35
/proc/20510/stat : 20510 (clasp-1.3.3-x86) R 20501 20510 20510 0 -1 4202496 5049 0 0 0 3833 2 0 0 25 0 1 0 12104457 19324928 4452 1992294400 134512640 136080129 4294292368 18446744073709551615 134849989 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/20510/statm: 4718 4452 175 383 0 4333 0
Current children cumulated CPU time (s) 53.8
Current children cumulated vsize (KiB) 152972

[startup+102.301 s]
/proc/loadavg: 1.08 1.04 1.01 2/108 20515
/proc/meminfo: memFree=1367112/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=69.79
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 12517 12288 47 8 794 133 6042 10 15 0 1 0 12103185 137318400 6283 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159688670771686069 0 0 17 0 0 0 19
/proc/20501/statm: 33525 6283 1142 1 0 5162 0
[pid=20514] ppid=20501 vsize=31880 CPUtime=39.19
/proc/20514/stat : 20514 (wbo1.4a) R 20501 20514 20514 0 -1 4202496 8807 0 0 0 3897 22 0 0 25 0 1 0 12109469 32645120 7241 1992294400 134512640 135751879 4291393440 18446744073709551615 134616380 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/20514/statm: 7970 7241 139 303 0 7665 0
Current children cumulated CPU time (s) 108.98
Current children cumulated vsize (KiB) 165980

[startup+162.301 s]
/proc/loadavg: 1.10 1.04 1.01 2/108 20520
/proc/meminfo: memFree=1375668/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=124.77
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 13819 23048 47 8 1197 185 11055 40 15 0 1 0 12103185 137318400 6285 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159836005329808053 0 0 17 1 0 0 19
/proc/20501/statm: 33525 6285 1142 1 0 5162 0
[pid=20518] ppid=20501 vsize=21440 CPUtime=48.39
/proc/20518/stat : 20518 (clasp-1.3.3-x86) R 20501 20518 20518 0 -1 4202496 5663 0 0 0 4834 5 0 0 25 0 1 0 12114547 21954560 5060 1992294400 134512640 136080129 4294403712 18446744073709551615 134588745 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/20518/statm: 5360 5060 175 383 0 4975 0
Current children cumulated CPU time (s) 173.16
Current children cumulated vsize (KiB) 155540

[startup+222.309 s]
/proc/loadavg: 1.16 1.08 1.02 2/108 20524
/proc/meminfo: memFree=1378272/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=230.04
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 15011 31081 47 8 1642 240 21073 49 16 0 1 0 12103185 137318400 6285 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159836005329808053 0 0 17 1 0 0 19
/proc/20501/statm: 33525 6285 1142 1 0 5162 0
[pid=20524] ppid=20501 vsize=20496 CPUtime=7.74
/proc/20524/stat : 20524 (wbo1.4a) R 20501 20524 20524 0 -1 4202496 5954 0 0 0 768 6 0 0 25 0 1 0 12124637 20987904 4387 1992294400 134512640 135751879 4292325776 18446744073709551615 134616355 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/20524/statm: 5124 4387 139 303 0 4819 0
Current children cumulated CPU time (s) 237.78
Current children cumulated vsize (KiB) 154596

[startup+282.302 s]
/proc/loadavg: 1.09 1.07 1.02 2/108 20526
/proc/meminfo: memFree=1355580/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=234.59
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 15101 31081 47 8 2048 289 21073 49 15 0 1 0 12103185 137318400 6285 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159836005329808053 0 0 17 1 0 0 19
/proc/20501/statm: 33525 6285 1142 1 0 5162 0
[pid=20524] ppid=20501 vsize=43456 CPUtime=67.35
/proc/20524/stat : 20524 (wbo1.4a) R 20501 20524 20524 0 -1 4202496 11680 0 0 0 6701 34 0 0 25 0 1 0 12124637 44498944 10113 1992294400 134512640 135751879 4292325776 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/20524/statm: 10864 10113 139 303 0 10559 0
Current children cumulated CPU time (s) 301.94
Current children cumulated vsize (KiB) 177556

[startup+342.301 s]
/proc/loadavg: 1.14 1.09 1.02 2/108 20540
/proc/meminfo: memFree=1324084/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=339.7
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 16377 46355 47 8 2451 344 31077 98 15 0 1 0 12103185 137318400 6287 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159688670771686069 0 0 17 0 0 0 19
/proc/20501/statm: 33525 6287 1142 1 0 5162 0
[pid=20530] ppid=20501 vsize=74752 CPUtime=26.58
/proc/20530/stat : 20530 (wbo1.4b) R 20501 20530 20530 0 -1 4202496 19437 0 0 0 2650 8 0 0 25 0 1 0 12134754 76546048 17867 1992294400 134512640 135751879 4292426240 18446744073709551615 134523933 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/20530/statm: 18688 17867 142 303 0 18383 0
Current children cumulated CPU time (s) 366.28
Current children cumulated vsize (KiB) 208852

[startup+402.302 s]
/proc/loadavg: 1.22 1.12 1.03 2/120 20556
/proc/meminfo: memFree=1206680/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=394.81
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 17639 70313 47 8 2873 397 36101 110 16 0 1 0 12103185 137318400 6287 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159836005329808053 0 0 17 1 0 0 19
/proc/20501/statm: 33525 6287 1142 1 0 5162 0
[pid=20543] ppid=20501 vsize=1488640 CPUtime=37.79
/proc/20543/stat : 20543 (java) S 20501 20543 20543 0 -1 4202496 49291 0 96 0 3755 24 0 0 16 0 13 0 12139796 1524367360 45590 1992294400 134512640 134550932 4294507424 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8
/proc/20543/statm: 372160 45590 1437 10 0 369462 0
[pid=20543/tid=20544] ppid=20501 vsize=1488640 CPUtime=34.63
/proc/20543/task/20544/stat : 20544 (java) R 20501 20543 20543 0 -1 4202560 30912 0 61 0 3448 15 0 0 25 0 13 0 12139807 1524367360 45590 1992294400 134512640 134550932 4294507424 18446744073709551615 4109128514 0 4 0 16800975 0 0 0 -1 0 0 0 10
[pid=20543/tid=20545] ppid=20501 vsize=1488640 CPUtime=0.36
/proc/20543/task/20545/stat : 20545 (java) S 20501 20543 20543 0 -1 4202560 5624 0 0 0 33 3 0 0 18 0 13 0 12139814 1524367360 45590 1992294400 134512640 134550932 4294507424 18446744073709551615 4294960144 0 4 0 16800975 18446604437861074048 0 0 -1 0 0 0 0
[pid=20543/tid=20546] ppid=20501 vsize=1488640 CPUtime=0.36
/proc/20543/task/20546/stat : 20546 (java) S 20501 20543 20543 0 -1 4202560 4809 0 0 0 34 2 0 0 18 0 13 0 12139814 1524367360 45590 1992294400 134512640 134550932 4294507424 18446744073709551615 4294960144 0 4 0 16800975 18446604437861074048 0 0 -1 1 0 0 0
[pid=20543/tid=20547] ppid=20501 vsize=1488640 CPUtime=0
/proc/20543/task/20547/stat : 20547 (java) S 20501 20543 20543 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 13 0 12139817 1524367360 45590 1992294400 134512640 134550932 4294507424 18446744073709551615 4294960144 0 0 0 16800975 18446604437861074048 0 0 -1 1 0 0 0
[pid=20543/tid=20548] ppid=20501 vsize=1488640 CPUtime=0

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

/proc/20633/statm: 9113 8823 175 383 0 8728 0
Current children cumulated CPU time (s) 1079.32
Current children cumulated vsize (KiB) 170552

[startup+1062.3 s]
/proc/loadavg: 1.12 1.09 1.03 2/108 20640
/proc/meminfo: memFree=1343488/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=893.47
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 39904 310971 47 105 7367 963 80730 287 15 0 1 0 12103185 137318400 6297 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159688670771686069 0 0 17 0 0 0 19
/proc/20501/statm: 33525 6297 1142 1 0 5162 0
[pid=20633] ppid=20501 vsize=42032 CPUtime=249.7
/proc/20633/stat : 20633 (clasp-1.3.3-x86) R 20501 20633 20633 0 -1 4202496 10810 0 0 0 24960 10 0 0 25 0 1 0 12184323 43040768 10206 1992294400 134512640 136080129 4292120864 18446744073709551615 134845904 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20633/statm: 10508 10206 175 383 0 10123 0
Current children cumulated CPU time (s) 1143.17
Current children cumulated vsize (KiB) 176132

[startup+1122.3 s]
/proc/loadavg: 1.15 1.10 1.04 2/108 20644
/proc/meminfo: memFree=1355144/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=1198.23
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 41139 322837 47 105 7764 1011 110748 300 15 0 1 0 12103185 137318400 6298 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159836005329808053 0 0 17 1 0 0 19
/proc/20501/statm: 33525 6298 1142 1 0 5162 0
[pid=20644] ppid=20501 vsize=38884 CPUtime=9.05
/proc/20644/stat : 20644 (bsolo_pb10) R 20501 20644 20644 0 -1 4202496 8554 0 0 0 900 5 0 0 25 0 1 0 12214509 39817216 7165 1992294400 134512640 137138936 4287926960 18446744073709551615 134542776 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/20644/statm: 9721 7165 184 642 0 9077 0
Current children cumulated CPU time (s) 1207.28
Current children cumulated vsize (KiB) 172984

[startup+1182.3 s]
/proc/loadavg: 1.10 1.10 1.04 2/108 20646
/proc/meminfo: memFree=1324764/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=1202.93
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 41252 322837 47 105 8189 1056 110748 300 15 0 1 0 12103185 137318400 6298 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159836005329808053 0 0 17 1 0 0 19
/proc/20501/statm: 33525 6298 1142 1 0 5162 0
[pid=20644] ppid=20501 vsize=69748 CPUtime=69.02
/proc/20644/stat : 20644 (bsolo_pb10) R 20501 20644 20644 0 -1 4202496 16777 0 0 0 6882 20 0 0 25 0 1 0 12214509 71421952 14870 1992294400 134512640 137138936 4287926960 18446744073709551615 134542922 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/20644/statm: 17437 14870 192 642 0 16793 0
Current children cumulated CPU time (s) 1271.95
Current children cumulated vsize (KiB) 203848

[startup+1242.3 s]
/proc/loadavg: 1.03 1.08 1.03 4/108 20654
/proc/meminfo: memFree=1368288/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=1318.56
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 43729 352472 47 105 8606 1106 121810 334 15 0 1 0 12103185 137318400 6299 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159836005329808053 0 0 17 1 0 0 19
/proc/20501/statm: 33525 6299 1142 1 0 5162 0
[pid=20653] ppid=20501 vsize=16804 CPUtime=17.91
/proc/20653/stat : 20653 (clasp-1.3.3-x86) R 20501 20653 20653 0 -1 4202496 4544 0 0 0 1789 2 0 0 25 0 1 0 12225622 17207296 3937 1992294400 134512640 136080129 4289633504 18446744073709551615 134808296 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/20653/statm: 4201 3937 175 383 0 3816 0
Current children cumulated CPU time (s) 1336.47
Current children cumulated vsize (KiB) 150904

[startup+1302.3 s]
/proc/loadavg: 1.10 1.09 1.04 2/108 20655
/proc/meminfo: memFree=1360972/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=1323.1
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 43813 352472 47 105 9013 1153 121810 334 16 0 1 0 12103185 137318400 6299 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159836005329808053 0 0 17 1 0 0 19
/proc/20501/statm: 33525 6299 1142 1 0 5162 0
[pid=20653] ppid=20501 vsize=23948 CPUtime=77.88
/proc/20653/stat : 20653 (clasp-1.3.3-x86) R 20501 20653 20653 0 -1 4202496 6306 0 0 0 7782 6 0 0 25 0 1 0 12225622 24522752 5699 1992294400 134512640 136080129 4289633504 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/20653/statm: 5987 5699 175 383 0 5602 0
Current children cumulated CPU time (s) 1400.98
Current children cumulated vsize (KiB) 158048

[startup+1362.3 s]
/proc/loadavg: 1.15 1.10 1.04 2/108 20666
/proc/meminfo: memFree=1369528/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=1449.21
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 47466 370183 47 105 9434 1207 133929 351 15 0 1 0 12103185 137318400 6300 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159836005329808053 0 0 17 1 0 0 19
/proc/20501/statm: 33525 6300 1142 1 0 5162 0
[pid=20665] ppid=20501 vsize=15088 CPUtime=16.25
/proc/20665/stat : 20665 (clasp-1.3.3-x86) R 20501 20665 20665 0 -1 4202496 4108 0 0 0 1623 2 0 0 25 0 1 0 12237779 15450112 3503 1992294400 134512640 136080129 4288530400 18446744073709551615 134808149 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/20665/statm: 3772 3503 175 383 0 3387 0
Current children cumulated CPU time (s) 1465.46
Current children cumulated vsize (KiB) 149188

[startup+1422.3 s]
/proc/loadavg: 1.05 1.08 1.03 2/108 20675
/proc/meminfo: memFree=1368660/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=1514.64
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 49977 381649 47 105 9848 1259 139996 361 15 0 1 0 12103185 137318400 6300 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159836005329808053 0 0 17 1 0 0 19
/proc/20501/statm: 33525 6300 1142 1 0 5162 0
[pid=20673] ppid=20501 vsize=15088 CPUtime=15.09
/proc/20673/stat : 20673 (clasp-1.3.3-x86) R 20501 20673 20673 0 -1 4202496 4104 0 0 0 1506 3 0 0 25 0 1 0 12243895 15450112 3500 1992294400 134512640 136080129 4287357472 18446744073709551615 134803213 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20673/statm: 3772 3500 175 383 0 3387 0
Current children cumulated CPU time (s) 1529.73
Current children cumulated vsize (KiB) 149188

[startup+1482.3 s]
/proc/loadavg: 1.07 1.08 1.03 2/108 20678
/proc/meminfo: memFree=1360848/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=1519.2
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 50068 381649 47 105 10257 1306 139996 361 15 0 1 0 12103185 137318400 6300 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159836005329808053 0 0 17 1 0 0 19
/proc/20501/statm: 33525 6300 1142 1 0 5162 0
[pid=20673] ppid=20501 vsize=23684 CPUtime=74.69
/proc/20673/stat : 20673 (clasp-1.3.3-x86) R 20501 20673 20673 0 -1 4202496 6244 0 0 0 7462 7 0 0 25 0 1 0 12243895 24252416 5640 1992294400 134512640 136080129 4287357472 18446744073709551615 134849100 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/20673/statm: 5921 5640 175 383 0 5536 0
Current children cumulated CPU time (s) 1593.89
Current children cumulated vsize (KiB) 157784

[startup+1542.31 s]
/proc/loadavg: 1.02 1.06 1.03 2/108 20689
/proc/meminfo: memFree=1369280/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=1645.17
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 53790 399204 47 105 10678 1358 152099 382 15 0 1 0 12103185 137318400 6301 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159836005329808053 0 0 17 1 0 0 19
/proc/20501/statm: 33525 6301 1142 1 0 5162 0
[pid=20688] ppid=20501 vsize=15088 CPUtime=13.05
/proc/20688/stat : 20688 (clasp-1.3.3-x86) R 20501 20688 20688 0 -1 4202496 4108 0 0 0 1303 2 0 0 25 0 1 0 12256101 15450112 3500 1992294400 134512640 136080129 4290495936 18446744073709551615 134808433 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20688/statm: 3772 3500 175 383 0 3387 0
Current children cumulated CPU time (s) 1658.22
Current children cumulated vsize (KiB) 149188

[startup+1602.3 s]
/proc/loadavg: 1.04 1.06 1.03 2/108 20690
/proc/meminfo: memFree=1360848/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=1649.71
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 53882 399204 47 105 11083 1407 152099 382 15 0 1 0 12103185 137318400 6301 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159836005329808053 0 0 17 1 0 0 19
/proc/20501/statm: 33525 6301 1142 1 0 5162 0
[pid=20688] ppid=20501 vsize=23684 CPUtime=72.96
/proc/20688/stat : 20688 (clasp-1.3.3-x86) R 20501 20688 20688 0 -1 4202496 6246 0 0 0 7290 6 0 0 25 0 1 0 12256101 24252416 5638 1992294400 134512640 136080129 4290495936 18446744073709551615 134588974 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/20688/statm: 5921 5638 175 383 0 5536 0
Current children cumulated CPU time (s) 1722.67
Current children cumulated vsize (KiB) 157784

[startup+1662.3 s]
/proc/loadavg: 1.01 1.05 1.02 2/108 20701
/proc/meminfo: memFree=1370148/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=1775.6
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 57532 416890 47 105 11503 1453 164204 400 15 0 1 0 12103185 137318400 6302 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159688670771686069 0 0 17 0 0 0 19
/proc/20501/statm: 33525 6302 1142 1 0 5162 0
[pid=20701] ppid=20501 vsize=14164 CPUtime=11.62
/proc/20701/stat : 20701 (clasp-1.3.3-x86) R 20501 20701 20701 0 -1 4202496 3882 0 0 0 1160 2 0 0 25 0 1 0 12268252 14503936 3278 1992294400 134512640 136080129 4292688208 18446744073709551615 134607925 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20701/statm: 3541 3278 175 383 0 3156 0
Current children cumulated CPU time (s) 1787.22
Current children cumulated vsize (KiB) 148264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1674.31 s]
/proc/loadavg: 1.01 1.05 1.02 2/108 20701
/proc/meminfo: memFree=1366676/2059040 swapFree=4192956/4192956
[pid=20501] ppid=20499 vsize=134100 CPUtime=1776.43
/proc/20501/stat : 20501 (python) S 20499 20501 20235 0 -1 4202496 57557 416890 47 105 11577 1462 164204 400 15 0 1 0 12103185 137318400 6302 1992294400 4194304 4196484 140734114944016 18446744073709551615 242479836687 0 0 16781312 2 159688670771686069 0 0 17 0 0 0 19
/proc/20501/statm: 33525 6302 1142 1 0 5162 0
[pid=20701] ppid=20501 vsize=17812 CPUtime=23.63
/proc/20701/stat : 20701 (clasp-1.3.3-x86) R 20501 20701 20701 0 -1 4202496 4760 0 0 0 2360 3 0 0 25 0 1 0 12268252 18239488 4156 1992294400 134512640 136080129 4292688208 18446744073709551615 134589227 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20701/statm: 4453 4156 175 383 0 4068 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 151912

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 20501 and gives
#  childrusage.ru_utime.tv_sec=1757
#  childrusage.ru_utime.tv_usec=829769
#  childrusage.ru_stime.tv_sec=18
#  childrusage.ru_stime.tv_usec=642165
# CPU time returned by wait4() is 1776.47
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1674.33
CPU time (s): 1800.06
CPU user time (s): 1781.41
CPU system time (s): 18.65
CPU usage (%): 107.509
Max. virtual memory (cumulated for all children) (KiB): 1628152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1757.83
system time used= 18.6422
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 474447
page faults= 152
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14968
involuntary context switches= 30071

runsolver used 2.81357 second user time and 8.5257 second system time

The end

Launcher Data 

Begin job on node035 at 2010-07-06 19:55:21
IDJOB=2685044
IDBENCH=74340
IDSOLVER=1178
FILE ID=node035/2685044-1278438921
PBS_JOBID= 11233486
Free space on /tmp= 62488 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12052_5-unsat.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685044-1278438921/watcher-2685044-1278438921 -o /tmp/evaluation-result-2685044-1278438921/solver-2685044-1278438921 -C 1800 -W 2000 -M 1800  solver HOME/instance-2685044-1278438921.opb 325525641 

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

MD5SUM BENCH= 2ff183c8695f0992ee4ac0210b2026e7
RANDOM SEED=325525641

node035.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.212
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.42
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.212
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1438000 kB
Buffers:        104560 kB
Cached:         381624 kB
SwapCached:          0 kB
Active:         185992 kB
Inactive:       360116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1438000 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           24640 kB
Writeback:           0 kB
AnonPages:       59960 kB
Mapped:          14384 kB
Slab:            52916 kB
PageTables:       4172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179804 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= 62468 MiB
End job on node035 at 2010-07-06 20:23:19