Trace number 2684904

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.09 1690.42

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12032_8-unsat.opb
MD5SUM3890946cb13ab5dacc1331cb240d6a09
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 benchmark687.116
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31460
Total number of constraints104814
Number of constraints which are clauses104298
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints516
Minimum length of a constraint1
Maximum length of a constraint95
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 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 534
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 

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

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.00 1.02 0.96 3/106 18650
/proc/meminfo: memFree=1379532/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=16708 CPUtime=0
/proc/18650/stat : 18650 (python) R 18648 18650 17871 0 -1 4202496 735 0 0 0 0 0 0 0 20 0 1 0 11834618 17108992 500 1992294400 4194304 4196484 140736972417232 18446744073709551615 273567658693 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18650/statm: 4177 502 272 1 0 273 0

[startup+0.0464839 s]
/proc/loadavg: 1.00 1.02 0.96 3/106 18650
/proc/meminfo: memFree=1379532/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=17824 CPUtime=0.02
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 1787 0 0 0 1 1 0 0 15 0 1 0 11834618 18251776 841 1992294400 4194304 4196484 140734581281936 18446744073709551615 273567995904 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 0
/proc/18650/statm: 4456 841 398 1 0 436 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17824

[startup+0.104045 s]
/proc/loadavg: 1.00 1.02 0.96 3/106 18650
/proc/meminfo: memFree=1379532/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=33564 CPUtime=0.07
/proc/18650/stat : 18650 (python) R 18648 18650 17871 0 -1 4202496 2251 0 0 0 4 3 0 0 15 0 1 0 11834618 34369536 1265 1992294400 4194304 4196484 140734581281936 18446744073709551615 273567658693 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/18650/statm: 8391 1266 461 1 0 748 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 33564

[startup+0.300041 s]
/proc/loadavg: 1.00 1.02 0.96 3/106 18650
/proc/meminfo: memFree=1379532/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=70964 CPUtime=0.21
/proc/18650/stat : 18650 (python) R 18648 18650 17871 0 -1 4202496 4028 0 0 0 14 7 0 0 16 0 1 0 11834618 72667136 2893 1992294400 4194304 4196484 140734581281936 18446744073709551615 273567995904 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/18650/statm: 17741 2893 692 1 0 2228 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 70964

[startup+0.700033 s]
/proc/loadavg: 1.00 1.02 0.96 3/106 18650
/proc/meminfo: memFree=1379532/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=98928 CPUtime=0.48
/proc/18650/stat : 18650 (python) R 18648 18650 17871 0 -1 4202496 4840 0 0 0 29 19 0 0 15 0 1 0 11834618 101302272 3607 1992294400 4194304 4196484 140734581281936 18446744073709551615 273567627220 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/18650/statm: 24732 3607 1021 1 0 2589 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 98928

[startup+1.50002 s]
/proc/loadavg: 1.00 1.02 0.96 2/107 18655
/proc/meminfo: memFree=1360924/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=129568 CPUtime=1.02
/proc/18650/stat : 18650 (python) R 18648 18650 17871 0 -1 4202496 9572 928 0 0 71 31 0 0 16 0 1 0 11834618 132677632 6186 1992294400 4194304 4196484 140734581281936 18446744073709551615 47282262664384 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/18650/statm: 32392 6186 1122 1 0 5062 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 129568

[startup+3.10098 s]
/proc/loadavg: 1.00 1.02 0.96 2/108 18656
/proc/meminfo: memFree=1350244/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=132036 CPUtime=1.17
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 9991 928 0 0 84 33 0 0 15 0 1 0 11834618 135204864 6260 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159688670771686144 0 0 17 0 0 0 0
/proc/18650/statm: 33009 6260 1132 1 0 5161 0
[pid=18656] ppid=18650 vsize=9108 CPUtime=1.56
/proc/18656/stat : 18656 (clasp-1.3.3-x86) R 18650 18656 18656 0 -1 4202496 2530 0 0 0 155 1 0 0 20 0 1 0 11834770 9326592 2012 1992294400 134512640 136080129 4291461104 18446744073709551615 134807870 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18656/statm: 2277 2012 175 383 0 1892 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 141144

