Trace number 3740912

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB10: borg-pb 10.05.30UNSAT 1017.77 967.972

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-101.opb
MD5SUMa3ed9477da365050d631dd031519efe8
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 benchmark79.04
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7936
Total number of constraints176837
Number of constraints which are clauses158928
Number of constraints which are cardinality constraints (but not clauses)563
Number of constraints which are nor clauses,nor cardinality constraints17346
Minimum length of a constraint2
Maximum length of a constraint195
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 196
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.55/1.87	c DEBUG: probabilities of action success (DCM model):
0.55/1.87	c        pb/competition_2010/bsolo_pb10-l1   : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331
0.55/1.87	c        pb/competition_2010/bsolo_pb10-l2   : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493
0.55/1.87	c        pb/competition_2010/bsolo_pb10-l3   : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927
0.55/1.87	c        pb/competition_2010/wbo1.4a         : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114
0.55/1.87	c        pb/competition_2010/wbo1.4b         : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796
0.55/1.87	c        pb/other/clasp-1.3.3                : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586
0.55/1.87	c        pb/other/sat4j-pb-v20090829         : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315
0.55/1.87	c        pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110
0.55/1.88	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1219377245', u'HOME/instance-3740912-1338721467.opb'] for 0:00:10
11.19/12.04	c DEBUG: probabilities of action success (DCM model):
11.19/12.04	c        pb/competition_2010/bsolo_pb10-l1   : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
11.19/12.04	c        pb/competition_2010/bsolo_pb10-l2   : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
11.19/12.04	c        pb/competition_2010/bsolo_pb10-l3   : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
11.19/12.04	c        pb/competition_2010/wbo1.4a         : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
11.19/12.04	c        pb/competition_2010/wbo1.4b         : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
11.19/12.04	c        pb/other/clasp-1.3.3                : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
11.19/12.04	c        pb/other/sat4j-pb-v20090829         : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
11.19/12.04	c        pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
11.19/12.04	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1938941508', u'HOME/instance-3740912-1338721467.opb'] for 0:00:50
63.95/62.56	c DEBUG: probabilities of action success (DCM model):
63.95/62.56	c        pb/competition_2010/bsolo_pb10-l1   : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
63.95/62.56	c        pb/competition_2010/bsolo_pb10-l2   : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
63.95/62.56	c        pb/competition_2010/bsolo_pb10-l3   : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
63.95/62.56	c        pb/competition_2010/wbo1.4a         : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
63.95/62.56	c        pb/competition_2010/wbo1.4b         : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
63.95/62.56	c        pb/other/clasp-1.3.3                : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
63.95/62.56	c        pb/other/sat4j-pb-v20090829         : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
63.95/62.56	c        pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
63.95/62.56	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3740912-1338721467.opb'] for 0:00:50
117.32/113.35	c DEBUG: probabilities of action success (DCM model):
117.32/113.35	c        pb/competition_2010/bsolo_pb10-l1   : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
117.32/113.35	c        pb/competition_2010/bsolo_pb10-l2   : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
117.32/113.35	c        pb/competition_2010/bsolo_pb10-l3   : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
117.32/113.35	c        pb/competition_2010/wbo1.4a         : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
117.32/113.35	c        pb/competition_2010/wbo1.4b         : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
117.32/113.35	c        pb/other/clasp-1.3.3                : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
117.32/113.35	c        pb/other/sat4j-pb-v20090829         : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
117.32/113.35	c        pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
117.32/113.36	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=949424034', u'HOME/instance-3740912-1338721467.opb'] for 0:01:40
222.17/213.66	c DEBUG: probabilities of action success (DCM model):
222.17/213.66	c        pb/competition_2010/bsolo_pb10-l1   : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
222.17/213.66	c        pb/competition_2010/bsolo_pb10-l2   : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
222.17/213.66	c        pb/competition_2010/bsolo_pb10-l3   : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
222.17/213.66	c        pb/competition_2010/wbo1.4a         : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
222.17/213.66	c        pb/competition_2010/wbo1.4b         : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
222.17/213.66	c        pb/other/clasp-1.3.3                : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
222.17/213.66	c        pb/other/sat4j-pb-v20090829         : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
222.17/213.66	c        pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
222.17/213.66	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3740912-1338721467.opb'] for 0:01:40
328.27/314.80	c DEBUG: probabilities of action success (DCM model):
328.27/314.80	c        pb/competition_2010/bsolo_pb10-l1   : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
328.27/314.80	c        pb/competition_2010/bsolo_pb10-l2   : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
328.27/314.80	c        pb/competition_2010/bsolo_pb10-l3   : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
328.27/314.80	c        pb/competition_2010/wbo1.4a         : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
328.27/314.80	c        pb/competition_2010/wbo1.4b         : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
328.27/314.80	c        pb/other/clasp-1.3.3                : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
328.27/314.80	c        pb/other/sat4j-pb-v20090829         : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
328.27/314.80	c        pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
328.27/314.80	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3740912-1338721467.opb'] for 0:00:50
381.43/365.46	c DEBUG: probabilities of action success (DCM model):
381.43/365.46	c        pb/competition_2010/bsolo_pb10-l1   : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
381.43/365.46	c        pb/competition_2010/bsolo_pb10-l2   : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
381.43/365.46	c        pb/competition_2010/bsolo_pb10-l3   : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
381.43/365.46	c        pb/competition_2010/wbo1.4a         : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
381.43/365.46	c        pb/competition_2010/wbo1.4b         : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
381.43/365.46	c        pb/other/clasp-1.3.3                : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
381.43/365.46	c        pb/other/sat4j-pb-v20090829         : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
381.43/365.46	c        pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
381.43/365.46	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-3740912-1338721467.opb'] for 0:01:40
486.58/463.36	c DEBUG: probabilities of action success (DCM model):
486.58/463.36	c        pb/competition_2010/bsolo_pb10-l1   : 0.0113 0.0134 0.0468 0.1111 0.1700 0.2008 0.3121
486.58/463.36	c        pb/competition_2010/bsolo_pb10-l2   : 0.0003 0.0004 0.0004 0.0097 0.0246 0.0337 0.1349
486.58/463.36	c        pb/competition_2010/bsolo_pb10-l3   : 0.0350 0.0698 0.0716 0.0742 0.0803 0.1102 0.2054
486.58/463.36	c        pb/competition_2010/wbo1.4a         : 0.0412 0.0077 0.0057 0.2651 0.4171 0.5010 0.7572
486.58/463.36	c        pb/competition_2010/wbo1.4b         : 0.0393 0.0018 0.1223 0.3301 0.5006 0.5897 0.7412
486.58/463.36	c        pb/other/clasp-1.3.3                : 0.0438 0.0393 0.0774 0.5834 0.6917 0.7344 0.8415
486.58/463.36	c        pb/other/sat4j-pb-v20090829         : 0.0113 0.0469 0.0012 0.2219 0.2984 0.3590 0.5209
486.58/463.36	c        pb/other/sat4j-pb-v20090829-cutting : 0.0068 0.0314 0.0319 0.0608 0.0967 0.1155 0.2497
486.58/463.36	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3740912-1338721467.opb'] for 0:01:40
592.22/564.27	c DEBUG: probabilities of action success (DCM model):
592.22/564.27	c        pb/competition_2010/bsolo_pb10-l1   : 0.0057 0.0071 0.0414 0.1021 0.1619 0.1915 0.2956
592.22/564.27	c        pb/competition_2010/bsolo_pb10-l2   : 0.0001 0.0001 0.0001 0.0077 0.0229 0.0303 0.1153
592.22/564.27	c        pb/competition_2010/bsolo_pb10-l3   : 0.0337 0.0722 0.0727 0.0742 0.0771 0.1052 0.1843
592.22/564.27	c        pb/competition_2010/wbo1.4a         : 0.0430 0.0055 0.0046 0.2375 0.3823 0.4676 0.7399
592.22/564.27	c        pb/competition_2010/wbo1.4b         : 0.0298 0.0007 0.0251 0.2904 0.4467 0.5397 0.7097
592.22/564.27	c        pb/other/clasp-1.3.3                : 0.0452 0.0419 0.0705 0.5569 0.6657 0.7106 0.8227
592.22/564.27	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0367 0.0011 0.1953 0.2620 0.3061 0.4652
592.22/564.27	c        pb/other/sat4j-pb-v20090829-cutting : 0.0047 0.0213 0.0220 0.0357 0.0726 0.0877 0.2092
592.22/564.27	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-3740912-1338721467.opb'] for 0:00:50
645.22/614.74	c DEBUG: probabilities of action success (DCM model):
645.22/614.74	c        pb/competition_2010/bsolo_pb10-l1   : 0.0056 0.0070 0.0350 0.0875 0.1379 0.1679 0.2779
645.22/614.74	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0082 0.0206 0.0285 0.1112
645.22/614.74	c        pb/competition_2010/bsolo_pb10-l3   : 0.0271 0.0006 0.0648 0.0663 0.0694 0.0943 0.1707
645.22/614.74	c        pb/competition_2010/wbo1.4a         : 0.0418 0.0058 0.0048 0.2383 0.3810 0.4683 0.7449
645.22/614.74	c        pb/competition_2010/wbo1.4b         : 0.0319 0.0007 0.0234 0.2842 0.4328 0.5290 0.7099
645.22/614.74	c        pb/other/clasp-1.3.3                : 0.0466 0.0429 0.0715 0.5647 0.6728 0.7172 0.8274
645.22/614.74	c        pb/other/sat4j-pb-v20090829         : 0.0089 0.0393 0.0011 0.1832 0.2460 0.2933 0.4648
645.22/614.74	c        pb/other/sat4j-pb-v20090829-cutting : 0.0049 0.0225 0.0232 0.0376 0.0774 0.0936 0.2247
645.22/614.74	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1312043346', u'HOME/instance-3740912-1338721467.opb'] for 0:00:10
655.94/624.90	c DEBUG: probabilities of action success (DCM model):
655.94/624.90	c        pb/competition_2010/bsolo_pb10-l1   : 0.0048 0.0062 0.0356 0.0901 0.1429 0.1729 0.2823
655.94/624.90	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0085 0.0216 0.0299 0.1142
655.94/624.90	c        pb/competition_2010/bsolo_pb10-l3   : 0.0284 0.0006 0.0660 0.0675 0.0708 0.0964 0.1746
655.94/624.90	c        pb/competition_2010/wbo1.4a         : 0.0419 0.0061 0.0050 0.2416 0.3851 0.4718 0.7463
655.94/624.90	c        pb/competition_2010/wbo1.4b         : 0.0313 0.0007 0.0242 0.2884 0.4409 0.5368 0.7143
655.94/624.90	c        pb/other/clasp-1.3.3                : 0.0432 0.0422 0.0717 0.5642 0.6732 0.7178 0.8280
655.94/624.90	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0402 0.0011 0.1889 0.2523 0.3000 0.4690
655.94/624.90	c        pb/other/sat4j-pb-v20090829-cutting : 0.0041 0.0196 0.0203 0.0354 0.0744 0.0909 0.2215
655.94/624.90	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1394713619', u'HOME/instance-3740912-1338721467.opb'] for 0:00:10
666.49/635.05	c DEBUG: probabilities of action success (DCM model):
666.49/635.05	c        pb/competition_2010/bsolo_pb10-l1   : 0.0043 0.0058 0.0365 0.0929 0.1481 0.1780 0.2865
666.49/635.05	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0089 0.0225 0.0312 0.1171
666.49/635.05	c        pb/competition_2010/bsolo_pb10-l3   : 0.0297 0.0007 0.0671 0.0686 0.0720 0.0984 0.1784
666.49/635.05	c        pb/competition_2010/wbo1.4a         : 0.0419 0.0064 0.0052 0.2447 0.3890 0.4751 0.7470
666.49/635.05	c        pb/competition_2010/wbo1.4b         : 0.0310 0.0007 0.0249 0.2925 0.4487 0.5442 0.7181
666.49/635.05	c        pb/other/clasp-1.3.3                : 0.0408 0.0415 0.0717 0.5640 0.6738 0.7185 0.8288
666.49/635.05	c        pb/other/sat4j-pb-v20090829         : 0.0081 0.0414 0.0012 0.1953 0.2599 0.3078 0.4741
666.49/635.05	c        pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0182 0.0189 0.0346 0.0729 0.0895 0.2196
666.49/635.05	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3740912-1338721467.opb'] for 0:00:10
677.75/645.51	c DEBUG: probabilities of action success (DCM model):
677.75/645.51	c        pb/competition_2010/bsolo_pb10-l1   : 0.0042 0.0051 0.0367 0.0952 0.1515 0.1809 0.2919
677.75/645.51	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0091 0.0232 0.0322 0.1217
677.75/645.51	c        pb/competition_2010/bsolo_pb10-l3   : 0.0308 0.0006 0.0658 0.0668 0.0704 0.0979 0.1806
677.75/645.51	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0062 0.0054 0.2431 0.3935 0.4830 0.7552
677.75/645.51	c        pb/competition_2010/wbo1.4b         : 0.0322 0.0006 0.0259 0.2941 0.4539 0.5495 0.7272
677.75/645.51	c        pb/other/clasp-1.3.3                : 0.0407 0.0412 0.0702 0.5773 0.6906 0.7332 0.8386
677.75/645.51	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0415 0.0012 0.1996 0.2666 0.3166 0.4896
677.75/645.51	c        pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0187 0.0192 0.0349 0.0747 0.0916 0.2271
677.75/645.52	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=476902802', u'HOME/instance-3740912-1338721467.opb'] for 0:00:10
688.32/655.67	c DEBUG: probabilities of action success (DCM model):
688.32/655.67	c        pb/competition_2010/bsolo_pb10-l1   : 0.0039 0.0049 0.0378 0.0982 0.1569 0.1862 0.2962
688.32/655.67	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0095 0.0242 0.0336 0.1245
688.32/655.67	c        pb/competition_2010/bsolo_pb10-l3   : 0.0321 0.0007 0.0669 0.0680 0.0717 0.1000 0.1846
688.32/655.67	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0064 0.0056 0.2461 0.3974 0.4861 0.7556
688.32/655.67	c        pb/competition_2010/wbo1.4b         : 0.0321 0.0006 0.0266 0.2983 0.4618 0.5570 0.7307
688.32/655.67	c        pb/other/clasp-1.3.3                : 0.0387 0.0405 0.0702 0.5772 0.6912 0.7339 0.8394
688.32/655.67	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0428 0.0012 0.2064 0.2748 0.3250 0.4951
688.32/655.67	c        pb/other/sat4j-pb-v20090829-cutting : 0.0036 0.0179 0.0184 0.0347 0.0737 0.0907 0.2256
688.32/655.67	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=2017494317', u'HOME/instance-3740912-1338721467.opb'] for 0:00:10
699.02/665.82	c DEBUG: probabilities of action success (DCM model):
699.02/665.82	c        pb/competition_2010/bsolo_pb10-l1   : 0.0037 0.0048 0.0389 0.1012 0.1623 0.1915 0.3004
699.02/665.82	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0099 0.0251 0.0349 0.1274
699.02/665.82	c        pb/competition_2010/bsolo_pb10-l3   : 0.0334 0.0007 0.0680 0.0691 0.0729 0.1020 0.1884
699.02/665.82	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0067 0.0057 0.2490 0.4011 0.4892 0.7558
699.02/665.82	c        pb/competition_2010/wbo1.4b         : 0.0320 0.0006 0.0273 0.3025 0.4695 0.5642 0.7341
699.02/665.82	c        pb/other/clasp-1.3.3                : 0.0369 0.0398 0.0702 0.5772 0.6919 0.7347 0.8403
699.02/665.82	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0442 0.0013 0.2134 0.2832 0.3336 0.5007
699.02/665.82	c        pb/other/sat4j-pb-v20090829-cutting : 0.0034 0.0174 0.0179 0.0348 0.0730 0.0901 0.2243
699.02/665.83	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1779135995', u'HOME/instance-3740912-1338721467.opb'] for 0:00:10
709.59/675.98	c DEBUG: probabilities of action success (DCM model):
709.59/675.98	c        pb/competition_2010/bsolo_pb10-l1   : 0.0036 0.0047 0.0401 0.1043 0.1677 0.1967 0.3047
709.59/675.98	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0103 0.0261 0.0362 0.1301
709.59/675.98	c        pb/competition_2010/bsolo_pb10-l3   : 0.0347 0.0007 0.0690 0.0701 0.0742 0.1041 0.1923
709.59/675.98	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0069 0.0059 0.2519 0.4048 0.4922 0.7560
709.59/675.98	c        pb/competition_2010/wbo1.4b         : 0.0319 0.0006 0.0280 0.3065 0.4771 0.5714 0.7375
709.59/675.98	c        pb/other/clasp-1.3.3                : 0.0352 0.0390 0.0701 0.5772 0.6926 0.7356 0.8412
709.59/675.98	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0456 0.0013 0.2203 0.2917 0.3422 0.5065
709.59/675.98	c        pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0170 0.0176 0.0351 0.0725 0.0897 0.2232
709.59/675.98	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=75804131', u'HOME/instance-3740912-1338721467.opb'] for 0:00:10
720.27/686.14	c DEBUG: probabilities of action success (DCM model):
720.27/686.14	c        pb/competition_2010/bsolo_pb10-l1   : 0.0035 0.0046 0.0414 0.1073 0.1730 0.2020 0.3089
720.27/686.14	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0106 0.0270 0.0376 0.1328
720.27/686.14	c        pb/competition_2010/bsolo_pb10-l3   : 0.0359 0.0007 0.0700 0.0712 0.0753 0.1061 0.1960
720.27/686.14	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0071 0.0061 0.2547 0.4085 0.4952 0.7561
720.27/686.14	c        pb/competition_2010/wbo1.4b         : 0.0318 0.0006 0.0287 0.3105 0.4845 0.5783 0.7407
720.27/686.14	c        pb/other/clasp-1.3.3                : 0.0337 0.0383 0.0700 0.5774 0.6935 0.7365 0.8422
720.27/686.14	c        pb/other/sat4j-pb-v20090829         : 0.0085 0.0471 0.0014 0.2273 0.3002 0.3509 0.5123
720.27/686.14	c        pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0168 0.0174 0.0356 0.0721 0.0895 0.2223
720.27/686.14	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-3740912-1338721467.opb'] for 0:00:10
731.40/696.69	c DEBUG: probabilities of action success (DCM model):
731.40/696.69	c        pb/competition_2010/bsolo_pb10-l1   : 0.0035 0.0046 0.0335 0.0887 0.1422 0.1723 0.2831
731.40/696.69	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0110 0.0239 0.0348 0.1243
731.40/696.69	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0006 0.0633 0.0644 0.0688 0.0951 0.1792
731.40/696.69	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0074 0.0063 0.2548 0.4004 0.4857 0.7517
731.40/696.69	c        pb/competition_2010/wbo1.4b         : 0.0330 0.0006 0.0260 0.3033 0.4653 0.5626 0.7311
731.40/696.69	c        pb/other/clasp-1.3.3                : 0.0349 0.0397 0.0725 0.5710 0.6821 0.7268 0.8363
731.40/696.69	c        pb/other/sat4j-pb-v20090829         : 0.0088 0.0488 0.0013 0.2079 0.2742 0.3267 0.4941
731.40/696.69	c        pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0174 0.0180 0.0367 0.0746 0.0926 0.2304
731.40/696.69	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1482567479', u'HOME/instance-3740912-1338721467.opb'] for 0:00:10
742.09/706.85	c DEBUG: probabilities of action success (DCM model):
742.09/706.85	c        pb/competition_2010/bsolo_pb10-l1   : 0.0034 0.0046 0.0345 0.0912 0.1467 0.1766 0.2865
742.09/706.85	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0114 0.0247 0.0360 0.1268
742.09/706.85	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0006 0.0641 0.0652 0.0697 0.0968 0.1824
742.09/706.85	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0077 0.0065 0.2576 0.4039 0.4884 0.7517
742.09/706.85	c        pb/competition_2010/wbo1.4b         : 0.0330 0.0006 0.0266 0.3071 0.4722 0.5692 0.7341
742.09/706.85	c        pb/other/clasp-1.3.3                : 0.0335 0.0390 0.0725 0.5709 0.6826 0.7274 0.8371
742.09/706.85	c        pb/other/sat4j-pb-v20090829         : 0.0089 0.0504 0.0014 0.2144 0.2821 0.3348 0.4995
742.09/706.85	c        pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0173 0.0179 0.0373 0.0744 0.0926 0.2299
742.09/706.85	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-3740912-1338721467.opb'] for 0:00:50
794.74/755.06	c DEBUG: probabilities of action success (DCM model):
794.74/755.06	c        pb/competition_2010/bsolo_pb10-l1   : 0.0027 0.0033 0.0343 0.0933 0.1487 0.1802 0.2953
794.74/755.06	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0068 0.0207 0.0275 0.1219
794.74/755.06	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0674 0.0680 0.0719 0.1000 0.1870
794.74/755.06	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0066 0.0068 0.2480 0.3953 0.4814 0.7562
794.74/755.06	c        pb/competition_2010/wbo1.4b         : 0.0339 0.0006 0.0270 0.3026 0.4612 0.5528 0.7230
794.74/755.06	c        pb/other/clasp-1.3.3                : 0.0351 0.0409 0.0745 0.5713 0.6785 0.7222 0.8293
794.74/755.06	c        pb/other/sat4j-pb-v20090829         : 0.0060 0.0004 0.0011 0.1829 0.2472 0.3019 0.4737
794.74/755.06	c        pb/other/sat4j-pb-v20090829-cutting : 0.0026 0.0140 0.0144 0.0310 0.0693 0.0875 0.2214
794.74/755.06	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=487976534', u'HOME/instance-3740912-1338721467.opb'] for 0:00:10
805.40/765.21	c DEBUG: probabilities of action success (DCM model):
805.40/765.21	c        pb/competition_2010/bsolo_pb10-l1   : 0.0027 0.0033 0.0354 0.0960 0.1534 0.1848 0.2992
805.40/765.21	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0071 0.0214 0.0284 0.1243
805.40/765.21	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0683 0.0690 0.0730 0.1019 0.1906
805.40/765.21	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0068 0.0070 0.2506 0.3986 0.4840 0.7563
805.40/765.21	c        pb/competition_2010/wbo1.4b         : 0.0339 0.0006 0.0276 0.3064 0.4679 0.5590 0.7256
805.40/765.21	c        pb/other/clasp-1.3.3                : 0.0338 0.0402 0.0745 0.5713 0.6790 0.7228 0.8299
805.40/765.21	c        pb/other/sat4j-pb-v20090829         : 0.0061 0.0004 0.0012 0.1887 0.2544 0.3093 0.4786
805.40/765.21	c        pb/other/sat4j-pb-v20090829-cutting : 0.0025 0.0141 0.0144 0.0316 0.0691 0.0875 0.2207
805.40/765.21	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3740912-1338721467.opb'] for 0:00:10
816.65/775.75	c DEBUG: probabilities of action success (DCM model):
816.65/775.75	c        pb/competition_2010/bsolo_pb10-l1   : 0.0021 0.0027 0.0359 0.0961 0.1555 0.1853 0.2919
816.65/775.75	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0073 0.0222 0.0294 0.1169
816.65/775.75	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0706 0.0713 0.0755 0.1030 0.1852
816.65/775.75	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0065 0.0052 0.2439 0.3901 0.4758 0.7496
816.65/775.75	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0267 0.2960 0.4524 0.5454 0.7179
816.65/775.75	c        pb/other/clasp-1.3.3                : 0.0338 0.0415 0.0712 0.5594 0.6694 0.7147 0.8248
816.65/775.75	c        pb/other/sat4j-pb-v20090829         : 0.0056 0.0004 0.0012 0.1911 0.2541 0.3010 0.4646
816.65/775.75	c        pb/other/sat4j-pb-v20090829-cutting : 0.0020 0.0120 0.0123 0.0301 0.0690 0.0845 0.2092
816.65/775.75	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1421358639', u'HOME/instance-3740912-1338721467.opb'] for 0:00:10
827.37/785.91	c DEBUG: probabilities of action success (DCM model):
827.37/785.91	c        pb/competition_2010/bsolo_pb10-l1   : 0.0021 0.0027 0.0371 0.0989 0.1604 0.1901 0.2959
827.37/785.91	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0076 0.0230 0.0305 0.1193
827.37/785.91	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0716 0.0723 0.0767 0.1049 0.1888
827.37/785.91	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0067 0.0053 0.2464 0.3934 0.4784 0.7497
827.37/785.91	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0273 0.2998 0.4592 0.5516 0.7206
827.37/785.91	c        pb/other/clasp-1.3.3                : 0.0326 0.0409 0.0712 0.5595 0.6700 0.7154 0.8255
827.37/785.91	c        pb/other/sat4j-pb-v20090829         : 0.0057 0.0004 0.0012 0.1971 0.2615 0.3086 0.4696
827.37/785.91	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0120 0.0124 0.0308 0.0689 0.0846 0.2085
827.37/785.91	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1085679688', u'HOME/instance-3740912-1338721467.opb'] for 0:00:10
837.91/796.06	c DEBUG: probabilities of action success (DCM model):
837.91/796.06	c        pb/competition_2010/bsolo_pb10-l1   : 0.0020 0.0027 0.0382 0.1017 0.1653 0.1949 0.2998
837.91/796.06	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0078 0.0237 0.0315 0.1217
837.91/796.06	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0726 0.0733 0.0778 0.1068 0.1923
837.91/796.06	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0069 0.0055 0.2489 0.3967 0.4810 0.7498
837.91/796.06	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0279 0.3035 0.4659 0.5577 0.7233
837.91/796.06	c        pb/other/clasp-1.3.3                : 0.0314 0.0402 0.0712 0.5597 0.6707 0.7161 0.8262
837.91/796.06	c        pb/other/sat4j-pb-v20090829         : 0.0058 0.0004 0.0013 0.2031 0.2690 0.3163 0.4747
837.91/796.06	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0121 0.0125 0.0315 0.0689 0.0847 0.2079
837.91/796.06	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=865238940', u'HOME/instance-3740912-1338721467.opb'] for 0:00:10
848.65/806.22	c DEBUG: probabilities of action success (DCM model):
848.65/806.22	c        pb/competition_2010/bsolo_pb10-l1   : 0.0020 0.0027 0.0394 0.1045 0.1701 0.1997 0.3036
848.65/806.22	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0081 0.0245 0.0325 0.1240
848.65/806.22	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0735 0.0742 0.0789 0.1086 0.1958
848.65/806.22	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0072 0.0056 0.2514 0.3999 0.4836 0.7499
848.65/806.22	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0286 0.3071 0.4724 0.5638 0.7259
848.65/806.22	c        pb/other/clasp-1.3.3                : 0.0302 0.0396 0.0712 0.5599 0.6714 0.7169 0.8270
848.65/806.22	c        pb/other/sat4j-pb-v20090829         : 0.0059 0.0004 0.0013 0.2091 0.2764 0.3239 0.4798
848.65/806.22	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0122 0.0126 0.0322 0.0689 0.0848 0.2073
848.65/806.22	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1532201149', u'HOME/instance-3740912-1338721467.opb'] for 0:05:00
1017.66/967.93	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3740912-1338721467/watcher-3740912-1338721467 -o /tmp/evaluation-result-3740912-1338721467/solver-3740912-1338721467 -C 1800 -W 1900 -M 15500 solver HOME/instance-3740912-1338721467.opb 925395975 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.05 2.09 2.08 3/177 28892
/proc/meminfo: memFree=28635844/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/28892/stat : 28892 (python) D 28890 28892 22930 0 -1 4202496 759 0 0 0 0 0 0 0 20 0 1 0 338271668 15642624 527 33554432000 4194304 5683644 140734226406176 140734226392088 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/28892/statm: 3819 527 312 364 0 261 0

