Trace number 4118851

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cdcl-cuttingplanes OPT linear search 2016-05-01? (TO) 1800.02 1800.3

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-edgecross14-137.lin.opb
MD5SUM209e82578e5ca39ac1017817e82e48a8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3240
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4222
Total number of constraints9535
Number of constraints which are clauses5495
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints4039
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 4217
Biggest coefficient in the objective function 4129
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 14299
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 4129
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 14299
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 4222 #constraint= 9535
23.19/23.28	c #Conflicts:       1000 | #Learnt:       1056 | 0.000
23.19/23.28	c total clause space: 78.2603MB
23.19/23.28	c total #watches: 293014
43.38/43.43	c total #propagations: 349382 / total #impl: 3791166 (eff. 0.092)
43.38/43.43	c #Conflicts:       2000 | #Learnt:       2056 | 0.000
43.38/43.43	c total clause space: 127.173MB
43.38/43.43	c total #watches: 327227
59.08/59.18	c total #propagations: 542560 / total #impl: 6429067 (eff. 0.084)
59.08/59.18	c GC COLLECT
59.08/59.18	c #Conflicts:       3000 | #Learnt:       2063 | 0.000
59.08/59.18	c total clause space: 127.173MB
59.08/59.18	c total #watches: 287564
77.77/77.89	c total #propagations: 687125 / total #impl: 9595311 (eff. 0.072)
77.77/77.89	c #Conflicts:       4000 | #Learnt:       3070 | 0.000
77.77/77.89	c total clause space: 206.656MB
77.77/77.89	c total #watches: 359784
97.67/97.78	c total #propagations: 857946 / total #impl: 13357175 (eff. 0.064)
97.67/97.78	c GC COLLECT
97.67/97.78	c #Conflicts:       5000 | #Learnt:       2445 | 0.000
97.67/97.78	c total clause space: 206.656MB
97.67/97.78	c total #watches: 354514
117.16/117.29	c total #propagations: 1000000 / total #impl: 17082605 (eff. 0.059)
117.16/117.29	c #Conflicts:       6000 | #Learnt:       3451 | 0.000
117.16/117.29	c total clause space: 206.656MB
117.16/117.29	c total #watches: 444353
139.57/139.61	c total #propagations: 1115898 / total #impl: 21121836 (eff. 0.053)
139.57/139.61	c GC COLLECT
139.57/139.61	c #Conflicts:       7000 | #Learnt:       2338 | 0.000
139.57/139.61	c total clause space: 335.816MB
139.57/139.61	c total #watches: 420882
157.37/157.49	c total #propagations: 1228718 / total #impl: 25397978 (eff. 0.048)
157.37/157.49	c #Conflicts:       8000 | #Learnt:       3338 | 0.000
157.37/157.49	c total clause space: 335.816MB
157.37/157.49	c total #watches: 447757
186.56/186.60	c total #propagations: 1322552 / total #impl: 30205912 (eff. 0.044)
186.56/186.60	c #Conflicts:       9000 | #Learnt:       4338 | 0.000
186.56/186.60	c total clause space: 335.816MB
186.56/186.60	c total #watches: 460458
218.65/218.73	c total #propagations: 1489162 / total #impl: 36260228 (eff. 0.041)
218.65/218.73	c GC COLLECT
218.65/218.73	c #Conflicts:      10000 | #Learnt:       2835 | 0.000
218.65/218.73	c total clause space: 335.816MB
218.65/218.73	c total #watches: 361987
249.04/249.13	c total #propagations: 1668978 / total #impl: 43243137 (eff. 0.039)
249.04/249.13	c #Conflicts:      11000 | #Learnt:       3835 | 0.000
249.04/249.13	c total clause space: 335.816MB
249.04/249.13	c total #watches: 380249
274.84/274.91	c total #propagations: 1827991 / total #impl: 51760466 (eff. 0.035)
274.84/274.91	c #Conflicts:      12000 | #Learnt:       4835 | 0.000
274.84/274.91	c total clause space: 335.816MB
274.84/274.91	c total #watches: 411455
301.54/301.62	c total #propagations: 1985039 / total #impl: 56834913 (eff. 0.035)
301.54/301.62	c #Conflicts:      13000 | #Learnt:       5835 | 0.000
301.54/301.62	c total clause space: 335.816MB
301.54/301.62	c total #watches: 445143
326.34/326.44	c total #propagations: 2151894 / total #impl: 59987872 (eff. 0.036)
326.34/326.44	c GC COLLECT
326.34/326.44	c #Conflicts:      14000 | #Learnt:       3986 | 0.000
326.34/326.44	c total clause space: 335.816MB
326.34/326.44	c total #watches: 394497
351.43/351.51	c total #propagations: 2347484 / total #impl: 62957247 (eff. 0.037)
351.43/351.51	c #Conflicts:      15000 | #Learnt:       4986 | 0.000
351.43/351.51	c total clause space: 335.816MB
351.43/351.51	c total #watches: 432988
376.83/376.91	c total #propagations: 2482307 / total #impl: 66339718 (eff. 0.037)
376.83/376.91	c #Conflicts:      16000 | #Learnt:       5986 | 0.000
376.83/376.91	c total clause space: 335.816MB
376.83/376.91	c total #watches: 478613
405.43/405.50	c total #propagations: 2603607 / total #impl: 69643737 (eff. 0.037)
405.43/405.50	c GC COLLECT
405.43/405.50	c #Conflicts:      17000 | #Learnt:       3818 | 0.000
405.43/405.50	c total clause space: 545.701MB
405.43/405.50	c total #watches: 470727
438.83/438.91	c total #propagations: 2723182 / total #impl: 74665648 (eff. 0.036)
438.83/438.91	c #Conflicts:      18000 | #Learnt:       4818 | 0.000
438.83/438.91	c total clause space: 545.701MB
438.83/438.91	c total #watches: 505708
470.82/470.97	c total #propagations: 2838940 / total #impl: 79100659 (eff. 0.036)
470.82/470.97	c #Conflicts:      19000 | #Learnt:       5818 | 0.000
470.82/470.97	c total clause space: 545.701MB
470.82/470.97	c total #watches: 534832
511.91/512.05	c total #propagations: 2963671 / total #impl: 82395616 (eff. 0.036)
511.91/512.05	c #Conflicts:      20000 | #Learnt:       6818 | 0.000
511.91/512.05	c total clause space: 545.701MB
511.91/512.05	c total #watches: 569152
542.21/542.35	c total #propagations: 3135453 / total #impl: 86837431 (eff. 0.036)
542.21/542.35	c GC COLLECT
542.21/542.35	c #Conflicts:      21000 | #Learnt:       4331 | 0.000
542.21/542.35	c total clause space: 545.701MB
542.21/542.35	c total #watches: 496734
579.19/579.33	c total #propagations: 3268707 / total #impl: 95962521 (eff. 0.034)
579.19/579.33	c #Conflicts:      22000 | #Learnt:       5333 | 0.000
579.19/579.33	c total clause space: 545.701MB
579.19/579.33	c total #watches: 555974
617.00/617.12	c total #propagations: 3399800 / total #impl: 101740317 (eff. 0.033)
617.00/617.12	c #Conflicts:      23000 | #Learnt:       6333 | 0.000
617.00/617.12	c total clause space: 545.701MB
617.00/617.12	c total #watches: 599756
654.78/654.97	c total #propagations: 3540314 / total #impl: 107031565 (eff. 0.033)
654.78/654.97	c #Conflicts:      24000 | #Learnt:       7333 | 0.000
654.78/654.97	c total clause space: 545.701MB
654.78/654.97	c total #watches: 639772
689.98/690.14	c total #propagations: 3730869 / total #impl: 109915981 (eff. 0.034)
689.98/690.14	c GC COLLECT
689.98/690.14	c #Conflicts:      25000 | #Learnt:       4537 | 0.000
689.98/690.14	c total clause space: 545.701MB
689.98/690.14	c total #watches: 592333
722.38/722.57	c total #propagations: 3895607 / total #impl: 113042089 (eff. 0.034)
722.38/722.57	c #Conflicts:      26000 | #Learnt:       5537 | 0.000
722.38/722.57	c total clause space: 545.701MB
722.38/722.57	c total #watches: 642485
752.97/753.19	c total #propagations: 4045041 / total #impl: 116673624 (eff. 0.035)
752.97/753.19	c #Conflicts:      27000 | #Learnt:       6537 | 0.000
752.97/753.19	c total clause space: 545.701MB
752.97/753.19	c total #watches: 706191
811.67/811.89	c total #propagations: 4158081 / total #impl: 120520122 (eff. 0.035)
811.67/811.89	c #Conflicts:      28000 | #Learnt:       7562 | 0.000
811.67/811.89	c total clause space: 545.701MB
811.67/811.89	c total #watches: 874552
856.35/856.59	c total #propagations: 4405306 / total #impl: 125150621 (eff. 0.035)
856.35/856.59	c GC COLLECT
856.35/856.59	c #Conflicts:      29000 | #Learnt:       4466 | 0.000
856.35/856.59	c total clause space: 545.701MB
856.35/856.59	c total #watches: 706636
903.54/903.76	c total #propagations: 4596236 / total #impl: 128239919 (eff. 0.036)
903.54/903.76	c #Conflicts:      30000 | #Learnt:       5466 | 0.000
903.54/903.76	c total clause space: 545.701MB
903.54/903.76	c total #watches: 726068
947.73/947.98	c total #propagations: 4824566 / total #impl: 132455659 (eff. 0.036)
947.73/947.98	c #Conflicts:      31000 | #Learnt:       6466 | 0.000
947.73/947.98	c total clause space: 545.701MB
947.73/947.98	c total #watches: 742611
994.73/994.92	c total #propagations: 5026628 / total #impl: 136038473 (eff. 0.037)
994.73/994.92	c #Conflicts:      32000 | #Learnt:       7466 | 0.000
994.73/994.92	c total clause space: 545.701MB
994.73/994.92	c total #watches: 761839
1038.12/1038.38	c total #propagations: 5233091 / total #impl: 139636673 (eff. 0.037)
1038.12/1038.38	c #Conflicts:      33000 | #Learnt:       8466 | 0.000
1038.12/1038.38	c total clause space: 545.701MB
1038.12/1038.38	c total #watches: 792742
1076.42/1076.65	c total #propagations: 5412876 / total #impl: 142335500 (eff. 0.038)
1076.42/1076.65	c GC COLLECT
1076.42/1076.65	c #Conflicts:      34000 | #Learnt:       5077 | 0.000
1076.42/1076.65	c total clause space: 545.701MB
1076.42/1076.65	c total #watches: 551167
1119.91/1120.15	c total #propagations: 5608371 / total #impl: 145897400 (eff. 0.038)
1119.91/1120.15	c #Conflicts:      35000 | #Learnt:       6077 | 0.000
1119.91/1120.15	c total clause space: 545.701MB
1119.91/1120.15	c total #watches: 561974
1160.00/1160.23	c total #propagations: 5833773 / total #impl: 150371062 (eff. 0.039)
1160.00/1160.23	c #Conflicts:      36000 | #Learnt:       7077 | 0.000
1160.00/1160.23	c total clause space: 545.701MB
1160.00/1160.23	c total #watches: 575522
1200.00/1200.22	c total #propagations: 6044860 / total #impl: 153150034 (eff. 0.039)
1200.00/1200.22	c #Conflicts:      37000 | #Learnt:       8077 | 0.000
1200.00/1200.22	c total clause space: 545.701MB
1200.00/1200.22	c total #watches: 587409
1239.39/1239.60	c total #propagations: 6260819 / total #impl: 155575892 (eff. 0.040)
1239.39/1239.60	c #Conflicts:      38000 | #Learnt:       9077 | 0.000
1239.39/1239.60	c total clause space: 545.701MB
1239.39/1239.60	c total #watches: 597690
1273.19/1273.45	c total #propagations: 6466023 / total #impl: 157794152 (eff. 0.041)
1273.19/1273.45	c GC COLLECT
1273.19/1273.45	c #Conflicts:      39000 | #Learnt:       5388 | 0.000
1273.19/1273.45	c total clause space: 545.701MB
1273.19/1273.45	c total #watches: 435614
1306.59/1306.90	c total #propagations: 6661603 / total #impl: 159694007 (eff. 0.042)
1306.59/1306.90	c #Conflicts:      40000 | #Learnt:       6388 | 0.000
1306.59/1306.90	c total clause space: 545.701MB
1306.59/1306.90	c total #watches: 446293
1342.57/1342.88	c total #propagations: 6870618 / total #impl: 162292359 (eff. 0.042)
1342.57/1342.88	c #Conflicts:      41000 | #Learnt:       7388 | 0.000
1342.57/1342.88	c total clause space: 545.701MB
1342.57/1342.88	c total #watches: 453498
1382.77/1383.02	c total #propagations: 7095917 / total #impl: 165070979 (eff. 0.043)
1382.77/1383.02	c #Conflicts:      42000 | #Learnt:       8388 | 0.000
1382.77/1383.02	c total clause space: 545.701MB
1382.77/1383.02	c total #watches: 461202
1420.86/1421.16	c total #propagations: 7323728 / total #impl: 168255335 (eff. 0.044)
1420.86/1421.16	c #Conflicts:      43000 | #Learnt:       9388 | 0.000
1420.86/1421.16	c total clause space: 545.701MB
1420.86/1421.16	c total #watches: 469246
1456.45/1456.74	c total #propagations: 7540615 / total #impl: 171308948 (eff. 0.044)
1456.45/1456.74	c GC COLLECT
1456.45/1456.74	c #Conflicts:      44000 | #Learnt:       5393 | 0.000
1456.45/1456.74	c total clause space: 545.701MB
1456.45/1456.74	c total #watches: 422229
1492.75/1493.03	c total #propagations: 7737323 / total #impl: 174357373 (eff. 0.044)
1492.75/1493.03	c #Conflicts:      45000 | #Learnt:       6393 | 0.000
1492.75/1493.03	c total clause space: 545.701MB
1492.75/1493.03	c total #watches: 437013
1524.36/1524.66	c total #propagations: 7957803 / total #impl: 178174007 (eff. 0.045)
1524.36/1524.66	c #Conflicts:      46000 | #Learnt:       7393 | 0.000
1524.36/1524.66	c total clause space: 545.701MB
1524.36/1524.66	c total #watches: 452213
1554.74/1555.03	c total #propagations: 8169975 / total #impl: 182910547 (eff. 0.045)
1554.74/1555.03	c #Conflicts:      47000 | #Learnt:       8393 | 0.000
1554.74/1555.03	c total clause space: 545.701MB
1554.74/1555.03	c total #watches: 470850
1587.44/1587.73	c total #propagations: 8410327 / total #impl: 186042764 (eff. 0.045)
1587.44/1587.73	c #Conflicts:      48000 | #Learnt:       9393 | 0.000
1587.44/1587.73	c total clause space: 545.701MB
1587.44/1587.73	c total #watches: 485770
1619.73/1620.07	c total #propagations: 8630116 / total #impl: 189543783 (eff. 0.046)
1619.73/1620.07	c #Conflicts:      49000 | #Learnt:      10393 | 0.000
1619.73/1620.07	c total clause space: 545.701MB
1619.73/1620.07	c total #watches: 510228
1651.73/1652.05	c total #propagations: 8857605 / total #impl: 193219990 (eff. 0.046)
1651.73/1652.05	c GC COLLECT
1651.73/1652.05	c #Conflicts:      50000 | #Learnt:       6089 | 0.000
1651.73/1652.05	c total clause space: 545.701MB
1651.73/1652.05	c total #watches: 483591
1687.02/1687.38	c total #propagations: 9078532 / total #impl: 196210366 (eff. 0.046)
1687.02/1687.38	c #Conflicts:      51000 | #Learnt:       7089 | 0.000
1687.02/1687.38	c total clause space: 545.701MB
1687.02/1687.38	c total #watches: 521704
1720.42/1720.76	c total #propagations: 9249920 / total #impl: 200791922 (eff. 0.046)
1720.42/1720.76	c #Conflicts:      52000 | #Learnt:       8089 | 0.000
1720.42/1720.76	c total clause space: 545.701MB
1720.42/1720.76	c total #watches: 556693
1750.11/1750.47	c total #propagations: 9377911 / total #impl: 205184045 (eff. 0.046)
1750.11/1750.47	c #Conflicts:      53000 | #Learnt:       9090 | 0.000
1750.11/1750.47	c total clause space: 545.701MB
1750.11/1750.47	c total #watches: 590787
1790.90/1791.26	c total #propagations: 9484154 / total #impl: 208829945 (eff. 0.045)
1790.90/1791.26	c #Conflicts:      54000 | #Learnt:      10096 | 0.000
1790.90/1791.26	c total clause space: 545.701MB
1790.90/1791.26	c total #watches: 638818

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-4118851-1467228297/watcher-4118851-1467228297 -o /tmp/evaluation-result-4118851-1467228297/solver-4118851-1467228297 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467210288-1998 --watchdog 1960 --input HOME/instance-4118851-1467228297.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=3961
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.10 2.07 2.05 3/176 3964
/proc/meminfo: memFree=30063808/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 1849669 29810688 5268 33554432000 4194304 6201397 140734561950288 140734899257848 4211056 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/3964/statm: 7278 5268 130 491 0 6777 0