[startup+6.30191 s]
/proc/loadavg: 1.00 1.02 0.96 2/108 18656
/proc/meminfo: memFree=1348260/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=132036 CPUtime=1.37
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 9997 928 0 0 101 36 0 0 15 0 1 0 11834618 135204864 6260 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159688670771686144 0 0 17 0 0 0 0
/proc/18650/statm: 33009 6260 1132 1 0 5161 0
[pid=18656] ppid=18650 vsize=11484 CPUtime=4.75
/proc/18656/stat : 18656 (clasp-1.3.3-x86) R 18650 18656 18656 0 -1 4202496 3113 0 0 0 473 2 0 0 25 0 1 0 11834770 11759616 2595 1992294400 134512640 136080129 4291461104 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18656/statm: 2871 2595 175 383 0 2486 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 143520

[startup+12.7008 s]
/proc/loadavg: 1.15 1.05 0.97 2/108 18659
/proc/meminfo: memFree=1352352/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=12.14
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 11234 5500 0 0 143 43 1023 5 15 0 1 0 11834618 137314304 6282 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159836005329808128 0 0 17 1 0 0 0
/proc/18650/statm: 33524 6282 1142 1 0 5161 0
[pid=18659] ppid=18650 vsize=8836 CPUtime=0.81
/proc/18659/stat : 18659 (clasp-1.3.3-x86) R 18650 18659 18659 0 -1 4202496 2470 0 0 0 79 2 0 0 18 0 1 0 11835807 9048064 1952 1992294400 134512640 136080129 4291472848 18446744073709551615 134849956 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/18659/statm: 2209 1952 175 383 0 1824 0
Current children cumulated CPU time (s) 12.95
Current children cumulated vsize (KiB) 142932

[startup+25.5015 s]
/proc/loadavg: 1.20 1.06 0.97 2/108 18659
/proc/meminfo: memFree=1344912/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=13
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 11279 5500 0 0 220 52 1023 5 15 0 1 0 11834618 137314304 6282 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159836005329808128 0 0 17 1 0 0 0
/proc/18650/statm: 33524 6282 1142 1 0 5161 0
[pid=18659] ppid=18650 vsize=15444 CPUtime=13.59
/proc/18659/stat : 18659 (clasp-1.3.3-x86) R 18650 18659 18659 0 -1 4202496 4096 0 0 0 1356 3 0 0 25 0 1 0 11835807 15814656 3578 1992294400 134512640 136080129 4291472848 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/18659/statm: 3861 3578 175 383 0 3476 0
Current children cumulated CPU time (s) 26.59
Current children cumulated vsize (KiB) 149540

[startup+51.102 s]
/proc/loadavg: 1.19 1.07 0.98 2/108 18660
/proc/meminfo: memFree=1341068/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=14.69
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 11356 5500 0 0 371 70 1023 5 16 0 1 0 11834618 137314304 6282 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159836005329808128 0 0 17 1 0 0 0
/proc/18650/statm: 33524 6282 1142 1 0 5161 0
[pid=18659] ppid=18650 vsize=19200 CPUtime=39.19
/proc/18659/stat : 18659 (clasp-1.3.3-x86) R 18650 18659 18659 0 -1 4202496 5053 0 0 0 3915 4 0 0 25 0 1 0 11835807 19660800 4535 1992294400 134512640 136080129 4291472848 18446744073709551615 134849959 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/18659/statm: 4800 4535 175 383 0 4415 0
Current children cumulated CPU time (s) 53.88
Current children cumulated vsize (KiB) 153296

[startup+102.309 s]
/proc/loadavg: 1.25 1.11 1.00 2/108 18664
/proc/meminfo: memFree=1325816/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=68.48
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 12539 11706 0 0 698 115 6024 11 15 0 1 0 11834618 137314304 6284 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159688670771686144 0 0 17 0 0 0 0
/proc/18650/statm: 33524 6284 1142 1 0 5161 0
[pid=18664] ppid=18650 vsize=36024 CPUtime=40.27
/proc/18664/stat : 18664 (wbo1.4a) R 18650 18664 18664 0 -1 4202496 9477 0 0 0 4004 23 0 0 25 0 1 0 11840820 36888576 8247 1992294400 134512640 135751879 4290658640 18446744073709551615 134608425 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/18664/statm: 9006 8247 139 303 0 8701 0
Current children cumulated CPU time (s) 108.75
Current children cumulated vsize (KiB) 170120