[startup+0.0126029 s]
/proc/loadavg: 2.05 2.09 2.08 3/177 28892
/proc/meminfo: memFree=28635844/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/28892/stat : 28892 (python) D 28890 28892 22930 0 -1 4202496 879 0 0 0 0 0 0 0 20 0 1 0 338271668 15749120 628 33554432000 4194304 5683644 140734226406176 140734226346664 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/28892/statm: 3845 628 333 364 0 287 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380

[startup+0.100317 s]
/proc/loadavg: 2.05 2.09 2.08 3/177 28892
/proc/meminfo: memFree=28635844/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=17620 CPUtime=0.02 cores=1,3,5,7
/proc/28892/stat : 28892 (python) D 28890 28892 22930 0 -1 4202496 2213 0 0 0 1 1 0 0 20 0 1 0 338271668 18042880 720 33554432000 4194304 4196484 140736510792880 140736510718824 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 4405 720 354 1 0 340 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17620

[startup+0.300276 s]
/proc/loadavg: 2.05 2.09 2.08 3/177 28892
/proc/meminfo: memFree=28635844/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=54516 CPUtime=0.08 cores=1,3,5,7
/proc/28892/stat : 28892 (python) D 28890 28892 22930 0 -1 4202496 3936 0 0 0 4 4 0 0 20 0 1 0 338271668 55824384 2130 33554432000 4194304 4196484 140736510792880 140736510648408 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 13629 2130 600 1 0 1484 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 54516

