Trace number 4100944

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

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ship04s.opb
MD5SUMfe1a2bbeb11180a9cf7bf3ad481e98b1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables43740
Total number of constraints348
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints348
Minimum length of a constraint30
Maximum length of a constraint1980
Number of terms in the objective function 43740
Biggest coefficient in the objective function 3749
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 560502
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 560502
Number of bits of the biggest sum of numbers20
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= 43740 #constraint= 348
1.69/1.72	c #Conflicts:       1000 | #Learnt:        999 | 3.002
1.69/1.72	c total clause space: 29.637MB
1.69/1.72	c total #watches: 370774
6.09/6.15	c total #propagations: 54885 / total #impl: 5857430 (eff. 0.009)
6.09/6.15	c #Conflicts:       2000 | #Learnt:       1999 | 4.049
6.09/6.15	c total clause space: 78.2603MB
6.09/6.16	c total #watches: 586650
9.48/9.54	c total #propagations: 94880 / total #impl: 6325029 (eff. 0.015)
9.48/9.54	c GC COLLECT
9.48/9.54	c #Conflicts:       3000 | #Learnt:       2001 | 4.877
9.48/9.54	c total clause space: 78.2603MB
9.48/9.54	c total #watches: 494278
18.69/18.73	c total #propagations: 152135 / total #impl: 7447758 (eff. 0.020)
18.69/18.73	c #Conflicts:       4000 | #Learnt:       3001 | 5.454
18.69/18.73	c total clause space: 127.173MB
18.69/18.73	c total #watches: 685937
25.98/26.01	c total #propagations: 181867 / total #impl: 9637379 (eff. 0.019)
25.98/26.01	c GC COLLECT
25.98/26.01	c #Conflicts:       5000 | #Learnt:       2353 | 5.022
25.98/26.01	c total clause space: 127.173MB
25.98/26.01	c total #watches: 748379
31.08/31.12	c total #propagations: 226714 / total #impl: 16226228 (eff. 0.014)
31.08/31.12	c #Conflicts:       6000 | #Learnt:       3353 | 4.218
31.08/31.12	c total clause space: 127.173MB
31.08/31.12	c total #watches: 1373700
38.68/38.75	c total #propagations: 338776 / total #impl: 32180271 (eff. 0.011)
38.68/38.75	c GC COLLECT
38.68/38.75	c #Conflicts:       7000 | #Learnt:       2235 | 3.769
38.68/38.75	c total clause space: 127.173MB
38.68/38.75	c total #watches: 1470619
41.08/41.18	c total #propagations: 546889 / total #impl: 50869204 (eff. 0.011)
41.08/41.18	c #Conflicts:       8000 | #Learnt:       3235 | 3.298
41.08/41.18	c total clause space: 127.173MB
41.08/41.18	c total #watches: 1709554
57.88/57.97	c total #propagations: 558838 / total #impl: 57526063 (eff. 0.010)
57.88/57.97	c #Conflicts:       9000 | #Learnt:       4235 | 3.677
57.88/57.97	c total clause space: 127.173MB
57.88/57.97	c total #watches: 2112413
65.68/65.76	c total #propagations: 719879 / total #impl: 90923385 (eff. 0.008)
65.68/65.76	c GC COLLECT
65.68/65.76	c #Conflicts:      10000 | #Learnt:       2724 | 3.707
65.68/65.76	c total clause space: 206.656MB
65.68/65.76	c total #watches: 962058
68.97/69.03	c total #propagations: 757271 / total #impl: 110181318 (eff. 0.007)
68.97/69.03	c #Conflicts:      11000 | #Learnt:       3724 | 4.633
68.97/69.03	c total clause space: 206.656MB
68.97/69.03	c total #watches: 1092900
76.88/76.98	c total #propagations: 778219 / total #impl: 110319885 (eff. 0.007)
76.88/76.98	c #Conflicts:      12000 | #Learnt:       4724 | 5.439
76.88/76.98	c total clause space: 206.656MB
76.88/76.98	c total #watches: 1266512
211.46/211.50	c total #propagations: 800585 / total #impl: 110486461 (eff. 0.007)
211.46/211.50	c #Conflicts:      13000 | #Learnt:       5731 | 5.184
211.46/211.50	c total clause space: 335.816MB
211.46/211.50	c total #watches: 2597057
236.85/236.96	c total #propagations: 2173837 / total #impl: 307734388 (eff. 0.007)
236.85/236.96	c GC COLLECT
236.85/236.96	c #Conflicts:      14000 | #Learnt:       3872 | 4.907
236.85/236.96	c total clause space: 335.816MB
236.85/236.96	c total #watches: 2061745
259.04/259.19	c total #propagations: 2463580 / total #impl: 320776017 (eff. 0.008)
259.04/259.19	c #Conflicts:      15000 | #Learnt:       4872 | 4.595
259.04/259.19	c total clause space: 335.816MB
259.04/259.19	c total #watches: 2463075
263.24/263.32	c total #propagations: 2884057 / total #impl: 336241924 (eff. 0.009)
263.24/263.32	c #Conflicts:      16000 | #Learnt:       5872 | 4.327
263.24/263.32	c total clause space: 335.816MB
263.24/263.32	c total #watches: 2752590
281.14/281.20	c total #propagations: 2889566 / total #impl: 339351967 (eff. 0.009)
281.14/281.20	c GC COLLECT
281.14/281.20	c #Conflicts:      17000 | #Learnt:       3696 | 4.074
281.14/281.20	c total clause space: 335.816MB
281.14/281.20	c total #watches: 2557262
300.24/300.32	c total #propagations: 4283482 / total #impl: 366677977 (eff. 0.012)
300.24/300.32	c #Conflicts:      18000 | #Learnt:       4696 | 3.877
300.24/300.32	c total clause space: 335.816MB
300.24/300.32	c total #watches: 3004915
318.94/319.08	c total #propagations: 4515728 / total #impl: 388941400 (eff. 0.012)
318.94/319.08	c #Conflicts:      19000 | #Learnt:       5696 | 3.679
318.94/319.08	c total clause space: 335.816MB
318.94/319.08	c total #watches: 3491999
364.43/364.51	c total #propagations: 4853442 / total #impl: 407511200 (eff. 0.012)
364.43/364.51	c #Conflicts:      20000 | #Learnt:       6696 | 3.497
364.43/364.51	c total clause space: 545.701MB
364.43/364.51	c total #watches: 3927593
376.62/376.71	c total #propagations: 4979729 / total #impl: 419316164 (eff. 0.012)
376.62/376.71	c GC COLLECT
376.62/376.71	c #Conflicts:      21000 | #Learnt:       4211 | 3.888
376.62/376.71	c total clause space: 545.701MB
376.62/376.71	c total #watches: 2327850
388.92/389.07	c total #propagations: 5016416 / total #impl: 420338768 (eff. 0.012)
388.92/389.07	c #Conflicts:      22000 | #Learnt:       5211 | 4.085
388.92/389.07	c total clause space: 545.701MB
388.92/389.07	c total #watches: 2564954
405.42/405.58	c total #propagations: 5049203 / total #impl: 423306760 (eff. 0.012)
405.42/405.58	c #Conflicts:      23000 | #Learnt:       6211 | 4.158
405.42/405.58	c total clause space: 545.701MB
405.42/405.58	c total #watches: 2782748
421.32/421.49	c total #propagations: 5083112 / total #impl: 425569475 (eff. 0.012)
421.32/421.49	c #Conflicts:      24000 | #Learnt:       7211 | 4.164
421.32/421.49	c total clause space: 545.701MB
421.32/421.49	c total #watches: 3026802
441.91/442.05	c total #propagations: 5105033 / total #impl: 426482145 (eff. 0.012)
441.91/442.05	c GC COLLECT
441.91/442.05	c #Conflicts:      25000 | #Learnt:       4413 | 4.237
441.91/442.05	c total clause space: 545.701MB
441.91/442.05	c total #watches: 1462963
458.21/458.34	c total #propagations: 5131444 / total #impl: 428658356 (eff. 0.012)
458.21/458.34	c #Conflicts:      26000 | #Learnt:       5413 | 4.384
458.21/458.34	c total clause space: 545.701MB
458.21/458.34	c total #watches: 1620725
478.42/478.57	c total #propagations: 5156279 / total #impl: 429713901 (eff. 0.012)
478.42/478.57	c #Conflicts:      27000 | #Learnt:       6413 | 4.882
478.42/478.57	c total clause space: 545.701MB
478.42/478.58	c total #watches: 1718234
520.70/520.82	c total #propagations: 5159351 / total #impl: 429929577 (eff. 0.012)
520.70/520.82	c #Conflicts:      28000 | #Learnt:       7413 | 5.199
520.70/520.82	c total clause space: 545.701MB
520.70/520.82	c total #watches: 1846974
584.39/584.53	c total #propagations: 5192459 / total #impl: 430202360 (eff. 0.012)
584.39/584.53	c GC COLLECT
584.39/584.53	c #Conflicts:      29000 | #Learnt:       4316 | 5.257
584.39/584.53	c total clause space: 545.701MB
584.39/584.53	c total #watches: 1050158
620.98/621.14	c total #propagations: 5213444 / total #impl: 430841730 (eff. 0.012)
620.98/621.14	c #Conflicts:      30000 | #Learnt:       5316 | 5.322
620.98/621.14	c total clause space: 545.701MB
620.98/621.14	c total #watches: 1237264
661.68/661.84	c total #propagations: 5236731 / total #impl: 431771408 (eff. 0.012)
661.68/661.84	c #Conflicts:      31000 | #Learnt:       6316 | 5.400
661.68/661.84	c total clause space: 545.701MB
661.68/661.84	c total #watches: 1426966
730.17/730.40	c total #propagations: 5285645 / total #impl: 432055417 (eff. 0.012)
730.17/730.40	c #Conflicts:      32000 | #Learnt:       7316 | 5.627
730.17/730.40	c total clause space: 545.701MB
730.27/730.40	c total #watches: 1527735
808.47/808.66	c total #propagations: 5322053 / total #impl: 432179913 (eff. 0.012)
808.47/808.66	c #Conflicts:      33000 | #Learnt:       8316 | 5.762
808.47/808.66	c total clause space: 545.701MB
808.47/808.66	c total #watches: 1676725
851.16/851.37	c total #propagations: 5367262 / total #impl: 432401734 (eff. 0.012)
851.16/851.37	c GC COLLECT
851.16/851.37	c #Conflicts:      34000 | #Learnt:       4928 | 5.812
851.16/851.37	c total clause space: 545.701MB
851.16/851.37	c total #watches: 1090287
876.45/876.65	c total #propagations: 5391628 / total #impl: 433816490 (eff. 0.012)
876.45/876.65	c #Conflicts:      35000 | #Learnt:       5928 | 5.876
876.45/876.65	c total clause space: 545.701MB
876.45/876.65	c total #watches: 1336753
884.15/884.30	c total #propagations: 5460108 / total #impl: 436270662 (eff. 0.013)
884.15/884.30	c #Conflicts:      36000 | #Learnt:       6928 | 5.714
884.15/884.30	c total clause space: 545.701MB
884.15/884.30	c total #watches: 1850933
893.65/893.88	c total #propagations: 5622577 / total #impl: 445740379 (eff. 0.013)
893.65/893.88	c #Conflicts:      37000 | #Learnt:       7928 | 5.560
893.65/893.88	c total clause space: 545.701MB
893.65/893.88	c total #watches: 2189751
904.15/904.39	c total #propagations: 5831270 / total #impl: 466019611 (eff. 0.013)
904.15/904.39	c #Conflicts:      38000 | #Learnt:       8928 | 5.414
904.15/904.39	c total clause space: 545.701MB
904.15/904.39	c total #watches: 2515336
932.33/932.59	c total #propagations: 5977324 / total #impl: 487335045 (eff. 0.012)
932.33/932.59	c GC COLLECT
932.33/932.59	c #Conflicts:      39000 | #Learnt:       5220 | 5.278
932.33/932.59	c total clause space: 545.701MB
932.33/932.59	c total #watches: 2163275
952.84/953.07	c total #propagations: 6258676 / total #impl: 513353728 (eff. 0.012)
952.84/953.07	c #Conflicts:      40000 | #Learnt:       6220 | 5.148
952.84/953.07	c total clause space: 545.701MB
952.84/953.07	c total #watches: 2677204
974.44/974.63	c total #propagations: 6500708 / total #impl: 533447372 (eff. 0.012)
974.44/974.63	c #Conflicts:      41000 | #Learnt:       7220 | 5.023
974.44/974.63	c total clause space: 545.701MB
974.44/974.63	c total #watches: 3291405
1006.34/1006.59	c total #propagations: 6795099 / total #impl: 558394995 (eff. 0.012)
1006.34/1006.59	c #Conflicts:      42000 | #Learnt:       8220 | 4.903
1006.34/1006.59	c total clause space: 545.701MB
1006.34/1006.59	c total #watches: 3850298
1045.22/1045.48	c total #propagations: 7115836 / total #impl: 593353098 (eff. 0.012)
1045.22/1045.48	c #Conflicts:      43000 | #Learnt:       9220 | 4.789
1045.22/1045.48	c total clause space: 545.701MB
1045.22/1045.48	c total #watches: 4382722
1084.21/1084.48	c total #propagations: 7324969 / total #impl: 631579025 (eff. 0.012)
1084.21/1084.48	c GC COLLECT
1084.21/1084.48	c #Conflicts:      44000 | #Learnt:       5218 | 4.680
1084.21/1084.48	c total clause space: 886.764MB
1084.21/1084.48	c total #watches: 3240462
1131.61/1131.90	c total #propagations: 7543840 / total #impl: 670792621 (eff. 0.011)
1131.61/1131.90	c #Conflicts:      45000 | #Learnt:       6218 | 4.576
1131.61/1131.90	c total clause space: 886.764MB
1131.61/1131.90	c total #watches: 3892115
1179.30/1179.50	c total #propagations: 7760103 / total #impl: 710582201 (eff. 0.011)
1179.30/1179.50	c #Conflicts:      46000 | #Learnt:       7218 | 4.504
1179.30/1179.50	c total clause space: 886.764MB
1179.30/1179.50	c total #watches: 4647382
1241.80/1242.07	c total #propagations: 7917617 / total #impl: 726539125 (eff. 0.011)
1241.80/1242.07	c #Conflicts:      47000 | #Learnt:       8218 | 4.496
1241.80/1242.07	c total clause space: 886.764MB
1241.80/1242.07	c total #watches: 5131286
1265.09/1265.31	c total #propagations: 8124038 / total #impl: 737635318 (eff. 0.011)
1265.09/1265.31	c #Conflicts:      48000 | #Learnt:       9218 | 4.729
1265.09/1265.31	c total clause space: 886.764MB
1265.09/1265.31	c total #watches: 5418300
1338.98/1339.22	c total #propagations: 8132605 / total #impl: 746833487 (eff. 0.011)
1338.98/1339.22	c #Conflicts:      49000 | #Learnt:      10218 | 4.685
1338.98/1339.22	c total clause space: 886.764MB
1338.98/1339.22	c total #watches: 6163542
1421.07/1421.36	c total #propagations: 8425384 / total #impl: 766257010 (eff. 0.011)
1421.07/1421.36	c GC COLLECT
1421.07/1421.36	c #Conflicts:      50000 | #Learnt:       5919 | 4.593
1421.07/1421.36	c total clause space: 886.764MB
1421.07/1421.36	c total #watches: 4014156
1478.35/1478.60	c total #propagations: 8824794 / total #impl: 795768335 (eff. 0.011)
1478.35/1478.60	c #Conflicts:      51000 | #Learnt:       6919 | 4.525
1478.35/1478.60	c total clause space: 886.764MB
1478.35/1478.60	c total #watches: 4816410
1530.85/1531.13	c total #propagations: 9106028 / total #impl: 829556103 (eff. 0.011)
1530.85/1531.13	c #Conflicts:      52000 | #Learnt:       7919 | 4.440
1530.85/1531.13	c total clause space: 886.764MB
1530.85/1531.13	c total #watches: 5514362
1609.63/1609.95	c total #propagations: 9281531 / total #impl: 863222569 (eff. 0.011)
1609.63/1609.95	c #Conflicts:      53000 | #Learnt:       8919 | 4.372
1609.63/1609.95	c total clause space: 886.764MB
1609.63/1609.95	c total #watches: 6235743
1750.51/1750.81	c total #propagations: 9474949 / total #impl: 903709895 (eff. 0.010)
1750.51/1750.81	c #Conflicts:      54000 | #Learnt:       9919 | 4.297
1750.51/1750.81	c total clause space: 886.764MB
1750.51/1750.81	c total #watches: 7084429

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-4100944-1466245571/watcher-4100944-1466245571 -o /tmp/evaluation-result-4100944-1466245571/solver-4100944-1466245571 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466230914-17340 --watchdog 1960 --input HOME/instance-4100944-1466245571.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=19103
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.18 2.22 2.18 2/178 19106
/proc/meminfo: memFree=29838108/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 26603053 29810688 5268 33554432000 4194304 6201397 140733425408544 140735621008776 4211048 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/19106/statm: 7278 5268 130 491 0 6777 0