[startup+0.100169 s]
/proc/loadavg: 2.10 2.07 2.05 3/176 3964
/proc/meminfo: memFree=30063808/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=34412 CPUtime=0.09 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 1324 0 0 0 9 0 0 0 20 0 1 0 1849669 35237888 7511 33554432000 4194304 6201397 140734561950288 140734561948424 4221597 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 8603 7511 146 491 0 8102 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34412

[startup+0.200351 s]
/proc/loadavg: 2.10 2.07 2.05 3/176 3964
/proc/meminfo: memFree=30063808/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=34700 CPUtime=0.19 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 1384 0 0 0 19 0 0 0 20 0 1 0 1849669 35532800 7571 33554432000 4194304 6201397 140734561950288 140734561948424 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 8675 7571 146 491 0 8174 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34700

[startup+0.300261 s]
/proc/loadavg: 2.10 2.07 2.05 3/176 3964
/proc/meminfo: memFree=30063808/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=34792 CPUtime=0.29 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 1424 0 0 0 29 0 0 0 20 0 1 0 1849669 35627008 7607 33554432000 4194304 6201397 140734561950288 140734561948424 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 8698 7607 146 491 0 8197 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34792

[startup+0.70023 s]
/proc/loadavg: 2.10 2.07 2.05 3/176 3964
/proc/meminfo: memFree=30063808/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=38044 CPUtime=0.69 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 1730 0 0 0 69 0 0 0 20 0 1 0 1849669 38957056 7886 33554432000 4194304 6201397 140734561950288 140734561948424 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 9511 7886 147 491 0 9010 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38044

