Trace number 4087688

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.4

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_007_area_delay.opb
MD5SUM22488dc65cdc0686edc96d304bd4d620
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark0.458929
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31
Optimality of the best value was proved NO
Number of variables11334
Total number of constraints36509
Number of constraints which are clauses36509
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 constraint1
Maximum length of a constraint127
Number of terms in the objective function 5525
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5525
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5525
Number of bits of the biggest sum of numbers13
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.05	c * #variable= 11334 #constraint= 36509
0.08/0.14	c * #variable= 11334 #constraint= 36509
1.59/1.67	c S1->S2
1.59/1.67	c S1->S2
1.59/1.67	c S1->S2
1.59/1.67	c S1->S2
1.59/1.67	c S2->S1
1.59/1.67	c S1->S2
1.59/1.67	c S1->S2
1.59/1.67	c S1->S2
1.59/1.67	c S1->S2
1.59/1.67	c #Conflicts:       1000 | #Learnt:        607 | 0.000
1.59/1.67	c total clause space: 127.173MB
1.59/1.67	c total #watches: 2402950
5.19/5.28	c total #propagations: 1870177 / total #impl: 17984866 (eff. 0.104)
5.19/5.28	c #Conflicts:       2000 | #Learnt:       1606 | 0.000
5.19/5.28	c total clause space: 127.173MB
5.19/5.28	c total #watches: 3469943
10.09/10.15	c total #propagations: 3776740 / total #impl: 65164568 (eff. 0.058)
10.09/10.15	c GC COLLECT
10.09/10.15	c #Conflicts:       3000 | #Learnt:       1810 | 0.000
10.09/10.15	c total clause space: 127.173MB
10.09/10.15	c total #watches: 2720472
17.59/17.63	c total #propagations: 4709920 / total #impl: 136112978 (eff. 0.035)
17.59/17.63	c #Conflicts:       4000 | #Learnt:       2810 | 0.000
17.59/17.63	c total clause space: 206.656MB
17.59/17.63	c total #watches: 4291894
28.79/28.82	c total #propagations: 5299386 / total #impl: 254585959 (eff. 0.021)
28.79/28.82	c GC COLLECT
28.79/28.82	c #Conflicts:       5000 | #Learnt:       2262 | 0.000
28.79/28.82	c total clause space: 206.656MB
28.79/28.82	c total #watches: 4048505
45.09/45.20	c total #propagations: 5836488 / total #impl: 472566461 (eff. 0.012)
45.09/45.20	c #Conflicts:       6000 | #Learnt:       3262 | 0.000
45.09/45.20	c total clause space: 206.656MB
45.09/45.20	c total #watches: 5003721
65.78/65.83	c total #propagations: 6178866 / total #impl: 718124903 (eff. 0.009)
65.78/65.83	c GC COLLECT
65.78/65.83	c #Conflicts:       7000 | #Learnt:       2195 | 0.000
65.78/65.83	c total clause space: 335.816MB
65.78/65.83	c total #watches: 3573998
88.97/89.02	c total #propagations: 6405724 / total #impl: 1031555169 (eff. 0.006)
88.97/89.02	c #Conflicts:       8000 | #Learnt:       3195 | 0.000
88.97/89.02	c total clause space: 335.816MB
88.97/89.02	c total #watches: 4488800
119.17/119.25	c total #propagations: 6679806 / total #impl: 1464780678 (eff. 0.005)
119.17/119.25	c #Conflicts:       9000 | #Learnt:       4195 | 0.000
119.17/119.25	c total clause space: 335.816MB
119.17/119.25	c total #watches: 5438530
146.86/146.95	c total #propagations: 7674325 / total #impl: 1813551727 (eff. 0.004)
146.86/146.95	c GC COLLECT
146.86/146.95	c #Conflicts:      10000 | #Learnt:       2704 | 0.000
146.86/146.95	c total clause space: 335.816MB
146.86/146.95	c total #watches: 4196667
163.87/163.96	c total #propagations: 9052430 / total #impl: 2239159833 (eff. 0.004)
163.87/163.96	c #Conflicts:      11000 | #Learnt:       3704 | 0.000
163.87/163.96	c total clause space: 335.816MB
163.87/163.96	c total #watches: 5228477
180.16/180.27	c total #propagations: 9285576 / total #impl: 2295884240 (eff. 0.004)
180.16/180.27	c #Conflicts:      12000 | #Learnt:       4704 | 0.000
180.16/180.27	c total clause space: 335.816MB
180.16/180.27	c total #watches: 6453026
185.16/185.24	c total #propagations: 9753870 / total #impl: 2354833796 (eff. 0.004)
185.16/185.24	c #Conflicts:      13000 | #Learnt:       5704 | 0.000
185.16/185.24	c total clause space: 335.816MB
185.16/185.24	c total #watches: 7805438
189.66/189.78	c total #propagations: 10962108 / total #impl: 2388969914 (eff. 0.005)
189.66/189.78	c GC COLLECT
189.66/189.78	c #Conflicts:      14000 | #Learnt:       3846 | 0.000
189.66/189.78	c total clause space: 335.816MB
189.66/189.78	c total #watches: 6994788
196.66/196.75	c total #propagations: 11441641 / total #impl: 2453412554 (eff. 0.005)
196.66/196.75	c #Conflicts:      15000 | #Learnt:       4846 | 0.000
196.66/196.75	c total clause space: 335.816MB
196.66/196.75	c total #watches: 8533197
204.75/204.86	c total #propagations: 11799825 / total #impl: 2569914421 (eff. 0.005)
204.75/204.86	c #Conflicts:      16000 | #Learnt:       5846 | 0.000
204.75/204.86	c total clause space: 335.816MB
204.75/204.86	c total #watches: 9540112
214.96/215.09	c total #propagations: 12439870 / total #impl: 2618602616 (eff. 0.005)
214.96/215.09	c GC COLLECT
214.96/215.09	c #Conflicts:      17000 | #Learnt:       3678 | 0.000
214.96/215.09	c total clause space: 545.701MB
214.96/215.09	c total #watches: 5920113
225.15/225.20	c total #propagations: 13742253 / total #impl: 2661158987 (eff. 0.005)
225.15/225.20	c #Conflicts:      18000 | #Learnt:       4678 | 0.000
225.15/225.20	c total clause space: 545.701MB
225.15/225.20	c total #watches: 6864776
243.65/243.78	c total #propagations: 15433309 / total #impl: 2696225199 (eff. 0.006)
243.65/243.78	c #Conflicts:      19000 | #Learnt:       5678 | 0.000
243.65/243.78	c total clause space: 545.701MB
243.65/243.78	c total #watches: 7458056
274.15/274.29	c total #propagations: 16884602 / total #impl: 2791776586 (eff. 0.006)
274.15/274.29	c #Conflicts:      20000 | #Learnt:       6678 | 0.000
274.15/274.29	c total clause space: 545.701MB
274.15/274.29	c total #watches: 8132897
309.24/309.30	c total #propagations: 17850095 / total #impl: 3020699707 (eff. 0.006)
309.24/309.30	c GC COLLECT
309.24/309.30	c #Conflicts:      21000 | #Learnt:       4192 | 0.000
309.24/309.30	c total clause space: 545.701MB
309.24/309.30	c total #watches: 4224783
350.94/351.07	c total #propagations: 19161732 / total #impl: 3113936956 (eff. 0.006)
350.94/351.07	c #Conflicts:      22000 | #Learnt:       5192 | 0.000
350.94/351.07	c total clause space: 545.701MB
350.94/351.07	c total #watches: 4621784
398.23/398.31	c total #propagations: 20675928 / total #impl: 3299426003 (eff. 0.006)
398.23/398.31	c #Conflicts:      23000 | #Learnt:       6192 | 0.000
398.23/398.31	c total clause space: 545.701MB
398.23/398.31	c total #watches: 5261334
443.52/443.66	c total #propagations: 22049340 / total #impl: 3557079885 (eff. 0.006)
443.52/443.66	c #Conflicts:      24000 | #Learnt:       7192 | 0.000
443.52/443.66	c total clause space: 545.701MB
443.52/443.66	c total #watches: 5789207
505.51/505.64	c total #propagations: 23128349 / total #impl: 3882261426 (eff. 0.006)
505.51/505.64	c GC COLLECT
505.51/505.64	c #Conflicts:      25000 | #Learnt:       4397 | 0.000
505.51/505.64	c total clause space: 545.701MB
505.51/505.64	c total #watches: 3532889
543.61/543.79	c total #propagations: 25005762 / total #impl: 4121099035 (eff. 0.006)
543.61/543.79	c #Conflicts:      26000 | #Learnt:       5397 | 0.000
543.61/543.79	c total clause space: 545.701MB
543.61/543.79	c total #watches: 3761015
584.70/584.87	c total #propagations: 25557203 / total #impl: 4262024597 (eff. 0.006)
584.70/584.87	c #Conflicts:      27000 | #Learnt:       6397 | 0.000
584.70/584.87	c total clause space: 545.701MB
584.70/584.87	c total #watches: 4089706
621.50/621.67	c total #propagations: 26072602 / total #impl: 4398419836 (eff. 0.006)
621.50/621.67	c #Conflicts:      28000 | #Learnt:       7397 | 0.000
621.50/621.67	c total clause space: 545.701MB
621.50/621.67	c total #watches: 4794759
673.89/674.04	c total #propagations: 26997000 / total #impl: 4531919436 (eff. 0.006)
673.89/674.04	c GC COLLECT
673.89/674.04	c #Conflicts:      29000 | #Learnt:       4295 | 0.000
673.89/674.04	c total clause space: 545.701MB
673.89/674.04	c total #watches: 3871874
707.48/707.68	c total #propagations: 28145139 / total #impl: 4645112436 (eff. 0.006)
707.48/707.68	c #Conflicts:      30000 | #Learnt:       5295 | 0.000
707.48/707.68	c total clause space: 545.701MB
707.48/707.68	c total #watches: 5020017
758.37/758.59	c total #propagations: 29133474 / total #impl: 4839126602 (eff. 0.006)
758.37/758.59	c #Conflicts:      31000 | #Learnt:       6295 | 0.000
758.37/758.59	c total clause space: 545.701MB
758.37/758.59	c total #watches: 6122468
819.86/820.07	c total #propagations: 30267532 / total #impl: 5174777769 (eff. 0.006)
819.86/820.07	c #Conflicts:      32000 | #Learnt:       7295 | 0.000
819.86/820.07	c total clause space: 545.701MB
819.86/820.07	c total #watches: 6921864
879.35/879.55	c total #propagations: 31251849 / total #impl: 5679016689 (eff. 0.006)
879.35/879.55	c #Conflicts:      33000 | #Learnt:       8295 | 0.000
879.35/879.55	c total clause space: 545.701MB
879.35/879.55	c total #watches: 8145437
925.95/926.16	c total #propagations: 32543811 / total #impl: 5856498428 (eff. 0.006)
925.95/926.16	c GC COLLECT
925.95/926.16	c #Conflicts:      34000 | #Learnt:       4895 | 0.000
925.95/926.16	c total clause space: 545.701MB
925.95/926.16	c total #watches: 6380684
963.74/963.98	c total #propagations: 34118554 / total #impl: 6033938235 (eff. 0.006)
963.74/963.98	c #Conflicts:      35000 | #Learnt:       5895 | 0.000
963.74/963.98	c total clause space: 545.701MB
963.74/963.98	c total #watches: 7213650
999.33/999.59	c total #propagations: 34518099 / total #impl: 6237398628 (eff. 0.006)
999.33/999.59	c #Conflicts:      36000 | #Learnt:       6895 | 0.000
999.33/999.59	c total clause space: 545.701MB
999.33/999.59	c total #watches: 7787708
1039.52/1039.71	c total #propagations: 34841343 / total #impl: 6576090753 (eff. 0.005)
1039.52/1039.71	c #Conflicts:      37000 | #Learnt:       7895 | 0.000
1039.52/1039.71	c total clause space: 545.701MB
1039.52/1039.71	c total #watches: 8383069
1085.90/1086.15	c total #propagations: 35094036 / total #impl: 7060145013 (eff. 0.005)
1085.90/1086.15	c #Conflicts:      38000 | #Learnt:       8895 | 0.000
1085.90/1086.15	c total clause space: 545.701MB
1085.90/1086.15	c total #watches: 9085150
1141.29/1141.50	c total #propagations: 35382545 / total #impl: 7688344280 (eff. 0.005)
1141.29/1141.50	c GC COLLECT
1141.29/1141.50	c #Conflicts:      39000 | #Learnt:       5202 | 0.000
1141.29/1141.50	c total clause space: 545.701MB
1141.29/1141.50	c total #watches: 4993179
1200.78/1201.02	c total #propagations: 35902673 / total #impl: 8667980166 (eff. 0.004)
1200.78/1201.02	c #Conflicts:      40000 | #Learnt:       6202 | 0.000
1200.78/1201.02	c total clause space: 545.701MB
1200.78/1201.02	c total #watches: 5646666
1271.57/1271.80	c total #propagations: 36288291 / total #impl: 9614549517 (eff. 0.004)
1271.57/1271.80	c #Conflicts:      41000 | #Learnt:       7202 | 0.000
1271.57/1271.80	c total clause space: 545.701MB
1271.57/1271.80	c total #watches: 6768012
1332.97/1333.28	c total #propagations: 36845027 / total #impl: 10130065082 (eff. 0.004)
1332.97/1333.28	c #Conflicts:      42000 | #Learnt:       8202 | 0.000
1332.97/1333.28	c total clause space: 545.701MB
1332.97/1333.28	c total #watches: 7503870
1393.75/1394.09	c total #propagations: 37737872 / total #impl: 10712072378 (eff. 0.004)
1393.75/1394.09	c #Conflicts:      43000 | #Learnt:       9202 | 0.000
1393.75/1394.09	c total clause space: 545.701MB
1393.75/1394.09	c total #watches: 8316524
1473.64/1473.99	c total #propagations: 37981239 / total #impl: 11364553789 (eff. 0.003)
1473.64/1473.99	c GC COLLECT
1473.64/1473.99	c #Conflicts:      44000 | #Learnt:       5218 | 0.000
1473.64/1473.99	c total clause space: 545.701MB
1473.64/1473.99	c total #watches: 5249588
1518.84/1519.16	c total #propagations: 38309949 / total #impl: 12344735698 (eff. 0.003)
1518.84/1519.16	c #Conflicts:      45000 | #Learnt:       6218 | 0.000
1518.84/1519.16	c total clause space: 545.701MB
1518.84/1519.16	c total #watches: 6097277
1589.42/1589.75	c total #propagations: 38621301 / total #impl: 12820248392 (eff. 0.003)
1589.42/1589.75	c #Conflicts:      46000 | #Learnt:       7218 | 0.000
1589.42/1589.75	c total clause space: 545.701MB
1589.42/1589.75	c total #watches: 6942411
1664.91/1665.20	c total #propagations: 39192240 / total #impl: 13825627372 (eff. 0.003)
1664.91/1665.20	c #Conflicts:      47000 | #Learnt:       8218 | 0.000
1664.91/1665.20	c total clause space: 545.701MB
1664.91/1665.20	c total #watches: 7413873
1712.41/1712.77	c total #propagations: 40291217 / total #impl: 13980540790 (eff. 0.003)
1712.41/1712.77	c #Conflicts:      48000 | #Learnt:       9218 | 0.000
1712.41/1712.77	c total clause space: 545.701MB
1712.41/1712.77	c total #watches: 8259349
1781.19/1781.58	c total #propagations: 40790719 / total #impl: 14077685557 (eff. 0.003)
1781.19/1781.58	c #Conflicts:      49000 | #Learnt:      10218 | 0.000
1781.19/1781.58	c total clause space: 545.701MB
1781.19/1781.58	c total #watches: 8363051

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-4087688-1465431041/watcher-4087688-1465431041 -o /tmp/evaluation-result-4087688-1465431041/solver-4087688-1465431041 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1465427064-8948 --watchdog 1960 --input HOME/instance-4087688-1465431041.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=9373
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.12 2.11 2.04 3/177 9376
/proc/meminfo: memFree=29282864/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 258 0 0 0 0 0 0 0 20 0 1 0 125038311 57319424 7805 33554432000 4194304 6211289 140736248467792 140736262403240 4206544 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 13994 7805 98 493 0 13491 0

