Trace number 2676307

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.30UNSAT 1258.65 1188.71

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb
MD5SUM5bedad9895f21a4b5e521b3abd33ba08
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.19397
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3660
Total number of constraints121
Number of constraints which are clauses61
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint61
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.01 0.98 0.86 3/105 11640
/proc/meminfo: memFree=1505708/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=16708 CPUtime=0
/proc/11640/stat : 11640 (python) R 11638 11640 11385 0 -1 4202496 751 0 0 0 0 0 0 0 24 0 1 0 54817969 17108992 516 1992294400 4194304 4196484 140735810944560 18446744073709551615 272464719840 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11640/statm: 4177 522 281 1 0 273 0

[startup+0.067453 s]
/proc/loadavg: 1.01 0.98 0.86 3/105 11640
/proc/meminfo: memFree=1505708/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=18496 CPUtime=0.05
/proc/11640/stat : 11640 (python) R 11638 11640 11385 0 -1 4202496 2068 0 0 0 3 2 0 0 24 0 1 0 54817969 18939904 1069 1992294400 4194304 4196484 140736173616256 18446744073709551615 272447738516 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11640/statm: 4624 1069 423 1 0 604 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18496

[startup+0.101448 s]
/proc/loadavg: 1.01 0.98 0.86 3/105 11640
/proc/meminfo: memFree=1505708/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=32160 CPUtime=0.08
/proc/11640/stat : 11640 (python) R 11638 11640 11385 0 -1 4202496 2414 0 0 0 5 3 0 0 24 0 1 0 54817969 32931840 1390 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448118656 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11640/statm: 8040 1390 459 1 0 912 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32160

[startup+0.301469 s]
/proc/loadavg: 1.01 0.98 0.86 3/105 11640
/proc/meminfo: memFree=1505708/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=71248 CPUtime=0.24
/proc/11640/stat : 11640 (python) R 11638 11640 11385 0 -1 4202496 4111 0 0 0 16 8 0 0 25 0 1 0 54817969 72957952 2932 1992294400 4194304 4196484 140736173616256 18446744073709551615 47443628093985 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11640/statm: 17812 2932 693 1 0 2299 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 71248

[startup+0.700515 s]
/proc/loadavg: 1.01 0.98 0.86 3/105 11640
/proc/meminfo: memFree=1505708/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=98792 CPUtime=0.53
/proc/11640/stat : 11640 (python) R 11638 11640 11385 0 -1 4202496 4890 0 0 0 31 22 0 0 25 0 1 0 54817969 101163008 3584 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448114693 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11640/statm: 24698 3584 1022 1 0 2555 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 98792

[startup+1.5006 s]
/proc/loadavg: 1.01 0.98 0.86 2/106 11645
/proc/meminfo: memFree=1487836/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=129988 CPUtime=1.13
/proc/11640/stat : 11640 (python) R 11638 11640 11385 0 -1 4202496 9920 930 0 0 77 36 0 0 25 0 1 0 54817969 133107712 6294 1992294400 4194304 4196484 140736173616256 18446744073709551615 47443627463374 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11640/statm: 32497 6294 1123 1 0 5167 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 129988

[startup+3.10079 s]
/proc/loadavg: 1.01 0.98 0.86 3/107 11646
/proc/meminfo: memFree=1481628/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=132056 CPUtime=1.27
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 10267 930 0 0 88 39 0 0 16 0 1 0 54817969 135225344 6307 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159688670771686182 0 0 17 0 0 0 0
/proc/11640/statm: 33014 6307 1133 1 0 5166 0
[pid=11646] ppid=11640 vsize=5784 CPUtime=1.57
/proc/11646/stat : 11646 (clasp-1.3.3-x86) R 11640 11646 11646 0 -1 4202496 1503 0 0 0 157 0 0 0 25 0 1 0 54818119 5922816 1185 1992294400 134512640 136080129 4291053984 18446744073709551615 134602275 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11646/statm: 1446 1185 174 383 0 1061 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 137840