[startup+0.10012 s]
/proc/loadavg: 2.18 2.22 2.18 2/178 19106
/proc/meminfo: memFree=29838108/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=35860 CPUtime=0.09 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 1149 0 0 0 9 0 0 0 20 0 1 0 26603053 36720640 7469 33554432000 4194304 6201397 140733425408544 140735621008776 5242395 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/19106/statm: 8965 7469 142 491 0 8464 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35860

[startup+0.200294 s]
/proc/loadavg: 2.18 2.22 2.18 2/178 19106
/proc/meminfo: memFree=29838108/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=39544 CPUtime=0.19 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 1943 0 0 0 19 0 0 0 20 0 1 0 26603053 40493056 8498 33554432000 4194304 6201397 140733425408544 140733425406680 4213253 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/19106/statm: 9886 8498 146 491 0 9385 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 39544

[startup+0.300263 s]
/proc/loadavg: 2.18 2.22 2.18 2/178 19106
/proc/meminfo: memFree=29838108/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=44496 CPUtime=0.28 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 2222 0 0 0 28 0 0 0 20 0 1 0 26603053 45563904 8739 33554432000 4194304 6201397 140733425408544 140733425406680 4239603 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/19106/statm: 11124 8739 147 491 0 10623 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 44496

[startup+0.700235 s]
/proc/loadavg: 2.18 2.22 2.18 2/178 19106
/proc/meminfo: memFree=29838108/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=53156 CPUtime=0.69 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 3123 0 0 0 68 1 0 0 20 0 1 0 26603053 54431744 9978 33554432000 4194304 6201397 140733425408544 140733425406824 4213365 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 13289 9978 147 491 0 12788 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53156

