Trace number 4088111

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_14.opb.PB06.opb
MD5SUM13c1b3915f4d316b882a7e551b1f0496
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark332
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 502
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 498884
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 498884
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
2.89/2.93	c #Conflicts:       1000 | #Learnt:       1011 | 0.000
2.89/2.93	c total clause space: 127.173MB
2.89/2.93	c total #watches: 1483797
8.90/8.95	c total #propagations: 266116 / total #impl: 5752084 (eff. 0.046)
8.90/8.95	c #Conflicts:       2000 | #Learnt:       2027 | 0.000
8.90/8.95	c total clause space: 206.656MB
8.90/8.95	c total #watches: 1990540
17.49/17.54	c total #propagations: 617119 / total #impl: 46480634 (eff. 0.013)
17.49/17.54	c #Conflicts:       3000 | #Learnt:       2027 | 0.009
17.49/17.54	c total clause space: 206.656MB
17.49/17.54	c total #watches: 2495867
34.89/34.92	c total #propagations: 815950 / total #impl: 92469272 (eff. 0.009)
34.89/34.92	c #Conflicts:       4000 | #Learnt:       3037 | 0.008
34.89/34.92	c total clause space: 335.816MB
34.89/34.92	c total #watches: 2946520
51.69/51.80	c total #propagations: 1123981 / total #impl: 178837695 (eff. 0.006)
51.69/51.80	c GC COLLECT
51.69/51.80	c #Conflicts:       5000 | #Learnt:       2388 | 0.006
51.69/51.80	c total clause space: 335.816MB
51.69/51.80	c total #watches: 3153699
70.78/70.83	c total #propagations: 1389276 / total #impl: 235283298 (eff. 0.006)
70.78/70.83	c #Conflicts:       6000 | #Learnt:       3392 | 0.005
70.78/70.83	c total clause space: 335.816MB
70.78/70.83	c total #watches: 3683157
119.98/120.03	c total #propagations: 1618052 / total #impl: 301477188 (eff. 0.005)
119.98/120.03	c GC COLLECT
119.98/120.03	c #Conflicts:       7000 | #Learnt:       2293 | 0.005
119.98/120.03	c total clause space: 335.816MB
119.98/120.03	c total #watches: 3870793
157.28/157.34	c total #propagations: 2040647 / total #impl: 346471286 (eff. 0.006)
157.28/157.34	c #Conflicts:       8000 | #Learnt:       3312 | 0.004
157.28/157.34	c total clause space: 335.816MB
157.28/157.34	c total #watches: 4455846
187.96/188.02	c total #propagations: 2361127 / total #impl: 388718284 (eff. 0.006)
187.96/188.02	c #Conflicts:       9000 | #Learnt:       4312 | 0.004
187.96/188.02	c total clause space: 335.816MB
187.96/188.02	c total #watches: 4642670
217.06/217.11	c total #propagations: 2608067 / total #impl: 438802178 (eff. 0.006)
217.06/217.11	c GC COLLECT
217.06/217.11	c #Conflicts:      10000 | #Learnt:       2806 | 0.003
217.06/217.11	c total clause space: 335.816MB
217.06/217.11	c total #watches: 3867934
236.56/236.68	c total #propagations: 2844415 / total #impl: 480369837 (eff. 0.006)
236.56/236.68	c #Conflicts:      11000 | #Learnt:       3806 | 0.003
236.56/236.68	c total clause space: 335.816MB
236.56/236.68	c total #watches: 4068898
260.35/260.48	c total #propagations: 3032435 / total #impl: 525311084 (eff. 0.006)
260.35/260.48	c #Conflicts:      12000 | #Learnt:       4806 | 0.003
260.35/260.48	c total clause space: 335.816MB
260.35/260.48	c total #watches: 4383446
289.44/289.56	c total #propagations: 3248818 / total #impl: 576535807 (eff. 0.006)
289.44/289.56	c #Conflicts:      13000 | #Learnt:       5806 | 0.003
289.44/289.56	c total clause space: 545.701MB
289.44/289.56	c total #watches: 4682426
309.05/309.20	c total #propagations: 3503724 / total #impl: 617037574 (eff. 0.006)
309.05/309.20	c GC COLLECT
309.05/309.20	c #Conflicts:      14000 | #Learnt:       3989 | 0.003
309.05/309.20	c total clause space: 545.701MB
309.05/309.20	c total #watches: 3994897
331.93/332.03	c total #propagations: 3719873 / total #impl: 679535783 (eff. 0.005)
331.93/332.03	c #Conflicts:      15000 | #Learnt:       4991 | 0.002
331.93/332.03	c total clause space: 545.701MB
331.93/332.03	c total #watches: 4254675
351.24/351.39	c total #propagations: 3948042 / total #impl: 749264270 (eff. 0.005)
351.24/351.39	c #Conflicts:      16000 | #Learnt:       5991 | 0.002
351.24/351.39	c total clause space: 545.701MB
351.24/351.39	c total #watches: 4509320
375.23/375.37	c total #propagations: 4156776 / total #impl: 811099240 (eff. 0.005)
375.23/375.37	c GC COLLECT
375.23/375.37	c #Conflicts:      17000 | #Learnt:       3841 | 0.002
375.23/375.37	c total clause space: 545.701MB
375.23/375.37	c total #watches: 3828980
403.74/403.89	c total #propagations: 4364528 / total #impl: 856340750 (eff. 0.005)
403.74/403.89	c #Conflicts:      18000 | #Learnt:       4849 | 0.002
403.74/403.89	c total clause space: 545.701MB
403.74/403.89	c total #watches: 4185753
427.42/427.52	c total #propagations: 4623447 / total #impl: 908456922 (eff. 0.005)
427.42/427.52	c #Conflicts:      19000 | #Learnt:       5849 | 0.002
427.42/427.52	c total clause space: 545.701MB
427.42/427.52	c total #watches: 4452015
461.51/461.69	c total #propagations: 4839461 / total #impl: 957872449 (eff. 0.005)
461.51/461.69	c #Conflicts:      20000 | #Learnt:       6850 | 0.002
461.51/461.69	c total clause space: 545.701MB
461.51/461.69	c total #watches: 4863778
492.61/492.72	c total #propagations: 5101249 / total #impl: 1003918854 (eff. 0.005)
492.61/492.72	c GC COLLECT
492.61/492.72	c #Conflicts:      21000 | #Learnt:       4371 | 0.002
492.61/492.72	c total clause space: 545.701MB
492.61/492.72	c total #watches: 4299304
517.91/518.02	c total #propagations: 5360719 / total #impl: 1044772221 (eff. 0.005)
517.91/518.02	c #Conflicts:      22000 | #Learnt:       5371 | 0.002
517.91/518.02	c total clause space: 545.701MB
517.91/518.02	c total #watches: 4512392
546.61/546.75	c total #propagations: 5591347 / total #impl: 1084701068 (eff. 0.005)
546.61/546.75	c #Conflicts:      23000 | #Learnt:       6371 | 0.002
546.61/546.75	c total clause space: 545.701MB
546.61/546.75	c total #watches: 4768160
580.71/580.83	c total #propagations: 5802809 / total #impl: 1135314251 (eff. 0.005)
580.71/580.83	c #Conflicts:      24000 | #Learnt:       7371 | 0.002
580.71/580.83	c total clause space: 545.701MB
580.71/580.83	c total #watches: 4975117
610.89/611.02	c total #propagations: 6063842 / total #impl: 1175388632 (eff. 0.005)
610.89/611.02	c GC COLLECT
610.89/611.02	c #Conflicts:      25000 | #Learnt:       4594 | 0.002
610.89/611.02	c total clause space: 545.701MB
610.89/611.02	c total #watches: 4271106
635.70/635.87	c total #propagations: 6318278 / total #impl: 1206324188 (eff. 0.005)
635.70/635.87	c #Conflicts:      26000 | #Learnt:       5594 | 0.002
635.70/635.87	c total clause space: 545.701MB
635.70/635.87	c total #watches: 4505847
664.29/664.48	c total #propagations: 6496013 / total #impl: 1246563367 (eff. 0.005)
664.29/664.48	c #Conflicts:      27000 | #Learnt:       6594 | 0.001
664.29/664.48	c total clause space: 545.701MB
664.29/664.48	c total #watches: 4804919
703.68/703.86	c total #propagations: 6707903 / total #impl: 1303422490 (eff. 0.005)
703.68/703.86	c #Conflicts:      28000 | #Learnt:       7594 | 0.002
703.68/703.86	c total clause space: 545.701MB
703.68/703.86	c total #watches: 5116911
738.27/738.40	c total #propagations: 6946428 / total #impl: 1352272525 (eff. 0.005)
738.27/738.40	c GC COLLECT
738.27/738.40	c #Conflicts:      29000 | #Learnt:       4511 | 0.001
738.27/738.40	c total clause space: 545.701MB
738.27/738.40	c total #watches: 4232069
762.67/762.83	c total #propagations: 7185592 / total #impl: 1399784291 (eff. 0.005)
762.67/762.83	c #Conflicts:      30000 | #Learnt:       5511 | 0.001
762.67/762.83	c total clause space: 545.701MB
762.67/762.83	c total #watches: 4532497
790.57/790.70	c total #propagations: 7428134 / total #impl: 1451773491 (eff. 0.005)
790.57/790.70	c #Conflicts:      31000 | #Learnt:       6511 | 0.001
790.57/790.70	c total clause space: 545.701MB
790.57/790.70	c total #watches: 4859880
820.76/820.94	c total #propagations: 7703550 / total #impl: 1509805373 (eff. 0.005)
820.76/820.94	c #Conflicts:      32000 | #Learnt:       7511 | 0.001
820.76/820.94	c total clause space: 545.701MB
820.76/820.94	c total #watches: 5096622
857.25/857.41	c total #propagations: 7982475 / total #impl: 1579856746 (eff. 0.005)
857.25/857.41	c #Conflicts:      33000 | #Learnt:       8511 | 0.001
857.25/857.41	c total clause space: 545.701MB
857.25/857.41	c total #watches: 5378698
881.96/882.13	c total #propagations: 8279717 / total #impl: 1633064273 (eff. 0.005)
881.96/882.13	c GC COLLECT
881.96/882.13	c #Conflicts:      34000 | #Learnt:       5120 | 0.001
881.96/882.13	c total clause space: 545.701MB
881.96/882.13	c total #watches: 4548457
901.45/901.67	c total #propagations: 8482975 / total #impl: 1687080521 (eff. 0.005)
901.45/901.67	c #Conflicts:      35000 | #Learnt:       6120 | 0.001
901.45/901.67	c total clause space: 545.701MB
901.45/901.67	c total #watches: 4766398
923.05/923.25	c total #propagations: 8713301 / total #impl: 1755594270 (eff. 0.005)
923.05/923.25	c #Conflicts:      36000 | #Learnt:       7120 | 0.001
923.05/923.25	c total clause space: 545.701MB
923.05/923.25	c total #watches: 5132391
946.54/946.72	c total #propagations: 8922749 / total #impl: 1852350074 (eff. 0.005)
946.54/946.72	c #Conflicts:      37000 | #Learnt:       8120 | 0.001
946.54/946.72	c total clause space: 545.701MB
946.54/946.72	c total #watches: 5400003
972.34/972.53	c total #propagations: 9166970 / total #impl: 1947496078 (eff. 0.005)
972.34/972.53	c #Conflicts:      38000 | #Learnt:       9120 | 0.002
972.34/972.53	c total clause space: 886.764MB
972.34/972.53	c total #watches: 5929423
996.74/996.95	c total #propagations: 9382111 / total #impl: 2046417713 (eff. 0.005)
996.74/996.95	c GC COLLECT
996.74/996.95	c #Conflicts:      39000 | #Learnt:       5437 | 0.002
996.74/996.95	c total clause space: 886.764MB
996.74/996.95	c total #watches: 4982721
1014.23/1014.45	c total #propagations: 9593685 / total #impl: 2165798064 (eff. 0.004)
1014.23/1014.45	c #Conflicts:      40000 | #Learnt:       6437 | 0.002
1014.23/1014.45	c total clause space: 886.764MB
1014.23/1014.45	c total #watches: 5174035
1036.73/1036.97	c total #propagations: 9843501 / total #impl: 2307051856 (eff. 0.004)
1036.73/1036.97	c #Conflicts:      41000 | #Learnt:       7437 | 0.002
1036.73/1036.97	c total clause space: 886.764MB
1036.73/1036.97	c total #watches: 5719033
1058.32/1058.59	c total #propagations: 10093867 / total #impl: 2449925883 (eff. 0.004)
1058.32/1058.59	c #Conflicts:      42000 | #Learnt:       8437 | 0.002
1058.32/1058.59	c total clause space: 886.764MB
1058.32/1058.59	c total #watches: 6301956
1081.63/1081.80	c total #propagations: 10270588 / total #impl: 2619700190 (eff. 0.004)
1081.63/1081.80	c #Conflicts:      43000 | #Learnt:       9437 | 0.002
1081.63/1081.80	c total clause space: 886.764MB
1081.63/1081.80	c total #watches: 6759350
1105.42/1105.69	c total #propagations: 10423624 / total #impl: 2796407300 (eff. 0.004)
1105.42/1105.69	c GC COLLECT
1105.42/1105.69	c #Conflicts:      44000 | #Learnt:       5435 | 0.001
1105.42/1105.69	c total clause space: 886.764MB
1105.42/1105.69	c total #watches: 5630863
1128.52/1128.78	c total #propagations: 10592218 / total #impl: 2998822413 (eff. 0.004)
1128.52/1128.78	c #Conflicts:      45000 | #Learnt:       6435 | 0.001
1128.52/1128.78	c total clause space: 886.764MB
1128.52/1128.78	c total #watches: 6169234
1176.92/1177.15	c total #propagations: 10755126 / total #impl: 3189430454 (eff. 0.003)
1176.92/1177.15	c #Conflicts:      46000 | #Learnt:       7435 | 0.001
1176.92/1177.15	c total clause space: 886.764MB
1176.92/1177.15	c total #watches: 6669660
1241.00/1241.20	c total #propagations: 11020655 / total #impl: 3348450986 (eff. 0.003)
1241.00/1241.20	c #Conflicts:      47000 | #Learnt:       8435 | 0.001
1241.00/1241.20	c total clause space: 886.764MB
1241.00/1241.20	c total #watches: 7110163
1281.99/1282.23	c total #propagations: 11299085 / total #impl: 3458711184 (eff. 0.003)
1281.99/1282.23	c #Conflicts:      48000 | #Learnt:       9435 | 0.001
1281.99/1282.23	c total clause space: 886.764MB
1281.99/1282.23	c total #watches: 7322301
1351.79/1352.00	c total #propagations: 11536504 / total #impl: 3607280462 (eff. 0.003)
1351.79/1352.00	c #Conflicts:      49000 | #Learnt:      10435 | 0.001
1351.79/1352.00	c total clause space: 886.764MB
1351.79/1352.00	c total #watches: 7709706
1400.97/1401.25	c total #propagations: 11838501 / total #impl: 3717915520 (eff. 0.003)
1400.97/1401.25	c GC COLLECT
1400.97/1401.25	c #Conflicts:      50000 | #Learnt:       6123 | 0.001
1400.97/1401.25	c total clause space: 886.764MB
1400.97/1401.25	c total #watches: 5836643
1435.76/1436.07	c total #propagations: 12124329 / total #impl: 3861357129 (eff. 0.003)
1435.76/1436.07	c #Conflicts:      51000 | #Learnt:       7123 | 0.001
1435.76/1436.07	c total clause space: 886.764MB
1435.76/1436.07	c total #watches: 6146500
1466.07/1466.40	c total #propagations: 12392454 / total #impl: 3966255672 (eff. 0.003)
1466.07/1466.40	c #Conflicts:      52000 | #Learnt:       8123 | 0.001
1466.07/1466.40	c total clause space: 886.764MB
1466.07/1466.40	c total #watches: 6645580
1499.55/1499.80	c total #propagations: 12589905 / total #impl: 4054179767 (eff. 0.003)
1499.55/1499.80	c #Conflicts:      53000 | #Learnt:       9123 | 0.001
1499.55/1499.80	c total clause space: 886.764MB
1499.55/1499.80	c total #watches: 6957655
1561.94/1562.25	c total #propagations: 12851327 / total #impl: 4149269265 (eff. 0.003)
1561.94/1562.25	c #Conflicts:      54000 | #Learnt:      10123 | 0.001
1561.94/1562.25	c total clause space: 886.764MB
1561.94/1562.25	c total #watches: 7435534
1631.63/1631.97	c total #propagations: 13159691 / total #impl: 4242431998 (eff. 0.003)
1631.63/1631.97	c #Conflicts:      55000 | #Learnt:      11123 | 0.001
1631.63/1631.97	c total clause space: 886.764MB
1631.63/1631.97	c total #watches: 7782526
1666.73/1667.05	c total #propagations: 13471901 / total #impl: 4327549305 (eff. 0.003)
1666.73/1667.05	c GC COLLECT
1666.73/1667.05	c #Conflicts:      56000 | #Learnt:       6524 | 0.001
1666.73/1667.05	c total clause space: 886.764MB
1666.73/1667.05	c total #watches: 5619020
1710.52/1710.83	c total #propagations: 13750552 / total #impl: 4399273700 (eff. 0.003)
1710.52/1710.83	c #Conflicts:      57000 | #Learnt:       7524 | 0.001
1710.52/1710.83	c total clause space: 886.764MB
1710.52/1710.83	c total #watches: 5879560
1764.51/1764.82	c total #propagations: 14085943 / total #impl: 4475280741 (eff. 0.003)
1764.51/1764.82	c #Conflicts:      58000 | #Learnt:       8524 | 0.001
1764.51/1764.82	c total clause space: 886.764MB
1764.51/1764.82	c total #watches: 6067947

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-4088111-1465394607/watcher-4088111-1465394607 -o /tmp/evaluation-result-4088111-1465394607/solver-4088111-1465394607 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465387152-23596 --watchdog 1960 --input HOME/instance-4088111-1465394607.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=24703
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.07 2.14 2.08 3/176 24706
/proc/meminfo: memFree=30733760/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 121394009 29810688 5268 33554432000 4194304 6201397 140733260728592 140736046944696 5194148 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 7278 5268 130 491 0 6777 0

