Trace number 4087453

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 binary search 2016-05-01? (TO) 1800.11 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
MD5SUM99680d01aa100bfba038606e315bf03d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark319
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 431
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 497468
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 497468
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.69/0.73	c * #variable= 10000 #constraint= 656900
2.09/2.10	c * #variable= 10000 #constraint= 656900
4.89/4.96	c S1->S2
4.89/4.96	c S1->S2
4.89/4.96	c S1->S2
4.89/4.96	c S1->S2
4.89/4.96	c #Conflicts:       1000 | #Learnt:       1003 | 0.002
4.89/4.96	c total clause space: 127.173MB
4.89/4.96	c total #watches: 1494884
12.49/12.53	c total #propagations: 205324 / total #impl: 5387151 (eff. 0.038)
12.49/12.53	c #Conflicts:       2000 | #Learnt:       2003 | 0.003
12.49/12.53	c total clause space: 206.656MB
12.49/12.53	c total #watches: 2101529
23.58/23.60	c total #propagations: 394369 / total #impl: 83559628 (eff. 0.005)
23.58/23.60	c GC COLLECT
23.58/23.60	c #Conflicts:       3000 | #Learnt:       2012 | 0.002
23.58/23.60	c total clause space: 206.656MB
23.58/23.60	c total #watches: 2547346
43.28/43.32	c total #propagations: 575029 / total #impl: 230267872 (eff. 0.002)
43.28/43.32	c #Conflicts:       4000 | #Learnt:       3012 | 0.002
43.28/43.32	c total clause space: 335.816MB
43.28/43.32	c total #watches: 4108293
67.88/67.94	c total #propagations: 858563 / total #impl: 469881389 (eff. 0.002)
67.88/67.94	c GC COLLECT
67.88/67.94	c #Conflicts:       5000 | #Learnt:       2361 | 0.001
67.88/67.94	c total clause space: 335.816MB
67.88/67.94	c total #watches: 4420880
91.08/91.17	c total #propagations: 1122038 / total #impl: 710904499 (eff. 0.002)
91.08/91.17	c #Conflicts:       6000 | #Learnt:       3361 | 0.001
91.08/91.17	c total clause space: 335.816MB
91.08/91.17	c total #watches: 5083972
115.17/115.21	c total #propagations: 1445243 / total #impl: 929532672 (eff. 0.002)
115.17/115.21	c GC COLLECT
115.17/115.21	c #Conflicts:       7000 | #Learnt:       2240 | 0.002
115.17/115.21	c total clause space: 545.701MB
115.17/115.21	c total #watches: 3693062
132.47/132.59	c total #propagations: 1729710 / total #impl: 1219651054 (eff. 0.001)
132.47/132.59	c #Conflicts:       8000 | #Learnt:       3240 | 0.002
132.47/132.59	c total clause space: 545.701MB
132.47/132.59	c total #watches: 4234657
162.06/162.12	c total #propagations: 1975411 / total #impl: 1559183563 (eff. 0.001)
162.06/162.12	c #Conflicts:       9000 | #Learnt:       4240 | 0.002
162.06/162.12	c total clause space: 545.701MB
162.06/162.12	c total #watches: 4921491
202.66/202.77	c total #propagations: 2235010 / total #impl: 1845739974 (eff. 0.001)
202.66/202.77	c GC COLLECT
202.66/202.77	c #Conflicts:      10000 | #Learnt:       2725 | 0.002
202.66/202.77	c total clause space: 545.701MB
202.66/202.77	c total #watches: 4132924
231.46/231.56	c total #propagations: 2510604 / total #impl: 2192570400 (eff. 0.001)
231.46/231.56	c #Conflicts:      11000 | #Learnt:       3725 | 0.002
231.46/231.56	c total clause space: 545.701MB
231.46/231.56	c total #watches: 4653587
276.06/276.16	c total #propagations: 2832652 / total #impl: 2423358816 (eff. 0.001)
276.06/276.16	c #Conflicts:      12000 | #Learnt:       4725 | 0.002
276.06/276.16	c total clause space: 545.701MB
276.06/276.16	c total #watches: 5133042
320.84/320.94	c total #propagations: 3215994 / total #impl: 2680566330 (eff. 0.001)
320.84/320.94	c #Conflicts:      13000 | #Learnt:       5725 | 0.002
320.84/320.94	c total clause space: 545.701MB
320.84/320.94	c total #watches: 5977432
345.63/345.79	c total #propagations: 3531245 / total #impl: 2968270621 (eff. 0.001)
345.63/345.79	c GC COLLECT
345.63/345.79	c #Conflicts:      14000 | #Learnt:       3866 | 0.002
345.63/345.79	c total clause space: 545.701MB
345.63/345.79	c total #watches: 4508732
368.24/368.32	c total #propagations: 3840302 / total #impl: 3199469498 (eff. 0.001)
368.24/368.32	c #Conflicts:      15000 | #Learnt:       4866 | 0.001
368.24/368.32	c total clause space: 545.701MB
368.24/368.32	c total #watches: 4923861
394.13/394.29	c total #propagations: 4202638 / total #impl: 3352824765 (eff. 0.001)
394.13/394.29	c #Conflicts:      16000 | #Learnt:       5866 | 0.001
394.13/394.29	c total clause space: 545.701MB
394.13/394.29	c total #watches: 5444845
418.23/418.33	c total #propagations: 4465316 / total #impl: 3559152863 (eff. 0.001)
418.23/418.33	c GC COLLECT
418.23/418.33	c #Conflicts:      17000 | #Learnt:       3697 | 0.001
418.23/418.33	c total clause space: 545.701MB
418.23/418.33	c total #watches: 4053454
435.53/435.67	c total #propagations: 4763240 / total #impl: 3788874176 (eff. 0.001)
435.53/435.67	c #Conflicts:      18000 | #Learnt:       4697 | 0.003
435.53/435.67	c total clause space: 545.701MB
435.53/435.67	c total #watches: 4493131
452.03/452.15	c total #propagations: 5070544 / total #impl: 4034170716 (eff. 0.001)
452.03/452.15	c #Conflicts:      19000 | #Learnt:       5697 | 0.002
452.03/452.15	c total clause space: 545.701MB
452.03/452.15	c total #watches: 5126538
483.61/483.78	c total #propagations: 5237090 / total #impl: 4231734210 (eff. 0.001)
483.61/483.78	c #Conflicts:      20000 | #Learnt:       6697 | 0.002
483.61/483.78	c total clause space: 545.701MB
483.61/483.78	c total #watches: 5676060
510.71/510.81	c total #propagations: 5533617 / total #impl: 4463259339 (eff. 0.001)
510.71/510.81	c GC COLLECT
510.71/510.81	c #Conflicts:      21000 | #Learnt:       4212 | 0.002
510.71/510.81	c total clause space: 545.701MB
510.71/510.81	c total #watches: 4586715
535.30/535.40	c total #propagations: 5844500 / total #impl: 4657805058 (eff. 0.001)
535.30/535.40	c #Conflicts:      22000 | #Learnt:       5212 | 0.002
535.30/535.40	c total clause space: 545.701MB
535.30/535.40	c total #watches: 4913514
563.10/563.28	c total #propagations: 6162403 / total #impl: 4884296375 (eff. 0.001)
563.10/563.28	c #Conflicts:      23000 | #Learnt:       6212 | 0.002
563.10/563.28	c total clause space: 545.701MB
563.10/563.28	c total #watches: 5473645
599.39/599.54	c total #propagations: 6360660 / total #impl: 5119079786 (eff. 0.001)
599.39/599.54	c #Conflicts:      24000 | #Learnt:       7212 | 0.002
599.39/599.54	c total clause space: 545.701MB
599.39/599.54	c total #watches: 6038318
633.27/633.47	c total #propagations: 6616777 / total #impl: 5390304587 (eff. 0.001)
633.27/633.47	c GC COLLECT
633.27/633.47	c #Conflicts:      25000 | #Learnt:       4413 | 0.002
633.27/633.47	c total clause space: 545.701MB
633.27/633.47	c total #watches: 4588752
652.67/652.86	c total #propagations: 6907616 / total #impl: 5660336625 (eff. 0.001)
652.67/652.86	c #Conflicts:      26000 | #Learnt:       5413 | 0.002
652.67/652.86	c total clause space: 545.701MB
652.67/652.86	c total #watches: 5025444
670.27/670.49	c total #propagations: 7098597 / total #impl: 5863582453 (eff. 0.001)
670.27/670.49	c #Conflicts:      27000 | #Learnt:       6413 | 0.002
670.27/670.49	c total clause space: 545.701MB
670.27/670.49	c total #watches: 5638195
709.36/709.57	c total #propagations: 7235968 / total #impl: 6108355413 (eff. 0.001)
709.36/709.57	c #Conflicts:      28000 | #Learnt:       7413 | 0.002
709.36/709.57	c total clause space: 886.764MB
709.36/709.57	c total #watches: 6130483
748.45/748.63	c total #propagations: 7435656 / total #impl: 6373846701 (eff. 0.001)
748.45/748.63	c GC COLLECT
748.45/748.63	c #Conflicts:      29000 | #Learnt:       4315 | 0.002
748.45/748.63	c total clause space: 886.764MB
748.45/748.63	c total #watches: 4652193
780.75/780.92	c total #propagations: 7638286 / total #impl: 6696690327 (eff. 0.001)
780.75/780.92	c #Conflicts:      30000 | #Learnt:       5315 | 0.002
780.75/780.92	c total clause space: 886.764MB
780.75/780.92	c total #watches: 5102523
815.54/815.72	c total #propagations: 7879660 / total #impl: 7071874735 (eff. 0.001)
815.54/815.72	c #Conflicts:      31000 | #Learnt:       6315 | 0.002
815.54/815.72	c total clause space: 886.764MB
815.54/815.72	c total #watches: 5549618
861.73/861.91	c total #propagations: 8089348 / total #impl: 7435339969 (eff. 0.001)
861.73/861.91	c #Conflicts:      32000 | #Learnt:       7315 | 0.002
861.73/861.91	c total clause space: 886.764MB
861.73/861.91	c total #watches: 5828242
906.53/906.76	c total #propagations: 8441998 / total #impl: 7565930068 (eff. 0.001)
906.53/906.76	c #Conflicts:      33000 | #Learnt:       8315 | 0.001
906.53/906.76	c total clause space: 886.764MB
906.53/906.76	c total #watches: 6105935
937.72/937.95	c total #propagations: 8799197 / total #impl: 7704036591 (eff. 0.001)
937.72/937.95	c GC COLLECT
937.72/937.95	c #Conflicts:      34000 | #Learnt:       4915 | 0.002
937.72/937.95	c total clause space: 886.764MB
937.72/937.95	c total #watches: 4447159
963.22/963.44	c total #propagations: 9023939 / total #impl: 7854250912 (eff. 0.001)
963.22/963.44	c #Conflicts:      35000 | #Learnt:       5915 | 0.006
963.22/963.44	c total clause space: 886.764MB
963.22/963.44	c total #watches: 4911871
993.92/994.15	c total #propagations: 9317344 / total #impl: 7939110044 (eff. 0.001)
993.92/994.15	c #Conflicts:      36000 | #Learnt:       6915 | 0.006
993.92/994.15	c total clause space: 886.764MB
993.92/994.15	c total #watches: 5402015
1019.72/1019.95	c total #propagations: 9600457 / total #impl: 8043257507 (eff. 0.001)
1019.72/1019.95	c #Conflicts:      37000 | #Learnt:       7915 | 0.006
1019.72/1019.95	c total clause space: 886.764MB
1019.72/1019.95	c total #watches: 5842945
1049.41/1049.68	c total #propagations: 9861179 / total #impl: 8169133790 (eff. 0.001)
1049.41/1049.68	c #Conflicts:      38000 | #Learnt:       8915 | 0.006
1049.41/1049.68	c total clause space: 886.764MB
1049.41/1049.68	c total #watches: 6314164
1076.21/1076.42	c total #propagations: 10112741 / total #impl: 8297696082 (eff. 0.001)
1076.21/1076.42	c GC COLLECT
1076.21/1076.42	c #Conflicts:      39000 | #Learnt:       5215 | 0.006
1076.21/1076.42	c total clause space: 886.764MB
1076.21/1076.42	c total #watches: 4729232
1096.10/1096.30	c total #propagations: 10402454 / total #impl: 8432675586 (eff. 0.001)
1096.10/1096.30	c #Conflicts:      40000 | #Learnt:       6215 | 0.006
1096.10/1096.30	c total clause space: 886.764MB
1096.10/1096.30	c total #watches: 5017495
1117.70/1117.93	c total #propagations: 10707707 / total #impl: 8586237638 (eff. 0.001)
1117.70/1117.93	c #Conflicts:      41000 | #Learnt:       7215 | 0.006
1117.70/1117.93	c total clause space: 886.764MB
1117.70/1117.93	c total #watches: 5386638
1135.60/1135.83	c total #propagations: 10953417 / total #impl: 8731336210 (eff. 0.001)
1135.60/1135.83	c #Conflicts:      42000 | #Learnt:       8215 | 0.005
1135.60/1135.83	c total clause space: 886.764MB
1135.60/1135.83	c total #watches: 5754941
1158.39/1158.69	c total #propagations: 11117738 / total #impl: 8865095489 (eff. 0.001)
1158.39/1158.69	c #Conflicts:      43000 | #Learnt:       9215 | 0.005
1158.39/1158.69	c total clause space: 886.764MB
1158.39/1158.69	c total #watches: 6043380
1181.09/1181.32	c total #propagations: 11402714 / total #impl: 9039560485 (eff. 0.001)
1181.09/1181.32	c GC COLLECT
1181.09/1181.32	c #Conflicts:      44000 | #Learnt:       5215 | 0.005
1181.09/1181.32	c total clause space: 886.764MB
1181.09/1181.32	c total #watches: 4168652
1203.89/1204.18	c total #propagations: 11548206 / total #impl: 9209947059 (eff. 0.001)
1203.89/1204.18	c #Conflicts:      45000 | #Learnt:       6215 | 0.005
1203.89/1204.18	c total clause space: 886.764MB
1203.89/1204.18	c total #watches: 4608513
1237.98/1238.26	c total #propagations: 11756799 / total #impl: 9468379939 (eff. 0.001)
1237.98/1238.26	c #Conflicts:      46000 | #Learnt:       7215 | 0.005
1237.98/1238.26	c total clause space: 886.764MB
1237.98/1238.26	c total #watches: 5221210
1283.27/1283.56	c total #propagations: 12034874 / total #impl: 9620398548 (eff. 0.001)
1283.27/1283.56	c #Conflicts:      47000 | #Learnt:       8215 | 0.006
1283.27/1283.56	c total clause space: 886.764MB
1283.27/1283.56	c total #watches: 5692953
1316.87/1317.15	c total #propagations: 12324192 / total #impl: 9726589589 (eff. 0.001)
1316.87/1317.15	c #Conflicts:      48000 | #Learnt:       9215 | 0.006
1316.87/1317.15	c total clause space: 886.764MB
1316.87/1317.15	c total #watches: 6111331
1375.56/1375.86	c total #propagations: 12514152 / total #impl: 9838903139 (eff. 0.001)
1375.56/1375.86	c #Conflicts:      49000 | #Learnt:      10215 | 0.006
1375.56/1375.86	c total clause space: 886.764MB
1375.56/1375.86	c total #watches: 6465003
1421.35/1421.66	c total #propagations: 12788820 / total #impl: 9985414945 (eff. 0.001)
1421.35/1421.66	c GC COLLECT
1421.35/1421.66	c #Conflicts:      50000 | #Learnt:       5908 | 0.005
1421.35/1421.66	c total clause space: 886.764MB
1421.35/1421.66	c total #watches: 5016479
1452.25/1452.51	c total #propagations: 13091173 / total #impl: 10135697043 (eff. 0.001)
1452.25/1452.51	c #Conflicts:      51000 | #Learnt:       6908 | 0.005
1452.25/1452.51	c total clause space: 886.764MB
1452.25/1452.51	c total #watches: 5259432
1480.35/1480.68	c total #propagations: 13357376 / total #impl: 10271047793 (eff. 0.001)
1480.35/1480.68	c #Conflicts:      52000 | #Learnt:       7908 | 0.005
1480.35/1480.68	c total clause space: 886.764MB
1480.35/1480.68	c total #watches: 5598848
1506.85/1507.15	c total #propagations: 13586343 / total #impl: 10388436439 (eff. 0.001)
1506.85/1507.15	c #Conflicts:      53000 | #Learnt:       8908 | 0.005
1506.85/1507.15	c total clause space: 886.764MB
1506.85/1507.15	c total #watches: 5861976
1552.83/1553.15	c total #propagations: 13798422 / total #impl: 10522860292 (eff. 0.001)
1552.83/1553.15	c #Conflicts:      54000 | #Learnt:       9908 | 0.005
1552.83/1553.15	c total clause space: 886.764MB
1552.83/1553.15	c total #watches: 6212673
1603.33/1603.68	c total #propagations: 14043193 / total #impl: 10650151680 (eff. 0.001)
1603.33/1603.68	c #Conflicts:      55000 | #Learnt:      10908 | 0.005
1603.33/1603.68	c total clause space: 886.764MB
1603.33/1603.68	c total #watches: 6360098
1631.03/1631.36	c total #propagations: 14333963 / total #impl: 10752114486 (eff. 0.001)
1631.03/1631.36	c GC COLLECT
1631.03/1631.36	c #Conflicts:      56000 | #Learnt:       6305 | 0.005
1631.03/1631.36	c total clause space: 886.764MB
1631.03/1631.36	c total #watches: 4212021
1665.71/1666.05	c total #propagations: 14575360 / total #impl: 10845062978 (eff. 0.001)
1665.71/1666.05	c #Conflicts:      57000 | #Learnt:       7305 | 0.005
1665.71/1666.05	c total clause space: 886.764MB
1665.71/1666.05	c total #watches: 4692842
1700.21/1700.51	c total #propagations: 14835500 / total #impl: 11005639909 (eff. 0.001)
1700.21/1700.51	c #Conflicts:      58000 | #Learnt:       8305 | 0.005
1700.21/1700.51	c total clause space: 886.764MB
1700.21/1700.51	c total #watches: 5160532
1732.60/1732.96	c total #propagations: 15038205 / total #impl: 11151774868 (eff. 0.001)
1732.60/1732.96	c #Conflicts:      59000 | #Learnt:       9305 | 0.005
1732.60/1732.96	c total clause space: 886.764MB
1732.60/1732.96	c total #watches: 5507765
1766.80/1767.13	c total #propagations: 15223168 / total #impl: 11334281647 (eff. 0.001)
1766.80/1767.13	c #Conflicts:      60000 | #Learnt:      10305 | 0.005
1766.80/1767.13	c total clause space: 886.764MB
1766.80/1767.13	c total #watches: 5921648
1795.69/1796.03	c total #propagations: 15415396 / total #impl: 11530265698 (eff. 0.001)
1795.69/1796.03	c #Conflicts:      61000 | #Learnt:      11305 | 0.005
1795.69/1796.03	c total clause space: 886.764MB
1795.69/1796.03	c total #watches: 6489900

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-4087453-1465394906/watcher-4087453-1465394906 -o /tmp/evaluation-result-4087453-1465394906/solver-4087453-1465394906 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465387701-7080 --watchdog 1960 --input HOME/instance-4087453-1465394906.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=7698
running on 4 cores: 0,2,4,6

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.16 2.23 2.19 4/176 7701
/proc/meminfo: memFree=29207648/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 258 0 0 0 0 0 0 0 20 0 1 0 121423890 57319424 7804 33554432000 4194304 6211289 140735106715696 140735920647672 4206551 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 13994 7804 98 493 0 13491 0