[startup+6.30114 s]
/proc/loadavg: 1.01 0.98 0.86 2/107 11646
/proc/meminfo: memFree=1479272/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=132056 CPUtime=1.44
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 10279 930 0 0 103 41 0 0 15 0 1 0 54817969 135225344 6307 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159688670771686182 0 0 17 0 0 0 0
/proc/11640/statm: 33014 6307 1133 1 0 5166 0
[pid=11646] ppid=11640 vsize=6820 CPUtime=4.76
/proc/11646/stat : 11646 (clasp-1.3.3-x86) R 11640 11646 11646 0 -1 4202496 1791 0 0 0 475 1 0 0 25 0 1 0 54818119 6983680 1473 1992294400 134512640 136080129 4291053984 18446744073709551615 134845880 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11646/statm: 1705 1473 174 383 0 1320 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 138876

[startup+12.7009 s]
/proc/loadavg: 1.15 1.02 0.87 2/107 11649
/proc/meminfo: memFree=1482008/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=11.98
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 11559 3866 0 0 144 45 1006 3 15 0 1 0 54817969 137334784 6329 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159688670771686182 0 0 17 0 0 0 0
/proc/11640/statm: 33529 6329 1143 1 0 5166 0
[pid=11649] ppid=11640 vsize=5140 CPUtime=0.99
/proc/11649/stat : 11649 (clasp-1.3.3-x86) R 11640 11649 11649 0 -1 4202496 1358 0 0 0 99 0 0 0 21 0 1 0 54819138 5263360 1042 1992294400 134512640 136080129 4287359536 18446744073709551615 134602299 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11649/statm: 1285 1042 174 383 0 900 0
Current children cumulated CPU time (s) 12.97
Current children cumulated vsize (KiB) 139256

[startup+25.5013 s]
/proc/loadavg: 1.13 1.01 0.87 2/107 11649
/proc/meminfo: memFree=1477792/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=12.71
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 11598 3866 0 0 211 51 1006 3 15 0 1 0 54817969 137334784 6329 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159688670771686182 0 0 17 0 0 0 0
/proc/11640/statm: 33529 6329 1143 1 0 5166 0
[pid=11649] ppid=11640 vsize=8532 CPUtime=13.7
/proc/11649/stat : 11649 (clasp-1.3.3-x86) R 11640 11649 11649 0 -1 4202496 2192 0 0 0 1370 0 0 0 25 0 1 0 54819138 8736768 1876 1992294400 134512640 136080129 4287359536 18446744073709551615 134808252 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11649/statm: 2133 1876 174 383 0 1748 0
Current children cumulated CPU time (s) 26.41
Current children cumulated vsize (KiB) 142648

[startup+51.1011 s]
/proc/loadavg: 1.14 1.03 0.88 2/107 11651
/proc/meminfo: memFree=1475312/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=14.21
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 11684 3866 0 0 342 70 1006 3 15 0 1 0 54817969 137334784 6329 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159688670771686182 0 0 17 0 0 0 0
/proc/11640/statm: 33529 6329 1143 1 0 5166 0
[pid=11649] ppid=11640 vsize=11004 CPUtime=39.14
/proc/11649/stat : 11649 (clasp-1.3.3-x86) R 11640 11649 11649 0 -1 4202496 2831 0 0 0 3913 1 0 0 25 0 1 0 54819138 11268096 2515 1992294400 134512640 136080129 4287359536 18446744073709551615 134804930 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11649/statm: 2751 2515 174 383 0 2366 0
Current children cumulated CPU time (s) 53.35
Current children cumulated vsize (KiB) 145120