[startup+0.100169 s]
/proc/loadavg: 2.12 2.11 2.04 3/177 9376
/proc/meminfo: memFree=29282864/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=63692 CPUtime=0.08 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 1769 0 0 0 8 0 0 0 20 0 1 0 125038311 65220608 13569 33554432000 4194304 6211289 140736248467792 140736262403240 5161098 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 15923 13569 144 493 0 15420 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 63692

[startup+0.200371 s]
/proc/loadavg: 2.12 2.11 2.04 3/177 9376
/proc/meminfo: memFree=29282864/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=72196 CPUtime=0.19 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 3208 0 0 0 18 1 0 0 20 0 1 0 125038311 73928704 15765 33554432000 4194304 6211289 140736248467792 140736262403240 5161098 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 18049 15765 144 493 0 17546 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 72196

[startup+0.300349 s]
/proc/loadavg: 2.12 2.11 2.04 3/177 9376
/proc/meminfo: memFree=29282864/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=80696 CPUtime=0.29 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 4481 0 0 0 28 1 0 0 20 0 1 0 125038311 82632704 17514 33554432000 4194304 6211289 140736248467792 140736262403240 4215893 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 20174 17514 204 493 0 19671 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 80696

[startup+0.700292 s]
/proc/loadavg: 2.12 2.11 2.04 3/177 9376
/proc/meminfo: memFree=29282864/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=128040 CPUtime=0.69 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 7623 0 0 0 68 1 0 0 20 0 1 0 125038311 131112960 26144 33554432000 4194304 6211289 140736248467792 140736248465784 5161098 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 32010 26166 204 493 0 31507 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 128040