[startup+0.100217 s]
/proc/loadavg: 2.16 2.23 2.19 4/176 7701
/proc/meminfo: memFree=29207648/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=59556 CPUtime=0.09 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 1114 0 0 0 9 0 0 0 20 0 1 0 121423890 60985344 11541 33554432000 4194304 6211289 140735106715696 140735920647672 5418912 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 14889 11541 121 493 0 14386 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59556

[startup+0.20037 s]
/proc/loadavg: 2.16 2.23 2.19 4/176 7701
/proc/meminfo: memFree=29207648/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=62620 CPUtime=0.19 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 1448 0 0 0 19 0 0 0 20 0 1 0 121423890 64122880 12130 33554432000 4194304 6211289 140735106715696 140735920647672 5418912 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 15655 12131 121 493 0 15152 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 62620

[startup+0.300331 s]
/proc/loadavg: 2.16 2.23 2.19 4/176 7701
/proc/meminfo: memFree=29207648/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=68752 CPUtime=0.29 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 1866 0 0 0 28 1 0 0 20 0 1 0 121423890 70402048 13059 33554432000 4194304 6211289 140735106715696 140735920647672 5418912 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 17188 13059 121 493 0 16685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68752

[startup+0.700254 s]
/proc/loadavg: 2.16 2.23 2.19 4/176 7701
/proc/meminfo: memFree=29207648/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=81012 CPUtime=0.69 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 2879 0 0 0 68 1 0 0 20 0 1 0 121423890 82956288 15094 33554432000 4194304 6211289 140735106715696 140735920647672 5418912 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 20253 15094 121 493 0 19750 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81012