[startup+0.100148 s]
/proc/loadavg: 2.07 2.14 2.08 3/176 24706
/proc/meminfo: memFree=30733760/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=34516 CPUtime=0.09 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 1390 0 0 0 9 0 0 0 20 0 1 0 121394009 35344384 7546 33554432000 4194304 6201397 140733260728592 140736046944696 4207438 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 8629 7546 142 491 0 8128 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34516

[startup+0.200364 s]
/proc/loadavg: 2.07 2.14 2.08 3/176 24706
/proc/meminfo: memFree=30733760/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=42444 CPUtime=0.19 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 3208 0 0 0 19 0 0 0 20 0 1 0 121394009 43462656 9145 33554432000 4194304 6201397 140733260728592 140736046944696 5408672 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 10611 9145 143 491 0 10110 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42444

[startup+0.300364 s]
/proc/loadavg: 2.07 2.14 2.08 3/176 24706
/proc/meminfo: memFree=30733760/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=50936 CPUtime=0.29 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 4467 0 0 0 29 0 0 0 20 0 1 0 121394009 52158464 10452 33554432000 4194304 6201397 140733260728592 140736046944696 5091480 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 12734 10452 143 491 0 12233 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50936

[startup+0.700323 s]
/proc/loadavg: 2.07 2.14 2.08 3/176 24706
/proc/meminfo: memFree=30733760/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=85128 CPUtime=0.68 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 7328 0 0 0 68 0 0 0 20 0 1 0 121394009 87171072 16476 33554432000 4194304 6201397 140733260728592 140733260726728 5150858 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 21282 16478 143 491 0 20781 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 85128