[startup+102.309 s]
/proc/loadavg: 1.05 1.02 0.89 2/107 11656
/proc/meminfo: memFree=1420008/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=67.83
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 12933 7850 0 0 643 108 6025 7 15 0 1 0 54817969 137334784 6333 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159688670771686182 0 0 17 0 0 0 0
/proc/11640/statm: 33529 6333 1143 1 0 5166 0
[pid=11654] ppid=11640 vsize=66848 CPUtime=39.77
/proc/11654/stat : 11654 (wbo1.4a) R 11640 11654 11654 0 -1 4202496 16609 0 0 0 3959 18 0 0 25 0 1 0 54824195 68452352 16278 1992294400 134512640 135751879 4290267728 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11654/statm: 16712 16278 139 303 0 16407 0
Current children cumulated CPU time (s) 107.6
Current children cumulated vsize (KiB) 200964

[startup+162.301 s]
/proc/loadavg: 1.08 1.03 0.90 2/107 11659
/proc/meminfo: memFree=1474196/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=121.66
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 14257 28854 0 0 955 147 11034 30 16 0 1 0 54817969 137334784 6333 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159688670771686182 0 0 17 0 0 0 0
/proc/11640/statm: 33529 6333 1143 1 0 5166 0
[pid=11659] ppid=11640 vsize=11944 CPUtime=49.38
/proc/11659/stat : 11659 (clasp-1.3.3-x86) R 11640 11659 11659 0 -1 4202496 3069 0 0 0 4937 1 0 0 25 0 1 0 54829258 12230656 2749 1992294400 134512640 136080129 4287072128 18446744073709551615 134588728 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11659/statm: 2986 2749 174 383 0 2601 0
Current children cumulated CPU time (s) 171.04
Current children cumulated vsize (KiB) 146060

[startup+222.302 s]
/proc/loadavg: 1.03 1.02 0.90 2/107 11664
/proc/meminfo: memFree=1466384/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=225.89
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 15480 33509 0 0 1294 187 21074 34 15 0 1 0 54817969 137334784 6335 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159688670771686182 0 0 17 0 0 0 0
/proc/11640/statm: 33529 6335 1143 1 0 5166 0
[pid=11664] ppid=11640 vsize=20748 CPUtime=8.9
/proc/11664/stat : 11664 (wbo1.4a) R 11640 11664 11664 0 -1 4202496 5080 0 0 0 885 5 0 0 25 0 1 0 54839307 21245952 4747 1992294400 134512640 135751879 4294884048 18446744073709551615 134605377 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11664/statm: 5187 4747 139 303 0 4882 0
Current children cumulated CPU time (s) 234.79
Current children cumulated vsize (KiB) 154864

[startup+282.302 s]
/proc/loadavg: 1.01 1.02 0.91 2/107 11666
/proc/meminfo: memFree=1383924/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=229.33
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 15565 33509 0 0 1602 223 21074 34 15 0 1 0 54817969 137334784 6335 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159688670771686182 0 0 17 0 0 0 0
/proc/11640/statm: 33529 6335 1143 1 0 5166 0
[pid=11664] ppid=11640 vsize=103468 CPUtime=68.88
/proc/11664/stat : 11664 (wbo1.4a) R 11640 11664 11664 0 -1 4202496 25756 0 0 0 6862 26 0 0 25 0 1 0 54839307 105951232 25423 1992294400 134512640 135751879 4294884048 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11664/statm: 25867 25423 139 303 0 25562 0
Current children cumulated CPU time (s) 298.21
Current children cumulated vsize (KiB) 237584

[startup+342.301 s]
/proc/loadavg: 1.11 1.04 0.92 2/107 11671
/proc/meminfo: memFree=1437616/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=333.65
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 16849 66635 0 0 1940 262 31091 72 15 0 1 0 54817969 137334784 6336 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159688670771686182 0 0 17 0 0 0 0
/proc/11640/statm: 33529 6336 1143 1 0 5166 0
[pid=11669] ppid=11640 vsize=49804 CPUtime=28.29
/proc/11669/stat : 11669 (wbo1.4b) R 11640 11669 11669 0 -1 4202496 12456 0 0 0 2813 16 0 0 25 0 1 0 54849368 50999296 12028 1992294400 134512640 135751879 4294044816 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11669/statm: 12451 12028 144 303 0 12146 0
Current children cumulated CPU time (s) 361.94
Current children cumulated vsize (KiB) 183920