[startup+162.302 s]
/proc/loadavg: 1.16 1.10 1.00 2/108 18669
/proc/meminfo: memFree=1340200/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=123.09
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 13820 23293 0 0 1033 159 11075 42 15 0 1 0 11834618 137314304 6285 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159688670771686144 0 0 17 0 0 0 0
/proc/18650/statm: 33524 6285 1142 1 0 5161 0
[pid=18667] ppid=18650 vsize=19876 CPUtime=49.4
/proc/18667/stat : 18667 (clasp-1.3.3-x86) R 18650 18667 18667 0 -1 4202496 5204 0 0 0 4937 3 0 0 25 0 1 0 11845905 20353024 4677 1992294400 134512640 136080129 4289993664 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18667/statm: 4969 4677 175 383 0 4584 0
Current children cumulated CPU time (s) 172.49
Current children cumulated vsize (KiB) 153972

[startup+222.301 s]
/proc/loadavg: 1.06 1.08 1.00 2/108 18674
/proc/meminfo: memFree=1342060/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=227.78
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 14972 32280 0 0 1397 210 21122 49 15 0 1 0 11834618 137314304 6285 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159836005329808128 0 0 17 1 0 0 0
/proc/18650/statm: 33524 6285 1142 1 0 5161 0
[pid=18674] ppid=18650 vsize=19768 CPUtime=8.78
/proc/18674/stat : 18674 (wbo1.4a) R 18650 18674 18674 0 -1 4202496 5430 0 0 0 870 8 0 0 25 0 1 0 11855965 20242432 4197 1992294400 134512640 135751879 4288806704 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/18674/statm: 4942 4197 139 303 0 4637 0
Current children cumulated CPU time (s) 236.56
Current children cumulated vsize (KiB) 153864

[startup+282.301 s]
/proc/loadavg: 1.02 1.06 1.00 2/108 18675
/proc/meminfo: memFree=1313912/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=231.84
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 15063 32280 0 0 1752 261 21122 49 16 0 1 0 11834618 137314304 6286 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159836005329808128 0 0 17 1 0 0 0
/proc/18650/statm: 33524 6286 1142 1 0 5161 0
[pid=18674] ppid=18650 vsize=48324 CPUtime=68.4
/proc/18674/stat : 18674 (wbo1.4a) R 18650 18674 18674 0 -1 4202496 12515 0 0 0 6799 41 0 0 25 0 1 0 11855965 49483776 11282 1992294400 134512640 135751879 4288806704 18446744073709551615 134611181 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/18674/statm: 12081 11282 139 303 0 11776 0
Current children cumulated CPU time (s) 300.24
Current children cumulated vsize (KiB) 182420

[startup+342.301 s]
/proc/loadavg: 1.08 1.06 1.00 2/108 18680
/proc/meminfo: memFree=1291848/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=336.52
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 16312 48253 0 0 2099 312 31137 104 15 0 1 0 11834618 137314304 6287 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159688670771686144 0 0 17 0 0 0 0
/proc/18650/statm: 33524 6287 1142 1 0 5161 0
[pid=18679] ppid=18650 vsize=70636 CPUtime=27.42
/proc/18679/stat : 18679 (wbo1.4b) R 18650 18679 18679 0 -1 4202496 18071 0 0 0 2736 6 0 0 25 0 1 0 11866104 72331264 16839 1992294400 134512640 135751879 4289493344 18446744073709551615 134523936 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/18679/statm: 17659 16839 142 303 0 17354 0
Current children cumulated CPU time (s) 363.94
Current children cumulated vsize (KiB) 204732

[startup+402.302 s]
/proc/loadavg: 1.30 1.14 1.03 2/120 18696
/proc/meminfo: memFree=1170048/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=390.9
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 17560 73009 0 0 2456 363 36156 115 15 0 1 0 11834618 137314304 6289 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159688670771686144 0 0 17 0 0 0 0
/proc/18650/statm: 33524 6289 1142 1 0 5161 0
[pid=18684] ppid=18650 vsize=1499372 CPUtime=39.35
/proc/18684/stat : 18684 (java) S 18650 18684 18684 0 -1 4202496 53942 0 1 0 3910 25 0 0 15 0 13 0 11871138 1535356928 48286 1992294400 134512640 134550932 4287955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18684/statm: 374843 48286 1437 10 0 372145 0
[pid=18684/tid=18685] ppid=18650 vsize=1499372 CPUtime=35.55
/proc/18684/task/18685/stat : 18685 (java) R 18650 18684 18684 0 -1 4202560 30954 0 1 0 3540 15 0 0 25 0 13 0 11871140 1535356928 48286 1992294400 134512640 134550932 4287955984 18446744073709551615 4109851565 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18684/tid=18686] ppid=18650 vsize=1499372 CPUtime=0.33
/proc/18684/task/18686/stat : 18686 (java) S 18650 18684 18684 0 -1 4202560 4814 0 0 0 32 1 0 0 16 0 13 0 11871141 1535356928 48286 1992294400 134512640 134550932 4287955984 18446744073709551615 4294960144 0 4 0 16800975 18446604437844357376 0 0 -1 1 0 0 0
[pid=18684/tid=18687] ppid=18650 vsize=1499372 CPUtime=0.3
/proc/18684/task/18687/stat : 18687 (java) S 18650 18684 18684 0 -1 4202560 5537 0 0 0 29 1 0 0 18 0 13 0 11871141 1535356928 48286 1992294400 134512640 134550932 4287955984 18446744073709551615 4294960144 0 4 0 16800975 18446604437844357376 0 0 -1 0 0 0 0
[pid=18684/tid=18688] ppid=18650 vsize=1499372 CPUtime=0

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