[startup+1.50027 s]
/proc/loadavg: 2.07 2.14 2.08 3/177 24707
/proc/meminfo: memFree=30640632/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=123176 CPUtime=1.49 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 10319 0 0 0 147 2 0 0 20 0 1 0 121394009 126132224 27499 33554432000 4194304 6201397 140733260728592 140733260726728 5408672 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 30794 27499 143 491 0 30293 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 123176

[startup+3.10019 s]
/proc/loadavg: 2.07 2.14 2.08 3/177 24707
/proc/meminfo: memFree=30568520/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=183604 CPUtime=3.09 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 13661 0 0 0 306 3 0 0 20 0 1 0 121394009 188010496 44238 33554432000 4194304 6201397 140733260728592 140733260726872 4213110 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 45901 44238 160 491 0 45400 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 183604

[startup+6.30033 s]
/proc/loadavg: 2.15 2.16 2.09 3/177 24707
/proc/meminfo: memFree=30516488/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=267740 CPUtime=6.28 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 14600 0 0 0 625 3 0 0 20 0 1 0 121394009 274165760 50218 33554432000 4194304 6201397 140733260728592 140733260726872 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 66935 50218 160 491 0 66434 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 267740

[startup+12.7004 s]
/proc/loadavg: 2.21 2.17 2.09 3/177 24707
/proc/meminfo: memFree=30447220/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=275460 CPUtime=12.69 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 16557 0 0 0 1265 4 0 0 20 0 1 0 121394009 282071040 60862 33554432000 4194304 6201397 140733260728592 140733260726872 4214802 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 68865 60862 166 491 0 68364 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 275460