[startup+1.50031 s]
/proc/loadavg: 2.16 2.23 2.19 4/177 7702
/proc/meminfo: memFree=29075704/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=201572 CPUtime=1.49 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 5976 0 0 0 145 4 0 0 20 0 1 0 121423890 206409728 39653 33554432000 4194304 6211289 140735106715696 140735106713160 4228081 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 50393 39654 144 493 0 49890 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 201572

[startup+3.10026 s]
/proc/loadavg: 2.16 2.23 2.19 4/177 7702
/proc/meminfo: memFree=28995120/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=351380 CPUtime=3.08 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 10613 0 0 0 302 6 0 0 20 0 1 0 121423890 359813120 72786 33554432000 4194304 6211289 140735106715696 140735106713576 4258990 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 87845 72786 144 493 0 87342 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 351380

[startup+6.30019 s]
/proc/loadavg: 2.23 2.24 2.20 4/177 7702
/proc/meminfo: memFree=28746816/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=564244 CPUtime=6.28 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 11786 0 0 0 618 10 0 0 20 0 1 0 121423890 577785856 116762 33554432000 4194304 6211289 140735106715696 140735106713928 4241818 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 141061 116762 214 493 0 140558 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 564244

[startup+12.7003 s]
/proc/loadavg: 2.21 2.24 2.20 3/177 7748
/proc/meminfo: memFree=29227288/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=564244 CPUtime=12.69 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 12157 0 0 0 1258 11 0 0 20 0 1 0 121423890 577785856 125710 33554432000 4194304 6211289 140735106715696 140735106713928 5158319 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 141061 125710 214 493 0 140558 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 564244

