Trace number 4088118

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 NameAnswerobjective functionCPU timeWall clock time
cdcl-cuttingplanes OPT linear search 2016-05-01? (TO) 1800.03 1800.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
MD5SUM54ffab8e8a4cb46f5f9473284ad05d3b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark304
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 371
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 495981
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 495981
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 10000 #constraint= 656900
3.39/3.44	c #Conflicts:       1000 | #Learnt:       1019 | 0.000
3.39/3.44	c total clause space: 206.656MB
3.39/3.44	c total #watches: 1615850
10.39/10.47	c total #propagations: 313432 / total #impl: 7140738 (eff. 0.044)
10.39/10.47	c #Conflicts:       2000 | #Learnt:       2035 | 0.001
10.39/10.47	c total clause space: 206.656MB
10.39/10.47	c total #watches: 2102348
17.99/18.00	c total #propagations: 686332 / total #impl: 56159773 (eff. 0.012)
17.99/18.00	c #Conflicts:       3000 | #Learnt:       2028 | 0.012
17.99/18.00	c total clause space: 206.656MB
17.99/18.00	c total #watches: 2516535
36.38/36.46	c total #propagations: 867378 / total #impl: 104801244 (eff. 0.008)
36.38/36.46	c #Conflicts:       4000 | #Learnt:       3041 | 0.009
36.38/36.46	c total clause space: 335.816MB
36.38/36.46	c total #watches: 3073317
55.09/55.10	c total #propagations: 1198990 / total #impl: 200005918 (eff. 0.006)
55.09/55.10	c GC COLLECT
55.09/55.10	c #Conflicts:       5000 | #Learnt:       2384 | 0.008
55.09/55.10	c total clause space: 335.816MB
55.09/55.10	c total #watches: 3413771
69.88/69.94	c total #propagations: 1485747 / total #impl: 271211826 (eff. 0.005)
69.88/69.94	c #Conflicts:       6000 | #Learnt:       3384 | 0.007
69.88/69.94	c total clause space: 335.816MB
69.88/69.94	c total #watches: 3750364
85.57/85.65	c total #propagations: 1732691 / total #impl: 343849412 (eff. 0.005)
85.57/85.65	c GC COLLECT
85.57/85.65	c #Conflicts:       7000 | #Learnt:       2274 | 0.006
85.57/85.65	c total clause space: 335.816MB
85.57/85.65	c total #watches: 3581447
106.07/106.15	c total #propagations: 1927901 / total #impl: 443636594 (eff. 0.004)
106.07/106.15	c #Conflicts:       8000 | #Learnt:       3280 | 0.006
106.07/106.15	c total clause space: 335.816MB
106.07/106.15	c total #watches: 4182127
138.97/139.09	c total #propagations: 2178176 / total #impl: 604989437 (eff. 0.004)
138.97/139.09	c #Conflicts:       9000 | #Learnt:       4286 | 0.005
138.97/139.09	c total clause space: 335.816MB
138.97/139.09	c total #watches: 4826627
165.07/165.18	c total #propagations: 2438948 / total #impl: 782689662 (eff. 0.003)
165.07/165.18	c GC COLLECT
165.07/165.18	c #Conflicts:      10000 | #Learnt:       2787 | 0.005
165.07/165.18	c total clause space: 545.701MB
165.07/165.18	c total #watches: 4088668
184.27/184.39	c total #propagations: 2709730 / total #impl: 933883607 (eff. 0.003)
184.27/184.39	c #Conflicts:      11000 | #Learnt:       3787 | 0.004
184.27/184.39	c total clause space: 545.701MB
184.27/184.39	c total #watches: 4575053
211.76/211.81	c total #propagations: 2920361 / total #impl: 1110092419 (eff. 0.003)
211.76/211.81	c #Conflicts:      12000 | #Learnt:       4787 | 0.010
211.76/211.81	c total clause space: 545.701MB
211.76/211.81	c total #watches: 5014656
242.46/242.55	c total #propagations: 3155025 / total #impl: 1281643087 (eff. 0.002)
242.46/242.55	c #Conflicts:      13000 | #Learnt:       5787 | 0.009
242.46/242.55	c total clause space: 545.701MB
242.46/242.55	c total #watches: 5496284
263.06/263.15	c total #propagations: 3397775 / total #impl: 1426235638 (eff. 0.002)
263.06/263.15	c GC COLLECT
263.06/263.15	c #Conflicts:      14000 | #Learnt:       3950 | 0.009
263.06/263.15	c total clause space: 545.701MB
263.06/263.15	c total #watches: 4501045
282.96/283.02	c total #propagations: 3668474 / total #impl: 1542827022 (eff. 0.002)
282.96/283.02	c #Conflicts:      15000 | #Learnt:       4950 | 0.008
282.96/283.02	c total clause space: 545.701MB
282.96/283.02	c total #watches: 4856483
306.54/306.62	c total #propagations: 3859951 / total #impl: 1661621697 (eff. 0.002)
306.54/306.62	c #Conflicts:      16000 | #Learnt:       5951 | 0.008
306.54/306.62	c total clause space: 545.701MB
306.54/306.62	c total #watches: 5391913
331.44/331.52	c total #propagations: 4025544 / total #impl: 1813928524 (eff. 0.002)
331.44/331.52	c GC COLLECT
331.44/331.52	c #Conflicts:      17000 | #Learnt:       3785 | 0.007
331.44/331.52	c total clause space: 545.701MB
331.44/331.52	c total #watches: 4418323
353.93/354.06	c total #propagations: 4226318 / total #impl: 2004392577 (eff. 0.002)
353.93/354.06	c #Conflicts:      18000 | #Learnt:       4787 | 0.007
353.93/354.06	c total clause space: 545.701MB
353.93/354.06	c total #watches: 5124244
380.84/380.93	c total #propagations: 4405752 / total #impl: 2233691111 (eff. 0.002)
380.84/380.93	c #Conflicts:      19000 | #Learnt:       5789 | 0.006
380.84/380.93	c total clause space: 545.701MB
380.84/380.93	c total #watches: 5679534
419.63/419.73	c total #propagations: 4589428 / total #impl: 2478381698 (eff. 0.002)
419.63/419.73	c #Conflicts:      20000 | #Learnt:       6789 | 0.006
419.63/419.73	c total clause space: 545.701MB
419.63/419.73	c total #watches: 6267255
450.23/450.36	c total #propagations: 4822529 / total #impl: 2746354190 (eff. 0.002)
450.23/450.36	c GC COLLECT
450.23/450.36	c #Conflicts:      21000 | #Learnt:       4303 | 0.006
450.23/450.36	c total clause space: 545.701MB
450.23/450.36	c total #watches: 5130322
475.43/475.54	c total #propagations: 5074441 / total #impl: 2920160536 (eff. 0.002)
475.43/475.54	c #Conflicts:      22000 | #Learnt:       5303 | 0.006
475.43/475.54	c total clause space: 545.701MB
475.43/475.54	c total #watches: 5671374
506.72/506.85	c total #propagations: 5258695 / total #impl: 3148678843 (eff. 0.002)
506.72/506.85	c #Conflicts:      23000 | #Learnt:       6303 | 0.006
506.72/506.85	c total clause space: 545.701MB
506.72/506.85	c total #watches: 6120955
548.21/548.38	c total #propagations: 5471614 / total #impl: 3417267636 (eff. 0.002)
548.21/548.38	c #Conflicts:      24000 | #Learnt:       7303 | 0.005
548.21/548.38	c total clause space: 545.701MB
548.21/548.38	c total #watches: 6525828
583.71/583.82	c total #propagations: 5780568 / total #impl: 3527774321 (eff. 0.002)
583.71/583.82	c GC COLLECT
583.71/583.82	c #Conflicts:      25000 | #Learnt:       4509 | 0.005
583.71/583.82	c total clause space: 545.701MB
583.71/583.82	c total #watches: 4870576
606.00/606.19	c total #propagations: 6073338 / total #impl: 3601747374 (eff. 0.002)
606.00/606.19	c #Conflicts:      26000 | #Learnt:       5509 | 0.005
606.00/606.19	c total clause space: 545.701MB
606.00/606.19	c total #watches: 5183768
631.30/631.43	c total #propagations: 6301625 / total #impl: 3667994504 (eff. 0.002)
631.30/631.43	c #Conflicts:      27000 | #Learnt:       6509 | 0.005
631.30/631.43	c total clause space: 545.701MB
631.30/631.43	c total #watches: 5428036
672.99/673.19	c total #propagations: 6542739 / total #impl: 3736285656 (eff. 0.002)
672.99/673.19	c #Conflicts:      28000 | #Learnt:       7509 | 0.005
672.99/673.19	c total clause space: 545.701MB
672.99/673.19	c total #watches: 5763843
714.28/714.44	c total #propagations: 6825980 / total #impl: 3834895017 (eff. 0.002)
714.28/714.44	c GC COLLECT
714.28/714.44	c #Conflicts:      29000 | #Learnt:       4413 | 0.004
714.28/714.44	c total clause space: 545.701MB
714.28/714.44	c total #watches: 4349172
741.78/741.91	c total #propagations: 7092304 / total #impl: 3931397173 (eff. 0.002)
741.78/741.91	c #Conflicts:      30000 | #Learnt:       5413 | 0.004
741.78/741.91	c total clause space: 545.701MB
741.78/741.91	c total #watches: 4648722
773.27/773.41	c total #propagations: 7351689 / total #impl: 4032891607 (eff. 0.002)
773.27/773.41	c #Conflicts:      31000 | #Learnt:       6413 | 0.004
773.27/773.41	c total clause space: 545.701MB
773.27/773.41	c total #watches: 4965205
812.17/812.39	c total #propagations: 7624073 / total #impl: 4147767198 (eff. 0.002)
812.17/812.39	c #Conflicts:      32000 | #Learnt:       7413 | 0.004
812.17/812.39	c total clause space: 545.701MB
812.17/812.39	c total #watches: 5335989
853.46/853.63	c total #propagations: 7920916 / total #impl: 4267318730 (eff. 0.002)
853.46/853.63	c #Conflicts:      33000 | #Learnt:       8413 | 0.004
853.46/853.63	c total clause space: 545.701MB
853.46/853.63	c total #watches: 5647353
879.76/879.98	c total #propagations: 8178866 / total #impl: 4410682021 (eff. 0.002)
879.76/879.98	c GC COLLECT
879.76/879.98	c #Conflicts:      34000 | #Learnt:       5022 | 0.004
879.76/879.98	c total clause space: 886.764MB
879.76/879.98	c total #watches: 4555202
901.95/902.19	c total #propagations: 8435360 / total #impl: 4572896566 (eff. 0.002)
901.95/902.19	c #Conflicts:      35000 | #Learnt:       6022 | 0.004
901.95/902.19	c total clause space: 886.764MB
901.95/902.19	c total #watches: 5019167
927.05/927.20	c total #propagations: 8637623 / total #impl: 4721872240 (eff. 0.002)
927.05/927.20	c #Conflicts:      36000 | #Learnt:       7022 | 0.004
927.05/927.20	c total clause space: 886.764MB
927.05/927.20	c total #watches: 5436809
951.24/951.45	c total #propagations: 8851424 / total #impl: 4889024521 (eff. 0.002)
951.24/951.45	c #Conflicts:      37000 | #Learnt:       8022 | 0.005
951.24/951.45	c total clause space: 886.764MB
951.24/951.45	c total #watches: 5937578
975.75/975.98	c total #propagations: 9015992 / total #impl: 5001944690 (eff. 0.002)
975.75/975.98	c #Conflicts:      38000 | #Learnt:       9022 | 0.005
975.75/975.98	c total clause space: 886.764MB
975.75/975.98	c total #watches: 6409445
1001.84/1002.00	c total #propagations: 9210618 / total #impl: 5129892504 (eff. 0.002)
1001.84/1002.00	c GC COLLECT
1001.84/1002.00	c #Conflicts:      39000 | #Learnt:       5321 | 0.005
1001.84/1002.00	c total clause space: 886.764MB
1001.84/1002.00	c total #watches: 5404035
1024.84/1025.01	c total #propagations: 9399170 / total #impl: 5261963592 (eff. 0.002)
1024.84/1025.01	c #Conflicts:      40000 | #Learnt:       6321 | 0.005
1024.84/1025.01	c total clause space: 886.764MB
1024.84/1025.01	c total #watches: 5823812
1050.73/1050.91	c total #propagations: 9630314 / total #impl: 5391559943 (eff. 0.002)
1050.73/1050.91	c #Conflicts:      41000 | #Learnt:       7321 | 0.005
1050.73/1050.91	c total clause space: 886.764MB
1050.73/1050.91	c total #watches: 6170127
1075.84/1076.09	c total #propagations: 9857507 / total #impl: 5500974510 (eff. 0.002)
1075.84/1076.09	c #Conflicts:      42000 | #Learnt:       8321 | 0.005
1075.84/1076.09	c total clause space: 886.764MB
1075.84/1076.09	c total #watches: 6542449
1102.82/1103.05	c total #propagations: 10025893 / total #impl: 5630659198 (eff. 0.002)
1102.82/1103.05	c #Conflicts:      43000 | #Learnt:       9321 | 0.005
1102.82/1103.05	c total clause space: 886.764MB
1102.82/1103.05	c total #watches: 7067985
1139.42/1139.68	c total #propagations: 10190049 / total #impl: 5749421632 (eff. 0.002)
1139.42/1139.68	c GC COLLECT
1139.42/1139.68	c #Conflicts:      44000 | #Learnt:       5326 | 0.005
1139.42/1139.68	c total clause space: 886.764MB
1139.42/1139.68	c total #watches: 5274604
1169.61/1169.87	c total #propagations: 10368229 / total #impl: 5972758373 (eff. 0.002)
1169.61/1169.87	c #Conflicts:      45000 | #Learnt:       6326 | 0.005
1169.61/1169.87	c total clause space: 886.764MB
1169.61/1169.87	c total #watches: 5731669
1215.41/1215.62	c total #propagations: 10580972 / total #impl: 6199787951 (eff. 0.002)
1215.41/1215.62	c #Conflicts:      46000 | #Learnt:       7326 | 0.005
1215.41/1215.62	c total clause space: 886.764MB
1215.41/1215.62	c total #watches: 6106065
1275.40/1275.63	c total #propagations: 10784621 / total #impl: 6295699764 (eff. 0.002)
1275.40/1275.63	c #Conflicts:      47000 | #Learnt:       8326 | 0.004
1275.40/1275.63	c total clause space: 886.764MB
1275.40/1275.63	c total #watches: 6446826
1320.29/1320.56	c total #propagations: 11042404 / total #impl: 6393776251 (eff. 0.002)
1320.29/1320.56	c #Conflicts:      48000 | #Learnt:       9326 | 0.004
1320.29/1320.56	c total clause space: 886.764MB
1320.29/1320.56	c total #watches: 6682179
1392.18/1392.44	c total #propagations: 11254227 / total #impl: 6459459337 (eff. 0.002)
1392.18/1392.44	c #Conflicts:      49000 | #Learnt:      10326 | 0.004
1392.18/1392.44	c total clause space: 886.764MB
1392.18/1392.44	c total #watches: 6873012
1442.77/1443.00	c total #propagations: 11546648 / total #impl: 6528180389 (eff. 0.002)
1442.77/1443.00	c GC COLLECT
1442.77/1443.00	c #Conflicts:      50000 | #Learnt:       6016 | 0.004
1442.77/1443.00	c total clause space: 886.764MB
1442.77/1443.00	c total #watches: 5108701
1474.37/1474.62	c total #propagations: 11827959 / total #impl: 6599182116 (eff. 0.002)
1474.37/1474.62	c #Conflicts:      51000 | #Learnt:       7016 | 0.006
1474.37/1474.62	c total clause space: 886.764MB
1474.37/1474.62	c total #watches: 5339396
1503.86/1504.15	c total #propagations: 12104721 / total #impl: 6672403952 (eff. 0.002)
1503.86/1504.15	c #Conflicts:      52000 | #Learnt:       8016 | 0.006
1503.86/1504.15	c total clause space: 886.764MB
1503.86/1504.15	c total #watches: 5604175
1536.06/1536.36	c total #propagations: 12298481 / total #impl: 6752277713 (eff. 0.002)
1536.06/1536.36	c #Conflicts:      53000 | #Learnt:       9016 | 0.006
1536.06/1536.36	c total clause space: 886.764MB
1536.06/1536.36	c total #watches: 5968206
1581.95/1582.26	c total #propagations: 12488296 / total #impl: 6854054905 (eff. 0.002)
1581.95/1582.26	c #Conflicts:      54000 | #Learnt:      10016 | 0.006
1581.95/1582.26	c total clause space: 886.764MB
1581.95/1582.26	c total #watches: 6166251
1637.24/1637.57	c total #propagations: 12767854 / total #impl: 6977258148 (eff. 0.002)
1637.24/1637.57	c #Conflicts:      55000 | #Learnt:      11016 | 0.005
1637.24/1637.57	c total clause space: 886.764MB
1637.24/1637.57	c total #watches: 6499667
1668.83/1669.16	c total #propagations: 13057541 / total #impl: 7122301899 (eff. 0.002)
1668.83/1669.16	c GC COLLECT
1668.83/1669.16	c #Conflicts:      56000 | #Learnt:       6413 | 0.006
1668.83/1669.16	c total clause space: 886.764MB
1668.83/1669.16	c total #watches: 4909711
1711.53/1711.90	c total #propagations: 13353665 / total #impl: 7240495274 (eff. 0.002)
1711.53/1711.90	c #Conflicts:      57000 | #Learnt:       7413 | 0.006
1711.53/1711.90	c total clause space: 886.764MB
1711.53/1711.90	c total #watches: 5333441
1754.02/1754.33	c total #propagations: 13679809 / total #impl: 7333928605 (eff. 0.002)
1754.02/1754.33	c #Conflicts:      58000 | #Learnt:       8413 | 0.005
1754.02/1754.33	c total clause space: 886.764MB
1754.02/1754.33	c total #watches: 5633459
1791.11/1791.49	c total #propagations: 13953395 / total #impl: 7414584000 (eff. 0.002)
1791.11/1791.49	c #Conflicts:      59000 | #Learnt:       9413 | 0.005
1791.11/1791.49	c total clause space: 886.764MB
1791.11/1791.49	c total #watches: 6001446

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4088118-1465394597/watcher-4088118-1465394597 -o /tmp/evaluation-result-4088118-1465394597/solver-4088118-1465394597 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465387394-21866 --watchdog 1960 --input HOME/instance-4088118-1465394597.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=22483
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.29 2.18 2.11 3/176 22486
/proc/meminfo: memFree=30220496/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 121394234 29810688 5268 33554432000 4194304 6201397 140736288494080 140735868566920 4211056 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 7278 5268 130 491 0 6777 0

