Trace number 2675974

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.30SAT 969.157 921.962

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24bt.opb
MD5SUMf8964c43535341fcc69e672675167b77
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark713.924
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables490
Total number of constraints1085
Number of constraints which are clauses738
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints345
Minimum length of a constraint1
Maximum length of a constraint169
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 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 193
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 

1.23/10.32	c DEBUG: probabilities of action success (DCM model):
1.23/10.32	c        pb/competition_2010/bsolo_pb10-l1   : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331
1.23/10.32	c        pb/competition_2010/bsolo_pb10-l2   : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493
1.23/10.32	c        pb/competition_2010/bsolo_pb10-l3   : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927
1.23/10.32	c        pb/competition_2010/wbo1.4a         : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114
1.23/10.32	c        pb/competition_2010/wbo1.4b         : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796
1.23/10.32	c        pb/other/clasp-1.3.3                : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586
1.23/10.32	c        pb/other/sat4j-pb-v20090829         : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315
1.23/10.32	c        pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110
1.23/10.37	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=321317723', u'HOME/instance-2675974-1277134558.opb'] for 0:00:10
12.02/20.60	c DEBUG: probabilities of action success (DCM model):
12.02/20.60	c        pb/competition_2010/bsolo_pb10-l1   : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
12.02/20.60	c        pb/competition_2010/bsolo_pb10-l2   : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
12.02/20.60	c        pb/competition_2010/bsolo_pb10-l3   : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
12.02/20.60	c        pb/competition_2010/wbo1.4a         : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
12.02/20.60	c        pb/competition_2010/wbo1.4b         : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
12.02/20.60	c        pb/other/clasp-1.3.3                : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
12.02/20.60	c        pb/other/sat4j-pb-v20090829         : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
12.02/20.60	c        pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
12.12/20.60	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1092664340', u'HOME/instance-2675974-1277134558.opb'] for 0:00:50
65.21/71.17	c DEBUG: probabilities of action success (DCM model):
65.21/71.17	c        pb/competition_2010/bsolo_pb10-l1   : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
65.21/71.17	c        pb/competition_2010/bsolo_pb10-l2   : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
65.21/71.17	c        pb/competition_2010/bsolo_pb10-l3   : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
65.21/71.17	c        pb/competition_2010/wbo1.4a         : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
65.21/71.17	c        pb/competition_2010/wbo1.4b         : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
65.21/71.17	c        pb/other/clasp-1.3.3                : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
65.21/71.17	c        pb/other/sat4j-pb-v20090829         : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
65.21/71.17	c        pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
65.21/71.17	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2675974-1277134558.opb'] for 0:00:50
119.10/122.10	c DEBUG: probabilities of action success (DCM model):
119.10/122.10	c        pb/competition_2010/bsolo_pb10-l1   : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
119.10/122.10	c        pb/competition_2010/bsolo_pb10-l2   : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
119.10/122.10	c        pb/competition_2010/bsolo_pb10-l3   : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
119.10/122.10	c        pb/competition_2010/wbo1.4a         : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
119.10/122.10	c        pb/competition_2010/wbo1.4b         : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
119.10/122.10	c        pb/other/clasp-1.3.3                : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
119.10/122.10	c        pb/other/sat4j-pb-v20090829         : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
119.10/122.10	c        pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
119.24/122.11	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1987889469', u'HOME/instance-2675974-1277134558.opb'] for 0:01:40
225.45/223.13	c DEBUG: probabilities of action success (DCM model):
225.45/223.13	c        pb/competition_2010/bsolo_pb10-l1   : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
225.45/223.13	c        pb/competition_2010/bsolo_pb10-l2   : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
225.45/223.13	c        pb/competition_2010/bsolo_pb10-l3   : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
225.45/223.13	c        pb/competition_2010/wbo1.4a         : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
225.45/223.13	c        pb/competition_2010/wbo1.4b         : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
225.45/223.13	c        pb/other/clasp-1.3.3                : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
225.45/223.13	c        pb/other/sat4j-pb-v20090829         : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
225.45/223.13	c        pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
225.45/223.13	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2675974-1277134558.opb'] for 0:01:40
332.60/324.67	c DEBUG: probabilities of action success (DCM model):
332.60/324.67	c        pb/competition_2010/bsolo_pb10-l1   : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
332.60/324.67	c        pb/competition_2010/bsolo_pb10-l2   : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
332.60/324.67	c        pb/competition_2010/bsolo_pb10-l3   : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
332.60/324.67	c        pb/competition_2010/wbo1.4a         : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
332.60/324.67	c        pb/competition_2010/wbo1.4b         : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
332.60/324.67	c        pb/other/clasp-1.3.3                : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
332.60/324.67	c        pb/other/sat4j-pb-v20090829         : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
332.60/324.67	c        pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
332.60/324.67	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2675974-1277134558.opb'] for 0:00:50
387.10/375.86	c DEBUG: probabilities of action success (DCM model):
387.10/375.86	c        pb/competition_2010/bsolo_pb10-l1   : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
387.10/375.86	c        pb/competition_2010/bsolo_pb10-l2   : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
387.10/375.86	c        pb/competition_2010/bsolo_pb10-l3   : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
387.10/375.86	c        pb/competition_2010/wbo1.4a         : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
387.10/375.86	c        pb/competition_2010/wbo1.4b         : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
387.10/375.86	c        pb/other/clasp-1.3.3                : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
387.10/375.86	c        pb/other/sat4j-pb-v20090829         : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
387.10/375.86	c        pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
387.10/375.87	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-2675974-1277134558.opb'] for 0:01:40
494.02/475.95	c DEBUG: probabilities of action success (DCM model):
494.02/475.95	c        pb/competition_2010/bsolo_pb10-l1   : 0.0113 0.0134 0.0468 0.1111 0.1700 0.2008 0.3121
494.02/475.95	c        pb/competition_2010/bsolo_pb10-l2   : 0.0003 0.0004 0.0004 0.0097 0.0246 0.0337 0.1349
494.02/475.95	c        pb/competition_2010/bsolo_pb10-l3   : 0.0350 0.0698 0.0716 0.0742 0.0803 0.1102 0.2054
494.02/475.95	c        pb/competition_2010/wbo1.4a         : 0.0412 0.0077 0.0057 0.2651 0.4171 0.5010 0.7572
494.02/475.95	c        pb/competition_2010/wbo1.4b         : 0.0393 0.0018 0.1223 0.3301 0.5006 0.5897 0.7412
494.02/475.95	c        pb/other/clasp-1.3.3                : 0.0438 0.0393 0.0774 0.5834 0.6917 0.7344 0.8415
494.02/475.95	c        pb/other/sat4j-pb-v20090829         : 0.0113 0.0469 0.0012 0.2219 0.2984 0.3590 0.5209
494.02/475.95	c        pb/other/sat4j-pb-v20090829-cutting : 0.0068 0.0314 0.0319 0.0608 0.0967 0.1155 0.2497
494.02/475.95	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2675974-1277134558.opb'] for 0:01:40
601.62/577.48	c DEBUG: probabilities of action success (DCM model):
601.62/577.48	c        pb/competition_2010/bsolo_pb10-l1   : 0.0057 0.0071 0.0414 0.1021 0.1619 0.1915 0.2956
601.62/577.48	c        pb/competition_2010/bsolo_pb10-l2   : 0.0001 0.0001 0.0001 0.0077 0.0229 0.0303 0.1153
601.62/577.48	c        pb/competition_2010/bsolo_pb10-l3   : 0.0337 0.0722 0.0727 0.0742 0.0771 0.1052 0.1843
601.62/577.48	c        pb/competition_2010/wbo1.4a         : 0.0430 0.0055 0.0046 0.2375 0.3823 0.4676 0.7399
601.62/577.48	c        pb/competition_2010/wbo1.4b         : 0.0298 0.0007 0.0251 0.2904 0.4467 0.5397 0.7097
601.62/577.48	c        pb/other/clasp-1.3.3                : 0.0452 0.0419 0.0705 0.5569 0.6657 0.7106 0.8227
601.62/577.48	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0367 0.0011 0.1953 0.2620 0.3061 0.4652
601.62/577.48	c        pb/other/sat4j-pb-v20090829-cutting : 0.0047 0.0213 0.0220 0.0357 0.0726 0.0877 0.2092
601.62/577.48	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2675974-1277134558.opb'] for 0:00:50
654.99/627.79	c DEBUG: probabilities of action success (DCM model):
654.99/627.79	c        pb/competition_2010/bsolo_pb10-l1   : 0.0056 0.0070 0.0350 0.0875 0.1379 0.1679 0.2779
654.99/627.79	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0082 0.0206 0.0285 0.1112
654.99/627.79	c        pb/competition_2010/bsolo_pb10-l3   : 0.0271 0.0006 0.0648 0.0663 0.0694 0.0943 0.1707
654.99/627.79	c        pb/competition_2010/wbo1.4a         : 0.0418 0.0058 0.0048 0.2383 0.3810 0.4683 0.7449
654.99/627.79	c        pb/competition_2010/wbo1.4b         : 0.0319 0.0007 0.0234 0.2842 0.4328 0.5290 0.7099
654.99/627.79	c        pb/other/clasp-1.3.3                : 0.0466 0.0429 0.0715 0.5647 0.6728 0.7172 0.8274
654.99/627.79	c        pb/other/sat4j-pb-v20090829         : 0.0089 0.0393 0.0011 0.1832 0.2460 0.2933 0.4648
654.99/627.79	c        pb/other/sat4j-pb-v20090829-cutting : 0.0049 0.0225 0.0232 0.0376 0.0774 0.0936 0.2247
654.99/627.79	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1381534187', u'HOME/instance-2675974-1277134558.opb'] for 0:00:10
666.01/638.03	c DEBUG: probabilities of action success (DCM model):
666.01/638.03	c        pb/competition_2010/bsolo_pb10-l1   : 0.0048 0.0062 0.0356 0.0901 0.1429 0.1729 0.2823
666.01/638.03	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0085 0.0216 0.0299 0.1142
666.01/638.03	c        pb/competition_2010/bsolo_pb10-l3   : 0.0284 0.0006 0.0660 0.0675 0.0708 0.0964 0.1746
666.01/638.03	c        pb/competition_2010/wbo1.4a         : 0.0419 0.0061 0.0050 0.2416 0.3851 0.4718 0.7463
666.01/638.03	c        pb/competition_2010/wbo1.4b         : 0.0313 0.0007 0.0242 0.2884 0.4409 0.5368 0.7143
666.01/638.03	c        pb/other/clasp-1.3.3                : 0.0432 0.0422 0.0717 0.5642 0.6732 0.7178 0.8280
666.01/638.03	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0402 0.0011 0.1889 0.2523 0.3000 0.4690
666.01/638.03	c        pb/other/sat4j-pb-v20090829-cutting : 0.0041 0.0196 0.0203 0.0354 0.0744 0.0909 0.2215
666.01/638.03	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=417652448', u'HOME/instance-2675974-1277134558.opb'] for 0:00:10
676.84/648.28	c DEBUG: probabilities of action success (DCM model):
676.84/648.28	c        pb/competition_2010/bsolo_pb10-l1   : 0.0043 0.0058 0.0365 0.0929 0.1481 0.1780 0.2865
676.84/648.28	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0089 0.0225 0.0312 0.1171
676.84/648.28	c        pb/competition_2010/bsolo_pb10-l3   : 0.0297 0.0007 0.0671 0.0686 0.0720 0.0984 0.1784
676.84/648.28	c        pb/competition_2010/wbo1.4a         : 0.0419 0.0064 0.0052 0.2447 0.3890 0.4751 0.7470
676.84/648.28	c        pb/competition_2010/wbo1.4b         : 0.0310 0.0007 0.0249 0.2925 0.4487 0.5442 0.7181
676.84/648.28	c        pb/other/clasp-1.3.3                : 0.0408 0.0415 0.0717 0.5640 0.6738 0.7185 0.8288
676.84/648.28	c        pb/other/sat4j-pb-v20090829         : 0.0081 0.0414 0.0012 0.1953 0.2599 0.3078 0.4741
676.84/648.28	c        pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0182 0.0189 0.0346 0.0729 0.0895 0.2196
676.84/648.29	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2675974-1277134558.opb'] for 0:00:10
687.96/658.43	c DEBUG: probabilities of action success (DCM model):
687.96/658.43	c        pb/competition_2010/bsolo_pb10-l1   : 0.0042 0.0051 0.0367 0.0952 0.1515 0.1809 0.2919
687.96/658.43	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0091 0.0232 0.0322 0.1217
687.96/658.43	c        pb/competition_2010/bsolo_pb10-l3   : 0.0308 0.0006 0.0658 0.0668 0.0704 0.0979 0.1806
687.96/658.43	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0062 0.0054 0.2431 0.3935 0.4830 0.7552
687.96/658.43	c        pb/competition_2010/wbo1.4b         : 0.0322 0.0006 0.0259 0.2941 0.4539 0.5495 0.7272
687.96/658.43	c        pb/other/clasp-1.3.3                : 0.0407 0.0412 0.0702 0.5773 0.6906 0.7332 0.8386
687.96/658.43	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0415 0.0012 0.1996 0.2666 0.3166 0.4896
687.96/658.43	c        pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0187 0.0192 0.0349 0.0747 0.0916 0.2271
687.96/658.44	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=53625299', u'HOME/instance-2675974-1277134558.opb'] for 0:00:10
698.80/668.68	c DEBUG: probabilities of action success (DCM model):
698.80/668.68	c        pb/competition_2010/bsolo_pb10-l1   : 0.0039 0.0049 0.0378 0.0982 0.1569 0.1862 0.2962
698.80/668.68	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0095 0.0242 0.0336 0.1245
698.80/668.68	c        pb/competition_2010/bsolo_pb10-l3   : 0.0321 0.0007 0.0669 0.0680 0.0717 0.1000 0.1846
698.80/668.68	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0064 0.0056 0.2461 0.3974 0.4861 0.7556
698.80/668.68	c        pb/competition_2010/wbo1.4b         : 0.0321 0.0006 0.0266 0.2983 0.4618 0.5570 0.7307
698.80/668.68	c        pb/other/clasp-1.3.3                : 0.0387 0.0405 0.0702 0.5772 0.6912 0.7339 0.8394
698.80/668.68	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0428 0.0012 0.2064 0.2748 0.3250 0.4951
698.80/668.68	c        pb/other/sat4j-pb-v20090829-cutting : 0.0036 0.0179 0.0184 0.0347 0.0737 0.0907 0.2256
698.80/668.69	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=515969285', u'HOME/instance-2675974-1277134558.opb'] for 0:00:10
709.82/678.94	c DEBUG: probabilities of action success (DCM model):
709.82/678.94	c        pb/competition_2010/bsolo_pb10-l1   : 0.0037 0.0048 0.0389 0.1012 0.1623 0.1915 0.3004
709.82/678.94	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0099 0.0251 0.0349 0.1274
709.82/678.94	c        pb/competition_2010/bsolo_pb10-l3   : 0.0334 0.0007 0.0680 0.0691 0.0729 0.1020 0.1884
709.82/678.94	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0067 0.0057 0.2490 0.4011 0.4892 0.7558
709.82/678.94	c        pb/competition_2010/wbo1.4b         : 0.0320 0.0006 0.0273 0.3025 0.4695 0.5642 0.7341
709.82/678.94	c        pb/other/clasp-1.3.3                : 0.0369 0.0398 0.0702 0.5772 0.6919 0.7347 0.8403
709.82/678.94	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0442 0.0013 0.2134 0.2832 0.3336 0.5007
709.82/678.94	c        pb/other/sat4j-pb-v20090829-cutting : 0.0034 0.0174 0.0179 0.0348 0.0730 0.0901 0.2243
709.82/678.94	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1475965135', u'HOME/instance-2675974-1277134558.opb'] for 0:00:10
720.61/689.14	c DEBUG: probabilities of action success (DCM model):
720.61/689.14	c        pb/competition_2010/bsolo_pb10-l1   : 0.0036 0.0047 0.0401 0.1043 0.1677 0.1967 0.3047
720.61/689.14	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0103 0.0261 0.0362 0.1301
720.61/689.14	c        pb/competition_2010/bsolo_pb10-l3   : 0.0347 0.0007 0.0690 0.0701 0.0742 0.1041 0.1923
720.61/689.14	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0069 0.0059 0.2519 0.4048 0.4922 0.7560
720.61/689.14	c        pb/competition_2010/wbo1.4b         : 0.0319 0.0006 0.0280 0.3065 0.4771 0.5714 0.7375
720.61/689.14	c        pb/other/clasp-1.3.3                : 0.0352 0.0390 0.0701 0.5772 0.6926 0.7356 0.8412
720.61/689.14	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0456 0.0013 0.2203 0.2917 0.3422 0.5065
720.61/689.14	c        pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0170 0.0176 0.0351 0.0725 0.0897 0.2232
720.61/689.14	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=806373251', u'HOME/instance-2675974-1277134558.opb'] for 0:00:10
731.59/699.40	c DEBUG: probabilities of action success (DCM model):
731.59/699.40	c        pb/competition_2010/bsolo_pb10-l1   : 0.0035 0.0046 0.0414 0.1073 0.1730 0.2020 0.3089
731.59/699.40	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0106 0.0270 0.0376 0.1328
731.59/699.40	c        pb/competition_2010/bsolo_pb10-l3   : 0.0359 0.0007 0.0700 0.0712 0.0753 0.1061 0.1960
731.59/699.40	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0071 0.0061 0.2547 0.4085 0.4952 0.7561
731.59/699.40	c        pb/competition_2010/wbo1.4b         : 0.0318 0.0006 0.0287 0.3105 0.4845 0.5783 0.7407
731.59/699.40	c        pb/other/clasp-1.3.3                : 0.0337 0.0383 0.0700 0.5774 0.6935 0.7365 0.8422
731.59/699.40	c        pb/other/sat4j-pb-v20090829         : 0.0085 0.0471 0.0014 0.2273 0.3002 0.3509 0.5123
731.59/699.40	c        pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0168 0.0174 0.0356 0.0721 0.0895 0.2223
731.59/699.40	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2675974-1277134558.opb'] for 0:00:10
742.61/709.62	c DEBUG: probabilities of action success (DCM model):
742.61/709.62	c        pb/competition_2010/bsolo_pb10-l1   : 0.0035 0.0046 0.0335 0.0887 0.1422 0.1723 0.2831
742.61/709.62	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0110 0.0239 0.0348 0.1243
742.61/709.62	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0006 0.0633 0.0644 0.0688 0.0951 0.1792
742.61/709.62	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0074 0.0063 0.2548 0.4004 0.4857 0.7517
742.61/709.62	c        pb/competition_2010/wbo1.4b         : 0.0330 0.0006 0.0260 0.3033 0.4653 0.5626 0.7311
742.61/709.62	c        pb/other/clasp-1.3.3                : 0.0349 0.0397 0.0725 0.5710 0.6821 0.7268 0.8363
742.61/709.62	c        pb/other/sat4j-pb-v20090829         : 0.0088 0.0488 0.0013 0.2079 0.2742 0.3267 0.4941
742.61/709.62	c        pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0174 0.0180 0.0367 0.0746 0.0926 0.2304
742.61/709.63	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=884127494', u'HOME/instance-2675974-1277134558.opb'] for 0:00:10
753.45/719.88	c DEBUG: probabilities of action success (DCM model):
753.45/719.88	c        pb/competition_2010/bsolo_pb10-l1   : 0.0034 0.0046 0.0345 0.0912 0.1467 0.1766 0.2865
753.45/719.88	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0114 0.0247 0.0360 0.1268
753.45/719.88	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0006 0.0641 0.0652 0.0697 0.0968 0.1824
753.45/719.88	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0077 0.0065 0.2576 0.4039 0.4884 0.7517
753.45/719.88	c        pb/competition_2010/wbo1.4b         : 0.0330 0.0006 0.0266 0.3071 0.4722 0.5692 0.7341
753.45/719.88	c        pb/other/clasp-1.3.3                : 0.0335 0.0390 0.0725 0.5709 0.6826 0.7274 0.8371
753.45/719.88	c        pb/other/sat4j-pb-v20090829         : 0.0089 0.0504 0.0014 0.2144 0.2821 0.3348 0.4995
753.45/719.88	c        pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0173 0.0179 0.0373 0.0744 0.0926 0.2299
753.45/719.88	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-2675974-1277134558.opb'] for 0:00:50
807.40/769.62	c DEBUG: probabilities of action success (DCM model):
807.40/769.62	c        pb/competition_2010/bsolo_pb10-l1   : 0.0027 0.0033 0.0343 0.0933 0.1487 0.1802 0.2953
807.40/769.62	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0068 0.0207 0.0275 0.1219
807.40/769.62	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0674 0.0680 0.0719 0.1000 0.1870
807.40/769.62	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0066 0.0068 0.2480 0.3953 0.4814 0.7562
807.40/769.62	c        pb/competition_2010/wbo1.4b         : 0.0339 0.0006 0.0270 0.3026 0.4612 0.5528 0.7230
807.40/769.62	c        pb/other/clasp-1.3.3                : 0.0351 0.0409 0.0745 0.5713 0.6785 0.7222 0.8293
807.40/769.62	c        pb/other/sat4j-pb-v20090829         : 0.0060 0.0004 0.0011 0.1829 0.2472 0.3019 0.4737
807.40/769.62	c        pb/other/sat4j-pb-v20090829-cutting : 0.0026 0.0140 0.0144 0.0310 0.0693 0.0875 0.2214
807.40/769.63	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1691573469', u'HOME/instance-2675974-1277134558.opb'] for 0:00:10
818.18/779.83	c DEBUG: probabilities of action success (DCM model):
818.18/779.83	c        pb/competition_2010/bsolo_pb10-l1   : 0.0027 0.0033 0.0354 0.0960 0.1534 0.1848 0.2992
818.18/779.83	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0071 0.0214 0.0284 0.1243
818.18/779.83	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0683 0.0690 0.0730 0.1019 0.1906
818.18/779.83	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0068 0.0070 0.2506 0.3986 0.4840 0.7563
818.18/779.83	c        pb/competition_2010/wbo1.4b         : 0.0339 0.0006 0.0276 0.3064 0.4679 0.5590 0.7256
818.18/779.83	c        pb/other/clasp-1.3.3                : 0.0338 0.0402 0.0745 0.5713 0.6790 0.7228 0.8299
818.18/779.83	c        pb/other/sat4j-pb-v20090829         : 0.0061 0.0004 0.0012 0.1887 0.2544 0.3093 0.4786
818.18/779.83	c        pb/other/sat4j-pb-v20090829-cutting : 0.0025 0.0141 0.0144 0.0316 0.0691 0.0875 0.2207
818.18/779.84	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2675974-1277134558.opb'] for 0:00:10
829.88/790.51	c DEBUG: probabilities of action success (DCM model):
829.88/790.51	c        pb/competition_2010/bsolo_pb10-l1   : 0.0021 0.0027 0.0359 0.0961 0.1555 0.1853 0.2919
829.88/790.51	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0073 0.0222 0.0294 0.1169
829.88/790.51	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0706 0.0713 0.0755 0.1030 0.1852
829.88/790.51	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0065 0.0052 0.2439 0.3901 0.4758 0.7496
829.88/790.51	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0267 0.2960 0.4524 0.5454 0.7179
829.88/790.51	c        pb/other/clasp-1.3.3                : 0.0338 0.0415 0.0712 0.5594 0.6694 0.7147 0.8248
829.88/790.51	c        pb/other/sat4j-pb-v20090829         : 0.0056 0.0004 0.0012 0.1911 0.2541 0.3010 0.4646
829.88/790.51	c        pb/other/sat4j-pb-v20090829-cutting : 0.0020 0.0120 0.0123 0.0301 0.0690 0.0845 0.2092
829.88/790.52	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1159528843', u'HOME/instance-2675974-1277134558.opb'] for 0:00:10
840.68/800.76	c DEBUG: probabilities of action success (DCM model):
840.68/800.76	c        pb/competition_2010/bsolo_pb10-l1   : 0.0021 0.0027 0.0371 0.0989 0.1604 0.1901 0.2959
840.68/800.76	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0076 0.0230 0.0305 0.1193
840.68/800.76	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0716 0.0723 0.0767 0.1049 0.1888
840.68/800.76	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0067 0.0053 0.2464 0.3934 0.4784 0.7497
840.68/800.76	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0273 0.2998 0.4592 0.5516 0.7206
840.68/800.76	c        pb/other/clasp-1.3.3                : 0.0326 0.0409 0.0712 0.5595 0.6700 0.7154 0.8255
840.68/800.76	c        pb/other/sat4j-pb-v20090829         : 0.0057 0.0004 0.0012 0.1971 0.2615 0.3086 0.4696
840.68/800.76	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0120 0.0124 0.0308 0.0689 0.0846 0.2085
840.68/800.76	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=2095418539', u'HOME/instance-2675974-1277134558.opb'] for 0:00:10
851.48/810.97	c DEBUG: probabilities of action success (DCM model):
851.48/810.97	c        pb/competition_2010/bsolo_pb10-l1   : 0.0020 0.0027 0.0382 0.1017 0.1653 0.1949 0.2998
851.48/810.97	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0078 0.0237 0.0315 0.1217
851.48/810.97	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0726 0.0733 0.0778 0.1068 0.1923
851.48/810.97	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0069 0.0055 0.2489 0.3967 0.4810 0.7498
851.48/810.97	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0279 0.3035 0.4659 0.5577 0.7233
851.48/810.97	c        pb/other/clasp-1.3.3                : 0.0314 0.0402 0.0712 0.5597 0.6707 0.7161 0.8262
851.48/810.97	c        pb/other/sat4j-pb-v20090829         : 0.0058 0.0004 0.0013 0.2031 0.2690 0.3163 0.4747
851.48/810.97	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0121 0.0125 0.0315 0.0689 0.0847 0.2079
851.48/810.97	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=820248185', u'HOME/instance-2675974-1277134558.opb'] for 0:00:10
862.35/821.17	c DEBUG: probabilities of action success (DCM model):
862.35/821.17	c        pb/competition_2010/bsolo_pb10-l1   : 0.0020 0.0027 0.0394 0.1045 0.1701 0.1997 0.3036
862.35/821.17	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0081 0.0245 0.0325 0.1240
862.35/821.17	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0735 0.0742 0.0789 0.1086 0.1958
862.35/821.17	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0072 0.0056 0.2514 0.3999 0.4836 0.7499
862.35/821.17	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0286 0.3071 0.4724 0.5638 0.7259
862.35/821.17	c        pb/other/clasp-1.3.3                : 0.0302 0.0396 0.0712 0.5599 0.6714 0.7169 0.8270
862.35/821.17	c        pb/other/sat4j-pb-v20090829         : 0.0059 0.0004 0.0013 0.2091 0.2764 0.3239 0.4798
862.35/821.17	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0122 0.0126 0.0322 0.0689 0.0848 0.2073
862.35/821.17	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=528382672', u'HOME/instance-2675974-1277134558.opb'] for 0:05:00
968.98/921.89	s SATISFIABLE
968.98/921.89	v x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 x337 -x338 -x339 x340 x341 -x342 -x343 x344 x345 -x346 -x347 x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 -x359 x360 x361 -x362 -x363 x364 -x365 x366 x367 -x368 -x369 x370 x371 -x372 -x373 x374 x375 -x376 x377 -x378 x379 -x380 x381 -x382 x383 -x384 -x385 x386 x387 -x388 -x389 x390 -x391 x392 x393 -x394 -x395 x396 x397 -x398 -x399 x400 x401 -x402 -x403 x404 x405 -x406 -x407 x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 x416 -x417 x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 x430 x431 -x432 -x433 x434 x435 -x436 -x437 x438 x439 -x440 -x441 x442 x443 -x444 -x445 x446 x447 -x448 -x449 x450 x451 -x452 x453 -x454 x455 -x456 -x457 x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 x466 -x467 x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 x476 x477 -x478 -x479 x480 x481 -x482 x483 -x484 x485 -x486 -x487 x488 x489 -x490