/proc/18776/statm: 8687 8396 175 383 0 8302 0
Current children cumulated CPU time (s) 1070.2
Current children cumulated vsize (KiB) 168844

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 18783
/proc/meminfo: memFree=1321424/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=882.68
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 39447 319084 0 2 6401 910 80667 290 15 0 1 0 11834618 137314304 6298 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159836005329808128 0 0 17 1 0 0 0
/proc/18650/statm: 33524 6298 1142 1 0 5161 0
[pid=18776] ppid=18650 vsize=37520 CPUtime=251.06
/proc/18776/stat : 18776 (clasp-1.3.3-x86) R 18650 18776 18776 0 -1 4202496 9623 0 0 0 25093 13 0 0 25 0 1 0 11915573 38420480 9093 1992294400 134512640 136080129 4293246368 18446744073709551615 134849989 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/18776/statm: 9380 9093 175 383 0 8995 0
Current children cumulated CPU time (s) 1133.74
Current children cumulated vsize (KiB) 171616

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 18788
/proc/meminfo: memFree=1334320/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=1187.09
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 40654 330175 0 2 6759 957 110686 307 15 0 1 0 11834618 137314304 6298 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159688670771686144 0 0 17 0 0 0 0
/proc/18650/statm: 33524 6298 1142 1 0 5161 0
[pid=18788] ppid=18650 vsize=33448 CPUtime=10.28
/proc/18788/stat : 18788 (bsolo_pb10) R 18650 18788 18788 0 -1 4202496 7010 0 0 0 1024 4 0 0 25 0 1 0 11945813 34250752 5827 1992294400 134512640 137138936 4292726000 18446744073709551615 134542199 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/18788/statm: 8362 5827 184 642 0 7718 0
Current children cumulated CPU time (s) 1197.37
Current children cumulated vsize (KiB) 167544

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 18789
/proc/meminfo: memFree=1287200/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=1191.03
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 40758 330175 0 2 7104 1006 110686 307 15 0 1 0 11834618 137314304 6298 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159688670771686144 0 0 17 0 0 0 0
/proc/18650/statm: 33524 6298 1142 1 0 5161 0
[pid=18788] ppid=18650 vsize=81452 CPUtime=69.91
/proc/18788/stat : 18788 (bsolo_pb10) R 18650 18788 18788 0 -1 4202496 19320 0 0 0 6967 24 0 0 25 0 1 0 11945813 83406848 17829 1992294400 134512640 137138936 4292726000 18446744073709551615 134607589 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/18788/statm: 20363 17829 192 642 0 19719 0
Current children cumulated CPU time (s) 1260.94
Current children cumulated vsize (KiB) 215548

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 18796
/proc/meminfo: memFree=1342008/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=1305.81
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 43179 363199 0 2 7450 1056 121731 344 15 0 1 0 11834618 137314304 6299 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159836005329808128 0 0 17 1 0 0 0
/proc/18650/statm: 33524 6299 1142 1 0 5161 0
[pid=18796] ppid=18650 vsize=16540 CPUtime=18.74
/proc/18796/stat : 18796 (clasp-1.3.3-x86) R 18650 18796 18796 0 -1 4202496 4395 0 0 0 1872 2 0 0 25 0 1 0 11956972 16936960 3866 1992294400 134512640 136080129 4292379744 18446744073709551615 134849256 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/18796/statm: 4135 3866 175 383 0 3750 0
Current children cumulated CPU time (s) 1324.55
Current children cumulated vsize (KiB) 150636

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 18798
/proc/meminfo: memFree=1332708/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=1309.72
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 43261 363199 0 2 7796 1101 121731 344 15 0 1 0 11834618 137314304 6299 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159836005329808128 0 0 17 1 0 0 0
/proc/18650/statm: 33524 6299 1142 1 0 5161 0
[pid=18796] ppid=18650 vsize=25756 CPUtime=78.72
/proc/18796/stat : 18796 (clasp-1.3.3-x86) R 18650 18796 18796 0 -1 4202496 6699 0 0 0 7868 4 0 0 25 0 1 0 11956972 26374144 6170 1992294400 134512640 136080129 4292379744 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/18796/statm: 6439 6170 175 383 0 6054 0
Current children cumulated CPU time (s) 1388.44
Current children cumulated vsize (KiB) 159852

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 18809
/proc/meminfo: memFree=1343000/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=1434.86
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 46848 381634 0 2 8157 1152 133818 359 16 0 1 0 11834618 137314304 6300 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159688670771686144 0 0 17 0 0 0 0
/proc/18650/statm: 33524 6300 1142 1 0 5161 0
[pid=18809] ppid=18650 vsize=15444 CPUtime=17.54
/proc/18809/stat : 18809 (clasp-1.3.3-x86) R 18650 18809 18809 0 -1 4202496 4107 0 0 0 1751 3 0 0 25 0 1 0 11969093 15814656 3579 1992294400 134512640 136080129 4290359952 18446744073709551615 134808264 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18809/statm: 3861 3579 175 383 0 3476 0
Current children cumulated CPU time (s) 1452.4
Current children cumulated vsize (KiB) 149540