[startup+25.5004 s]
/proc/loadavg: 2.17 2.16 2.09 4/177 24707
/proc/meminfo: memFree=30356560/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=414508 CPUtime=25.49 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 18490 0 0 0 2544 5 0 0 20 0 1 0 121394009 424456192 71449 33554432000 4194304 6201397 140733260728592 140733260727160 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 103627 71449 166 491 0 103126 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 414508

[startup+51.1004 s]
/proc/loadavg: 2.17 2.16 2.09 3/177 24707
/proc/meminfo: memFree=30282196/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=418236 CPUtime=51.08 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 20260 0 0 0 5102 6 0 0 20 0 1 0 121394009 428273664 82396 33554432000 4194304 6201397 140733260728592 140733260727304 4214979 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 104559 82396 166 491 0 104058 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 418236

[startup+102.3 s]
/proc/loadavg: 2.23 2.18 2.10 3/177 24709
/proc/meminfo: memFree=30174632/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=437508 CPUtime=102.28 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 25261 0 0 0 10220 8 0 0 20 0 1 0 121394009 448008192 94551 33554432000 4194304 6201397 140733260728592 140733260726872 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 109377 94551 166 491 0 108876 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 437508

[startup+162.3 s]
/proc/loadavg: 2.14 2.16 2.09 3/177 24710
/proc/meminfo: memFree=30114816/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=441016 CPUtime=162.27 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 26305 0 0 0 16219 8 0 0 20 0 1 0 121394009 451600384 97128 33554432000 4194304 6201397 140733260728592 140733260727304 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 110254 97128 166 491 0 109753 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 441016