[startup+25.5004 s]
/proc/loadavg: 2.16 2.22 2.19 4/177 7748
/proc/meminfo: memFree=29133636/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=566088 CPUtime=25.48 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 12621 0 0 0 2537 11 0 0 20 0 1 0 121423890 579674112 129751 33554432000 4194304 6211289 140735106715696 140735106713688 4244738 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 141522 129751 219 493 0 141019 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 566088

[startup+51.1003 s]
/proc/loadavg: 2.30 2.25 2.20 3/177 7748
/proc/meminfo: memFree=28961212/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=726808 CPUtime=51.08 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 20536 0 0 0 5094 14 0 0 20 0 1 0 121423890 744251392 159830 33554432000 4194304 6211289 140735106715696 140735106713608 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 181702 159830 219 493 0 181199 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 726808

[startup+102.3 s]
/proc/loadavg: 2.28 2.26 2.20 3/178 7752
/proc/meminfo: memFree=28845824/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=731596 CPUtime=102.28 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 21785 0 0 0 10213 15 0 0 20 0 1 0 121423890 749154304 172321 33554432000 4194304 6211289 140735106715696 140735106713688 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 182899 172321 219 493 0 182396 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 731596

[startup+162.3 s]
/proc/loadavg: 2.28 2.27 2.21 4/177 7754
/proc/meminfo: memFree=28737016/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=949380 CPUtime=162.26 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 23019 0 0 0 16209 17 0 0 20 0 1 0 121423890 972165120 180399 33554432000 4194304 6211289 140735106715696 140735106714040 4243419 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 237345 180399 219 493 0 236842 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 949380