[startup+1.50029 s]
/proc/loadavg: 2.12 2.11 2.04 3/178 9377
/proc/meminfo: memFree=29103660/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=284012 CPUtime=1.49 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 16435 0 0 0 145 4 0 0 20 0 1 0 125038311 290828288 51230 33554432000 4194304 6211289 140736248467792 140736248465784 4209501 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 71003 51230 204 493 0 70500 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 284012

[startup+3.10029 s]
/proc/loadavg: 2.11 2.11 2.04 3/178 9377
/proc/meminfo: memFree=29067124/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=285020 CPUtime=3.09 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 16701 0 0 0 305 4 0 0 20 0 1 0 125038311 291860480 56095 33554432000 4194304 6211289 140736248467792 140736248465784 4209614 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 71255 56095 214 493 0 70752 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 285020

[startup+6.3003 s]
/proc/loadavg: 2.11 2.11 2.04 3/178 9377
/proc/meminfo: memFree=29019340/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=285712 CPUtime=6.29 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 19027 0 0 0 624 5 0 0 20 0 1 0 125038311 292569088 65390 33554432000 4194304 6211289 140736248467792 140736248466136 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 71428 65390 214 493 0 70925 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 285712

[startup+12.7003 s]
/proc/loadavg: 2.17 2.12 2.04 3/178 9377
/proc/meminfo: memFree=29016716/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=285844 CPUtime=12.69 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 19185 0 0 0 1264 5 0 0 20 0 1 0 125038311 292704256 65539 33554432000 4194304 6211289 140736248467792 140736248465704 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 71461 65539 219 493 0 70958 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 285844