Verifier Data 

OK	0

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.01 0.40 0.68 2/106 11233
/proc/meminfo: memFree=1527128/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=24036 CPUtime=0
/proc/11233/stat : 11233 (runsolver) D 11231 11233 11206 0 -1 4202560 82 0 0 0 0 0 0 0 18 0 1 0 54747070 24612864 106 1992294400 4194304 4302564 140735745127696 18446744073709551615 222256800759 0 0 4096 24578 18446744071562234166 0 0 17 1 0 0 0
/proc/11233/statm: 6009 106 69 27 0 2647 0

[startup+0.0580701 s]
/proc/loadavg: 0.01 0.40 0.68 2/106 11233
/proc/meminfo: memFree=1527128/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=17024 CPUtime=0
/proc/11233/stat : 11233 (python) D 11231 11233 11206 0 -1 4202496 883 0 0 0 0 0 0 0 16 0 1 0 54747070 17432576 639 1992294400 4194304 4196484 140737315465808 18446744073709551615 222256975717 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 3
/proc/11233/statm: 4256 639 307 1 0 352 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 17024

[startup+0.10206 s]
/proc/loadavg: 0.01 0.40 0.68 2/106 11233
/proc/meminfo: memFree=1527128/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=17028 CPUtime=0
/proc/11233/stat : 11233 (python) D 11231 11233 11206 0 -1 4202496 891 0 0 0 0 0 0 0 16 0 1 0 54747070 17436672 645 1992294400 4194304 4196484 140737315465808 18446744073709551615 222256979712 0 0 16781312 2 18446744071562234166 0 0 17 0 0 0 8
/proc/11233/statm: 4257 645 311 1 0 353 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 17028