[startup+0.700251 s]
/proc/loadavg: 2.05 2.09 2.08 3/177 28892
/proc/meminfo: memFree=28635844/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=99048 CPUtime=0.25 cores=1,3,5,7
/proc/28892/stat : 28892 (python) R 28890 28892 22930 0 -1 4202496 5757 0 0 0 13 12 0 0 20 0 1 0 338271668 101425152 3603 33554432000 4194304 4196484 140736510792880 140736510735064 233220947797 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 24762 3603 1047 1 0 2564 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 99048

[startup+1.50026 s]
/proc/loadavg: 2.05 2.09 2.08 3/178 28897
/proc/meminfo: memFree=28616360/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=118124 CPUtime=0.5 cores=1,3,5,7
/proc/28892/stat : 28892 (python) R 28890 28892 22930 0 -1 4202496 9596 1012 0 0 27 23 0 0 20 0 1 0 338271668 120958976 5830 33554432000 4194304 4196484 140736510792880 140736510726488 233220948880 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 29531 5830 1083 1 0 4730 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 118124

[startup+3.10027 s]
/proc/loadavg: 2.05 2.09 2.08 5/196 28918
/proc/meminfo: memFree=28697008/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=134492 CPUtime=0.69 cores=1,3,5,7
/proc/28892/stat : 28892 (python) R 28890 28892 22930 0 -1 4202496 11247 1012 0 0 40 29 0 0 20 0 1 0 338271668 137719808 6348 33554432000 4194304 4196484 140736510792880 140736510784640 233220989879 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/28892/statm: 33623 6348 1170 1 0 5195 0
[pid=28918] ppid=28892 vsize=15896 CPUtime=1.2 cores=1,3,5,7
/proc/28918/stat : 28918 (clasp-1.3.3-x86) R 28892 28918 28918 0 -1 4202496 4215 0 0 0 119 1 0 0 20 0 1 0 338271857 16277504 3694 33554432000 134512640 136080129 4288789360 4288788352 134588674 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/28918/statm: 3974 3694 176 383 0 3589 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 150388
heavy processes:

[startup+6.30026 s]
/proc/loadavg: 2.04 2.09 2.08 3/196 28918
/proc/meminfo: memFree=28242924/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=134492 CPUtime=0.85 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 11257 1012 0 0 52 33 0 0 20 0 1 0 338271668 137719808 6348 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/28892/statm: 33623 6348 1170 1 0 5195 0
[pid=28918] ppid=28892 vsize=20344 CPUtime=4.4 cores=1,3,5,7
/proc/28918/stat : 28918 (clasp-1.3.3-x86) R 28892 28918 28918 0 -1 4202496 5244 0 0 0 439 1 0 0 20 0 1 0 338271857 20832256 4723 33554432000 134512640 136080129 4288789360 4288788320 134716386 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/28918/statm: 5086 4723 176 383 0 4701 0
Current children cumulated CPU time (s) 5.25
Current children cumulated vsize (KiB) 154836

[startup+12.7001 s]
/proc/loadavg: 2.04 2.09 2.08 4/197 28919
/proc/meminfo: memFree=28103260/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=11.29 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 12502 8728 0 0 79 37 1011 2 20 0 1 0 338271668 139829248 6369 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/28892/statm: 34138 6369 1180 1 0 5195 0
Current children cumulated CPU time (s) 11.29
Current children cumulated vsize (KiB) 136552