[startup+25.5004 s]
/proc/loadavg: 2.23 2.14 2.05 3/177 9377
/proc/meminfo: memFree=28938216/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=402360 CPUtime=25.49 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 26883 0 0 0 2541 8 0 0 20 0 1 0 125038311 412016640 84723 33554432000 4194304 6211289 140736248467792 140736248465784 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 100590 84723 219 493 0 100087 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 402360

[startup+51.1004 s]
/proc/loadavg: 2.22 2.14 2.05 3/177 9377
/proc/meminfo: memFree=28902848/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=402360 CPUtime=51.08 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 27512 0 0 0 5100 8 0 0 20 0 1 0 125038311 412016640 90973 33554432000 4194304 6211289 140736248467792 140736248466136 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 100590 90973 219 493 0 100087 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 402360

[startup+102.3 s]
/proc/loadavg: 2.24 2.16 2.06 3/177 9378
/proc/meminfo: memFree=28876268/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=535068 CPUtime=102.28 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 28815 0 0 0 10218 10 0 0 20 0 1 0 125038311 547909632 97551 33554432000 4194304 6211289 140736248467792 140736248466136 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 133767 97551 219 493 0 133264 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 535068

[startup+162.3 s]
/proc/loadavg: 2.28 2.18 2.07 3/177 9380
/proc/meminfo: memFree=28868872/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=535808 CPUtime=162.26 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 29184 0 0 0 16216 10 0 0 20 0 1 0 125038311 548667392 99450 33554432000 4194304 6211289 140736248467792 140736248465704 4209244 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 133952 99450 219 493 0 133449 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 535808