[startup+1.50023 s]
/proc/loadavg: 2.18 2.22 2.18 3/179 19107
/proc/meminfo: memFree=29793860/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=66292 CPUtime=1.49 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 3856 0 0 0 148 1 0 0 20 0 1 0 26603053 67883008 13164 33554432000 4194304 6201397 140733425408544 140733425407576 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 16573 13164 147 491 0 16072 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66292

[startup+3.10024 s]
/proc/loadavg: 2.18 2.22 2.18 3/179 19107
/proc/meminfo: memFree=29777356/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=89280 CPUtime=3.08 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 5149 0 0 0 307 1 0 0 20 0 1 0 26603053 91422720 16931 33554432000 4194304 6201397 140733425408544 140733425407208 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 22320 16931 160 491 0 21819 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 89280

[startup+6.30029 s]
/proc/loadavg: 2.17 2.22 2.18 3/179 19107
/proc/meminfo: memFree=29758852/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=123320 CPUtime=6.29 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 7627 0 0 0 627 2 0 0 20 0 1 0 26603053 126279680 22403 33554432000 4194304 6201397 140733425408544 140733425407672 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 30830 22403 160 491 0 30329 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 123320

[startup+12.7003 s]
/proc/loadavg: 2.15 2.21 2.18 3/179 19107
/proc/meminfo: memFree=29728000/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=126764 CPUtime=12.69 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 8728 0 0 0 1266 3 0 0 20 0 1 0 26603053 129806336 27576 33554432000 4194304 6201397 140733425408544 140733425407208 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 31691 27576 166 491 0 31190 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 126764