[startup+222.307 s]
/proc/loadavg: 2.32 2.28 2.21 3/177 7755
/proc/meminfo: memFree=28666272/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=950324 CPUtime=222.26 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 23288 0 0 0 22208 18 0 0 20 0 1 0 121423890 973131776 195981 33554432000 4194304 6211289 140735106715696 140735106714040 4241818 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 237581 195981 219 493 0 237078 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 950324

[startup+282.3 s]
/proc/loadavg: 2.27 2.27 2.21 3/177 7756
/proc/meminfo: memFree=28624372/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=950324 CPUtime=282.25 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 23359 0 0 0 28206 19 0 0 20 0 1 0 121423890 973131776 196563 33554432000 4194304 6211289 140735106715696 140735106714040 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 237581 196563 219 493 0 237078 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 950324

[startup+342.3 s]
/proc/loadavg: 2.28 2.26 2.21 4/177 7757
/proc/meminfo: memFree=28532900/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=958976 CPUtime=342.23 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 25497 0 0 0 34204 19 0 0 20 0 1 0 121423890 981991424 208921 33554432000 4194304 6211289 140735106715696 140735106714040 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 239744 208921 219 493 0 239241 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 958976

[startup+402.3 s]
/proc/loadavg: 2.13 2.23 2.20 4/176 7758
/proc/meminfo: memFree=28507284/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=959344 CPUtime=402.23 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 25605 0 0 0 40203 20 0 0 20 0 1 0 121423890 982368256 209027 33554432000 4194304 6211289 140735106715696 140735106713688 4209384 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 239836 209027 219 493 0 239333 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 959344