[startup+222.307 s]
/proc/loadavg: 2.20 2.17 2.08 3/177 9381
/proc/meminfo: memFree=28700784/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=813768 CPUtime=222.26 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 42209 0 0 0 22210 16 0 0 20 0 1 0 125038311 833298432 141274 33554432000 4194304 6211289 140736248467792 140736248466136 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 203442 141274 219 493 0 202939 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 813768

[startup+282.3 s]
/proc/loadavg: 2.26 2.19 2.09 3/177 9382
/proc/meminfo: memFree=28700512/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=813928 CPUtime=282.25 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 42233 0 0 0 28209 16 0 0 20 0 1 0 125038311 833462272 141298 33554432000 4194304 6211289 140736248467792 140736248466136 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 203482 141298 219 493 0 202979 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 813928

[startup+342.3 s]
/proc/loadavg: 2.19 2.18 2.09 3/177 9383
/proc/meminfo: memFree=28700100/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=813928 CPUtime=342.24 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 42233 0 0 0 34208 16 0 0 20 0 1 0 125038311 833462272 141298 33554432000 4194304 6211289 140736248467792 140736248466136 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 203482 141298 219 493 0 202979 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 813928

[startup+402.3 s]
/proc/loadavg: 2.17 2.17 2.09 3/177 9384
/proc/meminfo: memFree=28700076/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=813928 CPUtime=402.23 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 42234 0 0 0 40207 16 0 0 20 0 1 0 125038311 833462272 141299 33554432000 4194304 6211289 140736248467792 140736248466136 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 203482 141299 219 493 0 202979 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 813928