[startup+222.307 s]
/proc/loadavg: 2.05 2.13 2.09 3/177 24711
/proc/meminfo: memFree=30074784/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=443508 CPUtime=222.26 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 26955 0 0 0 22218 8 0 0 20 0 1 0 121394009 454152192 106976 33554432000 4194304 6201397 140733260728592 140733260727720 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 110877 106976 166 491 0 110376 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 443508

[startup+282.3 s]
/proc/loadavg: 2.17 2.15 2.09 3/177 24712
/proc/meminfo: memFree=30032084/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=658588 CPUtime=282.24 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 27218 0 0 0 28216 8 0 0 20 0 1 0 121394009 674394112 111288 33554432000 4194304 6201397 140733260728592 140733260727624 4217695 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 164647 111288 166 491 0 164146 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 658588

[startup+342.3 s]
/proc/loadavg: 2.16 2.15 2.09 3/177 24713
/proc/meminfo: memFree=30004348/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=658732 CPUtime=342.23 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 27663 0 0 0 34215 8 0 0 20 0 1 0 121394009 674541568 113486 33554432000 4194304 6201397 140733260728592 140733260727304 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 164683 113486 166 491 0 164182 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 658732

[startup+402.3 s]
/proc/loadavg: 2.21 2.16 2.10 3/178 24718
/proc/meminfo: memFree=29964424/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=658892 CPUtime=402.23 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 27777 0 0 0 40214 9 0 0 20 0 1 0 121394009 674705408 123275 33554432000 4194304 6201397 140733260728592 140733260727720 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 164723 123275 166 491 0 164222 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 658892

