Trace number 4118239

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-autocorr_bern45-11.lin.opb
MD5SUM4a92747fc5ef882a3b96247197140f33
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-3092
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2813
Total number of constraints5536
Number of constraints which are clauses2768
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2768
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 2813
Biggest coefficient in the objective function 610
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 199500
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 610
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 199500
Number of bits of the biggest sum of numbers18
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= 2813 #constraint= 5536
14.39/14.49	c #Conflicts:       1000 | #Learnt:       1034 | 0.000
14.39/14.49	c total clause space: 78.2603MB
14.39/14.49	c total #watches: 350826
41.08/41.18	c total #propagations: 174478 / total #impl: 5870578 (eff. 0.030)
41.08/41.18	c #Conflicts:       2000 | #Learnt:       2034 | 0.000
41.08/41.18	c total clause space: 127.173MB
41.08/41.18	c total #watches: 517189
52.79/52.84	c total #propagations: 268527 / total #impl: 12375712 (eff. 0.022)
52.79/52.84	c GC COLLECT
52.79/52.84	c #Conflicts:       3000 | #Learnt:       2044 | 0.000
52.79/52.84	c total clause space: 127.173MB
52.79/52.84	c total #watches: 587872
81.38/81.43	c total #propagations: 319822 / total #impl: 29443559 (eff. 0.011)
81.38/81.43	c #Conflicts:       4000 | #Learnt:       3044 | 0.000
81.38/81.43	c total clause space: 206.656MB
81.38/81.43	c total #watches: 913622
123.96/124.04	c total #propagations: 380595 / total #impl: 50913212 (eff. 0.007)
123.96/124.04	c GC COLLECT
123.96/124.04	c #Conflicts:       5000 | #Learnt:       2394 | 0.000
123.96/124.04	c total clause space: 206.656MB
123.96/124.04	c total #watches: 613163
146.37/146.47	c total #propagations: 471861 / total #impl: 57929793 (eff. 0.008)
146.37/146.47	c #Conflicts:       6000 | #Learnt:       3394 | 0.000
146.37/146.47	c total clause space: 206.656MB
146.37/146.47	c total #watches: 691657
167.36/167.47	c total #propagations: 524722 / total #impl: 64169414 (eff. 0.008)
167.36/167.47	c GC COLLECT
167.36/167.47	c #Conflicts:       7000 | #Learnt:       2266 | 0.000
167.36/167.47	c total clause space: 335.816MB
167.36/167.47	c total #watches: 253626
179.86/179.91	c total #propagations: 569071 / total #impl: 74124452 (eff. 0.008)
179.86/179.91	c #Conflicts:       8000 | #Learnt:       3266 | 0.000
179.86/179.91	c total clause space: 335.816MB
179.86/179.91	c total #watches: 261314
195.87/195.96	c total #propagations: 634662 / total #impl: 85431463 (eff. 0.007)
195.87/195.96	c #Conflicts:       9000 | #Learnt:       4266 | 0.000
195.87/195.96	c total clause space: 335.816MB
195.87/195.96	c total #watches: 335096
216.05/216.14	c total #propagations: 715415 / total #impl: 90051075 (eff. 0.008)
216.05/216.14	c GC COLLECT
216.05/216.14	c #Conflicts:      10000 | #Learnt:       2752 | 0.000
216.05/216.14	c total clause space: 335.816MB
216.05/216.14	c total #watches: 333881
230.55/230.65	c total #propagations: 784895 / total #impl: 109801545 (eff. 0.007)
230.55/230.65	c #Conflicts:      11000 | #Learnt:       3752 | 0.000
230.55/230.65	c total clause space: 335.816MB
230.55/230.65	c total #watches: 443311
258.25/258.32	c total #propagations: 850498 / total #impl: 114101982 (eff. 0.007)
258.25/258.32	c #Conflicts:      12000 | #Learnt:       4752 | 0.000
258.25/258.32	c total clause space: 335.816MB
258.25/258.32	c total #watches: 604699
293.04/293.13	c total #propagations: 923278 / total #impl: 123437361 (eff. 0.007)
293.04/293.13	c #Conflicts:      13000 | #Learnt:       5754 | 0.000
293.04/293.13	c total clause space: 335.816MB
293.04/293.13	c total #watches: 761938
337.64/337.76	c total #propagations: 982685 / total #impl: 130796158 (eff. 0.008)
337.64/337.76	c GC COLLECT
337.64/337.76	c #Conflicts:      14000 | #Learnt:       3898 | 0.000
337.64/337.76	c total clause space: 335.816MB
337.64/337.76	c total #watches: 588244
371.53/371.64	c total #propagations: 1108817 / total #impl: 145893776 (eff. 0.008)
371.53/371.64	c #Conflicts:      15000 | #Learnt:       4898 | 0.000
371.53/371.64	c total clause space: 335.816MB
371.53/371.64	c total #watches: 656412
391.93/392.00	c total #propagations: 1208717 / total #impl: 151916206 (eff. 0.008)
391.93/392.00	c #Conflicts:      16000 | #Learnt:       5898 | 0.000
391.93/392.00	c total clause space: 335.816MB
391.93/392.00	c total #watches: 827676
414.92/415.06	c total #propagations: 1249125 / total #impl: 165959798 (eff. 0.008)
414.92/415.06	c GC COLLECT
414.92/415.06	c #Conflicts:      17000 | #Learnt:       3720 | 0.000
414.92/415.06	c total clause space: 335.816MB
414.92/415.06	c total #watches: 528026
434.82/434.98	c total #propagations: 1298767 / total #impl: 170972805 (eff. 0.008)
434.82/434.98	c #Conflicts:      18000 | #Learnt:       4720 | 0.000
434.82/434.98	c total clause space: 335.816MB
434.82/434.98	c total #watches: 663486
459.11/459.26	c total #propagations: 1346387 / total #impl: 178271785 (eff. 0.008)
459.11/459.26	c #Conflicts:      19000 | #Learnt:       5720 | 0.000
459.11/459.26	c total clause space: 335.816MB
459.11/459.26	c total #watches: 783534
496.61/496.79	c total #propagations: 1392669 / total #impl: 182482795 (eff. 0.008)
496.61/496.79	c #Conflicts:      20000 | #Learnt:       6720 | 0.000
496.61/496.79	c total clause space: 335.816MB
496.61/496.79	c total #watches: 850209
529.40/529.55	c total #propagations: 1471895 / total #impl: 185087727 (eff. 0.008)
529.40/529.55	c GC COLLECT
529.40/529.55	c #Conflicts:      21000 | #Learnt:       4232 | 0.000
529.40/529.55	c total clause space: 545.701MB
529.40/529.55	c total #watches: 657837
561.90/562.04	c total #propagations: 1539603 / total #impl: 194016219 (eff. 0.008)
561.90/562.04	c #Conflicts:      22000 | #Learnt:       5232 | 0.000
561.90/562.04	c total clause space: 545.701MB
561.90/562.04	c total #watches: 773947
607.79/607.91	c total #propagations: 1601215 / total #impl: 205267623 (eff. 0.008)
607.79/607.91	c #Conflicts:      23000 | #Learnt:       6232 | 0.000
607.79/607.91	c total clause space: 545.701MB
607.79/607.91	c total #watches: 781416
637.08/637.27	c total #propagations: 1691507 / total #impl: 206268879 (eff. 0.008)
637.08/637.27	c #Conflicts:      24000 | #Learnt:       7232 | 0.000
637.08/637.27	c total clause space: 545.701MB
637.08/637.27	c total #watches: 803723
660.39/660.59	c total #propagations: 1751613 / total #impl: 207749802 (eff. 0.008)
660.39/660.59	c GC COLLECT
660.39/660.59	c #Conflicts:      25000 | #Learnt:       4437 | 0.000
660.39/660.59	c total clause space: 545.701MB
660.39/660.59	c total #watches: 398597
678.08/678.25	c total #propagations: 1807024 / total #impl: 212000249 (eff. 0.009)
678.08/678.25	c #Conflicts:      26000 | #Learnt:       5437 | 0.000
678.08/678.25	c total clause space: 545.701MB
678.08/678.25	c total #watches: 475186
692.48/692.60	c total #propagations: 1865602 / total #impl: 217649974 (eff. 0.009)
692.48/692.60	c #Conflicts:      27000 | #Learnt:       6437 | 0.000
692.48/692.60	c total clause space: 545.701MB
692.48/692.60	c total #watches: 507183
728.28/728.48	c total #propagations: 1915703 / total #impl: 219239319 (eff. 0.009)
728.28/728.48	c #Conflicts:      28000 | #Learnt:       7437 | 0.000
728.28/728.48	c total clause space: 545.701MB
728.28/728.48	c total #watches: 639743
761.07/761.22	c total #propagations: 1997855 / total #impl: 227170559 (eff. 0.009)
761.07/761.22	c GC COLLECT
761.07/761.22	c #Conflicts:      29000 | #Learnt:       4337 | 0.000
761.07/761.22	c total clause space: 545.701MB
761.07/761.22	c total #watches: 422202
779.06/779.29	c total #propagations: 2081042 / total #impl: 232394568 (eff. 0.009)
779.06/779.29	c #Conflicts:      30000 | #Learnt:       5337 | 0.000
779.06/779.29	c total clause space: 545.701MB
779.06/779.29	c total #watches: 643274
814.56/814.74	c total #propagations: 2140469 / total #impl: 245195922 (eff. 0.009)
814.56/814.74	c #Conflicts:      31000 | #Learnt:       6337 | 0.000
814.56/814.74	c total clause space: 545.701MB
814.56/814.74	c total #watches: 748881
866.05/866.28	c total #propagations: 2226971 / total #impl: 256772122 (eff. 0.009)
866.05/866.28	c #Conflicts:      32000 | #Learnt:       7337 | 0.000
866.05/866.28	c total clause space: 545.701MB
866.05/866.28	c total #watches: 860364
912.25/912.43	c total #propagations: 2330035 / total #impl: 261923798 (eff. 0.009)
912.25/912.43	c #Conflicts:      33000 | #Learnt:       8337 | 0.000
912.25/912.43	c total clause space: 545.701MB
912.25/912.43	c total #watches: 991791
950.34/950.54	c total #propagations: 2407967 / total #impl: 270172942 (eff. 0.009)
950.34/950.54	c GC COLLECT
950.34/950.54	c #Conflicts:      34000 | #Learnt:       4943 | 0.000
950.34/950.54	c total clause space: 545.701MB
950.34/950.54	c total #watches: 836374
967.13/967.33	c total #propagations: 2469005 / total #impl: 282954784 (eff. 0.009)
967.13/967.33	c #Conflicts:      35000 | #Learnt:       5943 | 0.000
967.13/967.33	c total clause space: 545.701MB
967.13/967.33	c total #watches: 936495
1007.63/1007.84	c total #propagations: 2501095 / total #impl: 285483083 (eff. 0.009)
1007.63/1007.84	c #Conflicts:      36000 | #Learnt:       6943 | 0.000
1007.63/1007.84	c total clause space: 545.701MB
1007.63/1007.84	c total #watches: 1086368
1066.12/1066.31	c total #propagations: 2549886 / total #impl: 289184168 (eff. 0.009)
1066.12/1066.31	c #Conflicts:      37000 | #Learnt:       7943 | 0.000
1066.12/1066.31	c total clause space: 545.701MB
1066.12/1066.31	c total #watches: 1125501
1127.21/1127.47	c total #propagations: 2613081 / total #impl: 289903493 (eff. 0.009)
1127.21/1127.47	c #Conflicts:      38000 | #Learnt:       8943 | 0.000
1127.21/1127.47	c total clause space: 545.701MB
1127.21/1127.47	c total #watches: 1163759
1179.50/1179.78	c total #propagations: 2686627 / total #impl: 291999151 (eff. 0.009)
1179.50/1179.78	c GC COLLECT
1179.50/1179.78	c #Conflicts:      39000 | #Learnt:       5245 | 0.000
1179.50/1179.78	c total clause space: 545.701MB
1179.50/1179.78	c total #watches: 681465
1206.60/1206.87	c total #propagations: 2748354 / total #impl: 310358407 (eff. 0.009)
1206.60/1206.87	c #Conflicts:      40000 | #Learnt:       6245 | 0.000
1206.60/1206.87	c total clause space: 545.701MB
1206.60/1206.87	c total #watches: 773234
1235.20/1235.41	c total #propagations: 2805420 / total #impl: 314439436 (eff. 0.009)
1235.20/1235.41	c #Conflicts:      41000 | #Learnt:       7245 | 0.000
1235.20/1235.41	c total clause space: 545.701MB
1235.20/1235.41	c total #watches: 897239
1261.99/1262.20	c total #propagations: 2863009 / total #impl: 331241251 (eff. 0.009)
1261.99/1262.20	c #Conflicts:      42000 | #Learnt:       8245 | 0.000
1261.99/1262.20	c total clause space: 545.701MB
1261.99/1262.20	c total #watches: 935357
1292.08/1292.31	c total #propagations: 2916794 / total #impl: 335795702 (eff. 0.009)
1292.08/1292.31	c #Conflicts:      43000 | #Learnt:       9245 | 0.000
1292.08/1292.31	c total clause space: 545.701MB
1292.08/1292.31	c total #watches: 1026924
1326.08/1326.35	c total #propagations: 2967876 / total #impl: 339358678 (eff. 0.009)
1326.08/1326.35	c GC COLLECT
1326.08/1326.35	c #Conflicts:      44000 | #Learnt:       5234 | 0.000
1326.08/1326.35	c total clause space: 545.701MB
1326.08/1326.35	c total #watches: 647677
1363.28/1363.59	c total #propagations: 3012997 / total #impl: 352861672 (eff. 0.009)
1363.28/1363.59	c #Conflicts:      45000 | #Learnt:       6234 | 0.000
1363.28/1363.59	c total clause space: 545.701MB
1363.28/1363.59	c total #watches: 943506
1421.97/1422.30	c total #propagations: 3076611 / total #impl: 373939865 (eff. 0.008)
1421.97/1422.30	c #Conflicts:      46000 | #Learnt:       7234 | 0.000
1421.97/1422.30	c total clause space: 545.701MB
1421.97/1422.30	c total #watches: 1044558
1506.55/1506.88	c total #propagations: 3181084 / total #impl: 384411419 (eff. 0.008)
1506.55/1506.88	c #Conflicts:      47000 | #Learnt:       8234 | 0.000
1506.55/1506.88	c total clause space: 545.701MB
1506.55/1506.88	c total #watches: 1073884
1570.65/1570.98	c total #propagations: 3362383 / total #impl: 388653864 (eff. 0.009)
1570.65/1570.98	c #Conflicts:      48000 | #Learnt:       9234 | 0.000
1570.65/1570.98	c total clause space: 545.701MB
1570.65/1570.98	c total #watches: 1156301
1636.13/1636.41	c total #propagations: 3459774 / total #impl: 400769682 (eff. 0.009)
1636.13/1636.41	c #Conflicts:      49000 | #Learnt:      10234 | 0.000
1636.13/1636.41	c total clause space: 545.701MB
1636.13/1636.41	c total #watches: 1239607
1678.72/1679.03	c total #propagations: 3548148 / total #impl: 407713393 (eff. 0.009)
1678.72/1679.03	c GC COLLECT
1678.72/1679.03	c #Conflicts:      50000 | #Learnt:       5916 | 0.000
1678.72/1679.03	c total clause space: 545.701MB
1678.72/1679.03	c total #watches: 757583
1712.72/1713.01	c total #propagations: 3606745 / total #impl: 418274751 (eff. 0.009)
1712.72/1713.01	c #Conflicts:      51000 | #Learnt:       6916 | 0.000
1712.72/1713.01	c total clause space: 545.701MB
1712.72/1713.01	c total #watches: 858096
1741.61/1741.94	c total #propagations: 3660340 / total #impl: 420242223 (eff. 0.009)
1741.61/1741.94	c #Conflicts:      52000 | #Learnt:       7916 | 0.000
1741.61/1741.94	c total clause space: 545.701MB
1741.61/1741.94	c total #watches: 954145
1773.42/1773.76	c total #propagations: 3692876 / total #impl: 424728490 (eff. 0.009)
1773.42/1773.76	c #Conflicts:      53000 | #Learnt:       8916 | 0.000
1773.42/1773.76	c total clause space: 545.701MB
1773.42/1773.76	c total #watches: 1010920

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-4118239-1467217521/watcher-4118239-1467217521 -o /tmp/evaluation-result-4118239-1467217521/solver-4118239-1467217521 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467210315-2001 --watchdog 1960 --input HOME/instance-4118239-1467217521.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=2798
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.08 2.04 2.00 3/176 2801
/proc/meminfo: memFree=31600904/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 783413 29810688 5268 33554432000 4194304 6201397 140736779103280 140733227580600 4211056 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 7278 5268 130 491 0 6777 0