[startup+462.3 s]
/proc/loadavg: 2.19 2.18 2.10 3/177 9386
/proc/meminfo: memFree=28700176/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=813928 CPUtime=462.22 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 42254 0 0 0 46206 16 0 0 20 0 1 0 125038311 833462272 141319 33554432000 4194304 6211289 140736248467792 140736248466136 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 203482 141319 219 493 0 202979 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 813928

[startup+522.3 s]
/proc/loadavg: 2.30 2.21 2.11 3/177 9387
/proc/meminfo: memFree=28699904/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=813928 CPUtime=522.21 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 42254 0 0 0 52205 16 0 0 20 0 1 0 125038311 833462272 141319 33554432000 4194304 6211289 140736248467792 140736248466136 4209507 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 203482 141319 219 493 0 202979 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 813928

[startup+582.3 s]
/proc/loadavg: 2.24 2.20 2.11 3/178 9391
/proc/meminfo: memFree=28699448/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=813928 CPUtime=582.2 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 42274 0 0 0 58204 16 0 0 20 0 1 0 125038311 833462272 141339 33554432000 4194304 6211289 140736248467792 140736248466136 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 203482 141339 219 493 0 202979 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 813928


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


[startup+882.307 s]
/proc/loadavg: 2.16 2.16 2.09 3/177 9397
/proc/meminfo: memFree=28694616/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=816608 CPUtime=882.16 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 42971 0 0 0 88200 16 0 0 20 0 1 0 125038311 836206592 142036 33554432000 4194304 6211289 140736248467792 140736248466136 4209523 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 204152 142036 219 493 0 203649 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 816608