[startup+0.302079 s]
/proc/loadavg: 0.01 0.40 0.68 2/106 11233
/proc/meminfo: memFree=1527128/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=17224 CPUtime=0.02
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 1608 0 9 0 1 1 0 0 15 0 1 0 54747070 17637376 651 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256977920 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 12
/proc/11233/statm: 4306 651 342 1 0 286 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17224

[startup+0.702114 s]
/proc/loadavg: 0.01 0.40 0.68 2/106 11233
/proc/meminfo: memFree=1527128/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=17828 CPUtime=0.03
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 1802 0 9 0 2 1 0 0 15 0 1 0 54747070 18255872 838 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256975717 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 15
/proc/11233/statm: 4457 838 394 1 0 437 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17828

[startup+1.5002 s]
/proc/loadavg: 0.01 0.40 0.68 1/107 11234
/proc/meminfo: memFree=1522292/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=17828 CPUtime=0.04
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 1806 0 9 0 2 2 0 0 15 0 1 0 54747070 18255872 842 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256977920 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 15
/proc/11233/statm: 4457 842 398 1 0 437 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17828

[startup+3.10135 s]
/proc/loadavg: 0.01 0.40 0.68 1/107 11234
/proc/meminfo: memFree=1520992/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=17964 CPUtime=0.04
/proc/11233/stat : 11233 (python) D 11231 11233 11206 0 -1 4202496 1877 0 9 0 2 2 0 0 15 0 1 0 54747070 18395136 906 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256985655 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 25
/proc/11233/statm: 4491 906 403 1 0 471 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17964
heavy processes:

[startup+6.30166 s]
/proc/loadavg: 0.25 0.44 0.69 1/107 11234
/proc/meminfo: memFree=1520256/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=51728 CPUtime=0.18
/proc/11233/stat : 11233 (python) D 11231 11233 11206 0 -1 4202496 3090 0 25 0 10 8 0 0 15 0 1 0 54747070 52969472 2009 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256979712 0 0 16781312 2 18446744071562234166 0 0 17 1 0 0 336
/proc/11233/statm: 12932 2009 559 1 0 1384 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 51728
heavy processes:

[startup+12.7013 s]
/proc/loadavg: 0.23 0.43 0.69 4/108 11239
/proc/meminfo: memFree=1482680/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=132048 CPUtime=1.47
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 10252 920 50 9 102 45 0 0 15 0 1 0 54747070 135217152 6306 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256999951 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 376
/proc/11233/statm: 33012 6306 1133 1 0 5164 0
[pid=11239] ppid=11233 vsize=2584 CPUtime=2.32
/proc/11239/stat : 11239 (clasp-1.3.3-x86) R 11233 11239 11239 0 -1 4202496 717 0 0 0 232 0 0 0 21 0 1 0 54748108 2646016 396 1992294400 134512640 136080129 4293738224 18446744073709551615 134610270 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11239/statm: 646 396 175 383 0 261 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 134632
heavy processes:

[startup+25.5016 s]
/proc/loadavg: 0.40 0.46 0.69 2/108 11242
/proc/meminfo: memFree=1482744/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134108 CPUtime=12.46
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 11593 2614 50 10 174 55 1015 2 15 0 1 0 54747070 137326592 6328 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256999951 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 376
/proc/11233/statm: 33527 6328 1143 1 0 5164 0
[pid=11242] ppid=11233 vsize=2720 CPUtime=4.86
/proc/11242/stat : 11242 (clasp-1.3.3-x86) R 11233 11242 11242 0 -1 4202496 742 0 0 0 486 0 0 0 25 0 1 0 54749131 2785280 425 1992294400 134512640 136080129 4292645136 18446744073709551615 134579936 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11242/statm: 680 425 175 383 0 295 0
Current children cumulated CPU time (s) 17.32
Current children cumulated vsize (KiB) 136828
heavy processes:

[startup+51.1011 s]
/proc/loadavg: 0.60 0.50 0.70 2/108 11242
/proc/meminfo: memFree=1482124/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134108 CPUtime=13.93
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 11684 2614 50 10 305 71 1015 2 15 0 1 0 54747070 137326592 6328 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256999951 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 376
/proc/11233/statm: 33527 6328 1143 1 0 5164 0
[pid=11242] ppid=11233 vsize=3232 CPUtime=30.28
/proc/11242/stat : 11242 (clasp-1.3.3-x86) R 11233 11242 11242 0 -1 4202496 881 0 0 0 3028 0 0 0 25 0 1 0 54749131 3309568 564 1992294400 134512640 136080129 4292645136 18446744073709551615 134803069 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11242/statm: 808 564 175 383 0 423 0
Current children cumulated CPU time (s) 44.21
Current children cumulated vsize (KiB) 137340

[startup+102.309 s]
/proc/loadavg: 0.83 0.58 0.71 2/108 11247
/proc/meminfo: memFree=1453604/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134108 CPUtime=67.43
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 12974 4444 50 10 605 101 6033 4 16 0 1 0 54747070 137326592 6331 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256999951 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 376
/proc/11233/statm: 33527 6331 1143 1 0 5164 0
[pid=11247] ppid=11233 vsize=32896 CPUtime=30.93
/proc/11247/stat : 11247 (wbo1.4a) R 11233 11247 11247 0 -1 4202496 8099 0 0 0 3077 16 0 0 25 0 1 0 54754188 33685504 7771 1992294400 134512640 135751879 4294527104 18446744073709551615 134516977 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11247/statm: 8224 7771 139 303 0 7919 0
Current children cumulated CPU time (s) 98.36
Current children cumulated vsize (KiB) 167004

[startup+162.302 s]
/proc/loadavg: 0.97 0.66 0.73 2/108 11252
/proc/meminfo: memFree=1482372/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134108 CPUtime=121.6
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 14333 18169 50 10 924 140 11063 33 15 0 1 0 54747070 137326592 6332 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256999951 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 376
/proc/11233/statm: 33527 6332 1143 1 0 5164 0
[pid=11250] ppid=11233 vsize=3344 CPUtime=39.91
/proc/11250/stat : 11250 (clasp-1.3.3-x86) R 11233 11250 11250 0 -1 4202496 911 0 0 0 3991 0 0 0 25 0 1 0 54759282 3424256 591 1992294400 134512640 136080129 4291914672 18446744073709551615 134803226 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11250/statm: 836 591 175 383 0 451 0
Current children cumulated CPU time (s) 161.51
Current children cumulated vsize (KiB) 137452