[startup+462.3 s]
/proc/loadavg: 2.15 2.15 2.09 3/177 24719
/proc/meminfo: memFree=29913240/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=660204 CPUtime=462.21 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 28200 0 0 0 46212 9 0 0 20 0 1 0 121394009 676048896 128294 33554432000 4194304 6201397 140733260728592 140733260726872 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 165051 128294 166 491 0 164550 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 660204

[startup+522.3 s]
/proc/loadavg: 2.26 2.17 2.10 3/177 24720
/proc/meminfo: memFree=29899352/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=661144 CPUtime=522.21 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 28481 0 0 0 52211 10 0 0 20 0 1 0 121394009 677011456 131129 33554432000 4194304 6201397 140733260728592 140733260727720 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 165286 131129 166 491 0 164785 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 661144

[startup+582.3 s]
/proc/loadavg: 2.18 2.16 2.10 3/177 24721
/proc/meminfo: memFree=29877636/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=661308 CPUtime=582.2 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 28553 0 0 0 58210 10 0 0 20 0 1 0 121394009 677179392 131200 33554432000 4194304 6201397 140733260728592 140733260727720 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 165327 131200 166 491 0 164826 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 661308


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


[startup+942.3 s]
/proc/loadavg: 2.14 2.19 2.12 3/177 24728
/proc/meminfo: memFree=29659388/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=668152 CPUtime=942.15 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 30320 0 0 0 94203 12 0 0 20 0 1 0 121394009 684187648 155962 33554432000 4194304 6201397 140733260728592 140733260727304 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 167038 155962 166 491 0 166537 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 668152