[startup+462.3 s]
/proc/loadavg: 2.18 2.23 2.19 3/177 7761
/proc/meminfo: memFree=28478808/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=959504 CPUtime=462.22 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 25702 0 0 0 46202 20 0 0 20 0 1 0 121423890 982532096 209172 33554432000 4194304 6211289 140735106715696 140735106714040 4209244 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 239876 209172 219 493 0 239373 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 959504

[startup+522.3 s]
/proc/loadavg: 2.25 2.24 2.20 4/177 7762
/proc/meminfo: memFree=28468652/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=961584 CPUtime=522.2 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 26220 0 0 0 52200 20 0 0 20 0 1 0 121423890 984662016 211729 33554432000 4194304 6211289 140735106715696 140735106714040 4202026 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 240396 211729 219 493 0 239893 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 961584

[startup+582.3 s]
/proc/loadavg: 2.34 2.27 2.21 4/177 7763
/proc/meminfo: memFree=28440516/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=964636 CPUtime=582.18 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 26977 0 0 0 58198 20 0 0 20 0 1 0 121423890 987787264 219114 33554432000 4194304 6211289 140735106715696 140735106713688 4209515 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 241159 219114 219 493 0 240656 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 964636


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


[startup+882.307 s]
/proc/loadavg: 2.14 2.23 2.19 4/177 7772
/proc/meminfo: memFree=28234064/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=1328608 CPUtime=882.14 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 31209 0 0 0 88192 22 0 0 20 0 1 0 121423890 1360494592 251059 33554432000 4194304 6211289 140735106715696 140735106714040 4209403 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 332152 251059 219 493 0 331649 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 1328608