[startup+0.100166 s]
/proc/loadavg: 2.08 2.04 2.00 3/176 2801
/proc/meminfo: memFree=31600904/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=34248 CPUtime=0.09 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 925 0 0 0 9 0 0 0 20 0 1 0 783413 35069952 7256 33554432000 4194304 6201397 140736779103280 140733227580600 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 8562 7256 146 491 0 8061 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34248

[startup+0.200306 s]
/proc/loadavg: 2.08 2.04 2.00 3/176 2801
/proc/meminfo: memFree=31600904/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=34248 CPUtime=0.19 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 931 0 0 0 19 0 0 0 20 0 1 0 783413 35069952 7262 33554432000 4194304 6201397 140736779103280 140733227580600 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 8562 7262 146 491 0 8061 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34248

[startup+0.300259 s]
/proc/loadavg: 2.08 2.04 2.00 3/176 2801
/proc/meminfo: memFree=31600904/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=34380 CPUtime=0.29 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 969 0 0 0 29 0 0 0 20 0 1 0 783413 35205120 7300 33554432000 4194304 6201397 140736779103280 140733227580600 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 8595 7300 146 491 0 8094 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34380

[startup+0.70023 s]
/proc/loadavg: 2.08 2.04 2.00 3/176 2801
/proc/meminfo: memFree=31600904/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=34380 CPUtime=0.69 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 1070 0 0 0 69 0 0 0 20 0 1 0 783413 35205120 7384 33554432000 4194304 6201397 140736779103280 140736779101992 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 8595 7384 146 491 0 8094 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34380