[startup+0.100236 s]
/proc/loadavg: 2.29 2.18 2.11 3/176 22486
/proc/meminfo: memFree=30220496/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=34516 CPUtime=0.09 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 1383 0 0 0 9 0 0 0 20 0 1 0 121394234 35344384 7542 33554432000 4194304 6201397 140736288494080 140735868566920 4208163 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 8629 7543 142 491 0 8128 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34516

[startup+0.200361 s]
/proc/loadavg: 2.29 2.18 2.11 3/176 22486
/proc/meminfo: memFree=30220496/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=42444 CPUtime=0.19 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 2762 0 0 0 18 1 0 0 20 0 1 0 121394234 43462656 8894 33554432000 4194304 6201397 140736288494080 140735868566920 4208163 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 10611 8894 143 491 0 10110 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42444

[startup+0.300296 s]
/proc/loadavg: 2.29 2.18 2.11 3/176 22486
/proc/meminfo: memFree=30220496/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=50936 CPUtime=0.29 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 4046 0 0 0 28 1 0 0 20 0 1 0 121394234 52158464 10727 33554432000 4194304 6201397 140736288494080 140735868566920 4224382 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 12734 10727 143 491 0 12233 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50936

[startup+0.700276 s]
/proc/loadavg: 2.29 2.18 2.11 3/176 22486
/proc/meminfo: memFree=30220496/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=84864 CPUtime=0.69 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 6834 0 0 0 68 1 0 0 20 0 1 0 121394234 86900736 16166 33554432000 4194304 6201397 140736288494080 140736288492216 5150858 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 21216 16166 143 491 0 20715 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84864