[startup+25.5003 s]
/proc/loadavg: 2.19 2.22 2.18 3/179 19107
/proc/meminfo: memFree=29697708/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=180368 CPUtime=25.48 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 10440 0 0 0 2545 3 0 0 20 0 1 0 26603053 184696832 33504 33554432000 4194304 6201397 140733425408544 140733425406824 5300515 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 45092 33504 166 491 0 44591 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 180368

[startup+51.1004 s]
/proc/loadavg: 2.19 2.21 2.18 4/179 19107
/proc/meminfo: memFree=29635208/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=204192 CPUtime=51.08 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 16553 0 0 0 5103 5 0 0 20 0 1 0 26603053 209092608 47278 33554432000 4194304 6201397 140733425408544 140733425407256 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 51048 47278 166 491 0 50547 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 204192

[startup+102.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/179 19108
/proc/meminfo: memFree=29567172/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=306172 CPUtime=102.28 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 22752 0 0 0 10222 6 0 0 20 0 1 0 26603053 313520128 61274 33554432000 4194304 6201397 140733425408544 140733425406824 4216020 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 76543 61274 166 491 0 76042 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 306172

[startup+162.3 s]
/proc/loadavg: 2.10 2.17 2.17 3/179 19109
/proc/meminfo: memFree=29521072/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=312468 CPUtime=162.27 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 24331 0 0 0 16220 7 0 0 20 0 1 0 26603053 319967232 68985 33554432000 4194304 6201397 140733425408544 140733425407160 4213361 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 78117 68985 166 491 0 77616 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 312468

[startup+222.307 s]
/proc/loadavg: 2.34 2.23 2.19 4/179 19111
/proc/meminfo: memFree=29465700/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=452012 CPUtime=222.26 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 27026 0 0 0 22218 8 0 0 20 0 1 0 26603053 462860288 79563 33554432000 4194304 6201397 140733425408544 140733425407672 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 113003 79563 166 491 0 112502 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 452012

[startup+282.3 s]
/proc/loadavg: 2.30 2.23 2.19 3/180 19115
/proc/meminfo: memFree=29390392/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=464088 CPUtime=282.24 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 30297 0 0 0 28215 9 0 0 20 0 1 0 26603053 475226112 94405 33554432000 4194304 6201397 140733425408544 140733425407672 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 116022 94405 166 491 0 115521 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 464088

[startup+342.3 s]
/proc/loadavg: 2.31 2.25 2.19 3/179 19116
/proc/meminfo: memFree=29253524/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=700196 CPUtime=342.23 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 35601 0 0 0 34212 11 0 0 20 0 1 0 26603053 717000704 125747 33554432000 4194304 6201397 140733425408544 140733425407208 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 175049 125747 166 491 0 174548 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 700196

[startup+402.3 s]
/proc/loadavg: 2.23 2.23 2.18 4/179 19117
/proc/meminfo: memFree=29200332/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=726232 CPUtime=402.22 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 41864 0 0 0 40209 13 0 0 20 0 1 0 26603053 743661568 137317 33554432000 4194304 6201397 140733425408544 140733425407208 4213110 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 181558 137317 166 491 0 181057 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 726232

[startup+462.3 s]
/proc/loadavg: 2.28 2.23 2.19 3/179 19118
/proc/meminfo: memFree=29181112/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=740316 CPUtime=462.21 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 45008 0 0 0 46208 13 0 0 20 0 1 0 26603053 758083584 140431 33554432000 4194304 6201397 140733425408544 140733425407672 4213170 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 185079 140431 166 491 0 184578 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 740316

[startup+522.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/179 19120
/proc/meminfo: memFree=29169200/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=747968 CPUtime=522.2 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 46918 0 0 0 52206 14 0 0 20 0 1 0 26603053 765919232 142341 33554432000 4194304 6201397 140733425408544 140733425407672 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 186992 142341 166 491 0 186491 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 747968

[startup+582.3 s]
/proc/loadavg: 2.23 2.22 2.18 4/179 19121
/proc/meminfo: memFree=29151584/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=762500 CPUtime=582.19 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 49269 0 0 0 58205 14 0 0 20 0 1 0 26603053 780800000 144692 33554432000 4194304 6201397 140733425408544 140733425407208 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 190625 144692 166 491 0 190124 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 762500


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


[startup+942.3 s]
/proc/loadavg: 2.24 2.25 2.19 4/179 19131
/proc/meminfo: memFree=29088688/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=779116 CPUtime=942.13 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 52748 0 0 0 94198 15 0 0 20 0 1 0 26603053 797814784 151237 33554432000 4194304 6201397 140733425408544 140733425407672 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 194779 151237 166 491 0 194278 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 779116

[startup+1002.3 s]
/proc/loadavg: 2.19 2.23 2.18 3/179 19132
/proc/meminfo: memFree=29020980/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=781484 CPUtime=1002.12 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 53674 0 0 0 100196 16 0 0 20 0 1 0 26603053 800239616 168004 33554432000 4194304 6201397 140733425408544 140733425407160 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 195371 168004 166 491 0 194870 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 781484

[startup+1062.3 s]
/proc/loadavg: 2.30 2.25 2.19 3/179 19133
/proc/meminfo: memFree=28895508/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=1135984 CPUtime=1062.12 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 55334 0 0 0 106193 19 0 0 20 0 1 0 26603053 1163247616 194157 33554432000 4194304 6201397 140733425408544 140733425407160 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 283996 194157 166 491 0 283495 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1135984

[startup+1122.3 s]
/proc/loadavg: 2.30 2.25 2.19 4/179 19135
/proc/meminfo: memFree=28836252/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=1149312 CPUtime=1122.11 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 58516 0 0 0 112191 20 0 0 20 0 1 0 26603053 1176895488 202632 33554432000 4194304 6201397 140733425408544 140733425407208 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 287328 202632 166 491 0 286827 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1149312

[startup+1182.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/179 19136
/proc/meminfo: memFree=28807152/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=1153900 CPUtime=1182.1 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 59743 0 0 0 118190 20 0 0 20 0 1 0 26603053 1181593600 203859 33554432000 4194304 6201397 140733425408544 140733425407672 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 288475 203859 166 491 0 287974 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1153900

[startup+1242.3 s]
/proc/loadavg: 2.20 2.23 2.18 3/179 19137
/proc/meminfo: memFree=28761660/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=1160112 CPUtime=1242.1 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 61354 0 0 0 124189 21 0 0 20 0 1 0 26603053 1187954688 205151 33554432000 4194304 6201397 140733425408544 140733425407672 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 290028 205151 166 491 0 289527 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1160112

[startup+1302.3 s]
/proc/loadavg: 2.22 2.23 2.18 4/179 19138
/proc/meminfo: memFree=28738644/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=1165196 CPUtime=1302.08 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 62756 0 0 0 130187 21 0 0 20 0 1 0 26603053 1193160704 206405 33554432000 4194304 6201397 140733425408544 140733425407208 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 291299 206405 166 491 0 290798 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1165196

[startup+1362.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/179 19139
/proc/meminfo: memFree=28721268/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=1170376 CPUtime=1362.07 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 64170 0 0 0 136186 21 0 0 20 0 1 0 26603053 1198465024 207661 33554432000 4194304 6201397 140733425408544 140733425406824 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 292594 207661 166 491 0 292093 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1170376

[startup+1422.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/179 19141
/proc/meminfo: memFree=28698940/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=1170376 CPUtime=1422.07 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 64195 0 0 0 142186 21 0 0 20 0 1 0 26603053 1198465024 207669 33554432000 4194304 6201397 140733425408544 140733425407672 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 292594 207669 166 491 0 292093 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1170376

[startup+1482.3 s]
/proc/loadavg: 2.32 2.23 2.19 3/180 19145
/proc/meminfo: memFree=28666428/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=1175108 CPUtime=1482.05 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 65286 0 0 0 148184 21 0 0 20 0 1 0 26603053 1203310592 208760 33554432000 4194304 6201397 140733425408544 140733425407672 4198590 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 293777 208760 166 491 0 293276 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1175108

[startup+1542.31 s]
/proc/loadavg: 2.18 2.20 2.18 4/179 19146
/proc/meminfo: memFree=28645656/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=1176244 CPUtime=1542.06 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 65630 0 0 0 154184 22 0 0 20 0 1 0 26603053 1204473856 209104 33554432000 4194304 6201397 140733425408544 140733425407672 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 294061 209104 166 491 0 293560 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1176244

[startup+1602.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/179 19147
/proc/meminfo: memFree=28628660/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=1188092 CPUtime=1602.03 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 68233 0 0 0 160181 22 0 0 20 0 1 0 26603053 1216606208 211707 33554432000 4194304 6201397 140733425408544 140733425407208 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 297023 211707 166 491 0 296522 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1188092

[startup+1662.3 s]
/proc/loadavg: 2.32 2.23 2.19 3/179 19239
/proc/meminfo: memFree=29191968/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=1191772 CPUtime=1662.03 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 68987 0 0 0 166180 23 0 0 20 0 1 0 26603053 1220374528 212461 33554432000 4194304 6201397 140733425408544 140733425407160 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 297943 212461 166 491 0 297442 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1191772

[startup+1722.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/179 19241
/proc/meminfo: memFree=29183360/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=1193856 CPUtime=1722.02 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 69624 0 0 0 172179 23 0 0 20 0 1 0 26603053 1222508544 213463 33554432000 4194304 6201397 140733425408544 140733425407160 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 298464 213463 166 491 0 297963 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1193856

[startup+1782.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/179 19242
/proc/meminfo: memFree=29140588/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=1203808 CPUtime=1782.01 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 71284 0 0 0 178178 23 0 0 20 0 1 0 26603053 1232699392 222783 33554432000 4194304 6201397 140733425408544 140733425407160 4213361 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 300952 222783 166 491 0 300451 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1203808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/179 19243
/proc/meminfo: memFree=29130924/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=1203808 CPUtime=1800 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 71316 0 0 0 179977 23 0 0 20 0 1 0 26603053 1232699392 225032 33554432000 4194304 6201397 140733425408544 140733425407160 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 300952 225032 166 491 0 300451 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1203808

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

[startup+1800.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/179 19243
/proc/meminfo: memFree=29130924/32872528 swapFree=1505436/1685308
[pid=19106] ppid=19103 vsize=1203808 CPUtime=1800 cores=0,2,4,6
/proc/19106/stat : 19106 (cdcl-cuttingpla) R 19103 19106 17324 0 -1 4202496 71316 0 0 0 179977 23 0 0 20 0 1 0 26603053 1232699392 225032 33554432000 4194304 6201397 140733425408544 140733425407160 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/19106/statm: 300952 225032 166 491 0 300451 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1203808

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.78
CPU system time (s): 0.239963
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 1203808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.239963
maximum resident set size= 900128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71316
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= 19
involuntary context switches= 1978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64829 second user time and 6.91395 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-18 12:26:11
IDJOB=4100944
IDBENCH=1680
IDSOLVER=2550
FILE ID=node135/4100944-1466245571
RUNJOBID= node135-1466230914-17340
PBS_JOBID= 19918183
Free space on /tmp= 71696 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship04s.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100944-1466245571/watcher-4100944-1466245571 -o /tmp/evaluation-result-4100944-1466245571/solver-4100944-1466245571 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466230914-17340 --watchdog 1960 --input HOME/instance-4100944-1466245571.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= fe1a2bbeb11180a9cf7bf3ad481e98b1
RANDOM SEED=451404915

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29839016 kB
Buffers:          127784 kB
Cached:           230396 kB
SwapCached:          716 kB
Active:           338104 kB
Inactive:         272764 kB
Active(anon):     253080 kB
Inactive(anon):     1308 kB
Active(file):      85024 kB
Inactive(file):   271456 kB
Unevictable:     1685308 kB
Mlocked:         1505436 kB
SwapTotal:      67108856 kB
SwapFree:       67100444 kB
Dirty:              3908 kB
Writeback:             0 kB
AnonPages:       2020920 kB
Mapped:             7668 kB
Shmem:                 0 kB
Slab:             602184 kB
SReclaimable:      46272 kB
SUnreclaim:       555912 kB
KernelStack:        1488 kB
PageTables:         7820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2101008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    442368 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= 71696 MiB
End job on node135 at 2016-06-18 12:56:12