[startup+402.302 s]
/proc/loadavg: 1.04 1.03 0.92 2/119 11688
/proc/meminfo: memFree=1377072/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=387.84
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 18134 88037 0 0 2259 302 36123 100 15 0 1 0 54817969 137334784 6337 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159836005329808166 0 0 17 1 0 0 0
/proc/11640/statm: 33529 6337 1143 1 0 5166 0
[pid=11674] ppid=11640 vsize=1478052 CPUtime=38.46
/proc/11674/stat : 11674 (java) S 11640 11674 11674 0 -1 4202496 30373 0 1 0 3832 14 0 0 17 0 13 0 54854430 1513525248 28428 1992294400 134512640 134550932 4294003360 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11674/statm: 369513 28428 1421 10 0 366815 0
[pid=11674/tid=11675] ppid=11640 vsize=1478052 CPUtime=37.47
/proc/11674/task/11675/stat : 11675 (java) R 11640 11674 11674 0 -1 4202560 26444 0 1 0 3735 12 0 0 25 0 13 0 54854432 1513525248 28428 1992294400 134512640 134550932 4294003360 18446744073709551615 4109187116 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11674/tid=11676] ppid=11640 vsize=1478052 CPUtime=0
/proc/11674/task/11676/stat : 11676 (java) S 11640 11674 11674 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 54854434 1513525248 28428 1992294400 134512640 134550932 4294003360 18446744073709551615 4294960144 0 4 0 16800975 18446604437569861440 0 0 -1 0 0 0 0
[pid=11674/tid=11677] ppid=11640 vsize=1478052 CPUtime=0
/proc/11674/task/11677/stat : 11677 (java) S 11640 11674 11674 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 54854434 1513525248 28428 1992294400 134512640 134550932 4294003360 18446744073709551615 4294960144 0 4 0 16800975 18446604437569861440 0 0 -1 0 0 0 0
[pid=11674/tid=11678] ppid=11640 vsize=1478052 CPUtime=0

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

/proc/11709/statm: 3917 3475 139 303 0 3612 0
Current children cumulated CPU time (s) 680.32
Current children cumulated vsize (KiB) 149784

[startup+702.301 s]
/proc/loadavg: 1.04 1.06 0.95 2/107 11729
/proc/meminfo: memFree=1479344/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=739.81
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 31684 244544 0 1 3972 491 69298 220 15 0 1 0 54817969 137334784 6344 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159688670771686182 0 0 17 0 0 0 0
/proc/11640/statm: 33529 6344 1143 1 0 5166 0
[pid=11727] ppid=11640 vsize=6812 CPUtime=4.34
/proc/11727/stat : 11727 (clasp-1.3.3-x86) R 11640 11727 11727 0 -1 4202496 1786 0 0 0 434 0 0 0 25 0 1 0 54887763 6975488 1463 1992294400 134512640 136080129 4290140048 18446744073709551615 134601925 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11727/statm: 1703 1463 174 383 0 1318 0
Current children cumulated CPU time (s) 744.15
Current children cumulated vsize (KiB) 140928

[startup+762.308 s]
/proc/loadavg: 1.09 1.06 0.96 2/107 11747
/proc/meminfo: memFree=1478972/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=804.36
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 34181 282658 0 2 4316 519 75359 242 15 0 1 0 54817969 137334784 6345 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159688670771686182 0 0 17 0 0 0 0
/proc/11640/statm: 33529 6345 1143 1 0 5166 0
[pid=11747] ppid=11640 vsize=6692 CPUtime=4.01
/proc/11747/stat : 11747 (clasp-1.3.3-x86) R 11640 11747 11747 0 -1 4202496 1748 0 0 0 401 0 0 0 25 0 1 0 54893797 6852608 1422 1992294400 134512640 136080129 4290882800 18446744073709551615 134579953 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11747/statm: 1673 1422 174 383 0 1288 0
Current children cumulated CPU time (s) 808.37
Current children cumulated vsize (KiB) 140808