[startup+1.50025 s]
/proc/loadavg: 2.27 2.17 2.11 3/177 22487
/proc/meminfo: memFree=30133524/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=123044 CPUtime=1.49 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 9857 0 0 0 146 3 0 0 20 0 1 0 121394234 125997056 27221 33554432000 4194304 6201397 140736288494080 140736288492216 5150858 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 30761 27222 143 491 0 30260 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 123044

[startup+3.10025 s]
/proc/loadavg: 2.27 2.17 2.11 3/177 22487
/proc/meminfo: memFree=30053476/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=185080 CPUtime=3.09 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 13403 0 0 0 305 4 0 0 20 0 1 0 121394234 189521920 44675 33554432000 4194304 6201397 140736288494080 140736288492648 4217567 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 46270 44675 147 491 0 45769 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 185080

[startup+6.30028 s]
/proc/loadavg: 2.24 2.17 2.11 3/177 22533
/proc/meminfo: memFree=30379960/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=267396 CPUtime=6.29 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 13915 0 0 0 624 5 0 0 20 0 1 0 121394234 273813504 49232 33554432000 4194304 6201397 140736288494080 140736288492792 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 66849 49232 160 491 0 66348 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 267396

[startup+12.7003 s]
/proc/loadavg: 2.22 2.17 2.11 3/177 22533
/proc/meminfo: memFree=30226732/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=275884 CPUtime=12.69 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 16040 0 0 0 1263 6 0 0 20 0 1 0 121394234 282505216 59533 33554432000 4194304 6201397 140736288494080 140736288492360 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 68971 59533 160 491 0 68470 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 275884