[startup+1.50024 s]
/proc/loadavg: 2.10 2.07 2.05 4/177 3965
/proc/meminfo: memFree=30032488/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=42744 CPUtime=1.49 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 2018 0 0 0 149 0 0 0 20 0 1 0 1849669 43769856 8627 33554432000 4194304 6201397 140734561950288 140734561948984 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 10686 8627 147 491 0 10185 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42744

[startup+3.10022 s]
/proc/loadavg: 2.09 2.07 2.05 3/177 3965
/proc/meminfo: memFree=30028704/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=50796 CPUtime=3.09 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 2415 0 0 0 309 0 0 0 20 0 1 0 1849669 52015104 9502 33554432000 4194304 6201397 140734561950288 140734561948984 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 12699 9502 147 491 0 12198 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50796

[startup+6.30024 s]
/proc/loadavg: 2.09 2.07 2.05 3/176 3965
/proc/meminfo: memFree=30021360/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=63236 CPUtime=6.29 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 2823 0 0 0 628 1 0 0 20 0 1 0 1849669 64753664 11910 33554432000 4194304 6201397 140734561950288 140734561949240 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 15809 11910 147 491 0 15308 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63236

[startup+12.7002 s]
/proc/loadavg: 2.15 2.08 2.06 3/177 3966
/proc/meminfo: memFree=30003496/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=84612 CPUtime=12.69 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 3607 0 0 0 1268 1 0 0 20 0 1 0 1849669 86642688 15726 33554432000 4194304 6201397 140734561950288 140734561949128 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 21153 15726 147 491 0 20652 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84612