[startup+1422.31 s]
/proc/loadavg: 1.09 1.03 1.01 2/108 18817
/proc/meminfo: memFree=1343000/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=1499.48
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 49319 392463 0 2 8496 1203 139881 368 15 0 1 0 11834618 137314304 6300 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159688670771686144 0 0 17 0 0 0 0
/proc/18650/statm: 33524 6300 1142 1 0 5161 0
[pid=18816] ppid=18650 vsize=15444 CPUtime=16.75
/proc/18816/stat : 18816 (clasp-1.3.3-x86) R 18650 18816 18816 0 -1 4202496 4109 0 0 0 1673 2 0 0 25 0 1 0 11975172 15814656 3579 1992294400 134512640 136080129 4289152528 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18816/statm: 3861 3579 175 383 0 3476 0
Current children cumulated CPU time (s) 1516.23
Current children cumulated vsize (KiB) 149540

[startup+1482.3 s]
/proc/loadavg: 1.10 1.04 1.00 2/108 18818
/proc/meminfo: memFree=1334072/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=1503.19
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 49399 392463 0 2 8819 1251 139881 368 15 0 1 0 11834618 137314304 6300 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159688670771686144 0 0 17 0 0 0 0
/proc/18650/statm: 33524 6300 1142 1 0 5161 0
[pid=18816] ppid=18650 vsize=25096 CPUtime=76.72
/proc/18816/stat : 18816 (clasp-1.3.3-x86) R 18650 18816 18816 0 -1 4202496 6517 0 0 0 7668 4 0 0 25 0 1 0 11975172 25698304 5987 1992294400 134512640 136080129 4289152528 18446744073709551615 134588731 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18816/statm: 6274 5987 175 383 0 5889 0
Current children cumulated CPU time (s) 1579.91
Current children cumulated vsize (KiB) 159192

[startup+1542.3 s]
/proc/loadavg: 1.14 1.06 1.01 2/108 18828
/proc/meminfo: memFree=1342876/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=1628.29
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 53053 410677 0 2 9162 1303 151980 384 15 0 1 0 11834618 137314304 6301 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159688670771686144 0 0 17 0 0 0 0
/proc/18650/statm: 33524 6301 1142 1 0 5161 0
[pid=18828] ppid=18650 vsize=15444 CPUtime=15.32
/proc/18828/stat : 18828 (clasp-1.3.3-x86) R 18650 18828 18828 0 -1 4202496 4111 0 0 0 1530 2 0 0 25 0 1 0 11987305 15814656 3579 1992294400 134512640 136080129 4292749392 18446744073709551615 134849493 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/18828/statm: 3861 3579 175 383 0 3476 0
Current children cumulated CPU time (s) 1643.61
Current children cumulated vsize (KiB) 149540