[startup+25.5003 s]
/proc/loadavg: 2.25 2.17 2.11 3/177 22533
/proc/meminfo: memFree=30111652/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=414652 CPUtime=25.49 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 17870 0 0 0 2543 6 0 0 20 0 1 0 121394234 424603648 71539 33554432000 4194304 6201397 140736288494080 140736288492360 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 103663 71539 166 491 0 103162 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 414652

[startup+51.1003 s]
/proc/loadavg: 2.29 2.19 2.12 3/177 22533
/proc/meminfo: memFree=29998068/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=421248 CPUtime=51.08 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 20385 0 0 0 5102 6 0 0 20 0 1 0 121394234 431357952 83292 33554432000 4194304 6201397 140736288494080 140736288492792 4239634 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 105312 83292 166 491 0 104811 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 421248

[startup+102.3 s]
/proc/loadavg: 2.17 2.17 2.11 3/177 22534
/proc/meminfo: memFree=29902568/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=438356 CPUtime=102.27 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 25033 0 0 0 10219 8 0 0 20 0 1 0 121394234 448876544 95054 33554432000 4194304 6201397 140736288494080 140736288492792 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 109589 95054 166 491 0 109088 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 438356

[startup+162.3 s]
/proc/loadavg: 2.14 2.17 2.11 3/177 22535
/proc/meminfo: memFree=29770820/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=662760 CPUtime=162.27 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 27972 0 0 0 16217 10 0 0 20 0 1 0 121394234 678666240 112981 33554432000 4194304 6201397 140736288494080 140736288492360 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 165690 112981 166 491 0 165189 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 662760