[startup+25.5003 s]
/proc/loadavg: 2.10 2.10 2.09 3/197 28922
/proc/meminfo: memFree=28099688/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=11.88 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 12530 8728 0 0 130 45 1011 2 20 0 1 0 338271668 139829248 6369 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6369 1180 1 0 5195 0
[pid=28922] ppid=28892 vsize=30596 CPUtime=13.44 cores=1,3,5,7
/proc/28922/stat : 28922 (clasp-1.3.3-x86) R 28892 28922 28922 0 -1 4202496 7731 0 0 0 1343 1 0 0 20 0 1 0 338272872 31330304 7215 33554432000 134512640 136080129 4294723792 4294722864 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/28922/statm: 7649 7215 176 383 0 7264 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 167148

[startup+51.1003 s]
/proc/loadavg: 2.13 2.11 2.09 4/197 28922
/proc/meminfo: memFree=28091628/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=13.03 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 12555 8728 0 0 228 62 1011 2 20 0 1 0 338271668 139829248 6369 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6369 1180 1 0 5195 0
[pid=28922] ppid=28892 vsize=38648 CPUtime=39.04 cores=1,3,5,7
/proc/28922/stat : 28922 (clasp-1.3.3-x86) R 28892 28922 28922 0 -1 4202496 9754 0 0 0 3902 2 0 0 20 0 1 0 338272872 39575552 9238 33554432000 134512640 136080129 4294723792 4294722864 134849968 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/28922/statm: 9662 9238 176 383 0 9277 0
Current children cumulated CPU time (s) 52.07
Current children cumulated vsize (KiB) 175200