[startup+822.301 s]
/proc/loadavg: 1.11 1.08 0.97 2/107 11773
/proc/meminfo: memFree=1476360/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=859.47
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 40303 301605 0 2 4683 565 80438 261 15 0 1 0 54817969 137334784 6347 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159688670771686182 0 0 17 0 0 0 0
/proc/11640/statm: 33529 6347 1143 1 0 5166 0
[pid=11764] ppid=11640 vsize=8496 CPUtime=12.87
/proc/11764/stat : 11764 (clasp-1.3.3-x86) R 11640 11764 11764 0 -1 4202496 2202 0 0 0 1287 0 0 0 25 0 1 0 54898908 8699904 1879 1992294400 134512640 136080129 4294778960 18446744073709551615 134588737 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11764/statm: 2124 1879 174 383 0 1739 0
Current children cumulated CPU time (s) 872.34
Current children cumulated vsize (KiB) 142612

[startup+882.301 s]
/proc/loadavg: 1.10 1.08 0.97 2/107 11775
/proc/meminfo: memFree=1471532/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=862.96
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 40379 301605 0 2 5006 591 80438 261 15 0 1 0 54817969 137334784 6347 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159688670771686182 0 0 17 0 0 0 0
/proc/11640/statm: 33529 6347 1143 1 0 5166 0
[pid=11764] ppid=11640 vsize=13192 CPUtime=72.85
/proc/11764/stat : 11764 (clasp-1.3.3-x86) R 11640 11764 11764 0 -1 4202496 3388 0 0 0 7285 0 0 0 25 0 1 0 54898908 13508608 3063 1992294400 134512640 136080129 4294778960 18446744073709551615 134588658 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11764/statm: 3298 3063 174 383 0 2913 0
Current children cumulated CPU time (s) 935.81
Current children cumulated vsize (KiB) 147308

[startup+942.3 s]
/proc/loadavg: 1.04 1.06 0.97 2/107 11777
/proc/meminfo: memFree=1469796/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=866.47
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 40405 301605 0 2 5327 621 80438 261 15 0 1 0 54817969 137334784 6347 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159688670771686182 0 0 17 0 0 0 0
/proc/11640/statm: 33529 6347 1143 1 0 5166 0
[pid=11764] ppid=11640 vsize=15044 CPUtime=132.76
/proc/11764/stat : 11764 (clasp-1.3.3-x86) R 11640 11764 11764 0 -1 4202496 3911 0 0 0 13275 1 0 0 25 0 1 0 54898908 15405056 3511 1992294400 134512640 136080129 4294778960 18446744073709551615 134808387 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11764/statm: 3761 3511 174 383 0 3376 0
Current children cumulated CPU time (s) 999.23
Current children cumulated vsize (KiB) 149160

[startup+1002.3 s]
/proc/loadavg: 1.07 1.06 0.98 2/107 11779
/proc/meminfo: memFree=1467440/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=869.93
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 40428 301605 0 2 5654 640 80438 261 15 0 1 0 54817969 137334784 6347 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159688670771686182 0 0 17 0 0 0 0
/proc/11640/statm: 33529 6347 1143 1 0 5166 0
[pid=11764] ppid=11640 vsize=17280 CPUtime=192.39
/proc/11764/stat : 11764 (clasp-1.3.3-x86) R 11640 11764 11764 0 -1 4202496 4677 0 0 0 19238 1 0 0 25 0 1 0 54898908 17694720 4082 1992294400 134512640 136080129 4294778960 18446744073709551615 134601659 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11764/statm: 4320 4082 174 383 0 3935 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 151396