[startup+222.3 s]
/proc/loadavg: 2.28 2.20 2.12 4/177 22537
/proc/meminfo: memFree=29741276/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=664676 CPUtime=222.26 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 28598 0 0 0 22216 10 0 0 20 0 1 0 121394234 680628224 118713 33554432000 4194304 6201397 140736288494080 140736288492792 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 166169 118713 166 491 0 165668 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 664676

[startup+282.3 s]
/proc/loadavg: 2.20 2.19 2.12 3/177 22538
/proc/meminfo: memFree=29670404/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=667384 CPUtime=282.25 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 29273 0 0 0 28214 11 0 0 20 0 1 0 121394234 683401216 124985 33554432000 4194304 6201397 140736288494080 140736288492792 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 166846 124985 166 491 0 166345 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 667384

[startup+342.3 s]
/proc/loadavg: 2.19 2.18 2.12 3/177 22539
/proc/meminfo: memFree=29640000/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=668656 CPUtime=342.24 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 29679 0 0 0 34213 11 0 0 20 0 1 0 121394234 684703744 128967 33554432000 4194304 6201397 140736288494080 140736288493208 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 167164 128967 166 491 0 166663 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 668656

[startup+402.3 s]
/proc/loadavg: 2.26 2.19 2.12 3/177 22540
/proc/meminfo: memFree=29585764/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=674740 CPUtime=402.23 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 31200 0 0 0 40211 12 0 0 20 0 1 0 121394234 690933760 132532 33554432000 4194304 6201397 140736288494080 140736288492792 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 168685 132532 166 491 0 168184 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 674740