[startup+942.3 s]
/proc/loadavg: 2.16 2.16 2.09 3/177 9398
/proc/meminfo: memFree=28693716/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=817392 CPUtime=942.14 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 43161 0 0 0 94198 16 0 0 20 0 1 0 125038311 837009408 142279 33554432000 4194304 6211289 140736248467792 140736248466136 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 204348 142279 219 493 0 203845 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 817392

[startup+1002.3 s]
/proc/loadavg: 2.11 2.14 2.09 3/177 9399
/proc/meminfo: memFree=28677456/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=817392 CPUtime=1002.13 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 43175 0 0 0 100197 16 0 0 20 0 1 0 125038311 837009408 146188 33554432000 4194304 6211289 140736248467792 140736248466136 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 204348 146188 219 493 0 203845 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 817392

[startup+1062.3 s]
/proc/loadavg: 2.30 2.19 2.11 3/177 9401
/proc/meminfo: memFree=28676056/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=819604 CPUtime=1062.12 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 43648 0 0 0 106196 16 0 0 20 0 1 0 125038311 839274496 146652 33554432000 4194304 6211289 140736248467792 140736248465704 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 204901 146652 219 493 0 204398 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 819604

[startup+1122.3 s]
/proc/loadavg: 2.29 2.20 2.11 3/177 9402
/proc/meminfo: memFree=28669380/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=821396 CPUtime=1122.09 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 44205 0 0 0 112193 16 0 0 20 0 1 0 125038311 841109504 147189 33554432000 4194304 6211289 140736248467792 140736248465704 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 205349 147189 219 493 0 204846 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 821396

[startup+1182.3 s]
/proc/loadavg: 2.25 2.21 2.11 3/178 9406
/proc/meminfo: memFree=28669188/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=821396 CPUtime=1182.08 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 44213 0 0 0 118192 16 0 0 20 0 1 0 125038311 841109504 147197 33554432000 4194304 6211289 140736248467792 140736248466136 4243125 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 205349 147197 219 493 0 204846 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 821396

[startup+1242.3 s]
/proc/loadavg: 2.21 2.20 2.11 3/177 9407
/proc/meminfo: memFree=28658692/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=821716 CPUtime=1242.07 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 44310 0 0 0 124191 16 0 0 20 0 1 0 125038311 841437184 147294 33554432000 4194304 6211289 140736248467792 140736248465784 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 205429 147294 219 493 0 204926 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 821716

[startup+1302.3 s]
/proc/loadavg: 2.20 2.19 2.11 3/177 9408
/proc/meminfo: memFree=28643084/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=821876 CPUtime=1302.07 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 44338 0 0 0 130191 16 0 0 20 0 1 0 125038311 841601024 147322 33554432000 4194304 6211289 140736248467792 140736248466136 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 205469 147322 219 493 0 204966 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 821876

[startup+1362.3 s]
/proc/loadavg: 2.16 2.18 2.11 3/177 9410
/proc/meminfo: memFree=28621148/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=821876 CPUtime=1362.06 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 44346 0 0 0 136190 16 0 0 20 0 1 0 125038311 841601024 148255 33554432000 4194304 6211289 140736248467792 140736248466136 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 205469 148255 219 493 0 204966 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 821876

[startup+1422.3 s]
/proc/loadavg: 2.16 2.17 2.11 3/177 9411
/proc/meminfo: memFree=28528976/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=822196 CPUtime=1422.05 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 44427 0 0 0 142189 16 0 0 20 0 1 0 125038311 841928704 148336 33554432000 4194304 6211289 140736248467792 140736248465784 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 205549 148336 219 493 0 205046 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 822196

[startup+1482.3 s]
/proc/loadavg: 2.20 2.17 2.11 4/177 9503
/proc/meminfo: memFree=28790516/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=823156 CPUtime=1482.04 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 44600 0 0 0 148188 16 0 0 20 0 1 0 125038311 842911744 148509 33554432000 4194304 6211289 140736248467792 140736248466136 4209464 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 205789 148509 219 493 0 205286 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 823156

[startup+1542.31 s]
/proc/loadavg: 2.21 2.19 2.11 3/177 9504
/proc/meminfo: memFree=28565008/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=823316 CPUtime=1542.04 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 44612 0 0 0 154188 16 0 0 20 0 1 0 125038311 843075584 148521 33554432000 4194304 6211289 140736248467792 140736248466136 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 205829 148521 219 493 0 205326 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 823316