[startup+222.302 s]
/proc/loadavg: 0.99 0.72 0.74 2/108 11254
/proc/meminfo: memFree=1482000/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134108 CPUtime=125.06
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 14369 18169 50 10 1232 178 11063 33 15 0 1 0 54747070 137326592 6332 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256999951 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 376
/proc/11233/statm: 33527 6332 1143 1 0 5164 0
[pid=11250] ppid=11233 vsize=3808 CPUtime=99.53
/proc/11250/stat : 11250 (clasp-1.3.3-x86) R 11233 11250 11250 0 -1 4202496 1019 0 0 0 9953 0 0 0 25 0 1 0 54759282 3899392 699 1992294400 134512640 136080129 4291914672 18446744073709551615 134845923 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11250/statm: 952 699 175 383 0 567 0
Current children cumulated CPU time (s) 224.59
Current children cumulated vsize (KiB) 137916

[startup+282.302 s]
/proc/loadavg: 0.99 0.77 0.76 2/108 11257
/proc/meminfo: memFree=1426944/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134108 CPUtime=229.41
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 15696 20100 50 10 1597 214 21095 35 15 0 1 0 54747070 137326592 6334 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256999951 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 376
/proc/11233/statm: 33527 6334 1143 1 0 5164 0
[pid=11257] ppid=11233 vsize=60148 CPUtime=58.75
/proc/11257/stat : 11257 (wbo1.4a) R 11233 11257 11257 0 -1 4202496 14909 0 0 0 5838 37 0 0 25 0 1 0 54769384 61591552 14577 1992294400 134512640 135751879 4293718208 18446744073709551615 134616409 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11257/statm: 15037 14577 139 303 0 14732 0
Current children cumulated CPU time (s) 288.16
Current children cumulated vsize (KiB) 194256

[startup+342.301 s]
/proc/loadavg: 1.09 0.84 0.78 2/108 11262
/proc/meminfo: memFree=1458936/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134108 CPUtime=334.17
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 16988 45176 50 10 1952 253 31113 99 16 0 1 0 54747070 137326592 6335 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256999951 0 0 16781312 2 159836005329808152 0 0 17 1 0 0 376
/proc/11233/statm: 33527 6335 1143 1 0 5164 0
[pid=11262] ppid=11233 vsize=27788 CPUtime=17.51
/proc/11262/stat : 11262 (wbo1.4b) R 11233 11262 11262 0 -1 4202496 6833 0 0 0 1739 12 0 0 25 0 1 0 54779538 28454912 6504 1992294400 134512640 135751879 4291893600 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11262/statm: 6947 6504 144 303 0 6642 0
Current children cumulated CPU time (s) 351.68
Current children cumulated vsize (KiB) 161896

[startup+402.302 s]
/proc/loadavg: 1.03 0.87 0.79 2/120 11279
/proc/meminfo: memFree=1310848/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134108 CPUtime=389.03
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 18330 62033 50 10 2295 310 36160 138 15 0 1 0 54747070 137326592 6337 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256999951 0 0 16781312 2 159836005329808152 0 0 17 1 0 0 376
/proc/11233/statm: 33527 6337 1143 1 0 5164 0
[pid=11267] ppid=11233 vsize=1479704 CPUtime=27.03
/proc/11267/stat : 11267 (java) S 11233 11267 11267 0 -1 4202496 46760 0 1 0 2682 21 0 0 15 0 13 0 54784658 1515216896 44563 1992294400 134512640 134550932 4288929968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11267/statm: 369926 44563 1433 10 0 367228 0
[pid=11267/tid=11268] ppid=11233 vsize=1479704 CPUtime=25.61
/proc/11267/task/11268/stat : 11268 (java) R 11233 11267 11267 0 -1 4202560 30958 0 1 0 2547 14 0 0 25 0 13 0 54784660 1515216896 44563 1992294400 134512640 134550932 4288929968 18446744073709551615 4109631882 0 4 0 16800975 0 0 0 -1 0 0 0 2
[pid=11267/tid=11269] ppid=11233 vsize=1479704 CPUtime=0.09
/proc/11267/task/11269/stat : 11269 (java) S 11233 11267 11267 0 -1 4202560 5117 0 0 0 8 1 0 0 16 0 13 0 54784663 1515216896 44563 1992294400 134512640 134550932 4288929968 18446744073709551615 4294960144 0 4 0 16800975 18446604436668509248 0 0 -1 0 0 0 0
[pid=11267/tid=11270] ppid=11233 vsize=1479704 CPUtime=0.1
/proc/11267/task/11270/stat : 11270 (java) S 11233 11267 11267 0 -1 4202560 6747 0 0 0 8 2 0 0 18 0 13 0 54784663 1515216896 44563 1992294400 134512640 134550932 4288929968 18446744073709551615 4294960144 0 4 0 16800975 18446604436668509248 0 0 -1 1 0 0 0
[pid=11267/tid=11271] ppid=11233 vsize=1479704 CPUtime=0
/proc/11267/task/11271/stat : 11271 (java) S 11233 11267 11267 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 13 0 54784665 1515216896 44563 1992294400 134512640 134550932 4288929968 18446744073709551615 4294960144 0 0 0 16800975 18446604436668509248 0 0 -1 0 0 0 0
[pid=11267/tid=11272] ppid=11233 vsize=1479704 CPUtime=0

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

/proc/11297/statm: 678 420 175 383 0 293 0
Current children cumulated CPU time (s) 670.6
Current children cumulated vsize (KiB) 136820

[startup+702.301 s]
/proc/loadavg: 1.19 1.06 0.88 2/108 11317
/proc/meminfo: memFree=1475988/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134108 CPUtime=731.97
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 31119 182556 50 11 4027 580 68313 277 15 0 1 0 54747070 137326592 6343 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256999951 0 0 16781312 2 159836005329808152 0 0 17 1 0 0 376
/proc/11233/statm: 33527 6343 1143 1 0 5164 0
[pid=11317] ppid=11233 vsize=18416 CPUtime=2.89
/proc/11317/stat : 11317 (bsolo_pb10) R 11233 11317 11317 0 -1 4202496 2496 0 0 0 287 2 0 0 24 0 1 0 54817011 18857984 2165 1992294400 134512640 137138936 4293962608 18446744073709551615 134542493 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/11317/statm: 4604 2165 192 642 0 3960 0
Current children cumulated CPU time (s) 734.86
Current children cumulated vsize (KiB) 152524