[startup+462.307 s]
/proc/loadavg: 2.22 2.19 2.12 3/178 22544
/proc/meminfo: memFree=29537504/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=684728 CPUtime=462.23 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 33603 0 0 0 46210 13 0 0 20 0 1 0 121394234 701161472 143622 33554432000 4194304 6201397 140736288494080 140736288493208 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 171182 143622 166 491 0 170681 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 684728

[startup+522.3 s]
/proc/loadavg: 2.23 2.20 2.13 3/177 22546
/proc/meminfo: memFree=29521140/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=684888 CPUtime=522.21 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 33624 0 0 0 52208 13 0 0 20 0 1 0 121394234 701325312 143643 33554432000 4194304 6201397 140736288494080 140736288492360 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 171222 143643 166 491 0 170721 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 684888

[startup+582.3 s]
/proc/loadavg: 2.08 2.16 2.11 4/177 22547
/proc/meminfo: memFree=29490088/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=691856 CPUtime=582.21 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 35247 0 0 0 58207 14 0 0 20 0 1 0 121394234 708460544 151398 33554432000 4194304 6201397 140736288494080 140736288492792 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 172964 151398 166 491 0 172463 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 691856


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


[startup+942.3 s]
/proc/loadavg: 2.02 2.08 2.08 3/177 22554
/proc/meminfo: memFree=29291796/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=1041568 CPUtime=942.14 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 36013 0 0 0 94199 15 0 0 20 0 1 0 121394234 1066565632 175335 33554432000 4194304 6201397 140736288494080 140736288493208 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 260392 175335 166 491 0 259891 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1041568