[startup+25.5003 s]
/proc/loadavg: 2.13 2.08 2.05 3/177 3966
/proc/meminfo: memFree=29963204/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=116408 CPUtime=25.49 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 4119 0 0 0 2547 2 0 0 20 0 1 0 1849669 119201792 25372 33554432000 4194304 6201397 140734561950288 140734561949416 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 29102 25372 160 491 0 28601 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 116408

[startup+51.1003 s]
/proc/loadavg: 2.08 2.07 2.05 3/177 3966
/proc/meminfo: memFree=29904860/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=166724 CPUtime=51.08 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 7571 0 0 0 5105 3 0 0 20 0 1 0 1849669 170725376 39620 33554432000 4194304 6201397 140734561950288 140734561949080 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 41681 39620 166 491 0 41180 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 166724

[startup+102.3 s]
/proc/loadavg: 2.11 2.09 2.06 3/177 3967
/proc/meminfo: memFree=29838808/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=249496 CPUtime=102.27 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 8935 0 0 0 10224 3 0 0 20 0 1 0 1849669 255483904 55855 33554432000 4194304 6201397 140734561950288 140734561949240 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 62374 55855 166 491 0 61873 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 249496

[startup+162.3 s]
/proc/loadavg: 2.12 2.09 2.06 3/177 3968
/proc/meminfo: memFree=29783888/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=384868 CPUtime=162.26 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 10430 0 0 0 16221 5 0 0 20 0 1 0 1849669 394104832 69692 33554432000 4194304 6201397 140734561950288 140734561948904 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 96217 69692 166 491 0 95716 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 384868