[startup+762.309 s]
/proc/loadavg: 1.20 1.09 0.90 2/120 11337
/proc/meminfo: memFree=1293364/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134108 CPUtime=756.29
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 33741 189208 50 11 4366 630 70348 285 15 0 1 0 54747070 137326592 6345 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256999951 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 376
/proc/11233/statm: 33527 6345 1143 1 0 5164 0
[pid=11323] ppid=11233 vsize=1481524 CPUtime=43.43
/proc/11323/stat : 11323 (java) S 11233 11323 11323 0 -1 4202496 52349 0 1 0 4319 24 0 0 15 0 13 0 54819059 1517080576 48811 1992294400 134512640 134550932 4286626752 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11323/statm: 370381 48811 1433 10 0 367683 0
[pid=11323/tid=11324] ppid=11233 vsize=1481524 CPUtime=41.36
/proc/11323/task/11324/stat : 11324 (java) R 11233 11323 11323 0 -1 4202560 30953 0 1 0 4122 14 0 0 25 0 13 0 54819061 1517080576 48811 1992294400 134512640 134550932 4286626752 18446744073709551615 4109597888 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11323/tid=11325] ppid=11233 vsize=1481524 CPUtime=0.21
/proc/11323/task/11325/stat : 11325 (java) S 11233 11323 11323 0 -1 4202560 9968 0 0 0 17 4 0 0 16 0 13 0 54819062 1517080576 48811 1992294400 134512640 134550932 4286626752 18446744073709551615 4294960144 0 4 0 16800975 18446604437830813760 0 0 -1 1 0 0 0
[pid=11323/tid=11326] ppid=11233 vsize=1481524 CPUtime=0.17
/proc/11323/task/11326/stat : 11326 (java) S 11233 11323 11323 0 -1 4202560 7104 0 0 0 15 2 0 0 18 0 13 0 54819062 1517080576 48811 1992294400 134512640 134550932 4286626752 18446744073709551615 4294960144 0 4 0 16800975 18446604437830813760 0 0 -1 0 0 0 0
[pid=11323/tid=11327] ppid=11233 vsize=1481524 CPUtime=0
/proc/11323/task/11327/stat : 11327 (java) S 11233 11323 11323 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 13 0 54819064 1517080576 48811 1992294400 134512640 134550932 4286626752 18446744073709551615 4294960144 0 0 0 16800975 18446604437830813760 0 0 -1 0 0 0 0
[pid=11323/tid=11328] ppid=11233 vsize=1481524 CPUtime=0
/proc/11323/task/11328/stat : 11328 (java) S 11233 11323 11323 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 54819065 1517080576 48811 1992294400 134512640 134550932 4286626752 18446744073709551615 4294960144 0 4 0 16800975 18446604437830813760 0 0 -1 0 0 0 0
[pid=11323/tid=11329] ppid=11233 vsize=1481524 CPUtime=0
/proc/11323/task/11329/stat : 11329 (java) S 11233 11323 11323 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 54819065 1517080576 48811 1992294400 134512640 134550932 4286626752 18446744073709551615 4294960144 0 4 0 16800975 18446604437830813760 0 0 -1 0 0 0 0
[pid=11323/tid=11330] ppid=11233 vsize=1481524 CPUtime=0
/proc/11323/task/11330/stat : 11330 (java) S 11233 11323 11323 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 54819069 1517080576 48811 1992294400 134512640 134550932 4286626752 18446744073709551615 4294960144 0 4 0 16800975 18446604437830813760 0 0 -1 0 0 0 0
[pid=11323/tid=11331] ppid=11233 vsize=1481524 CPUtime=0.2
/proc/11323/task/11331/stat : 11331 (java) S 11233 11323 11323 0 -1 4202560 36 0 0 0 20 0 0 0 15 0 13 0 54819069 1517080576 48811 1992294400 134512640 134550932 4286626752 18446744073709551615 4294960144 0 4 0 16800975 18446604437830813760 0 0 -1 0 0 0 0
[pid=11323/tid=11332] ppid=11233 vsize=1481524 CPUtime=1.43
/proc/11323/task/11332/stat : 11332 (java) S 11233 11323 11323 0 -1 4202560 2905 0 0 0 142 1 0 0 15 0 13 0 54819069 1517080576 48811 1992294400 134512640 134550932 4286626752 18446744073709551615 4294960144 0 4 0 16800975 18446604437830813760 0 0 -1 1 0 0 0
[pid=11323/tid=11333] ppid=11233 vsize=1481524 CPUtime=0
/proc/11323/task/11333/stat : 11333 (java) S 11233 11323 11323 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 54819069 1517080576 48811 1992294400 134512640 134550932 4286626752 18446744073709551615 4294960144 0 4 0 16800975 18446604437830813760 0 0 -1 0 0 0 0
[pid=11323/tid=11334] ppid=11233 vsize=1481524 CPUtime=0
/proc/11323/task/11334/stat : 11334 (java) S 11233 11323 11323 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 13 0 54819069 1517080576 48811 1992294400 134512640 134550932 4286626752 18446744073709551615 4294960144 0 4 0 16800975 18446604437830813760 0 0 -1 1 0 0 0
[pid=11323/tid=11335] ppid=11233 vsize=1481524 CPUtime=0
/proc/11323/task/11335/stat : 11335 (java) S 11233 11323 11323 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 13 0 54819127 1517080576 48811 1992294400 134512640 134550932 4286626752 18446744073709551615 4294960144 0 4 0 16800975 18446604437830813760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 799.72
Current children cumulated vsize (KiB) 1615632

[startup+822.312 s]
/proc/loadavg: 1.07 1.07 0.91 2/108 11357
/proc/meminfo: memFree=1482560/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134108 CPUtime=862.59
/proc/11233/stat : 11233 (python) R 11231 11233 11206 0 -1 4202496 41291 257055 50 12 4754 684 80487 334 15 0 1 0 54747070 137326592 6347 1992294400 4194304 4196484 140736643866304 18446744073709551615 47386145107945 0 0 16781312 2 0 0 0 17 0 0 0 376
/proc/11233/statm: 33527 6347 1143 1 0 5164 0
[pid=11357] ppid=11233 vsize=2460 CPUtime=1.12
/proc/11357/stat : 11357 (clasp-1.3.3-x86) R 11233 11357 11357 0 -1 4202496 679 0 0 0 112 0 0 0 19 0 1 0 54829188 2519040 357 1992294400 134512640 136080129 4294094928 18446744073709551615 134850021 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11357/statm: 615 357 175 383 0 230 0
Current children cumulated CPU time (s) 863.71
Current children cumulated vsize (KiB) 136568

[startup+882.301 s]
/proc/loadavg: 1.14 1.08 0.92 2/108 11357
/proc/meminfo: memFree=1481320/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134108 CPUtime=866.06
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 41399 257055 50 12 5065 720 80487 334 15 0 1 0 54747070 137326592 6347 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256999951 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 376
/proc/11233/statm: 33527 6347 1143 1 0 5164 0
[pid=11357] ppid=11233 vsize=3452 CPUtime=61.09
/proc/11357/stat : 11357 (clasp-1.3.3-x86) R 11233 11357 11357 0 -1 4202496 954 0 0 0 6109 0 0 0 25 0 1 0 54829188 3534848 632 1992294400 134512640 136080129 4294094928 18446744073709551615 134580001 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11357/statm: 863 632 175 383 0 478 0
Current children cumulated CPU time (s) 927.15
Current children cumulated vsize (KiB) 137560

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

[startup+895.901 s]
/proc/loadavg: 1.11 1.08 0.92 2/108 11357
/proc/meminfo: memFree=1481320/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134108 CPUtime=866.87
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 41405 257055 50 12 5138 728 80487 334 15 0 1 0 54747070 137326592 6347 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256999951 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 376
/proc/11233/statm: 33527 6347 1143 1 0 5164 0
[pid=11357] ppid=11233 vsize=3568 CPUtime=74.69
/proc/11357/stat : 11357 (clasp-1.3.3-x86) R 11233 11357 11357 0 -1 4202496 971 0 0 0 7469 0 0 0 25 0 1 0 54829188 3653632 649 1992294400 134512640 136080129 4294094928 18446744073709551615 134846216 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11357/statm: 892 649 175 383 0 507 0
Current children cumulated CPU time (s) 941.56
Current children cumulated vsize (KiB) 137676