[startup+1602.3 s]
/proc/loadavg: 2.25 2.19 2.12 3/177 9505
/proc/meminfo: memFree=28349180/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=823316 CPUtime=1602.02 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 44616 0 0 0 160186 16 0 0 20 0 1 0 125038311 843075584 148525 33554432000 4194304 6211289 140736248467792 140736248466136 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 205829 148525 219 493 0 205326 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 823316

[startup+1662.3 s]
/proc/loadavg: 2.15 2.17 2.11 3/177 9507
/proc/meminfo: memFree=28336052/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=823316 CPUtime=1662.01 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 44616 0 0 0 166185 16 0 0 20 0 1 0 125038311 843075584 148525 33554432000 4194304 6211289 140736248467792 140736248466136 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 205829 148525 219 493 0 205326 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 823316

[startup+1722.3 s]
/proc/loadavg: 2.16 2.17 2.11 3/177 9508
/proc/meminfo: memFree=28335400/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=823316 CPUtime=1722 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 44636 0 0 0 172184 16 0 0 20 0 1 0 125038311 843075584 148545 33554432000 4194304 6211289 140736248467792 140736248466136 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 205829 148545 219 493 0 205326 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 823316

[startup+1782.3 s]
/proc/loadavg: 2.21 2.18 2.12 3/178 9512
/proc/meminfo: memFree=28335472/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=823316 CPUtime=1781.99 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 44644 0 0 0 178183 16 0 0 20 0 1 0 125038311 843075584 148553 33554432000 4194304 6211289 140736248467792 140736248466136 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 205829 148553 219 493 0 205326 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 823316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.15 2.17 2.11 3/178 9513
/proc/meminfo: memFree=28335440/32872528 swapFree=14548/942524
[pid=9376] ppid=9373 vsize=823316 CPUtime=1800.09 cores=0,2,4,6
/proc/9376/stat : 9376 (cdcl-cuttingpla) R 9373 9376 8932 0 -1 4202496 44644 0 0 0 179993 16 0 0 20 0 1 0 125038311 843075584 148553 33554432000 4194304 6211289 140736248467792 140736248466136 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9376/statm: 205829 148553 219 493 0 205326 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 823316

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 9376 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.4
CPU time (s): 1800.11
CPU user time (s): 1799.93
CPU system time (s): 0.171973
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 823316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.171973
maximum resident set size= 594212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44644
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= 42
involuntary context switches= 1868

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.82727 second user time and 6.63299 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-09 02:10:42
IDJOB=4087688
IDBENCH=24995
IDSOLVER=2549
FILE ID=node113/4087688-1465431041
RUNJOBID= node113-1465427064-8948
PBS_JOBID= 19859794
Free space on /tmp= 71736 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_007_area_delay.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087688-1465431041/watcher-4087688-1465431041 -o /tmp/evaluation-result-4087688-1465431041/solver-4087688-1465431041 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1465427064-8948 --watchdog 1960 --input HOME/instance-4087688-1465431041.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 22488dc65cdc0686edc96d304bd4d620
RANDOM SEED=2084753911

node113.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.722
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.44
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.722
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.54
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.722
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.54
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.722
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.55
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.722
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.722
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.722
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.722
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:        29283392 kB
Buffers:          186088 kB
Cached:          1216868 kB
SwapCached:         1688 kB
Active:           887388 kB
Inactive:         989244 kB
Active(anon):     474224 kB
Inactive(anon):     1856 kB
Active(file):     413164 kB
Inactive(file):   987388 kB
Unevictable:      942524 kB
Mlocked:           14548 kB
SwapTotal:      67108856 kB
SwapFree:       67098780 kB
Dirty:              3508 kB
Writeback:             0 kB
AnonPages:       1536008 kB
Mapped:             8084 kB
Shmem:                 0 kB
Slab:             634928 kB
SReclaimable:      78932 kB
SUnreclaim:       555996 kB
KernelStack:        1480 kB
PageTables:         6560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1577392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1505280 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= 71732 MiB
End job on node113 at 2016-06-09 02:40:42