[startup+1602.3 s]
/proc/loadavg: 1.11 1.06 1.01 2/108 18830
/proc/meminfo: memFree=1334816/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=1632.01
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 53139 410677 0 2 9490 1347 151980 384 15 0 1 0 11834618 137314304 6301 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159688670771686144 0 0 17 0 0 0 0
/proc/18650/statm: 33524 6301 1142 1 0 5161 0
[pid=18828] ppid=18650 vsize=23380 CPUtime=74.95
/proc/18828/stat : 18828 (clasp-1.3.3-x86) R 18650 18828 18828 0 -1 4202496 6098 0 0 0 7490 5 0 0 25 0 1 0 11987305 23941120 5566 1992294400 134512640 136080129 4292749392 18446744073709551615 134849959 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18828/statm: 5845 5566 175 383 0 5460 0
Current children cumulated CPU time (s) 1706.96
Current children cumulated vsize (KiB) 157476

[startup+1662.3 s]
/proc/loadavg: 1.08 1.06 1.01 2/108 18841
/proc/meminfo: memFree=1343496/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=1756.91
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 56702 428933 0 2 9832 1399 164060 400 15 0 1 0 11834618 137314304 6302 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159688670771686144 0 0 17 0 0 0 0
/proc/18650/statm: 33524 6302 1142 1 0 5161 0
[pid=18841] ppid=18650 vsize=14916 CPUtime=13.54
/proc/18841/stat : 18841 (clasp-1.3.3-x86) R 18650 18841 18841 0 -1 4202496 3972 0 0 0 1352 2 0 0 25 0 1 0 11999485 15273984 3445 1992294400 134512640 136080129 4294524944 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18841/statm: 3729 3445 175 383 0 3344 0
Current children cumulated CPU time (s) 1770.45
Current children cumulated vsize (KiB) 149012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1690.4 s]
/proc/loadavg: 1.05 1.06 1.01 2/108 18841
/proc/meminfo: memFree=1338784/2059040 swapFree=4192956/4192956
[pid=18650] ppid=18648 vsize=134096 CPUtime=1758.63
/proc/18650/stat : 18650 (python) S 18648 18650 17871 0 -1 4202496 56765 428933 0 2 9982 1421 164060 400 15 0 1 0 11834618 137314304 6302 1992294400 4194304 4196484 140734581281936 18446744073709551615 273568017935 0 0 16781312 2 159688670771686144 0 0 17 0 0 0 0
/proc/18650/statm: 33524 6302 1142 1 0 5161 0
[pid=18841] ppid=18650 vsize=19200 CPUtime=41.46
/proc/18841/stat : 18841 (clasp-1.3.3-x86) R 18650 18841 18841 0 -1 4202496 5063 0 0 0 4142 4 0 0 25 0 1 0 11999485 19660800 4536 1992294400 134512640 136080129 4294524944 18446744073709551615 134849034 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/18841/statm: 4800 4536 175 383 0 4415 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 153296

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 18650 and gives
#  childrusage.ru_utime.tv_sec=1740
#  childrusage.ru_utime.tv_usec=436413
#  childrusage.ru_stime.tv_sec=18
#  childrusage.ru_stime.tv_usec=222229
# CPU time returned by wait4() is 1758.66
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1690.42
CPU time (s): 1800.09
CPU user time (s): 1781.84
CPU system time (s): 18.25
CPU usage (%): 106.488
Max. virtual memory (cumulated for all children) (KiB): 1635244

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

runsolver used 3.73343 second user time and 8.49371 second system time

The end

Launcher Data 

Begin job on node018 at 2010-07-06 19:10:23
IDJOB=2684904
IDBENCH=73905
IDSOLVER=1178
FILE ID=node018/2684904-1278436223
PBS_JOBID= 11233454
Free space on /tmp= 62516 MiB

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

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

MD5SUM BENCH= 3890946cb13ab5dacc1331cb240d6a09
RANDOM SEED=815456043

node018.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.248
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.49
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.248
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.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1380060 kB
Buffers:        106840 kB
Cached:         432996 kB
SwapCached:          0 kB
Active:         239136 kB
Inactive:       360928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1380060 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           23824 kB
Writeback:           4 kB
AnonPages:       60240 kB
Mapped:          14440 kB
Slab:            56876 kB
PageTables:       4188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180816 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= 62496 MiB
End job on node018 at 2010-07-06 19:38:36