[startup+1.50023 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 2802
/proc/meminfo: memFree=31566636/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=37588 CPUtime=1.49 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 1425 0 0 0 149 0 0 0 20 0 1 0 783413 38490112 7695 33554432000 4194304 6201397 140736779103280 140736779101992 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 9397 7695 147 491 0 8896 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37588

[startup+3.10027 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 2802
/proc/meminfo: memFree=31558508/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=49652 CPUtime=3.09 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 1817 0 0 0 309 0 0 0 20 0 1 0 783413 50843648 9568 33554432000 4194304 6201397 140736779103280 140736779102312 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 12413 9568 147 491 0 11912 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49652

[startup+6.30023 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 2802
/proc/meminfo: memFree=31542260/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=61916 CPUtime=6.28 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 2168 0 0 0 628 0 0 0 20 0 1 0 783413 63401984 11922 33554432000 4194304 6201397 140736779103280 140736779101848 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 15479 11922 147 491 0 14978 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 61916

[startup+12.7003 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 2802
/proc/meminfo: memFree=31514032/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=83136 CPUtime=12.69 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 2956 0 0 0 1268 1 0 0 20 0 1 0 783413 85131264 17270 33554432000 4194304 6201397 140736779103280 140736779101944 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 20784 17270 147 491 0 20283 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83136

[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 2802
/proc/meminfo: memFree=31463500/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=168508 CPUtime=25.48 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 4507 0 0 0 2547 1 0 0 20 0 1 0 783413 172552192 27427 33554432000 4194304 6201397 140736779103280 140736779102312 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 42127 27427 160 491 0 41626 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 168508

[startup+51.1003 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 2802
/proc/meminfo: memFree=31424528/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=169404 CPUtime=51.08 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 7490 0 0 0 5106 2 0 0 20 0 1 0 783413 173469696 34979 33554432000 4194304 6201397 140736779103280 140736779102232 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 42351 34979 166 491 0 41850 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 169404

[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 2803
/proc/meminfo: memFree=31333100/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=258984 CPUtime=102.27 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 10360 0 0 0 10224 3 0 0 20 0 1 0 783413 265199616 53815 33554432000 4194304 6201397 140736779103280 140736779102408 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 64746 53815 166 491 0 64245 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 258984

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2805
/proc/meminfo: memFree=31284240/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=391340 CPUtime=162.26 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 10731 0 0 0 16222 4 0 0 20 0 1 0 783413 400732160 63852 33554432000 4194304 6201397 140736779103280 140736779102408 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 97835 63852 166 491 0 97334 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 391340

[startup+222.307 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 2806
/proc/meminfo: memFree=31229084/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=391340 CPUtime=222.26 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 11336 0 0 0 22221 5 0 0 20 0 1 0 783413 400732160 75359 33554432000 4194304 6201397 140736779103280 140736779102408 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 97835 75359 166 491 0 97334 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 391340

[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 4/178 2810
/proc/meminfo: memFree=31204472/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=391600 CPUtime=282.25 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 11449 0 0 0 28219 6 0 0 20 0 1 0 783413 400998400 79049 33554432000 4194304 6201397 140736779103280 140736779102232 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 97900 79049 166 491 0 97399 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 391600

[startup+342.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/177 2811
/proc/meminfo: memFree=31179960/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=391644 CPUtime=342.24 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 11565 0 0 0 34218 6 0 0 20 0 1 0 783413 401043456 83764 33554432000 4194304 6201397 140736779103280 140736779102408 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 97911 83764 166 491 0 97410 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 391644

[startup+402.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/177 2812
/proc/meminfo: memFree=31154632/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=391644 CPUtime=402.22 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 11643 0 0 0 40216 6 0 0 20 0 1 0 783413 401043456 88441 33554432000 4194304 6201397 140736779103280 140736779102408 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 97911 88441 166 491 0 97410 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 391644

[startup+462.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 2814
/proc/meminfo: memFree=31137752/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=392572 CPUtime=462.21 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 11914 0 0 0 46215 6 0 0 20 0 1 0 783413 401993728 90756 33554432000 4194304 6201397 140736779103280 140736779102408 4213276 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 98143 90756 166 491 0 97642 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 392572

[startup+522.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 2815
/proc/meminfo: memFree=31107960/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=607592 CPUtime=522.21 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 12457 0 0 0 52214 7 0 0 20 0 1 0 783413 622174208 97081 33554432000 4194304 6201397 140736779103280 140736779102312 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 151898 97081 166 491 0 151397 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 607592

[startup+582.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 2816
/proc/meminfo: memFree=31098344/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=607656 CPUtime=582.19 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 12493 0 0 0 58212 7 0 0 20 0 1 0 783413 622239744 97119 33554432000 4194304 6201397 140736779103280 140736779102408 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 151914 97119 166 491 0 151413 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 607656


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


[startup+942.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/177 2826
/proc/meminfo: memFree=30979392/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=610508 CPUtime=942.14 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 13473 0 0 0 94205 9 0 0 20 0 1 0 783413 625160192 122083 33554432000 4194304 6201397 140736779103280 140736779101992 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 152627 122083 166 491 0 152126 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 610508

[startup+1002.3 s]
/proc/loadavg: 2.02 2.07 2.02 3/177 2827
/proc/meminfo: memFree=30973384/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=613756 CPUtime=1002.13 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 14147 0 0 0 100203 10 0 0 20 0 1 0 783413 628486144 122757 33554432000 4194304 6201397 140736779103280 140736779102072 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 153439 122757 166 491 0 152938 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 613756

[startup+1062.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/177 2829
/proc/meminfo: memFree=30966796/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=614464 CPUtime=1062.13 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 14324 0 0 0 106203 10 0 0 20 0 1 0 783413 629211136 122934 33554432000 4194304 6201397 140736779103280 140736779101992 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 153616 122934 166 491 0 153115 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 614464

[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/177 2830
/proc/meminfo: memFree=30962196/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=614592 CPUtime=1122.12 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 14393 0 0 0 112202 10 0 0 20 0 1 0 783413 629342208 123514 33554432000 4194304 6201397 140736779103280 140736779102072 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 153648 123514 166 491 0 153147 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 614592

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/177 2831
/proc/meminfo: memFree=30926504/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=617328 CPUtime=1182.1 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 15041 0 0 0 118200 10 0 0 20 0 1 0 783413 632143872 131827 33554432000 4194304 6201397 140736779103280 140736779102408 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 154332 131827 166 491 0 153831 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 617328

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2832
/proc/meminfo: memFree=30920876/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=617328 CPUtime=1242.09 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 15054 0 0 0 124199 10 0 0 20 0 1 0 783413 632143872 132068 33554432000 4194304 6201397 140736779103280 140736779102408 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 154332 132068 166 491 0 153831 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 617328

[startup+1302.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 2833
/proc/meminfo: memFree=30915996/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=617424 CPUtime=1302.08 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 15085 0 0 0 130198 10 0 0 20 0 1 0 783413 632242176 133121 33554432000 4194304 6201397 140736779103280 140736779102408 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 154356 133121 166 491 0 153855 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 617424

[startup+1362.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 2835
/proc/meminfo: memFree=30879368/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=618548 CPUtime=1362.08 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 15344 0 0 0 136197 11 0 0 20 0 1 0 783413 633393152 141045 33554432000 4194304 6201397 140736779103280 140736779101944 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 154637 141045 166 491 0 154136 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 618548

[startup+1422.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 2836
/proc/meminfo: memFree=30874576/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=619636 CPUtime=1422.07 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 15599 0 0 0 142196 11 0 0 20 0 1 0 783413 634507264 141300 33554432000 4194304 6201397 140736779103280 140736779101944 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 154909 141300 166 491 0 154408 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 619636

[startup+1482.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/178 2840
/proc/meminfo: memFree=30868096/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=621300 CPUtime=1482.06 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 15920 0 0 0 148195 11 0 0 20 0 1 0 783413 636211200 141621 33554432000 4194304 6201397 140736779103280 140736779102072 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 155325 141621 166 491 0 154824 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 621300

[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 2841
/proc/meminfo: memFree=30868108/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=621876 CPUtime=1542.05 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 16116 0 0 0 154194 11 0 0 20 0 1 0 783413 636801024 141817 33554432000 4194304 6201397 140736779103280 140736779102408 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 155469 141817 166 491 0 154968 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 621876

[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 2842
/proc/meminfo: memFree=30865676/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=622424 CPUtime=1602.04 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 16270 0 0 0 160193 11 0 0 20 0 1 0 783413 637362176 141971 33554432000 4194304 6201397 140736779103280 140736779101944 4213365 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 155606 141971 166 491 0 155105 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 622424

[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 2844
/proc/meminfo: memFree=30847924/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=623144 CPUtime=1662.03 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 16437 0 0 0 166192 11 0 0 20 0 1 0 783413 638099456 145715 33554432000 4194304 6201397 140736779103280 140736779102232 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 155786 145715 166 491 0 155285 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 623144

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 2845
/proc/meminfo: memFree=30843696/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=623144 CPUtime=1722.02 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 16478 0 0 0 172191 11 0 0 20 0 1 0 783413 638099456 145756 33554432000 4194304 6201397 140736779103280 140736779102408 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 155786 145756 166 491 0 155285 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 623144

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2846
/proc/meminfo: memFree=30842260/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=623144 CPUtime=1782.02 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 16484 0 0 0 178190 12 0 0 20 0 1 0 783413 638099456 145762 33554432000 4194304 6201397 140736779103280 140736779102408 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 155786 145762 166 491 0 155285 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 623144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.02 2.00 2/175 2846
/proc/meminfo: memFree=31049988/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=623720 CPUtime=1800.01 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 16597 0 0 0 179989 12 0 0 20 0 1 0 783413 638689280 145875 33554432000 4194304 6201397 140736779103280 140736779101944 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 155930 145875 166 491 0 155429 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 623720

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.02 2.00 2/175 2846
/proc/meminfo: memFree=31049988/32872528 swapFree=170020/176152
[pid=2801] ppid=2798 vsize=623720 CPUtime=1800.01 cores=0,2,4,6
/proc/2801/stat : 2801 (cdcl-cuttingpla) R 2798 2801 1985 0 -1 4202496 16597 0 0 0 179989 12 0 0 20 0 1 0 783413 638689280 145875 33554432000 4194304 6201397 140736779103280 140736779101944 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2801/statm: 155930 145875 166 491 0 155429 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 623720

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.89
CPU system time (s): 0.12798
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 623720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.12798
maximum resident set size= 583500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16597
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= 1970

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43433 second user time and 7.02493 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-29 18:25:21
IDJOB=4118239
IDBENCH=111471
IDSOLVER=2550
FILE ID=node105/4118239-1467217521
RUNJOBID= node105-1467210315-2001
PBS_JOBID= 19997600
Free space on /tmp= 71736 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-autocorr_bern45-11.lin.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118239-1467217521/watcher-4118239-1467217521 -o /tmp/evaluation-result-4118239-1467217521/solver-4118239-1467217521 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467210315-2001 --watchdog 1960 --input HOME/instance-4118239-1467217521.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 4a92747fc5ef882a3b96247197140f33
RANDOM SEED=402111451

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.487
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.487
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.487
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.487
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.487
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.487
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.487
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:        31601548 kB
Buffers:           51176 kB
Cached:           280908 kB
SwapCached:            0 kB
Active:           124092 kB
Inactive:         262280 kB
Active(anon):      56860 kB
Inactive(anon):        4 kB
Active(file):      67232 kB
Inactive(file):   262276 kB
Unevictable:      176152 kB
Mlocked:          170020 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4864 kB
Writeback:             0 kB
AnonPages:        361736 kB
Mapped:            14436 kB
Shmem:               204 kB
Slab:             576816 kB
SReclaimable:      20932 kB
SUnreclaim:       555884 kB
KernelStack:        1480 kB
PageTables:         4920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     336888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 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 node105 at 2016-06-29 18:55:21