[startup+942.3 s]
/proc/loadavg: 2.29 2.26 2.20 3/177 7773
/proc/meminfo: memFree=28221148/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=1328784 CPUtime=942.12 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 31366 0 0 0 94190 22 0 0 20 0 1 0 121423890 1360674816 251210 33554432000 4194304 6211289 140735106715696 140735106714040 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 332196 251210 219 493 0 331693 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 1328784

[startup+1002.3 s]
/proc/loadavg: 2.24 2.25 2.20 3/177 7774
/proc/meminfo: memFree=28158712/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=1328784 CPUtime=1002.12 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 31381 0 0 0 100189 23 0 0 20 0 1 0 121423890 1360674816 251225 33554432000 4194304 6211289 140735106715696 140735106714040 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 332196 251225 219 493 0 331693 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 1328784

[startup+1062.3 s]
/proc/loadavg: 2.16 2.23 2.20 4/177 7776
/proc/meminfo: memFree=28156264/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=1329756 CPUtime=1062.11 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 31692 0 0 0 106188 23 0 0 20 0 1 0 121423890 1361670144 251536 33554432000 4194304 6211289 140735106715696 140735106713688 4209403 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 332439 251536 219 493 0 331936 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 1329756

[startup+1122.3 s]
/proc/loadavg: 2.27 2.25 2.20 3/177 7777
/proc/meminfo: memFree=28154132/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=1330108 CPUtime=1122.1 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 31782 0 0 0 112187 23 0 0 20 0 1 0 121423890 1362030592 252029 33554432000 4194304 6211289 140735106715696 140735106713608 4241818 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 332527 252029 219 493 0 332024 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1330108

[startup+1182.3 s]
/proc/loadavg: 2.18 2.23 2.19 3/177 7778
/proc/meminfo: memFree=28136012/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=1330628 CPUtime=1182.09 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 32006 0 0 0 118186 23 0 0 20 0 1 0 121423890 1362563072 252764 33554432000 4194304 6211289 140735106715696 140735106714040 4240863 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 332657 252764 219 493 0 332154 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1330628

[startup+1242.3 s]
/proc/loadavg: 2.15 2.21 2.19 3/177 7779
/proc/meminfo: memFree=28119336/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=1331060 CPUtime=1242.08 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 32077 0 0 0 124185 23 0 0 20 0 1 0 121423890 1363005440 252835 33554432000 4194304 6211289 140735106715696 140735106714040 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 332765 252835 219 493 0 332262 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1331060

[startup+1302.3 s]
/proc/loadavg: 2.19 2.22 2.18 3/178 7783
/proc/meminfo: memFree=28118596/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=1331620 CPUtime=1302.07 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 32276 0 0 0 130184 23 0 0 20 0 1 0 121423890 1363578880 253034 33554432000 4194304 6211289 140735106715696 140735106714040 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 332905 253034 219 493 0 332402 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1331620

[startup+1362.3 s]
/proc/loadavg: 2.12 2.19 2.18 3/177 7785
/proc/meminfo: memFree=28097564/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=1332396 CPUtime=1362.05 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 32447 0 0 0 136182 23 0 0 20 0 1 0 121423890 1364373504 258315 33554432000 4194304 6211289 140735106715696 140735106713688 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 333099 258315 219 493 0 332596 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1332396

[startup+1422.3 s]
/proc/loadavg: 2.12 2.18 2.17 4/177 7786
/proc/meminfo: memFree=28052660/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=1333340 CPUtime=1422.06 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 32718 0 0 0 142182 24 0 0 20 0 1 0 121423890 1365340160 267784 33554432000 4194304 6211289 140735106715696 140735106714040 4209501 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 333335 267784 219 493 0 332832 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1333340