[startup+908.7 s]
/proc/loadavg: 1.08 1.08 0.92 2/108 11359
/proc/meminfo: memFree=1481196/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134108 CPUtime=867.61
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 41410 257055 50 12 5205 735 80487 334 15 0 1 0 54747070 137326592 6347 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256999951 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 376
/proc/11233/statm: 33527 6347 1143 1 0 5164 0
[pid=11357] ppid=11233 vsize=3700 CPUtime=87.49
/proc/11357/stat : 11357 (clasp-1.3.3-x86) R 11233 11357 11357 0 -1 4202496 984 0 0 0 8749 0 0 0 25 0 1 0 54829188 3788800 662 1992294400 134512640 136080129 4294094928 18446744073709551615 134807837 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11357/statm: 925 662 175 383 0 540 0
Current children cumulated CPU time (s) 955.1
Current children cumulated vsize (KiB) 137808

[startup+915.102 s]
/proc/loadavg: 1.08 1.07 0.92 2/108 11359
/proc/meminfo: memFree=1481072/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134108 CPUtime=867.99
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 41413 257055 50 12 5239 739 80487 334 15 0 1 0 54747070 137326592 6347 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256999951 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 376
/proc/11233/statm: 33527 6347 1143 1 0 5164 0
[pid=11357] ppid=11233 vsize=3784 CPUtime=93.89
/proc/11357/stat : 11357 (clasp-1.3.3-x86) R 11233 11357 11357 0 -1 4202496 1013 0 0 0 9389 0 0 0 25 0 1 0 54829188 3874816 691 1992294400 134512640 136080129 4294094928 18446744073709551615 134850077 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11357/statm: 946 691 175 383 0 561 0
Current children cumulated CPU time (s) 961.88
Current children cumulated vsize (KiB) 137892

[startup+918.301 s]
/proc/loadavg: 1.08 1.07 0.92 2/108 11359
/proc/meminfo: memFree=1481072/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134108 CPUtime=868.17
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 41415 257055 50 12 5256 740 80487 334 16 0 1 0 54747070 137326592 6347 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256999951 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 376
/proc/11233/statm: 33527 6347 1143 1 0 5164 0
[pid=11357] ppid=11233 vsize=3784 CPUtime=97.08
/proc/11357/stat : 11357 (clasp-1.3.3-x86) R 11233 11357 11357 0 -1 4202496 1016 0 0 0 9708 0 0 0 25 0 1 0 54829188 3874816 694 1992294400 134512640 136080129 4294094928 18446744073709551615 134579951 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11357/statm: 946 694 175 383 0 561 0
Current children cumulated CPU time (s) 965.25
Current children cumulated vsize (KiB) 137892

[startup+919.901 s]
/proc/loadavg: 1.07 1.07 0.92 2/108 11359
/proc/meminfo: memFree=1481072/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134108 CPUtime=868.26
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 41415 257055 50 12 5264 741 80487 334 15 0 1 0 54747070 137326592 6347 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256999951 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 376
/proc/11233/statm: 33527 6347 1143 1 0 5164 0
[pid=11357] ppid=11233 vsize=3784 CPUtime=98.68
/proc/11357/stat : 11357 (clasp-1.3.3-x86) R 11233 11357 11357 0 -1 4202496 1027 0 0 0 9868 0 0 0 25 0 1 0 54829188 3874816 705 1992294400 134512640 136080129 4294094928 18446744073709551615 134844230 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11357/statm: 946 705 175 383 0 561 0
Current children cumulated CPU time (s) 966.94
Current children cumulated vsize (KiB) 137892

[startup+920.708 s]
/proc/loadavg: 1.07 1.07 0.92 2/108 11359
/proc/meminfo: memFree=1481072/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134108 CPUtime=868.32
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 41416 257055 50 12 5270 741 80487 334 15 0 1 0 54747070 137326592 6347 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256999951 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 376
/proc/11233/statm: 33527 6347 1143 1 0 5164 0
[pid=11357] ppid=11233 vsize=3784 CPUtime=99.49
/proc/11357/stat : 11357 (clasp-1.3.3-x86) R 11233 11357 11357 0 -1 4202496 1027 0 0 0 9949 0 0 0 25 0 1 0 54829188 3874816 705 1992294400 134512640 136080129 4294094928 18446744073709551615 134588561 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11357/statm: 946 705 175 383 0 561 0
Current children cumulated CPU time (s) 967.81
Current children cumulated vsize (KiB) 137892

[startup+921.502 s]
/proc/loadavg: 1.07 1.07 0.92 2/108 11359
/proc/meminfo: memFree=1481072/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134108 CPUtime=868.35
/proc/11233/stat : 11233 (python) S 11231 11233 11206 0 -1 4202496 41416 257055 50 12 5272 742 80487 334 15 0 1 0 54747070 137326592 6347 1992294400 4194304 4196484 140736643866304 18446744073709551615 222256999951 0 0 16781312 2 159688670771686168 0 0 17 0 0 0 376
/proc/11233/statm: 33527 6347 1143 1 0 5164 0
[pid=11357] ppid=11233 vsize=3784 CPUtime=100.28
/proc/11357/stat : 11357 (clasp-1.3.3-x86) R 11233 11357 11357 0 -1 4202496 1033 0 0 0 10028 0 0 0 25 0 1 0 54829188 3874816 711 1992294400 134512640 136080129 4294094928 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11357/statm: 946 711 175 383 0 561 0
Current children cumulated CPU time (s) 968.63
Current children cumulated vsize (KiB) 137892

[startup+921.903 s]
/proc/loadavg: 1.07 1.07 0.92 2/108 11359
/proc/meminfo: memFree=1481072/2059040 swapFree=4140596/4192956
[pid=11233] ppid=11231 vsize=134104 CPUtime=969.07
/proc/11233/stat : 11233 (python) R 11231 11233 11206 0 -1 4202496 44166 259083 50 12 5287 744 90540 336 15 0 1 0 54747070 137322496 6349 1992294400 4194304 4196484 140736643866304 18446744073709551615 47386145229220 0 0 16781312 0 0 0 0 17 1 0 0 376
/proc/11233/statm: 33526 6349 1143 1 0 5163 0
Current children cumulated CPU time (s) 969.07
Current children cumulated vsize (KiB) 134104

Child status: 10
Real time (s): 921.962
CPU time (s): 969.157
CPU user time (s): 958.339
CPU system time (s): 10.8174
CPU usage (%): 105.119
Max. virtual memory (cumulated for all children) (KiB): 1615636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 958.339
system time used= 10.8174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305407
page faults= 62
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12721
involuntary context switches= 17339

runsolver used 2.16567 second user time and 4.71728 second system time

The end

Launcher Data 

Begin job on node056 at 2010-06-21 17:35:58
IDJOB=2675974
IDBENCH=1160
IDSOLVER=1178
FILE ID=node056/2675974-1277134558
PBS_JOBID= 11182073
Free space on /tmp= 98540 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army13.24bt.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2675974-1277134558/watcher-2675974-1277134558 -o /tmp/evaluation-result-2675974-1277134558/solver-2675974-1277134558 -C 1800 -W 2000 -M 1800  solver HOME/instance-2675974-1277134558.opb 1337528790 

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

MD5SUM BENCH= f8964c43535341fcc69e672675167b77
RANDOM SEED=1337528790

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1527532 kB
Buffers:        122744 kB
Cached:         309508 kB
SwapCached:       5852 kB
Active:         231792 kB
Inactive:       213864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1527532 kB
SwapTotal:     4192956 kB
SwapFree:      4140596 kB
Dirty:           20880 kB
Writeback:           0 kB
AnonPages:       11924 kB
Mapped:          12748 kB
Slab:            63948 kB
PageTables:       4104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181944 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= 98520 MiB
End job on node056 at 2010-06-21 17:51:23