[startup+1062.3 s]
/proc/loadavg: 1.10 1.06 0.98 2/107 11779
/proc/meminfo: memFree=1465952/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=873.43
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 40453 301605 0 2 5987 657 80438 261 15 0 1 0 54817969 137334784 6347 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159688670771686182 0 0 17 0 0 0 0
/proc/11640/statm: 33529 6347 1143 1 0 5166 0
[pid=11764] ppid=11640 vsize=19436 CPUtime=252.02
/proc/11764/stat : 11764 (clasp-1.3.3-x86) R 11640 11764 11764 0 -1 4202496 5195 0 0 0 25201 1 0 0 25 0 1 0 54898908 19902464 4598 1992294400 134512640 136080129 4294778960 18446744073709551615 134607997 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11764/statm: 4859 4598 174 383 0 4474 0
Current children cumulated CPU time (s) 1125.45
Current children cumulated vsize (KiB) 153552

[startup+1122.3 s]
/proc/loadavg: 1.06 1.06 0.99 2/107 11784
/proc/meminfo: memFree=1451320/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=1177.38
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 41700 307760 0 2 6331 682 110461 264 15 0 1 0 54817969 137334784 6348 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159836005329808166 0 0 17 1 0 0 0
/proc/11640/statm: 33529 6348 1143 1 0 5166 0
[pid=11784] ppid=11640 vsize=44164 CPUtime=11.43
/proc/11784/stat : 11784 (bsolo_pb10) R 11640 11784 11784 0 -1 4202496 8954 0 0 0 1137 6 0 0 25 0 1 0 54929047 45223936 8599 1992294400 134512640 137138936 4290587888 18446744073709551615 134542617 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/11784/statm: 11041 8599 192 642 0 10397 0
Current children cumulated CPU time (s) 1188.81
Current children cumulated vsize (KiB) 178280