[startup+1002.3 s]
/proc/loadavg: 2.21 2.20 2.12 3/178 24733
/proc/meminfo: memFree=29559644/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=1031772 CPUtime=1002.14 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 34351 0 0 0 100200 14 0 0 20 0 1 0 121394009 1056534528 180121 33554432000 4194304 6201397 140733260728592 140733260727720 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 257943 180121 166 491 0 257442 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 1031772

[startup+1062.3 s]
/proc/loadavg: 2.11 2.17 2.12 3/177 24734
/proc/meminfo: memFree=29470276/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=1037700 CPUtime=1062.12 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 35851 0 0 0 106198 14 0 0 20 0 1 0 121394009 1062604800 187750 33554432000 4194304 6201397 140733260728592 140733260726872 4213110 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 259425 187750 166 491 0 258924 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1037700

[startup+1122.3 s]
/proc/loadavg: 2.09 2.15 2.11 3/177 24735
/proc/meminfo: memFree=29355580/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=1048468 CPUtime=1122.11 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 38689 0 0 0 112195 16 0 0 20 0 1 0 121394009 1073631232 215580 33554432000 4194304 6201397 140733260728592 140733260727720 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 262117 215580 166 491 0 261616 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1048468

[startup+1182.3 s]
/proc/loadavg: 2.19 2.17 2.12 3/177 24736
/proc/meminfo: memFree=29348584/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=1049964 CPUtime=1182.11 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 39111 0 0 0 118194 17 0 0 20 0 1 0 121394009 1075163136 216002 33554432000 4194304 6201397 140733260728592 140733260727720 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 262491 216002 166 491 0 261990 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 1049964

[startup+1242.3 s]
/proc/loadavg: 2.20 2.18 2.12 3/177 24737
/proc/meminfo: memFree=29311284/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=1052308 CPUtime=1242.1 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 39680 0 0 0 124193 17 0 0 20 0 1 0 121394009 1077563392 216571 33554432000 4194304 6201397 140733260728592 140733260727720 4218655 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 263077 216571 166 491 0 262576 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1052308

[startup+1302.3 s]
/proc/loadavg: 2.12 2.16 2.11 3/177 24739
/proc/meminfo: memFree=29307320/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=1056324 CPUtime=1302.08 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 40672 0 0 0 130191 17 0 0 20 0 1 0 121394009 1081675776 217563 33554432000 4194304 6201397 140733260728592 140733260726872 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 264081 217563 166 491 0 263580 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1056324

[startup+1362.3 s]
/proc/loadavg: 2.12 2.14 2.11 3/177 24740
/proc/meminfo: memFree=29258356/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=1059560 CPUtime=1362.08 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 41475 0 0 0 136190 18 0 0 20 0 1 0 121394009 1084989440 228075 33554432000 4194304 6201397 140733260728592 140733260726872 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 264890 228075 166 491 0 264389 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1059560

[startup+1422.3 s]
/proc/loadavg: 2.10 2.13 2.10 3/177 24741
/proc/meminfo: memFree=29241372/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=1060192 CPUtime=1422.07 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 41622 0 0 0 142189 18 0 0 20 0 1 0 121394009 1085636608 230266 33554432000 4194304 6201397 140733260728592 140733260727304 4216020 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 265048 230266 166 491 0 264547 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1060192

[startup+1482.3 s]
/proc/loadavg: 2.11 2.13 2.10 3/177 24742
/proc/meminfo: memFree=29216984/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=1060192 CPUtime=1482.06 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 41722 0 0 0 148188 18 0 0 20 0 1 0 121394009 1085636608 230366 33554432000 4194304 6201397 140733260728592 140733260727720 4219340 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 265048 230366 166 491 0 264547 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1060192

[startup+1542.31 s]
/proc/loadavg: 2.23 2.15 2.11 3/177 24743
/proc/meminfo: memFree=29216744/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=1060544 CPUtime=1542.05 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 41778 0 0 0 154187 18 0 0 20 0 1 0 121394009 1085997056 230422 33554432000 4194304 6201397 140733260728592 140733260727304 4213332 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 265136 230422 166 491 0 264635 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1060544