[startup+102.307 s]
/proc/loadavg: 2.10 2.10 2.09 3/179 28928
/proc/meminfo: memFree=28648496/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=66.12 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 13740 19734 0 0 449 101 6056 6 20 0 1 0 338271668 139829248 6374 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6374 1180 1 0 5195 0
[pid=28925] ppid=28892 vsize=42136 CPUtime=39.73 cores=1,3,5,7
/proc/28925/stat : 28925 (wbo1.4a) R 28892 28925 28925 0 -1 4202496 12210 0 0 0 3941 32 0 0 20 0 1 0 338277925 43147264 9858 33554432000 134512640 135751879 4287294192 4287292368 134616336 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/28925/statm: 10534 9858 139 303 0 10229 0
Current children cumulated CPU time (s) 105.85
Current children cumulated vsize (KiB) 178688

[startup+162.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/179 28932
/proc/meminfo: memFree=28571712/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=119.66 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 14974 35502 0 0 684 142 11084 56 20 0 1 0 338271668 139829248 6375 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6375 1180 1 0 5195 0
[pid=28931] ppid=28892 vsize=38140 CPUtime=48.92 cores=1,3,5,7
/proc/28931/stat : 28931 (clasp-1.3.3-x86) R 28892 28931 28931 0 -1 4202496 9596 0 0 0 4890 2 0 0 20 0 1 0 338283004 39055360 9079 33554432000 134512640 136080129 4288118192 4288117152 134807908 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/28931/statm: 9535 9079 176 383 0 9150 0
Current children cumulated CPU time (s) 168.58
Current children cumulated vsize (KiB) 174692

[startup+222.3 s]
/proc/loadavg: 2.09 2.09 2.09 3/179 28938
/proc/meminfo: memFree=28457948/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=222.93 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 16215 47515 0 0 945 181 21107 60 20 0 1 0 338271668 139829248 6376 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6376 1180 1 0 5195 0
[pid=28938] ppid=28892 vsize=26496 CPUtime=8.61 cores=1,3,5,7
/proc/28938/stat : 28938 (wbo1.4a) R 28892 28938 28938 0 -1 4202496 8398 0 0 0 842 19 0 0 20 0 1 0 338293035 27131904 6045 33554432000 134512640 135751879 4291996272 4291994524 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/28938/statm: 6624 6045 139 303 0 6319 0
Current children cumulated CPU time (s) 231.54
Current children cumulated vsize (KiB) 163048

[startup+282.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/179 28947
/proc/meminfo: memFree=28597580/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=225.71 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 16257 47515 0 0 1181 223 21107 60 20 0 1 0 338271668 139829248 6376 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6376 1180 1 0 5195 0
[pid=28938] ppid=28892 vsize=55704 CPUtime=68.59 cores=1,3,5,7
/proc/28938/stat : 28938 (wbo1.4a) R 28892 28938 28938 0 -1 4202496 15581 0 0 0 6806 53 0 0 20 0 1 0 338293035 57040896 13286 33554432000 134512640 135751879 4291996272 4291994448 134616336 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/28938/statm: 13926 13286 139 303 0 13621 0
Current children cumulated CPU time (s) 294.3
Current children cumulated vsize (KiB) 192256

[startup+342.3 s]
/proc/loadavg: 1.96 2.04 2.07 3/180 28971
/proc/meminfo: memFree=28626516/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=329.84 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 17494 65411 0 0 1443 265 31158 118 20 0 1 0 338271668 139829248 6378 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6378 1180 1 0 5195 0
[pid=28962] ppid=28892 vsize=39088 CPUtime=27.47 cores=1,3,5,7
/proc/28962/stat : 28962 (wbo1.4b) R 28892 28962 28962 0 -1 4202496 11481 0 0 0 2717 30 0 0 20 0 1 0 338303149 40026112 9128 33554432000 134512640 135751879 4294270912 4294268928 134616336 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/28962/statm: 9772 9128 143 303 0 9467 0
Current children cumulated CPU time (s) 357.31
Current children cumulated vsize (KiB) 175640

[startup+402.301 s]
/proc/loadavg: 2.08 2.06 2.08 3/197 29016
/proc/meminfo: memFree=28154584/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=383.25 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 18723 79355 0 0 1683 304 36184 154 20 0 1 0 338271668 139829248 6379 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6379 1180 1 0 5195 0
[pid=28995] ppid=28892 vsize=2715136 CPUtime=38.88 cores=1,3,5,7
/proc/28995/stat : 28995 (java) S 28892 28995 28995 0 -1 4202496 12737 0 1 0 3858 30 0 0 20 0 19 0 338308214 2780299264 128251 33554432000 1073741824 1073778376 140734676453808 140734676444944 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28995/statm: 678784 128251 2269 9 0 669477 0

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

/proc/29038/statm: 14099 11651 192 642 0 13455 0
Current children cumulated CPU time (s) 611.36
Current children cumulated vsize (KiB) 192948

[startup+642.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/179 29047
/proc/meminfo: memFree=28494404/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=667.16 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 24886 154683 0 1 2694 476 63237 309 20 0 1 0 338271668 139829248 6384 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6384 1180 1 0 5195 0
[pid=29047] ppid=28892 vsize=25532 CPUtime=7.24 cores=1,3,5,7
/proc/29047/stat : 29047 (wbo1.4a) R 28892 29047 29047 0 -1 4202496 8180 0 0 0 706 18 0 0 20 0 1 0 338335174 26144768 5826 33554432000 134512640 135751879 4291836384 4291834636 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/29047/statm: 6383 5826 139 303 0 6078 0
Current children cumulated CPU time (s) 674.4
Current children cumulated vsize (KiB) 162084

[startup+702.3 s]
/proc/loadavg: 2.08 2.10 2.09 3/179 29065
/proc/meminfo: memFree=28463776/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=731.82 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 32161 214707 0 1 2961 521 69339 361 20 0 1 0 338271668 139829248 6386 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6386 1180 1 0 5195 0
[pid=29065] ppid=28892 vsize=22308 CPUtime=5.59 cores=1,3,5,7
/proc/29065/stat : 29065 (clasp-1.3.3-x86) R 28892 29065 29065 0 -1 4202496 5768 0 0 0 559 0 0 0 20 0 1 0 338341338 22843392 5249 33554432000 134512640 136080129 4291199744 4291198704 134808118 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/29065/statm: 5577 5249 176 383 0 5192 0
Current children cumulated CPU time (s) 737.41
Current children cumulated vsize (KiB) 158860

[startup+762.307 s]
/proc/loadavg: 2.06 2.09 2.09 3/179 29093
/proc/meminfo: memFree=28459312/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=795.13 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 34569 234852 0 2 3203 564 75338 408 20 0 1 0 338271668 139829248 6387 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6387 1180 1 0 5195 0
[pid=29093] ppid=28892 vsize=23612 CPUtime=7.23 cores=1,3,5,7
/proc/29093/stat : 29093 (clasp-1.3.3-x86) R 28892 29093 29093 0 -1 4202496 6060 0 0 0 722 1 0 0 20 0 1 0 338347175 24178688 5545 33554432000 134512640 136080129 4290126352 4290125140 135505028 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/29093/statm: 5903 5545 176 383 0 5518 0
Current children cumulated CPU time (s) 802.36
Current children cumulated vsize (KiB) 160164

[startup+822.3 s]
/proc/loadavg: 2.02 2.07 2.08 4/179 29108
/proc/meminfo: memFree=28452768/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=849.43 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 40666 276508 0 2 3476 612 80417 438 20 0 1 0 338271668 139829248 6388 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6388 1180 1 0 5195 0
[pid=29108] ppid=28892 vsize=29736 CPUtime=16.06 cores=1,3,5,7
/proc/29108/stat : 29108 (clasp-1.3.3-x86) R 28892 29108 29108 0 -1 4202496 7514 0 0 0 1604 2 0 0 20 0 1 0 338352291 30449664 6996 33554432000 134512640 136080129 4289459760 4289458888 134803168 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/29108/statm: 7434 6996 176 383 0 7049 0
Current children cumulated CPU time (s) 865.49
Current children cumulated vsize (KiB) 166288

[startup+882.3 s]
/proc/loadavg: 2.24 2.12 2.10 3/179 29114
/proc/meminfo: memFree=28595292/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=852.12 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 40699 276508 0 2 3709 648 80417 438 20 0 1 0 338271668 139829248 6388 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6388 1180 1 0 5195 0
[pid=29108] ppid=28892 vsize=41724 CPUtime=76.03 cores=1,3,5,7
/proc/29108/stat : 29108 (clasp-1.3.3-x86) R 28892 29108 29108 0 -1 4202496 10466 0 0 0 7601 2 0 0 20 0 1 0 338352291 42725376 10076 33554432000 134512640 136080129 4289459760 4289458832 134849634 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/29108/statm: 10431 10076 176 383 0 10046 0
Current children cumulated CPU time (s) 928.15
Current children cumulated vsize (KiB) 178276

[startup+942.3 s]
/proc/loadavg: 2.14 2.11 2.09 3/180 29117
/proc/meminfo: memFree=28529344/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=854.85 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 40725 276508 0 2 3943 687 80417 438 20 0 1 0 338271668 139829248 6388 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6388 1180 1 0 5195 0
[pid=29108] ppid=28892 vsize=46876 CPUtime=136.03 cores=1,3,5,7
/proc/29108/stat : 29108 (clasp-1.3.3-x86) R 28892 29108 29108 0 -1 4202496 11688 0 0 0 13600 3 0 0 20 0 1 0 338352291 48001024 11298 33554432000 134512640 136080129 4289459760 4289458836 134850025 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/29108/statm: 11719 11298 176 383 0 11334 0
Current children cumulated CPU time (s) 990.88
Current children cumulated vsize (KiB) 183428

Solver just ended. Dumping a history of the last processes samples

[startup+947.107 s]
/proc/loadavg: 2.13 2.11 2.09 3/180 29117
/proc/meminfo: memFree=28523624/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=855.07 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 40727 276508 0 2 3962 690 80417 438 20 0 1 0 338271668 139829248 6388 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6388 1180 1 0 5195 0
[pid=29108] ppid=28892 vsize=48588 CPUtime=140.83 cores=1,3,5,7
/proc/29108/stat : 29108 (clasp-1.3.3-x86) R 28892 29108 29108 0 -1 4202496 12107 0 0 0 14080 3 0 0 20 0 1 0 338352291 49754112 11717 33554432000 134512640 136080129 4289459760 4289458752 134588728 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/29108/statm: 12147 11717 176 383 0 11762 0
Current children cumulated CPU time (s) 995.9
Current children cumulated vsize (KiB) 185140

[startup+959.9 s]
/proc/loadavg: 2.19 2.12 2.09 3/180 29120
/proc/meminfo: memFree=28627228/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=855.65 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 40732 276508 0 2 4010 700 80417 438 20 0 1 0 338271668 139829248 6388 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6388 1180 1 0 5195 0
[pid=29108] ppid=28892 vsize=48876 CPUtime=153.62 cores=1,3,5,7
/proc/29108/stat : 29108 (clasp-1.3.3-x86) R 28892 29108 29108 0 -1 4202496 12153 0 0 0 15359 3 0 0 20 0 1 0 338352291 50049024 11763 33554432000 134512640 136080129 4289459760 4289458832 134849440 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/29108/statm: 12219 11763 176 383 0 11834 0
Current children cumulated CPU time (s) 1009.27
Current children cumulated vsize (KiB) 185428

[startup+963.1 s]
/proc/loadavg: 2.17 2.12 2.09 3/180 29120
/proc/meminfo: memFree=28620036/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=855.79 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 40733 276508 0 2 4022 702 80417 438 20 0 1 0 338271668 139829248 6388 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6388 1180 1 0 5195 0
[pid=29108] ppid=28892 vsize=48876 CPUtime=156.82 cores=1,3,5,7
/proc/29108/stat : 29108 (clasp-1.3.3-x86) R 28892 29108 29108 0 -1 4202496 12154 0 0 0 15679 3 0 0 20 0 1 0 338352291 50049024 11764 33554432000 134512640 136080129 4289459760 4289458752 134588658 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/29108/statm: 12219 11764 176 383 0 11834 0
Current children cumulated CPU time (s) 1012.61
Current children cumulated vsize (KiB) 185428

[startup+966.3 s]
/proc/loadavg: 2.16 2.12 2.09 3/180 29120
/proc/meminfo: memFree=28614440/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=855.93 cores=1,3,5,7
/proc/28892/stat : 28892 (python) R 28890 28892 22930 0 -1 4202496 40735 276508 0 2 4035 703 80417 438 20 0 1 0 338271668 139829248 6388 33554432000 4194304 4196484 140736510792880 140736510784640 233220989879 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34139 6388 1180 1 0 5196 0
[pid=29108] ppid=28892 vsize=48876 CPUtime=160.02 cores=1,3,5,7
/proc/29108/stat : 29108 (clasp-1.3.3-x86) R 28892 29108 29108 0 -1 4202496 12166 0 0 0 15999 3 0 0 20 0 1 0 338352291 50049024 11776 33554432000 134512640 136080129 4289459760 4289458780 135519665 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/29108/statm: 12219 11776 176 383 0 11834 0
Current children cumulated CPU time (s) 1015.95
Current children cumulated vsize (KiB) 185428

[startup+967.1 s]
/proc/loadavg: 2.16 2.12 2.09 3/180 29120
/proc/meminfo: memFree=28612704/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=855.98 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 40735 276508 0 2 4039 704 80417 438 20 0 1 0 338271668 139829248 6388 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6388 1180 1 0 5195 0
[pid=29108] ppid=28892 vsize=48876 CPUtime=160.82 cores=1,3,5,7
/proc/29108/stat : 29108 (clasp-1.3.3-x86) R 28892 29108 29108 0 -1 4202496 12166 0 0 0 16079 3 0 0 20 0 1 0 338352291 50049024 11776 33554432000 134512640 136080129 4289459760 4289458832 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/29108/statm: 12219 11776 176 383 0 11834 0
Current children cumulated CPU time (s) 1016.8
Current children cumulated vsize (KiB) 185428

[startup+967.5 s]
/proc/loadavg: 2.16 2.12 2.09 3/180 29120
/proc/meminfo: memFree=28612704/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=856 cores=1,3,5,7
/proc/28892/stat : 28892 (python) S 28890 28892 22930 0 -1 4202496 40735 276508 0 2 4041 704 80417 438 20 0 1 0 338271668 139829248 6388 33554432000 4194304 4196484 140736510792880 140736510784640 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6388 1180 1 0 5195 0
[pid=29108] ppid=28892 vsize=48876 CPUtime=161.22 cores=1,3,5,7
/proc/29108/stat : 29108 (clasp-1.3.3-x86) R 28892 29108 29108 0 -1 4202496 12166 0 0 0 16119 3 0 0 20 0 1 0 338352291 50049024 11776 33554432000 134512640 136080129 4289459760 4289458848 134836680 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/29108/statm: 12219 11776 176 383 0 11834 0
Current children cumulated CPU time (s) 1017.22
Current children cumulated vsize (KiB) 185428

[startup+967.9 s]
/proc/loadavg: 2.16 2.12 2.09 3/180 29123
/proc/meminfo: memFree=28720320/32873844 swapFree=7120/7120
[pid=28892] ppid=28890 vsize=136552 CPUtime=856.06 cores=1,3,5,7
/proc/28892/stat : 28892 (python) R 28890 28892 22930 0 -1 4202496 40738 276508 0 2 4045 706 80417 438 20 0 1 0 338271668 139829248 6389 33554432000 4194304 4196484 140736510792880 140736510784640 233220989879 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/28892/statm: 34138 6389 1180 1 0 5195 0
[pid=29108] ppid=28892 vsize=0 CPUtime=161.6 cores=1,3,5,7
/proc/29108/stat : 29108 (clasp-1.3.3-x86) Z 28892 29108 29108 0 -1 4202508 12179 0 0 0 16157 3 0 0 20 0 1 0 338352291 0 0 33554432000 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29108/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1017.66
Current children cumulated vsize (KiB) 136552

Child status: 20

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.019989
#  lost CPU user time (s): 0.179993
#  lost CPU system time (s): -0.16

Real time (s): 967.972
CPU time (s): 1017.77
CPU user time (s): 1006.42
CPU system time (s): 11.3433
CPU usage (%): 105.144
Max. virtual memory (cumulated for all children) (KiB): 2851692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1006.25
system time used= 11.5033
maximum resident set size= 581004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335278
page faults= 2
swaps= 0
block input operations= 0
block output operations= 280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11139
involuntary context switches= 7487

runsolver used 2.16067 second user time and 5.65814 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-03 13:04:27
IDJOB=3740912
IDBENCH=89675
IDSOLVER=2323
FILE ID=node142/3740912-1338721467
RUNJOBID= node142-1338713724-22947
PBS_JOBID= 14636740
Free space on /tmp= 71116 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-101.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3740912-1338721467/watcher-3740912-1338721467 -o /tmp/evaluation-result-3740912-1338721467/solver-3740912-1338721467 -C 1800 -W 1900 -M 15500  solver HOME/instance-3740912-1338721467.opb 925395975 

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

MD5SUM BENCH= a3ed9477da365050d631dd031519efe8
RANDOM SEED=925395975

node142.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5391.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28635868 kB
Buffers:          340660 kB
Cached:          2905296 kB
SwapCached:            0 kB
Active:          1500568 kB
Inactive:        1915064 kB
Active(anon):     161276 kB
Inactive(anon):    11220 kB
Active(file):    1339292 kB
Inactive(file):  1903844 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             27824 kB
Writeback:             0 kB
AnonPages:        177240 kB
Mapped:            14360 kB
Shmem:               200 kB
Slab:             683032 kB
SReclaimable:     124408 kB
SUnreclaim:       558624 kB
KernelStack:        1456 kB
PageTables:         4476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     291704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71092 MiB
End job on node142 at 2012-06-03 13:20:36