[startup+1182.3 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 11786
/proc/meminfo: memFree=1368984/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=1180.84
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 41802 307760 0 2 6642 717 110461 264 15 0 1 0 54817969 137334784 6348 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159836005329808166 0 0 17 1 0 0 0
/proc/11640/statm: 33529 6348 1143 1 0 5166 0
[pid=11784] ppid=11640 vsize=125244 CPUtime=71.06
/proc/11784/stat : 11784 (bsolo_pb10) R 11640 11784 11784 0 -1 4202496 29230 0 0 0 7089 17 0 0 25 0 1 0 54929047 128249856 28875 1992294400 134512640 137138936 4290587888 18446744073709551615 136504096 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/11784/statm: 31311 28875 192 642 0 30667 0
Current children cumulated CPU time (s) 1251.9
Current children cumulated vsize (KiB) 259360

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

[startup+1183.9 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 11786
/proc/meminfo: memFree=1367992/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=1180.93
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 41803 307760 0 2 6650 718 110461 264 15 0 1 0 54817969 137334784 6348 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159836005329808166 0 0 17 1 0 0 0
/proc/11640/statm: 33529 6348 1143 1 0 5166 0
[pid=11784] ppid=11640 vsize=126004 CPUtime=72.64
/proc/11784/stat : 11784 (bsolo_pb10) R 11640 11784 11784 0 -1 4202496 29437 0 0 0 7247 17 0 0 25 0 1 0 54929047 129028096 29082 1992294400 134512640 137138936 4290587888 18446744073709551615 136504096 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/11784/statm: 31501 29082 192 642 0 30857 0
Current children cumulated CPU time (s) 1253.57
Current children cumulated vsize (KiB) 260120

[startup+1187.1 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 11786
/proc/meminfo: memFree=1366008/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=1181.1
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 41804 307760 0 2 6666 719 110461 264 15 0 1 0 54817969 137334784 6348 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159836005329808166 0 0 17 1 0 0 0
/proc/11640/statm: 33529 6348 1143 1 0 5166 0
[pid=11784] ppid=11640 vsize=127912 CPUtime=75.82
/proc/11784/stat : 11784 (bsolo_pb10) R 11640 11784 11784 0 -1 4202496 29887 0 0 0 7565 17 0 0 25 0 1 0 54929047 130981888 29532 1992294400 134512640 137138936 4290587888 18446744073709551615 136296985 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/11784/statm: 31978 29532 192 642 0 31334 0
Current children cumulated CPU time (s) 1256.92
Current children cumulated vsize (KiB) 262028

[startup+1187.9 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 11786
/proc/meminfo: memFree=1365512/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=1181.16
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 41805 307760 0 2 6671 720 110461 264 15 0 1 0 54817969 137334784 6348 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159836005329808166 0 0 17 1 0 0 0
/proc/11640/statm: 33529 6348 1143 1 0 5166 0
[pid=11784] ppid=11640 vsize=128312 CPUtime=76.62
/proc/11784/stat : 11784 (bsolo_pb10) R 11640 11784 11784 0 -1 4202496 29988 0 0 0 7645 17 0 0 25 0 1 0 54929047 131391488 29633 1992294400 134512640 137138936 4290587888 18446744073709551615 134542316 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/11784/statm: 32078 29633 192 642 0 31434 0
Current children cumulated CPU time (s) 1257.78
Current children cumulated vsize (KiB) 262428

[startup+1188.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 11786
/proc/meminfo: memFree=1365512/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134116 CPUtime=1181.16
/proc/11640/stat : 11640 (python) S 11638 11640 11385 0 -1 4202496 41805 307760 0 2 6671 720 110461 264 15 0 1 0 54817969 137334784 6348 1992294400 4194304 4196484 140736173616256 18446744073709551615 272448138767 0 0 16781312 2 159836005329808166 0 0 17 1 0 0 0
/proc/11640/statm: 33529 6348 1143 1 0 5166 0
[pid=11784] ppid=11640 vsize=129564 CPUtime=77.01
/proc/11784/stat : 11784 (bsolo_pb10) R 11640 11784 11784 0 -1 4202496 30295 0 0 0 7684 17 0 0 25 0 1 0 54929047 132673536 29940 1992294400 134512640 137138936 4290587888 18446744073709551615 134606964 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/11784/statm: 32391 29940 192 642 0 31747 0
Current children cumulated CPU time (s) 1258.17
Current children cumulated vsize (KiB) 263680

[startup+1188.7 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 11786
/proc/meminfo: memFree=1365512/2059040 swapFree=4139948/4192956
[pid=11640] ppid=11638 vsize=134112 CPUtime=1258.62
/proc/11640/stat : 11640 (python) R 11638 11640 11385 0 -1 4202496 46425 339066 0 2 6690 723 118165 284 18 0 1 0 54817969 137330688 6349 1992294400 4194304 4196484 140736173616256 18446744073709551615 47443627710899 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/11640/statm: 33528 6349 1143 1 0 5165 0
Current children cumulated CPU time (s) 1258.62
Current children cumulated vsize (KiB) 134112

Child status: 20
Real time (s): 1188.71
CPU time (s): 1258.65
CPU user time (s): 1248.57
CPU system time (s): 10.0885
CPU usage (%): 105.884
Max. virtual memory (cumulated for all children) (KiB): 1613824

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

runsolver used 2.09168 second user time and 5.72913 second system time

The end

Launcher Data 

Begin job on node087 at 2010-06-21 17:47:24
IDJOB=2676307
IDBENCH=2599
IDSOLVER=1178
FILE ID=node087/2676307-1277135244
PBS_JOBID= 11182065
Free space on /tmp= 62528 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2676307-1277135244/watcher-2676307-1277135244 -o /tmp/evaluation-result-2676307-1277135244/solver-2676307-1277135244 -C 1800 -W 2000 -M 1800  solver HOME/instance-2676307-1277135244.opb 568007860 

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

MD5SUM BENCH= 5bedad9895f21a4b5e521b3abd33ba08
RANDOM SEED=568007860

node087.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.213
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1506360 kB
Buffers:        127148 kB
Cached:         323316 kB
SwapCached:       5404 kB
Active:         226724 kB
Inactive:       236720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1506360 kB
SwapTotal:     4192956 kB
SwapFree:      4139948 kB
Dirty:           20596 kB
Writeback:           0 kB
AnonPages:       11508 kB
Mapped:          12940 kB
Slab:            67564 kB
PageTables:       4080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182560 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= 62508 MiB
End job on node087 at 2010-06-21 18:07:13