[startup+1602.3 s]
/proc/loadavg: 2.14 2.14 2.10 3/178 24748
/proc/meminfo: memFree=29215228/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=1060900 CPUtime=1602.04 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 41869 0 0 0 160186 18 0 0 20 0 1 0 121394009 1086361600 230513 33554432000 4194304 6201397 140733260728592 140733260727304 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 265225 230513 166 491 0 264724 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1060900

[startup+1662.3 s]
/proc/loadavg: 2.16 2.14 2.10 3/177 24749
/proc/meminfo: memFree=29212700/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=1061432 CPUtime=1662.03 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 42018 0 0 0 166185 18 0 0 20 0 1 0 121394009 1086906368 230662 33554432000 4194304 6201397 140733260728592 140733260727304 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 265358 230662 166 491 0 264857 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1061432

[startup+1722.3 s]
/proc/loadavg: 2.17 2.14 2.10 3/177 24750
/proc/meminfo: memFree=29184456/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=1061432 CPUtime=1722.02 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 42026 0 0 0 172184 18 0 0 20 0 1 0 121394009 1086906368 230797 33554432000 4194304 6201397 140733260728592 140733260727720 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 265358 230797 166 491 0 264857 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1061432

[startup+1782.3 s]
/proc/loadavg: 2.20 2.15 2.10 3/177 24751
/proc/meminfo: memFree=29182804/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=1061432 CPUtime=1782.01 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 42027 0 0 0 178183 18 0 0 20 0 1 0 121394009 1086906368 230952 33554432000 4194304 6201397 140733260728592 140733260727720 5304824 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 265358 230952 166 491 0 264857 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1061432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.14 2.14 2.09 3/177 24797
/proc/meminfo: memFree=29723144/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=1061432 CPUtime=1800.01 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 42047 0 0 0 179983 18 0 0 20 0 1 0 121394009 1086906368 230972 33554432000 4194304 6201397 140733260728592 140733260727720 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 265358 230972 166 491 0 264857 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1061432

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 24706 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.14 2.14 2.09 3/177 24797
/proc/meminfo: memFree=29723144/32872528 swapFree=11320/319964
[pid=24706] ppid=24703 vsize=1061432 CPUtime=1800.01 cores=1,3,5,7
/proc/24706/stat : 24706 (cdcl-cuttingpla) R 24703 24706 23579 0 -1 4202496 42047 0 0 0 179983 18 0 0 20 0 1 0 121394009 1086906368 230972 33554432000 4194304 6201397 140733260728592 140733260727720 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 265358 230972 166 491 0 264857 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1061432

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.83
CPU system time (s): 0.19297
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 1061432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.19297
maximum resident set size= 923888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42047
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= 15
involuntary context switches= 3661

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.76328 second user time and 7.49086 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-08 16:03:27
IDJOB=4088111
IDBENCH=1973
IDSOLVER=2550
FILE ID=node128/4088111-1465394607
RUNJOBID= node128-1465387152-23596
PBS_JOBID= 19853857
Free space on /tmp= 71712 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_14.opb.PB06.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088111-1465394607/watcher-4088111-1465394607 -o /tmp/evaluation-result-4088111-1465394607/solver-4088111-1465394607 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465387152-23596 --watchdog 1960 --input HOME/instance-4088111-1465394607.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 13c1b3915f4d316b882a7e551b1f0496
RANDOM SEED=141574385

node128.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.486
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	: 5332.97
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.486
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.486
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.486
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.486
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.486
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.56
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.486
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.486
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30734588 kB
Buffers:          150656 kB
Cached:           663496 kB
SwapCached:         1660 kB
Active:           461940 kB
Inactive:         600364 kB
Active(anon):     248148 kB
Inactive(anon):     2136 kB
Active(file):     213792 kB
Inactive(file):   598228 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098544 kB
Dirty:             38460 kB
Writeback:             0 kB
AnonPages:        567588 kB
Mapped:             7860 kB
Shmem:                 0 kB
Slab:             625240 kB
SReclaimable:      68236 kB
SUnreclaim:       557004 kB
KernelStack:        1448 kB
PageTables:         5064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     717252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    499712 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= 71728 MiB
End job on node128 at 2016-06-08 16:33:28