[startup+1002.3 s]
/proc/loadavg: 2.05 2.08 2.08 3/177 22555
/proc/meminfo: memFree=29165384/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=1045092 CPUtime=1002.15 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 37058 0 0 0 100199 16 0 0 20 0 1 0 121394234 1070174208 182981 33554432000 4194304 6201397 140736288494080 140736288492792 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 261273 182981 166 491 0 260772 0
Current children cumulated CPU time (s) 1002.15
Current children cumulated vsize (KiB) 1045092

[startup+1062.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/178 22559
/proc/meminfo: memFree=29147692/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=1045092 CPUtime=1062.13 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 37090 0 0 0 106197 16 0 0 20 0 1 0 121394234 1070174208 183013 33554432000 4194304 6201397 140736288494080 140736288493208 4215962 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 261273 183013 166 491 0 260772 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 1045092

[startup+1122.31 s]
/proc/loadavg: 2.05 2.08 2.08 3/177 22561
/proc/meminfo: memFree=29061248/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=1054600 CPUtime=1122.12 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 39508 0 0 0 112196 16 0 0 20 0 1 0 121394234 1079910400 197695 33554432000 4194304 6201397 140736288494080 140736288492360 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 263650 197695 166 491 0 263149 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 1054600

[startup+1182.3 s]
/proc/loadavg: 2.05 2.07 2.08 3/177 22562
/proc/meminfo: memFree=28950468/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=1056184 CPUtime=1182.11 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 39938 0 0 0 118194 17 0 0 20 0 1 0 121394234 1081532416 202213 33554432000 4194304 6201397 140736288494080 140736288493208 4213244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 264046 202213 166 491 0 263545 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 1056184

[startup+1242.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/177 22563
/proc/meminfo: memFree=28949728/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=1056184 CPUtime=1242.1 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 39983 0 0 0 124193 17 0 0 20 0 1 0 121394234 1081532416 202258 33554432000 4194304 6201397 140736288494080 140736288493208 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 264046 202258 166 491 0 263545 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1056184

[startup+1302.3 s]
/proc/loadavg: 2.02 2.06 2.08 3/177 22564
/proc/meminfo: memFree=28948416/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=1056184 CPUtime=1302.09 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 39984 0 0 0 130192 17 0 0 20 0 1 0 121394234 1081532416 202259 33554432000 4194304 6201397 140736288494080 140736288493208 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 264046 202259 166 491 0 263545 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1056184

[startup+1362.3 s]
/proc/loadavg: 2.10 2.07 2.08 3/177 22565
/proc/meminfo: memFree=28946796/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=1056344 CPUtime=1362.08 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 39993 0 0 0 136191 17 0 0 20 0 1 0 121394234 1081696256 202608 33554432000 4194304 6201397 140736288494080 140736288492360 4213244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 264086 202608 166 491 0 263585 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1056344

[startup+1422.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/176 22566
/proc/meminfo: memFree=28925948/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=1056568 CPUtime=1422.07 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 40048 0 0 0 142190 17 0 0 20 0 1 0 121394234 1081925632 207773 33554432000 4194304 6201397 140736288494080 140736288492792 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 264142 207773 166 491 0 263641 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1056568

[startup+1482.3 s]
/proc/loadavg: 2.10 2.07 2.08 3/177 22568
/proc/meminfo: memFree=28925316/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=1056568 CPUtime=1482.06 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 40070 0 0 0 148189 17 0 0 20 0 1 0 121394234 1081925632 207795 33554432000 4194304 6201397 140736288494080 140736288493208 4213379 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 264142 207795 166 491 0 263641 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1056568

[startup+1542.3 s]
/proc/loadavg: 2.08 2.07 2.08 3/177 22569
/proc/meminfo: memFree=28921472/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=1056568 CPUtime=1542.06 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 40116 0 0 0 154189 17 0 0 20 0 1 0 121394234 1081925632 207841 33554432000 4194304 6201397 140736288494080 140736288493208 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 264142 207841 166 491 0 263641 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1056568

[startup+1602.3 s]
/proc/loadavg: 2.03 2.06 2.07 3/177 22570
/proc/meminfo: memFree=28919048/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=1056712 CPUtime=1602.05 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 40136 0 0 0 160188 17 0 0 20 0 1 0 121394234 1082073088 207861 33554432000 4194304 6201397 140736288494080 140736288493208 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 264178 207861 166 491 0 263677 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 1056712

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.07 3/178 22574
/proc/meminfo: memFree=28884384/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=1057004 CPUtime=1662.04 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 40218 0 0 0 166187 17 0 0 20 0 1 0 121394234 1082372096 216630 33554432000 4194304 6201397 140736288494080 140736288492792 4214965 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 264251 216630 166 491 0 263750 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1057004

[startup+1722.3 s]
/proc/loadavg: 2.12 2.06 2.07 3/177 22575
/proc/meminfo: memFree=28884016/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=1057004 CPUtime=1722.02 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 40230 0 0 0 172185 17 0 0 20 0 1 0 121394234 1082372096 216642 33554432000 4194304 6201397 140736288494080 140736288493208 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 264251 216642 166 491 0 263750 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1057004

[startup+1782.31 s]
/proc/loadavg: 2.15 2.08 2.08 3/177 22577
/proc/meminfo: memFree=28879560/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=1057004 CPUtime=1782.02 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 40244 0 0 0 178185 17 0 0 20 0 1 0 121394234 1082372096 216656 33554432000 4194304 6201397 140736288494080 140736288493208 4214892 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 264251 216656 166 491 0 263750 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1057004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.12 2.08 2.08 3/177 22577
/proc/meminfo: memFree=28878080/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=1057004 CPUtime=1800.01 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 40250 0 0 0 179984 17 0 0 20 0 1 0 121394234 1082372096 216662 33554432000 4194304 6201397 140736288494080 140736288493208 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 264251 216662 166 491 0 263750 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1057004

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22486 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.12 2.08 2.08 3/177 22577
/proc/meminfo: memFree=28878080/32872528 swapFree=12352/737972
[pid=22486] ppid=22483 vsize=1057004 CPUtime=1800.01 cores=1,3,5,7
/proc/22486/stat : 22486 (cdcl-cuttingpla) R 22483 22486 21849 0 -1 4202496 40250 0 0 0 179984 17 0 0 20 0 1 0 121394234 1082372096 216662 33554432000 4194304 6201397 140736288494080 140736288493208 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/22486/statm: 264251 216662 166 491 0 263750 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1057004

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.85
CPU system time (s): 0.181972
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 1057004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.181972
maximum resident set size= 866648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40250
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.35334 second user time and 7.10992 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-08 16:03:18
IDJOB=4088118
IDBENCH=1971
IDSOLVER=2550
FILE ID=node112/4088118-1465394597
RUNJOBID= node112-1465387394-21866
PBS_JOBID= 19853862
Free space on /tmp= 71728 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088118-1465394597/watcher-4088118-1465394597 -o /tmp/evaluation-result-4088118-1465394597/solver-4088118-1465394597 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465387394-21866 --watchdog 1960 --input HOME/instance-4088118-1465394597.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 54ffab8e8a4cb46f5f9473284ad05d3b
RANDOM SEED=1170039033

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30220504 kB
Buffers:          153544 kB
Cached:           549132 kB
SwapCached:         1512 kB
Active:           675996 kB
Inactive:         499380 kB
Active(anon):     473252 kB
Inactive(anon):     1468 kB
Active(file):     202744 kB
Inactive(file):   497912 kB
Unevictable:      737972 kB
Mlocked:           12352 kB
SwapTotal:      67108856 kB
SwapFree:       67098656 kB
Dirty:             19088 kB
Writeback:             4 kB
AnonPages:       1209440 kB
Mapped:             7784 kB
Shmem:                 0 kB
Slab:             605972 kB
SReclaimable:      49432 kB
SUnreclaim:       556540 kB
KernelStack:        1480 kB
PageTables:         6060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1509548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1187840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node112 at 2016-06-08 16:33:18