[startup+222.307 s]
/proc/loadavg: 2.07 2.08 2.06 3/177 3969
/proc/meminfo: memFree=29745788/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=385188 CPUtime=222.25 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 10722 0 0 0 22220 5 0 0 20 0 1 0 1849669 394432512 79182 33554432000 4194304 6201397 140734561950288 140734561949416 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 96297 79182 166 491 0 95796 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 385188

[startup+282.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/177 3970
/proc/meminfo: memFree=29743188/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=385364 CPUtime=282.24 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 10864 0 0 0 28219 5 0 0 20 0 1 0 1849669 394612736 80298 33554432000 4194304 6201397 140734561950288 140734561949416 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 96341 80298 166 491 0 95840 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 385364

[startup+342.3 s]
/proc/loadavg: 2.09 2.07 2.05 4/178 3975
/proc/meminfo: memFree=29703332/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=385384 CPUtime=342.23 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 11104 0 0 0 34217 6 0 0 20 0 1 0 1849669 394633216 89667 33554432000 4194304 6201397 140734561950288 140734561949240 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 96346 89667 166 491 0 95845 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 385384

[startup+402.3 s]
/proc/loadavg: 2.03 2.05 2.04 3/177 3976
/proc/meminfo: memFree=29660136/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=601448 CPUtime=402.23 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 12059 0 0 0 40216 7 0 0 20 0 1 0 1849669 615882752 100377 33554432000 4194304 6201397 140734561950288 140734561949240 4218873 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 150362 100377 166 491 0 149861 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 601448

[startup+462.3 s]
/proc/loadavg: 2.08 2.06 2.04 3/177 4023
/proc/meminfo: memFree=30438956/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=602116 CPUtime=462.22 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 12203 0 0 0 46215 7 0 0 20 0 1 0 1849669 616566784 100518 33554432000 4194304 6201397 140734561950288 140734561949000 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 150529 100518 166 491 0 150028 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 602116

[startup+522.3 s]
/proc/loadavg: 2.15 2.08 2.05 3/177 4024
/proc/meminfo: memFree=30346040/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=603416 CPUtime=522.2 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 12757 0 0 0 52212 8 0 0 20 0 1 0 1849669 617897984 111797 33554432000 4194304 6201397 140734561950288 140734561949416 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 150854 111797 166 491 0 150353 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 603416

[startup+582.3 s]
/proc/loadavg: 2.19 2.09 2.05 3/177 4025
/proc/meminfo: memFree=30315468/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=604052 CPUtime=582.19 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 12954 0 0 0 58211 8 0 0 20 0 1 0 1849669 618549248 111961 33554432000 4194304 6201397 140734561950288 140734561949240 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 151013 111961 166 491 0 150512 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 604052


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


[startup+942.3 s]
/proc/loadavg: 2.11 2.07 2.05 3/178 4036
/proc/meminfo: memFree=30120996/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=608576 CPUtime=942.14 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 14419 0 0 0 94205 9 0 0 20 0 1 0 1849669 623181824 136779 33554432000 4194304 6201397 140734561950288 140734561949240 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 152144 136779 166 491 0 151643 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 608576

[startup+1002.3 s]
/proc/loadavg: 2.09 2.07 2.04 3/177 4037
/proc/meminfo: memFree=30115548/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=608736 CPUtime=1002.13 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 14475 0 0 0 100204 9 0 0 20 0 1 0 1849669 623345664 136818 33554432000 4194304 6201397 140734561950288 140734561949416 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 152184 136818 166 491 0 151683 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 608736

[startup+1062.3 s]
/proc/loadavg: 2.03 2.05 2.04 4/177 4038
/proc/meminfo: memFree=30102948/32872528 swapFree=478184/527240
[pid=3964] ppid=3961 vsize=608980 CPUtime=1062.12 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 14544 0 0 0 106203 9 0 0 20 0 1 0 1849669 623595520 137391 33554432000 4194304 6201397 140734561950288 140734561949240 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 152245 137391 166 491 0 151744 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 608980

[startup+1122.3 s]
/proc/loadavg: 2.08 2.06 2.04 3/177 4039
/proc/meminfo: memFree=30095448/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=608980 CPUtime=1122.11 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 14552 0 0 0 112202 9 0 0 20 0 1 0 1849669 623595520 137398 33554432000 4194304 6201397 140734561950288 140734561949416 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 152245 137398 166 491 0 151744 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 608980

[startup+1182.3 s]
/proc/loadavg: 2.08 2.06 2.04 3/177 4040
/proc/meminfo: memFree=30090604/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=608980 CPUtime=1182.1 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 14589 0 0 0 118201 9 0 0 20 0 1 0 1849669 623595520 137429 33554432000 4194304 6201397 140734561950288 140734561949240 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 152245 137429 166 491 0 151744 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 608980

[startup+1242.3 s]
/proc/loadavg: 2.03 2.05 2.03 4/176 4041
/proc/meminfo: memFree=30083228/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=608980 CPUtime=1242.09 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 14589 0 0 0 124200 9 0 0 20 0 1 0 1849669 623595520 137429 33554432000 4194304 6201397 140734561950288 140734561949416 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 152245 137429 166 491 0 151744 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 608980

[startup+1302.3 s]
/proc/loadavg: 2.04 2.05 2.03 3/177 4043
/proc/meminfo: memFree=30082096/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=608980 CPUtime=1302.08 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 14589 0 0 0 130199 9 0 0 20 0 1 0 1849669 623595520 137429 33554432000 4194304 6201397 140734561950288 140734561949416 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 152245 137429 166 491 0 151744 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 608980

[startup+1362.3 s]
/proc/loadavg: 2.07 2.06 2.03 3/177 4044
/proc/meminfo: memFree=30075696/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=608980 CPUtime=1362.07 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 14643 0 0 0 136198 9 0 0 20 0 1 0 1849669 623595520 137451 33554432000 4194304 6201397 140734561950288 140734561949416 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 152245 137451 166 491 0 151744 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 608980

[startup+1422.3 s]
/proc/loadavg: 2.02 2.04 2.02 3/177 4045
/proc/meminfo: memFree=30072964/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=608980 CPUtime=1422.07 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 14656 0 0 0 142198 9 0 0 20 0 1 0 1849669 623595520 137452 33554432000 4194304 6201397 140734561950288 140734561949416 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 152245 137452 166 491 0 151744 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 608980

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.02 3/177 4046
/proc/meminfo: memFree=30039896/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=608992 CPUtime=1482.05 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 14688 0 0 0 148196 9 0 0 20 0 1 0 1849669 623607808 143087 33554432000 4194304 6201397 140734561950288 140734561949240 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 152248 143087 166 491 0 151747 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 608992

[startup+1542.31 s]
/proc/loadavg: 2.05 2.04 2.02 3/178 4050
/proc/meminfo: memFree=30035260/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=609024 CPUtime=1542.05 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 14760 0 0 0 154195 10 0 0 20 0 1 0 1849669 623640576 143111 33554432000 4194304 6201397 140734561950288 140734561949240 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 152256 143111 166 491 0 151755 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 609024

[startup+1602.3 s]
/proc/loadavg: 2.18 2.06 2.02 4/177 4052
/proc/meminfo: memFree=30034908/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=609028 CPUtime=1602.04 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 14816 0 0 0 160194 10 0 0 20 0 1 0 1849669 623644672 143113 33554432000 4194304 6201397 140734561950288 140734561949416 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 152257 143113 166 491 0 151756 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 609028

[startup+1662.3 s]
/proc/loadavg: 2.06 2.05 2.02 3/177 4053
/proc/meminfo: memFree=29996800/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=609036 CPUtime=1662.03 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 14844 0 0 0 166193 10 0 0 20 0 1 0 1849669 623652864 150283 33554432000 4194304 6201397 140734561950288 140734561949416 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 152259 150283 166 491 0 151758 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 609036

[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/177 4054
/proc/meminfo: memFree=29995928/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=609036 CPUtime=1722.02 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 14955 0 0 0 172192 10 0 0 20 0 1 0 1849669 623652864 150298 33554432000 4194304 6201397 140734561950288 140734561949416 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 152259 150298 166 491 0 151758 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 609036

[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/177 4055
/proc/meminfo: memFree=29986488/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=609072 CPUtime=1782.01 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 15089 0 0 0 178191 10 0 0 20 0 1 0 1849669 623689728 150306 33554432000 4194304 6201397 140734561950288 140734561949240 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 152268 150306 166 491 0 151767 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 609072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.19 2.07 2.02 3/177 4055
/proc/meminfo: memFree=29982128/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=609124 CPUtime=1800 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 15124 0 0 0 179990 10 0 0 20 0 1 0 1849669 623742976 150317 33554432000 4194304 6201397 140734561950288 140734561949240 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 152281 150317 166 491 0 151780 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 609124

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

[startup+1800.3 s]
/proc/loadavg: 2.19 2.07 2.02 3/177 4055
/proc/meminfo: memFree=29982128/32872528 swapFree=478180/527236
[pid=3964] ppid=3961 vsize=609124 CPUtime=1800 cores=0,2,4,6
/proc/3964/stat : 3964 (cdcl-cuttingpla) R 3961 3964 1982 0 -1 4202496 15124 0 0 0 179990 10 0 0 20 0 1 0 1849669 623742976 150317 33554432000 4194304 6201397 140734561950288 140734561949240 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3964/statm: 152281 150317 166 491 0 151780 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 609124

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.91
CPU system time (s): 0.107983
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 609124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.107983
maximum resident set size= 601316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15124
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= 13
involuntary context switches= 1947

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5943 second user time and 6.86796 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-29 21:24:57
IDJOB=4118851
IDBENCH=111539
IDSOLVER=2550
FILE ID=node141/4118851-1467228297
RUNJOBID= node141-1467210288-1998
PBS_JOBID= 19997592
Free space on /tmp= 71744 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-137.lin.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118851-1467228297/watcher-4118851-1467228297 -o /tmp/evaluation-result-4118851-1467228297/solver-4118851-1467228297 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467210288-1998 --watchdog 1960 --input HOME/instance-4118851-1467228297.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 209e82578e5ca39ac1017817e82e48a8
RANDOM SEED=1361069228

node141.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.448
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.89
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.448
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.448
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.448
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.448
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.448
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	: 5339.30
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.448
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.53
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.448
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30064104 kB
Buffers:           69596 kB
Cached:           606688 kB
SwapCached:            0 kB
Active:           979852 kB
Inactive:         593880 kB
Active(anon):     899752 kB
Inactive(anon):        4 kB
Active(file):      80100 kB
Inactive(file):   593876 kB
Unevictable:      527236 kB
Mlocked:          478180 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2752 kB
Writeback:             0 kB
AnonPages:       1453092 kB
Mapped:            14440 kB
Shmem:               204 kB
Slab:             575816 kB
SReclaimable:      20148 kB
SUnreclaim:       555668 kB
KernelStack:        1472 kB
PageTables:         7076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1637048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    925696 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= 71744 MiB
End job on node141 at 2016-06-29 21:54:58