[startup+1482.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/177 7787
/proc/meminfo: memFree=28050120/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=1333500 CPUtime=1482.04 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 32743 0 0 0 148180 24 0 0 20 0 1 0 121423890 1365504000 267809 33554432000 4194304 6211289 140735106715696 140735106714040 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 333375 267809 219 493 0 332872 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1333500

[startup+1542.31 s]
/proc/loadavg: 2.13 2.17 2.17 3/177 7788
/proc/meminfo: memFree=28049632/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=1333644 CPUtime=1542.04 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 32823 0 0 0 154180 24 0 0 20 0 1 0 121423890 1365651456 267889 33554432000 4194304 6211289 140735106715696 140735106713688 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 333411 267889 219 493 0 332908 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1333644

[startup+1602.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/177 7789
/proc/meminfo: memFree=28029832/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=1334152 CPUtime=1602.02 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 32963 0 0 0 160178 24 0 0 20 0 1 0 121423890 1366171648 273139 33554432000 4194304 6211289 140735106715696 140735106713688 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 333538 273139 219 493 0 333035 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1334152

[startup+1662.3 s]
/proc/loadavg: 2.30 2.22 2.19 3/177 7791
/proc/meminfo: memFree=27949424/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=1334632 CPUtime=1662.01 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 33076 0 0 0 166176 25 0 0 20 0 1 0 121423890 1366663168 278873 33554432000 4194304 6211289 140735106715696 140735106713608 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 333658 278873 219 493 0 333155 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1334632

[startup+1722.3 s]
/proc/loadavg: 2.37 2.25 2.20 3/177 7792
/proc/meminfo: memFree=27946640/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=1334632 CPUtime=1722.01 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 33104 0 0 0 172176 25 0 0 20 0 1 0 121423890 1366663168 278901 33554432000 4194304 6211289 140735106715696 140735106714040 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 333658 278901 219 493 0 333155 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1334632

[startup+1782.3 s]
/proc/loadavg: 2.35 2.26 2.20 3/177 7793
/proc/meminfo: memFree=27916172/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=1335068 CPUtime=1781.99 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 33201 0 0 0 178174 25 0 0 20 0 1 0 121423890 1367109632 284619 33554432000 4194304 6211289 140735106715696 140735106713688 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 333767 284619 219 493 0 333264 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1335068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.38 2.28 2.20 3/177 7793
/proc/meminfo: memFree=27891104/32872528 swapFree=15784/1434320
[pid=7701] ppid=7698 vsize=1335416 CPUtime=1800.09 cores=0,2,4,6
/proc/7701/stat : 7701 (cdcl-cuttingpla) R 7698 7701 7064 0 -1 4202496 33296 0 0 0 179984 25 0 0 20 0 1 0 121423890 1367465984 289824 33554432000 4194304 6211289 140735106715696 140735106714040 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/7701/statm: 333854 289824 219 493 0 333351 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1335416

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.85
CPU system time (s): 0.26296
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 1335416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.26296
maximum resident set size= 1159296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33296
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= 47
involuntary context switches= 1867

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.00424 second user time and 6.92695 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-08 16:08:27
IDJOB=4087453
IDBENCH=1976
IDSOLVER=2549
FILE ID=node130/4087453-1465394906
RUNJOBID= node130-1465387701-7080
PBS_JOBID= 19853865
Free space on /tmp= 71712 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087453-1465394906/watcher-4087453-1465394906 -o /tmp/evaluation-result-4087453-1465394906/solver-4087453-1465394906 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465387701-7080 --watchdog 1960 --input HOME/instance-4087453-1465394906.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 99680d01aa100bfba038606e315bf03d
RANDOM SEED=621846609

node130.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.261
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.52
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.261
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.261
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.261
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.61
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.261
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.55
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.261
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.55
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.261
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.261
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:        29207820 kB
Buffers:           72056 kB
Cached:           406004 kB
SwapCached:         1636 kB
Active:          1225940 kB
Inactive:         261844 kB
Active(anon):    1009680 kB
Inactive(anon):     2908 kB
Active(file):     216260 kB
Inactive(file):   258936 kB
Unevictable:     1434320 kB
Mlocked:           15784 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             19420 kB
Writeback:             0 kB
AnonPages:       2444044 kB
Mapped:             8056 kB
Shmem:                 0 kB
Slab:             608008 kB
SReclaimable:      51336 kB
SUnreclaim:       556672 kB
KernelStack:        1440 kB
PageTables:         8916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3034380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2404352 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 node130 at 2016-06-08 16:38:27